How do you prove sin(π+x)+cos(π/2-x)+tan(π/2+x)= -cotx?