Mul Pow asec x0 Pow 0.850918128239322 E x0 
Add Mul x0 Mul Pow asec x0 Add Pow 0.850918128239322 E -1 Mul Pow 0.850918128239322 E Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow asec x0 Pow 0.850918128239322 E 