Mul Pow x0 Add Mul sec x4 x0 5 Pow x0 1029 
Add Mul Pow x0 1029 Mul Pow x0 Add Add Mul sec x4 x0 5 -1 Add Add Mul sec x4 x0 5 Mul Mul x0 log x0 sec x4 Mul Pow x0 Add Mul sec x4 x0 5 Mul Pow x0 1028 1029 