acot Mul x0 Pow Mul atan Pow Mul -3 x0 Mul sinh x0 asin coth x1 E -2 
Mul -1 Mul Add Pow Mul atan Pow Mul -3 x0 Mul sinh x0 asin coth x1 E -2 Mul x0 Mul Pow Mul atan Pow Mul -3 x0 Mul sinh x0 asin coth x1 E 3 Mul -2 Mul E Mul Mul Pow Mul -3 x0 Add Mul sinh x0 asin coth x1 -1 Add Mul Mul sinh x0 asin coth x1 -3 Mul Mul Mul -3 x0 log Mul -3 x0 Mul asin coth x1 cosh x0 Pow Add 1 Mul Pow Mul -3 x0 Mul sinh x0 asin coth x1 Pow Mul -3 x0 Mul sinh x0 asin coth x1 -1 Pow Add 1 Mul Mul x0 Pow Mul atan Pow Mul -3 x0 Mul sinh x0 asin coth x1 E -2 Mul x0 Pow Mul atan Pow Mul -3 x0 Mul sinh x0 asin coth x1 E -2 -1 