1.199 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.130 * * * [progress]: [2/2] Setting up program.
0.138 * [progress]: [Phase 2 of 3] Improving.
0.138 * [simplify]: Simplifying:
  (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))
0.138 * * [simplify]: iteration 0: 10 enodes
0.140 * * [simplify]: iteration 1: 23 enodes
0.144 * * [simplify]: iteration 2: 57 enodes
0.184 * * [simplify]: iteration 3: 93 enodes
0.235 * * [simplify]: iteration 4: 470 enodes
1.113 * * [simplify]: iteration 5: 4184 enodes
3.329 * * [simplify]: iteration complete: 5000 enodes
3.329 * * [simplify]: Extracting #0: cost 1 inf + 0
3.330 * * [simplify]: Extracting #1: cost 344 inf + 0
3.336 * * [simplify]: Extracting #2: cost 1531 inf + 8
3.342 * * [simplify]: Extracting #3: cost 1534 inf + 905
3.347 * * [simplify]: Extracting #4: cost 529 inf + 5986
3.356 * * [simplify]: Extracting #5: cost 28 inf + 9568
3.361 * * [simplify]: Extracting #6: cost 0 inf + 9821
3.370 * [simplify]: Simplified to:
  (* (* (cos re) 0.5) (+ (exp (- im)) (exp im)))
3.381 * * [progress]: iteration 1 / 4
3.381 * * * [progress]: picking best candidate