How do you verify # sin(-x)sec(-x)=-tan(x)#?