由原式可知
(1-y^2)tanxdx=-dy
=>(y^2-1)tanx=dy/dx
=>tanxdx=dy/(y^2-1)=dy*((1/(y-1))-(1/(y+1)))
=>(secx)^2=ln(y-1)-ln(y+1)+lnc
解出x或y即可