教えていただきたいというか、確認していただきたいのですが、
逆関数の微分に関する質問です。

(d/dt)f^{-1}(g(t))=1/{f'(g(t)) g'(t)}

ってあってますか？
よろしくお願いいたします。