So this is equal to sine of t times the integral from 0 to t of cosine squared of tau d tau and then minus cosine of t-- that's just a constant; I'm bringing it out-- times the integral from 0 to t of sine of tau cosine of tau d tau.