plot | integral_0^s cos(t^2) dt