trig representation

[DrD]

Trig functions can produce displayed results that are not immediately obvious as equivalent to an expected result:

Example:
int(x*sec(x^2),x);

This example produces quite a lot of solution terms, and even when simplified, the result looks quite complicated:

ln(((ABS(sin(x^2)^2+2*sin(x^2)+1))/(ABS(sin(x^2)^2-2*sin(x^2)+1))))/8

Given the example input, how/can the result be simplified to this form(?): (1/2)*ln(ABS(sec(x^2)+tan(x^2)))

In general, is there a way to represent trig expressions in more compact terms, other than the trigx commands trigsin(), trigcos(), or trigtan()? A new command that would allow for trig compaction, like tcompact(expr,[function]), would allow students to more readily match results otherwise achieved by hand. Let me be among the first to request it!

-Dale-