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