Pow log Pow x0 Add 4 x0 Mul x0 x3 
Mul Pow log Pow x0 Add 4 x0 Add Mul x0 x3 -1 Add Mul Mul x0 x3 Mul Mul Pow x0 Add Add 4 x0 -1 Add Add 4 x0 Mul x0 log x0 Pow Pow x0 Add 4 x0 -1 Mul Mul log Pow x0 Add 4 x0 log log Pow x0 Add 4 x0 x3 