Mul csc Mul Mul x0 Add Mul csch x0 x4 -4 pi E 
Mul E Mul Mul Mul -1 cot Mul Mul x0 Add Mul csch x0 x4 -4 pi csc Mul Mul x0 Add Mul csch x0 x4 -4 pi Mul pi Add Add Mul csch x0 x4 -4 Mul x0 Mul x4 Mul Mul -1 coth x0 csch x0 