21.671 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.025 * * * [progress]: [2/2] Setting up program.
0.026 * [progress]: [Phase 2 of 3] Improving.
0.027 * [simplify]: Simplifying:
  (exp (- (- 1.0 (* x x))))
0.027 * * [simplify]: Extracting # 0 : cost  0
0.027 * * [simplify]: Extracting # 1 : cost  0
0.027 * * [simplify]: Extracting # 2 : cost  0
0.027 * * [simplify]: Extracting # 3 : cost  0
0.027 * * [simplify]: Extracting # 4 : cost  0
0.027 * * [simplify]: Extracting # 5 : cost  0
0.027 * * [simplify]: Extracting # 6 : cost  0
0.027 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.028 * * [simplify]: Extracting # 0 : cost  0
0.028 * * [simplify]: Extracting # 1 : cost  0
0.028 * * [simplify]: Extracting # 2 : cost  0
0.028 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
0.031 * * [simplify]: Extracting # 0 : cost  0
0.031 * * [simplify]: Extracting # 1 : cost  0
0.031 * * [simplify]: Extracting # 2 : cost  0
0.031 * * [simplify]: iteration  2 :  25  enodes  (cost  7 )
0.038 * * [simplify]: Extracting # 0 : cost  0
0.038 * * [simplify]: Extracting # 1 : cost  0
0.038 * * [simplify]: Extracting # 2 : cost  0
0.038 * * [simplify]: iteration  3 :  46  enodes  (cost  7 )
0.057 * * [simplify]: Extracting # 0 : cost  0
0.057 * * [simplify]: Extracting # 1 : cost  0
0.057 * * [simplify]: Extracting # 2 : cost  0
0.057 * * [simplify]: Extracting # 3 : cost  0
0.057 * * [simplify]: Extracting # 4 : cost  0
0.058 * * [simplify]: Extracting # 5 : cost  0
0.058 * * [simplify]: iteration  4 :  76  enodes  (cost  6 )
0.088 * * [simplify]: Extracting # 0 : cost  0
0.088 * * [simplify]: Extracting # 1 : cost  0
0.088 * * [simplify]: Extracting # 2 : cost  0
0.088 * * [simplify]: Extracting # 3 : cost  0
0.089 * * [simplify]: Extracting # 4 : cost  0
0.089 * * [simplify]: iteration  5 :  138  enodes  (cost  6 )
0.168 * * [simplify]: Extracting # 0 : cost  0
0.168 * * [simplify]: Extracting # 1 : cost  0
0.169 * * [simplify]: Extracting # 2 : cost  0
0.169 * * [simplify]: Extracting # 3 : cost  0
0.170 * * [simplify]: Extracting # 4 : cost  0
0.170 * * [simplify]: Extracting # 5 : cost  0
0.170 * * [simplify]: iteration  6 :  383  enodes  (cost  6 )
0.736 * * [simplify]: Extracting # 0 : cost  0
0.747 * * [simplify]: Extracting # 1 : cost  0
0.750 * * [simplify]: Extracting # 2 : cost  0
0.752 * * [simplify]: Extracting # 3 : cost  0
0.754 * * [simplify]: Extracting # 4 : cost  0
0.757 * * [simplify]: iteration  7 :  1359  enodes  (cost  6 )
5.905 * * [simplify]: Extracting # 0 : cost  0
5.921 * * [simplify]: Extracting # 1 : cost  0
5.928 * * [simplify]: Extracting # 2 : cost  0
5.944 * * [simplify]: Extracting # 3 : cost  0
5.951 * * [simplify]: Extracting # 4 : cost  0
5.960 * * [simplify]: iteration done:  5000  enodes  (cost  6 )
5.961 * [simplify]: Simplified to:
  (exp (fma x x (- 1.0)))
5.966 * * [progress]: iteration 1 / 4
5.966 * * * [progress]: picking best candidate
5.969 * * * * [pick]: Picked  #<alt (λ (x) (exp (- (- 1.0 (* x x)))))>
5.969 * * * [progress]: localizing error
5.982 * * * [progress]: generating rewritten candidates
5.982 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
6.011 * * * [progress]: generating series expansions
6.011 * * * * [progress]: [ 1 / 1 ] generating series at (2)
6.011 * [backup-simplify]: Simplify (exp (- (- 1.0 (* x x)))) into (exp (- (pow x 2) 1.0))
6.011 * [approximate]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in (x) around 0
6.011 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x
6.011 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
6.011 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.011 * [taylor]: Taking taylor expansion of x in x
6.011 * [backup-simplify]: Simplify 0 into 0
6.011 * [backup-simplify]: Simplify 1 into 1
6.011 * [taylor]: Taking taylor expansion of 1.0 in x
6.011 * [backup-simplify]: Simplify 1.0 into 1.0
6.012 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.012 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
6.013 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
6.013 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x
6.013 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
6.013 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.013 * [taylor]: Taking taylor expansion of x in x
6.013 * [backup-simplify]: Simplify 0 into 0
6.013 * [backup-simplify]: Simplify 1 into 1
6.013 * [taylor]: Taking taylor expansion of 1.0 in x
6.013 * [backup-simplify]: Simplify 1.0 into 1.0
6.013 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.014 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
6.014 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
6.015 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
6.015 * [backup-simplify]: Simplify (- 0) into 0
6.015 * [backup-simplify]: Simplify (+ 0 0) into 0
6.016 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0
6.016 * [backup-simplify]: Simplify 0 into 0
6.017 * [backup-simplify]: Simplify (* 1 1) into 1
6.017 * [backup-simplify]: Simplify (- 0) into 0
6.017 * [backup-simplify]: Simplify (+ 1 0) into 1
6.020 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp (- 1.0))
6.020 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
6.020 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.021 * [backup-simplify]: Simplify (- 0) into 0
6.021 * [backup-simplify]: Simplify (+ 0 0) into 0
6.022 * [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.023 * [backup-simplify]: Simplify 0 into 0
6.023 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.024 * [backup-simplify]: Simplify (- 0) into 0
6.024 * [backup-simplify]: Simplify (+ 0 0) into 0
6.030 * [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.031 * [backup-simplify]: Simplify (* 1/2 (exp (- 1.0))) into (* 1/2 (exp (- 1.0)))
6.034 * [backup-simplify]: Simplify (+ (* (* 1/2 (exp (- 1.0))) (pow x 4)) (+ (* (exp (- 1.0)) (pow x 2)) (exp (- 1.0)))) into (+ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) (* 1/2 (* (pow x 4) (exp (- 1.0))))))
6.034 * [backup-simplify]: Simplify (exp (- (- 1.0 (* (/ 1 x) (/ 1 x))))) into (exp (- (/ 1 (pow x 2)) 1.0))
6.034 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
6.034 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
6.034 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
6.034 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.034 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.034 * [taylor]: Taking taylor expansion of x in x
6.034 * [backup-simplify]: Simplify 0 into 0
6.034 * [backup-simplify]: Simplify 1 into 1
6.034 * [backup-simplify]: Simplify (* 1 1) into 1
6.035 * [backup-simplify]: Simplify (/ 1 1) into 1
6.035 * [taylor]: Taking taylor expansion of 1.0 in x
6.035 * [backup-simplify]: Simplify 1.0 into 1.0
6.035 * [backup-simplify]: Simplify (+ 1 0) into 1
6.039 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
6.039 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
6.039 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
6.039 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.039 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.039 * [taylor]: Taking taylor expansion of x in x
6.039 * [backup-simplify]: Simplify 0 into 0
6.039 * [backup-simplify]: Simplify 1 into 1
6.040 * [backup-simplify]: Simplify (* 1 1) into 1
6.040 * [backup-simplify]: Simplify (/ 1 1) into 1
6.040 * [taylor]: Taking taylor expansion of 1.0 in x
6.040 * [backup-simplify]: Simplify 1.0 into 1.0
6.040 * [backup-simplify]: Simplify (+ 1 0) into 1
6.040 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
6.041 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
6.041 * [backup-simplify]: Simplify 0 into 0
6.041 * [backup-simplify]: Simplify 0 into 0
6.041 * [backup-simplify]: Simplify 0 into 0
6.041 * [backup-simplify]: Simplify 0 into 0
6.041 * [backup-simplify]: Simplify 0 into 0
6.041 * [backup-simplify]: Simplify 0 into 0
6.041 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 x) 2)) 1.0)) into (exp (- (pow x 2) 1.0))
6.041 * [backup-simplify]: Simplify (exp (- (- 1.0 (* (/ 1 (- x)) (/ 1 (- x)))))) into (exp (- (/ 1 (pow x 2)) 1.0))
6.041 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
6.041 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
6.041 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
6.041 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.041 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.041 * [taylor]: Taking taylor expansion of x in x
6.041 * [backup-simplify]: Simplify 0 into 0
6.041 * [backup-simplify]: Simplify 1 into 1
6.042 * [backup-simplify]: Simplify (* 1 1) into 1
6.042 * [backup-simplify]: Simplify (/ 1 1) into 1
6.042 * [taylor]: Taking taylor expansion of 1.0 in x
6.042 * [backup-simplify]: Simplify 1.0 into 1.0
6.042 * [backup-simplify]: Simplify (+ 1 0) into 1
6.042 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
6.042 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
6.042 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
6.042 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.042 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.042 * [taylor]: Taking taylor expansion of x in x
6.042 * [backup-simplify]: Simplify 0 into 0
6.042 * [backup-simplify]: Simplify 1 into 1
6.043 * [backup-simplify]: Simplify (* 1 1) into 1
6.043 * [backup-simplify]: Simplify (/ 1 1) into 1
6.043 * [taylor]: Taking taylor expansion of 1.0 in x
6.043 * [backup-simplify]: Simplify 1.0 into 1.0
6.043 * [backup-simplify]: Simplify (+ 1 0) into 1
6.043 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
6.044 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
6.044 * [backup-simplify]: Simplify 0 into 0
6.044 * [backup-simplify]: Simplify 0 into 0
6.044 * [backup-simplify]: Simplify 0 into 0
6.044 * [backup-simplify]: Simplify 0 into 0
6.044 * [backup-simplify]: Simplify 0 into 0
6.044 * [backup-simplify]: Simplify 0 into 0
6.044 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 (- x)) 2)) 1.0)) into (exp (- (pow x 2) 1.0))
6.044 * * * [progress]: simplifying candidates
6.044 * [simplify]: Simplifying:
  (expm1 (exp (- (- 1.0 (* x x)))))
  (log1p (exp (- (- 1.0 (* x x)))))
  (exp (* (cbrt (- (- 1.0 (* x x)))) (cbrt (- (- 1.0 (* x x))))))
  (exp (sqrt (- (- 1.0 (* x x)))))
  (exp 1)
  (exp -1)
  (exp (- (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x))))))
  (exp (- (sqrt (- 1.0 (* x x)))))
  (exp (- 1))
  (exp (- (+ (sqrt 1.0) x)))
  (exp (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))
  (exp (sqrt (- 1.0 (* x x))))
  (exp 1)
  (exp (+ (sqrt 1.0) x))
  (exp (- (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* x x)))))
  (exp (- (fma (- x) x (* x x))))
  (exp (- (fma (sqrt 1.0) (sqrt 1.0) (- (* x x)))))
  (exp (- (fma (- x) x (* x x))))
  (exp (- (fma 1 1.0 (- (* x x)))))
  (exp (- (fma (- x) x (* x x))))
  (exp (- 1.0))
  (exp (- (- (* x x))))
  (exp (- 1.0))
  (exp (- (- (* x x))))
  (exp (- 1.0 (* x x)))
  (exp 0)
  (exp (- 1.0 (* x x)))
  (log (exp (- (- 1.0 (* x x)))))
  (exp (exp (- (- 1.0 (* x x)))))
  (* (cbrt (exp (- (- 1.0 (* x x))))) (cbrt (exp (- (- 1.0 (* x x))))))
  (cbrt (exp (- (- 1.0 (* x x)))))
  (* (* (exp (- (- 1.0 (* x x)))) (exp (- (- 1.0 (* x x))))) (exp (- (- 1.0 (* x x)))))
  (sqrt (exp (- (- 1.0 (* x x)))))
  (sqrt (exp (- (- 1.0 (* x x)))))
  (+ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) (* 1/2 (* (pow x 4) (exp (- 1.0))))))
  (exp (- (pow x 2) 1.0))
  (exp (- (pow x 2) 1.0))
6.045 * * [simplify]: Extracting # 0 : cost  0
6.045 * * [simplify]: Extracting # 1 : cost  0
6.045 * * [simplify]: Extracting # 2 : cost  0
6.045 * * [simplify]: Extracting # 3 : cost  0
6.045 * * [simplify]: Extracting # 4 : cost  0
6.045 * * [simplify]: Extracting # 5 : cost  0
6.046 * * [simplify]: Extracting # 6 : cost  0
6.046 * * [simplify]: Extracting # 7 : cost  0
6.046 * * [simplify]: iteration  0 :  75  enodes  (cost  310 )
6.076 * * [simplify]: Extracting # 0 : cost  0
6.076 * * [simplify]: Extracting # 1 : cost  0
6.077 * * [simplify]: Extracting # 2 : cost  0
6.077 * * [simplify]: Extracting # 3 : cost  0
6.077 * * [simplify]: Extracting # 4 : cost  0
6.078 * * [simplify]: iteration  1 :  139  enodes  (cost  298 )
6.112 * * [simplify]: Extracting # 0 : cost  0
6.113 * * [simplify]: Extracting # 1 : cost  0
6.113 * * [simplify]: Extracting # 2 : cost  0
6.113 * * [simplify]: Extracting # 3 : cost  0
6.113 * * [simplify]: Extracting # 4 : cost  0
6.114 * * [simplify]: iteration  2 :  277  enodes  (cost  256 )
6.313 * * [simplify]: Extracting # 0 : cost  0
6.314 * * [simplify]: Extracting # 1 : cost  0
6.315 * * [simplify]: Extracting # 2 : cost  0
6.316 * * [simplify]: Extracting # 3 : cost  0
6.316 * * [simplify]: Extracting # 4 : cost  0
6.317 * * [simplify]: iteration  3 :  774  enodes  (cost  230 )
7.472 * * [simplify]: Extracting # 0 : cost  0
7.478 * * [simplify]: Extracting # 1 : cost  0
7.482 * * [simplify]: Extracting # 2 : cost  0
7.486 * * [simplify]: Extracting # 3 : cost  0
7.490 * * [simplify]: Extracting # 4 : cost  0
7.492 * * [simplify]: iteration  4 :  2725  enodes  (cost  225 )
9.158 * * [simplify]: Extracting # 0 : cost  0
9.166 * * [simplify]: Extracting # 1 : cost  0
9.174 * * [simplify]: Extracting # 2 : cost  0
9.180 * * [simplify]: Extracting # 3 : cost  0
9.185 * * [simplify]: Extracting # 4 : cost  0
9.190 * * [simplify]: iteration done:  5000  enodes  (cost  225 )
9.190 * [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 -1)
  (exp (- (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x))))))
  (exp (- (sqrt (- 1.0 (* x x)))))
  (exp -1)
  (exp (- (+ (sqrt 1.0) x)))
  (exp (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))
  (exp (sqrt (- 1.0 (* x x))))
  E
  (exp (+ (sqrt 1.0) x))
  (exp (fma x x (- 1.0)))
  1
  (exp (fma x x (- 1.0)))
  1
  (exp (fma x x (- 1.0)))
  1
  (exp (- 1.0))
  (pow (exp x) x)
  (exp (- 1.0))
  (pow (exp x) x)
  (exp (- 1.0 (* x x)))
  1
  (exp (- 1.0 (* x x)))
  (fma 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)))
  (pow (exp (- (* x x) 1.0)) 3)
  (sqrt (exp (- (* x x) 1.0)))
  (sqrt (exp (- (* x x) 1.0)))
  (* (exp (- 1.0)) (fma x x (fma (pow x 4) 1/2 1)))
  (exp (fma x x (- 1.0)))
  (exp (fma x x (- 1.0)))
9.190 * * * [progress]: adding candidates to table
9.280 * * [progress]: iteration 2 / 4
9.280 * * * [progress]: picking best candidate
9.284 * * * * [pick]: Picked  #<alt (λ (x) (pow (exp (- (sqrt (- 1.0 (* x x))))) (sqrt (- 1.0 (* x x)))))>
9.284 * * * [progress]: localizing error
9.294 * * * [progress]: generating rewritten candidates
9.294 * * * [progress]: generating series expansions
9.294 * * * [progress]: simplifying candidates
9.294 * [simplify]: Simplifying:
  
9.295 * * [simplify]: Extracting # 0 : cost  0
9.295 * * [simplify]: iteration  0 :  0  enodes  (cost  0 )
9.295 * * [simplify]: Extracting # 0 : cost  0
9.295 * * [simplify]: iteration done:  0  enodes  (cost  0 )
9.295 * [simplify]: Simplified to:
  
9.295 * * * [progress]: adding candidates to table
9.295 * [progress]: [Phase 3 of 3] Extracting.
9.297 * [simplify]: Simplifying:
  (pow (exp (- (sqrt (- 1.0 (* x x))))) (sqrt (- 1.0 (* x x))))
9.297 * * [simplify]: Extracting # 0 : cost  0
9.297 * * [simplify]: Extracting # 1 : cost  0
9.297 * * [simplify]: Extracting # 2 : cost  0
9.297 * * [simplify]: Extracting # 3 : cost  0
9.297 * * [simplify]: Extracting # 4 : cost  0
9.297 * * [simplify]: Extracting # 5 : cost  0
9.298 * * [simplify]: Extracting # 6 : cost  0
9.298 * * [simplify]: iteration  0 :  8  enodes  (cost  15 )
9.298 * * [simplify]: Extracting # 0 : cost  0
9.298 * * [simplify]: iteration done:  8  enodes  (cost  15 )
9.298 * [simplify]: Simplified to:
  (pow (exp (- (sqrt (- 1.0 (* x x))))) (sqrt (- 1.0 (* x x))))
10.473 * [regime-testing]: End program error score: 0.21418485592030131