Mul Add x0 Mul Add Mul -4 x0 x0 x0 sqrt Mul csch x0 pi 
Add Mul sqrt Mul csch x0 pi Add 1 Add Mul x0 3 Add Mul -4 x0 x0 Mul Add x0 Mul Add Mul -4 x0 x0 x0 Mul Pow Mul 2 sqrt Mul csch x0 pi -1 Mul pi Mul Mul -1 coth x0 csch x0 