is integral of sintcost == .5sin^2t