int_0^sqrt(2) sin^(-1)(sqrt(2-x^2)/2)dx