integral of sin^(-1)(sqrt(2-x^2)/2) from 0 to sqrt(2)