9.184 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.036 * * * [progress]: [2/2] Setting up program.
0.037 * [progress]: [Phase 2 of 3] Improving.
0.038 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (- 1.0 x) (* y (sqrt x)))
0.040 * * [simplify]: iteration  0 :  13  enodes  (cost  4 )
0.041 * * [simplify]: iteration  1 :  25  enodes  (cost  3 )
0.042 * * [simplify]: iteration  2 :  44  enodes  (cost  3 )
0.044 * * [simplify]: iteration  3 :  69  enodes  (cost  3 )
0.045 * * [simplify]: iteration  4 :  102  enodes  (cost  3 )
0.047 * * [simplify]: iteration  5 :  171  enodes  (cost  3 )
0.049 * * [simplify]: iteration  6 :  192  enodes  (cost  3 )
0.051 * * [simplify]: iteration  7 :  225  enodes  (cost  3 )
0.053 * * [simplify]: iteration  8 :  316  enodes  (cost  3 )
0.055 * * [simplify]: iteration  9 :  351  enodes  (cost  3 )
0.057 * * [simplify]: iteration  10 :  351  enodes  (cost  3 )
0.057 * [simplify]: Simplified to:
   (fma (sqrt x) y (- 1.0 x))
0.060 * * [progress]: iteration 1 / 4
0.060 * * * [progress]: picking best candidate
0.061 * * * * [pick]: Picked  #<alt (λ (x y) (fma (sqrt x) y (- 1.0 x)))>
0.061 * * * [progress]: localizing error
0.069 * * * [progress]: generating rewritten candidates
0.069 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.070 * * * [progress]: generating series expansions
0.070 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.070 * [approximate]: Taking taylor expansion of (fma (sqrt x) y (- 1.0 x)) in (x y) around 0
0.070 * [taylor]: Taking taylor expansion of (fma (sqrt x) y (- 1.0 x)) in y
0.070 * [taylor]: Rewrote expression to (+ (* (sqrt x) y) (- 1.0 x))
0.070 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y
0.070 * [taylor]: Taking taylor expansion of (sqrt x) in y
0.071 * [taylor]: Taking taylor expansion of x in y
0.071 * [taylor]: Taking taylor expansion of y in y
0.071 * [taylor]: Taking taylor expansion of (- 1.0 x) in y
0.071 * [taylor]: Taking taylor expansion of 1.0 in y
0.071 * [taylor]: Taking taylor expansion of x in y
0.071 * [taylor]: Taking taylor expansion of (fma (sqrt x) y (- 1.0 x)) in x
0.071 * [taylor]: Rewrote expression to (+ (* (sqrt x) y) (- 1.0 x))
0.071 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x
0.071 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.071 * [taylor]: Taking taylor expansion of x in x
0.072 * [taylor]: Taking taylor expansion of y in x
0.073 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
0.073 * [taylor]: Taking taylor expansion of 1.0 in x
0.073 * [taylor]: Taking taylor expansion of x in x
0.073 * [taylor]: Taking taylor expansion of (fma (sqrt x) y (- 1.0 x)) in x
0.073 * [taylor]: Rewrote expression to (+ (* (sqrt x) y) (- 1.0 x))
0.073 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x
0.073 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.073 * [taylor]: Taking taylor expansion of x in x
0.074 * [taylor]: Taking taylor expansion of y in x
0.074 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
0.074 * [taylor]: Taking taylor expansion of 1.0 in x
0.074 * [taylor]: Taking taylor expansion of x in x
0.075 * [taylor]: Taking taylor expansion of 1.0 in y
0.076 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 y) 1)) in y
0.076 * [taylor]: Taking taylor expansion of (+ (* +nan.0 y) 1) in y
0.076 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y
0.076 * [taylor]: Taking taylor expansion of +nan.0 in y
0.076 * [taylor]: Taking taylor expansion of y in y
0.076 * [taylor]: Taking taylor expansion of 1 in y
0.079 * [taylor]: Taking taylor expansion of (- (* +nan.0 y)) in y
0.079 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y
0.079 * [taylor]: Taking taylor expansion of +nan.0 in y
0.079 * [taylor]: Taking taylor expansion of y in y
0.083 * [approximate]: Taking taylor expansion of (fma (sqrt (/ 1 x)) (/ 1 y) (- 1.0 (/ 1 x))) in (x y) around 0
0.083 * [taylor]: Taking taylor expansion of (fma (sqrt (/ 1 x)) (/ 1 y) (- 1.0 (/ 1 x))) in y
0.083 * [taylor]: Rewrote expression to (+ (* (sqrt (/ 1 x)) (/ 1 y)) (- 1.0 (/ 1 x)))
0.083 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y
0.083 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
0.083 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.083 * [taylor]: Taking taylor expansion of x in y
0.083 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.083 * [taylor]: Taking taylor expansion of y in y
0.083 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y
0.083 * [taylor]: Taking taylor expansion of 1.0 in y
0.083 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.083 * [taylor]: Taking taylor expansion of x in y
0.083 * [taylor]: Taking taylor expansion of (fma (sqrt (/ 1 x)) (/ 1 y) (- 1.0 (/ 1 x))) in x
0.084 * [taylor]: Rewrote expression to (+ (* (sqrt (/ 1 x)) (/ 1 y)) (- 1.0 (/ 1 x)))
0.084 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x
0.084 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.084 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.084 * [taylor]: Taking taylor expansion of x in x
0.085 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.085 * [taylor]: Taking taylor expansion of y in x
0.085 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.085 * [taylor]: Taking taylor expansion of 1.0 in x
0.085 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.085 * [taylor]: Taking taylor expansion of x in x
0.085 * [taylor]: Taking taylor expansion of (fma (sqrt (/ 1 x)) (/ 1 y) (- 1.0 (/ 1 x))) in x
0.085 * [taylor]: Rewrote expression to (+ (* (sqrt (/ 1 x)) (/ 1 y)) (- 1.0 (/ 1 x)))
0.085 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x
0.085 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.085 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.085 * [taylor]: Taking taylor expansion of x in x
0.087 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.087 * [taylor]: Taking taylor expansion of y in x
0.087 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.087 * [taylor]: Taking taylor expansion of 1.0 in x
0.087 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.087 * [taylor]: Taking taylor expansion of x in x
0.088 * [taylor]: Taking taylor expansion of -1 in y
0.089 * [taylor]: Taking taylor expansion of (- 1.0 (* +nan.0 (/ 1 y))) in y
0.089 * [taylor]: Taking taylor expansion of 1.0 in y
0.089 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
0.089 * [taylor]: Taking taylor expansion of +nan.0 in y
0.089 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.089 * [taylor]: Taking taylor expansion of y in y
0.095 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y
0.095 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
0.095 * [taylor]: Taking taylor expansion of +nan.0 in y
0.095 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.095 * [taylor]: Taking taylor expansion of y in y
0.096 * [approximate]: Taking taylor expansion of (fma (sqrt (/ -1 x)) (/ -1 y) (+ (/ 1 x) 1.0)) in (x y) around 0
0.097 * [taylor]: Taking taylor expansion of (fma (sqrt (/ -1 x)) (/ -1 y) (+ (/ 1 x) 1.0)) in y
0.097 * [taylor]: Rewrote expression to (+ (* (sqrt (/ -1 x)) (/ -1 y)) (+ (/ 1 x) 1.0))
0.097 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 x)) (/ -1 y)) in y
0.097 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
0.097 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.097 * [taylor]: Taking taylor expansion of -1 in y
0.097 * [taylor]: Taking taylor expansion of x in y
0.097 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.097 * [taylor]: Taking taylor expansion of -1 in y
0.097 * [taylor]: Taking taylor expansion of y in y
0.097 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y
0.097 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.097 * [taylor]: Taking taylor expansion of x in y
0.097 * [taylor]: Taking taylor expansion of 1.0 in y
0.097 * [taylor]: Taking taylor expansion of (fma (sqrt (/ -1 x)) (/ -1 y) (+ (/ 1 x) 1.0)) in x
0.097 * [taylor]: Rewrote expression to (+ (* (sqrt (/ -1 x)) (/ -1 y)) (+ (/ 1 x) 1.0))
0.097 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 x)) (/ -1 y)) in x
0.097 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.097 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.097 * [taylor]: Taking taylor expansion of -1 in x
0.097 * [taylor]: Taking taylor expansion of x in x
0.099 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.099 * [taylor]: Taking taylor expansion of -1 in x
0.099 * [taylor]: Taking taylor expansion of y in x
0.099 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
0.099 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.099 * [taylor]: Taking taylor expansion of x in x
0.099 * [taylor]: Taking taylor expansion of 1.0 in x
0.099 * [taylor]: Taking taylor expansion of (fma (sqrt (/ -1 x)) (/ -1 y) (+ (/ 1 x) 1.0)) in x
0.099 * [taylor]: Rewrote expression to (+ (* (sqrt (/ -1 x)) (/ -1 y)) (+ (/ 1 x) 1.0))
0.099 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 x)) (/ -1 y)) in x
0.099 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.099 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.099 * [taylor]: Taking taylor expansion of -1 in x
0.099 * [taylor]: Taking taylor expansion of x in x
0.101 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.101 * [taylor]: Taking taylor expansion of -1 in x
0.101 * [taylor]: Taking taylor expansion of y in x
0.101 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
0.101 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.101 * [taylor]: Taking taylor expansion of x in x
0.101 * [taylor]: Taking taylor expansion of 1.0 in x
0.102 * [taylor]: Taking taylor expansion of 1 in y
0.103 * [taylor]: Taking taylor expansion of (- 1.0 (* +nan.0 (/ 1 y))) in y
0.103 * [taylor]: Taking taylor expansion of 1.0 in y
0.103 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
0.103 * [taylor]: Taking taylor expansion of +nan.0 in y
0.103 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.103 * [taylor]: Taking taylor expansion of y in y
0.108 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y
0.108 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
0.108 * [taylor]: Taking taylor expansion of +nan.0 in y
0.108 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.108 * [taylor]: Taking taylor expansion of y in y
0.110 * * * [progress]: simplifying candidates
0.110 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (sqrt x) y)
  (- 1.0 (+ x (- (* +nan.0 (* x y)))))
  (- (+ x (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y))))))
  (- (+ x (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y))))))
0.112 * * [simplify]: iteration  0 :  51  enodes  (cost  23 )
0.114 * * [simplify]: iteration  1 :  125  enodes  (cost  16 )
0.117 * * [simplify]: iteration  2 :  302  enodes  (cost  14 )
0.121 * * [simplify]: iteration  3 :  738  enodes  (cost  13 )
0.127 * * [simplify]: iteration  4 :  962  enodes  (cost  13 )
0.134 * * [simplify]: iteration  5 :  1357  enodes  (cost  13 )
0.142 * * [simplify]: iteration  6 :  1773  enodes  (cost  13 )
0.155 * * [simplify]: iteration  7 :  2716  enodes  (cost  13 )
0.178 * * [simplify]: iteration  8 :  5001  enodes  (cost  13 )
0.179 * [simplify]: Simplified to:
   (* (sqrt x) y)
  (fma (* +nan.0 x) y (- 1.0 x))
  (fma +nan.0 (- (/ y x) y) (- x))
  (fma +nan.0 (- (/ y x) y) (- x))
0.179 * * * [progress]: adding candidates to table
0.185 * [progress]: [Phase 3 of 3] Extracting.
0.186 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fma (sqrt x) y (- 1.0 x))
0.187 * * [simplify]: iteration  0 :  6  enodes  (cost  3 )
0.187 * [simplify]: Simplified to:
   (fma (sqrt x) y (- 1.0 x))
0.935 * [regime-testing]: End program error score: 0.08569314059490402