integration cos(2-t^2)