integrate -abc (t sin^2 t - sint cost ) dt from 0 to pi/2