Pow Mul 1.58740105196820 sqrt Mul x0 x0 Pow asech x3 1.36943840600457 
Mul Pow Mul 1.58740105196820 sqrt Mul x0 x0 Add Pow asech x3 1.36943840600457 -1 Mul Pow asech x3 1.36943840600457 Mul 1.58740105196820 Mul Pow Mul 2 sqrt Mul x0 x0 -1 Add x0 x0 