Add x0 Pow Mul -2 x1 acot Mul Add x0 exp x7 Mul Pow 2 x0 Mul asech Mul x0 Mul Mul x0 x6 x0 csch x0 
Add 1 Mul Pow Mul -2 x1 Add acot Mul Add x0 exp x7 Mul Pow 2 x0 Mul asech Mul x0 Mul Mul x0 x6 x0 csch x0 -1 Mul Mul Mul -2 x1 log Mul -2 x1 Mul -1 Mul Add Mul Pow 2 x0 Mul asech Mul x0 Mul Mul x0 x6 x0 csch x0 Mul Add x0 exp x7 Add Mul Mul asech Mul x0 Mul Mul x0 x6 x0 csch x0 Mul Pow 2 Add x0 -1 2.69314718055995 Mul Pow 2 x0 Add Mul csch x0 Mul Add Mul Mul x0 x6 x0 Mul x0 Add Mul x0 x6 Mul x0 x6 Pow Mul Mul Mul x0 Mul Mul x0 x6 x0 Mul x0 Mul Mul x0 x6 x0 sqrt Add 1 Mul -1 Pow Mul Mul x0 Mul Mul x0 x6 x0 Mul x0 Mul Mul x0 x6 x0 -1 -1 Mul asech Mul x0 Mul Mul x0 x6 x0 Mul Mul -1 coth x0 csch x0 Pow Add 1 Mul Mul Add x0 exp x7 Mul Pow 2 x0 Mul asech Mul x0 Mul Mul x0 x6 x0 csch x0 Mul Add x0 exp x7 Mul Pow 2 x0 Mul asech Mul x0 Mul Mul x0 x6 x0 csch x0 -1 