int_0^sqrt 2 arcsin(sqrt (2-x^2) /2) dx