Mul Mul x2 x0 Mul csch Mul Mul x0 x0 Add x0 log x1 2 
Add Mul Mul csch Mul Mul x0 x0 Add x0 log x1 2 x2 Mul Mul x2 x0 Mul 2 Mul Mul Mul -1 coth Mul Mul x0 x0 Add x0 log x1 csch Mul Mul x0 x0 Add x0 log x1 Add Mul Add x0 log x1 Add x0 x0 Mul x0 x0 