Add Pow x0 x0 cosh Pow x2 acoth Add log E cosh Mul Add -2 x0 Pow -2 x6 
Add Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul sinh Pow x2 acoth Add log E cosh Mul Add -2 x0 Pow -2 x6 Mul Pow x2 Add acoth Add log E cosh Mul Add -2 x0 Pow -2 x6 -1 Mul Mul x2 log x2 Mul Mul sinh Mul Add -2 x0 Pow -2 x6 Pow -2 x6 Pow Add 1 Mul -1 Mul Add log E cosh Mul Add -2 x0 Pow -2 x6 Add log E cosh Mul Add -2 x0 Pow -2 x6 -1 