6.453 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.041 * * * [progress]: [2/2] Setting up program.
0.047 * [progress]: [Phase 2 of 3] Improving.
0.048 * [simplify]: Simplifying:
  (exp (- (- 1.0 (* x x))))
0.048 * * [simplify]: iteration 0: 6 enodes
0.049 * * [simplify]: iteration 1: 11 enodes
0.062 * * [simplify]: iteration 2: 25 enodes
0.068 * * [simplify]: iteration 3: 47 enodes
0.075 * * [simplify]: iteration 4: 134 enodes
0.094 * * [simplify]: iteration 5: 479 enodes
0.398 * * [simplify]: iteration 6: 2204 enodes
4.090 * * [simplify]: iteration complete: 5001 enodes
4.090 * * [simplify]: Extracting #0: cost 1 inf + 0
4.091 * * [simplify]: Extracting #1: cost 437 inf + 0
4.094 * * [simplify]: Extracting #2: cost 1644 inf + 1
4.105 * * [simplify]: Extracting #3: cost 1615 inf + 25556
4.128 * * [simplify]: Extracting #4: cost 1101 inf + 86506
4.161 * * [simplify]: Extracting #5: cost 803 inf + 168217
4.225 * * [simplify]: Extracting #6: cost 200 inf + 455962
4.305 * * [simplify]: Extracting #7: cost 0 inf + 564262
4.385 * [simplify]: Simplified to:
  (exp (- (* x x) 1.0))
4.389 * * [progress]: iteration 1 / 4
4.389 * * * [progress]: picking best candidate
4.391 * * * * [pick]: Picked  #<alt (λ (x) (exp (- (* x x) 1.0)))>
4.391 * * * [progress]: localizing error
4.399 * * * [progress]: generating rewritten candidates
4.399 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
4.416 * * * [progress]: generating series expansions
4.416 * * * * [progress]: [ 1 / 1 ] generating series at (2)
4.416 * [backup-simplify]: Simplify (exp (- (* x x) 1.0)) into (exp (- (pow x 2) 1.0))
4.416 * [approximate]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in (x) around 0
4.416 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x
4.416 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
4.416 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.416 * [taylor]: Taking taylor expansion of x in x
4.416 * [backup-simplify]: Simplify 0 into 0
4.416 * [backup-simplify]: Simplify 1 into 1
4.416 * [taylor]: Taking taylor expansion of 1.0 in x
4.416 * [backup-simplify]: Simplify 1.0 into 1.0
4.417 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.417 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
4.418 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
4.418 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x
4.418 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
4.418 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.418 * [taylor]: Taking taylor expansion of x in x
4.418 * [backup-simplify]: Simplify 0 into 0
4.418 * [backup-simplify]: Simplify 1 into 1
4.418 * [taylor]: Taking taylor expansion of 1.0 in x
4.418 * [backup-simplify]: Simplify 1.0 into 1.0
4.418 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.419 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
4.419 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
4.420 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
4.421 * [backup-simplify]: Simplify (- 0) into 0
4.421 * [backup-simplify]: Simplify (+ 0 0) into 0
4.422 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0
4.422 * [backup-simplify]: Simplify 0 into 0
4.422 * [backup-simplify]: Simplify (* 1 1) into 1
4.422 * [backup-simplify]: Simplify (- 0) into 0
4.422 * [backup-simplify]: Simplify (+ 1 0) into 1
4.425 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp (- 1.0))
4.425 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
4.426 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.426 * [backup-simplify]: Simplify (- 0) into 0
4.426 * [backup-simplify]: Simplify (+ 0 0) into 0
4.428 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.428 * [backup-simplify]: Simplify 0 into 0
4.428 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.428 * [backup-simplify]: Simplify (- 0) into 0
4.429 * [backup-simplify]: Simplify (+ 0 0) into 0
4.433 * [backup-simplify]: Simplify (* (exp (- 1.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 (exp (- 1.0)))
4.434 * [backup-simplify]: Simplify (* 1/2 (exp (- 1.0))) into (* 1/2 (exp (- 1.0)))
4.437 * [backup-simplify]: Simplify (+ (* (* 1/2 (exp (- 1.0))) (pow x 4)) (+ (* (exp (- 1.0)) (pow x 2)) (exp (- 1.0)))) into (+ (exp (- 1.0)) (+ (* (pow x 2) (exp (- 1.0))) (* 1/2 (* (pow x 4) (exp (- 1.0))))))
4.437 * [backup-simplify]: Simplify (exp (- (* (/ 1 x) (/ 1 x)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
4.437 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
4.437 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
4.437 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
4.437 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.437 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.437 * [taylor]: Taking taylor expansion of x in x
4.437 * [backup-simplify]: Simplify 0 into 0
4.437 * [backup-simplify]: Simplify 1 into 1
4.437 * [backup-simplify]: Simplify (* 1 1) into 1
4.437 * [backup-simplify]: Simplify (/ 1 1) into 1
4.437 * [taylor]: Taking taylor expansion of 1.0 in x
4.437 * [backup-simplify]: Simplify 1.0 into 1.0
4.438 * [backup-simplify]: Simplify (+ 1 0) into 1
4.438 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
4.438 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
4.438 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
4.438 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.438 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.438 * [taylor]: Taking taylor expansion of x in x
4.438 * [backup-simplify]: Simplify 0 into 0
4.438 * [backup-simplify]: Simplify 1 into 1
4.438 * [backup-simplify]: Simplify (* 1 1) into 1
4.438 * [backup-simplify]: Simplify (/ 1 1) into 1
4.438 * [taylor]: Taking taylor expansion of 1.0 in x
4.438 * [backup-simplify]: Simplify 1.0 into 1.0
4.439 * [backup-simplify]: Simplify (+ 1 0) into 1
4.439 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
4.439 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
4.439 * [backup-simplify]: Simplify 0 into 0
4.439 * [backup-simplify]: Simplify 0 into 0
4.439 * [backup-simplify]: Simplify 0 into 0
4.439 * [backup-simplify]: Simplify 0 into 0
4.439 * [backup-simplify]: Simplify 0 into 0
4.439 * [backup-simplify]: Simplify 0 into 0
4.439 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 x) 2)) 1.0)) into (exp (- (pow x 2) 1.0))
4.439 * [backup-simplify]: Simplify (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
4.439 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
4.439 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
4.439 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
4.439 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.440 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.440 * [taylor]: Taking taylor expansion of x in x
4.440 * [backup-simplify]: Simplify 0 into 0
4.440 * [backup-simplify]: Simplify 1 into 1
4.440 * [backup-simplify]: Simplify (* 1 1) into 1
4.440 * [backup-simplify]: Simplify (/ 1 1) into 1
4.440 * [taylor]: Taking taylor expansion of 1.0 in x
4.440 * [backup-simplify]: Simplify 1.0 into 1.0
4.440 * [backup-simplify]: Simplify (+ 1 0) into 1
4.440 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
4.440 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
4.440 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
4.440 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.441 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.441 * [taylor]: Taking taylor expansion of x in x
4.441 * [backup-simplify]: Simplify 0 into 0
4.441 * [backup-simplify]: Simplify 1 into 1
4.441 * [backup-simplify]: Simplify (* 1 1) into 1
4.441 * [backup-simplify]: Simplify (/ 1 1) into 1
4.441 * [taylor]: Taking taylor expansion of 1.0 in x
4.441 * [backup-simplify]: Simplify 1.0 into 1.0
4.441 * [backup-simplify]: Simplify (+ 1 0) into 1
4.441 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
4.442 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
4.442 * [backup-simplify]: Simplify 0 into 0
4.442 * [backup-simplify]: Simplify 0 into 0
4.442 * [backup-simplify]: Simplify 0 into 0
4.442 * [backup-simplify]: Simplify 0 into 0
4.442 * [backup-simplify]: Simplify 0 into 0
4.442 * [backup-simplify]: Simplify 0 into 0
4.442 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 (- x)) 2)) 1.0)) into (exp (- (pow x 2) 1.0))
4.442 * * * [progress]: simplifying candidates
4.442 * [simplify]: Simplifying:
  (exp (* (cbrt (- (* x x) 1.0)) (cbrt (- (* x x) 1.0))))
  (exp (sqrt (- (* x x) 1.0)))
  (exp 1)
  (exp (+ x (sqrt 1.0)))
  (exp (* x x))
  (exp (- 1.0))
  (exp (* x x))
  (exp (- 1.0))
  (exp (* x x))
  (exp 1.0)
  (log (exp (- (* x x) 1.0)))
  (exp (exp (- (* x x) 1.0)))
  (* (cbrt (exp (- (* x x) 1.0))) (cbrt (exp (- (* x x) 1.0))))
  (cbrt (exp (- (* x x) 1.0)))
  (* (* (exp (- (* x x) 1.0)) (exp (- (* x x) 1.0))) (exp (- (* x x) 1.0)))
  (sqrt (exp (- (* x x) 1.0)))
  (sqrt (exp (- (* x x) 1.0)))
  (+ (exp (- 1.0)) (+ (* (pow x 2) (exp (- 1.0))) (* 1/2 (* (pow x 4) (exp (- 1.0))))))
  (exp (- (pow x 2) 1.0))
  (exp (- (pow x 2) 1.0))
4.443 * * [simplify]: iteration 0: 38 enodes
4.449 * * [simplify]: iteration 1: 74 enodes
4.466 * * [simplify]: iteration 2: 234 enodes
4.577 * * [simplify]: iteration 3: 1083 enodes
5.018 * * [simplify]: iteration complete: 5000 enodes
5.018 * * [simplify]: Extracting #0: cost 15 inf + 0
5.018 * * [simplify]: Extracting #1: cost 215 inf + 1
5.019 * * [simplify]: Extracting #2: cost 604 inf + 3218
5.027 * * [simplify]: Extracting #3: cost 1720 inf + 39232
5.061 * * [simplify]: Extracting #4: cost 565 inf + 181462
5.105 * * [simplify]: Extracting #5: cost 12 inf + 284899
5.163 * * [simplify]: Extracting #6: cost 0 inf + 291003
5.215 * [simplify]: Simplified to:
  (exp (* (cbrt (- (* x x) 1.0)) (cbrt (- (* x x) 1.0))))
  (exp (sqrt (- (* x x) 1.0)))
  E
  (exp (+ x (sqrt 1.0)))
  (exp (* x x))
  (exp (- 1.0))
  (exp (* x x))
  (exp (- 1.0))
  (exp (* x x))
  (exp 1.0)
  (- (* x x) 1.0)
  (exp (exp (- (* x x) 1.0)))
  (* (cbrt (exp (- (* x x) 1.0))) (cbrt (exp (- (* x x) 1.0))))
  (cbrt (exp (- (* x x) 1.0)))
  (exp (* 3 (- (* x x) 1.0)))
  (sqrt (exp (- (* x x) 1.0)))
  (sqrt (exp (- (* x x) 1.0)))
  (+ (exp (- 1.0)) (* (exp (- 1.0)) (+ (* x x) (* (* x x) (* (* x x) 1/2)))))
  (exp (- (* x x) 1.0))
  (exp (- (* x x) 1.0))
5.217 * * * [progress]: adding candidates to table
5.268 * * [progress]: iteration 2 / 4
5.268 * * * [progress]: picking best candidate
5.271 * * * * [pick]: Picked  #<alt (λ (x) (pow E (- (* x x) 1.0)))>
5.271 * * * [progress]: localizing error
5.278 * * * [progress]: generating rewritten candidates
5.278 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
5.285 * * * [progress]: generating series expansions
5.285 * * * * [progress]: [ 1 / 1 ] generating series at (2)
5.285 * [backup-simplify]: Simplify (pow E (- (* x x) 1.0)) into (pow E (- (pow x 2) 1.0))
5.285 * [approximate]: Taking taylor expansion of (pow E (- (pow x 2) 1.0)) in (x) around 0
5.285 * [taylor]: Taking taylor expansion of (pow E (- (pow x 2) 1.0)) in x
5.285 * [taylor]: Taking taylor expansion of (exp (* (- (pow x 2) 1.0) (log E))) in x
5.285 * [taylor]: Taking taylor expansion of (* (- (pow x 2) 1.0) (log E)) in x
5.285 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
5.285 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.285 * [taylor]: Taking taylor expansion of x in x
5.285 * [backup-simplify]: Simplify 0 into 0
5.285 * [backup-simplify]: Simplify 1 into 1
5.285 * [taylor]: Taking taylor expansion of 1.0 in x
5.285 * [backup-simplify]: Simplify 1.0 into 1.0
5.285 * [taylor]: Taking taylor expansion of (log E) in x
5.285 * [taylor]: Taking taylor expansion of E in x
5.285 * [backup-simplify]: Simplify E into E
5.285 * [backup-simplify]: Simplify (log E) into 1
5.286 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
5.286 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
5.287 * [backup-simplify]: Simplify (* (- 1.0) 1) into -1.0
5.287 * [backup-simplify]: Simplify (exp -1.0) into (exp -1.0)
5.287 * [taylor]: Taking taylor expansion of (pow E (- (pow x 2) 1.0)) in x
5.287 * [taylor]: Taking taylor expansion of (exp (* (- (pow x 2) 1.0) (log E))) in x
5.287 * [taylor]: Taking taylor expansion of (* (- (pow x 2) 1.0) (log E)) in x
5.287 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
5.287 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.287 * [taylor]: Taking taylor expansion of x in x
5.287 * [backup-simplify]: Simplify 0 into 0
5.287 * [backup-simplify]: Simplify 1 into 1
5.287 * [taylor]: Taking taylor expansion of 1.0 in x
5.287 * [backup-simplify]: Simplify 1.0 into 1.0
5.287 * [taylor]: Taking taylor expansion of (log E) in x
5.287 * [taylor]: Taking taylor expansion of E in x
5.287 * [backup-simplify]: Simplify E into E
5.287 * [backup-simplify]: Simplify (log E) into 1
5.288 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
5.289 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
5.290 * [backup-simplify]: Simplify (* (- 1.0) 1) into -1.0
5.290 * [backup-simplify]: Simplify (exp -1.0) into (exp -1.0)
5.291 * [backup-simplify]: Simplify (exp -1.0) into (exp -1.0)
5.292 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
5.293 * [backup-simplify]: Simplify (- 0) into 0
5.293 * [backup-simplify]: Simplify (+ 0 0) into 0
5.294 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (* 0 1)) into 0
5.295 * [backup-simplify]: Simplify (* (exp -1.0) (+ (* (/ (pow 0 1) 1)))) into 0
5.295 * [backup-simplify]: Simplify 0 into 0
5.298 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
5.299 * [backup-simplify]: Simplify (* 1 1) into 1
5.299 * [backup-simplify]: Simplify (- 0) into 0
5.299 * [backup-simplify]: Simplify (+ 1 0) into 1
5.301 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 0 0) (* 1 1))) into 1
5.303 * [backup-simplify]: Simplify (* (exp -1.0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1.0)
5.304 * [backup-simplify]: Simplify (exp -1.0) into (exp -1.0)
5.307 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
5.307 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.307 * [backup-simplify]: Simplify (- 0) into 0
5.308 * [backup-simplify]: Simplify (+ 0 0) into 0
5.309 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 0 0) (+ (* 1 0) (* 0 1)))) into 0
5.311 * [backup-simplify]: Simplify (* (exp -1.0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.311 * [backup-simplify]: Simplify 0 into 0
5.317 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow E 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow E 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow E 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow E 1)))) 24) into 0
5.318 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.318 * [backup-simplify]: Simplify (- 0) into 0
5.318 * [backup-simplify]: Simplify (+ 0 0) into 0
5.319 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 1))))) into 0
5.324 * [backup-simplify]: Simplify (* (exp -1.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 (exp -1.0))
5.324 * [backup-simplify]: Simplify (* 1/2 (exp -1.0)) into (* 1/2 (exp -1.0))
5.326 * [backup-simplify]: Simplify (+ (* (* 1/2 (exp -1.0)) (pow x 4)) (+ (* (exp -1.0) (pow x 2)) (exp -1.0))) into (+ (exp -1.0) (+ (* 1/2 (* (exp -1.0) (pow x 4))) (* (exp -1.0) (pow x 2))))
5.326 * [backup-simplify]: Simplify (pow E (- (* (/ 1 x) (/ 1 x)) 1.0)) into (pow E (- (/ 1 (pow x 2)) 1.0))
5.326 * [approximate]: Taking taylor expansion of (pow E (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
5.326 * [taylor]: Taking taylor expansion of (pow E (- (/ 1 (pow x 2)) 1.0)) in x
5.326 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 (pow x 2)) 1.0) (log E))) in x
5.326 * [taylor]: Taking taylor expansion of (* (- (/ 1 (pow x 2)) 1.0) (log E)) in x
5.326 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
5.326 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.326 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.326 * [taylor]: Taking taylor expansion of x in x
5.326 * [backup-simplify]: Simplify 0 into 0
5.326 * [backup-simplify]: Simplify 1 into 1
5.326 * [backup-simplify]: Simplify (* 1 1) into 1
5.326 * [backup-simplify]: Simplify (/ 1 1) into 1
5.326 * [taylor]: Taking taylor expansion of 1.0 in x
5.326 * [backup-simplify]: Simplify 1.0 into 1.0
5.327 * [taylor]: Taking taylor expansion of (log E) in x
5.327 * [taylor]: Taking taylor expansion of E in x
5.327 * [backup-simplify]: Simplify E into E
5.327 * [backup-simplify]: Simplify (log E) into 1
5.327 * [backup-simplify]: Simplify (+ 1 0) into 1
5.327 * [backup-simplify]: Simplify (* 1 1) into 1
5.328 * [backup-simplify]: Simplify (exp (* (- (/ 1 (pow x 2)) 1.0) (log E))) into (exp (- (/ 1 (pow x 2)) 1.0))
5.328 * [taylor]: Taking taylor expansion of (pow E (- (/ 1 (pow x 2)) 1.0)) in x
5.328 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 (pow x 2)) 1.0) (log E))) in x
5.328 * [taylor]: Taking taylor expansion of (* (- (/ 1 (pow x 2)) 1.0) (log E)) in x
5.328 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
5.328 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.328 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.328 * [taylor]: Taking taylor expansion of x in x
5.328 * [backup-simplify]: Simplify 0 into 0
5.328 * [backup-simplify]: Simplify 1 into 1
5.329 * [backup-simplify]: Simplify (* 1 1) into 1
5.329 * [backup-simplify]: Simplify (/ 1 1) into 1
5.329 * [taylor]: Taking taylor expansion of 1.0 in x
5.329 * [backup-simplify]: Simplify 1.0 into 1.0
5.329 * [taylor]: Taking taylor expansion of (log E) in x
5.329 * [taylor]: Taking taylor expansion of E in x
5.329 * [backup-simplify]: Simplify E into E
5.329 * [backup-simplify]: Simplify (log E) into 1
5.329 * [backup-simplify]: Simplify (+ 1 0) into 1
5.330 * [backup-simplify]: Simplify (* 1 1) into 1
5.330 * [backup-simplify]: Simplify (exp (* (- (/ 1 (pow x 2)) 1.0) (log E))) into (exp (- (/ 1 (pow x 2)) 1.0))
5.330 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
5.330 * [backup-simplify]: Simplify 0 into 0
5.330 * [backup-simplify]: Simplify 0 into 0
5.330 * [backup-simplify]: Simplify 0 into 0
5.330 * [backup-simplify]: Simplify 0 into 0
5.330 * [backup-simplify]: Simplify 0 into 0
5.330 * [backup-simplify]: Simplify 0 into 0
5.330 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 x) 2)) 1.0)) into (exp (- (pow x 2) 1.0))
5.330 * [backup-simplify]: Simplify (pow E (- (* (/ 1 (- x)) (/ 1 (- x))) 1.0)) into (pow E (- (/ 1 (pow x 2)) 1.0))
5.330 * [approximate]: Taking taylor expansion of (pow E (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
5.330 * [taylor]: Taking taylor expansion of (pow E (- (/ 1 (pow x 2)) 1.0)) in x
5.330 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 (pow x 2)) 1.0) (log E))) in x
5.330 * [taylor]: Taking taylor expansion of (* (- (/ 1 (pow x 2)) 1.0) (log E)) in x
5.330 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
5.330 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.330 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.331 * [taylor]: Taking taylor expansion of x in x
5.331 * [backup-simplify]: Simplify 0 into 0
5.331 * [backup-simplify]: Simplify 1 into 1
5.331 * [backup-simplify]: Simplify (* 1 1) into 1
5.331 * [backup-simplify]: Simplify (/ 1 1) into 1
5.331 * [taylor]: Taking taylor expansion of 1.0 in x
5.331 * [backup-simplify]: Simplify 1.0 into 1.0
5.331 * [taylor]: Taking taylor expansion of (log E) in x
5.331 * [taylor]: Taking taylor expansion of E in x
5.331 * [backup-simplify]: Simplify E into E
5.331 * [backup-simplify]: Simplify (log E) into 1
5.332 * [backup-simplify]: Simplify (+ 1 0) into 1
5.332 * [backup-simplify]: Simplify (* 1 1) into 1
5.333 * [backup-simplify]: Simplify (exp (* (- (/ 1 (pow x 2)) 1.0) (log E))) into (exp (- (/ 1 (pow x 2)) 1.0))
5.333 * [taylor]: Taking taylor expansion of (pow E (- (/ 1 (pow x 2)) 1.0)) in x
5.333 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 (pow x 2)) 1.0) (log E))) in x
5.333 * [taylor]: Taking taylor expansion of (* (- (/ 1 (pow x 2)) 1.0) (log E)) in x
5.333 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
5.333 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.333 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.333 * [taylor]: Taking taylor expansion of x in x
5.333 * [backup-simplify]: Simplify 0 into 0
5.333 * [backup-simplify]: Simplify 1 into 1
5.333 * [backup-simplify]: Simplify (* 1 1) into 1
5.334 * [backup-simplify]: Simplify (/ 1 1) into 1
5.334 * [taylor]: Taking taylor expansion of 1.0 in x
5.334 * [backup-simplify]: Simplify 1.0 into 1.0
5.334 * [taylor]: Taking taylor expansion of (log E) in x
5.334 * [taylor]: Taking taylor expansion of E in x
5.334 * [backup-simplify]: Simplify E into E
5.334 * [backup-simplify]: Simplify (log E) into 1
5.334 * [backup-simplify]: Simplify (+ 1 0) into 1
5.335 * [backup-simplify]: Simplify (* 1 1) into 1
5.335 * [backup-simplify]: Simplify (exp (* (- (/ 1 (pow x 2)) 1.0) (log E))) into (exp (- (/ 1 (pow x 2)) 1.0))
5.335 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
5.335 * [backup-simplify]: Simplify 0 into 0
5.336 * [backup-simplify]: Simplify 0 into 0
5.336 * [backup-simplify]: Simplify 0 into 0
5.336 * [backup-simplify]: Simplify 0 into 0
5.336 * [backup-simplify]: Simplify 0 into 0
5.336 * [backup-simplify]: Simplify 0 into 0
5.336 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 (- x)) 2)) 1.0)) into (exp (- (pow x 2) 1.0))
5.336 * * * [progress]: simplifying candidates
5.337 * [simplify]: Simplifying:
  (* 1 (- (* x x) 1.0))
  (* (log E) (- (* x x) 1.0))
  (* (log E) (- (* x x) 1.0))
  (* 1 (- (* x x) 1.0))
  (pow E (* x x))
  (pow E 1.0)
  (pow E (* (cbrt (- (* x x) 1.0)) (cbrt (- (* x x) 1.0))))
  (pow E (sqrt (- (* x x) 1.0)))
  (pow E 1)
  (pow E (+ x (sqrt 1.0)))
  (pow E (* x x))
  (pow E (- 1.0))
  (pow E (* x x))
  (pow E (- 1.0))
  (pow (* (cbrt E) (cbrt E)) (- (* x x) 1.0))
  (pow (cbrt E) (- (* x x) 1.0))
  (pow (sqrt E) (- (* x x) 1.0))
  (pow (sqrt E) (- (* x x) 1.0))
  (pow 1 (- (* x x) 1.0))
  (pow E (- (* x x) 1.0))
  (log (pow E (- (* x x) 1.0)))
  (exp (pow E (- (* x x) 1.0)))
  (* (cbrt (pow E (- (* x x) 1.0))) (cbrt (pow E (- (* x x) 1.0))))
  (cbrt (pow E (- (* x x) 1.0)))
  (* (* (pow E (- (* x x) 1.0)) (pow E (- (* x x) 1.0))) (pow E (- (* x x) 1.0)))
  (sqrt (pow E (- (* x x) 1.0)))
  (sqrt (pow E (- (* x x) 1.0)))
  (pow E (/ (- (* x x) 1.0) 2))
  (pow E (/ (- (* x x) 1.0) 2))
  (+ (exp -1.0) (+ (* 1/2 (* (exp -1.0) (pow x 4))) (* (exp -1.0) (pow x 2))))
  (exp (- (pow x 2) 1.0))
  (exp (- (pow x 2) 1.0))
5.338 * * [simplify]: iteration 0: 53 enodes
5.365 * * [simplify]: iteration 1: 143 enodes
5.423 * * [simplify]: iteration 2: 500 enodes
5.778 * * [simplify]: iteration 3: 2538 enodes
6.672 * * [simplify]: iteration complete: 5000 enodes
6.672 * * [simplify]: Extracting #0: cost 20 inf + 0
6.673 * * [simplify]: Extracting #1: cost 655 inf + 2
6.677 * * [simplify]: Extracting #2: cost 1555 inf + 1235
6.683 * * [simplify]: Extracting #3: cost 1716 inf + 13388
6.700 * * [simplify]: Extracting #4: cost 1157 inf + 104668
6.775 * * [simplify]: Extracting #5: cost 295 inf + 449690
6.855 * * [simplify]: Extracting #6: cost 5 inf + 602376
6.945 * * [simplify]: Extracting #7: cost 0 inf + 605271
7.010 * [simplify]: Simplified to:
  (- (* x x) 1.0)
  (- (* x x) 1.0)
  (- (* x x) 1.0)
  (- (* x x) 1.0)
  (pow E (* x x))
  (pow E 1.0)
  (pow E (* (cbrt (- (* x x) 1.0)) (cbrt (- (* x x) 1.0))))
  (pow E (sqrt (- (* x x) 1.0)))
  E
  (pow E (+ (sqrt 1.0) x))
  (pow E (* x x))
  (pow E (- 1.0))
  (pow E (* x x))
  (pow E (- 1.0))
  (pow (* (cbrt E) (cbrt E)) (- (* x x) 1.0))
  (pow (cbrt E) (- (* x x) 1.0))
  (pow (sqrt E) (- (* x x) 1.0))
  (pow (sqrt E) (- (* x x) 1.0))
  1
  (exp (- (* x x) 1.0))
  (- (* x x) 1.0)
  (exp (exp (- (* x x) 1.0)))
  (* (cbrt (exp (- (* x x) 1.0))) (cbrt (exp (- (* x x) 1.0))))
  (cbrt (exp (- (* x x) 1.0)))
  (* (exp (- (* x x) 1.0)) (* (exp (- (* x x) 1.0)) (exp (- (* x x) 1.0))))
  (sqrt (exp (- (* x x) 1.0)))
  (sqrt (exp (- (* x x) 1.0)))
  (exp (* (* 1/2 (- (* x x) 1.0)) 1))
  (exp (* (* 1/2 (- (* x x) 1.0)) 1))
  (+ (exp -1.0) (* (exp -1.0) (+ (* (* x x) (* (* x x) 1/2)) (* x x))))
  (exp (- (* x x) 1.0))
  (exp (- (* x x) 1.0))
7.011 * * * [progress]: adding candidates to table
7.097 * [progress]: [Phase 3 of 3] Extracting.
7.097 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (pow E (- (* x x) 1.0)))> #<alt (λ (x) (exp (- (* x x) 1.0)))>)
7.097 * * * [regime-changes]: Trying 2 branch expressions: ((* x x) x)
7.097 * * * * [regimes]: Trying to branch on (* x x) from (#<alt (λ (x) (pow E (- (* x x) 1.0)))> #<alt (λ (x) (exp (- (* x x) 1.0)))>)
7.132 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (pow E (- (* x x) 1.0)))> #<alt (λ (x) (exp (- (* x x) 1.0)))>)
7.168 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
7.169 * [simplify]: Simplifying:
  (exp (- (* x x) 1.0))
7.169 * * [simplify]: iteration 0: 5 enodes
7.169 * * [simplify]: iteration complete: 5 enodes
7.169 * * [simplify]: Extracting #0: cost 1 inf + 0
7.169 * * [simplify]: Extracting #1: cost 2 inf + 0
7.169 * * [simplify]: Extracting #2: cost 4 inf + 0
7.169 * * [simplify]: Extracting #3: cost 4 inf + 1
7.170 * * [simplify]: Extracting #4: cost 3 inf + 2
7.170 * * [simplify]: Extracting #5: cost 0 inf + 277
7.170 * [simplify]: Simplified to:
  (exp (- (* x x) 1.0))
8.941 * [regime-testing]: Baseline error score: 0.019845869826083874
8.950 * [regime-testing]: Oracle error score: 0.013943779685815469
8.982 * [regime-testing]: End program error score: 0.019845869826083874