asech Mul Pow Mul log x0 Mul x0 x0 Pow x5 256 x6 
Mul Mul x6 Mul Pow Mul log x0 Mul x0 x0 Add Pow x5 256 -1 Mul Pow x5 256 Add Mul Mul x0 x0 Pow x0 -1 Mul log x0 Add x0 x0 Pow Mul Mul Mul Pow Mul log x0 Mul x0 x0 Pow x5 256 x6 Mul Pow Mul log x0 Mul x0 x0 Pow x5 256 x6 sqrt Add 1 Mul -1 Pow Mul Mul Pow Mul log x0 Mul x0 x0 Pow x5 256 x6 Mul Pow Mul log x0 Mul x0 x0 Pow x5 256 x6 -1 -1 