integrate cos(2- t^2)