1infsqrt2-2y+y2*-ay2 dy