高校でtanxの逆関数の微分なんか習ったっけ?