57.677 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.078 * * * [progress]: [2/2] Setting up program.
0.094 * [progress]: [Phase 2 of 3] Improving.
0.094 * [simplify]: Simplifying:
  (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
0.095 * * [simplify]: iteration 0: 26 enodes
0.105 * * [simplify]: iteration 1: 41 enodes
0.146 * * [simplify]: iteration 2: 88 enodes
0.203 * * [simplify]: iteration 3: 264 enodes
0.355 * * [simplify]: iteration 4: 735 enodes
1.085 * * [simplify]: iteration 5: 1786 enodes
2.474 * * [simplify]: iteration 6: 3148 enodes
4.488 * * [simplify]: iteration 7: 3969 enodes