int sec^3 x dx