Mul Add x0 cot x7 Add Mul Pow 2 x0 Pow csch x0 x1 x0 
Add Add Mul Pow 2 x0 Pow csch x0 x1 x0 Mul Add x0 cot x7 Add Add Mul Pow csch x0 x1 Mul Pow 2 Add x0 -1 2.69314718055995 Mul Pow 2 x0 Mul Pow csch x0 Add x1 -1 Mul x1 Mul Mul -1 coth x0 csch x0 1 