не обязательно. Можно под дифференциал tgx загнать, а под интегралом все преобразовать к tgx. В конце простое выражение получится