3 + integral from 1 to 2 of cos(t^2) dt