Pow x2 Add Mul x0 5 Mul sqrt Mul Pow x0 x5 x7 -4 
Mul Pow x2 Add Add Mul x0 5 Mul sqrt Mul Pow x0 x5 x7 -4 -1 Mul Mul x2 log x2 Add 5 Mul -4 Mul Pow Mul 2 sqrt Mul Pow x0 x5 x7 -1 Mul x7 Mul Pow x0 Add x5 -1 x5 