Mul Pow acsc Mul x0 x5 3.52532008581609 0.265802228834080 
Mul 0.265802228834080 Mul Pow acsc Mul x0 x5 2.52532008581609 Mul 3.52532008581609 Mul -1 Mul x5 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 x5 Mul x0 x5 -1 Mul x0 x5 Mul x0 x5 -1 