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