Mul x0 Mul Add acot Mul csch x7 x0 x0 Mul Add x1 x1 -4 
Add Mul Add acot Mul csch x7 x0 x0 Mul Add x1 x1 -4 Mul x0 Mul Mul Add x1 x1 -4 Add Mul -1 Mul csch x7 Pow Add 1 Mul Mul csch x7 x0 Mul csch x7 x0 -1 1 