-x^2+1の逆関数