Estoy intentado llegar a la solución de INT indefinida de SEC X * DX y
no lo consigo.

La solución correcta creo que es: Ln |tg X/2 + PI/2| + C.

Pues bien, yo a lo que más me acerco es a un resultado de:

Ln |1+tg X/2| - Ln |1-tg X/2| + C, ¿Alguien puede mostrarme el
desarrollo a seguir?.

Gracias