(arcsin((x+sqrt(1-x^2))/sqrt(2)))'