Add Mul x6 Add Mul Mul -4 Add x0 Pow x4 x0 Mul 3 Mul x0 Pow x0 sec x3 Add x0 x0 1 
Mul x6 Add Add Mul Mul 3 Mul x0 Pow x0 sec x3 Mul -4 Add 1 Mul Pow x4 Add x0 -1 Mul x4 log x4 Mul Mul -4 Add x0 Pow x4 x0 Mul 3 Add Pow x0 sec x3 Mul x0 Mul Pow x0 Add sec x3 -1 sec x3 2 