Int 64 sin p -sec^3 p sin p, p from 0 to Arcsin(15^(1/2)/4), t from 0 to 2Pi