(arc sin x + arc cos x)^2