Mul x0 Mul Add csch Mul 2 x0 Pow x7 Mul -1 x0 Add -1 x7 
Add Mul Add csch Mul 2 x0 Pow x7 Mul -1 x0 Add -1 x7 Mul x0 Mul Add -1 x7 Add Mul Mul Mul -1 coth Mul 2 x0 csch Mul 2 x0 2 Mul Pow x7 Add Mul -1 x0 -1 Mul Mul x7 log x7 -1 