∫cos(πt²)dt