(d/dx tan^2(x)) - 2sin(x)/cos^3(x)