5.167 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.028 * * * [progress]: [2/2] Setting up program.
0.031 * [progress]: [Phase 2 of 3] Improving.
0.032 * [simplify]: Simplifying:
  (exp (- (- 1.0 (* x x))))
0.032 * * [simplify]: iteration 0: 6 enodes
0.034 * * [simplify]: iteration 1: 11 enodes
0.038 * * [simplify]: iteration 2: 25 enodes
0.044 * * [simplify]: iteration 3: 49 enodes
0.060 * * [simplify]: iteration 4: 140 enodes
0.091 * * [simplify]: iteration 5: 517 enodes
0.552 * * [simplify]: iteration 6: 2602 enodes
2.653 * * [simplify]: iteration complete: 5001 enodes
2.653 * * [simplify]: Extracting #0: cost 1 inf + 0
2.653 * * [simplify]: Extracting #1: cost 376 inf + 0
2.657 * * [simplify]: Extracting #2: cost 1294 inf + 1
2.665 * * [simplify]: Extracting #3: cost 1426 inf + 7852
2.677 * * [simplify]: Extracting #4: cost 940 inf + 48000
2.699 * * [simplify]: Extracting #5: cost 518 inf + 175060
2.739 * * [simplify]: Extracting #6: cost 116 inf + 366904
2.820 * * [simplify]: Extracting #7: cost 5 inf + 428008
2.889 * * [simplify]: Extracting #8: cost 0 inf + 430516
2.956 * [simplify]: Simplified to:
  (exp (- (* x x) 1.0))
2.960 * * [progress]: iteration 1 / 4
2.960 * * * [progress]: picking best candidate
2.963 * * * * [pick]: Picked  #<alt (λ (x) (exp (- (* x x) 1.0)))>
2.963 * * * [progress]: localizing error
2.970 * * * [progress]: generating rewritten candidates
2.970 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
2.989 * * * [progress]: generating series expansions
2.989 * * * * [progress]: [ 1 / 1 ] generating series at (2)
2.990 * [backup-simplify]: Simplify (exp (- (* x x) 1.0)) into (exp (- (pow x 2) 1.0))
2.990 * [approximate]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in (x) around 0
2.990 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x
2.990 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
2.990 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.990 * [taylor]: Taking taylor expansion of x in x
2.990 * [backup-simplify]: Simplify 0 into 0
2.990 * [backup-simplify]: Simplify 1 into 1
2.990 * [taylor]: Taking taylor expansion of 1.0 in x
2.990 * [backup-simplify]: Simplify 1.0 into 1.0
2.991 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.992 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
2.993 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
2.993 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x
2.993 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
2.993 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.993 * [taylor]: Taking taylor expansion of x in x
2.993 * [backup-simplify]: Simplify 0 into 0
2.993 * [backup-simplify]: Simplify 1 into 1
2.993 * [taylor]: Taking taylor expansion of 1.0 in x
2.993 * [backup-simplify]: Simplify 1.0 into 1.0
2.993 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.994 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
2.995 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
2.996 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
2.997 * [backup-simplify]: Simplify (- 0) into 0
2.997 * [backup-simplify]: Simplify (+ 0 0) into 0
2.999 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0
2.999 * [backup-simplify]: Simplify 0 into 0
2.999 * [backup-simplify]: Simplify (* 1 1) into 1
3.000 * [backup-simplify]: Simplify (- 0) into 0
3.000 * [backup-simplify]: Simplify (+ 1 0) into 1
3.004 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp (- 1.0))
3.005 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
3.006 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.006 * [backup-simplify]: Simplify (- 0) into 0
3.007 * [backup-simplify]: Simplify (+ 0 0) into 0
3.010 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.010 * [backup-simplify]: Simplify 0 into 0
3.011 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.011 * [backup-simplify]: Simplify (- 0) into 0
3.012 * [backup-simplify]: Simplify (+ 0 0) into 0
3.021 * [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)))
3.023 * [backup-simplify]: Simplify (* 1/2 (exp (- 1.0))) into (* 1/2 (exp (- 1.0)))
3.030 * [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))))))
3.031 * [backup-simplify]: Simplify (exp (- (* (/ 1 x) (/ 1 x)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
3.031 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
3.031 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
3.031 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
3.031 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.031 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.031 * [taylor]: Taking taylor expansion of x in x
3.031 * [backup-simplify]: Simplify 0 into 0
3.031 * [backup-simplify]: Simplify 1 into 1
3.031 * [backup-simplify]: Simplify (* 1 1) into 1
3.032 * [backup-simplify]: Simplify (/ 1 1) into 1
3.032 * [taylor]: Taking taylor expansion of 1.0 in x
3.032 * [backup-simplify]: Simplify 1.0 into 1.0
3.032 * [backup-simplify]: Simplify (+ 1 0) into 1
3.033 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
3.033 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
3.033 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
3.033 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.033 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.033 * [taylor]: Taking taylor expansion of x in x
3.033 * [backup-simplify]: Simplify 0 into 0
3.033 * [backup-simplify]: Simplify 1 into 1
3.033 * [backup-simplify]: Simplify (* 1 1) into 1
3.034 * [backup-simplify]: Simplify (/ 1 1) into 1
3.034 * [taylor]: Taking taylor expansion of 1.0 in x
3.034 * [backup-simplify]: Simplify 1.0 into 1.0
3.034 * [backup-simplify]: Simplify (+ 1 0) into 1
3.034 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
3.035 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
3.035 * [backup-simplify]: Simplify 0 into 0
3.035 * [backup-simplify]: Simplify 0 into 0
3.035 * [backup-simplify]: Simplify 0 into 0
3.035 * [backup-simplify]: Simplify 0 into 0
3.035 * [backup-simplify]: Simplify 0 into 0
3.035 * [backup-simplify]: Simplify 0 into 0
3.035 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 x) 2)) 1.0)) into (exp (- (pow x 2) 1.0))
3.035 * [backup-simplify]: Simplify (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
3.035 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
3.036 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
3.036 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
3.036 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.036 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.036 * [taylor]: Taking taylor expansion of x in x
3.036 * [backup-simplify]: Simplify 0 into 0
3.036 * [backup-simplify]: Simplify 1 into 1
3.036 * [backup-simplify]: Simplify (* 1 1) into 1
3.036 * [backup-simplify]: Simplify (/ 1 1) into 1
3.037 * [taylor]: Taking taylor expansion of 1.0 in x
3.037 * [backup-simplify]: Simplify 1.0 into 1.0
3.037 * [backup-simplify]: Simplify (+ 1 0) into 1
3.037 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
3.037 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
3.037 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
3.037 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.037 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.037 * [taylor]: Taking taylor expansion of x in x
3.037 * [backup-simplify]: Simplify 0 into 0
3.037 * [backup-simplify]: Simplify 1 into 1
3.038 * [backup-simplify]: Simplify (* 1 1) into 1
3.038 * [backup-simplify]: Simplify (/ 1 1) into 1
3.038 * [taylor]: Taking taylor expansion of 1.0 in x
3.038 * [backup-simplify]: Simplify 1.0 into 1.0
3.039 * [backup-simplify]: Simplify (+ 1 0) into 1
3.039 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
3.039 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
3.039 * [backup-simplify]: Simplify 0 into 0
3.039 * [backup-simplify]: Simplify 0 into 0
3.039 * [backup-simplify]: Simplify 0 into 0
3.039 * [backup-simplify]: Simplify 0 into 0
3.040 * [backup-simplify]: Simplify 0 into 0
3.040 * [backup-simplify]: Simplify 0 into 0
3.040 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 (- x)) 2)) 1.0)) into (exp (- (pow x 2) 1.0))
3.040 * * * [progress]: simplifying candidates
3.041 * [simplify]: Simplifying:
  (expm1 (exp (- (* x x) 1.0)))
  (log1p (exp (- (* x x) 1.0)))
  (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 (fma x x (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))))
  (exp (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (exp (fma x x (- (* (sqrt 1.0) (sqrt 1.0)))))
  (exp (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))))
  (exp (fma x x (- (* 1.0 1))))
  (exp (fma (- 1.0) 1 (* 1.0 1)))
  (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))
3.041 * * [simplify]: iteration 0: 62 enodes
3.060 * * [simplify]: iteration 1: 120 enodes
3.094 * * [simplify]: iteration 2: 390 enodes
3.466 * * [simplify]: iteration 3: 2000 enodes
6.534 * * [simplify]: iteration complete: 5000 enodes
6.534 * * [simplify]: Extracting #0: cost 18 inf + 0
6.536 * * [simplify]: Extracting #1: cost 491 inf + 2
6.543 * * [simplify]: Extracting #2: cost 915 inf + 10126
6.560 * * [simplify]: Extracting #3: cost 519 inf + 67483
6.587 * * [simplify]: Extracting #4: cost 77 inf + 142281
6.626 * * [simplify]: Extracting #5: cost 0 inf + 155620
6.674 * * [simplify]: Extracting #6: cost 0 inf + 155210
6.731 * [simplify]: Simplified to:
  (expm1 (exp (- (* x x) 1.0)))
  (log1p (exp (- (* x x) 1.0)))
  (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) 1.0))
  1
  (exp (- (* x x) 1.0))
  1
  (exp (- (* x x) 1.0))
  1
  (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)))
  (fma (exp (- 1.0)) (fma (* x x) (* (* x x) 1/2) (* x x)) (exp (- 1.0)))
  (exp (- (* x x) 1.0))
  (exp (- (* x x) 1.0))
6.733 * * * [progress]: adding candidates to table
6.821 * * [progress]: iteration 2 / 4
6.821 * * * [progress]: picking best candidate
6.824 * * * * [pick]: Picked  #<alt (λ (x) (pow E (- (* x x) 1.0)))>
6.824 * * * [progress]: localizing error
6.831 * * * [progress]: generating rewritten candidates
6.831 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
6.842 * * * [progress]: generating series expansions
6.842 * * * * [progress]: [ 1 / 1 ] generating series at (2)
6.843 * [backup-simplify]: Simplify (pow E (- (* x x) 1.0)) into (pow E (- (pow x 2) 1.0))
6.843 * [approximate]: Taking taylor expansion of (pow E (- (pow x 2) 1.0)) in (x) around 0
6.843 * [taylor]: Taking taylor expansion of (pow E (- (pow x 2) 1.0)) in x
6.843 * [taylor]: Taking taylor expansion of (exp (* (- (pow x 2) 1.0) (log E))) in x
6.843 * [taylor]: Taking taylor expansion of (* (- (pow x 2) 1.0) (log E)) in x
6.843 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
6.843 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.843 * [taylor]: Taking taylor expansion of x in x
6.843 * [backup-simplify]: Simplify 0 into 0
6.843 * [backup-simplify]: Simplify 1 into 1
6.843 * [taylor]: Taking taylor expansion of 1.0 in x
6.843 * [backup-simplify]: Simplify 1.0 into 1.0
6.843 * [taylor]: Taking taylor expansion of (log E) in x
6.843 * [taylor]: Taking taylor expansion of E in x
6.843 * [backup-simplify]: Simplify E into E
6.843 * [backup-simplify]: Simplify (log E) into 1
6.844 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.845 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
6.846 * [backup-simplify]: Simplify (* (- 1.0) 1) into -1.0
6.846 * [backup-simplify]: Simplify (exp -1.0) into (exp -1.0)
6.846 * [taylor]: Taking taylor expansion of (pow E (- (pow x 2) 1.0)) in x
6.846 * [taylor]: Taking taylor expansion of (exp (* (- (pow x 2) 1.0) (log E))) in x
6.846 * [taylor]: Taking taylor expansion of (* (- (pow x 2) 1.0) (log E)) in x
6.846 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
6.846 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.846 * [taylor]: Taking taylor expansion of x in x
6.846 * [backup-simplify]: Simplify 0 into 0
6.846 * [backup-simplify]: Simplify 1 into 1
6.846 * [taylor]: Taking taylor expansion of 1.0 in x
6.846 * [backup-simplify]: Simplify 1.0 into 1.0
6.846 * [taylor]: Taking taylor expansion of (log E) in x
6.847 * [taylor]: Taking taylor expansion of E in x
6.847 * [backup-simplify]: Simplify E into E
6.847 * [backup-simplify]: Simplify (log E) into 1
6.847 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.848 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
6.849 * [backup-simplify]: Simplify (* (- 1.0) 1) into -1.0
6.849 * [backup-simplify]: Simplify (exp -1.0) into (exp -1.0)
6.849 * [backup-simplify]: Simplify (exp -1.0) into (exp -1.0)
6.852 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
6.852 * [backup-simplify]: Simplify (- 0) into 0
6.852 * [backup-simplify]: Simplify (+ 0 0) into 0
6.853 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (* 0 1)) into 0
6.854 * [backup-simplify]: Simplify (* (exp -1.0) (+ (* (/ (pow 0 1) 1)))) into 0
6.854 * [backup-simplify]: Simplify 0 into 0
6.858 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
6.858 * [backup-simplify]: Simplify (* 1 1) into 1
6.858 * [backup-simplify]: Simplify (- 0) into 0
6.859 * [backup-simplify]: Simplify (+ 1 0) into 1
6.860 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 0 0) (* 1 1))) into 1
6.863 * [backup-simplify]: Simplify (* (exp -1.0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1.0)
6.863 * [backup-simplify]: Simplify (exp -1.0) into (exp -1.0)
6.866 * [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
6.866 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.866 * [backup-simplify]: Simplify (- 0) into 0
6.866 * [backup-simplify]: Simplify (+ 0 0) into 0
6.867 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 0 0) (+ (* 1 0) (* 0 1)))) into 0
6.869 * [backup-simplify]: Simplify (* (exp -1.0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.869 * [backup-simplify]: Simplify 0 into 0
6.875 * [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
6.875 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.876 * [backup-simplify]: Simplify (- 0) into 0
6.876 * [backup-simplify]: Simplify (+ 0 0) into 0
6.877 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 1))))) into 0
6.881 * [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))
6.882 * [backup-simplify]: Simplify (* 1/2 (exp -1.0)) into (* 1/2 (exp -1.0))
6.883 * [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))))
6.883 * [backup-simplify]: Simplify (pow E (- (* (/ 1 x) (/ 1 x)) 1.0)) into (pow E (- (/ 1 (pow x 2)) 1.0))
6.883 * [approximate]: Taking taylor expansion of (pow E (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
6.883 * [taylor]: Taking taylor expansion of (pow E (- (/ 1 (pow x 2)) 1.0)) in x
6.884 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 (pow x 2)) 1.0) (log E))) in x
6.884 * [taylor]: Taking taylor expansion of (* (- (/ 1 (pow x 2)) 1.0) (log E)) in x
6.884 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
6.884 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.884 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.884 * [taylor]: Taking taylor expansion of x in x
6.884 * [backup-simplify]: Simplify 0 into 0
6.884 * [backup-simplify]: Simplify 1 into 1
6.884 * [backup-simplify]: Simplify (* 1 1) into 1
6.884 * [backup-simplify]: Simplify (/ 1 1) into 1
6.884 * [taylor]: Taking taylor expansion of 1.0 in x
6.884 * [backup-simplify]: Simplify 1.0 into 1.0
6.884 * [taylor]: Taking taylor expansion of (log E) in x
6.884 * [taylor]: Taking taylor expansion of E in x
6.884 * [backup-simplify]: Simplify E into E
6.884 * [backup-simplify]: Simplify (log E) into 1
6.884 * [backup-simplify]: Simplify (+ 1 0) into 1
6.885 * [backup-simplify]: Simplify (* 1 1) into 1
6.885 * [backup-simplify]: Simplify (exp (* (- (/ 1 (pow x 2)) 1.0) (log E))) into (exp (- (/ 1 (pow x 2)) 1.0))
6.885 * [taylor]: Taking taylor expansion of (pow E (- (/ 1 (pow x 2)) 1.0)) in x
6.885 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 (pow x 2)) 1.0) (log E))) in x
6.885 * [taylor]: Taking taylor expansion of (* (- (/ 1 (pow x 2)) 1.0) (log E)) in x
6.885 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
6.885 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.885 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.885 * [taylor]: Taking taylor expansion of x in x
6.885 * [backup-simplify]: Simplify 0 into 0
6.885 * [backup-simplify]: Simplify 1 into 1
6.885 * [backup-simplify]: Simplify (* 1 1) into 1
6.886 * [backup-simplify]: Simplify (/ 1 1) into 1
6.886 * [taylor]: Taking taylor expansion of 1.0 in x
6.886 * [backup-simplify]: Simplify 1.0 into 1.0
6.886 * [taylor]: Taking taylor expansion of (log E) in x
6.886 * [taylor]: Taking taylor expansion of E in x
6.886 * [backup-simplify]: Simplify E into E
6.886 * [backup-simplify]: Simplify (log E) into 1
6.886 * [backup-simplify]: Simplify (+ 1 0) into 1
6.886 * [backup-simplify]: Simplify (* 1 1) into 1
6.886 * [backup-simplify]: Simplify (exp (* (- (/ 1 (pow x 2)) 1.0) (log E))) into (exp (- (/ 1 (pow x 2)) 1.0))
6.886 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
6.886 * [backup-simplify]: Simplify 0 into 0
6.887 * [backup-simplify]: Simplify 0 into 0
6.887 * [backup-simplify]: Simplify 0 into 0
6.887 * [backup-simplify]: Simplify 0 into 0
6.887 * [backup-simplify]: Simplify 0 into 0
6.887 * [backup-simplify]: Simplify 0 into 0
6.887 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 x) 2)) 1.0)) into (exp (- (pow x 2) 1.0))
6.887 * [backup-simplify]: Simplify (pow E (- (* (/ 1 (- x)) (/ 1 (- x))) 1.0)) into (pow E (- (/ 1 (pow x 2)) 1.0))
6.887 * [approximate]: Taking taylor expansion of (pow E (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
6.887 * [taylor]: Taking taylor expansion of (pow E (- (/ 1 (pow x 2)) 1.0)) in x
6.887 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 (pow x 2)) 1.0) (log E))) in x
6.887 * [taylor]: Taking taylor expansion of (* (- (/ 1 (pow x 2)) 1.0) (log E)) in x
6.887 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
6.887 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.887 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.887 * [taylor]: Taking taylor expansion of x in x
6.887 * [backup-simplify]: Simplify 0 into 0
6.887 * [backup-simplify]: Simplify 1 into 1
6.887 * [backup-simplify]: Simplify (* 1 1) into 1
6.888 * [backup-simplify]: Simplify (/ 1 1) into 1
6.888 * [taylor]: Taking taylor expansion of 1.0 in x
6.888 * [backup-simplify]: Simplify 1.0 into 1.0
6.888 * [taylor]: Taking taylor expansion of (log E) in x
6.888 * [taylor]: Taking taylor expansion of E in x
6.888 * [backup-simplify]: Simplify E into E
6.888 * [backup-simplify]: Simplify (log E) into 1
6.888 * [backup-simplify]: Simplify (+ 1 0) into 1
6.888 * [backup-simplify]: Simplify (* 1 1) into 1
6.888 * [backup-simplify]: Simplify (exp (* (- (/ 1 (pow x 2)) 1.0) (log E))) into (exp (- (/ 1 (pow x 2)) 1.0))
6.888 * [taylor]: Taking taylor expansion of (pow E (- (/ 1 (pow x 2)) 1.0)) in x
6.888 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 (pow x 2)) 1.0) (log E))) in x
6.888 * [taylor]: Taking taylor expansion of (* (- (/ 1 (pow x 2)) 1.0) (log E)) in x
6.888 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
6.888 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.888 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.888 * [taylor]: Taking taylor expansion of x in x
6.889 * [backup-simplify]: Simplify 0 into 0
6.889 * [backup-simplify]: Simplify 1 into 1
6.889 * [backup-simplify]: Simplify (* 1 1) into 1
6.893 * [backup-simplify]: Simplify (/ 1 1) into 1
6.893 * [taylor]: Taking taylor expansion of 1.0 in x
6.893 * [backup-simplify]: Simplify 1.0 into 1.0
6.893 * [taylor]: Taking taylor expansion of (log E) in x
6.893 * [taylor]: Taking taylor expansion of E in x
6.893 * [backup-simplify]: Simplify E into E
6.893 * [backup-simplify]: Simplify (log E) into 1
6.894 * [backup-simplify]: Simplify (+ 1 0) into 1
6.894 * [backup-simplify]: Simplify (* 1 1) into 1
6.894 * [backup-simplify]: Simplify (exp (* (- (/ 1 (pow x 2)) 1.0) (log E))) into (exp (- (/ 1 (pow x 2)) 1.0))
6.894 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
6.894 * [backup-simplify]: Simplify 0 into 0
6.894 * [backup-simplify]: Simplify 0 into 0
6.894 * [backup-simplify]: Simplify 0 into 0
6.894 * [backup-simplify]: Simplify 0 into 0
6.894 * [backup-simplify]: Simplify 0 into 0
6.895 * [backup-simplify]: Simplify 0 into 0
6.895 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 (- x)) 2)) 1.0)) into (exp (- (pow x 2) 1.0))
6.895 * * * [progress]: simplifying candidates
6.896 * [simplify]: Simplifying:
  (expm1 (pow E (- (* x x) 1.0)))
  (log1p (pow E (- (* x x) 1.0)))
  (* 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 (fma x x (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))))
  (pow E (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (pow E (fma x x (- (* (sqrt 1.0) (sqrt 1.0)))))
  (pow E (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))))
  (pow E (fma x x (- (* 1.0 1))))
  (pow E (fma (- 1.0) 1 (* 1.0 1)))
  (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))
6.897 * * [simplify]: iteration 0: 77 enodes
6.925 * * [simplify]: iteration 1: 223 enodes
7.071 * * [simplify]: iteration 2: 862 enodes
7.436 * * [simplify]: iteration complete: 5001 enodes
7.436 * * [simplify]: Extracting #0: cost 23 inf + 0
7.439 * * [simplify]: Extracting #1: cost 674 inf + 2
7.448 * * [simplify]: Extracting #2: cost 1681 inf + 8578
7.466 * * [simplify]: Extracting #3: cost 1537 inf + 105130
7.541 * * [simplify]: Extracting #4: cost 291 inf + 509806
7.618 * * [simplify]: Extracting #5: cost 14 inf + 592751
7.690 * * [simplify]: Extracting #6: cost 0 inf + 584303
7.769 * * [simplify]: Extracting #7: cost 0 inf + 582276
7.848 * [simplify]: Simplified to:
  (expm1 (exp (- (* x x) 1.0)))
  (log1p (exp (- (* x x) 1.0)))
  (- (* 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))
  (exp (- (* x x) 1.0))
  (pow E (fma -1 1.0 1.0))
  (exp (- (* x x) 1.0))
  (pow E (fma -1 1.0 1.0))
  (exp (- (* x x) 1.0))
  (pow E (fma -1 1.0 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))
  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)))
  (pow E (/ (- (* x x) 1.0) 2))
  (pow E (/ (- (* x x) 1.0) 2))
  (+ (exp -1.0) (fma (* (* x x) (* (exp -1.0) (* x x))) 1/2 (* (exp -1.0) (* x x))))
  (exp (- (* x x) 1.0))
  (exp (- (* x x) 1.0))
7.850 * * * [progress]: adding candidates to table
7.939 * [progress]: [Phase 3 of 3] Extracting.
7.939 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (exp (- (* x x) 1.0)))> #<alt (λ (x) (pow E (- (* x x) 1.0)))>)
7.939 * * * [regime-changes]: Trying 2 branch expressions: ((* x x) x)
7.940 * * * * [regimes]: Trying to branch on (* x x) from (#<alt (λ (x) (exp (- (* x x) 1.0)))> #<alt (λ (x) (pow E (- (* x x) 1.0)))>)
7.963 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (exp (- (* x x) 1.0)))> #<alt (λ (x) (pow E (- (* x x) 1.0)))>)
7.985 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
7.985 * [simplify]: Simplifying:
  (exp (- (* x x) 1.0))
7.985 * * [simplify]: iteration 0: 5 enodes
7.985 * * [simplify]: iteration complete: 5 enodes
7.985 * * [simplify]: Extracting #0: cost 1 inf + 0
7.985 * * [simplify]: Extracting #1: cost 2 inf + 0
7.985 * * [simplify]: Extracting #2: cost 4 inf + 0
7.985 * * [simplify]: Extracting #3: cost 4 inf + 1
7.985 * * [simplify]: Extracting #4: cost 3 inf + 2
7.985 * * [simplify]: Extracting #5: cost 0 inf + 277
7.985 * [simplify]: Simplified to:
  (exp (- (* x x) 1.0))
9.298 * [regime-testing]: Baseline error score: 0.019845869826083874
9.314 * [regime-testing]: Oracle error score: 0.013943779685815469
9.348 * [regime-testing]: End program error score: 0.019845869826083874