integrate 1/12 tanx sec^3x