asech sqrt Pow Add Add Mul x0 -5 Add x0 2 x0 Mul x7 -0.252680255142079 
Mul Mul Pow Mul 2 sqrt Pow Add Add Mul x0 -5 Add x0 2 x0 Mul x7 -0.252680255142079 -1 Mul Pow Add Add Mul x0 -5 Add x0 2 x0 Add Mul x7 -0.252680255142079 -1 Mul Mul x7 -0.252680255142079 5 Pow Mul Mul sqrt Pow Add Add Mul x0 -5 Add x0 2 x0 Mul x7 -0.252680255142079 sqrt Pow Add Add Mul x0 -5 Add x0 2 x0 Mul x7 -0.252680255142079 sqrt Add 1 Mul -1 Pow Mul sqrt Pow Add Add Mul x0 -5 Add x0 2 x0 Mul x7 -0.252680255142079 sqrt Pow Add Add Mul x0 -5 Add x0 2 x0 Mul x7 -0.252680255142079 -1 -1 