acot Mul Mul Mul x0 x1 3 Mul Pow x0 sec coth Add x0 x0 Mul Add 1 coth x1 -5 
Mul -1 Mul Add Mul Mul Pow x0 sec coth Add x0 x0 Mul Add 1 coth x1 -5 Mul 3 x1 Mul Mul Mul x0 x1 3 Mul Mul Add 1 coth x1 -5 Mul Pow x0 Add sec coth Add x0 x0 -1 Add sec coth Add x0 x0 Mul Mul x0 log x0 Mul Mul tan coth Add x0 x0 sec coth Add x0 x0 Mul Mul -1 Pow csch Add x0 x0 2 2 Pow Add 1 Mul Mul Mul Mul x0 x1 3 Mul Pow x0 sec coth Add x0 x0 Mul Add 1 coth x1 -5 Mul Mul Mul x0 x1 3 Mul Pow x0 sec coth Add x0 x0 Mul Add 1 coth x1 -5 -1 