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