>>587

x ≒ 0 のとき、

(1 - x^2/4)^2 = 1 - x^2/2 + x^4/16 ≒ 1 - x^2/2 + x^4/24 = 1 - (1/2!)*x^2 + (1/4!)*x^4 ≒ cos(x)

です。

(1 - x^2/4)^2 は [0, 2] で狭義単調減少関数ですから、逆関数が存在します。

その逆関数が、

x = 2*sqrt(1-sqrt(y))

です。