Mul atanh x0 Mul -2 Pow pi Pow Pow acoth x3 asech Add x0 x0 sec sinh csch asinh x0 
Add Mul Mul -2 Pow pi Pow Pow acoth x3 asech Add x0 x0 sec sinh csch asinh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul atanh x0 Mul -2 Mul Pow pi Add Pow Pow acoth x3 asech Add x0 x0 sec sinh csch asinh x0 -1 Mul Mul pi log pi Mul Pow Pow acoth x3 asech Add x0 x0 Add sec sinh csch asinh x0 -1 Add Mul sec sinh csch asinh x0 Mul Pow acoth x3 Add asech Add x0 x0 -1 Mul Mul acoth x3 log acoth x3 Mul 2 Pow Mul Mul Add x0 x0 Add x0 x0 sqrt Add 1 Mul -1 Pow Mul Add x0 x0 Add x0 x0 -1 -1 Mul Mul Pow acoth x3 asech Add x0 x0 log Pow acoth x3 asech Add x0 x0 Mul Mul tan sinh csch asinh x0 sec sinh csch asinh x0 Mul cosh csch asinh x0 Mul Mul Mul -1 coth asinh x0 csch asinh x0 Pow sqrt Add 1 Mul x0 x0 -1 