asech Add x0 acsch Add 3 sech Add x3 x6 
Pow Mul Mul Add x0 acsch Add 3 sech Add x3 x6 Add x0 acsch Add 3 sech Add x3 x6 sqrt Add 1 Mul -1 Pow Mul Add x0 acsch Add 3 sech Add x3 x6 Add x0 acsch Add 3 sech Add x3 x6 -1 -1 