dx/cos^2 x/3