Mul Mul Mul x0 Pow x2 Mul Mul 8 x0 x0 Mul coth x0 Pow x0 Mul -0.642092615934331 x1 -5 
Mul -5 Add Mul Mul coth x0 Pow x0 Mul -0.642092615934331 x1 Add Pow x2 Mul Mul 8 x0 x0 Mul x0 Mul Pow x2 Add Mul Mul 8 x0 x0 -1 Mul Mul x2 log x2 Add Mul x0 8 Mul 8 x0 Mul Mul x0 Pow x2 Mul Mul 8 x0 x0 Add Mul Pow x0 Mul -0.642092615934331 x1 Mul -1 Pow csch x0 2 Mul coth x0 Mul Pow x0 Add Mul -0.642092615934331 x1 -1 Mul -0.642092615934331 x1 