27.038 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.021 * * * [progress]: [2/2] Setting up program.
0.023 * [progress]: [Phase 2 of 3] Improving.
0.023 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (exp (- (- 1.0 (* x x))))
0.025 * * [simplify]: iteration  0 :  11  enodes  (cost  4 )
0.026 * * [simplify]: iteration  1 :  25  enodes  (cost  4 )
0.028 * * [simplify]: iteration  2 :  49  enodes  (cost  4 )
0.029 * * [simplify]: iteration  3 :  96  enodes  (cost  4 )
0.031 * * [simplify]: iteration  4 :  253  enodes  (cost  4 )
0.035 * * [simplify]: iteration  5 :  821  enodes  (cost  4 )
0.047 * * [simplify]: iteration  6 :  3115  enodes  (cost  4 )
0.082 * * [simplify]: iteration  7 :  5002  enodes  (cost  4 )
0.083 * [simplify]: Simplified to:
   (exp (- (- 1.0 (* x x))))
0.083 * * [progress]: iteration 1 / 4
0.083 * * * [progress]: picking best candidate
0.084 * * * * [pick]: Picked  #<alt (λ (x) (exp (- (- 1.0 (* x x)))))>
0.084 * * * [progress]: localizing error
0.090 * * * [progress]: generating rewritten candidates
0.091 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.094 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1)
0.096 * * * [progress]: generating series expansions
0.096 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.096 * [approximate]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in (x) around 0
0.096 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x
0.096 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
0.096 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.096 * [taylor]: Taking taylor expansion of x in x
0.096 * [taylor]: Taking taylor expansion of 1.0 in x
0.098 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x
0.098 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
0.098 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.098 * [taylor]: Taking taylor expansion of x in x
0.098 * [taylor]: Taking taylor expansion of 1.0 in x
0.117 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
0.117 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
0.117 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.117 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.117 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.117 * [taylor]: Taking taylor expansion of x in x
0.117 * [taylor]: Taking taylor expansion of 1.0 in x
0.118 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
0.118 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.118 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.118 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.118 * [taylor]: Taking taylor expansion of x in x
0.118 * [taylor]: Taking taylor expansion of 1.0 in x
0.119 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
0.119 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
0.119 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.119 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.119 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.119 * [taylor]: Taking taylor expansion of x in x
0.120 * [taylor]: Taking taylor expansion of 1.0 in x
0.120 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
0.120 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.120 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.120 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.120 * [taylor]: Taking taylor expansion of x in x
0.120 * [taylor]: Taking taylor expansion of 1.0 in x
0.121 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1)
0.121 * [approximate]: Taking taylor expansion of (- 1.0 (pow x 2)) in (x) around 0
0.121 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
0.121 * [taylor]: Taking taylor expansion of 1.0 in x
0.121 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.121 * [taylor]: Taking taylor expansion of x in x
0.121 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
0.121 * [taylor]: Taking taylor expansion of 1.0 in x
0.121 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.121 * [taylor]: Taking taylor expansion of x in x
0.129 * [approximate]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in (x) around 0
0.129 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
0.129 * [taylor]: Taking taylor expansion of 1.0 in x
0.129 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.129 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.129 * [taylor]: Taking taylor expansion of x in x
0.130 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
0.130 * [taylor]: Taking taylor expansion of 1.0 in x
0.130 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.130 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.130 * [taylor]: Taking taylor expansion of x in x
0.143 * [approximate]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in (x) around 0
0.143 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
0.143 * [taylor]: Taking taylor expansion of 1.0 in x
0.143 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.143 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.143 * [taylor]: Taking taylor expansion of x in x
0.144 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
0.144 * [taylor]: Taking taylor expansion of 1.0 in x
0.144 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.144 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.144 * [taylor]: Taking taylor expansion of x in x
0.160 * * * [progress]: simplifying candidates
0.161 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (exp -1)
  (exp (- 1.0))
  (exp (- (- (* x x))))
  (exp (- 1.0))
  (exp (- (- (* x x))))
  (exp (- 1.0 (* x x)))
  (exp 0)
  (exp (- 1.0 (* x x)))
  (- (pow 1.0 3) (pow (* x x) 3))
  (+ (* 1.0 1.0) (+ (* (* x x) (* x x)) (* 1.0 (* x x))))
  (- (* x x))
  (- (* 1.0 1.0) (* (* x x) (* x x)))
  (+ 1.0 (* x x))
  (- (* 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))
  (- 1.0 (pow x 2))
  (- 1.0 (pow x 2))
  (- 1.0 (pow x 2))
0.164 * * [simplify]: iteration  0 :  99  enodes  (cost  60 )
0.166 * * [simplify]: iteration  1 :  352  enodes  (cost  56 )
0.173 * * [simplify]: iteration  2 :  1399  enodes  (cost  51 )
0.206 * * [simplify]: iteration  3 :  5001  enodes  (cost  50 )
0.207 * [simplify]: Simplified to:
   (exp -1)
  (exp (- 1.0))
  (exp (pow x 2))
  (exp (- 1.0))
  (exp (pow x 2))
  (exp (- 1.0 (* x x)))
  1
  (exp (- 1.0 (* x x)))
  (- (pow 1.0 3) (pow (* x x) 3))
  (fma 1.0 (fma x x 1.0) (pow x 4))
  (- (* x x))
  (* (- 1.0 (pow x 2)) (fma x x 1.0))
  (fma x x 1.0)
  (- (* x x))
  (* (exp (- 1.0)) (+ (pow x 2) (fma 1/2 (pow x 4) 1)))
  (exp (- (pow x 2) 1.0))
  (exp (- (pow x 2) 1.0))
  (- 1.0 (pow x 2))
  (- 1.0 (pow x 2))
  (- 1.0 (pow x 2))
0.207 * * * [progress]: adding candidates to table
0.229 * * [progress]: iteration 2 / 4
0.229 * * * [progress]: picking best candidate
0.231 * * * * [pick]: Picked  #<alt (λ (x) (exp (- (/ (* (- 1.0 (pow x 2)) (fma x x 1.0)) (fma x x 1.0)))))>
0.231 * * * [progress]: localizing error
0.241 * * * [progress]: generating rewritten candidates
0.241 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.246 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
0.249 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.254 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
0.257 * * * [progress]: generating series expansions
0.257 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.257 * [approximate]: Taking taylor expansion of (- 1.0 (pow x 2)) in (x) around 0
0.257 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
0.257 * [taylor]: Taking taylor expansion of 1.0 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 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
0.257 * [taylor]: Taking taylor expansion of 1.0 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.268 * [approximate]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in (x) around 0
0.268 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
0.268 * [taylor]: Taking taylor expansion of 1.0 in x
0.268 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.268 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.268 * [taylor]: Taking taylor expansion of x in x
0.268 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
0.268 * [taylor]: Taking taylor expansion of 1.0 in x
0.268 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.268 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.268 * [taylor]: Taking taylor expansion of x in x
0.282 * [approximate]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in (x) around 0
0.282 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
0.282 * [taylor]: Taking taylor expansion of 1.0 in x
0.282 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.282 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.282 * [taylor]: Taking taylor expansion of x in x
0.282 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
0.282 * [taylor]: Taking taylor expansion of 1.0 in x
0.282 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.282 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.282 * [taylor]: Taking taylor expansion of x in x
0.297 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
0.297 * [approximate]: Taking taylor expansion of (* (- 1.0 (pow x 2)) (fma x x 1.0)) in (x) around 0
0.297 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow x 2)) (fma x x 1.0)) in x
0.297 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
0.297 * [taylor]: Taking taylor expansion of 1.0 in x
0.297 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.297 * [taylor]: Taking taylor expansion of x in x
0.297 * [taylor]: Taking taylor expansion of (fma x x 1.0) in x
0.297 * [taylor]: Rewrote expression to (+ (* x x) 1.0)
0.297 * [taylor]: Taking taylor expansion of (* x x) in x
0.297 * [taylor]: Taking taylor expansion of x in x
0.297 * [taylor]: Taking taylor expansion of x in x
0.297 * [taylor]: Taking taylor expansion of 1.0 in x
0.297 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow x 2)) (fma x x 1.0)) in x
0.297 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
0.297 * [taylor]: Taking taylor expansion of 1.0 in x
0.297 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.297 * [taylor]: Taking taylor expansion of x in x
0.297 * [taylor]: Taking taylor expansion of (fma x x 1.0) in x
0.297 * [taylor]: Rewrote expression to (+ (* x x) 1.0)
0.297 * [taylor]: Taking taylor expansion of (* x x) in x
0.297 * [taylor]: Taking taylor expansion of x in x
0.297 * [taylor]: Taking taylor expansion of x in x
0.297 * [taylor]: Taking taylor expansion of 1.0 in x
0.328 * [approximate]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow x 2))) (fma (/ 1 x) (/ 1 x) 1.0)) in (x) around 0
0.328 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow x 2))) (fma (/ 1 x) (/ 1 x) 1.0)) in x
0.328 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
0.328 * [taylor]: Taking taylor expansion of 1.0 in x
0.328 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.328 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.328 * [taylor]: Taking taylor expansion of x in x
0.329 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) 1.0) in x
0.329 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) 1.0)
0.329 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
0.329 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.329 * [taylor]: Taking taylor expansion of x in x
0.329 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.329 * [taylor]: Taking taylor expansion of x in x
0.330 * [taylor]: Taking taylor expansion of 1.0 in x
0.330 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow x 2))) (fma (/ 1 x) (/ 1 x) 1.0)) in x
0.330 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
0.330 * [taylor]: Taking taylor expansion of 1.0 in x
0.330 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.330 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.330 * [taylor]: Taking taylor expansion of x in x
0.330 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) 1.0) in x
0.330 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) 1.0)
0.330 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
0.330 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.330 * [taylor]: Taking taylor expansion of x in x
0.331 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.331 * [taylor]: Taking taylor expansion of x in x
0.331 * [taylor]: Taking taylor expansion of 1.0 in x
0.382 * [approximate]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow x 2))) (fma (/ -1 x) (/ -1 x) 1.0)) in (x) around 0
0.382 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow x 2))) (fma (/ -1 x) (/ -1 x) 1.0)) in x
0.382 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
0.382 * [taylor]: Taking taylor expansion of 1.0 in x
0.382 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.382 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.382 * [taylor]: Taking taylor expansion of x in x
0.382 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) 1.0) in x
0.382 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) 1.0)
0.383 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
0.383 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.383 * [taylor]: Taking taylor expansion of -1 in x
0.383 * [taylor]: Taking taylor expansion of x in x
0.383 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.383 * [taylor]: Taking taylor expansion of -1 in x
0.383 * [taylor]: Taking taylor expansion of x in x
0.383 * [taylor]: Taking taylor expansion of 1.0 in x
0.383 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow x 2))) (fma (/ -1 x) (/ -1 x) 1.0)) in x
0.383 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
0.383 * [taylor]: Taking taylor expansion of 1.0 in x
0.383 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.383 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.383 * [taylor]: Taking taylor expansion of x in x
0.384 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) 1.0) in x
0.384 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) 1.0)
0.384 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
0.384 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.384 * [taylor]: Taking taylor expansion of -1 in x
0.384 * [taylor]: Taking taylor expansion of x in x
0.384 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.384 * [taylor]: Taking taylor expansion of -1 in x
0.384 * [taylor]: Taking taylor expansion of x in x
0.385 * [taylor]: Taking taylor expansion of 1.0 in x
0.435 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.436 * [approximate]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in (x) around 0
0.436 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x
0.436 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
0.436 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.436 * [taylor]: Taking taylor expansion of x in x
0.436 * [taylor]: Taking taylor expansion of 1.0 in x
0.437 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x
0.437 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
0.437 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.437 * [taylor]: Taking taylor expansion of x in x
0.437 * [taylor]: Taking taylor expansion of 1.0 in x
0.453 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
0.454 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
0.454 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.454 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.454 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.454 * [taylor]: Taking taylor expansion of x in x
0.454 * [taylor]: Taking taylor expansion of 1.0 in x
0.454 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
0.454 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.455 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.455 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.455 * [taylor]: Taking taylor expansion of x in x
0.455 * [taylor]: Taking taylor expansion of 1.0 in x
0.456 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
0.456 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
0.456 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.456 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.456 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.456 * [taylor]: Taking taylor expansion of x in x
0.457 * [taylor]: Taking taylor expansion of 1.0 in x
0.457 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
0.457 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.457 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.457 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.457 * [taylor]: Taking taylor expansion of x in x
0.458 * [taylor]: Taking taylor expansion of 1.0 in x
0.458 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
0.458 * [approximate]: Taking taylor expansion of (- 1.0 (pow x 2)) in (x) around 0
0.459 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
0.459 * [taylor]: Taking taylor expansion of 1.0 in x
0.459 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.459 * [taylor]: Taking taylor expansion of x in x
0.459 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
0.459 * [taylor]: Taking taylor expansion of 1.0 in x
0.459 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.459 * [taylor]: Taking taylor expansion of x in x
0.466 * [approximate]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in (x) around 0
0.466 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
0.466 * [taylor]: Taking taylor expansion of 1.0 in x
0.466 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.466 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.466 * [taylor]: Taking taylor expansion of x in x
0.466 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
0.466 * [taylor]: Taking taylor expansion of 1.0 in x
0.466 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.466 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.466 * [taylor]: Taking taylor expansion of x in x
0.480 * [approximate]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in (x) around 0
0.480 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
0.480 * [taylor]: Taking taylor expansion of 1.0 in x
0.480 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.480 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.480 * [taylor]: Taking taylor expansion of x in x
0.480 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
0.480 * [taylor]: Taking taylor expansion of 1.0 in x
0.480 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.480 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.480 * [taylor]: Taking taylor expansion of x in x
0.496 * * * [progress]: simplifying candidates
0.497 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (* (- 1.0 (pow x 2)) (fma x x 1.0)))
  (- (fma x x 1.0))
  (/ 1 (fma x x 1.0))
  (/ (fma x x 1.0) (* (- 1.0 (pow x 2)) (fma x x 1.0)))
  (/ (fma x x 1.0) (fma x x 1.0))
  (/ (fma x x 1.0) (- 1.0 (pow x 2)))
  (* (fma x x 1.0) (+ (* 1.0 1.0) (+ (* (pow x 2) (pow x 2)) (* 1.0 (pow x 2)))))
  (* (fma x x 1.0) (+ 1.0 (pow x 2)))
  (* (- 1.0 (pow x 2)) (* x x))
  (* (- 1.0 (pow x 2)) 1.0)
  (* (* x x) (- 1.0 (pow x 2)))
  (* 1.0 (- 1.0 (pow x 2)))
  (* (- (pow 1.0 3) (pow (pow x 2) 3)) (fma x x 1.0))
  (* (- (* 1.0 1.0) (* (pow x 2) (pow x 2))) (fma x x 1.0))
  (exp -1)
  (exp (- (* (- 1.0 (pow x 2)) (fma x x 1.0))))
  (exp (* (- 1.0 (pow x 2)) (fma x x 1.0)))
  (exp (/ (* (- 1.0 (pow x 2)) (fma x x 1.0)) (fma x x 1.0)))
  (exp 0)
  (exp (/ (* (- 1.0 (pow x 2)) (fma x x 1.0)) (fma x x 1.0)))
  (- (pow 1.0 3) (pow (pow x 2) 3))
  (+ (* 1.0 1.0) (+ (* (pow x 2) (pow x 2)) (* 1.0 (pow x 2))))
  (- (pow x 2))
  (- (* 1.0 1.0) (* (pow x 2) (pow x 2)))
  (+ 1.0 (pow x 2))
  (- (pow x 2))
  (- 1.0 (pow x 2))
  (- 1.0 (pow x 2))
  (- 1.0 (pow x 2))
  (- 1.0 (pow x 4))
  (- 1.0 (pow x 4))
  (- 1.0 (pow x 4))
  (+ (* (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))
  (- 1.0 (pow x 2))
  (- 1.0 (pow x 2))
  (- 1.0 (pow x 2))
0.500 * * [simplify]: iteration  0 :  134  enodes  (cost  139 )
0.503 * * [simplify]: iteration  1 :  508  enodes  (cost  118 )
0.512 * * [simplify]: iteration  2 :  2062  enodes  (cost  111 )
0.561 * * [simplify]: iteration  3 :  5002  enodes  (cost  110 )
0.562 * [simplify]: Simplified to:
   (fma (- 0 1.0) 1.0 (pow x 4))
  (- (fma x x 1.0))
  (/ 1 (fma x x 1.0))
  (/ 1 (- 1.0 (pow x 2)))
  1
  (/ (fma x x 1.0) (- 1.0 (pow x 2)))
  (* (fma x x 1.0) (fma (pow x 2) (fma x x 1.0) (* 1.0 1.0)))
  (* (fma x x 1.0) (fma x x 1.0))
  (* (- 1.0 (pow x 2)) (* x x))
  (* (- 1.0 (pow x 2)) 1.0)
  (* (- 1.0 (pow x 2)) (* x x))
  (* (- 1.0 (pow x 2)) 1.0)
  (* (- (pow 1.0 3) (pow (pow x 2) 3)) (fma x x 1.0))
  (* (fma 1.0 1.0 (- (pow x 4))) (fma x x 1.0))
  (exp -1)
  (exp (- (fma 1.0 1.0 (- (pow x 4)))))
  (exp (fma 1.0 1.0 (- (pow x 4))))
  (exp (- 1.0 (pow x 2)))
  1
  (exp (- 1.0 (pow x 2)))
  (- (pow 1.0 3) (pow (pow x 2) 3))
  (fma 1.0 (fma x x 1.0) (pow x 4))
  (- (pow x 2))
  (fma 1.0 1.0 (- (pow x 4)))
  (fma x x 1.0)
  (- (pow x 2))
  (- 1.0 (pow x 2))
  (- 1.0 (pow x 2))
  (- 1.0 (pow x 2))
  (- 1.0 (pow x 4))
  (- 1.0 (pow x 4))
  (- 1.0 (pow x 4))
  (* (exp (- 1.0)) (+ (pow x 2) (fma 1/2 (pow x 4) 1)))
  (exp (- (pow x 2) 1.0))
  (exp (- (pow x 2) 1.0))
  (- 1.0 (pow x 2))
  (- 1.0 (pow x 2))
  (- 1.0 (pow x 2))
0.562 * * * [progress]: adding candidates to table
0.624 * [progress]: [Phase 3 of 3] Extracting.
0.626 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (exp (- (/ (* (- 1.0 (pow x 2)) (fma x x 1.0)) (fma x x 1.0))))
0.627 * * [simplify]: iteration  0 :  13  enodes  (cost  8 )
0.627 * * [simplify]: iteration  1 :  19  enodes  (cost  8 )
0.627 * * [simplify]: iteration  2 :  19  enodes  (cost  8 )
0.627 * [simplify]: Simplified to:
   (exp (- (/ (* (- 1.0 (pow x 2)) (fma x x 1.0)) (fma x x 1.0))))
1.229 * [regime-testing]: End program error score: 0.017625983793006124