практически. ВЫ забыли, что синус у вас стоит в знаменателе, а не в числителе.
и правда забыла

вот получаем так значит:
int dy/siny=
=int((2dt/(1+t^2))/(t/(t^2+1)))=
=int((2dt/(1+t^2)) : (t/(t^2+1)))=
=int((2dt/(1+t^2)) * ((t^2+1)/t))=
=int(2dt/t)=
=2int(dt/t)=
=2ln(t)+c=
=2ln(tg(y/2))+c
верно?
