Mul asech Mul x1 -5 Add Mul 0.995054753686730 atan Pow sqrt x7 Add x0 x3 x0 
Mul asech Mul x1 -5 Add Mul 0.995054753686730 Mul Mul Pow sqrt x7 Add Add x0 x3 -1 Mul sqrt x7 log sqrt x7 Pow Add 1 Mul Pow sqrt x7 Add x0 x3 Pow sqrt x7 Add x0 x3 -1 1 