arcsin((sqrt(2-x^2)*x/sqrt(2)) / sqrt(1-(2-x^2)x^2/2)) vs 1.5x from 0 to 1