asinh Mul x0 exp Mul Pow x0 Mul Mul sinh Add -2 x2 acot csch x0 Add x0 3 x7 
Mul Add exp Mul Pow x0 Mul Mul sinh Add -2 x2 acot csch x0 Add x0 3 x7 Mul x0 Mul exp Mul Pow x0 Mul Mul sinh Add -2 x2 acot csch x0 Add x0 3 x7 Mul x7 Mul Pow x0 Add Mul Mul sinh Add -2 x2 acot csch x0 Add x0 3 -1 Add Mul Mul sinh Add -2 x2 acot csch x0 Add x0 3 Mul Mul x0 log x0 Add Mul Add x0 3 Mul sinh Add -2 x2 Mul -1 Mul Mul Mul -1 coth x0 csch x0 Pow Add 1 Mul csch x0 csch x0 -1 Mul sinh Add -2 x2 acot csch x0 Pow sqrt Add 1 Mul Mul x0 exp Mul Pow x0 Mul Mul sinh Add -2 x2 acot csch x0 Add x0 3 x7 Mul x0 exp Mul Pow x0 Mul Mul sinh Add -2 x2 acot csch x0 Add x0 3 x7 -1 