>>623 2ArcTan(x)=tとおいて微分。