Pow Add Add x0 1 Add asec x6 E Add x0 Mul coth Add Mul asech acsc acos x6 x6 1 x0 
Mul Pow Add Add x0 1 Add asec x6 E Add Add x0 Mul coth Add Mul asech acsc acos x6 x6 1 x0 -1 Add Add x0 Mul coth Add Mul asech acsc acos x6 x6 1 x0 Mul Mul Add Add x0 1 Add asec x6 E log Add Add x0 1 Add asec x6 E Add 1 coth Add Mul asech acsc acos x6 x6 1 