integral from 0 to sqrt(2)*pi sin (x*x)