>>146 >>147
x = t+1 に置換。ルートの中を √(1-t^2)とする。