Pow acsch Mul sqrt Add x6 x0 x0 Pow x7 2 
Mul Pow acsch Mul sqrt Add x6 x0 x0 Add Pow x7 2 -1 Mul Pow x7 2 Mul Mul -1 Add Mul x0 Pow Mul 2 sqrt Add x6 x0 -1 sqrt Add x6 x0 Pow Mul Mul Mul sqrt Add x6 x0 x0 Mul sqrt Add x6 x0 x0 sqrt Add 1 Mul -1 Pow Mul Mul sqrt Add x6 x0 x0 Mul sqrt Add x6 x0 x0 -1 -1 