sqrt Pow Mul x0 Add sqrt x0 x0 exp x1 
Mul Pow Mul 2 sqrt Pow Mul x0 Add sqrt x0 x0 exp x1 -1 Mul Pow Mul x0 Add sqrt x0 x0 Add exp x1 -1 Mul exp x1 Add Add sqrt x0 x0 Mul x0 Add Pow Mul 2 sqrt x0 -1 1 