38.615 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.023 * * * [progress]: [2/2] Setting up program. 0.027 * [progress]: [Phase 2 of 3] Improving. 0.027 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.028 * [simplify]: Simplifying: (/ (- x y) (* (* x 2.0) y)) 0.028 * * [simplify]: iteration 0: 7 enodes 0.031 * * [simplify]: iteration 1: 18 enodes 0.037 * * [simplify]: iteration 2: 44 enodes 0.052 * * [simplify]: iteration 3: 71 enodes 0.072 * * [simplify]: iteration 4: 112 enodes 0.103 * * [simplify]: iteration 5: 152 enodes 0.143 * * [simplify]: iteration 6: 160 enodes 0.158 * * [simplify]: iteration 7: 162 enodes 0.174 * * [simplify]: iteration 8: 163 enodes 0.200 * * [simplify]: iteration complete: 163 enodes 0.200 * * [simplify]: Extracting #0: cost 1 inf + 0 0.200 * * [simplify]: Extracting #1: cost 18 inf + 0 0.200 * * [simplify]: Extracting #2: cost 33 inf + 45 0.200 * * [simplify]: Extracting #3: cost 7 inf + 1621 0.201 * * [simplify]: Extracting #4: cost 0 inf + 2239 0.202 * [simplify]: Simplified to: (/ (- x y) (* x (* 2.0 y))) 0.202 * * [progress]: iteration 1 / 4 0.202 * * * [progress]: picking best candidate 0.204 * * * * [pick]: Picked # 0.204 * * * [progress]: localizing error 0.216 * * * [progress]: generating rewritten candidates 0.216 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.247 * * * [progress]: generating series expansions 0.247 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.247 * [backup-simplify]: Simplify (/ (- x y) (* (* x 2.0) y)) into (* 0.5 (/ (- x y) (* x y))) 0.247 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in (x y) around 0 0.248 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in y 0.248 * [taylor]: Taking taylor expansion of 0.5 in y 0.248 * [backup-simplify]: Simplify 0.5 into 0.5 0.248 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in y 0.248 * [taylor]: Taking taylor expansion of (- x y) in y 0.248 * [taylor]: Taking taylor expansion of x in y 0.248 * [backup-simplify]: Simplify x into x 0.248 * [taylor]: Taking taylor expansion of y in y 0.248 * [backup-simplify]: Simplify 0 into 0 0.248 * [backup-simplify]: Simplify 1 into 1 0.248 * [taylor]: Taking taylor expansion of (* x y) in y 0.248 * [taylor]: Taking taylor expansion of x in y 0.248 * [backup-simplify]: Simplify x into x 0.248 * [taylor]: Taking taylor expansion of y in y 0.248 * [backup-simplify]: Simplify 0 into 0 0.248 * [backup-simplify]: Simplify 1 into 1 0.249 * [backup-simplify]: Simplify (- 0) into 0 0.249 * [backup-simplify]: Simplify (+ x 0) into x 0.249 * [backup-simplify]: Simplify (* x 0) into 0 0.249 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 0.249 * [backup-simplify]: Simplify (/ x x) into 1 0.249 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in x 0.249 * [taylor]: Taking taylor expansion of 0.5 in x 0.249 * [backup-simplify]: Simplify 0.5 into 0.5 0.249 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in x 0.249 * [taylor]: Taking taylor expansion of (- x y) in x 0.249 * [taylor]: Taking taylor expansion of x in x 0.249 * [backup-simplify]: Simplify 0 into 0 0.249 * [backup-simplify]: Simplify 1 into 1 0.249 * [taylor]: Taking taylor expansion of y in x 0.249 * [backup-simplify]: Simplify y into y 0.249 * [taylor]: Taking taylor expansion of (* x y) in x 0.249 * [taylor]: Taking taylor expansion of x in x 0.249 * [backup-simplify]: Simplify 0 into 0 0.249 * [backup-simplify]: Simplify 1 into 1 0.249 * [taylor]: Taking taylor expansion of y in x 0.249 * [backup-simplify]: Simplify y into y 0.249 * [backup-simplify]: Simplify (- y) into (- y) 0.250 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 0.250 * [backup-simplify]: Simplify (* 0 y) into 0 0.250 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.250 * [backup-simplify]: Simplify (/ (- y) y) into -1 0.250 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in x 0.250 * [taylor]: Taking taylor expansion of 0.5 in x 0.250 * [backup-simplify]: Simplify 0.5 into 0.5 0.250 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in x 0.250 * [taylor]: Taking taylor expansion of (- x y) in x 0.250 * [taylor]: Taking taylor expansion of x in x 0.250 * [backup-simplify]: Simplify 0 into 0 0.250 * [backup-simplify]: Simplify 1 into 1 0.250 * [taylor]: Taking taylor expansion of y in x 0.250 * [backup-simplify]: Simplify y into y 0.250 * [taylor]: Taking taylor expansion of (* x y) in x 0.250 * [taylor]: Taking taylor expansion of x in x 0.250 * [backup-simplify]: Simplify 0 into 0 0.250 * [backup-simplify]: Simplify 1 into 1 0.250 * [taylor]: Taking taylor expansion of y in x 0.250 * [backup-simplify]: Simplify y into y 0.250 * [backup-simplify]: Simplify (- y) into (- y) 0.251 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 0.251 * [backup-simplify]: Simplify (* 0 y) into 0 0.251 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.251 * [backup-simplify]: Simplify (/ (- y) y) into -1 0.251 * [backup-simplify]: Simplify (* 0.5 -1) into -0.5 0.252 * [taylor]: Taking taylor expansion of -0.5 in y 0.252 * [backup-simplify]: Simplify -0.5 into -0.5 0.252 * [backup-simplify]: Simplify (- 0) into 0 0.252 * [backup-simplify]: Simplify (+ 1 0) into 1 0.253 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.253 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* -1 (/ 0 y)))) into (/ 1 y) 0.254 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 y)) (* 0 -1)) into (* 0.5 (/ 1 y)) 0.254 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 0.254 * [taylor]: Taking taylor expansion of 0.5 in y 0.254 * [backup-simplify]: Simplify 0.5 into 0.5 0.254 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.254 * [taylor]: Taking taylor expansion of y in y 0.254 * [backup-simplify]: Simplify 0 into 0 0.254 * [backup-simplify]: Simplify 1 into 1 0.254 * [backup-simplify]: Simplify (/ 1 1) into 1 0.255 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 0.255 * [backup-simplify]: Simplify 0.5 into 0.5 0.255 * [backup-simplify]: Simplify -0.5 into -0.5 0.255 * [backup-simplify]: Simplify (- 0) into 0 0.255 * [backup-simplify]: Simplify (+ 0 0) into 0 0.256 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.257 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0 0.257 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ 1 y)) (* 0 -1))) into 0 0.257 * [taylor]: Taking taylor expansion of 0 in y 0.257 * [backup-simplify]: Simplify 0 into 0 0.258 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.258 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 0.258 * [backup-simplify]: Simplify 0 into 0 0.258 * [backup-simplify]: Simplify 0 into 0 0.259 * [backup-simplify]: Simplify (- 0) into 0 0.259 * [backup-simplify]: Simplify (+ 0 0) into 0 0.260 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.260 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.261 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1)))) into 0 0.261 * [taylor]: Taking taylor expansion of 0 in y 0.261 * [backup-simplify]: Simplify 0 into 0 0.261 * [backup-simplify]: Simplify 0 into 0 0.261 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.262 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 0.262 * [backup-simplify]: Simplify 0 into 0 0.262 * [backup-simplify]: Simplify 0 into 0 0.262 * [backup-simplify]: Simplify (- 0) into 0 0.262 * [backup-simplify]: Simplify (+ 0 0) into 0 0.264 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 0.264 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.266 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1))))) into 0 0.266 * [taylor]: Taking taylor expansion of 0 in y 0.266 * [backup-simplify]: Simplify 0 into 0 0.266 * [backup-simplify]: Simplify 0 into 0 0.266 * [backup-simplify]: Simplify (+ (* -0.5 (* 1 (/ 1 x))) (* 0.5 (* (/ 1 y) 1))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 0.266 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 y)) (* (* (/ 1 x) 2.0) (/ 1 y))) into (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y))))) 0.266 * [approximate]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y))))) in (x y) around 0 0.266 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y))))) in y 0.266 * [taylor]: Taking taylor expansion of 0.5 in y 0.266 * [backup-simplify]: Simplify 0.5 into 0.5 0.266 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 x) (/ 1 y)))) in y 0.266 * [taylor]: Taking taylor expansion of x in y 0.266 * [backup-simplify]: Simplify x into x 0.266 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in y 0.266 * [taylor]: Taking taylor expansion of y in y 0.266 * [backup-simplify]: Simplify 0 into 0 0.266 * [backup-simplify]: Simplify 1 into 1 0.266 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.266 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.266 * [taylor]: Taking taylor expansion of x in y 0.267 * [backup-simplify]: Simplify x into x 0.267 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.267 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.267 * [taylor]: Taking taylor expansion of y in y 0.267 * [backup-simplify]: Simplify 0 into 0 0.267 * [backup-simplify]: Simplify 1 into 1 0.267 * [backup-simplify]: Simplify (/ 1 1) into 1 0.267 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y))))) in x 0.267 * [taylor]: Taking taylor expansion of 0.5 in x 0.267 * [backup-simplify]: Simplify 0.5 into 0.5 0.267 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 x) (/ 1 y)))) in x 0.267 * [taylor]: Taking taylor expansion of x in x 0.267 * [backup-simplify]: Simplify 0 into 0 0.267 * [backup-simplify]: Simplify 1 into 1 0.267 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in x 0.267 * [taylor]: Taking taylor expansion of y in x 0.267 * [backup-simplify]: Simplify y into y 0.267 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.267 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.267 * [taylor]: Taking taylor expansion of x in x 0.267 * [backup-simplify]: Simplify 0 into 0 0.267 * [backup-simplify]: Simplify 1 into 1 0.268 * [backup-simplify]: Simplify (/ 1 1) into 1 0.268 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.268 * [taylor]: Taking taylor expansion of y in x 0.268 * [backup-simplify]: Simplify y into y 0.268 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.268 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y))))) in x 0.268 * [taylor]: Taking taylor expansion of 0.5 in x 0.268 * [backup-simplify]: Simplify 0.5 into 0.5 0.268 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 x) (/ 1 y)))) in x 0.268 * [taylor]: Taking taylor expansion of x in x 0.268 * [backup-simplify]: Simplify 0 into 0 0.268 * [backup-simplify]: Simplify 1 into 1 0.268 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in x 0.268 * [taylor]: Taking taylor expansion of y in x 0.268 * [backup-simplify]: Simplify y into y 0.268 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.268 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.268 * [taylor]: Taking taylor expansion of x in x 0.268 * [backup-simplify]: Simplify 0 into 0 0.268 * [backup-simplify]: Simplify 1 into 1 0.269 * [backup-simplify]: Simplify (/ 1 1) into 1 0.269 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.269 * [taylor]: Taking taylor expansion of y in x 0.269 * [backup-simplify]: Simplify y into y 0.269 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.269 * [backup-simplify]: Simplify (+ 1 0) into 1 0.269 * [backup-simplify]: Simplify (* y 1) into y 0.269 * [backup-simplify]: Simplify (* 0 y) into 0 0.270 * [backup-simplify]: Simplify (* 0.5 0) into 0 0.270 * [taylor]: Taking taylor expansion of 0 in y 0.270 * [backup-simplify]: Simplify 0 into 0 0.270 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.270 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 0.270 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 0.271 * [backup-simplify]: Simplify (+ (* y (- (/ 1 y))) (* 0 1)) into (- 1) 0.271 * [backup-simplify]: Simplify (+ (* 0 (- 1)) (* 1 y)) into y 0.272 * [backup-simplify]: Simplify (+ (* 0.5 y) (* 0 0)) into (* 0.5 y) 0.272 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 0.272 * [taylor]: Taking taylor expansion of 0.5 in y 0.272 * [backup-simplify]: Simplify 0.5 into 0.5 0.272 * [taylor]: Taking taylor expansion of y in y 0.272 * [backup-simplify]: Simplify 0 into 0 0.272 * [backup-simplify]: Simplify 1 into 1 0.272 * [backup-simplify]: Simplify 0 into 0 0.273 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.273 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.273 * [backup-simplify]: Simplify (- 0) into 0 0.274 * [backup-simplify]: Simplify (+ 0 0) into 0 0.274 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (- (/ 1 y))) (* 0 1))) into 0 0.275 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (- 1)) (* 0 y))) into (- 1) 0.276 * [backup-simplify]: Simplify (+ (* 0.5 (- 1)) (+ (* 0 y) (* 0 0))) into (- 0.5) 0.276 * [taylor]: Taking taylor expansion of (- 0.5) in y 0.276 * [taylor]: Taking taylor expansion of 0.5 in y 0.276 * [backup-simplify]: Simplify 0.5 into 0.5 0.276 * [backup-simplify]: Simplify (* 0.5 0) into 0 0.277 * [backup-simplify]: Simplify 0 into 0 0.277 * [backup-simplify]: Simplify 0 into 0 0.277 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.278 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.278 * [backup-simplify]: Simplify (- 0) into 0 0.278 * [backup-simplify]: Simplify (+ 0 0) into 0 0.279 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))) into 0 0.280 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 (- 1)) (* 0 y)))) into 0 0.281 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0)))) into 0 0.281 * [taylor]: Taking taylor expansion of 0 in y 0.281 * [backup-simplify]: Simplify 0 into 0 0.282 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 0.282 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 0.283 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 0.284 * [backup-simplify]: Simplify 0.5 into 0.5 0.284 * [backup-simplify]: Simplify 0 into 0 0.284 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.285 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.285 * [backup-simplify]: Simplify (- 0) into 0 0.285 * [backup-simplify]: Simplify (+ 0 0) into 0 0.286 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1))))) into 0 0.288 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1)) (* 0 y))))) into 0 0.289 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0))))) into 0 0.289 * [taylor]: Taking taylor expansion of 0 in y 0.289 * [backup-simplify]: Simplify 0 into 0 0.289 * [backup-simplify]: Simplify 0 into 0 0.290 * [backup-simplify]: Simplify (- 0) into 0 0.290 * [backup-simplify]: Simplify 0 into 0 0.291 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 0.291 * [backup-simplify]: Simplify 0 into 0 0.291 * [backup-simplify]: Simplify 0 into 0 0.292 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.292 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.292 * [backup-simplify]: Simplify (- 0) into 0 0.292 * [backup-simplify]: Simplify (+ 0 0) into 0 0.294 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))))) into 0 0.296 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 1)) (* 0 y)))))) into 0 0.298 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0)))))) into 0 0.298 * [taylor]: Taking taylor expansion of 0 in y 0.298 * [backup-simplify]: Simplify 0 into 0 0.298 * [backup-simplify]: Simplify 0 into 0 0.298 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 y) 1)) (* (- 0.5) (* 1 (/ 1 x)))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 0.298 * [backup-simplify]: Simplify (/ (- (/ 1 (- x)) (/ 1 (- y))) (* (* (/ 1 (- x)) 2.0) (/ 1 (- y)))) into (* 0.5 (* (- (/ 1 y) (/ 1 x)) (* x y))) 0.298 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (/ 1 y) (/ 1 x)) (* x y))) in (x y) around 0 0.299 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 y) (/ 1 x)) (* x y))) in y 0.299 * [taylor]: Taking taylor expansion of 0.5 in y 0.299 * [backup-simplify]: Simplify 0.5 into 0.5 0.299 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (* x y)) in y 0.299 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.299 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.299 * [taylor]: Taking taylor expansion of y in y 0.299 * [backup-simplify]: Simplify 0 into 0 0.299 * [backup-simplify]: Simplify 1 into 1 0.299 * [backup-simplify]: Simplify (/ 1 1) into 1 0.299 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.299 * [taylor]: Taking taylor expansion of x in y 0.299 * [backup-simplify]: Simplify x into x 0.299 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.299 * [taylor]: Taking taylor expansion of (* x y) in y 0.299 * [taylor]: Taking taylor expansion of x in y 0.299 * [backup-simplify]: Simplify x into x 0.299 * [taylor]: Taking taylor expansion of y in y 0.299 * [backup-simplify]: Simplify 0 into 0 0.299 * [backup-simplify]: Simplify 1 into 1 0.299 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 y) (/ 1 x)) (* x y))) in x 0.299 * [taylor]: Taking taylor expansion of 0.5 in x 0.299 * [backup-simplify]: Simplify 0.5 into 0.5 0.299 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (* x y)) in x 0.299 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.299 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.299 * [taylor]: Taking taylor expansion of y in x 0.299 * [backup-simplify]: Simplify y into y 0.300 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.300 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.300 * [taylor]: Taking taylor expansion of x in x 0.300 * [backup-simplify]: Simplify 0 into 0 0.300 * [backup-simplify]: Simplify 1 into 1 0.300 * [backup-simplify]: Simplify (/ 1 1) into 1 0.300 * [taylor]: Taking taylor expansion of (* x y) in x 0.300 * [taylor]: Taking taylor expansion of x in x 0.300 * [backup-simplify]: Simplify 0 into 0 0.300 * [backup-simplify]: Simplify 1 into 1 0.300 * [taylor]: Taking taylor expansion of y in x 0.300 * [backup-simplify]: Simplify y into y 0.300 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 y) (/ 1 x)) (* x y))) in x 0.300 * [taylor]: Taking taylor expansion of 0.5 in x 0.300 * [backup-simplify]: Simplify 0.5 into 0.5 0.300 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (* x y)) in x 0.300 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.300 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.300 * [taylor]: Taking taylor expansion of y in x 0.300 * [backup-simplify]: Simplify y into y 0.300 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.300 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.300 * [taylor]: Taking taylor expansion of x in x 0.300 * [backup-simplify]: Simplify 0 into 0 0.300 * [backup-simplify]: Simplify 1 into 1 0.301 * [backup-simplify]: Simplify (/ 1 1) into 1 0.301 * [taylor]: Taking taylor expansion of (* x y) in x 0.301 * [taylor]: Taking taylor expansion of x in x 0.301 * [backup-simplify]: Simplify 0 into 0 0.301 * [backup-simplify]: Simplify 1 into 1 0.301 * [taylor]: Taking taylor expansion of y in x 0.301 * [backup-simplify]: Simplify y into y 0.301 * [backup-simplify]: Simplify (- 1) into -1 0.302 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.302 * [backup-simplify]: Simplify (* 0 y) into 0 0.302 * [backup-simplify]: Simplify (* -1 0) into 0 0.303 * [backup-simplify]: Simplify (* 0.5 0) into 0 0.303 * [taylor]: Taking taylor expansion of 0 in y 0.303 * [backup-simplify]: Simplify 0 into 0 0.303 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.304 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.304 * [backup-simplify]: Simplify (- 0) into 0 0.304 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 0.304 * [backup-simplify]: Simplify (+ (* -1 y) (* (/ 1 y) 0)) into (- y) 0.305 * [backup-simplify]: Simplify (+ (* 0.5 (- y)) (* 0 0)) into (- (* 0.5 y)) 0.305 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y 0.305 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 0.305 * [taylor]: Taking taylor expansion of 0.5 in y 0.305 * [backup-simplify]: Simplify 0.5 into 0.5 0.305 * [taylor]: Taking taylor expansion of y in y 0.305 * [backup-simplify]: Simplify 0 into 0 0.305 * [backup-simplify]: Simplify 1 into 1 0.305 * [backup-simplify]: Simplify 0 into 0 0.305 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.306 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.306 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.307 * [backup-simplify]: Simplify (- 0) into 0 0.307 * [backup-simplify]: Simplify (+ 0 0) into 0 0.308 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) y) (* 0 0))) into 1 0.309 * [backup-simplify]: Simplify (+ (* 0.5 1) (+ (* 0 (- y)) (* 0 0))) into 0.5 0.309 * [taylor]: Taking taylor expansion of 0.5 in y 0.309 * [backup-simplify]: Simplify 0.5 into 0.5 0.309 * [backup-simplify]: Simplify (* 0.5 0) into 0 0.310 * [backup-simplify]: Simplify (- 0) into 0 0.310 * [backup-simplify]: Simplify 0 into 0 0.310 * [backup-simplify]: Simplify 0 into 0 0.311 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.311 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.312 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.312 * [backup-simplify]: Simplify (- 0) into 0 0.313 * [backup-simplify]: Simplify (+ 0 0) into 0 0.313 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 y) (* 0 0)))) into 0 0.314 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0)))) into 0 0.314 * [taylor]: Taking taylor expansion of 0 in y 0.314 * [backup-simplify]: Simplify 0 into 0 0.315 * [backup-simplify]: Simplify 0.5 into 0.5 0.316 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 0.316 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 0.317 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 0.317 * [backup-simplify]: Simplify 0 into 0 0.318 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.318 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.319 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.319 * [backup-simplify]: Simplify (- 0) into 0 0.320 * [backup-simplify]: Simplify (+ 0 0) into 0 0.321 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 0.322 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0))))) into 0 0.322 * [taylor]: Taking taylor expansion of 0 in y 0.322 * [backup-simplify]: Simplify 0 into 0 0.322 * [backup-simplify]: Simplify 0 into 0 0.322 * [backup-simplify]: Simplify 0 into 0 0.323 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 0.324 * [backup-simplify]: Simplify (- 0) into 0 0.324 * [backup-simplify]: Simplify 0 into 0 0.324 * [backup-simplify]: Simplify 0 into 0 0.325 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 0.326 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.326 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.326 * [backup-simplify]: Simplify (- 0) into 0 0.327 * [backup-simplify]: Simplify (+ 0 0) into 0 0.328 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))))) into 0 0.329 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0)))))) into 0 0.329 * [taylor]: Taking taylor expansion of 0 in y 0.329 * [backup-simplify]: Simplify 0 into 0 0.329 * [backup-simplify]: Simplify 0 into 0 0.329 * [backup-simplify]: Simplify (+ (* (- 0.5) (* (/ 1 (- y)) 1)) (* 0.5 (* 1 (/ 1 (- x))))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 0.329 * * * [progress]: simplifying candidates 0.329 * * * * [progress]: [ 1 / 36 ] simplifiying candidate # 0.329 * * * * [progress]: [ 2 / 36 ] simplifiying candidate # 0.329 * * * * [progress]: [ 3 / 36 ] simplifiying candidate # 0.329 * * * * [progress]: [ 4 / 36 ] simplifiying candidate # 0.329 * * * * [progress]: [ 5 / 36 ] simplifiying candidate # 0.329 * * * * [progress]: [ 6 / 36 ] simplifiying candidate # 0.329 * * * * [progress]: [ 7 / 36 ] simplifiying candidate # 0.330 * * * * [progress]: [ 8 / 36 ] simplifiying candidate # 0.330 * * * * [progress]: [ 9 / 36 ] simplifiying candidate # 0.330 * * * * [progress]: [ 10 / 36 ] simplifiying candidate # 0.330 * * * * [progress]: [ 11 / 36 ] simplifiying candidate # 0.330 * * * * [progress]: [ 12 / 36 ] simplifiying candidate # 0.330 * * * * [progress]: [ 13 / 36 ] simplifiying candidate # 0.330 * * * * [progress]: [ 14 / 36 ] simplifiying candidate # 0.330 * * * * [progress]: [ 15 / 36 ] simplifiying candidate # 0.330 * * * * [progress]: [ 16 / 36 ] simplifiying candidate # 0.330 * * * * [progress]: [ 17 / 36 ] simplifiying candidate # 0.330 * * * * [progress]: [ 18 / 36 ] simplifiying candidate # 0.330 * * * * [progress]: [ 19 / 36 ] simplifiying candidate # 0.330 * * * * [progress]: [ 20 / 36 ] simplifiying candidate # 0.330 * * * * [progress]: [ 21 / 36 ] simplifiying candidate # 0.330 * * * * [progress]: [ 22 / 36 ] simplifiying candidate # 0.330 * * * * [progress]: [ 23 / 36 ] simplifiying candidate # 0.330 * * * * [progress]: [ 24 / 36 ] simplifiying candidate # 0.330 * * * * [progress]: [ 25 / 36 ] simplifiying candidate # 0.330 * * * * [progress]: [ 26 / 36 ] simplifiying candidate # 0.330 * * * * [progress]: [ 27 / 36 ] simplifiying candidate # 0.330 * * * * [progress]: [ 28 / 36 ] simplifiying candidate # 0.330 * * * * [progress]: [ 29 / 36 ] simplifiying candidate # 0.330 * * * * [progress]: [ 30 / 36 ] simplifiying candidate # 0.330 * * * * [progress]: [ 31 / 36 ] simplifiying candidate # 0.330 * * * * [progress]: [ 32 / 36 ] simplifiying candidate # 0.330 * * * * [progress]: [ 33 / 36 ] simplifiying candidate #real (real->posit16 (/ (- x y) (* (* x 2.0) y)))))> 0.330 * * * * [progress]: [ 34 / 36 ] simplifiying candidate # 0.330 * * * * [progress]: [ 35 / 36 ] simplifiying candidate # 0.331 * * * * [progress]: [ 36 / 36 ] simplifiying candidate # 0.331 * [simplify]: Simplifying: (expm1 (/ (- x y) (* (* x 2.0) y))) (log1p (/ (- x y) (* (* x 2.0) y))) (- (log (- x y)) (+ (+ (log x) (log 2.0)) (log y))) (- (log (- x y)) (+ (log (* x 2.0)) (log y))) (- (log (- x y)) (log (* (* x 2.0) y))) (log (/ (- x y) (* (* x 2.0) y))) (exp (/ (- x y) (* (* x 2.0) y))) (/ (* (* (- x y) (- x y)) (- x y)) (* (* (* (* x x) x) (* (* 2.0 2.0) 2.0)) (* (* y y) y))) (/ (* (* (- x y) (- x y)) (- x y)) (* (* (* (* x 2.0) (* x 2.0)) (* x 2.0)) (* (* y y) y))) (/ (* (* (- x y) (- x y)) (- x y)) (* (* (* (* x 2.0) y) (* (* x 2.0) y)) (* (* x 2.0) y))) (* (cbrt (/ (- x y) (* (* x 2.0) y))) (cbrt (/ (- x y) (* (* x 2.0) y)))) (cbrt (/ (- x y) (* (* x 2.0) y))) (* (* (/ (- x y) (* (* x 2.0) y)) (/ (- x y) (* (* x 2.0) y))) (/ (- x y) (* (* x 2.0) y))) (sqrt (/ (- x y) (* (* x 2.0) y))) (sqrt (/ (- x y) (* (* x 2.0) y))) (- (- x y)) (- (* (* x 2.0) y)) (/ x (* (* x 2.0) y)) (/ y (* (* x 2.0) y)) (/ (* (cbrt (- x y)) (cbrt (- x y))) (* x 2.0)) (/ (cbrt (- x y)) y) (/ (sqrt (- x y)) (* x 2.0)) (/ (sqrt (- x y)) y) (/ 1 (* x 2.0)) (/ (- x y) y) (/ (+ (sqrt x) (sqrt y)) (* x 2.0)) (/ (- (sqrt x) (sqrt y)) y) (/ 1 (* x 2.0)) (/ (- x y) y) (/ 1 (* (* x 2.0) y)) (/ (* (* x 2.0) y) (- x y)) (/ (- x y) (* x 2.0)) (/ (* (* x 2.0) y) (cbrt (- x y))) (/ (* (* x 2.0) y) (sqrt (- x y))) (/ (* (* x 2.0) y) (- x y)) (/ (* (* x 2.0) y) (- (sqrt x) (sqrt y))) (/ (* (* x 2.0) y) (- x y)) (* (* (* x 2.0) y) (+ (* x x) (+ (* y y) (* x y)))) (* (* (* x 2.0) y) (+ x y)) (real->posit16 (/ (- x y) (* (* x 2.0) y))) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 0.332 * * [simplify]: iteration 0: 85 enodes 0.350 * * [simplify]: iteration 1: 238 enodes 0.427 * * [simplify]: iteration 2: 835 enodes 0.702 * * [simplify]: iteration complete: 2000 enodes 0.702 * * [simplify]: Extracting #0: cost 30 inf + 0 0.703 * * [simplify]: Extracting #1: cost 419 inf + 0 0.707 * * [simplify]: Extracting #2: cost 678 inf + 1274 0.715 * * [simplify]: Extracting #3: cost 453 inf + 44962 0.738 * * [simplify]: Extracting #4: cost 91 inf + 120002 0.771 * * [simplify]: Extracting #5: cost 1 inf + 140492 0.818 * * [simplify]: Extracting #6: cost 0 inf + 140153 0.851 * * [simplify]: Extracting #7: cost 0 inf + 139993 0.883 * [simplify]: Simplified to: (expm1 (/ (- x y) (* (* 2.0 y) x))) (log1p (/ (- x y) (* (* 2.0 y) x))) (log (/ (- x y) (* (* 2.0 y) x))) (log (/ (- x y) (* (* 2.0 y) x))) (log (/ (- x y) (* (* 2.0 y) x))) (log (/ (- x y) (* (* 2.0 y) x))) (exp (/ (- x y) (* (* 2.0 y) x))) (* (* (/ (- x y) (* (* 2.0 y) x)) (/ (- x y) (* (* 2.0 y) x))) (/ (- x y) (* (* 2.0 y) x))) (* (* (/ (- x y) (* (* 2.0 y) x)) (/ (- x y) (* (* 2.0 y) x))) (/ (- x y) (* (* 2.0 y) x))) (* (* (/ (- x y) (* (* 2.0 y) x)) (/ (- x y) (* (* 2.0 y) x))) (/ (- x y) (* (* 2.0 y) x))) (* (cbrt (/ (- x y) (* (* 2.0 y) x))) (cbrt (/ (- x y) (* (* 2.0 y) x)))) (cbrt (/ (- x y) (* (* 2.0 y) x))) (* (* (/ (- x y) (* (* 2.0 y) x)) (/ (- x y) (* (* 2.0 y) x))) (/ (- x y) (* (* 2.0 y) x))) (sqrt (/ (- x y) (* (* 2.0 y) x))) (sqrt (/ (- x y) (* (* 2.0 y) x))) (+ (- x) y) (* (- x) (* 2.0 y)) (/ (/ 1 2.0) y) (/ y (* (* 2.0 y) x)) (* (/ (cbrt (- x y)) (* 2.0 x)) (cbrt (- x y))) (/ (cbrt (- x y)) y) (/ (sqrt (- x y)) (* 2.0 x)) (/ (sqrt (- x y)) y) (/ 1 (* 2.0 x)) (/ (- x y) y) (/ (/ (+ (sqrt x) (sqrt y)) x) 2.0) (/ (- (sqrt x) (sqrt y)) y) (/ 1 (* 2.0 x)) (/ (- x y) y) (/ 1 (* (* 2.0 y) x)) (/ (* (* 2.0 y) x) (- x y)) (/ (/ (- x y) x) 2.0) (/ (* (* 2.0 y) x) (cbrt (- x y))) (* (/ (* 2.0 x) (sqrt (- x y))) y) (/ (* (* 2.0 y) x) (- x y)) (/ (* 2.0 x) (/ (- (sqrt x) (sqrt y)) y)) (/ (* (* 2.0 y) x) (- x y)) (* (* 2.0 x) (* (fma x x (* y (+ y x))) y)) (* (* 2.0 x) (* y (+ y x))) (real->posit16 (/ (- x y) (* (* 2.0 y) x))) (- (/ 0.5 y) (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x)) 0.884 * * * [progress]: adding candidates to table 0.969 * * [progress]: iteration 2 / 4 0.969 * * * [progress]: picking best candidate 0.971 * * * * [pick]: Picked # 0.971 * * * [progress]: localizing error 0.979 * * * [progress]: generating rewritten candidates 0.979 * * * [progress]: generating series expansions 0.979 * * * [progress]: simplifying candidates 0.979 * [simplify]: Simplifying: 0.979 * * [simplify]: iteration 0: 0 enodes 0.979 * * [simplify]: iteration complete: 0 enodes 0.979 * * [simplify]: Extracting #0: cost 0 inf + 0 0.979 * [simplify]: Simplified to: 0.979 * * * [progress]: adding candidates to table 0.980 * [progress]: [Phase 3 of 3] Extracting. 0.981 * [simplify]: Simplifying: (- (/ 0.5 y) (/ 0.5 x)) 0.981 * * [simplify]: iteration 0: 6 enodes 0.982 * * [simplify]: iteration complete: 6 enodes 0.982 * * [simplify]: Extracting #0: cost 1 inf + 0 0.982 * * [simplify]: Extracting #1: cost 3 inf + 0 0.982 * * [simplify]: Extracting #2: cost 6 inf + 0 0.982 * * [simplify]: Extracting #3: cost 3 inf + 3 0.982 * * [simplify]: Extracting #4: cost 0 inf + 210 0.982 * [simplify]: Simplified to: (- (/ 0.5 y) (/ 0.5 x)) 2.115 * [regime-testing]: Baseline error score: 0.013824848418642476 2.118 * [regime-testing]: Oracle error score: 0.013824848418642476 2.118 * [regime-testing]: End program error score: 0.013824848418642476 2.156 * [regime-testing]: Target error score: 0.013824848418642476