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