Можно уточнить, числитель расписывается таким образом для того, чтобы сократить числитель и знаменатель и получить: int( ((t^2+1)-1)/(1+t^2) )dt = int(-dt) ?
Да, чтобы сократить, но выйдет немного не так:
((t^2+1)-1)/(1+t^2)=(t^2+1)/(t^2+1)-1/(t^2+1)=1-1/(t^2+1).