lim(x->0) arcsin((arccos(x) + arccos(x^2))/pi)