Simplify 1/(2tan(x)(cos(x)^2))