>>724
tan(x)*1/cos^2(x) = sin(x)/cos^3(x)なんだから、
cos(x) = tとでも置換すればいいんじゃね？