Mul 4 Add x0 acot Mul Mul Pow -3 x1 asin coth x0 4 
Mul 4 Add 1 Mul -1 Mul Mul 4 Mul Pow -3 x1 Mul Mul -1 Pow csch x0 2 Pow sqrt Add 1 Mul -1 Mul coth x0 coth x0 -1 Pow Add 1 Mul Mul Mul Pow -3 x1 asin coth x0 4 Mul Mul Pow -3 x1 asin coth x0 4 -1 