7.505 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.121 * * * [progress]: [2/2] Setting up program.
0.130 * [progress]: [Phase 2 of 3] Improving.
0.131 * [simplify]: Simplifying:
  (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))
0.131 * * [simplify]: iteration 0: 10 enodes
0.134 * * [simplify]: iteration 1: 23 enodes
0.140 * * [simplify]: iteration 2: 59 enodes
0.154 * * [simplify]: iteration 3: 102 enodes
0.206 * * [simplify]: iteration 4: 238 enodes
0.427 * * [simplify]: iteration 5: 764 enodes
1.118 * * [simplify]: iteration 6: 1848 enodes
1.955 * * [simplify]: iteration 7: 2791 enodes
3.642 * * [simplify]: iteration 8: 4594 enodes
4.303 * * [simplify]: iteration complete: 5000 enodes
4.303 * * [simplify]: Extracting #0: cost 1 inf + 0
4.304 * * [simplify]: Extracting #1: cost 200 inf + 0
4.308 * * [simplify]: Extracting #2: cost 404 inf + 884
4.315 * * [simplify]: Extracting #3: cost 407 inf + 11301
4.338 * * [simplify]: Extracting #4: cost 77 inf + 58143
4.367 * * [simplify]: Extracting #5: cost 2 inf + 71561
4.396 * * [simplify]: Extracting #6: cost 0 inf + 71847
4.418 * [simplify]: Simplified to:
  (* (fma (exp im) 0.5 (/ 0.5 (exp im))) (cos re))
4.424 * * [progress]: iteration 1 / 4
4.424 * * * [progress]: picking best candidate
4.429 * * * * [pick]: Picked  #<alt (λ (re im) (* (fma (exp im) 0.5 (/ 0.5 (exp im))) (cos re)))>
4.429 * * * [progress]: localizing error
4.454 * * * [progress]: generating rewritten candidates
4.454 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 3)
4.461 * * * [progress]: generating series expansions
4.461 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 3)
4.461 * [backup-simplify]: Simplify (/ 0.5 (exp im)) into (/ 0.5 (exp im))
4.461 * [approximate]: Taking taylor expansion of (/ 0.5 (exp im)) in (im) around 0
4.461 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im
4.461 * [taylor]: Taking taylor expansion of 0.5 in im
4.461 * [backup-simplify]: Simplify 0.5 into 0.5
4.461 * [taylor]: Taking taylor expansion of (exp im) in im
4.461 * [taylor]: Taking taylor expansion of im in im
4.461 * [backup-simplify]: Simplify 0 into 0
4.461 * [backup-simplify]: Simplify 1 into 1
4.461 * [backup-simplify]: Simplify (exp 0) into 1
4.462 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
4.462 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im
4.462 * [taylor]: Taking taylor expansion of 0.5 in im
4.462 * [backup-simplify]: Simplify 0.5 into 0.5
4.462 * [taylor]: Taking taylor expansion of (exp im) in im
4.462 * [taylor]: Taking taylor expansion of im in im
4.462 * [backup-simplify]: Simplify 0 into 0
4.462 * [backup-simplify]: Simplify 1 into 1
4.462 * [backup-simplify]: Simplify (exp 0) into 1
4.462 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
4.462 * [backup-simplify]: Simplify 0.5 into 0.5
4.463 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.464 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 1 1)))) into (- 0.5)
4.465 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.466 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.469 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 1/2 1)) (* (- 0.5) (/ 1 1)))) into 0.25
4.469 * [backup-simplify]: Simplify 0.25 into 0.25
4.469 * [backup-simplify]: Simplify (+ (* 0.25 (pow im 2)) (+ (* (- 0.5) im) 0.5)) into (- (+ (* 0.25 (pow im 2)) 0.5) (* 0.5 im))
4.469 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im)))
4.469 * [approximate]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in (im) around 0
4.469 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im
4.469 * [taylor]: Taking taylor expansion of 0.5 in im
4.469 * [backup-simplify]: Simplify 0.5 into 0.5
4.469 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
4.469 * [taylor]: Taking taylor expansion of (/ 1 im) in im
4.469 * [taylor]: Taking taylor expansion of im in im
4.469 * [backup-simplify]: Simplify 0 into 0
4.469 * [backup-simplify]: Simplify 1 into 1
4.470 * [backup-simplify]: Simplify (/ 1 1) into 1
4.470 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.470 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im)))
4.470 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im
4.470 * [taylor]: Taking taylor expansion of 0.5 in im
4.470 * [backup-simplify]: Simplify 0.5 into 0.5
4.470 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
4.470 * [taylor]: Taking taylor expansion of (/ 1 im) in im
4.470 * [taylor]: Taking taylor expansion of im in im
4.470 * [backup-simplify]: Simplify 0 into 0
4.470 * [backup-simplify]: Simplify 1 into 1
4.470 * [backup-simplify]: Simplify (/ 1 1) into 1
4.470 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.470 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im)))
4.470 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im)))
4.471 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0
4.471 * [backup-simplify]: Simplify 0 into 0
4.471 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
4.471 * [backup-simplify]: Simplify 0 into 0
4.471 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
4.471 * [backup-simplify]: Simplify 0 into 0
4.472 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
4.472 * [backup-simplify]: Simplify 0 into 0
4.472 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
4.472 * [backup-simplify]: Simplify 0 into 0
4.473 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
4.473 * [backup-simplify]: Simplify 0 into 0
4.473 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 (/ 1 im)))) into (/ 0.5 (exp im))
4.473 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 (- im)))) into (/ 0.5 (exp (/ -1 im)))
4.473 * [approximate]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in (im) around 0
4.473 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im
4.473 * [taylor]: Taking taylor expansion of 0.5 in im
4.473 * [backup-simplify]: Simplify 0.5 into 0.5
4.473 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
4.473 * [taylor]: Taking taylor expansion of (/ -1 im) in im
4.473 * [taylor]: Taking taylor expansion of -1 in im
4.473 * [backup-simplify]: Simplify -1 into -1
4.473 * [taylor]: Taking taylor expansion of im in im
4.473 * [backup-simplify]: Simplify 0 into 0
4.473 * [backup-simplify]: Simplify 1 into 1
4.473 * [backup-simplify]: Simplify (/ -1 1) into -1
4.473 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
4.474 * [backup-simplify]: Simplify (/ 0.5 (exp (/ -1 im))) into (/ 0.5 (exp (/ -1 im)))
4.474 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im
4.474 * [taylor]: Taking taylor expansion of 0.5 in im
4.474 * [backup-simplify]: Simplify 0.5 into 0.5
4.474 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
4.474 * [taylor]: Taking taylor expansion of (/ -1 im) in im
4.474 * [taylor]: Taking taylor expansion of -1 in im
4.474 * [backup-simplify]: Simplify -1 into -1
4.474 * [taylor]: Taking taylor expansion of im in im
4.474 * [backup-simplify]: Simplify 0 into 0
4.474 * [backup-simplify]: Simplify 1 into 1
4.474 * [backup-simplify]: Simplify (/ -1 1) into -1
4.474 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
4.474 * [backup-simplify]: Simplify (/ 0.5 (exp (/ -1 im))) into (/ 0.5 (exp (/ -1 im)))
4.474 * [backup-simplify]: Simplify (/ 0.5 (exp (/ -1 im))) into (/ 0.5 (exp (/ -1 im)))
4.474 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0
4.474 * [backup-simplify]: Simplify 0 into 0
4.475 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
4.475 * [backup-simplify]: Simplify 0 into 0
4.475 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
4.475 * [backup-simplify]: Simplify 0 into 0
4.475 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
4.475 * [backup-simplify]: Simplify 0 into 0
4.476 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
4.476 * [backup-simplify]: Simplify 0 into 0
4.476 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
4.476 * [backup-simplify]: Simplify 0 into 0
4.476 * [backup-simplify]: Simplify (/ 0.5 (exp (/ -1 (/ 1 (- im))))) into (/ 0.5 (exp im))
4.476 * * * [progress]: simplifying candidates
4.477 * [simplify]: Simplifying:
  (expm1 (/ 0.5 (exp im)))
  (log1p (/ 0.5 (exp im)))
  (- (log 0.5) im)
  (log (/ 0.5 (exp im)))
  (exp (/ 0.5 (exp im)))
  (/ (* (* 0.5 0.5) 0.5) (* (* (exp im) (exp im)) (exp im)))
  (* (cbrt (/ 0.5 (exp im))) (cbrt (/ 0.5 (exp im))))
  (cbrt (/ 0.5 (exp im)))
  (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im)))
  (sqrt (/ 0.5 (exp im)))
  (sqrt (/ 0.5 (exp im)))
  (- 0.5)
  (- (exp im))
  (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt (exp im)) (cbrt (exp im))))
  (/ (cbrt 0.5) (cbrt (exp im)))
  (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt (exp im)))
  (/ (cbrt 0.5) (sqrt (exp im)))
  (/ (* (cbrt 0.5) (cbrt 0.5)) 1)
  (/ (cbrt 0.5) (exp im))
  (/ (sqrt 0.5) (* (cbrt (exp im)) (cbrt (exp im))))
  (/ (sqrt 0.5) (cbrt (exp im)))
  (/ (sqrt 0.5) (sqrt (exp im)))
  (/ (sqrt 0.5) (sqrt (exp im)))
  (/ (sqrt 0.5) 1)
  (/ (sqrt 0.5) (exp im))
  (/ 1 (* (cbrt (exp im)) (cbrt (exp im))))
  (/ 0.5 (cbrt (exp im)))
  (/ 1 (sqrt (exp im)))
  (/ 0.5 (sqrt (exp im)))
  (/ 1 1)
  (/ 0.5 (exp im))
  (/ 1 (exp im))
  (/ (exp im) 0.5)
  (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im))))
  (/ 0.5 (sqrt (exp im)))
  (/ 0.5 1)
  (/ (exp im) (cbrt 0.5))
  (/ (exp im) (sqrt 0.5))
  (/ (exp im) 0.5)
  (- (+ (* 0.25 (pow im 2)) 0.5) (* 0.5 im))
  (/ 0.5 (exp im))
  (/ 0.5 (exp im))
4.477 * * [simplify]: iteration 0: 58 enodes
4.500 * * [simplify]: iteration 1: 112 enodes
4.540 * * [simplify]: iteration 2: 307 enodes
4.652 * * [simplify]: iteration 3: 912 enodes
5.439 * * [simplify]: iteration 4: 3861 enodes
6.688 * * [simplify]: iteration complete: 5062 enodes
6.688 * * [simplify]: Extracting #0: cost 34 inf + 0
6.690 * * [simplify]: Extracting #1: cost 620 inf + 84
6.698 * * [simplify]: Extracting #2: cost 1771 inf + 5233
6.718 * * [simplify]: Extracting #3: cost 847 inf + 135302
6.783 * * [simplify]: Extracting #4: cost 56 inf + 275919
6.857 * * [simplify]: Extracting #5: cost 0 inf + 288143
6.928 * [simplify]: Simplified to:
  (expm1 (/ 0.5 (exp im)))
  (log1p (/ 0.5 (exp im)))
  (- (log 0.5) im)
  (- (log 0.5) im)
  (exp (/ 0.5 (exp im)))
  (* (/ 0.5 (exp im)) (* (/ 0.5 (exp im)) (/ 0.5 (exp im))))
  (* (cbrt (/ 0.5 (exp im))) (cbrt (/ 0.5 (exp im))))
  (cbrt (/ 0.5 (exp im)))
  (* (/ 0.5 (exp im)) (* (/ 0.5 (exp im)) (/ 0.5 (exp im))))
  (sqrt (/ 0.5 (exp im)))
  (sqrt (/ 0.5 (exp im)))
  (- 0.5)
  (- (exp im))
  (* (/ (cbrt 0.5) (cbrt (exp im))) (/ (cbrt 0.5) (cbrt (exp im))))
  (/ (cbrt 0.5) (cbrt (exp im)))
  (/ (cbrt 0.5) (/ (sqrt (exp im)) (cbrt 0.5)))
  (/ (cbrt 0.5) (sqrt (exp im)))
  (* (cbrt 0.5) (cbrt 0.5))
  (/ (cbrt 0.5) (exp im))
  (/ (sqrt 0.5) (* (cbrt (exp im)) (cbrt (exp im))))
  (/ (sqrt 0.5) (cbrt (exp im)))
  (/ (sqrt 0.5) (sqrt (exp im)))
  (/ (sqrt 0.5) (sqrt (exp im)))
  (sqrt 0.5)
  (/ (sqrt 0.5) (exp im))
  (/ 1 (* (cbrt (exp im)) (cbrt (exp im))))
  (/ 0.5 (cbrt (exp im)))
  (/ 1 (sqrt (exp im)))
  (/ 0.5 (sqrt (exp im)))
  1
  (/ 0.5 (exp im))
  (exp (- im))
  (/ (exp im) 0.5)
  (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im))))
  (/ 0.5 (sqrt (exp im)))
  0.5
  (/ (exp im) (cbrt 0.5))
  (/ (exp im) (sqrt 0.5))
  (/ (exp im) 0.5)
  (fma (- (* 0.25 im) 0.5) im 0.5)
  (/ 0.5 (exp im))
  (/ 0.5 (exp im))
6.931 * * * [progress]: adding candidates to table
7.134 * [progress]: [Phase 3 of 3] Extracting.
7.141 * [simplify]: Simplifying:
  (* (fma (exp im) 0.5 (/ 0.5 (exp im))) (cos re))
7.141 * * [simplify]: iteration 0: 8 enodes
7.142 * * [simplify]: iteration 1: 9 enodes
7.142 * * [simplify]: iteration complete: 9 enodes
7.142 * * [simplify]: Extracting #0: cost 1 inf + 0
7.142 * * [simplify]: Extracting #1: cost 3 inf + 0
7.142 * * [simplify]: Extracting #2: cost 7 inf + 0
7.142 * * [simplify]: Extracting #3: cost 5 inf + 63
7.142 * * [simplify]: Extracting #4: cost 4 inf + 64
7.142 * * [simplify]: Extracting #5: cost 0 inf + 682
7.142 * [simplify]: Simplified to:
  (* (cos re) (fma (exp im) 0.5 (/ 0.5 (exp im))))
13.533 * [regime-testing]: Baseline error score: 0.009522430929046422
13.542 * [regime-testing]: Oracle error score: 0.009522430929046422
13.542 * [regime-testing]: End program error score: 0.009522430929046422