Mul Mul x0 Mul -2 Add Mul sqrt x0 cosh acosh Mul x0 8 acoth x7 acoth x0 
Add Mul acoth x0 Add Mul -2 Add Mul sqrt x0 cosh acosh Mul x0 8 acoth x7 Mul x0 Mul -2 Add Mul cosh acosh Mul x0 8 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 Mul sinh acosh Mul x0 8 Mul 8 Pow Mul sqrt Add Mul x0 8 -1 sqrt Add 1 Mul x0 8 -1 Mul Mul x0 Mul -2 Add Mul sqrt x0 cosh acosh Mul x0 8 acoth x7 Pow Add 1 Mul -1 Mul x0 x0 -1 