Pow Pow x0 x2 sqrt exp Mul x0 x0 
Mul Pow Pow x0 x2 Add sqrt exp Mul x0 x0 -1 Add Mul sqrt exp Mul x0 x0 Mul Pow x0 Add x2 -1 x2 Mul Mul Pow x0 x2 log Pow x0 x2 Mul Pow Mul 2 sqrt exp Mul x0 x0 -1 Mul exp Mul x0 x0 Add x0 x0 