Mul sqrt Mul Pow x1 Add sec x2 0.958924274663138 x0 x0 
Add Mul x0 Mul Pow Mul 2 sqrt Mul Pow x1 Add sec x2 0.958924274663138 x0 -1 Pow x1 Add sec x2 0.958924274663138 sqrt Mul Pow x1 Add sec x2 0.958924274663138 x0 