6.013 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.109 * * * [progress]: [2/2] Setting up program.
0.117 * [progress]: [Phase 2 of 3] Improving.
0.117 * [simplify]: Simplifying:
  (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))
0.117 * * [simplify]: iteration 0: 10 enodes
0.121 * * [simplify]: iteration 1: 23 enodes
0.129 * * [simplify]: iteration 2: 57 enodes
0.152 * * [simplify]: iteration 3: 86 enodes
0.176 * * [simplify]: iteration 4: 210 enodes
0.306 * * [simplify]: iteration 5: 617 enodes
0.652 * * [simplify]: iteration 6: 1348 enodes
1.193 * * [simplify]: iteration 7: 2355 enodes
2.429 * * [simplify]: iteration 8: 2876 enodes
2.791 * * [simplify]: iteration 9: 3063 enodes
3.084 * * [simplify]: iteration 10: 3212 enodes
3.194 * * [simplify]: iteration complete: 3212 enodes
3.195 * * [simplify]: Extracting #0: cost 1 inf + 0
3.195 * * [simplify]: Extracting #1: cost 17 inf + 0
3.195 * * [simplify]: Extracting #2: cost 27 inf + 44
3.196 * * [simplify]: Extracting #3: cost 27 inf + 106
3.196 * * [simplify]: Extracting #4: cost 23 inf + 454
3.199 * * [simplify]: Extracting #5: cost 7 inf + 3440
3.203 * * [simplify]: Extracting #6: cost 0 inf + 5225
3.208 * * [simplify]: Extracting #7: cost 0 inf + 4905
3.213 * * [simplify]: Extracting #8: cost 0 inf + 4865
3.219 * [simplify]: Simplified to:
  (* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (cos re))
3.228 * * [progress]: iteration 1 / 4
3.228 * * * [progress]: picking best candidate
3.232 * * * * [pick]: Picked  #<alt (λ (re im) (* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (cos re)))>
3.232 * * * [progress]: localizing error
3.247 * * * [progress]: generating rewritten candidates
3.247 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1)
3.253 * * * [progress]: generating series expansions
3.253 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1)
3.253 * [backup-simplify]: Simplify (/ 0.5 (exp im)) into (/ 0.5 (exp im))
3.253 * [approximate]: Taking taylor expansion of (/ 0.5 (exp im)) in (im) around 0
3.253 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im
3.253 * [taylor]: Taking taylor expansion of 0.5 in im
3.253 * [backup-simplify]: Simplify 0.5 into 0.5
3.253 * [taylor]: Taking taylor expansion of (exp im) in im
3.253 * [taylor]: Taking taylor expansion of im in im
3.253 * [backup-simplify]: Simplify 0 into 0
3.253 * [backup-simplify]: Simplify 1 into 1
3.253 * [backup-simplify]: Simplify (exp 0) into 1
3.254 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
3.254 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im
3.254 * [taylor]: Taking taylor expansion of 0.5 in im
3.254 * [backup-simplify]: Simplify 0.5 into 0.5
3.254 * [taylor]: Taking taylor expansion of (exp im) in im
3.254 * [taylor]: Taking taylor expansion of im in im
3.254 * [backup-simplify]: Simplify 0 into 0
3.254 * [backup-simplify]: Simplify 1 into 1
3.254 * [backup-simplify]: Simplify (exp 0) into 1
3.254 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
3.254 * [backup-simplify]: Simplify 0.5 into 0.5
3.255 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.257 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 1 1)))) into (- 0.5)
3.257 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.258 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.261 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 1/2 1)) (* (- 0.5) (/ 1 1)))) into 0.25
3.261 * [backup-simplify]: Simplify 0.25 into 0.25
3.261 * [backup-simplify]: Simplify (+ (* 0.25 (pow im 2)) (+ (* (- 0.5) im) 0.5)) into (- (+ (* 0.25 (pow im 2)) 0.5) (* 0.5 im))
3.261 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im)))
3.262 * [approximate]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in (im) around 0
3.262 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im
3.262 * [taylor]: Taking taylor expansion of 0.5 in im
3.262 * [backup-simplify]: Simplify 0.5 into 0.5
3.262 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
3.262 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.262 * [taylor]: Taking taylor expansion of im in im
3.262 * [backup-simplify]: Simplify 0 into 0
3.262 * [backup-simplify]: Simplify 1 into 1
3.262 * [backup-simplify]: Simplify (/ 1 1) into 1
3.263 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
3.263 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im)))
3.263 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im
3.263 * [taylor]: Taking taylor expansion of 0.5 in im
3.263 * [backup-simplify]: Simplify 0.5 into 0.5
3.263 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
3.263 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.263 * [taylor]: Taking taylor expansion of im in im
3.263 * [backup-simplify]: Simplify 0 into 0
3.263 * [backup-simplify]: Simplify 1 into 1
3.263 * [backup-simplify]: Simplify (/ 1 1) into 1
3.263 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
3.263 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im)))
3.263 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im)))
3.263 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0
3.263 * [backup-simplify]: Simplify 0 into 0
3.264 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
3.264 * [backup-simplify]: Simplify 0 into 0
3.264 * [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
3.264 * [backup-simplify]: Simplify 0 into 0
3.265 * [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
3.265 * [backup-simplify]: Simplify 0 into 0
3.266 * [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
3.266 * [backup-simplify]: Simplify 0 into 0
3.266 * [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
3.267 * [backup-simplify]: Simplify 0 into 0
3.267 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 (/ 1 im)))) into (/ 0.5 (exp im))
3.267 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 (- im)))) into (/ 0.5 (exp (/ -1 im)))
3.267 * [approximate]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in (im) around 0
3.267 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im
3.267 * [taylor]: Taking taylor expansion of 0.5 in im
3.267 * [backup-simplify]: Simplify 0.5 into 0.5
3.267 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
3.267 * [taylor]: Taking taylor expansion of (/ -1 im) in im
3.267 * [taylor]: Taking taylor expansion of -1 in im
3.267 * [backup-simplify]: Simplify -1 into -1
3.267 * [taylor]: Taking taylor expansion of im in im
3.267 * [backup-simplify]: Simplify 0 into 0
3.267 * [backup-simplify]: Simplify 1 into 1
3.268 * [backup-simplify]: Simplify (/ -1 1) into -1
3.268 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
3.268 * [backup-simplify]: Simplify (/ 0.5 (exp (/ -1 im))) into (/ 0.5 (exp (/ -1 im)))
3.268 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im
3.268 * [taylor]: Taking taylor expansion of 0.5 in im
3.268 * [backup-simplify]: Simplify 0.5 into 0.5
3.268 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
3.268 * [taylor]: Taking taylor expansion of (/ -1 im) in im
3.268 * [taylor]: Taking taylor expansion of -1 in im
3.268 * [backup-simplify]: Simplify -1 into -1
3.268 * [taylor]: Taking taylor expansion of im in im
3.268 * [backup-simplify]: Simplify 0 into 0
3.268 * [backup-simplify]: Simplify 1 into 1
3.269 * [backup-simplify]: Simplify (/ -1 1) into -1
3.269 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
3.269 * [backup-simplify]: Simplify (/ 0.5 (exp (/ -1 im))) into (/ 0.5 (exp (/ -1 im)))
3.269 * [backup-simplify]: Simplify (/ 0.5 (exp (/ -1 im))) into (/ 0.5 (exp (/ -1 im)))
3.269 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0
3.269 * [backup-simplify]: Simplify 0 into 0
3.270 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
3.270 * [backup-simplify]: Simplify 0 into 0
3.270 * [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
3.270 * [backup-simplify]: Simplify 0 into 0
3.271 * [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
3.271 * [backup-simplify]: Simplify 0 into 0
3.272 * [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
3.272 * [backup-simplify]: Simplify 0 into 0
3.272 * [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
3.272 * [backup-simplify]: Simplify 0 into 0
3.272 * [backup-simplify]: Simplify (/ 0.5 (exp (/ -1 (/ 1 (- im))))) into (/ 0.5 (exp im))
3.273 * * * [progress]: simplifying candidates
3.273 * [simplify]: Simplifying:
  (- (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))
3.274 * * [simplify]: iteration 0: 56 enodes
3.298 * * [simplify]: iteration 1: 109 enodes
3.350 * * [simplify]: iteration 2: 295 enodes
3.473 * * [simplify]: iteration 3: 860 enodes
4.199 * * [simplify]: iteration 4: 3785 enodes
5.173 * * [simplify]: iteration complete: 5177 enodes
5.173 * * [simplify]: Extracting #0: cost 32 inf + 0
5.177 * * [simplify]: Extracting #1: cost 952 inf + 2
5.188 * * [simplify]: Extracting #2: cost 1978 inf + 2739
5.213 * * [simplify]: Extracting #3: cost 1457 inf + 66430
5.279 * * [simplify]: Extracting #4: cost 236 inf + 273841
5.352 * * [simplify]: Extracting #5: cost 13 inf + 326953
5.421 * * [simplify]: Extracting #6: cost 0 inf + 332223
5.491 * [simplify]: Simplified to:
  (- (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)
  (+ (* (- (* 0.25 im) 0.5) im) 0.5)
  (/ 0.5 (exp im))
  (/ 0.5 (exp im))
5.493 * * * [progress]: adding candidates to table
5.658 * [progress]: [Phase 3 of 3] Extracting.
5.666 * [simplify]: Simplifying:
  (* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (cos re))
5.666 * * [simplify]: iteration 0: 9 enodes
5.666 * * [simplify]: iteration 1: 12 enodes
5.667 * * [simplify]: iteration complete: 12 enodes
5.667 * * [simplify]: Extracting #0: cost 1 inf + 0
5.667 * * [simplify]: Extracting #1: cost 3 inf + 0
5.667 * * [simplify]: Extracting #2: cost 6 inf + 0
5.667 * * [simplify]: Extracting #3: cost 6 inf + 62
5.667 * * [simplify]: Extracting #4: cost 6 inf + 63
5.668 * * [simplify]: Extracting #5: cost 0 inf + 844
5.668 * [simplify]: Simplified to:
  (* (cos re) (+ (/ 0.5 (exp im)) (* 0.5 (exp im))))
12.567 * [regime-testing]: Baseline error score: 0.009522430929046422
12.583 * [regime-testing]: Oracle error score: 0.009522430929046422
12.583 * [regime-testing]: End program error score: 0.009522430929046422