Add x4 Add Mul x0 x0 Add x6 Add Add x7 Pow Add x0 x1 csch acos Pow x0 -2 x0 
Add Add x0 x0 Add Mul Pow Add x0 x1 Add csch acos Pow x0 -2 -1 Add csch acos Pow x0 -2 Mul Mul Add x0 x1 log Add x0 x1 Mul Mul Mul -1 coth acos Pow x0 -2 csch acos Pow x0 -2 Mul -1 Mul Mul Pow x0 3 -2 Pow sqrt Add 1 Mul -1 Mul Pow x0 -2 Pow x0 -2 -1 1 