逆三角関数の導関数はどうやって求めたのか。