Посчитать интеграл, Практически табличный Опции

[TOPEHTO]

Вообщем ситуация такова:
Есть интеграл, есть ответ и частичный способ решения... вообщем все для счастья, но как от задачи прийти к решению понять не могу...и так:
Int(dx/sin(x))
Метод решения:
домножаем числитель и знаменатель на sin(x)? получаем: int(sinxdx/sin^2(x))
выражаем знаменатель через соs(х), получаем int((sinxdx)/1-cos^2(x))
тут вводим замену переменной:
t=cos(x)
dt=-sinxdx
Получаем: -int(dt/1-t^2)
Вот а как быть дальше Я не знаю, осталось совсем чуть-чуть...
Ответ Ln(tg(x/2))
Знающий народ сразу сказал ответ, ибо для них он табличный, а как они пришли к ответу не сказали...прошу помощи у Вас до конца разобраться...