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