Pow Mul Mul x0 Add Add Pow sqrt Pow x0 x0 coth cosh x2 x0 1 x7 Add x4 -4 
Mul Pow Mul Mul x0 Add Add Pow sqrt Pow x0 x0 coth cosh x2 x0 1 x7 Add Add x4 -4 -1 Mul Add x4 -4 Mul x7 Add Add Add Pow sqrt Pow x0 x0 coth cosh x2 x0 1 Mul x0 Add Mul Pow sqrt Pow x0 x0 Add coth cosh x2 -1 Mul coth cosh x2 Mul Pow Mul 2 sqrt Pow x0 x0 -1 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 1 