>>793
アークたんの方なら、y’=tan^x+x(tan^-1x)'にして、
あとはアークたんの微分を逆関数の微分から導けばいいってことで。

>>794
自分の方法でいいと思う。その解答の方が謎。