Mul Pow Mul acos acoth atanh x0 Add sech x7 Pow Add x0 3 x0 x2 acoth E 
Mul acoth E Mul Pow Mul acos acoth atanh x0 Add sech x7 Pow Add x0 3 x0 Add x2 -1 Mul x2 Add Mul Add sech x7 Pow Add x0 3 x0 Mul -1 Mul Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul atanh x0 atanh x0 -1 Pow sqrt Add 1 Mul -1 Mul acoth atanh x0 acoth atanh x0 -1 Mul acos acoth atanh x0 Mul Pow Add x0 3 Add x0 -1 Add x0 Mul Add x0 3 log Add x0 3 