Pow asech pi Pow x0 asinh cosh acot acoth tanh E 
Mul Pow asech pi Add Pow x0 asinh cosh acot acoth tanh E -1 Mul Mul asech pi log asech pi Mul Pow x0 Add asinh cosh acot acoth tanh E -1 asinh cosh acot acoth tanh E 