asech Mul Mul x0 x0 0.244978663126864 
Mul Mul 0.244978663126864 Add x0 x0 Pow Mul Mul Mul Mul x0 x0 0.244978663126864 Mul Mul x0 x0 0.244978663126864 sqrt Add 1 Mul -1 Pow Mul Mul Mul x0 x0 0.244978663126864 Mul Mul x0 x0 0.244978663126864 -1 -1 