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