1.978 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.043 * * * [progress]: [2/2] Setting up program.
0.050 * [progress]: [Phase 2 of 3] Improving.
0.050 * [simplify]: Simplifying:
  (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re))
0.050 * * [simplify]: iteration 0: 11 enodes
0.072 * * [simplify]: iteration 1: 20 enodes
0.078 * * [simplify]: iteration 2: 51 enodes
0.098 * * [simplify]: iteration 3: 127 enodes
0.132 * * [simplify]: iteration 4: 335 enodes
0.326 * * [simplify]: iteration 5: 1115 enodes
1.845 * * [simplify]: iteration complete: 5000 enodes
1.845 * * [simplify]: Extracting #0: cost 1 inf + 0
1.847 * * [simplify]: Extracting #1: cost 653 inf + 0
1.853 * * [simplify]: Extracting #2: cost 1358 inf + 1
1.870 * * [simplify]: Extracting #3: cost 1122 inf + 4172
1.879 * * [simplify]: Extracting #4: cost 135 inf + 19635
1.888 * * [simplify]: Extracting #5: cost 1 inf + 20437
1.898 * * [simplify]: Extracting #6: cost 0 inf + 20342
1.906 * [simplify]: Simplified to:
  (* x.im (- (* x.re (* 3 x.re)) (* x.im x.im)))
1.915 * * [progress]: iteration 1 / 4
1.915 * * * [progress]: picking best candidate