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