Mul x4 Mul x3 Mul x3 acot Add E Mul Mul coth x0 E Mul pi -5 
Mul x4 Mul x3 Mul x3 Mul -1 Mul Mul Mul pi -5 Mul E Mul -1 Pow csch x0 2 Pow Add 1 Mul Add E Mul Mul coth x0 E Mul pi -5 Add E Mul Mul coth x0 E Mul pi -5 -1 