int(sin⁡(1/2*pi*t^2)dt