0.648 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.353 * * * [progress]: [2/2] Setting up program.
0.367 * [progress]: [Phase 2 of 3] Improving.
0.367 * [simplify]: Simplifying:
  (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))
0.367 * * [simplify]: iteration 0: 11 enodes
0.371 * * [simplify]: iteration 1: 21 enodes
0.374 * * [simplify]: iteration 2: 44 enodes
0.382 * * [simplify]: iteration 3: 104 enodes
0.405 * * [simplify]: iteration 4: 212 enodes
0.473 * * [simplify]: iteration 5: 708 enodes
1.492 * * [simplify]: iteration 6: 4670 enodes
2.980 * * [simplify]: iteration complete: 5000 enodes
2.980 * * [simplify]: Extracting #0: cost 1 inf + 0
2.981 * * [simplify]: Extracting #1: cost 283 inf + 0
2.988 * * [simplify]: Extracting #2: cost 1343 inf + 4
2.999 * * [simplify]: Extracting #3: cost 1270 inf + 721
3.010 * * [simplify]: Extracting #4: cost 743 inf + 3337
3.015 * * [simplify]: Extracting #5: cost 63 inf + 7345
3.021 * * [simplify]: Extracting #6: cost 0 inf + 7818
3.026 * [simplify]: Simplified to:
  (* (cos re) (* 0.5 (- (exp (- 0.0 im)) (exp im))))
3.031 * * [progress]: iteration 1 / 4
3.031 * * * [progress]: picking best candidate