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