Mul x7 Pow Mul Add x0 Add x0 Add -4 csch x0 x0 acos x7 
Mul x7 Mul Pow Mul Add x0 Add x0 Add -4 csch x0 x0 Add acos x7 -1 Mul acos x7 Add Mul x0 Add 1 Add 1 Mul Mul -1 coth x0 csch x0 Add x0 Add x0 Add -4 csch x0 