Pow Add x0 Pow cosh acoth cosh x0 x6 acosh Mul Add x0 Pow x0 x4 x5 
Mul Pow Add x0 Pow cosh acoth cosh x0 x6 Add acosh Mul Add x0 Pow x0 x4 x5 -1 Add Mul acosh Mul Add x0 Pow x0 x4 x5 Add 1 Mul Pow cosh acoth cosh x0 Add x6 -1 Mul x6 Mul sinh acoth cosh x0 Mul sinh x0 Pow Add 1 Mul -1 Mul cosh x0 cosh x0 -1 Mul Mul Add x0 Pow cosh acoth cosh x0 x6 log Add x0 Pow cosh acoth cosh x0 x6 Mul Mul x5 Add 1 Mul Pow x0 Add x4 -1 x4 Pow Mul sqrt Add Mul Add x0 Pow x0 x4 x5 -1 sqrt Add 1 Mul Add x0 Pow x0 x4 x5 -1 