微分方程式y'=y*sin(x)*tan(x)ってどうやって解くんですか?