is integral of sintcost == -.5cos^2t