integrate 8sin^2(t+pi/12) dt