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