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