sec sqrt Pow asech x3 atan Pow x0 E 
Mul Mul tan sqrt Pow asech x3 atan Pow x0 E sec sqrt Pow asech x3 atan Pow x0 E Mul Pow Mul 2 sqrt Pow asech x3 atan Pow x0 E -1 Mul Pow asech x3 Add atan Pow x0 E -1 Mul Mul asech x3 log asech x3 Mul Mul Pow x0 Add E -1 E Pow Add 1 Mul Pow x0 E Pow x0 E -1 