(1/(2cos^2x))'