Mul acosh csch atanh Add x0 1 Pow acos acoth Mul -2 x7 x0 
Add Mul Pow acos acoth Mul -2 x7 x0 Mul Mul Mul Mul -1 coth atanh Add x0 1 csch atanh Add x0 1 Pow Add 1 Mul -1 Mul Add x0 1 Add x0 1 -1 Pow Mul sqrt Add csch atanh Add x0 1 -1 sqrt Add 1 csch atanh Add x0 1 -1 Mul acosh csch atanh Add x0 1 Mul Pow acos acoth Mul -2 x7 Add x0 -1 Mul acos acoth Mul -2 x7 log acos acoth Mul -2 x7 