0.476 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.478 * * * [progress]: [2/2] Setting up program.
0.492 * [progress]: [Phase 2 of 3] Improving.
0.495 * [simplify]: Simplifying:
  (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))))
0.496 * * [simplify]: iteration 0: 19 enodes
0.504 * * [simplify]: iteration 1: 35 enodes
0.508 * * [simplify]: iteration 2: 63 enodes
0.516 * * [simplify]: iteration 3: 99 enodes
0.531 * * [simplify]: iteration 4: 249 enodes
0.622 * * [simplify]: iteration 5: 1130 enodes
2.456 * * [simplify]: iteration complete: 5001 enodes
2.457 * * [simplify]: Extracting #0: cost 1 inf + 0
2.460 * * [simplify]: Extracting #1: cost 636 inf + 0
2.501 * * [simplify]: Extracting #2: cost 1490 inf + 1
2.522 * * [simplify]: Extracting #3: cost 1615 inf + 9
2.537 * * [simplify]: Extracting #4: cost 1613 inf + 44
2.586 * * [simplify]: Extracting #5: cost 1549 inf + 559
2.610 * * [simplify]: Extracting #6: cost 819 inf + 16820
2.618 * * [simplify]: Extracting #7: cost 90 inf + 36795
2.624 * * [simplify]: Extracting #8: cost 0 inf + 39530
2.632 * * [simplify]: Extracting #9: cost 0 inf + 39510
2.645 * [simplify]: Simplified to:
  (/ (pow (hypot x.re x.im) y.re) (/ (pow (exp y.im) (atan2 x.im x.re)) (cos (fma y.im (log (hypot x.re x.im)) (* (atan2 x.im x.re) y.re)))))
2.668 * * [progress]: iteration 1 / 4
2.668 * * * [progress]: picking best candidate