derivative (1/cos^2x)^2