0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.031 * * * [progress]: [2/2] Setting up program.
0.035 * [progress]: [Phase 2 of 3] Improving.
0.035 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (exp (- (- 1 (* x x)))))>
0.035 * [simplify]: Simplifying (exp (- (- 1 (* x x))))
0.036 * * [simplify]: iters left: 6 (6 enodes)
0.039 * * [simplify]: iters left: 5 (24 enodes)
0.048 * * [simplify]: iters left: 4 (43 enodes)
0.061 * * [simplify]: iters left: 3 (71 enodes)
0.074 * * [simplify]: iters left: 2 (111 enodes)
0.094 * * [simplify]: iters left: 1 (207 enodes)
0.178 * * [simplify]: Extracting #0: cost 1 inf + 0
0.178 * * [simplify]: Extracting #1: cost 55 inf + 0
0.179 * * [simplify]: Extracting #2: cost 138 inf + 44
0.179 * * [simplify]: Extracting #3: cost 148 inf + 957
0.180 * * [simplify]: Extracting #4: cost 115 inf + 4575
0.183 * * [simplify]: Extracting #5: cost 41 inf + 29799
0.189 * * [simplify]: Extracting #6: cost 7 inf + 43765
0.195 * * [simplify]: Extracting #7: cost 0 inf + 45667
0.205 * * [simplify]: Extracting #8: cost 0 inf + 45507
0.215 * [simplify]: Simplified to (/ (exp (* x x)) E)
0.215 * [simplify]: Simplified (2) to (λ (x) (/ (exp (* x x)) E))
0.227 * * [progress]: iteration 1 / 4
0.227 * * * [progress]: picking best candidate
0.231 * * * * [pick]: Picked  #<alt (λ (x) (/ (exp (* x x)) E))>
0.231 * * * [progress]: localizing error
0.248 * * * [progress]: generating rewritten candidates
0.248 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
0.256 * * * [progress]: generating series expansions
0.256 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
0.256 * [backup-simplify]: Simplify (exp (* x x)) into (exp (pow x 2))
0.256 * [approximate]: Taking taylor expansion of (exp (pow x 2)) in (x) around 0
0.256 * [taylor]: Taking taylor expansion of (exp (pow x 2)) in x
0.256 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.256 * [taylor]: Taking taylor expansion of x in x
0.256 * [backup-simplify]: Simplify 0 into 0
0.256 * [backup-simplify]: Simplify 1 into 1
0.257 * [backup-simplify]: Simplify (* 1 1) into 1
0.257 * [backup-simplify]: Simplify (exp 0) into 1
0.257 * [taylor]: Taking taylor expansion of (exp (pow x 2)) in x
0.257 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.257 * [taylor]: Taking taylor expansion of x in x
0.257 * [backup-simplify]: Simplify 0 into 0
0.257 * [backup-simplify]: Simplify 1 into 1
0.258 * [backup-simplify]: Simplify (* 1 1) into 1
0.258 * [backup-simplify]: Simplify (exp 0) into 1
0.258 * [backup-simplify]: Simplify 1 into 1
0.259 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
0.259 * [backup-simplify]: Simplify 0 into 0
0.261 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1
0.261 * [backup-simplify]: Simplify 1 into 1
0.262 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.264 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
0.264 * [backup-simplify]: Simplify 0 into 0
0.265 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.270 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.270 * [backup-simplify]: Simplify 1/2 into 1/2
0.271 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 4)) (+ (* 1 (pow x 2)) 1)) into (+ (pow x 2) (+ (* 1/2 (pow x 4)) 1))
0.271 * [backup-simplify]: Simplify (exp (* (/ 1 x) (/ 1 x))) into (exp (/ 1 (pow x 2)))
0.271 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in (x) around 0
0.271 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x
0.271 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.271 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.271 * [taylor]: Taking taylor expansion of x in x
0.271 * [backup-simplify]: Simplify 0 into 0
0.271 * [backup-simplify]: Simplify 1 into 1
0.272 * [backup-simplify]: Simplify (* 1 1) into 1
0.272 * [backup-simplify]: Simplify (/ 1 1) into 1
0.272 * [backup-simplify]: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
0.273 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x
0.273 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.273 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.273 * [taylor]: Taking taylor expansion of x in x
0.273 * [backup-simplify]: Simplify 0 into 0
0.273 * [backup-simplify]: Simplify 1 into 1
0.273 * [backup-simplify]: Simplify (* 1 1) into 1
0.274 * [backup-simplify]: Simplify (/ 1 1) into 1
0.274 * [backup-simplify]: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
0.274 * [backup-simplify]: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
0.274 * [backup-simplify]: Simplify 0 into 0
0.274 * [backup-simplify]: Simplify 0 into 0
0.274 * [backup-simplify]: Simplify 0 into 0
0.274 * [backup-simplify]: Simplify 0 into 0
0.274 * [backup-simplify]: Simplify 0 into 0
0.274 * [backup-simplify]: Simplify 0 into 0
0.274 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 x) 2))) into (exp (pow x 2))
0.275 * [backup-simplify]: Simplify (exp (* (/ 1 (- x)) (/ 1 (- x)))) into (exp (/ 1 (pow x 2)))
0.275 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in (x) around 0
0.275 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x
0.275 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.275 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.275 * [taylor]: Taking taylor expansion of x in x
0.275 * [backup-simplify]: Simplify 0 into 0
0.275 * [backup-simplify]: Simplify 1 into 1
0.275 * [backup-simplify]: Simplify (* 1 1) into 1
0.276 * [backup-simplify]: Simplify (/ 1 1) into 1
0.276 * [backup-simplify]: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
0.276 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x
0.276 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.276 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.276 * [taylor]: Taking taylor expansion of x in x
0.276 * [backup-simplify]: Simplify 0 into 0
0.276 * [backup-simplify]: Simplify 1 into 1
0.276 * [backup-simplify]: Simplify (* 1 1) into 1
0.277 * [backup-simplify]: Simplify (/ 1 1) into 1
0.277 * [backup-simplify]: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
0.278 * [backup-simplify]: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2)))
0.278 * [backup-simplify]: Simplify 0 into 0
0.278 * [backup-simplify]: Simplify 0 into 0
0.278 * [backup-simplify]: Simplify 0 into 0
0.278 * [backup-simplify]: Simplify 0 into 0
0.278 * [backup-simplify]: Simplify 0 into 0
0.278 * [backup-simplify]: Simplify 0 into 0
0.278 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 (- x)) 2))) into (exp (pow x 2))
0.278 * * * [progress]: simplifying candidates
0.278 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (x) (/ (pow (exp x) x) E))>
0.278 * [simplify]: Simplifying (exp x)
0.278 * * [simplify]: iters left: 1 (2 enodes)
0.279 * * [simplify]: Extracting #0: cost 1 inf + 0
0.279 * * [simplify]: Extracting #1: cost 3 inf + 0
0.279 * * [simplify]: Extracting #2: cost 2 inf + 1
0.280 * * [simplify]: Extracting #3: cost 0 inf + 143
0.280 * [simplify]: Simplified to (exp x)
0.280 * [simplify]: Simplified (2 1 1) to (λ (x) (/ (pow (exp x) x) E))
0.280 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (x) (/ (pow (exp (* x x)) 1) E))>
0.280 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (x) (/ (pow (exp x) x) E))>
0.280 * [simplify]: Simplifying (exp x)
0.280 * * [simplify]: iters left: 1 (2 enodes)
0.281 * * [simplify]: Extracting #0: cost 1 inf + 0
0.281 * * [simplify]: Extracting #1: cost 3 inf + 0
0.281 * * [simplify]: Extracting #2: cost 2 inf + 1
0.281 * * [simplify]: Extracting #3: cost 0 inf + 143
0.281 * [simplify]: Simplified to (exp x)
0.281 * [simplify]: Simplified (2 1 1) to (λ (x) (/ (pow (exp x) x) E))
0.281 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (x) (/ (exp (* x x)) E))>
0.282 * [simplify]: Simplifying (* x x)
0.282 * * [simplify]: iters left: 2 (2 enodes)
0.283 * * [simplify]: iters left: 1 (6 enodes)
0.284 * * [simplify]: Extracting #0: cost 1 inf + 0
0.284 * * [simplify]: Extracting #1: cost 3 inf + 0
0.284 * * [simplify]: Extracting #2: cost 2 inf + 1
0.284 * * [simplify]: Extracting #3: cost 0 inf + 83
0.285 * [simplify]: Simplified to (* x x)
0.285 * [simplify]: Simplified (2 1 1) to (λ (x) (/ (exp (* x x)) E))
0.285 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (x) (/ (exp (log (exp (* x x)))) E))>
0.285 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (x) (/ (log (exp (exp (* x x)))) E))>
0.285 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (x) (/ (* (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))) (cbrt (exp (* x x)))) E))>
0.285 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (x) (/ (cbrt (* (* (exp (* x x)) (exp (* x x))) (exp (* x x)))) E))>
0.285 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (exp (* x x))) (sqrt (exp (* x x)))) E))>
0.285 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (x) (/ (* 1 (exp (* x x))) E))>
0.285 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (x) (/ (posit16->real (real->posit16 (exp (* x x)))) E))>
0.285 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (x) (/ (+ (pow x 2) (+ (* 1/2 (pow x 4)) 1)) E))>
0.285 * [simplify]: Simplifying (+ (pow x 2) (+ (* 1/2 (pow x 4)) 1))
0.285 * * [simplify]: iters left: 6 (10 enodes)
0.294 * * [simplify]: iters left: 5 (44 enodes)
0.308 * * [simplify]: iters left: 4 (56 enodes)
0.323 * * [simplify]: iters left: 3 (61 enodes)
0.338 * * [simplify]: Extracting #0: cost 1 inf + 0
0.338 * * [simplify]: Extracting #1: cost 8 inf + 0
0.338 * * [simplify]: Extracting #2: cost 16 inf + 1
0.338 * * [simplify]: Extracting #3: cost 15 inf + 4
0.339 * * [simplify]: Extracting #4: cost 10 inf + 250
0.339 * * [simplify]: Extracting #5: cost 3 inf + 1186
0.340 * * [simplify]: Extracting #6: cost 0 inf + 1713
0.341 * [simplify]: Simplified to (+ (+ 1 (* 1/2 (* (* x x) (* x x)))) (* x x))
0.341 * [simplify]: Simplified (2 1) to (λ (x) (/ (+ (+ 1 (* 1/2 (* (* x x) (* x x)))) (* x x)) E))
0.341 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (x) (/ (exp (pow x 2)) E))>
0.341 * [simplify]: Simplifying (exp (pow x 2))
0.341 * * [simplify]: iters left: 2 (4 enodes)
0.344 * * [simplify]: iters left: 1 (17 enodes)
0.349 * * [simplify]: Extracting #0: cost 1 inf + 0
0.349 * * [simplify]: Extracting #1: cost 5 inf + 0
0.349 * * [simplify]: Extracting #2: cost 6 inf + 1
0.349 * * [simplify]: Extracting #3: cost 0 inf + 377
0.349 * [simplify]: Simplified to (exp (* x x))
0.349 * [simplify]: Simplified (2 1) to (λ (x) (/ (exp (* x x)) E))
0.349 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (x) (/ (exp (pow x 2)) E))>
0.349 * [simplify]: Simplifying (exp (pow x 2))
0.350 * * [simplify]: iters left: 2 (4 enodes)
0.351 * * [simplify]: iters left: 1 (17 enodes)
0.354 * * [simplify]: Extracting #0: cost 1 inf + 0
0.354 * * [simplify]: Extracting #1: cost 5 inf + 0
0.354 * * [simplify]: Extracting #2: cost 6 inf + 1
0.354 * * [simplify]: Extracting #3: cost 0 inf + 377
0.354 * [simplify]: Simplified to (exp (* x x))
0.354 * [simplify]: Simplified (2 1) to (λ (x) (/ (exp (* x x)) E))
0.354 * * * [progress]: adding candidates to table
0.445 * * [progress]: iteration 2 / 4
0.445 * * * [progress]: picking best candidate
0.447 * * * * [pick]: Picked  #<alt (λ (x) (/ (pow (exp x) x) E))>
0.447 * * * [progress]: localizing error
0.462 * * * [progress]: generating rewritten candidates
0.463 * * * [progress]: generating series expansions
0.463 * * * [progress]: simplifying candidates
0.463 * * * [progress]: adding candidates to table
0.463 * [progress]: [Phase 3 of 3] Extracting.
0.468 * [simplify]: Simplifying (/ (pow (exp x) x) E)
0.468 * * [simplify]: iters left: 4 (5 enodes)
0.468 * * [simplify]: iters left: 3 (7 enodes)
0.469 * * [simplify]: iters left: 2 (9 enodes)
0.469 * * [simplify]: Extracting #0: cost 1 inf + 0
0.469 * * [simplify]: Extracting #1: cost 3 inf + 0
0.469 * * [simplify]: Extracting #2: cost 4 inf + 1
0.469 * * [simplify]: Extracting #3: cost 3 inf + 2
0.469 * * [simplify]: Extracting #4: cost 0 inf + 676
0.470 * [simplify]: Simplified to (/ (pow (exp x) x) E)
2.464 * [regime-testing]: Baseline error score: 0.01687303567762454
2.468 * [regime-testing]: Oracle error score: 0.01687303567762454
2.469 * [regime-testing]: End program error score: 0.01687303567762454