Pow Mul x0 Mul csch x1 Mul acoth Add log x0 x0 x0 Add x4 x7 
Mul Pow Mul x0 Mul csch x1 Mul acoth Add log x0 x0 x0 Add Add x4 x7 -1 Mul Add x4 x7 Add Mul csch x1 Mul acoth Add log x0 x0 x0 Mul x0 Mul csch x1 Add Mul x0 Mul Add Pow x0 -1 1 Pow Add 1 Mul -1 Mul Add log x0 x0 Add log x0 x0 -1 acoth Add log x0 x0 