Mul csch Mul x0 3 Mul -4 csch Add Add x0 x0 Mul acot x2 x0 
Add Mul Mul -4 csch Add Add x0 x0 Mul acot x2 x0 Mul Mul Mul -1 coth Mul x0 3 csch Mul x0 3 3 Mul csch Mul x0 3 Mul -4 Mul Mul Mul -1 coth Add Add x0 x0 Mul acot x2 x0 csch Add Add x0 x0 Mul acot x2 x0 Add 2 acot x2 