acos(x) - sqrt(2-2*x)*pi/sqrt(8) from 0 to 1