30.330 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.019 * * * [progress]: [2/2] Setting up program.
0.022 * [progress]: [Phase 2 of 3] Improving.
0.022 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x y) (/ (- x y) (* (* x 2.0) y)))>
0.022 * [simplify]: Simplifying:
  (/ (- x y) (* (* x 2.0) y))
0.022 * * [simplify]: iteration 0: 7 enodes
0.024 * * [simplify]: iteration 1: 18 enodes
0.029 * * [simplify]: iteration 2: 44 enodes
0.042 * * [simplify]: iteration 3: 71 enodes
0.059 * * [simplify]: iteration 4: 112 enodes
0.083 * * [simplify]: iteration 5: 152 enodes
0.122 * * [simplify]: iteration 6: 160 enodes
0.151 * * [simplify]: iteration 7: 162 enodes
0.175 * * [simplify]: iteration 8: 163 enodes
0.194 * * [simplify]: iteration complete: 163 enodes
0.194 * * [simplify]: Extracting #0: cost 1 inf + 0
0.194 * * [simplify]: Extracting #1: cost 18 inf + 0
0.194 * * [simplify]: Extracting #2: cost 33 inf + 45
0.194 * * [simplify]: Extracting #3: cost 7 inf + 1621
0.195 * * [simplify]: Extracting #4: cost 0 inf + 2239
0.196 * [simplify]: Simplified to:
  (/ (- x y) (* x (* 2.0 y)))
0.196 * * [progress]: iteration 1 / 4
0.196 * * * [progress]: picking best candidate
0.198 * * * * [pick]: Picked  #<alt (λ (x y) (/ (- x y) (* (* x 2.0) y)))>
0.198 * * * [progress]: localizing error
0.208 * * * [progress]: generating rewritten candidates
0.208 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.239 * * * [progress]: generating series expansions
0.239 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.239 * [backup-simplify]: Simplify (/ (- x y) (* (* x 2.0) y)) into (* 0.5 (/ (- x y) (* x y)))
0.239 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in (x y) around 0
0.239 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in y
0.239 * [taylor]: Taking taylor expansion of 0.5 in y
0.239 * [backup-simplify]: Simplify 0.5 into 0.5
0.239 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in y
0.239 * [taylor]: Taking taylor expansion of (- x y) in y
0.239 * [taylor]: Taking taylor expansion of x in y
0.239 * [backup-simplify]: Simplify x into x
0.239 * [taylor]: Taking taylor expansion of y in y
0.239 * [backup-simplify]: Simplify 0 into 0
0.239 * [backup-simplify]: Simplify 1 into 1
0.239 * [taylor]: Taking taylor expansion of (* x y) in y
0.239 * [taylor]: Taking taylor expansion of x in y
0.239 * [backup-simplify]: Simplify x into x
0.239 * [taylor]: Taking taylor expansion of y in y
0.239 * [backup-simplify]: Simplify 0 into 0
0.239 * [backup-simplify]: Simplify 1 into 1
0.240 * [backup-simplify]: Simplify (- 0) into 0
0.240 * [backup-simplify]: Simplify (+ x 0) into x
0.240 * [backup-simplify]: Simplify (* x 0) into 0
0.240 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
0.240 * [backup-simplify]: Simplify (/ x x) into 1
0.240 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in x
0.240 * [taylor]: Taking taylor expansion of 0.5 in x
0.240 * [backup-simplify]: Simplify 0.5 into 0.5
0.240 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in x
0.240 * [taylor]: Taking taylor expansion of (- x y) in x
0.240 * [taylor]: Taking taylor expansion of x in x
0.240 * [backup-simplify]: Simplify 0 into 0
0.240 * [backup-simplify]: Simplify 1 into 1
0.240 * [taylor]: Taking taylor expansion of y in x
0.240 * [backup-simplify]: Simplify y into y
0.240 * [taylor]: Taking taylor expansion of (* x y) in x
0.240 * [taylor]: Taking taylor expansion of x in x
0.240 * [backup-simplify]: Simplify 0 into 0
0.240 * [backup-simplify]: Simplify 1 into 1
0.240 * [taylor]: Taking taylor expansion of y in x
0.240 * [backup-simplify]: Simplify y into y
0.240 * [backup-simplify]: Simplify (- y) into (- y)
0.240 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
0.240 * [backup-simplify]: Simplify (* 0 y) into 0
0.241 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.241 * [backup-simplify]: Simplify (/ (- y) y) into -1
0.241 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in x
0.241 * [taylor]: Taking taylor expansion of 0.5 in x
0.241 * [backup-simplify]: Simplify 0.5 into 0.5
0.241 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in x
0.241 * [taylor]: Taking taylor expansion of (- x y) in x
0.241 * [taylor]: Taking taylor expansion of x in x
0.241 * [backup-simplify]: Simplify 0 into 0
0.241 * [backup-simplify]: Simplify 1 into 1
0.241 * [taylor]: Taking taylor expansion of y in x
0.241 * [backup-simplify]: Simplify y into y
0.241 * [taylor]: Taking taylor expansion of (* x y) in x
0.241 * [taylor]: Taking taylor expansion of x in x
0.241 * [backup-simplify]: Simplify 0 into 0
0.241 * [backup-simplify]: Simplify 1 into 1
0.241 * [taylor]: Taking taylor expansion of y in x
0.241 * [backup-simplify]: Simplify y into y
0.241 * [backup-simplify]: Simplify (- y) into (- y)
0.241 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
0.241 * [backup-simplify]: Simplify (* 0 y) into 0
0.241 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.241 * [backup-simplify]: Simplify (/ (- y) y) into -1
0.242 * [backup-simplify]: Simplify (* 0.5 -1) into -0.5
0.242 * [taylor]: Taking taylor expansion of -0.5 in y
0.242 * [backup-simplify]: Simplify -0.5 into -0.5
0.242 * [backup-simplify]: Simplify (- 0) into 0
0.243 * [backup-simplify]: Simplify (+ 1 0) into 1
0.243 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
0.244 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* -1 (/ 0 y)))) into (/ 1 y)
0.244 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 y)) (* 0 -1)) into (* 0.5 (/ 1 y))
0.244 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.244 * [taylor]: Taking taylor expansion of 0.5 in y
0.244 * [backup-simplify]: Simplify 0.5 into 0.5
0.244 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.244 * [taylor]: Taking taylor expansion of y in y
0.244 * [backup-simplify]: Simplify 0 into 0
0.244 * [backup-simplify]: Simplify 1 into 1
0.244 * [backup-simplify]: Simplify (/ 1 1) into 1
0.245 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
0.245 * [backup-simplify]: Simplify 0.5 into 0.5
0.245 * [backup-simplify]: Simplify -0.5 into -0.5
0.245 * [backup-simplify]: Simplify (- 0) into 0
0.246 * [backup-simplify]: Simplify (+ 0 0) into 0
0.247 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
0.247 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0
0.247 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ 1 y)) (* 0 -1))) into 0
0.248 * [taylor]: Taking taylor expansion of 0 in y
0.248 * [backup-simplify]: Simplify 0 into 0
0.248 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.249 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
0.249 * [backup-simplify]: Simplify 0 into 0
0.249 * [backup-simplify]: Simplify 0 into 0
0.249 * [backup-simplify]: Simplify (- 0) into 0
0.250 * [backup-simplify]: Simplify (+ 0 0) into 0
0.251 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
0.251 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.252 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1)))) into 0
0.252 * [taylor]: Taking taylor expansion of 0 in y
0.252 * [backup-simplify]: Simplify 0 into 0
0.252 * [backup-simplify]: Simplify 0 into 0
0.253 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.254 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
0.254 * [backup-simplify]: Simplify 0 into 0
0.254 * [backup-simplify]: Simplify 0 into 0
0.254 * [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 0) (+ (* 0 0) (* 0 y)))))) into 0
0.256 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.258 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1))))) into 0
0.258 * [taylor]: Taking taylor expansion of 0 in y
0.258 * [backup-simplify]: Simplify 0 into 0
0.258 * [backup-simplify]: Simplify 0 into 0
0.258 * [backup-simplify]: Simplify (+ (* -0.5 (* 1 (/ 1 x))) (* 0.5 (* (/ 1 y) 1))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
0.258 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 y)) (* (* (/ 1 x) 2.0) (/ 1 y))) into (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y)))))
0.258 * [approximate]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y))))) in (x y) around 0
0.258 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y))))) in y
0.258 * [taylor]: Taking taylor expansion of 0.5 in y
0.258 * [backup-simplify]: Simplify 0.5 into 0.5
0.258 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 x) (/ 1 y)))) in y
0.258 * [taylor]: Taking taylor expansion of x in y
0.258 * [backup-simplify]: Simplify x into x
0.258 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in y
0.258 * [taylor]: Taking taylor expansion of y in y
0.258 * [backup-simplify]: Simplify 0 into 0
0.258 * [backup-simplify]: Simplify 1 into 1
0.258 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.258 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.258 * [taylor]: Taking taylor expansion of x in y
0.258 * [backup-simplify]: Simplify x into x
0.258 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.258 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.258 * [taylor]: Taking taylor expansion of y in y
0.259 * [backup-simplify]: Simplify 0 into 0
0.259 * [backup-simplify]: Simplify 1 into 1
0.259 * [backup-simplify]: Simplify (/ 1 1) into 1
0.259 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y))))) in x
0.259 * [taylor]: Taking taylor expansion of 0.5 in x
0.259 * [backup-simplify]: Simplify 0.5 into 0.5
0.259 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 x) (/ 1 y)))) in x
0.259 * [taylor]: Taking taylor expansion of x in x
0.259 * [backup-simplify]: Simplify 0 into 0
0.259 * [backup-simplify]: Simplify 1 into 1
0.259 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in x
0.259 * [taylor]: Taking taylor expansion of y in x
0.259 * [backup-simplify]: Simplify y into y
0.259 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.259 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.259 * [taylor]: Taking taylor expansion of x in x
0.259 * [backup-simplify]: Simplify 0 into 0
0.259 * [backup-simplify]: Simplify 1 into 1
0.260 * [backup-simplify]: Simplify (/ 1 1) into 1
0.260 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.260 * [taylor]: Taking taylor expansion of y in x
0.260 * [backup-simplify]: Simplify y into y
0.260 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.260 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y))))) in x
0.260 * [taylor]: Taking taylor expansion of 0.5 in x
0.260 * [backup-simplify]: Simplify 0.5 into 0.5
0.260 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 x) (/ 1 y)))) in x
0.260 * [taylor]: Taking taylor expansion of x in x
0.260 * [backup-simplify]: Simplify 0 into 0
0.260 * [backup-simplify]: Simplify 1 into 1
0.260 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in x
0.260 * [taylor]: Taking taylor expansion of y in x
0.260 * [backup-simplify]: Simplify y into y
0.260 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.260 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.260 * [taylor]: Taking taylor expansion of x in x
0.260 * [backup-simplify]: Simplify 0 into 0
0.260 * [backup-simplify]: Simplify 1 into 1
0.260 * [backup-simplify]: Simplify (/ 1 1) into 1
0.260 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.260 * [taylor]: Taking taylor expansion of y in x
0.260 * [backup-simplify]: Simplify y into y
0.260 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.261 * [backup-simplify]: Simplify (+ 1 0) into 1
0.261 * [backup-simplify]: Simplify (* y 1) into y
0.261 * [backup-simplify]: Simplify (* 0 y) into 0
0.261 * [backup-simplify]: Simplify (* 0.5 0) into 0
0.261 * [taylor]: Taking taylor expansion of 0 in y
0.261 * [backup-simplify]: Simplify 0 into 0
0.262 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.262 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
0.262 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
0.262 * [backup-simplify]: Simplify (+ (* y (- (/ 1 y))) (* 0 1)) into (- 1)
0.262 * [backup-simplify]: Simplify (+ (* 0 (- 1)) (* 1 y)) into y
0.263 * [backup-simplify]: Simplify (+ (* 0.5 y) (* 0 0)) into (* 0.5 y)
0.263 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
0.263 * [taylor]: Taking taylor expansion of 0.5 in y
0.263 * [backup-simplify]: Simplify 0.5 into 0.5
0.263 * [taylor]: Taking taylor expansion of y in y
0.263 * [backup-simplify]: Simplify 0 into 0
0.263 * [backup-simplify]: Simplify 1 into 1
0.263 * [backup-simplify]: Simplify 0 into 0
0.264 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.264 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.264 * [backup-simplify]: Simplify (- 0) into 0
0.264 * [backup-simplify]: Simplify (+ 0 0) into 0
0.264 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (- (/ 1 y))) (* 0 1))) into 0
0.265 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (- 1)) (* 0 y))) into (- 1)
0.266 * [backup-simplify]: Simplify (+ (* 0.5 (- 1)) (+ (* 0 y) (* 0 0))) into (- 0.5)
0.266 * [taylor]: Taking taylor expansion of (- 0.5) 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 * [backup-simplify]: Simplify (* 0.5 0) into 0
0.266 * [backup-simplify]: Simplify 0 into 0
0.266 * [backup-simplify]: Simplify 0 into 0
0.267 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.267 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.267 * [backup-simplify]: Simplify (- 0) into 0
0.267 * [backup-simplify]: Simplify (+ 0 0) into 0
0.268 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))) into 0
0.269 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 (- 1)) (* 0 y)))) into 0
0.269 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0)))) into 0
0.269 * [taylor]: Taking taylor expansion of 0 in y
0.269 * [backup-simplify]: Simplify 0 into 0
0.270 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
0.270 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
0.271 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
0.271 * [backup-simplify]: Simplify 0.5 into 0.5
0.271 * [backup-simplify]: Simplify 0 into 0
0.271 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.272 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.272 * [backup-simplify]: Simplify (- 0) into 0
0.272 * [backup-simplify]: Simplify (+ 0 0) into 0
0.273 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1))))) into 0
0.274 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1)) (* 0 y))))) into 0
0.275 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0))))) into 0
0.275 * [taylor]: Taking taylor expansion of 0 in y
0.275 * [backup-simplify]: Simplify 0 into 0
0.275 * [backup-simplify]: Simplify 0 into 0
0.275 * [backup-simplify]: Simplify (- 0) into 0
0.275 * [backup-simplify]: Simplify 0 into 0
0.276 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
0.276 * [backup-simplify]: Simplify 0 into 0
0.276 * [backup-simplify]: Simplify 0 into 0
0.276 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.276 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.277 * [backup-simplify]: Simplify (- 0) into 0
0.277 * [backup-simplify]: Simplify (+ 0 0) into 0
0.278 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))))) into 0
0.279 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 1)) (* 0 y)))))) into 0
0.280 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0)))))) into 0
0.280 * [taylor]: Taking taylor expansion of 0 in y
0.280 * [backup-simplify]: Simplify 0 into 0
0.280 * [backup-simplify]: Simplify 0 into 0
0.281 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 y) 1)) (* (- 0.5) (* 1 (/ 1 x)))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
0.281 * [backup-simplify]: Simplify (/ (- (/ 1 (- x)) (/ 1 (- y))) (* (* (/ 1 (- x)) 2.0) (/ 1 (- y)))) into (* 0.5 (* (- (/ 1 y) (/ 1 x)) (* x y)))
0.281 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (/ 1 y) (/ 1 x)) (* x y))) in (x y) around 0
0.281 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 y) (/ 1 x)) (* x y))) in y
0.281 * [taylor]: Taking taylor expansion of 0.5 in y
0.281 * [backup-simplify]: Simplify 0.5 into 0.5
0.281 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (* x y)) in y
0.281 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.281 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.281 * [taylor]: Taking taylor expansion of y in y
0.281 * [backup-simplify]: Simplify 0 into 0
0.281 * [backup-simplify]: Simplify 1 into 1
0.281 * [backup-simplify]: Simplify (/ 1 1) into 1
0.281 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.281 * [taylor]: Taking taylor expansion of x in y
0.281 * [backup-simplify]: Simplify x into x
0.281 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.281 * [taylor]: Taking taylor expansion of (* x y) in y
0.281 * [taylor]: Taking taylor expansion of x in y
0.281 * [backup-simplify]: Simplify x into x
0.281 * [taylor]: Taking taylor expansion of y in y
0.281 * [backup-simplify]: Simplify 0 into 0
0.281 * [backup-simplify]: Simplify 1 into 1
0.281 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 y) (/ 1 x)) (* x y))) in x
0.282 * [taylor]: Taking taylor expansion of 0.5 in x
0.282 * [backup-simplify]: Simplify 0.5 into 0.5
0.282 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (* x y)) in x
0.282 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.282 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.282 * [taylor]: Taking taylor expansion of y in x
0.282 * [backup-simplify]: Simplify y into y
0.282 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.282 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.282 * [taylor]: Taking taylor expansion of x in x
0.282 * [backup-simplify]: Simplify 0 into 0
0.282 * [backup-simplify]: Simplify 1 into 1
0.282 * [backup-simplify]: Simplify (/ 1 1) into 1
0.282 * [taylor]: Taking taylor expansion of (* x y) in x
0.282 * [taylor]: Taking taylor expansion of x in x
0.282 * [backup-simplify]: Simplify 0 into 0
0.282 * [backup-simplify]: Simplify 1 into 1
0.282 * [taylor]: Taking taylor expansion of y in x
0.282 * [backup-simplify]: Simplify y into y
0.282 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 y) (/ 1 x)) (* x y))) in x
0.282 * [taylor]: Taking taylor expansion of 0.5 in x
0.282 * [backup-simplify]: Simplify 0.5 into 0.5
0.282 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (* x y)) in x
0.282 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.282 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.282 * [taylor]: Taking taylor expansion of y in x
0.282 * [backup-simplify]: Simplify y into y
0.282 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.282 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.282 * [taylor]: Taking taylor expansion of x in x
0.282 * [backup-simplify]: Simplify 0 into 0
0.282 * [backup-simplify]: Simplify 1 into 1
0.283 * [backup-simplify]: Simplify (/ 1 1) into 1
0.283 * [taylor]: Taking taylor expansion of (* x y) in x
0.283 * [taylor]: Taking taylor expansion of x in x
0.283 * [backup-simplify]: Simplify 0 into 0
0.283 * [backup-simplify]: Simplify 1 into 1
0.283 * [taylor]: Taking taylor expansion of y in x
0.283 * [backup-simplify]: Simplify y into y
0.283 * [backup-simplify]: Simplify (- 1) into -1
0.283 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.283 * [backup-simplify]: Simplify (* 0 y) into 0
0.284 * [backup-simplify]: Simplify (* -1 0) into 0
0.284 * [backup-simplify]: Simplify (* 0.5 0) into 0
0.284 * [taylor]: Taking taylor expansion of 0 in y
0.284 * [backup-simplify]: Simplify 0 into 0
0.284 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.285 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.285 * [backup-simplify]: Simplify (- 0) into 0
0.285 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
0.285 * [backup-simplify]: Simplify (+ (* -1 y) (* (/ 1 y) 0)) into (- y)
0.285 * [backup-simplify]: Simplify (+ (* 0.5 (- y)) (* 0 0)) into (- (* 0.5 y))
0.285 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y
0.285 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
0.285 * [taylor]: Taking taylor expansion of 0.5 in y
0.285 * [backup-simplify]: Simplify 0.5 into 0.5
0.285 * [taylor]: Taking taylor expansion of y in y
0.285 * [backup-simplify]: Simplify 0 into 0
0.285 * [backup-simplify]: Simplify 1 into 1
0.285 * [backup-simplify]: Simplify 0 into 0
0.286 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
0.286 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.286 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.287 * [backup-simplify]: Simplify (- 0) into 0
0.287 * [backup-simplify]: Simplify (+ 0 0) into 0
0.287 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) y) (* 0 0))) into 1
0.288 * [backup-simplify]: Simplify (+ (* 0.5 1) (+ (* 0 (- y)) (* 0 0))) into 0.5
0.288 * [taylor]: Taking taylor expansion of 0.5 in y
0.288 * [backup-simplify]: Simplify 0.5 into 0.5
0.288 * [backup-simplify]: Simplify (* 0.5 0) into 0
0.289 * [backup-simplify]: Simplify (- 0) into 0
0.289 * [backup-simplify]: Simplify 0 into 0
0.289 * [backup-simplify]: Simplify 0 into 0
0.289 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
0.289 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.290 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.290 * [backup-simplify]: Simplify (- 0) into 0
0.290 * [backup-simplify]: Simplify (+ 0 0) into 0
0.291 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 y) (* 0 0)))) into 0
0.292 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0)))) into 0
0.292 * [taylor]: Taking taylor expansion of 0 in y
0.292 * [backup-simplify]: Simplify 0 into 0
0.292 * [backup-simplify]: Simplify 0.5 into 0.5
0.293 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
0.293 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
0.293 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
0.293 * [backup-simplify]: Simplify 0 into 0
0.294 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
0.295 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.295 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.295 * [backup-simplify]: Simplify (- 0) into 0
0.296 * [backup-simplify]: Simplify (+ 0 0) into 0
0.296 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0
0.297 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0))))) into 0
0.297 * [taylor]: Taking taylor expansion of 0 in y
0.297 * [backup-simplify]: Simplify 0 into 0
0.297 * [backup-simplify]: Simplify 0 into 0
0.297 * [backup-simplify]: Simplify 0 into 0
0.298 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
0.298 * [backup-simplify]: Simplify (- 0) into 0
0.298 * [backup-simplify]: Simplify 0 into 0
0.298 * [backup-simplify]: Simplify 0 into 0
0.299 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
0.299 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.300 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.300 * [backup-simplify]: Simplify (- 0) into 0
0.300 * [backup-simplify]: Simplify (+ 0 0) into 0
0.301 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))))) into 0
0.304 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0)))))) into 0
0.305 * [taylor]: Taking taylor expansion of 0 in y
0.305 * [backup-simplify]: Simplify 0 into 0
0.305 * [backup-simplify]: Simplify 0 into 0
0.305 * [backup-simplify]: Simplify (+ (* (- 0.5) (* (/ 1 (- y)) 1)) (* 0.5 (* 1 (/ 1 (- x))))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
0.305 * * * [progress]: simplifying candidates
0.305 * * * * [progress]: [ 1 / 34 ] simplifiying candidate #<alt (λ (x y) (pow (/ (- x y) (* (* x 2.0) y)) 1))>
0.305 * * * * [progress]: [ 2 / 34 ] simplifiying candidate #<alt (λ (x y) (exp (- (log (- x y)) (+ (+ (log x) (log 2.0)) (log y)))))>
0.305 * * * * [progress]: [ 3 / 34 ] simplifiying candidate #<alt (λ (x y) (exp (- (log (- x y)) (+ (log (* x 2.0)) (log y)))))>
0.305 * * * * [progress]: [ 4 / 34 ] simplifiying candidate #<alt (λ (x y) (exp (- (log (- x y)) (log (* (* x 2.0) y)))))>
0.305 * * * * [progress]: [ 5 / 34 ] simplifiying candidate #<alt (λ (x y) (exp (log (/ (- x y) (* (* x 2.0) y)))))>
0.305 * * * * [progress]: [ 6 / 34 ] simplifiying candidate #<alt (λ (x y) (log (exp (/ (- x y) (* (* x 2.0) y)))))>
0.305 * * * * [progress]: [ 7 / 34 ] simplifiying candidate #<alt (λ (x y) (cbrt (/ (* (* (- x y) (- x y)) (- x y)) (* (* (* (* x x) x) (* (* 2.0 2.0) 2.0)) (* (* y y) y)))))>
0.305 * * * * [progress]: [ 8 / 34 ] simplifiying candidate #<alt (λ (x y) (cbrt (/ (* (* (- x y) (- x y)) (- x y)) (* (* (* (* x 2.0) (* x 2.0)) (* x 2.0)) (* (* y y) y)))))>
0.305 * * * * [progress]: [ 9 / 34 ] simplifiying candidate #<alt (λ (x y) (cbrt (/ (* (* (- x y) (- x y)) (- x y)) (* (* (* (* x 2.0) y) (* (* x 2.0) y)) (* (* x 2.0) y)))))>
0.305 * * * * [progress]: [ 10 / 34 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (/ (- x y) (* (* x 2.0) y))) (cbrt (/ (- x y) (* (* x 2.0) y)))) (cbrt (/ (- x y) (* (* x 2.0) y)))))>
0.305 * * * * [progress]: [ 11 / 34 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (/ (- x y) (* (* x 2.0) y)) (/ (- x y) (* (* x 2.0) y))) (/ (- x y) (* (* x 2.0) y)))))>
0.305 * * * * [progress]: [ 12 / 34 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (/ (- x y) (* (* x 2.0) y))) (sqrt (/ (- x y) (* (* x 2.0) y)))))>
0.306 * * * * [progress]: [ 13 / 34 ] simplifiying candidate #<alt (λ (x y) (/ (- (- x y)) (- (* (* x 2.0) y))))>
0.306 * * * * [progress]: [ 14 / 34 ] simplifiying candidate #<alt (λ (x y) (- (/ x (* (* x 2.0) y)) (/ y (* (* x 2.0) y))))>
0.306 * * * * [progress]: [ 15 / 34 ] simplifiying candidate #<alt (λ (x y) (* (/ (* (cbrt (- x y)) (cbrt (- x y))) (* x 2.0)) (/ (cbrt (- x y)) y)))>
0.306 * * * * [progress]: [ 16 / 34 ] simplifiying candidate #<alt (λ (x y) (* (/ (sqrt (- x y)) (* x 2.0)) (/ (sqrt (- x y)) y)))>
0.306 * * * * [progress]: [ 17 / 34 ] simplifiying candidate #<alt (λ (x y) (* (/ 1 (* x 2.0)) (/ (- x y) y)))>
0.306 * * * * [progress]: [ 18 / 34 ] simplifiying candidate #<alt (λ (x y) (* (/ (+ (sqrt x) (sqrt y)) (* x 2.0)) (/ (- (sqrt x) (sqrt y)) y)))>
0.306 * * * * [progress]: [ 19 / 34 ] simplifiying candidate #<alt (λ (x y) (* (/ 1 (* x 2.0)) (/ (- x y) y)))>
0.306 * * * * [progress]: [ 20 / 34 ] simplifiying candidate #<alt (λ (x y) (* 1 (/ (- x y) (* (* x 2.0) y))))>
0.306 * * * * [progress]: [ 21 / 34 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (/ 1 (* (* x 2.0) y))))>
0.306 * * * * [progress]: [ 22 / 34 ] simplifiying candidate #<alt (λ (x y) (/ 1 (/ (* (* x 2.0) y) (- x y))))>
0.306 * * * * [progress]: [ 23 / 34 ] simplifiying candidate #<alt (λ (x y) (/ (/ (- x y) (* x 2.0)) y))>
0.306 * * * * [progress]: [ 24 / 34 ] simplifiying candidate #<alt (λ (x y) (/ (* (cbrt (- x y)) (cbrt (- x y))) (/ (* (* x 2.0) y) (cbrt (- x y)))))>
0.306 * * * * [progress]: [ 25 / 34 ] simplifiying candidate #<alt (λ (x y) (/ (sqrt (- x y)) (/ (* (* x 2.0) y) (sqrt (- x y)))))>
0.306 * * * * [progress]: [ 26 / 34 ] simplifiying candidate #<alt (λ (x y) (/ 1 (/ (* (* x 2.0) y) (- x y))))>
0.306 * * * * [progress]: [ 27 / 34 ] simplifiying candidate #<alt (λ (x y) (/ (+ (sqrt x) (sqrt y)) (/ (* (* x 2.0) y) (- (sqrt x) (sqrt y)))))>
0.306 * * * * [progress]: [ 28 / 34 ] simplifiying candidate #<alt (λ (x y) (/ 1 (/ (* (* x 2.0) y) (- x y))))>
0.306 * * * * [progress]: [ 29 / 34 ] simplifiying candidate #<alt (λ (x y) (/ (- (pow x 3) (pow y 3)) (* (* (* x 2.0) y) (+ (* x x) (+ (* y y) (* x y))))))>
0.306 * * * * [progress]: [ 30 / 34 ] simplifiying candidate #<alt (λ (x y) (/ (- (* x x) (* y y)) (* (* (* x 2.0) y) (+ x y))))>
0.306 * * * * [progress]: [ 31 / 34 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (/ (- x y) (* (* x 2.0) y)))))>
0.306 * * * * [progress]: [ 32 / 34 ] simplifiying candidate #<alt (λ (x y) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))))>
0.306 * * * * [progress]: [ 33 / 34 ] simplifiying candidate #<alt (λ (x y) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))))>
0.306 * * * * [progress]: [ 34 / 34 ] simplifiying candidate #<alt (λ (x y) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))))>
0.307 * [simplify]: Simplifying:
  (- (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.307 * * [simplify]: iteration 0: 83 enodes
0.325 * * [simplify]: iteration 1: 232 enodes
0.419 * * [simplify]: iteration 2: 816 enodes
0.986 * * [simplify]: iteration complete: 5001 enodes
0.986 * * [simplify]: Extracting #0: cost 28 inf + 0
0.987 * * [simplify]: Extracting #1: cost 680 inf + 0
0.992 * * [simplify]: Extracting #2: cost 1646 inf + 2421
1.006 * * [simplify]: Extracting #3: cost 1365 inf + 79032
1.077 * * [simplify]: Extracting #4: cost 253 inf + 290063
1.175 * * [simplify]: Extracting #5: cost 14 inf + 335553
1.264 * * [simplify]: Extracting #6: cost 0 inf + 338126
1.353 * [simplify]: Simplified to:
  (log (/ (/ (- x y) y) (* 2.0 x)))
  (log (/ (/ (- x y) y) (* 2.0 x)))
  (log (/ (/ (- x y) y) (* 2.0 x)))
  (log (/ (/ (- x y) y) (* 2.0 x)))
  (exp (/ (/ (- x y) y) (* 2.0 x)))
  (* (* (/ (/ (- x y) y) (* 2.0 x)) (/ (/ (- x y) y) (* 2.0 x))) (/ (/ (- x y) y) (* 2.0 x)))
  (* (* (/ (/ (- x y) y) (* 2.0 x)) (/ (/ (- x y) y) (* 2.0 x))) (/ (/ (- x y) y) (* 2.0 x)))
  (* (* (/ (/ (- x y) y) (* 2.0 x)) (/ (/ (- x y) y) (* 2.0 x))) (/ (/ (- x y) y) (* 2.0 x)))
  (* (cbrt (/ (/ (- x y) y) (* 2.0 x))) (cbrt (/ (/ (- x y) y) (* 2.0 x))))
  (cbrt (/ (/ (- x y) y) (* 2.0 x)))
  (* (* (/ (/ (- x y) y) (* 2.0 x)) (/ (/ (- x y) y) (* 2.0 x))) (/ (/ (- x y) y) (* 2.0 x)))
  (sqrt (/ (/ (- x y) y) (* 2.0 x)))
  (sqrt (/ (/ (- x y) y) (* 2.0 x)))
  (+ (- x) y)
  (* y (* x (- 2.0)))
  (/ (/ 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)) x) 2.0)
  (/ (sqrt (- x y)) y)
  (/ 1 (* 2.0 x))
  (/ (- x y) y)
  (/ (+ (sqrt y) (sqrt x)) (* 2.0 x))
  (/ (- (sqrt x) (sqrt y)) y)
  (/ 1 (* 2.0 x))
  (/ (- x y) y)
  (/ (/ 1 (* 2.0 x)) y)
  (/ 2.0 (/ (- x y) (* x y)))
  (/ (- x y) (* 2.0 x))
  (/ (* (* 2.0 x) y) (cbrt (- x y)))
  (/ (* (* 2.0 x) y) (sqrt (- x y)))
  (/ 2.0 (/ (- x y) (* x y)))
  (/ (* 2.0 y) (/ (- (sqrt x) (sqrt y)) x))
  (/ 2.0 (/ (- x y) (* x y)))
  (* (* (* 2.0 x) (+ (* y y) (* x (+ y x)))) y)
  (* (* 2.0 x) (* y (+ x y)))
  (real->posit16 (/ (/ (- x y) y) (* 2.0 x)))
  (- (/ 0.5 y) (/ 0.5 x))
  (- (/ 0.5 y) (/ 0.5 x))
  (- (/ 0.5 y) (/ 0.5 x))
1.355 * * * [progress]: adding candidates to table
1.473 * * [progress]: iteration 2 / 4
1.473 * * * [progress]: picking best candidate
1.484 * * * * [pick]: Picked  #<alt (λ (x y) (- (/ 0.5 y) (/ 0.5 x)))>
1.485 * * * [progress]: localizing error
1.498 * * * [progress]: generating rewritten candidates
1.498 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.536 * * * [progress]: generating series expansions
1.536 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.536 * [backup-simplify]: Simplify (- (/ 0.5 y) (/ 0.5 x)) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
1.536 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in (y x) around 0
1.536 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in x
1.536 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
1.537 * [taylor]: Taking taylor expansion of 0.5 in x
1.537 * [backup-simplify]: Simplify 0.5 into 0.5
1.537 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.537 * [taylor]: Taking taylor expansion of y in x
1.537 * [backup-simplify]: Simplify y into y
1.537 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.537 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.537 * [taylor]: Taking taylor expansion of 0.5 in x
1.537 * [backup-simplify]: Simplify 0.5 into 0.5
1.537 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.537 * [taylor]: Taking taylor expansion of x in x
1.537 * [backup-simplify]: Simplify 0 into 0
1.537 * [backup-simplify]: Simplify 1 into 1
1.537 * [backup-simplify]: Simplify (/ 1 1) into 1
1.537 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in y
1.537 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
1.538 * [taylor]: Taking taylor expansion of 0.5 in y
1.538 * [backup-simplify]: Simplify 0.5 into 0.5
1.538 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.538 * [taylor]: Taking taylor expansion of y in y
1.538 * [backup-simplify]: Simplify 0 into 0
1.538 * [backup-simplify]: Simplify 1 into 1
1.538 * [backup-simplify]: Simplify (/ 1 1) into 1
1.538 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
1.538 * [taylor]: Taking taylor expansion of 0.5 in y
1.538 * [backup-simplify]: Simplify 0.5 into 0.5
1.538 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.538 * [taylor]: Taking taylor expansion of x in y
1.538 * [backup-simplify]: Simplify x into x
1.538 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.538 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in y
1.538 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
1.538 * [taylor]: Taking taylor expansion of 0.5 in y
1.538 * [backup-simplify]: Simplify 0.5 into 0.5
1.538 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.538 * [taylor]: Taking taylor expansion of y in y
1.538 * [backup-simplify]: Simplify 0 into 0
1.538 * [backup-simplify]: Simplify 1 into 1
1.539 * [backup-simplify]: Simplify (/ 1 1) into 1
1.539 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
1.539 * [taylor]: Taking taylor expansion of 0.5 in y
1.539 * [backup-simplify]: Simplify 0.5 into 0.5
1.539 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.539 * [taylor]: Taking taylor expansion of x in y
1.539 * [backup-simplify]: Simplify x into x
1.539 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.540 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
1.540 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5
1.540 * [taylor]: Taking taylor expansion of 0.5 in x
1.540 * [backup-simplify]: Simplify 0.5 into 0.5
1.541 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.541 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
1.542 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
1.542 * [backup-simplify]: Simplify (- (/ 0.5 x)) into (- (* 0.5 (/ 1 x)))
1.542 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ 1 x)))) into (- (* 0.5 (/ 1 x)))
1.542 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x))) in x
1.542 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.542 * [taylor]: Taking taylor expansion of 0.5 in x
1.542 * [backup-simplify]: Simplify 0.5 into 0.5
1.542 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.542 * [taylor]: Taking taylor expansion of x in x
1.542 * [backup-simplify]: Simplify 0 into 0
1.542 * [backup-simplify]: Simplify 1 into 1
1.542 * [backup-simplify]: Simplify (/ 1 1) into 1
1.543 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
1.543 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
1.543 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
1.543 * [backup-simplify]: Simplify 0.5 into 0.5
1.544 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.545 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
1.545 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.546 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 x))) into 0
1.546 * [backup-simplify]: Simplify (- 0) into 0
1.546 * [backup-simplify]: Simplify (+ 0 0) into 0
1.546 * [taylor]: Taking taylor expansion of 0 in x
1.546 * [backup-simplify]: Simplify 0 into 0
1.547 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.548 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
1.548 * [backup-simplify]: Simplify (- 0) into 0
1.548 * [backup-simplify]: Simplify 0 into 0
1.548 * [backup-simplify]: Simplify 0 into 0
1.549 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.550 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.550 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.551 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0
1.551 * [backup-simplify]: Simplify (- 0) into 0
1.552 * [backup-simplify]: Simplify (+ 0 0) into 0
1.552 * [taylor]: Taking taylor expansion of 0 in x
1.552 * [backup-simplify]: Simplify 0 into 0
1.552 * [backup-simplify]: Simplify 0 into 0
1.553 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.553 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
1.554 * [backup-simplify]: Simplify (- 0) into 0
1.554 * [backup-simplify]: Simplify 0 into 0
1.554 * [backup-simplify]: Simplify 0 into 0
1.555 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.556 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.556 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.557 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0
1.558 * [backup-simplify]: Simplify (- 0) into 0
1.558 * [backup-simplify]: Simplify (+ 0 0) into 0
1.558 * [taylor]: Taking taylor expansion of 0 in x
1.558 * [backup-simplify]: Simplify 0 into 0
1.558 * [backup-simplify]: Simplify 0 into 0
1.559 * [backup-simplify]: Simplify (+ (* 0.5 (* 1 (/ 1 y))) (* (- 0.5) (* (/ 1 x) 1))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
1.559 * [backup-simplify]: Simplify (- (/ 0.5 (/ 1 y)) (/ 0.5 (/ 1 x))) into (- (* 0.5 y) (* 0.5 x))
1.559 * [approximate]: Taking taylor expansion of (- (* 0.5 y) (* 0.5 x)) in (y x) around 0
1.559 * [taylor]: Taking taylor expansion of (- (* 0.5 y) (* 0.5 x)) in x
1.559 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
1.559 * [taylor]: Taking taylor expansion of 0.5 in x
1.559 * [backup-simplify]: Simplify 0.5 into 0.5
1.559 * [taylor]: Taking taylor expansion of y in x
1.559 * [backup-simplify]: Simplify y into y
1.559 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.559 * [taylor]: Taking taylor expansion of 0.5 in x
1.559 * [backup-simplify]: Simplify 0.5 into 0.5
1.559 * [taylor]: Taking taylor expansion of x in x
1.559 * [backup-simplify]: Simplify 0 into 0
1.559 * [backup-simplify]: Simplify 1 into 1
1.559 * [taylor]: Taking taylor expansion of (- (* 0.5 y) (* 0.5 x)) in y
1.559 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
1.559 * [taylor]: Taking taylor expansion of 0.5 in y
1.559 * [backup-simplify]: Simplify 0.5 into 0.5
1.559 * [taylor]: Taking taylor expansion of y in y
1.559 * [backup-simplify]: Simplify 0 into 0
1.559 * [backup-simplify]: Simplify 1 into 1
1.559 * [taylor]: Taking taylor expansion of (* 0.5 x) in y
1.559 * [taylor]: Taking taylor expansion of 0.5 in y
1.559 * [backup-simplify]: Simplify 0.5 into 0.5
1.559 * [taylor]: Taking taylor expansion of x in y
1.559 * [backup-simplify]: Simplify x into x
1.559 * [taylor]: Taking taylor expansion of (- (* 0.5 y) (* 0.5 x)) in y
1.559 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
1.559 * [taylor]: Taking taylor expansion of 0.5 in y
1.559 * [backup-simplify]: Simplify 0.5 into 0.5
1.559 * [taylor]: Taking taylor expansion of y in y
1.560 * [backup-simplify]: Simplify 0 into 0
1.560 * [backup-simplify]: Simplify 1 into 1
1.560 * [taylor]: Taking taylor expansion of (* 0.5 x) in y
1.560 * [taylor]: Taking taylor expansion of 0.5 in y
1.560 * [backup-simplify]: Simplify 0.5 into 0.5
1.560 * [taylor]: Taking taylor expansion of x in y
1.560 * [backup-simplify]: Simplify x into x
1.560 * [backup-simplify]: Simplify (* 0.5 0) into 0
1.560 * [backup-simplify]: Simplify (* 0.5 x) into (* 0.5 x)
1.560 * [backup-simplify]: Simplify (- (* 0.5 x)) into (- (* 0.5 x))
1.560 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 x))) into (- (* 0.5 x))
1.560 * [taylor]: Taking taylor expansion of (- (* 0.5 x)) in x
1.560 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.560 * [taylor]: Taking taylor expansion of 0.5 in x
1.560 * [backup-simplify]: Simplify 0.5 into 0.5
1.560 * [taylor]: Taking taylor expansion of x in x
1.560 * [backup-simplify]: Simplify 0 into 0
1.561 * [backup-simplify]: Simplify 1 into 1
1.561 * [backup-simplify]: Simplify (* 0.5 0) into 0
1.562 * [backup-simplify]: Simplify (- 0) into 0
1.562 * [backup-simplify]: Simplify 0 into 0
1.563 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
1.563 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 x)) into 0
1.564 * [backup-simplify]: Simplify (- 0) into 0
1.564 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5
1.564 * [taylor]: Taking taylor expansion of 0.5 in x
1.564 * [backup-simplify]: Simplify 0.5 into 0.5
1.564 * [backup-simplify]: Simplify 0.5 into 0.5
1.565 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
1.566 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
1.566 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
1.567 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
1.568 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 x))) into 0
1.568 * [backup-simplify]: Simplify (- 0) into 0
1.568 * [backup-simplify]: Simplify (+ 0 0) into 0
1.568 * [taylor]: Taking taylor expansion of 0 in x
1.569 * [backup-simplify]: Simplify 0 into 0
1.569 * [backup-simplify]: Simplify 0 into 0
1.569 * [backup-simplify]: Simplify 0 into 0
1.569 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
1.570 * [backup-simplify]: Simplify (- 0) into 0
1.570 * [backup-simplify]: Simplify 0 into 0
1.571 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.572 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
1.572 * [backup-simplify]: Simplify (- 0) into 0
1.573 * [backup-simplify]: Simplify (+ 0 0) into 0
1.573 * [taylor]: Taking taylor expansion of 0 in x
1.573 * [backup-simplify]: Simplify 0 into 0
1.573 * [backup-simplify]: Simplify 0 into 0
1.573 * [backup-simplify]: Simplify 0 into 0
1.573 * [backup-simplify]: Simplify 0 into 0
1.573 * [backup-simplify]: Simplify (+ (* (- 0.5) (* (/ 1 x) 1)) (* 0.5 (* 1 (/ 1 y)))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
1.573 * [backup-simplify]: Simplify (- (/ 0.5 (/ 1 (- y))) (/ 0.5 (/ 1 (- x)))) into (- (* 0.5 x) (* 0.5 y))
1.574 * [approximate]: Taking taylor expansion of (- (* 0.5 x) (* 0.5 y)) in (y x) around 0
1.574 * [taylor]: Taking taylor expansion of (- (* 0.5 x) (* 0.5 y)) in x
1.574 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.574 * [taylor]: Taking taylor expansion of 0.5 in x
1.574 * [backup-simplify]: Simplify 0.5 into 0.5
1.574 * [taylor]: Taking taylor expansion of x in x
1.574 * [backup-simplify]: Simplify 0 into 0
1.574 * [backup-simplify]: Simplify 1 into 1
1.574 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
1.574 * [taylor]: Taking taylor expansion of 0.5 in x
1.574 * [backup-simplify]: Simplify 0.5 into 0.5
1.574 * [taylor]: Taking taylor expansion of y in x
1.574 * [backup-simplify]: Simplify y into y
1.574 * [taylor]: Taking taylor expansion of (- (* 0.5 x) (* 0.5 y)) in y
1.574 * [taylor]: Taking taylor expansion of (* 0.5 x) in y
1.574 * [taylor]: Taking taylor expansion of 0.5 in y
1.574 * [backup-simplify]: Simplify 0.5 into 0.5
1.574 * [taylor]: Taking taylor expansion of x in y
1.574 * [backup-simplify]: Simplify x into x
1.574 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
1.574 * [taylor]: Taking taylor expansion of 0.5 in y
1.574 * [backup-simplify]: Simplify 0.5 into 0.5
1.574 * [taylor]: Taking taylor expansion of y in y
1.574 * [backup-simplify]: Simplify 0 into 0
1.574 * [backup-simplify]: Simplify 1 into 1
1.574 * [taylor]: Taking taylor expansion of (- (* 0.5 x) (* 0.5 y)) in y
1.574 * [taylor]: Taking taylor expansion of (* 0.5 x) in y
1.574 * [taylor]: Taking taylor expansion of 0.5 in y
1.574 * [backup-simplify]: Simplify 0.5 into 0.5
1.574 * [taylor]: Taking taylor expansion of x in y
1.574 * [backup-simplify]: Simplify x into x
1.574 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
1.574 * [taylor]: Taking taylor expansion of 0.5 in y
1.574 * [backup-simplify]: Simplify 0.5 into 0.5
1.574 * [taylor]: Taking taylor expansion of y in y
1.574 * [backup-simplify]: Simplify 0 into 0
1.574 * [backup-simplify]: Simplify 1 into 1
1.575 * [backup-simplify]: Simplify (* 0.5 x) into (* 0.5 x)
1.575 * [backup-simplify]: Simplify (* 0.5 0) into 0
1.575 * [backup-simplify]: Simplify (- 0) into 0
1.575 * [backup-simplify]: Simplify (+ (* 0.5 x) 0) into (* 0.5 x)
1.575 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.575 * [taylor]: Taking taylor expansion of 0.5 in x
1.575 * [backup-simplify]: Simplify 0.5 into 0.5
1.575 * [taylor]: Taking taylor expansion of x in x
1.576 * [backup-simplify]: Simplify 0 into 0
1.576 * [backup-simplify]: Simplify 1 into 1
1.576 * [backup-simplify]: Simplify (* 0.5 0) into 0
1.576 * [backup-simplify]: Simplify 0 into 0
1.576 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 x)) into 0
1.578 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
1.578 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
1.579 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5)
1.579 * [taylor]: Taking taylor expansion of (- 0.5) in x
1.579 * [taylor]: Taking taylor expansion of 0.5 in x
1.579 * [backup-simplify]: Simplify 0.5 into 0.5
1.579 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
1.580 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
1.581 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
1.581 * [backup-simplify]: Simplify 0.5 into 0.5
1.582 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 x))) into 0
1.583 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
1.583 * [backup-simplify]: Simplify (- 0) into 0
1.583 * [backup-simplify]: Simplify (+ 0 0) into 0
1.583 * [taylor]: Taking taylor expansion of 0 in x
1.583 * [backup-simplify]: Simplify 0 into 0
1.583 * [backup-simplify]: Simplify 0 into 0
1.584 * [backup-simplify]: Simplify (- 0) into 0
1.584 * [backup-simplify]: Simplify 0 into 0
1.585 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
1.585 * [backup-simplify]: Simplify 0 into 0
1.586 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
1.587 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.587 * [backup-simplify]: Simplify (- 0) into 0
1.587 * [backup-simplify]: Simplify (+ 0 0) into 0
1.587 * [taylor]: Taking taylor expansion of 0 in x
1.587 * [backup-simplify]: Simplify 0 into 0
1.587 * [backup-simplify]: Simplify 0 into 0
1.587 * [backup-simplify]: Simplify 0 into 0
1.588 * [backup-simplify]: Simplify (- 0) into 0
1.588 * [backup-simplify]: Simplify 0 into 0
1.588 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 (- x)) 1)) (* (- 0.5) (* 1 (/ 1 (- y))))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
1.588 * * * [progress]: simplifying candidates
1.588 * * * * [progress]: [ 1 / 26 ] simplifiying candidate #<alt (λ (x y) (log (/ (exp (/ 0.5 y)) (exp (/ 0.5 x)))))>
1.589 * * * * [progress]: [ 2 / 26 ] simplifiying candidate #<alt (λ (x y) (pow (- (/ 0.5 y) (/ 0.5 x)) 1))>
1.589 * * * * [progress]: [ 3 / 26 ] simplifiying candidate #<alt (λ (x y) (exp (log (- (/ 0.5 y) (/ 0.5 x)))))>
1.589 * * * * [progress]: [ 4 / 26 ] simplifiying candidate #<alt (λ (x y) (log (exp (- (/ 0.5 y) (/ 0.5 x)))))>
1.589 * * * * [progress]: [ 5 / 26 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (- (/ 0.5 y) (/ 0.5 x))) (cbrt (- (/ 0.5 y) (/ 0.5 x)))) (cbrt (- (/ 0.5 y) (/ 0.5 x)))))>
1.589 * * * * [progress]: [ 6 / 26 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (- (/ 0.5 y) (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x))) (- (/ 0.5 y) (/ 0.5 x)))))>
1.589 * * * * [progress]: [ 7 / 26 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (- (/ 0.5 y) (/ 0.5 x))) (sqrt (- (/ 0.5 y) (/ 0.5 x)))))>
1.589 * * * * [progress]: [ 8 / 26 ] simplifiying candidate #<alt (λ (x y) (/ (- (* 0.5 x) (* y 0.5)) (* y x)))>
1.589 * * * * [progress]: [ 9 / 26 ] simplifiying candidate #<alt (λ (x y) (/ (- (pow (/ 0.5 y) 3) (pow (/ 0.5 x) 3)) (+ (* (/ 0.5 y) (/ 0.5 y)) (+ (* (/ 0.5 x) (/ 0.5 x)) (* (/ 0.5 y) (/ 0.5 x))))))>
1.589 * * * * [progress]: [ 10 / 26 ] simplifiying candidate #<alt (λ (x y) (+ (/ 0.5 y) (- (/ 0.5 x))))>
1.589 * * * * [progress]: [ 11 / 26 ] simplifiying candidate #<alt (λ (x y) (* 1 (- (/ 0.5 y) (/ 0.5 x))))>
1.589 * * * * [progress]: [ 12 / 26 ] simplifiying candidate #<alt (λ (x y) (/ (- (* (/ 0.5 y) (/ 0.5 y)) (* (/ 0.5 x) (/ 0.5 x))) (+ (/ 0.5 y) (/ 0.5 x))))>
1.589 * * * * [progress]: [ 13 / 26 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (/ 0.5 y)) (sqrt (/ 0.5 x))) (- (sqrt (/ 0.5 y)) (sqrt (/ 0.5 x)))))>
1.589 * * * * [progress]: [ 14 / 26 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (/ 0.5 y)) (/ (sqrt 0.5) (sqrt x))) (- (sqrt (/ 0.5 y)) (/ (sqrt 0.5) (sqrt x)))))>
1.589 * * * * [progress]: [ 15 / 26 ] simplifiying candidate #<alt (λ (x y) (* (+ (/ (sqrt 0.5) (sqrt y)) (sqrt (/ 0.5 x))) (- (/ (sqrt 0.5) (sqrt y)) (sqrt (/ 0.5 x)))))>
1.589 * * * * [progress]: [ 16 / 26 ] simplifiying candidate #<alt (λ (x y) (* (+ (/ (sqrt 0.5) (sqrt y)) (/ (sqrt 0.5) (sqrt x))) (- (/ (sqrt 0.5) (sqrt y)) (/ (sqrt 0.5) (sqrt x)))))>
1.589 * * * * [progress]: [ 17 / 26 ] simplifiying candidate #<alt (λ (x y) (* (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (- (/ (cbrt 0.5) y) (/ (cbrt 0.5) x))))>
1.589 * * * * [progress]: [ 18 / 26 ] simplifiying candidate #<alt (λ (x y) (* (/ (sqrt 0.5) 1) (- (/ (sqrt 0.5) y) (/ (sqrt 0.5) x))))>
1.590 * * * * [progress]: [ 19 / 26 ] simplifiying candidate #<alt (λ (x y) (* (/ 1 1) (- (/ 0.5 y) (/ 0.5 x))))>
1.590 * * * * [progress]: [ 20 / 26 ] simplifiying candidate #<alt (λ (x y) (* 1 (- (/ 0.5 y) (/ 0.5 x))))>
1.590 * * * * [progress]: [ 21 / 26 ] simplifiying candidate #<alt (λ (x y) (* 0.5 (- (/ 1 y) (/ 1 x))))>
1.590 * * * * [progress]: [ 22 / 26 ] simplifiying candidate #<alt (λ (x y) (+ (/ 0.5 y) (- (/ 0.5 x))))>
1.590 * * * * [progress]: [ 23 / 26 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (- (/ 0.5 y) (/ 0.5 x)))))>
1.590 * * * * [progress]: [ 24 / 26 ] simplifiying candidate #<alt (λ (x y) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))))>
1.590 * * * * [progress]: [ 25 / 26 ] simplifiying candidate #<alt (λ (x y) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))))>
1.590 * * * * [progress]: [ 26 / 26 ] simplifiying candidate #<alt (λ (x y) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))))>
1.591 * [simplify]: Simplifying:
  (/ (exp (/ 0.5 y)) (exp (/ 0.5 x)))
  (log (- (/ 0.5 y) (/ 0.5 x)))
  (exp (- (/ 0.5 y) (/ 0.5 x)))
  (* (cbrt (- (/ 0.5 y) (/ 0.5 x))) (cbrt (- (/ 0.5 y) (/ 0.5 x))))
  (cbrt (- (/ 0.5 y) (/ 0.5 x)))
  (* (* (- (/ 0.5 y) (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x))) (- (/ 0.5 y) (/ 0.5 x)))
  (sqrt (- (/ 0.5 y) (/ 0.5 x)))
  (sqrt (- (/ 0.5 y) (/ 0.5 x)))
  (- (* 0.5 x) (* y 0.5))
  (* y x)
  (- (pow (/ 0.5 y) 3) (pow (/ 0.5 x) 3))
  (+ (* (/ 0.5 y) (/ 0.5 y)) (+ (* (/ 0.5 x) (/ 0.5 x)) (* (/ 0.5 y) (/ 0.5 x))))
  (- (/ 0.5 x))
  (- (* (/ 0.5 y) (/ 0.5 y)) (* (/ 0.5 x) (/ 0.5 x)))
  (+ (/ 0.5 y) (/ 0.5 x))
  (+ (sqrt (/ 0.5 y)) (sqrt (/ 0.5 x)))
  (- (sqrt (/ 0.5 y)) (sqrt (/ 0.5 x)))
  (+ (sqrt (/ 0.5 y)) (/ (sqrt 0.5) (sqrt x)))
  (- (sqrt (/ 0.5 y)) (/ (sqrt 0.5) (sqrt x)))
  (+ (/ (sqrt 0.5) (sqrt y)) (sqrt (/ 0.5 x)))
  (- (/ (sqrt 0.5) (sqrt y)) (sqrt (/ 0.5 x)))
  (+ (/ (sqrt 0.5) (sqrt y)) (/ (sqrt 0.5) (sqrt x)))
  (- (/ (sqrt 0.5) (sqrt y)) (/ (sqrt 0.5) (sqrt x)))
  (- (/ (cbrt 0.5) y) (/ (cbrt 0.5) x))
  (- (/ (sqrt 0.5) y) (/ (sqrt 0.5) x))
  (- (/ 0.5 y) (/ 0.5 x))
  (- (/ 0.5 y) (/ 0.5 x))
  (- (/ 1 y) (/ 1 x))
  (- (/ 0.5 x))
  (real->posit16 (- (/ 0.5 y) (/ 0.5 x)))
  (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
  (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
  (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
1.591 * * [simplify]: iteration 0: 62 enodes
1.616 * * [simplify]: iteration 1: 135 enodes
1.669 * * [simplify]: iteration 2: 349 enodes
1.824 * * [simplify]: iteration 3: 972 enodes
2.108 * * [simplify]: iteration complete: 5000 enodes
2.108 * * [simplify]: Extracting #0: cost 26 inf + 0
2.109 * * [simplify]: Extracting #1: cost 294 inf + 0
2.112 * * [simplify]: Extracting #2: cost 1241 inf + 968
2.122 * * [simplify]: Extracting #3: cost 1658 inf + 40528
2.157 * * [simplify]: Extracting #4: cost 551 inf + 199534
2.212 * * [simplify]: Extracting #5: cost 84 inf + 306276
2.275 * * [simplify]: Extracting #6: cost 1 inf + 332051
2.353 * * [simplify]: Extracting #7: cost 0 inf + 332345
2.434 * [simplify]: Simplified to:
  (exp (- (/ 0.5 y) (/ 0.5 x)))
  (log (- (/ 0.5 y) (/ 0.5 x)))
  (exp (- (/ 0.5 y) (/ 0.5 x)))
  (* (cbrt (- (/ 0.5 y) (/ 0.5 x))) (cbrt (- (/ 0.5 y) (/ 0.5 x))))
  (cbrt (- (/ 0.5 y) (/ 0.5 x)))
  (* (* (- (/ 0.5 y) (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x))) (- (/ 0.5 y) (/ 0.5 x)))
  (sqrt (- (/ 0.5 y) (/ 0.5 x)))
  (sqrt (- (/ 0.5 y) (/ 0.5 x)))
  (* 0.5 (- x y))
  (* y x)
  (- (* (* (/ 0.5 y) (/ 0.5 y)) (/ 0.5 y)) (* (* (/ 0.5 x) (/ 0.5 x)) (/ 0.5 x)))
  (+ (* (/ 0.5 x) (+ (/ 0.5 x) (/ 0.5 y))) (* (/ 0.5 y) (/ 0.5 y)))
  (- (/ 0.5 x))
  (* (+ (/ 0.5 x) (/ 0.5 y)) (- (/ 0.5 y) (/ 0.5 x)))
  (+ (/ 0.5 x) (/ 0.5 y))
  (+ (sqrt (/ 0.5 x)) (sqrt (/ 0.5 y)))
  (- (sqrt (/ 0.5 y)) (sqrt (/ 0.5 x)))
  (+ (sqrt (/ 0.5 y)) (/ (sqrt 0.5) (sqrt x)))
  (- (sqrt (/ 0.5 y)) (/ (sqrt 0.5) (sqrt x)))
  (+ (sqrt (/ 0.5 x)) (/ (sqrt 0.5) (sqrt y)))
  (- (/ (sqrt 0.5) (sqrt y)) (sqrt (/ 0.5 x)))
  (+ (/ (sqrt 0.5) (sqrt x)) (/ (sqrt 0.5) (sqrt y)))
  (- (/ (sqrt 0.5) (sqrt y)) (/ (sqrt 0.5) (sqrt x)))
  (- (/ (cbrt 0.5) y) (/ (cbrt 0.5) x))
  (- (/ (sqrt 0.5) y) (/ (sqrt 0.5) x))
  (- (/ 0.5 y) (/ 0.5 x))
  (- (/ 0.5 y) (/ 0.5 x))
  (- (/ 1 y) (/ 1 x))
  (- (/ 0.5 x))
  (real->posit16 (- (/ 0.5 y) (/ 0.5 x)))
  (- (/ 0.5 y) (/ 0.5 x))
  (- (/ 0.5 y) (/ 0.5 x))
  (- (/ 0.5 y) (/ 0.5 x))
2.435 * * * [progress]: adding candidates to table
2.518 * * [progress]: iteration 3 / 4
2.518 * * * [progress]: picking best candidate
2.522 * * * * [pick]: Picked  #<alt (λ (x y) (* (/ 1 (* x 2.0)) (/ (- x y) y)))>
2.522 * * * [progress]: localizing error
2.536 * * * [progress]: generating rewritten candidates
2.536 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
2.613 * * * [progress]: generating series expansions
2.613 * * * * [progress]: [ 1 / 1 ] generating series at (2)
2.614 * [backup-simplify]: Simplify (* (/ 1 (* x 2.0)) (/ (- x y) y)) into (* 0.5 (/ (- x y) (* x y)))
2.614 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in (x y) around 0
2.614 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in y
2.614 * [taylor]: Taking taylor expansion of 0.5 in y
2.614 * [backup-simplify]: Simplify 0.5 into 0.5
2.614 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in y
2.614 * [taylor]: Taking taylor expansion of (- x y) in y
2.614 * [taylor]: Taking taylor expansion of x in y
2.614 * [backup-simplify]: Simplify x into x
2.614 * [taylor]: Taking taylor expansion of y in y
2.614 * [backup-simplify]: Simplify 0 into 0
2.614 * [backup-simplify]: Simplify 1 into 1
2.614 * [taylor]: Taking taylor expansion of (* x y) in y
2.614 * [taylor]: Taking taylor expansion of x in y
2.614 * [backup-simplify]: Simplify x into x
2.614 * [taylor]: Taking taylor expansion of y in y
2.614 * [backup-simplify]: Simplify 0 into 0
2.614 * [backup-simplify]: Simplify 1 into 1
2.615 * [backup-simplify]: Simplify (- 0) into 0
2.615 * [backup-simplify]: Simplify (+ x 0) into x
2.615 * [backup-simplify]: Simplify (* x 0) into 0
2.615 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
2.615 * [backup-simplify]: Simplify (/ x x) into 1
2.615 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in x
2.615 * [taylor]: Taking taylor expansion of 0.5 in x
2.615 * [backup-simplify]: Simplify 0.5 into 0.5
2.616 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in x
2.616 * [taylor]: Taking taylor expansion of (- x y) in x
2.616 * [taylor]: Taking taylor expansion of x in x
2.616 * [backup-simplify]: Simplify 0 into 0
2.616 * [backup-simplify]: Simplify 1 into 1
2.616 * [taylor]: Taking taylor expansion of y in x
2.616 * [backup-simplify]: Simplify y into y
2.616 * [taylor]: Taking taylor expansion of (* x y) in x
2.616 * [taylor]: Taking taylor expansion of x in x
2.616 * [backup-simplify]: Simplify 0 into 0
2.616 * [backup-simplify]: Simplify 1 into 1
2.616 * [taylor]: Taking taylor expansion of y in x
2.616 * [backup-simplify]: Simplify y into y
2.616 * [backup-simplify]: Simplify (- y) into (- y)
2.616 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
2.616 * [backup-simplify]: Simplify (* 0 y) into 0
2.616 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.616 * [backup-simplify]: Simplify (/ (- y) y) into -1
2.616 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in x
2.616 * [taylor]: Taking taylor expansion of 0.5 in x
2.616 * [backup-simplify]: Simplify 0.5 into 0.5
2.616 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in x
2.616 * [taylor]: Taking taylor expansion of (- x y) in x
2.617 * [taylor]: Taking taylor expansion of x in x
2.617 * [backup-simplify]: Simplify 0 into 0
2.617 * [backup-simplify]: Simplify 1 into 1
2.617 * [taylor]: Taking taylor expansion of y in x
2.617 * [backup-simplify]: Simplify y into y
2.617 * [taylor]: Taking taylor expansion of (* x y) in x
2.617 * [taylor]: Taking taylor expansion of x in x
2.617 * [backup-simplify]: Simplify 0 into 0
2.617 * [backup-simplify]: Simplify 1 into 1
2.617 * [taylor]: Taking taylor expansion of y in x
2.617 * [backup-simplify]: Simplify y into y
2.617 * [backup-simplify]: Simplify (- y) into (- y)
2.617 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
2.617 * [backup-simplify]: Simplify (* 0 y) into 0
2.617 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.617 * [backup-simplify]: Simplify (/ (- y) y) into -1
2.618 * [backup-simplify]: Simplify (* 0.5 -1) into -0.5
2.618 * [taylor]: Taking taylor expansion of -0.5 in y
2.618 * [backup-simplify]: Simplify -0.5 into -0.5
2.618 * [backup-simplify]: Simplify (- 0) into 0
2.619 * [backup-simplify]: Simplify (+ 1 0) into 1
2.619 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
2.620 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* -1 (/ 0 y)))) into (/ 1 y)
2.620 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 y)) (* 0 -1)) into (* 0.5 (/ 1 y))
2.620 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
2.620 * [taylor]: Taking taylor expansion of 0.5 in y
2.620 * [backup-simplify]: Simplify 0.5 into 0.5
2.620 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.620 * [taylor]: Taking taylor expansion of y in y
2.620 * [backup-simplify]: Simplify 0 into 0
2.620 * [backup-simplify]: Simplify 1 into 1
2.621 * [backup-simplify]: Simplify (/ 1 1) into 1
2.621 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
2.621 * [backup-simplify]: Simplify 0.5 into 0.5
2.621 * [backup-simplify]: Simplify -0.5 into -0.5
2.621 * [backup-simplify]: Simplify (- 0) into 0
2.622 * [backup-simplify]: Simplify (+ 0 0) into 0
2.623 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
2.623 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0
2.624 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ 1 y)) (* 0 -1))) into 0
2.624 * [taylor]: Taking taylor expansion of 0 in y
2.624 * [backup-simplify]: Simplify 0 into 0
2.625 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.626 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
2.626 * [backup-simplify]: Simplify 0 into 0
2.626 * [backup-simplify]: Simplify 0 into 0
2.626 * [backup-simplify]: Simplify (- 0) into 0
2.626 * [backup-simplify]: Simplify (+ 0 0) into 0
2.628 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
2.628 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.629 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1)))) into 0
2.629 * [taylor]: Taking taylor expansion of 0 in y
2.629 * [backup-simplify]: Simplify 0 into 0
2.629 * [backup-simplify]: Simplify 0 into 0
2.630 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.631 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
2.631 * [backup-simplify]: Simplify 0 into 0
2.631 * [backup-simplify]: Simplify 0 into 0
2.631 * [backup-simplify]: Simplify (- 0) into 0
2.632 * [backup-simplify]: Simplify (+ 0 0) into 0
2.633 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
2.633 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.635 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1))))) into 0
2.635 * [taylor]: Taking taylor expansion of 0 in y
2.635 * [backup-simplify]: Simplify 0 into 0
2.635 * [backup-simplify]: Simplify 0 into 0
2.635 * [backup-simplify]: Simplify (+ (* -0.5 (* 1 (/ 1 x))) (* 0.5 (* (/ 1 y) 1))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
2.635 * [backup-simplify]: Simplify (* (/ 1 (* (/ 1 x) 2.0)) (/ (- (/ 1 x) (/ 1 y)) (/ 1 y))) into (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y)))))
2.635 * [approximate]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y))))) in (x y) around 0
2.635 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y))))) in y
2.635 * [taylor]: Taking taylor expansion of 0.5 in y
2.635 * [backup-simplify]: Simplify 0.5 into 0.5
2.635 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 x) (/ 1 y)))) in y
2.635 * [taylor]: Taking taylor expansion of x in y
2.636 * [backup-simplify]: Simplify x into x
2.636 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in y
2.636 * [taylor]: Taking taylor expansion of y in y
2.636 * [backup-simplify]: Simplify 0 into 0
2.636 * [backup-simplify]: Simplify 1 into 1
2.636 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
2.636 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.636 * [taylor]: Taking taylor expansion of x in y
2.636 * [backup-simplify]: Simplify x into x
2.636 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.636 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.636 * [taylor]: Taking taylor expansion of y in y
2.636 * [backup-simplify]: Simplify 0 into 0
2.636 * [backup-simplify]: Simplify 1 into 1
2.636 * [backup-simplify]: Simplify (/ 1 1) into 1
2.636 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y))))) in x
2.636 * [taylor]: Taking taylor expansion of 0.5 in x
2.636 * [backup-simplify]: Simplify 0.5 into 0.5
2.636 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 x) (/ 1 y)))) in x
2.636 * [taylor]: Taking taylor expansion of x in x
2.636 * [backup-simplify]: Simplify 0 into 0
2.636 * [backup-simplify]: Simplify 1 into 1
2.636 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in x
2.636 * [taylor]: Taking taylor expansion of y in x
2.636 * [backup-simplify]: Simplify y into y
2.636 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
2.637 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.637 * [taylor]: Taking taylor expansion of x in x
2.637 * [backup-simplify]: Simplify 0 into 0
2.637 * [backup-simplify]: Simplify 1 into 1
2.637 * [backup-simplify]: Simplify (/ 1 1) into 1
2.637 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.637 * [taylor]: Taking taylor expansion of y in x
2.637 * [backup-simplify]: Simplify y into y
2.637 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.637 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y))))) in x
2.637 * [taylor]: Taking taylor expansion of 0.5 in x
2.637 * [backup-simplify]: Simplify 0.5 into 0.5
2.637 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 x) (/ 1 y)))) in x
2.637 * [taylor]: Taking taylor expansion of x in x
2.637 * [backup-simplify]: Simplify 0 into 0
2.637 * [backup-simplify]: Simplify 1 into 1
2.637 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in x
2.637 * [taylor]: Taking taylor expansion of y in x
2.637 * [backup-simplify]: Simplify y into y
2.637 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
2.637 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.637 * [taylor]: Taking taylor expansion of x in x
2.637 * [backup-simplify]: Simplify 0 into 0
2.637 * [backup-simplify]: Simplify 1 into 1
2.638 * [backup-simplify]: Simplify (/ 1 1) into 1
2.638 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.638 * [taylor]: Taking taylor expansion of y in x
2.638 * [backup-simplify]: Simplify y into y
2.638 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.638 * [backup-simplify]: Simplify (+ 1 0) into 1
2.638 * [backup-simplify]: Simplify (* y 1) into y
2.638 * [backup-simplify]: Simplify (* 0 y) into 0
2.639 * [backup-simplify]: Simplify (* 0.5 0) into 0
2.639 * [taylor]: Taking taylor expansion of 0 in y
2.639 * [backup-simplify]: Simplify 0 into 0
2.640 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.640 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.640 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
2.640 * [backup-simplify]: Simplify (+ (* y (- (/ 1 y))) (* 0 1)) into (- 1)
2.641 * [backup-simplify]: Simplify (+ (* 0 (- 1)) (* 1 y)) into y
2.641 * [backup-simplify]: Simplify (+ (* 0.5 y) (* 0 0)) into (* 0.5 y)
2.641 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
2.641 * [taylor]: Taking taylor expansion of 0.5 in y
2.641 * [backup-simplify]: Simplify 0.5 into 0.5
2.641 * [taylor]: Taking taylor expansion of y in y
2.641 * [backup-simplify]: Simplify 0 into 0
2.641 * [backup-simplify]: Simplify 1 into 1
2.642 * [backup-simplify]: Simplify 0 into 0
2.642 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.643 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.643 * [backup-simplify]: Simplify (- 0) into 0
2.643 * [backup-simplify]: Simplify (+ 0 0) into 0
2.644 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (- (/ 1 y))) (* 0 1))) into 0
2.645 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (- 1)) (* 0 y))) into (- 1)
2.646 * [backup-simplify]: Simplify (+ (* 0.5 (- 1)) (+ (* 0 y) (* 0 0))) into (- 0.5)
2.646 * [taylor]: Taking taylor expansion of (- 0.5) in y
2.646 * [taylor]: Taking taylor expansion of 0.5 in y
2.646 * [backup-simplify]: Simplify 0.5 into 0.5
2.646 * [backup-simplify]: Simplify (* 0.5 0) into 0
2.646 * [backup-simplify]: Simplify 0 into 0
2.646 * [backup-simplify]: Simplify 0 into 0
2.647 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.647 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.648 * [backup-simplify]: Simplify (- 0) into 0
2.648 * [backup-simplify]: Simplify (+ 0 0) into 0
2.649 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))) into 0
2.650 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 (- 1)) (* 0 y)))) into 0
2.652 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0)))) into 0
2.652 * [taylor]: Taking taylor expansion of 0 in y
2.652 * [backup-simplify]: Simplify 0 into 0
2.652 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
2.652 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
2.654 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
2.654 * [backup-simplify]: Simplify 0.5 into 0.5
2.654 * [backup-simplify]: Simplify 0 into 0
2.655 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.655 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.655 * [backup-simplify]: Simplify (- 0) into 0
2.656 * [backup-simplify]: Simplify (+ 0 0) into 0
2.657 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1))))) into 0
2.659 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1)) (* 0 y))))) into 0
2.660 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0))))) into 0
2.660 * [taylor]: Taking taylor expansion of 0 in y
2.660 * [backup-simplify]: Simplify 0 into 0
2.661 * [backup-simplify]: Simplify 0 into 0
2.661 * [backup-simplify]: Simplify (- 0) into 0
2.661 * [backup-simplify]: Simplify 0 into 0
2.662 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
2.662 * [backup-simplify]: Simplify 0 into 0
2.662 * [backup-simplify]: Simplify 0 into 0
2.663 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.663 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.664 * [backup-simplify]: Simplify (- 0) into 0
2.664 * [backup-simplify]: Simplify (+ 0 0) into 0
2.666 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))))) into 0
2.668 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 1)) (* 0 y)))))) into 0
2.670 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0)))))) into 0
2.670 * [taylor]: Taking taylor expansion of 0 in y
2.670 * [backup-simplify]: Simplify 0 into 0
2.670 * [backup-simplify]: Simplify 0 into 0
2.670 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 y) 1)) (* (- 0.5) (* 1 (/ 1 x)))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
2.671 * [backup-simplify]: Simplify (* (/ 1 (* (/ 1 (- x)) 2.0)) (/ (- (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- y)))) into (* 0.5 (* x (* (- (/ 1 y) (/ 1 x)) y)))
2.671 * [approximate]: Taking taylor expansion of (* 0.5 (* x (* (- (/ 1 y) (/ 1 x)) y))) in (x y) around 0
2.671 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* (- (/ 1 y) (/ 1 x)) y))) in y
2.671 * [taylor]: Taking taylor expansion of 0.5 in y
2.671 * [backup-simplify]: Simplify 0.5 into 0.5
2.671 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 y) (/ 1 x)) y)) in y
2.671 * [taylor]: Taking taylor expansion of x in y
2.671 * [backup-simplify]: Simplify x into x
2.671 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) y) in y
2.671 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
2.671 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.671 * [taylor]: Taking taylor expansion of y in y
2.671 * [backup-simplify]: Simplify 0 into 0
2.671 * [backup-simplify]: Simplify 1 into 1
2.672 * [backup-simplify]: Simplify (/ 1 1) into 1
2.672 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.672 * [taylor]: Taking taylor expansion of x in y
2.672 * [backup-simplify]: Simplify x into x
2.672 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.672 * [taylor]: Taking taylor expansion of y in y
2.672 * [backup-simplify]: Simplify 0 into 0
2.672 * [backup-simplify]: Simplify 1 into 1
2.672 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* (- (/ 1 y) (/ 1 x)) y))) in x
2.672 * [taylor]: Taking taylor expansion of 0.5 in x
2.672 * [backup-simplify]: Simplify 0.5 into 0.5
2.672 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 y) (/ 1 x)) y)) in x
2.672 * [taylor]: Taking taylor expansion of x in x
2.672 * [backup-simplify]: Simplify 0 into 0
2.672 * [backup-simplify]: Simplify 1 into 1
2.672 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) y) in x
2.672 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
2.672 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.672 * [taylor]: Taking taylor expansion of y in x
2.672 * [backup-simplify]: Simplify y into y
2.672 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.672 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.672 * [taylor]: Taking taylor expansion of x in x
2.672 * [backup-simplify]: Simplify 0 into 0
2.672 * [backup-simplify]: Simplify 1 into 1
2.675 * [backup-simplify]: Simplify (/ 1 1) into 1
2.675 * [taylor]: Taking taylor expansion of y in x
2.675 * [backup-simplify]: Simplify y into y
2.675 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* (- (/ 1 y) (/ 1 x)) y))) in x
2.675 * [taylor]: Taking taylor expansion of 0.5 in x
2.675 * [backup-simplify]: Simplify 0.5 into 0.5
2.675 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 y) (/ 1 x)) y)) in x
2.675 * [taylor]: Taking taylor expansion of x in x
2.675 * [backup-simplify]: Simplify 0 into 0
2.675 * [backup-simplify]: Simplify 1 into 1
2.675 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) y) in x
2.675 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
2.675 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.675 * [taylor]: Taking taylor expansion of y in x
2.675 * [backup-simplify]: Simplify y into y
2.675 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.675 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.675 * [taylor]: Taking taylor expansion of x in x
2.675 * [backup-simplify]: Simplify 0 into 0
2.675 * [backup-simplify]: Simplify 1 into 1
2.676 * [backup-simplify]: Simplify (/ 1 1) into 1
2.676 * [taylor]: Taking taylor expansion of y in x
2.676 * [backup-simplify]: Simplify y into y
2.676 * [backup-simplify]: Simplify (- 1) into -1
2.676 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.676 * [backup-simplify]: Simplify (* -1 y) into (* -1 y)
2.676 * [backup-simplify]: Simplify (* 0 (* -1 y)) into 0
2.677 * [backup-simplify]: Simplify (* 0.5 0) into 0
2.677 * [taylor]: Taking taylor expansion of 0 in y
2.677 * [backup-simplify]: Simplify 0 into 0
2.678 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.678 * [backup-simplify]: Simplify (- 0) into 0
2.678 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
2.679 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 y) y)) into 1
2.679 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 (* -1 y))) into (- y)
2.679 * [backup-simplify]: Simplify (+ (* 0.5 (- y)) (* 0 0)) into (- (* 0.5 y))
2.680 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y
2.680 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
2.680 * [taylor]: Taking taylor expansion of 0.5 in y
2.680 * [backup-simplify]: Simplify 0.5 into 0.5
2.680 * [taylor]: Taking taylor expansion of y in y
2.680 * [backup-simplify]: Simplify 0 into 0
2.680 * [backup-simplify]: Simplify 1 into 1
2.680 * [backup-simplify]: Simplify 0 into 0
2.680 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.681 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.681 * [backup-simplify]: Simplify (- 0) into 0
2.682 * [backup-simplify]: Simplify (+ 0 0) into 0
2.682 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (* 0 y))) into 0
2.683 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 (* -1 y)))) into 1
2.684 * [backup-simplify]: Simplify (+ (* 0.5 1) (+ (* 0 (- y)) (* 0 0))) into 0.5
2.684 * [taylor]: Taking taylor expansion of 0.5 in y
2.684 * [backup-simplify]: Simplify 0.5 into 0.5
2.684 * [backup-simplify]: Simplify (* 0.5 0) into 0
2.685 * [backup-simplify]: Simplify (- 0) into 0
2.685 * [backup-simplify]: Simplify 0 into 0
2.685 * [backup-simplify]: Simplify 0 into 0
2.685 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.686 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.686 * [backup-simplify]: Simplify (- 0) into 0
2.686 * [backup-simplify]: Simplify (+ 0 0) into 0
2.687 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 y)))) into 0
2.688 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 (* -1 y))))) into 0
2.689 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0)))) into 0
2.689 * [taylor]: Taking taylor expansion of 0 in y
2.689 * [backup-simplify]: Simplify 0 into 0
2.689 * [backup-simplify]: Simplify 0.5 into 0.5
2.690 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
2.691 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
2.691 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
2.691 * [backup-simplify]: Simplify 0 into 0
2.691 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.692 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.693 * [backup-simplify]: Simplify (- 0) into 0
2.693 * [backup-simplify]: Simplify (+ 0 0) into 0
2.694 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
2.696 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 (* -1 y)))))) into 0
2.697 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0))))) into 0
2.697 * [taylor]: Taking taylor expansion of 0 in y
2.697 * [backup-simplify]: Simplify 0 into 0
2.697 * [backup-simplify]: Simplify 0 into 0
2.697 * [backup-simplify]: Simplify 0 into 0
2.698 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
2.698 * [backup-simplify]: Simplify (- 0) into 0
2.698 * [backup-simplify]: Simplify 0 into 0
2.698 * [backup-simplify]: Simplify 0 into 0
2.699 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.699 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.700 * [backup-simplify]: Simplify (- 0) into 0
2.700 * [backup-simplify]: Simplify (+ 0 0) into 0
2.702 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
2.703 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (* -1 y))))))) into 0
2.705 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0)))))) into 0
2.705 * [taylor]: Taking taylor expansion of 0 in y
2.705 * [backup-simplify]: Simplify 0 into 0
2.705 * [backup-simplify]: Simplify 0 into 0
2.706 * [backup-simplify]: Simplify (+ (* (- 0.5) (* (/ 1 (- y)) 1)) (* 0.5 (* 1 (/ 1 (- x))))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
2.706 * * * [progress]: simplifying candidates
2.706 * * * * [progress]: [ 1 / 64 ] simplifiying candidate #<alt (λ (x y) (pow (* (/ 1 (* x 2.0)) (/ (- x y) y)) 1))>
2.706 * * * * [progress]: [ 2 / 64 ] simplifiying candidate #<alt (λ (x y) (pow (* (/ 1 (* x 2.0)) (/ (- x y) y)) 1))>
2.706 * * * * [progress]: [ 3 / 64 ] simplifiying candidate #<alt (λ (x y) (exp (+ (- (+ (log x) (log 2.0))) (- (log (- x y)) (log y)))))>
2.706 * * * * [progress]: [ 4 / 64 ] simplifiying candidate #<alt (λ (x y) (exp (+ (- (+ (log x) (log 2.0))) (log (/ (- x y) y)))))>
2.706 * * * * [progress]: [ 5 / 64 ] simplifiying candidate #<alt (λ (x y) (exp (+ (- (log (* x 2.0))) (- (log (- x y)) (log y)))))>
2.706 * * * * [progress]: [ 6 / 64 ] simplifiying candidate #<alt (λ (x y) (exp (+ (- (log (* x 2.0))) (log (/ (- x y) y)))))>
2.707 * * * * [progress]: [ 7 / 64 ] simplifiying candidate #<alt (λ (x y) (exp (+ (- 0 (+ (log x) (log 2.0))) (- (log (- x y)) (log y)))))>
2.707 * * * * [progress]: [ 8 / 64 ] simplifiying candidate #<alt (λ (x y) (exp (+ (- 0 (+ (log x) (log 2.0))) (log (/ (- x y) y)))))>
2.707 * * * * [progress]: [ 9 / 64 ] simplifiying candidate #<alt (λ (x y) (exp (+ (- 0 (log (* x 2.0))) (- (log (- x y)) (log y)))))>
2.707 * * * * [progress]: [ 10 / 64 ] simplifiying candidate #<alt (λ (x y) (exp (+ (- 0 (log (* x 2.0))) (log (/ (- x y) y)))))>
2.707 * * * * [progress]: [ 11 / 64 ] simplifiying candidate #<alt (λ (x y) (exp (+ (- (log 1) (+ (log x) (log 2.0))) (- (log (- x y)) (log y)))))>
2.707 * * * * [progress]: [ 12 / 64 ] simplifiying candidate #<alt (λ (x y) (exp (+ (- (log 1) (+ (log x) (log 2.0))) (log (/ (- x y) y)))))>
2.707 * * * * [progress]: [ 13 / 64 ] simplifiying candidate #<alt (λ (x y) (exp (+ (- (log 1) (log (* x 2.0))) (- (log (- x y)) (log y)))))>
2.707 * * * * [progress]: [ 14 / 64 ] simplifiying candidate #<alt (λ (x y) (exp (+ (- (log 1) (log (* x 2.0))) (log (/ (- x y) y)))))>
2.707 * * * * [progress]: [ 15 / 64 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log (/ 1 (* x 2.0))) (- (log (- x y)) (log y)))))>
2.707 * * * * [progress]: [ 16 / 64 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log (/ 1 (* x 2.0))) (log (/ (- x y) y)))))>
2.707 * * * * [progress]: [ 17 / 64 ] simplifiying candidate #<alt (λ (x y) (exp (log (* (/ 1 (* x 2.0)) (/ (- x y) y)))))>
2.707 * * * * [progress]: [ 18 / 64 ] simplifiying candidate #<alt (λ (x y) (log (exp (* (/ 1 (* x 2.0)) (/ (- x y) y)))))>
2.707 * * * * [progress]: [ 19 / 64 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (/ (* (* 1 1) 1) (* (* (* x x) x) (* (* 2.0 2.0) 2.0))) (/ (* (* (- x y) (- x y)) (- x y)) (* (* y y) y)))))>
2.707 * * * * [progress]: [ 20 / 64 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (/ (* (* 1 1) 1) (* (* (* x x) x) (* (* 2.0 2.0) 2.0))) (* (* (/ (- x y) y) (/ (- x y) y)) (/ (- x y) y)))))>
2.707 * * * * [progress]: [ 21 / 64 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (/ (* (* 1 1) 1) (* (* (* x 2.0) (* x 2.0)) (* x 2.0))) (/ (* (* (- x y) (- x y)) (- x y)) (* (* y y) y)))))>
2.707 * * * * [progress]: [ 22 / 64 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (/ (* (* 1 1) 1) (* (* (* x 2.0) (* x 2.0)) (* x 2.0))) (* (* (/ (- x y) y) (/ (- x y) y)) (/ (- x y) y)))))>
2.708 * * * * [progress]: [ 23 / 64 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (/ 1 (* x 2.0)) (/ 1 (* x 2.0))) (/ 1 (* x 2.0))) (/ (* (* (- x y) (- x y)) (- x y)) (* (* y y) y)))))>
2.708 * * * * [progress]: [ 24 / 64 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (/ 1 (* x 2.0)) (/ 1 (* x 2.0))) (/ 1 (* x 2.0))) (* (* (/ (- x y) y) (/ (- x y) y)) (/ (- x y) y)))))>
2.708 * * * * [progress]: [ 25 / 64 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (* (/ 1 (* x 2.0)) (/ (- x y) y))) (cbrt (* (/ 1 (* x 2.0)) (/ (- x y) y)))) (cbrt (* (/ 1 (* x 2.0)) (/ (- x y) y)))))>
2.708 * * * * [progress]: [ 26 / 64 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (/ 1 (* x 2.0)) (/ (- x y) y)) (* (/ 1 (* x 2.0)) (/ (- x y) y))) (* (/ 1 (* x 2.0)) (/ (- x y) y)))))>
2.708 * * * * [progress]: [ 27 / 64 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (* (/ 1 (* x 2.0)) (/ (- x y) y))) (sqrt (* (/ 1 (* x 2.0)) (/ (- x y) y)))))>
2.708 * * * * [progress]: [ 28 / 64 ] simplifiying candidate #<alt (λ (x y) (/ (* 1 (- x y)) (* (* x 2.0) y)))>
2.708 * * * * [progress]: [ 29 / 64 ] simplifiying candidate #<alt (λ (x y) (* 1 (* (/ 1 (* x 2.0)) (/ (- x y) y))))>
2.708 * * * * [progress]: [ 30 / 64 ] simplifiying candidate #<alt (λ (x y) (* (* (sqrt (/ 1 (* x 2.0))) (sqrt (/ (- x y) y))) (* (sqrt (/ 1 (* x 2.0))) (sqrt (/ (- x y) y)))))>
2.708 * * * * [progress]: [ 31 / 64 ] simplifiying candidate #<alt (λ (x y) (* (* (sqrt (/ 1 (* x 2.0))) (/ (sqrt (- x y)) (sqrt y))) (* (sqrt (/ 1 (* x 2.0))) (/ (sqrt (- x y)) (sqrt y)))))>
2.708 * * * * [progress]: [ 32 / 64 ] simplifiying candidate #<alt (λ (x y) (* (* (/ 1 (* x 2.0)) (* (cbrt (/ (- x y) y)) (cbrt (/ (- x y) y)))) (cbrt (/ (- x y) y))))>
2.708 * * * * [progress]: [ 33 / 64 ] simplifiying candidate #<alt (λ (x y) (* (* (/ 1 (* x 2.0)) (sqrt (/ (- x y) y))) (sqrt (/ (- x y) y))))>
2.708 * * * * [progress]: [ 34 / 64 ] simplifiying candidate #<alt (λ (x y) (* (* (/ 1 (* x 2.0)) (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt y) (cbrt y)))) (/ (cbrt (- x y)) (cbrt y))))>
2.708 * * * * [progress]: [ 35 / 64 ] simplifiying candidate #<alt (λ (x y) (* (* (/ 1 (* x 2.0)) (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt y))) (/ (cbrt (- x y)) (sqrt y))))>
2.708 * * * * [progress]: [ 36 / 64 ] simplifiying candidate #<alt (λ (x y) (* (* (/ 1 (* x 2.0)) (/ (* (cbrt (- x y)) (cbrt (- x y))) 1)) (/ (cbrt (- x y)) y)))>
2.708 * * * * [progress]: [ 37 / 64 ] simplifiying candidate #<alt (λ (x y) (* (* (/ 1 (* x 2.0)) (/ (sqrt (- x y)) (* (cbrt y) (cbrt y)))) (/ (sqrt (- x y)) (cbrt y))))>
2.709 * * * * [progress]: [ 38 / 64 ] simplifiying candidate #<alt (λ (x y) (* (* (/ 1 (* x 2.0)) (/ (sqrt (- x y)) (sqrt y))) (/ (sqrt (- x y)) (sqrt y))))>
2.709 * * * * [progress]: [ 39 / 64 ] simplifiying candidate #<alt (λ (x y) (* (* (/ 1 (* x 2.0)) (/ (sqrt (- x y)) 1)) (/ (sqrt (- x y)) y)))>
2.709 * * * * [progress]: [ 40 / 64 ] simplifiying candidate #<alt (λ (x y) (* (* (/ 1 (* x 2.0)) (/ 1 (* (cbrt y) (cbrt y)))) (/ (- x y) (cbrt y))))>
2.709 * * * * [progress]: [ 41 / 64 ] simplifiying candidate #<alt (λ (x y) (* (* (/ 1 (* x 2.0)) (/ 1 (sqrt y))) (/ (- x y) (sqrt y))))>
2.709 * * * * [progress]: [ 42 / 64 ] simplifiying candidate #<alt (λ (x y) (* (* (/ 1 (* x 2.0)) (/ 1 1)) (/ (- x y) y)))>
2.709 * * * * [progress]: [ 43 / 64 ] simplifiying candidate #<alt (λ (x y) (* (* (/ 1 (* x 2.0)) (/ (+ (sqrt x) (sqrt y)) (* (cbrt y) (cbrt y)))) (/ (- (sqrt x) (sqrt y)) (cbrt y))))>
2.709 * * * * [progress]: [ 44 / 64 ] simplifiying candidate #<alt (λ (x y) (* (* (/ 1 (* x 2.0)) (/ (+ (sqrt x) (sqrt y)) (sqrt y))) (/ (- (sqrt x) (sqrt y)) (sqrt y))))>
2.709 * * * * [progress]: [ 45 / 64 ] simplifiying candidate #<alt (λ (x y) (* (* (/ 1 (* x 2.0)) (/ (+ (sqrt x) (sqrt y)) 1)) (/ (- (sqrt x) (sqrt y)) y)))>
2.709 * * * * [progress]: [ 46 / 64 ] simplifiying candidate #<alt (λ (x y) (* (* (/ 1 (* x 2.0)) (/ 1 (* (cbrt y) (cbrt y)))) (/ (- x y) (cbrt y))))>
2.709 * * * * [progress]: [ 47 / 64 ] simplifiying candidate #<alt (λ (x y) (* (* (/ 1 (* x 2.0)) (/ 1 (sqrt y))) (/ (- x y) (sqrt y))))>
2.709 * * * * [progress]: [ 48 / 64 ] simplifiying candidate #<alt (λ (x y) (* (* (/ 1 (* x 2.0)) (/ 1 1)) (/ (- x y) y)))>
2.709 * * * * [progress]: [ 49 / 64 ] simplifiying candidate #<alt (λ (x y) (* (* (/ 1 (* x 2.0)) 1) (/ (- x y) y)))>
2.709 * * * * [progress]: [ 50 / 64 ] simplifiying candidate #<alt (λ (x y) (* (* (/ 1 (* x 2.0)) (- x y)) (/ 1 y)))>
2.709 * * * * [progress]: [ 51 / 64 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (/ 1 (* x 2.0))) (cbrt (/ 1 (* x 2.0)))) (* (cbrt (/ 1 (* x 2.0))) (/ (- x y) y))))>
2.709 * * * * [progress]: [ 52 / 64 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (/ 1 (* x 2.0))) (* (sqrt (/ 1 (* x 2.0))) (/ (- x y) y))))>
2.709 * * * * [progress]: [ 53 / 64 ] simplifiying candidate #<alt (λ (x y) (* (/ (* (cbrt 1) (cbrt 1)) x) (* (/ (cbrt 1) 2.0) (/ (- x y) y))))>
2.709 * * * * [progress]: [ 54 / 64 ] simplifiying candidate #<alt (λ (x y) (* (/ (sqrt 1) x) (* (/ (sqrt 1) 2.0) (/ (- x y) y))))>
2.709 * * * * [progress]: [ 55 / 64 ] simplifiying candidate #<alt (λ (x y) (* (/ 1 x) (* (/ 1 2.0) (/ (- x y) y))))>
2.709 * * * * [progress]: [ 56 / 64 ] simplifiying candidate #<alt (λ (x y) (* 1 (* (/ 1 (* x 2.0)) (/ (- x y) y))))>
2.709 * * * * [progress]: [ 57 / 64 ] simplifiying candidate #<alt (λ (x y) (* 1 (* (/ 1 (* x 2.0)) (/ (- x y) y))))>
2.709 * * * * [progress]: [ 58 / 64 ] simplifiying candidate #<alt (λ (x y) (/ (* (/ 1 (* x 2.0)) (- x y)) y))>
2.710 * * * * [progress]: [ 59 / 64 ] simplifiying candidate #<alt (λ (x y) (/ (* 1 (/ (- x y) y)) (* x 2.0)))>
2.710 * * * * [progress]: [ 60 / 64 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (* (/ 1 (* x 2.0)) (/ (- x y) y)))))>
2.710 * * * * [progress]: [ 61 / 64 ] simplifiying candidate #<alt (λ (x y) (* (/ (- x y) y) (/ 1 (* x 2.0))))>
2.710 * * * * [progress]: [ 62 / 64 ] simplifiying candidate #<alt (λ (x y) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))))>
2.710 * * * * [progress]: [ 63 / 64 ] simplifiying candidate #<alt (λ (x y) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))))>
2.710 * * * * [progress]: [ 64 / 64 ] simplifiying candidate #<alt (λ (x y) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))))>
2.710 * [simplify]: Simplifying:
  (* (/ 1 (* x 2.0)) (/ (- x y) y))
  (+ (- (+ (log x) (log 2.0))) (- (log (- x y)) (log y)))
  (+ (- (+ (log x) (log 2.0))) (log (/ (- x y) y)))
  (+ (- (log (* x 2.0))) (- (log (- x y)) (log y)))
  (+ (- (log (* x 2.0))) (log (/ (- x y) y)))
  (+ (- 0 (+ (log x) (log 2.0))) (- (log (- x y)) (log y)))
  (+ (- 0 (+ (log x) (log 2.0))) (log (/ (- x y) y)))
  (+ (- 0 (log (* x 2.0))) (- (log (- x y)) (log y)))
  (+ (- 0 (log (* x 2.0))) (log (/ (- x y) y)))
  (+ (- (log 1) (+ (log x) (log 2.0))) (- (log (- x y)) (log y)))
  (+ (- (log 1) (+ (log x) (log 2.0))) (log (/ (- x y) y)))
  (+ (- (log 1) (log (* x 2.0))) (- (log (- x y)) (log y)))
  (+ (- (log 1) (log (* x 2.0))) (log (/ (- x y) y)))
  (+ (log (/ 1 (* x 2.0))) (- (log (- x y)) (log y)))
  (+ (log (/ 1 (* x 2.0))) (log (/ (- x y) y)))
  (log (* (/ 1 (* x 2.0)) (/ (- x y) y)))
  (exp (* (/ 1 (* x 2.0)) (/ (- x y) y)))
  (* (/ (* (* 1 1) 1) (* (* (* x x) x) (* (* 2.0 2.0) 2.0))) (/ (* (* (- x y) (- x y)) (- x y)) (* (* y y) y)))
  (* (/ (* (* 1 1) 1) (* (* (* x x) x) (* (* 2.0 2.0) 2.0))) (* (* (/ (- x y) y) (/ (- x y) y)) (/ (- x y) y)))
  (* (/ (* (* 1 1) 1) (* (* (* x 2.0) (* x 2.0)) (* x 2.0))) (/ (* (* (- x y) (- x y)) (- x y)) (* (* y y) y)))
  (* (/ (* (* 1 1) 1) (* (* (* x 2.0) (* x 2.0)) (* x 2.0))) (* (* (/ (- x y) y) (/ (- x y) y)) (/ (- x y) y)))
  (* (* (* (/ 1 (* x 2.0)) (/ 1 (* x 2.0))) (/ 1 (* x 2.0))) (/ (* (* (- x y) (- x y)) (- x y)) (* (* y y) y)))
  (* (* (* (/ 1 (* x 2.0)) (/ 1 (* x 2.0))) (/ 1 (* x 2.0))) (* (* (/ (- x y) y) (/ (- x y) y)) (/ (- x y) y)))
  (* (cbrt (* (/ 1 (* x 2.0)) (/ (- x y) y))) (cbrt (* (/ 1 (* x 2.0)) (/ (- x y) y))))
  (cbrt (* (/ 1 (* x 2.0)) (/ (- x y) y)))
  (* (* (* (/ 1 (* x 2.0)) (/ (- x y) y)) (* (/ 1 (* x 2.0)) (/ (- x y) y))) (* (/ 1 (* x 2.0)) (/ (- x y) y)))
  (sqrt (* (/ 1 (* x 2.0)) (/ (- x y) y)))
  (sqrt (* (/ 1 (* x 2.0)) (/ (- x y) y)))
  (* 1 (- x y))
  (* (* x 2.0) y)
  (* (sqrt (/ 1 (* x 2.0))) (sqrt (/ (- x y) y)))
  (* (sqrt (/ 1 (* x 2.0))) (sqrt (/ (- x y) y)))
  (* (sqrt (/ 1 (* x 2.0))) (/ (sqrt (- x y)) (sqrt y)))
  (* (sqrt (/ 1 (* x 2.0))) (/ (sqrt (- x y)) (sqrt y)))
  (* (/ 1 (* x 2.0)) (* (cbrt (/ (- x y) y)) (cbrt (/ (- x y) y))))
  (* (/ 1 (* x 2.0)) (sqrt (/ (- x y) y)))
  (* (/ 1 (* x 2.0)) (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt y) (cbrt y))))
  (* (/ 1 (* x 2.0)) (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt y)))
  (* (/ 1 (* x 2.0)) (/ (* (cbrt (- x y)) (cbrt (- x y))) 1))
  (* (/ 1 (* x 2.0)) (/ (sqrt (- x y)) (* (cbrt y) (cbrt y))))
  (* (/ 1 (* x 2.0)) (/ (sqrt (- x y)) (sqrt y)))
  (* (/ 1 (* x 2.0)) (/ (sqrt (- x y)) 1))
  (* (/ 1 (* x 2.0)) (/ 1 (* (cbrt y) (cbrt y))))
  (* (/ 1 (* x 2.0)) (/ 1 (sqrt y)))
  (* (/ 1 (* x 2.0)) (/ 1 1))
  (* (/ 1 (* x 2.0)) (/ (+ (sqrt x) (sqrt y)) (* (cbrt y) (cbrt y))))
  (* (/ 1 (* x 2.0)) (/ (+ (sqrt x) (sqrt y)) (sqrt y)))
  (* (/ 1 (* x 2.0)) (/ (+ (sqrt x) (sqrt y)) 1))
  (* (/ 1 (* x 2.0)) (/ 1 (* (cbrt y) (cbrt y))))
  (* (/ 1 (* x 2.0)) (/ 1 (sqrt y)))
  (* (/ 1 (* x 2.0)) (/ 1 1))
  (* (/ 1 (* x 2.0)) 1)
  (* (/ 1 (* x 2.0)) (- x y))
  (* (cbrt (/ 1 (* x 2.0))) (/ (- x y) y))
  (* (sqrt (/ 1 (* x 2.0))) (/ (- x y) y))
  (* (/ (cbrt 1) 2.0) (/ (- x y) y))
  (* (/ (sqrt 1) 2.0) (/ (- x y) y))
  (* (/ 1 2.0) (/ (- x y) y))
  (* (/ 1 (* x 2.0)) (/ (- x y) y))
  (* (/ 1 (* x 2.0)) (/ (- x y) y))
  (* (/ 1 (* x 2.0)) (- x y))
  (* 1 (/ (- x y) y))
  (real->posit16 (* (/ 1 (* x 2.0)) (/ (- x y) 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)))
2.711 * * [simplify]: iteration 0: 136 enodes
2.776 * * [simplify]: iteration 1: 391 enodes
2.963 * * [simplify]: iteration 2: 1475 enodes
4.329 * * [simplify]: iteration complete: 5001 enodes
4.330 * * [simplify]: Extracting #0: cost 32 inf + 0
4.331 * * [simplify]: Extracting #1: cost 616 inf + 0
4.336 * * [simplify]: Extracting #2: cost 1415 inf + 5277
4.358 * * [simplify]: Extracting #3: cost 1035 inf + 128558
4.425 * * [simplify]: Extracting #4: cost 233 inf + 318519
4.500 * * [simplify]: Extracting #5: cost 3 inf + 365366
4.576 * * [simplify]: Extracting #6: cost 0 inf + 366216
4.660 * [simplify]: Simplified to:
  (/ (/ (/ (- 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))
  (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))
  (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))
  (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))
  (* (* (/ (/ (/ (- 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)
  (* (* 2.0 x) y)
  (* (sqrt (/ (- x y) y)) (sqrt (/ (/ 1 x) 2.0)))
  (* (sqrt (/ (- x y) y)) (sqrt (/ (/ 1 x) 2.0)))
  (/ (* (sqrt (/ (/ 1 x) 2.0)) (sqrt (- x y))) (sqrt y))
  (/ (* (sqrt (/ (/ 1 x) 2.0)) (sqrt (- x y))) (sqrt y))
  (/ (* (cbrt (/ (- x y) y)) (cbrt (/ (- x y) y))) (* 2.0 x))
  (/ (/ (sqrt (/ (- x y) y)) 2.0) x)
  (* (/ (/ (cbrt (- x y)) (cbrt y)) x) (/ (/ (cbrt (- x y)) (cbrt y)) 2.0))
  (* (/ (/ (cbrt (- x y)) (sqrt y)) 2.0) (/ (cbrt (- x y)) x))
  (/ (/ (* (cbrt (- x y)) (cbrt (- x y))) x) 2.0)
  (/ (/ (/ (sqrt (- x y)) x) 2.0) (* (cbrt y) (cbrt y)))
  (/ (/ (/ (sqrt (- x y)) (sqrt y)) x) 2.0)
  (/ (/ (sqrt (- x y)) x) 2.0)
  (/ (/ (/ 1 x) 2.0) (* (cbrt y) (cbrt y)))
  (/ (/ (/ 1 x) 2.0) (sqrt y))
  (/ (/ 1 x) 2.0)
  (/ (/ (/ (/ (+ (sqrt y) (sqrt x)) (cbrt y)) (cbrt y)) x) 2.0)
  (/ (/ (+ (sqrt y) (sqrt x)) (sqrt y)) (* 2.0 x))
  (/ (+ (sqrt y) (sqrt x)) (* 2.0 x))
  (/ (/ (/ 1 x) 2.0) (* (cbrt y) (cbrt y)))
  (/ (/ (/ 1 x) 2.0) (sqrt y))
  (/ (/ 1 x) 2.0)
  (/ (/ 1 x) 2.0)
  (/ (/ (- x y) x) 2.0)
  (/ (cbrt (/ (/ 1 x) 2.0)) (/ y (- x y)))
  (/ (sqrt (/ (/ 1 x) 2.0)) (/ y (- x y)))
  (/ (/ (- x y) 2.0) y)
  (/ (/ (- x y) 2.0) y)
  (/ (/ (- x y) 2.0) y)
  (/ (/ (/ (- x y) 2.0) y) x)
  (/ (/ (/ (- x y) 2.0) y) x)
  (/ (/ (- x y) x) 2.0)
  (/ (- x y) y)
  (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))
4.662 * * * [progress]: adding candidates to table
4.822 * * [progress]: iteration 4 / 4
4.822 * * * [progress]: picking best candidate
4.824 * * * * [pick]: Picked  #<alt (λ (x y) (* (- x y) (/ 1 (* (* x 2.0) y))))>
4.824 * * * [progress]: localizing error
4.849 * * * [progress]: generating rewritten candidates
4.849 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
4.972 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
5.015 * * * [progress]: generating series expansions
5.015 * * * * [progress]: [ 1 / 2 ] generating series at (2)
5.015 * [backup-simplify]: Simplify (* (- x y) (/ 1 (* (* x 2.0) y))) into (* 0.5 (/ (- x y) (* x y)))
5.015 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in (x y) around 0
5.016 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in y
5.016 * [taylor]: Taking taylor expansion of 0.5 in y
5.016 * [backup-simplify]: Simplify 0.5 into 0.5
5.016 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in y
5.016 * [taylor]: Taking taylor expansion of (- x y) in y
5.016 * [taylor]: Taking taylor expansion of x in y
5.016 * [backup-simplify]: Simplify x into x
5.016 * [taylor]: Taking taylor expansion of y in y
5.016 * [backup-simplify]: Simplify 0 into 0
5.016 * [backup-simplify]: Simplify 1 into 1
5.016 * [taylor]: Taking taylor expansion of (* x y) in y
5.016 * [taylor]: Taking taylor expansion of x in y
5.016 * [backup-simplify]: Simplify x into x
5.016 * [taylor]: Taking taylor expansion of y in y
5.016 * [backup-simplify]: Simplify 0 into 0
5.016 * [backup-simplify]: Simplify 1 into 1
5.017 * [backup-simplify]: Simplify (- 0) into 0
5.017 * [backup-simplify]: Simplify (+ x 0) into x
5.017 * [backup-simplify]: Simplify (* x 0) into 0
5.017 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.017 * [backup-simplify]: Simplify (/ x x) into 1
5.017 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in x
5.017 * [taylor]: Taking taylor expansion of 0.5 in x
5.017 * [backup-simplify]: Simplify 0.5 into 0.5
5.017 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in x
5.017 * [taylor]: Taking taylor expansion of (- x y) in x
5.017 * [taylor]: Taking taylor expansion of x in x
5.017 * [backup-simplify]: Simplify 0 into 0
5.017 * [backup-simplify]: Simplify 1 into 1
5.017 * [taylor]: Taking taylor expansion of y in x
5.017 * [backup-simplify]: Simplify y into y
5.017 * [taylor]: Taking taylor expansion of (* x y) in x
5.017 * [taylor]: Taking taylor expansion of x in x
5.017 * [backup-simplify]: Simplify 0 into 0
5.017 * [backup-simplify]: Simplify 1 into 1
5.018 * [taylor]: Taking taylor expansion of y in x
5.018 * [backup-simplify]: Simplify y into y
5.018 * [backup-simplify]: Simplify (- y) into (- y)
5.018 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
5.018 * [backup-simplify]: Simplify (* 0 y) into 0
5.018 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.018 * [backup-simplify]: Simplify (/ (- y) y) into -1
5.018 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in x
5.018 * [taylor]: Taking taylor expansion of 0.5 in x
5.018 * [backup-simplify]: Simplify 0.5 into 0.5
5.018 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in x
5.018 * [taylor]: Taking taylor expansion of (- x y) in x
5.018 * [taylor]: Taking taylor expansion of x in x
5.018 * [backup-simplify]: Simplify 0 into 0
5.018 * [backup-simplify]: Simplify 1 into 1
5.018 * [taylor]: Taking taylor expansion of y in x
5.018 * [backup-simplify]: Simplify y into y
5.018 * [taylor]: Taking taylor expansion of (* x y) in x
5.018 * [taylor]: Taking taylor expansion of x in x
5.018 * [backup-simplify]: Simplify 0 into 0
5.019 * [backup-simplify]: Simplify 1 into 1
5.019 * [taylor]: Taking taylor expansion of y in x
5.019 * [backup-simplify]: Simplify y into y
5.019 * [backup-simplify]: Simplify (- y) into (- y)
5.019 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
5.019 * [backup-simplify]: Simplify (* 0 y) into 0
5.019 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.019 * [backup-simplify]: Simplify (/ (- y) y) into -1
5.020 * [backup-simplify]: Simplify (* 0.5 -1) into -0.5
5.020 * [taylor]: Taking taylor expansion of -0.5 in y
5.020 * [backup-simplify]: Simplify -0.5 into -0.5
5.020 * [backup-simplify]: Simplify (- 0) into 0
5.021 * [backup-simplify]: Simplify (+ 1 0) into 1
5.021 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.021 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* -1 (/ 0 y)))) into (/ 1 y)
5.022 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 y)) (* 0 -1)) into (* 0.5 (/ 1 y))
5.022 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
5.022 * [taylor]: Taking taylor expansion of 0.5 in y
5.022 * [backup-simplify]: Simplify 0.5 into 0.5
5.022 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.022 * [taylor]: Taking taylor expansion of y in y
5.022 * [backup-simplify]: Simplify 0 into 0
5.022 * [backup-simplify]: Simplify 1 into 1
5.022 * [backup-simplify]: Simplify (/ 1 1) into 1
5.023 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
5.023 * [backup-simplify]: Simplify 0.5 into 0.5
5.023 * [backup-simplify]: Simplify -0.5 into -0.5
5.023 * [backup-simplify]: Simplify (- 0) into 0
5.024 * [backup-simplify]: Simplify (+ 0 0) into 0
5.025 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.025 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0
5.026 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ 1 y)) (* 0 -1))) into 0
5.026 * [taylor]: Taking taylor expansion of 0 in y
5.026 * [backup-simplify]: Simplify 0 into 0
5.027 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.027 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
5.027 * [backup-simplify]: Simplify 0 into 0
5.027 * [backup-simplify]: Simplify 0 into 0
5.028 * [backup-simplify]: Simplify (- 0) into 0
5.028 * [backup-simplify]: Simplify (+ 0 0) into 0
5.030 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
5.030 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.031 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1)))) into 0
5.031 * [taylor]: Taking taylor expansion of 0 in y
5.031 * [backup-simplify]: Simplify 0 into 0
5.031 * [backup-simplify]: Simplify 0 into 0
5.032 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.033 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
5.033 * [backup-simplify]: Simplify 0 into 0
5.033 * [backup-simplify]: Simplify 0 into 0
5.033 * [backup-simplify]: Simplify (- 0) into 0
5.034 * [backup-simplify]: Simplify (+ 0 0) into 0
5.035 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
5.035 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.037 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1))))) into 0
5.037 * [taylor]: Taking taylor expansion of 0 in y
5.037 * [backup-simplify]: Simplify 0 into 0
5.037 * [backup-simplify]: Simplify 0 into 0
5.037 * [backup-simplify]: Simplify (+ (* -0.5 (* 1 (/ 1 x))) (* 0.5 (* (/ 1 y) 1))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
5.037 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 1 y)) (/ 1 (* (* (/ 1 x) 2.0) (/ 1 y)))) into (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y)))))
5.037 * [approximate]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y))))) in (x y) around 0
5.037 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y))))) in y
5.037 * [taylor]: Taking taylor expansion of 0.5 in y
5.038 * [backup-simplify]: Simplify 0.5 into 0.5
5.038 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 x) (/ 1 y)))) in y
5.038 * [taylor]: Taking taylor expansion of x in y
5.038 * [backup-simplify]: Simplify x into x
5.038 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in y
5.038 * [taylor]: Taking taylor expansion of y in y
5.038 * [backup-simplify]: Simplify 0 into 0
5.038 * [backup-simplify]: Simplify 1 into 1
5.038 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
5.038 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.038 * [taylor]: Taking taylor expansion of x in y
5.038 * [backup-simplify]: Simplify x into x
5.038 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.038 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.038 * [taylor]: Taking taylor expansion of y in y
5.038 * [backup-simplify]: Simplify 0 into 0
5.038 * [backup-simplify]: Simplify 1 into 1
5.038 * [backup-simplify]: Simplify (/ 1 1) into 1
5.038 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y))))) in x
5.038 * [taylor]: Taking taylor expansion of 0.5 in x
5.038 * [backup-simplify]: Simplify 0.5 into 0.5
5.038 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 x) (/ 1 y)))) in x
5.038 * [taylor]: Taking taylor expansion of x in x
5.038 * [backup-simplify]: Simplify 0 into 0
5.038 * [backup-simplify]: Simplify 1 into 1
5.039 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in x
5.039 * [taylor]: Taking taylor expansion of y in x
5.039 * [backup-simplify]: Simplify y into y
5.039 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
5.039 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.039 * [taylor]: Taking taylor expansion of x in x
5.039 * [backup-simplify]: Simplify 0 into 0
5.039 * [backup-simplify]: Simplify 1 into 1
5.039 * [backup-simplify]: Simplify (/ 1 1) into 1
5.039 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.039 * [taylor]: Taking taylor expansion of y in x
5.039 * [backup-simplify]: Simplify y into y
5.039 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.039 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y))))) in x
5.039 * [taylor]: Taking taylor expansion of 0.5 in x
5.039 * [backup-simplify]: Simplify 0.5 into 0.5
5.039 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 x) (/ 1 y)))) in x
5.039 * [taylor]: Taking taylor expansion of x in x
5.039 * [backup-simplify]: Simplify 0 into 0
5.039 * [backup-simplify]: Simplify 1 into 1
5.039 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in x
5.039 * [taylor]: Taking taylor expansion of y in x
5.039 * [backup-simplify]: Simplify y into y
5.039 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
5.039 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.039 * [taylor]: Taking taylor expansion of x in x
5.039 * [backup-simplify]: Simplify 0 into 0
5.039 * [backup-simplify]: Simplify 1 into 1
5.040 * [backup-simplify]: Simplify (/ 1 1) into 1
5.040 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.040 * [taylor]: Taking taylor expansion of y in x
5.040 * [backup-simplify]: Simplify y into y
5.040 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.040 * [backup-simplify]: Simplify (+ 1 0) into 1
5.040 * [backup-simplify]: Simplify (* y 1) into y
5.041 * [backup-simplify]: Simplify (* 0 y) into 0
5.041 * [backup-simplify]: Simplify (* 0.5 0) into 0
5.041 * [taylor]: Taking taylor expansion of 0 in y
5.041 * [backup-simplify]: Simplify 0 into 0
5.042 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.042 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
5.042 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
5.042 * [backup-simplify]: Simplify (+ (* y (- (/ 1 y))) (* 0 1)) into (- 1)
5.043 * [backup-simplify]: Simplify (+ (* 0 (- 1)) (* 1 y)) into y
5.043 * [backup-simplify]: Simplify (+ (* 0.5 y) (* 0 0)) into (* 0.5 y)
5.043 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
5.043 * [taylor]: Taking taylor expansion of 0.5 in y
5.043 * [backup-simplify]: Simplify 0.5 into 0.5
5.043 * [taylor]: Taking taylor expansion of y in y
5.043 * [backup-simplify]: Simplify 0 into 0
5.043 * [backup-simplify]: Simplify 1 into 1
5.043 * [backup-simplify]: Simplify 0 into 0
5.044 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.044 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.045 * [backup-simplify]: Simplify (- 0) into 0
5.045 * [backup-simplify]: Simplify (+ 0 0) into 0
5.045 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (- (/ 1 y))) (* 0 1))) into 0
5.046 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (- 1)) (* 0 y))) into (- 1)
5.047 * [backup-simplify]: Simplify (+ (* 0.5 (- 1)) (+ (* 0 y) (* 0 0))) into (- 0.5)
5.047 * [taylor]: Taking taylor expansion of (- 0.5) in y
5.047 * [taylor]: Taking taylor expansion of 0.5 in y
5.047 * [backup-simplify]: Simplify 0.5 into 0.5
5.048 * [backup-simplify]: Simplify (* 0.5 0) into 0
5.048 * [backup-simplify]: Simplify 0 into 0
5.048 * [backup-simplify]: Simplify 0 into 0
5.049 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.049 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.049 * [backup-simplify]: Simplify (- 0) into 0
5.049 * [backup-simplify]: Simplify (+ 0 0) into 0
5.050 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))) into 0
5.051 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 (- 1)) (* 0 y)))) into 0
5.052 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0)))) into 0
5.053 * [taylor]: Taking taylor expansion of 0 in y
5.053 * [backup-simplify]: Simplify 0 into 0
5.053 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
5.053 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
5.055 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
5.055 * [backup-simplify]: Simplify 0.5 into 0.5
5.055 * [backup-simplify]: Simplify 0 into 0
5.056 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.056 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.056 * [backup-simplify]: Simplify (- 0) into 0
5.056 * [backup-simplify]: Simplify (+ 0 0) into 0
5.058 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1))))) into 0
5.059 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1)) (* 0 y))))) into 0
5.061 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0))))) into 0
5.061 * [taylor]: Taking taylor expansion of 0 in y
5.061 * [backup-simplify]: Simplify 0 into 0
5.061 * [backup-simplify]: Simplify 0 into 0
5.061 * [backup-simplify]: Simplify (- 0) into 0
5.061 * [backup-simplify]: Simplify 0 into 0
5.062 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
5.062 * [backup-simplify]: Simplify 0 into 0
5.062 * [backup-simplify]: Simplify 0 into 0
5.063 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.063 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.064 * [backup-simplify]: Simplify (- 0) into 0
5.064 * [backup-simplify]: Simplify (+ 0 0) into 0
5.066 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))))) into 0
5.068 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 1)) (* 0 y)))))) into 0
5.070 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0)))))) into 0
5.070 * [taylor]: Taking taylor expansion of 0 in y
5.070 * [backup-simplify]: Simplify 0 into 0
5.070 * [backup-simplify]: Simplify 0 into 0
5.070 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 y) 1)) (* (- 0.5) (* 1 (/ 1 x)))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
5.071 * [backup-simplify]: Simplify (* (- (/ 1 (- x)) (/ 1 (- y))) (/ 1 (* (* (/ 1 (- x)) 2.0) (/ 1 (- y))))) into (* 0.5 (* (- (/ 1 y) (/ 1 x)) (* x y)))
5.071 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (/ 1 y) (/ 1 x)) (* x y))) in (x y) around 0
5.071 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 y) (/ 1 x)) (* x y))) in y
5.071 * [taylor]: Taking taylor expansion of 0.5 in y
5.071 * [backup-simplify]: Simplify 0.5 into 0.5
5.071 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (* x y)) in y
5.071 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
5.071 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.071 * [taylor]: Taking taylor expansion of y in y
5.071 * [backup-simplify]: Simplify 0 into 0
5.071 * [backup-simplify]: Simplify 1 into 1
5.071 * [backup-simplify]: Simplify (/ 1 1) into 1
5.071 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.071 * [taylor]: Taking taylor expansion of x in y
5.071 * [backup-simplify]: Simplify x into x
5.071 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.071 * [taylor]: Taking taylor expansion of (* x y) in y
5.071 * [taylor]: Taking taylor expansion of x in y
5.071 * [backup-simplify]: Simplify x into x
5.071 * [taylor]: Taking taylor expansion of y in y
5.072 * [backup-simplify]: Simplify 0 into 0
5.072 * [backup-simplify]: Simplify 1 into 1
5.072 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 y) (/ 1 x)) (* x y))) in x
5.072 * [taylor]: Taking taylor expansion of 0.5 in x
5.072 * [backup-simplify]: Simplify 0.5 into 0.5
5.072 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (* x y)) in x
5.072 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
5.072 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.072 * [taylor]: Taking taylor expansion of y in x
5.072 * [backup-simplify]: Simplify y into y
5.072 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.072 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.072 * [taylor]: Taking taylor expansion of x in x
5.072 * [backup-simplify]: Simplify 0 into 0
5.072 * [backup-simplify]: Simplify 1 into 1
5.072 * [backup-simplify]: Simplify (/ 1 1) into 1
5.072 * [taylor]: Taking taylor expansion of (* x y) in x
5.072 * [taylor]: Taking taylor expansion of x in x
5.072 * [backup-simplify]: Simplify 0 into 0
5.072 * [backup-simplify]: Simplify 1 into 1
5.072 * [taylor]: Taking taylor expansion of y in x
5.072 * [backup-simplify]: Simplify y into y
5.072 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 y) (/ 1 x)) (* x y))) in x
5.072 * [taylor]: Taking taylor expansion of 0.5 in x
5.072 * [backup-simplify]: Simplify 0.5 into 0.5
5.072 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (* x y)) in x
5.073 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
5.073 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.073 * [taylor]: Taking taylor expansion of y in x
5.073 * [backup-simplify]: Simplify y into y
5.073 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.073 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.073 * [taylor]: Taking taylor expansion of x in x
5.073 * [backup-simplify]: Simplify 0 into 0
5.073 * [backup-simplify]: Simplify 1 into 1
5.073 * [backup-simplify]: Simplify (/ 1 1) into 1
5.073 * [taylor]: Taking taylor expansion of (* x y) in x
5.073 * [taylor]: Taking taylor expansion of x in x
5.073 * [backup-simplify]: Simplify 0 into 0
5.073 * [backup-simplify]: Simplify 1 into 1
5.073 * [taylor]: Taking taylor expansion of y in x
5.073 * [backup-simplify]: Simplify y into y
5.074 * [backup-simplify]: Simplify (- 1) into -1
5.074 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.074 * [backup-simplify]: Simplify (* 0 y) into 0
5.075 * [backup-simplify]: Simplify (* -1 0) into 0
5.075 * [backup-simplify]: Simplify (* 0.5 0) into 0
5.075 * [taylor]: Taking taylor expansion of 0 in y
5.075 * [backup-simplify]: Simplify 0 into 0
5.075 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.076 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.076 * [backup-simplify]: Simplify (- 0) into 0
5.077 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
5.077 * [backup-simplify]: Simplify (+ (* -1 y) (* (/ 1 y) 0)) into (- y)
5.077 * [backup-simplify]: Simplify (+ (* 0.5 (- y)) (* 0 0)) into (- (* 0.5 y))
5.077 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y
5.077 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
5.077 * [taylor]: Taking taylor expansion of 0.5 in y
5.077 * [backup-simplify]: Simplify 0.5 into 0.5
5.077 * [taylor]: Taking taylor expansion of y in y
5.077 * [backup-simplify]: Simplify 0 into 0
5.077 * [backup-simplify]: Simplify 1 into 1
5.077 * [backup-simplify]: Simplify 0 into 0
5.078 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.078 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.079 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.080 * [backup-simplify]: Simplify (- 0) into 0
5.080 * [backup-simplify]: Simplify (+ 0 0) into 0
5.081 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) y) (* 0 0))) into 1
5.081 * [backup-simplify]: Simplify (+ (* 0.5 1) (+ (* 0 (- y)) (* 0 0))) into 0.5
5.082 * [taylor]: Taking taylor expansion of 0.5 in y
5.082 * [backup-simplify]: Simplify 0.5 into 0.5
5.082 * [backup-simplify]: Simplify (* 0.5 0) into 0
5.082 * [backup-simplify]: Simplify (- 0) into 0
5.082 * [backup-simplify]: Simplify 0 into 0
5.082 * [backup-simplify]: Simplify 0 into 0
5.084 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.084 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.085 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.085 * [backup-simplify]: Simplify (- 0) into 0
5.085 * [backup-simplify]: Simplify (+ 0 0) into 0
5.086 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 y) (* 0 0)))) into 0
5.087 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0)))) into 0
5.088 * [taylor]: Taking taylor expansion of 0 in y
5.088 * [backup-simplify]: Simplify 0 into 0
5.088 * [backup-simplify]: Simplify 0.5 into 0.5
5.089 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
5.089 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
5.090 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
5.090 * [backup-simplify]: Simplify 0 into 0
5.091 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
5.091 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.092 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.093 * [backup-simplify]: Simplify (- 0) into 0
5.093 * [backup-simplify]: Simplify (+ 0 0) into 0
5.095 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0
5.096 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0))))) into 0
5.096 * [taylor]: Taking taylor expansion of 0 in y
5.096 * [backup-simplify]: Simplify 0 into 0
5.096 * [backup-simplify]: Simplify 0 into 0
5.096 * [backup-simplify]: Simplify 0 into 0
5.097 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
5.098 * [backup-simplify]: Simplify (- 0) into 0
5.098 * [backup-simplify]: Simplify 0 into 0
5.098 * [backup-simplify]: Simplify 0 into 0
5.100 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
5.100 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.101 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.101 * [backup-simplify]: Simplify (- 0) into 0
5.102 * [backup-simplify]: Simplify (+ 0 0) into 0
5.103 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))))) into 0
5.105 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0)))))) into 0
5.105 * [taylor]: Taking taylor expansion of 0 in y
5.105 * [backup-simplify]: Simplify 0 into 0
5.105 * [backup-simplify]: Simplify 0 into 0
5.106 * [backup-simplify]: Simplify (+ (* (- 0.5) (* (/ 1 (- y)) 1)) (* 0.5 (* 1 (/ 1 (- x))))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
5.106 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
5.106 * [backup-simplify]: Simplify (/ 1 (* (* x 2.0) y)) into (/ 0.5 (* x y))
5.106 * [approximate]: Taking taylor expansion of (/ 0.5 (* x y)) in (x y) around 0
5.106 * [taylor]: Taking taylor expansion of (/ 0.5 (* x y)) in y
5.106 * [taylor]: Taking taylor expansion of 0.5 in y
5.106 * [backup-simplify]: Simplify 0.5 into 0.5
5.106 * [taylor]: Taking taylor expansion of (* x y) in y
5.106 * [taylor]: Taking taylor expansion of x in y
5.106 * [backup-simplify]: Simplify x into x
5.106 * [taylor]: Taking taylor expansion of y in y
5.106 * [backup-simplify]: Simplify 0 into 0
5.106 * [backup-simplify]: Simplify 1 into 1
5.107 * [backup-simplify]: Simplify (* x 0) into 0
5.107 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.107 * [backup-simplify]: Simplify (/ 0.5 x) into (/ 0.5 x)
5.107 * [taylor]: Taking taylor expansion of (/ 0.5 (* x y)) in x
5.107 * [taylor]: Taking taylor expansion of 0.5 in x
5.107 * [backup-simplify]: Simplify 0.5 into 0.5
5.107 * [taylor]: Taking taylor expansion of (* x y) in x
5.107 * [taylor]: Taking taylor expansion of x in x
5.107 * [backup-simplify]: Simplify 0 into 0
5.107 * [backup-simplify]: Simplify 1 into 1
5.107 * [taylor]: Taking taylor expansion of y in x
5.107 * [backup-simplify]: Simplify y into y
5.107 * [backup-simplify]: Simplify (* 0 y) into 0
5.108 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.108 * [backup-simplify]: Simplify (/ 0.5 y) into (/ 0.5 y)
5.108 * [taylor]: Taking taylor expansion of (/ 0.5 (* x y)) in x
5.108 * [taylor]: Taking taylor expansion of 0.5 in x
5.108 * [backup-simplify]: Simplify 0.5 into 0.5
5.108 * [taylor]: Taking taylor expansion of (* x y) in x
5.108 * [taylor]: Taking taylor expansion of x in x
5.108 * [backup-simplify]: Simplify 0 into 0
5.108 * [backup-simplify]: Simplify 1 into 1
5.108 * [taylor]: Taking taylor expansion of y in x
5.108 * [backup-simplify]: Simplify y into y
5.108 * [backup-simplify]: Simplify (* 0 y) into 0
5.109 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.109 * [backup-simplify]: Simplify (/ 0.5 y) into (/ 0.5 y)
5.109 * [taylor]: Taking taylor expansion of (/ 0.5 y) in y
5.109 * [taylor]: Taking taylor expansion of 0.5 in y
5.109 * [backup-simplify]: Simplify 0.5 into 0.5
5.109 * [taylor]: Taking taylor expansion of y in y
5.109 * [backup-simplify]: Simplify 0 into 0
5.109 * [backup-simplify]: Simplify 1 into 1
5.109 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
5.109 * [backup-simplify]: Simplify 0.5 into 0.5
5.110 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.110 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 0.5 y) (/ 0 y)))) into 0
5.110 * [taylor]: Taking taylor expansion of 0 in y
5.110 * [backup-simplify]: Simplify 0 into 0
5.111 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)))) into 0
5.111 * [backup-simplify]: Simplify 0 into 0
5.112 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.113 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 0.5 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.113 * [taylor]: Taking taylor expansion of 0 in y
5.113 * [backup-simplify]: Simplify 0 into 0
5.113 * [backup-simplify]: Simplify 0 into 0
5.114 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.114 * [backup-simplify]: Simplify 0 into 0
5.115 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
5.116 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 0.5 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.116 * [taylor]: Taking taylor expansion of 0 in y
5.116 * [backup-simplify]: Simplify 0 into 0
5.116 * [backup-simplify]: Simplify 0 into 0
5.116 * [backup-simplify]: Simplify 0 into 0
5.117 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.117 * [backup-simplify]: Simplify 0 into 0
5.117 * [backup-simplify]: Simplify (* 0.5 (* (/ 1 y) (/ 1 x))) into (/ 0.5 (* x y))
5.117 * [backup-simplify]: Simplify (/ 1 (* (* (/ 1 x) 2.0) (/ 1 y))) into (* 0.5 (* x y))
5.117 * [approximate]: Taking taylor expansion of (* 0.5 (* x y)) in (x y) around 0
5.117 * [taylor]: Taking taylor expansion of (* 0.5 (* x y)) in y
5.118 * [taylor]: Taking taylor expansion of 0.5 in y
5.118 * [backup-simplify]: Simplify 0.5 into 0.5
5.118 * [taylor]: Taking taylor expansion of (* x y) in y
5.118 * [taylor]: Taking taylor expansion of x in y
5.118 * [backup-simplify]: Simplify x into x
5.118 * [taylor]: Taking taylor expansion of y in y
5.118 * [backup-simplify]: Simplify 0 into 0
5.118 * [backup-simplify]: Simplify 1 into 1
5.118 * [taylor]: Taking taylor expansion of (* 0.5 (* x y)) in x
5.118 * [taylor]: Taking taylor expansion of 0.5 in x
5.118 * [backup-simplify]: Simplify 0.5 into 0.5
5.118 * [taylor]: Taking taylor expansion of (* x y) in x
5.118 * [taylor]: Taking taylor expansion of x in x
5.118 * [backup-simplify]: Simplify 0 into 0
5.118 * [backup-simplify]: Simplify 1 into 1
5.118 * [taylor]: Taking taylor expansion of y in x
5.118 * [backup-simplify]: Simplify y into y
5.118 * [taylor]: Taking taylor expansion of (* 0.5 (* x y)) in x
5.118 * [taylor]: Taking taylor expansion of 0.5 in x
5.118 * [backup-simplify]: Simplify 0.5 into 0.5
5.118 * [taylor]: Taking taylor expansion of (* x y) in x
5.118 * [taylor]: Taking taylor expansion of x in x
5.118 * [backup-simplify]: Simplify 0 into 0
5.118 * [backup-simplify]: Simplify 1 into 1
5.118 * [taylor]: Taking taylor expansion of y in x
5.118 * [backup-simplify]: Simplify y into y
5.118 * [backup-simplify]: Simplify (* 0 y) into 0
5.119 * [backup-simplify]: Simplify (* 0.5 0) into 0
5.119 * [taylor]: Taking taylor expansion of 0 in y
5.119 * [backup-simplify]: Simplify 0 into 0
5.119 * [backup-simplify]: Simplify 0 into 0
5.119 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.120 * [backup-simplify]: Simplify (+ (* 0.5 y) (* 0 0)) into (* 0.5 y)
5.120 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
5.120 * [taylor]: Taking taylor expansion of 0.5 in y
5.120 * [backup-simplify]: Simplify 0.5 into 0.5
5.120 * [taylor]: Taking taylor expansion of y in y
5.120 * [backup-simplify]: Simplify 0 into 0
5.120 * [backup-simplify]: Simplify 1 into 1
5.120 * [backup-simplify]: Simplify (* 0.5 0) into 0
5.120 * [backup-simplify]: Simplify 0 into 0
5.120 * [backup-simplify]: Simplify 0 into 0
5.121 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.122 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 y) (* 0 0))) into 0
5.122 * [taylor]: Taking taylor expansion of 0 in y
5.122 * [backup-simplify]: Simplify 0 into 0
5.122 * [backup-simplify]: Simplify 0 into 0
5.124 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
5.124 * [backup-simplify]: Simplify 0.5 into 0.5
5.124 * [backup-simplify]: Simplify 0 into 0
5.125 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.126 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0
5.126 * [taylor]: Taking taylor expansion of 0 in y
5.126 * [backup-simplify]: Simplify 0 into 0
5.126 * [backup-simplify]: Simplify 0 into 0
5.126 * [backup-simplify]: Simplify 0 into 0
5.127 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
5.127 * [backup-simplify]: Simplify 0 into 0
5.127 * [backup-simplify]: Simplify 0 into 0
5.129 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
5.130 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0
5.130 * [taylor]: Taking taylor expansion of 0 in y
5.130 * [backup-simplify]: Simplify 0 into 0
5.131 * [backup-simplify]: Simplify 0 into 0
5.131 * [backup-simplify]: Simplify (* 0.5 (* (/ 1 y) (/ 1 x))) into (/ 0.5 (* x y))
5.131 * [backup-simplify]: Simplify (/ 1 (* (* (/ 1 (- x)) 2.0) (/ 1 (- y)))) into (* 0.5 (* x y))
5.131 * [approximate]: Taking taylor expansion of (* 0.5 (* x y)) in (x y) around 0
5.131 * [taylor]: Taking taylor expansion of (* 0.5 (* x y)) in y
5.131 * [taylor]: Taking taylor expansion of 0.5 in y
5.131 * [backup-simplify]: Simplify 0.5 into 0.5
5.131 * [taylor]: Taking taylor expansion of (* x y) in y
5.131 * [taylor]: Taking taylor expansion of x in y
5.131 * [backup-simplify]: Simplify x into x
5.131 * [taylor]: Taking taylor expansion of y in y
5.131 * [backup-simplify]: Simplify 0 into 0
5.131 * [backup-simplify]: Simplify 1 into 1
5.131 * [taylor]: Taking taylor expansion of (* 0.5 (* x y)) in x
5.131 * [taylor]: Taking taylor expansion of 0.5 in x
5.131 * [backup-simplify]: Simplify 0.5 into 0.5
5.131 * [taylor]: Taking taylor expansion of (* x y) in x
5.131 * [taylor]: Taking taylor expansion of x in x
5.131 * [backup-simplify]: Simplify 0 into 0
5.131 * [backup-simplify]: Simplify 1 into 1
5.131 * [taylor]: Taking taylor expansion of y in x
5.131 * [backup-simplify]: Simplify y into y
5.131 * [taylor]: Taking taylor expansion of (* 0.5 (* x y)) in x
5.131 * [taylor]: Taking taylor expansion of 0.5 in x
5.131 * [backup-simplify]: Simplify 0.5 into 0.5
5.131 * [taylor]: Taking taylor expansion of (* x y) in x
5.131 * [taylor]: Taking taylor expansion of x in x
5.132 * [backup-simplify]: Simplify 0 into 0
5.132 * [backup-simplify]: Simplify 1 into 1
5.132 * [taylor]: Taking taylor expansion of y in x
5.132 * [backup-simplify]: Simplify y into y
5.132 * [backup-simplify]: Simplify (* 0 y) into 0
5.132 * [backup-simplify]: Simplify (* 0.5 0) into 0
5.132 * [taylor]: Taking taylor expansion of 0 in y
5.132 * [backup-simplify]: Simplify 0 into 0
5.132 * [backup-simplify]: Simplify 0 into 0
5.133 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.133 * [backup-simplify]: Simplify (+ (* 0.5 y) (* 0 0)) into (* 0.5 y)
5.133 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
5.133 * [taylor]: Taking taylor expansion of 0.5 in y
5.133 * [backup-simplify]: Simplify 0.5 into 0.5
5.133 * [taylor]: Taking taylor expansion of y in y
5.133 * [backup-simplify]: Simplify 0 into 0
5.133 * [backup-simplify]: Simplify 1 into 1
5.134 * [backup-simplify]: Simplify (* 0.5 0) into 0
5.134 * [backup-simplify]: Simplify 0 into 0
5.134 * [backup-simplify]: Simplify 0 into 0
5.135 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.136 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 y) (* 0 0))) into 0
5.136 * [taylor]: Taking taylor expansion of 0 in y
5.136 * [backup-simplify]: Simplify 0 into 0
5.136 * [backup-simplify]: Simplify 0 into 0
5.137 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
5.137 * [backup-simplify]: Simplify 0.5 into 0.5
5.138 * [backup-simplify]: Simplify 0 into 0
5.139 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.140 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0
5.140 * [taylor]: Taking taylor expansion of 0 in y
5.140 * [backup-simplify]: Simplify 0 into 0
5.140 * [backup-simplify]: Simplify 0 into 0
5.140 * [backup-simplify]: Simplify 0 into 0
5.141 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
5.141 * [backup-simplify]: Simplify 0 into 0
5.141 * [backup-simplify]: Simplify 0 into 0
5.143 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
5.147 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0
5.148 * [taylor]: Taking taylor expansion of 0 in y
5.148 * [backup-simplify]: Simplify 0 into 0
5.148 * [backup-simplify]: Simplify 0 into 0
5.148 * [backup-simplify]: Simplify (* 0.5 (* (/ 1 (- y)) (/ 1 (- x)))) into (/ 0.5 (* x y))
5.148 * * * [progress]: simplifying candidates
5.148 * * * * [progress]: [ 1 / 83 ] simplifiying candidate #<alt (λ (x y) (pow (* (- x y) (/ 1 (* (* x 2.0) y))) 1))>
5.148 * * * * [progress]: [ 2 / 83 ] simplifiying candidate #<alt (λ (x y) (pow (* (- x y) (/ 1 (* (* x 2.0) y))) 1))>
5.148 * * * * [progress]: [ 3 / 83 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log (- x y)) (- (+ (+ (log x) (log 2.0)) (log y))))))>
5.148 * * * * [progress]: [ 4 / 83 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log (- x y)) (- (+ (log (* x 2.0)) (log y))))))>
5.148 * * * * [progress]: [ 5 / 83 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log (- x y)) (- (log (* (* x 2.0) y))))))>
5.148 * * * * [progress]: [ 6 / 83 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log (- x y)) (- 0 (+ (+ (log x) (log 2.0)) (log y))))))>
5.148 * * * * [progress]: [ 7 / 83 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log (- x y)) (- 0 (+ (log (* x 2.0)) (log y))))))>
5.148 * * * * [progress]: [ 8 / 83 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log (- x y)) (- 0 (log (* (* x 2.0) y))))))>
5.149 * * * * [progress]: [ 9 / 83 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log (- x y)) (- (log 1) (+ (+ (log x) (log 2.0)) (log y))))))>
5.149 * * * * [progress]: [ 10 / 83 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log (- x y)) (- (log 1) (+ (log (* x 2.0)) (log y))))))>
5.149 * * * * [progress]: [ 11 / 83 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log (- x y)) (- (log 1) (log (* (* x 2.0) y))))))>
5.149 * * * * [progress]: [ 12 / 83 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log (- x y)) (log (/ 1 (* (* x 2.0) y))))))>
5.149 * * * * [progress]: [ 13 / 83 ] simplifiying candidate #<alt (λ (x y) (exp (log (* (- x y) (/ 1 (* (* x 2.0) y))))))>
5.149 * * * * [progress]: [ 14 / 83 ] simplifiying candidate #<alt (λ (x y) (log (exp (* (- x y) (/ 1 (* (* x 2.0) y))))))>
5.149 * * * * [progress]: [ 15 / 83 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (- x y) (- x y)) (- x y)) (/ (* (* 1 1) 1) (* (* (* (* x x) x) (* (* 2.0 2.0) 2.0)) (* (* y y) y))))))>
5.149 * * * * [progress]: [ 16 / 83 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (- x y) (- x y)) (- x y)) (/ (* (* 1 1) 1) (* (* (* (* x 2.0) (* x 2.0)) (* x 2.0)) (* (* y y) y))))))>
5.149 * * * * [progress]: [ 17 / 83 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (- x y) (- x y)) (- x y)) (/ (* (* 1 1) 1) (* (* (* (* x 2.0) y) (* (* x 2.0) y)) (* (* x 2.0) y))))))>
5.149 * * * * [progress]: [ 18 / 83 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (- x y) (- x y)) (- x y)) (* (* (/ 1 (* (* x 2.0) y)) (/ 1 (* (* x 2.0) y))) (/ 1 (* (* x 2.0) y))))))>
5.149 * * * * [progress]: [ 19 / 83 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (* (- x y) (/ 1 (* (* x 2.0) y)))) (cbrt (* (- x y) (/ 1 (* (* x 2.0) y))))) (cbrt (* (- x y) (/ 1 (* (* x 2.0) y))))))>
5.149 * * * * [progress]: [ 20 / 83 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (- x y) (/ 1 (* (* x 2.0) y))) (* (- x y) (/ 1 (* (* x 2.0) y)))) (* (- x y) (/ 1 (* (* x 2.0) y))))))>
5.149 * * * * [progress]: [ 21 / 83 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (* (- x y) (/ 1 (* (* x 2.0) y)))) (sqrt (* (- x y) (/ 1 (* (* x 2.0) y))))))>
5.149 * * * * [progress]: [ 22 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (- (pow x 3) (pow y 3)) 1) (* (+ (* x x) (+ (* y y) (* x y))) (* (* x 2.0) y))))>
5.150 * * * * [progress]: [ 23 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (- (* x x) (* y y)) 1) (* (+ x y) (* (* x 2.0) y))))>
5.150 * * * * [progress]: [ 24 / 83 ] simplifiying candidate #<alt (λ (x y) (* 1 (* (- x y) (/ 1 (* (* x 2.0) y)))))>
5.150 * * * * [progress]: [ 25 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (- x y) (* (* x 2.0) y)))>
5.150 * * * * [progress]: [ 26 / 83 ] simplifiying candidate #<alt (λ (x y) (* (* (sqrt (- x y)) (sqrt (/ 1 (* (* x 2.0) y)))) (* (sqrt (- x y)) (sqrt (/ 1 (* (* x 2.0) y))))))>
5.150 * * * * [progress]: [ 27 / 83 ] simplifiying candidate #<alt (λ (x y) (* (* (- x y) (* (cbrt (/ 1 (* (* x 2.0) y))) (cbrt (/ 1 (* (* x 2.0) y))))) (cbrt (/ 1 (* (* x 2.0) y)))))>
5.150 * * * * [progress]: [ 28 / 83 ] simplifiying candidate #<alt (λ (x y) (* (* (- x y) (sqrt (/ 1 (* (* x 2.0) y)))) (sqrt (/ 1 (* (* x 2.0) y)))))>
5.150 * * * * [progress]: [ 29 / 83 ] simplifiying candidate #<alt (λ (x y) (* (* (- x y) (/ (* (cbrt 1) (cbrt 1)) (* x 2.0))) (/ (cbrt 1) y)))>
5.150 * * * * [progress]: [ 30 / 83 ] simplifiying candidate #<alt (λ (x y) (* (* (- x y) (/ (sqrt 1) (* x 2.0))) (/ (sqrt 1) y)))>
5.150 * * * * [progress]: [ 31 / 83 ] simplifiying candidate #<alt (λ (x y) (* (* (- x y) (/ 1 (* x 2.0))) (/ 1 y)))>
5.150 * * * * [progress]: [ 32 / 83 ] simplifiying candidate #<alt (λ (x y) (* (* (- x y) 1) (/ 1 (* (* x 2.0) y))))>
5.150 * * * * [progress]: [ 33 / 83 ] simplifiying candidate #<alt (λ (x y) (* (* (- x y) 1) (/ 1 (* (* x 2.0) y))))>
5.150 * * * * [progress]: [ 34 / 83 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt (- x y)) (/ 1 (* (* x 2.0) y)))))>
5.150 * * * * [progress]: [ 35 / 83 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (- x y)) (* (sqrt (- x y)) (/ 1 (* (* x 2.0) y)))))>
5.150 * * * * [progress]: [ 36 / 83 ] simplifiying candidate #<alt (λ (x y) (* 1 (* (- x y) (/ 1 (* (* x 2.0) y)))))>
5.150 * * * * [progress]: [ 37 / 83 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt x) (sqrt y)) (* (- (sqrt x) (sqrt y)) (/ 1 (* (* x 2.0) y)))))>
5.150 * * * * [progress]: [ 38 / 83 ] simplifiying candidate #<alt (λ (x y) (* 1 (* (- x y) (/ 1 (* (* x 2.0) y)))))>
5.151 * * * * [progress]: [ 39 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (- x y) 1) (* (* x 2.0) y)))>
5.151 * * * * [progress]: [ 40 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (- (pow x 3) (pow y 3)) (/ 1 (* (* x 2.0) y))) (+ (* x x) (+ (* y y) (* x y)))))>
5.151 * * * * [progress]: [ 41 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (- (* x x) (* y y)) (/ 1 (* (* x 2.0) y))) (+ x y)))>
5.151 * * * * [progress]: [ 42 / 83 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (* (- x y) (/ 1 (* (* x 2.0) y))))))>
5.151 * * * * [progress]: [ 43 / 83 ] simplifiying candidate #<alt (λ (x y) (* (/ 1 (* (* x 2.0) y)) (- x y)))>
5.151 * * * * [progress]: [ 44 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (pow (* (* x 2.0) y) -1)))>
5.151 * * * * [progress]: [ 45 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (pow (* (* x 2.0) y) (- 1))))>
5.151 * * * * [progress]: [ 46 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (pow (* (* x 2.0) y) (- 1))))>
5.151 * * * * [progress]: [ 47 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (pow (* (* x 2.0) y) (- 1))))>
5.151 * * * * [progress]: [ 48 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (pow (/ 1 (* (* x 2.0) y)) 1)))>
5.151 * * * * [progress]: [ 49 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (exp (- (+ (+ (log x) (log 2.0)) (log y))))))>
5.151 * * * * [progress]: [ 50 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (exp (- (+ (log (* x 2.0)) (log y))))))>
5.151 * * * * [progress]: [ 51 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (exp (- (log (* (* x 2.0) y))))))>
5.151 * * * * [progress]: [ 52 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (exp (- 0 (+ (+ (log x) (log 2.0)) (log y))))))>
5.151 * * * * [progress]: [ 53 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (exp (- 0 (+ (log (* x 2.0)) (log y))))))>
5.151 * * * * [progress]: [ 54 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (exp (- 0 (log (* (* x 2.0) y))))))>
5.152 * * * * [progress]: [ 55 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (exp (- (log 1) (+ (+ (log x) (log 2.0)) (log y))))))>
5.152 * * * * [progress]: [ 56 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (exp (- (log 1) (+ (log (* x 2.0)) (log y))))))>
5.152 * * * * [progress]: [ 57 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (exp (- (log 1) (log (* (* x 2.0) y))))))>
5.152 * * * * [progress]: [ 58 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (exp (log (/ 1 (* (* x 2.0) y))))))>
5.152 * * * * [progress]: [ 59 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (log (exp (/ 1 (* (* x 2.0) y))))))>
5.152 * * * * [progress]: [ 60 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (cbrt (/ (* (* 1 1) 1) (* (* (* (* x x) x) (* (* 2.0 2.0) 2.0)) (* (* y y) y))))))>
5.152 * * * * [progress]: [ 61 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (cbrt (/ (* (* 1 1) 1) (* (* (* (* x 2.0) (* x 2.0)) (* x 2.0)) (* (* y y) y))))))>
5.152 * * * * [progress]: [ 62 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (cbrt (/ (* (* 1 1) 1) (* (* (* (* x 2.0) y) (* (* x 2.0) y)) (* (* x 2.0) y))))))>
5.152 * * * * [progress]: [ 63 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (* (* (cbrt (/ 1 (* (* x 2.0) y))) (cbrt (/ 1 (* (* x 2.0) y)))) (cbrt (/ 1 (* (* x 2.0) y))))))>
5.152 * * * * [progress]: [ 64 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (cbrt (* (* (/ 1 (* (* x 2.0) y)) (/ 1 (* (* x 2.0) y))) (/ 1 (* (* x 2.0) y))))))>
5.152 * * * * [progress]: [ 65 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (* (sqrt (/ 1 (* (* x 2.0) y))) (sqrt (/ 1 (* (* x 2.0) y))))))>
5.152 * * * * [progress]: [ 66 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (/ (- 1) (- (* (* x 2.0) y)))))>
5.152 * * * * [progress]: [ 67 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (* (/ (* (cbrt 1) (cbrt 1)) (* x 2.0)) (/ (cbrt 1) y))))>
5.152 * * * * [progress]: [ 68 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (* (/ (sqrt 1) (* x 2.0)) (/ (sqrt 1) y))))>
5.152 * * * * [progress]: [ 69 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (* (/ 1 (* x 2.0)) (/ 1 y))))>
5.152 * * * * [progress]: [ 70 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (* 1 (/ 1 (* (* x 2.0) y)))))>
5.152 * * * * [progress]: [ 71 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (* 1 (/ 1 (* (* x 2.0) y)))))>
5.153 * * * * [progress]: [ 72 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (/ 1 (/ (* (* x 2.0) y) 1))))>
5.153 * * * * [progress]: [ 73 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (/ (/ 1 (* x 2.0)) y)))>
5.153 * * * * [progress]: [ 74 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (/ (* (cbrt 1) (cbrt 1)) (/ (* (* x 2.0) y) (cbrt 1)))))>
5.153 * * * * [progress]: [ 75 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (/ (sqrt 1) (/ (* (* x 2.0) y) (sqrt 1)))))>
5.153 * * * * [progress]: [ 76 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (/ 1 (/ (* (* x 2.0) y) 1))))>
5.153 * * * * [progress]: [ 77 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (posit16->real (real->posit16 (/ 1 (* (* x 2.0) y))))))>
5.153 * * * * [progress]: [ 78 / 83 ] simplifiying candidate #<alt (λ (x y) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))))>
5.153 * * * * [progress]: [ 79 / 83 ] simplifiying candidate #<alt (λ (x y) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))))>
5.153 * * * * [progress]: [ 80 / 83 ] simplifiying candidate #<alt (λ (x y) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))))>
5.153 * * * * [progress]: [ 81 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (/ 0.5 (* x y))))>
5.153 * * * * [progress]: [ 82 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (/ 0.5 (* x y))))>
5.153 * * * * [progress]: [ 83 / 83 ] simplifiying candidate #<alt (λ (x y) (* (- x y) (/ 0.5 (* x y))))>
5.154 * [simplify]: Simplifying:
  (* (- x y) (/ 1 (* (* 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)) (- 0 (+ (+ (log x) (log 2.0)) (log y))))
  (+ (log (- x y)) (- 0 (+ (log (* x 2.0)) (log y))))
  (+ (log (- x y)) (- 0 (log (* (* x 2.0) y))))
  (+ (log (- x y)) (- (log 1) (+ (+ (log x) (log 2.0)) (log y))))
  (+ (log (- x y)) (- (log 1) (+ (log (* x 2.0)) (log y))))
  (+ (log (- x y)) (- (log 1) (log (* (* x 2.0) y))))
  (+ (log (- x y)) (log (/ 1 (* (* x 2.0) y))))
  (log (* (- x y) (/ 1 (* (* x 2.0) y))))
  (exp (* (- x y) (/ 1 (* (* x 2.0) y))))
  (* (* (* (- x y) (- x y)) (- x y)) (/ (* (* 1 1) 1) (* (* (* (* x x) x) (* (* 2.0 2.0) 2.0)) (* (* y y) y))))
  (* (* (* (- x y) (- x y)) (- x y)) (/ (* (* 1 1) 1) (* (* (* (* x 2.0) (* x 2.0)) (* x 2.0)) (* (* y y) y))))
  (* (* (* (- x y) (- x y)) (- x y)) (/ (* (* 1 1) 1) (* (* (* (* x 2.0) y) (* (* x 2.0) y)) (* (* x 2.0) y))))
  (* (* (* (- x y) (- x y)) (- x y)) (* (* (/ 1 (* (* x 2.0) y)) (/ 1 (* (* x 2.0) y))) (/ 1 (* (* x 2.0) y))))
  (* (cbrt (* (- x y) (/ 1 (* (* x 2.0) y)))) (cbrt (* (- x y) (/ 1 (* (* x 2.0) y)))))
  (cbrt (* (- x y) (/ 1 (* (* x 2.0) y))))
  (* (* (* (- x y) (/ 1 (* (* x 2.0) y))) (* (- x y) (/ 1 (* (* x 2.0) y)))) (* (- x y) (/ 1 (* (* x 2.0) y))))
  (sqrt (* (- x y) (/ 1 (* (* x 2.0) y))))
  (sqrt (* (- x y) (/ 1 (* (* x 2.0) y))))
  (* (- (pow x 3) (pow y 3)) 1)
  (* (+ (* x x) (+ (* y y) (* x y))) (* (* x 2.0) y))
  (* (- (* x x) (* y y)) 1)
  (* (+ x y) (* (* x 2.0) y))
  (* (sqrt (- x y)) (sqrt (/ 1 (* (* x 2.0) y))))
  (* (sqrt (- x y)) (sqrt (/ 1 (* (* x 2.0) y))))
  (* (- x y) (* (cbrt (/ 1 (* (* x 2.0) y))) (cbrt (/ 1 (* (* x 2.0) y)))))
  (* (- x y) (sqrt (/ 1 (* (* x 2.0) y))))
  (* (- x y) (/ (* (cbrt 1) (cbrt 1)) (* x 2.0)))
  (* (- x y) (/ (sqrt 1) (* x 2.0)))
  (* (- x y) (/ 1 (* x 2.0)))
  (* (- x y) 1)
  (* (- x y) 1)
  (* (cbrt (- x y)) (/ 1 (* (* x 2.0) y)))
  (* (sqrt (- x y)) (/ 1 (* (* x 2.0) y)))
  (* (- x y) (/ 1 (* (* x 2.0) y)))
  (* (- (sqrt x) (sqrt y)) (/ 1 (* (* x 2.0) y)))
  (* (- x y) (/ 1 (* (* x 2.0) y)))
  (* (- x y) 1)
  (* (- (pow x 3) (pow y 3)) (/ 1 (* (* x 2.0) y)))
  (* (- (* x x) (* y y)) (/ 1 (* (* x 2.0) y)))
  (real->posit16 (* (- x y) (/ 1 (* (* x 2.0) y))))
  (- 1)
  (- 1)
  (- 1)
  (- (+ (+ (log x) (log 2.0)) (log y)))
  (- (+ (log (* x 2.0)) (log y)))
  (- (log (* (* x 2.0) y)))
  (- 0 (+ (+ (log x) (log 2.0)) (log y)))
  (- 0 (+ (log (* x 2.0)) (log y)))
  (- 0 (log (* (* x 2.0) y)))
  (- (log 1) (+ (+ (log x) (log 2.0)) (log y)))
  (- (log 1) (+ (log (* x 2.0)) (log y)))
  (- (log 1) (log (* (* x 2.0) y)))
  (log (/ 1 (* (* x 2.0) y)))
  (exp (/ 1 (* (* x 2.0) y)))
  (/ (* (* 1 1) 1) (* (* (* (* x x) x) (* (* 2.0 2.0) 2.0)) (* (* y y) y)))
  (/ (* (* 1 1) 1) (* (* (* (* x 2.0) (* x 2.0)) (* x 2.0)) (* (* y y) y)))
  (/ (* (* 1 1) 1) (* (* (* (* x 2.0) y) (* (* x 2.0) y)) (* (* x 2.0) y)))
  (* (cbrt (/ 1 (* (* x 2.0) y))) (cbrt (/ 1 (* (* x 2.0) y))))
  (cbrt (/ 1 (* (* x 2.0) y)))
  (* (* (/ 1 (* (* x 2.0) y)) (/ 1 (* (* x 2.0) y))) (/ 1 (* (* x 2.0) y)))
  (sqrt (/ 1 (* (* x 2.0) y)))
  (sqrt (/ 1 (* (* x 2.0) y)))
  (- 1)
  (- (* (* x 2.0) y))
  (/ (* (cbrt 1) (cbrt 1)) (* x 2.0))
  (/ (cbrt 1) y)
  (/ (sqrt 1) (* x 2.0))
  (/ (sqrt 1) y)
  (/ 1 (* x 2.0))
  (/ 1 y)
  (/ 1 (* (* x 2.0) y))
  (/ (* (* x 2.0) y) 1)
  (/ 1 (* x 2.0))
  (/ (* (* x 2.0) y) (cbrt 1))
  (/ (* (* x 2.0) y) (sqrt 1))
  (/ (* (* x 2.0) y) 1)
  (real->posit16 (/ 1 (* (* 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.5 (* x y))
  (/ 0.5 (* x y))
  (/ 0.5 (* x y))
5.156 * * [simplify]: iteration 0: 129 enodes
5.197 * * [simplify]: iteration 1: 348 enodes
5.339 * * [simplify]: iteration 2: 1412 enodes
5.775 * * [simplify]: iteration complete: 5138 enodes
5.775 * * [simplify]: Extracting #0: cost 37 inf + 0
5.777 * * [simplify]: Extracting #1: cost 1186 inf + 1
5.784 * * [simplify]: Extracting #2: cost 1829 inf + 2463
5.806 * * [simplify]: Extracting #3: cost 1310 inf + 90276
5.903 * * [simplify]: Extracting #4: cost 259 inf + 345061
6.040 * * [simplify]: Extracting #5: cost 8 inf + 425754
6.149 * * [simplify]: Extracting #6: cost 0 inf + 428763
6.271 * [simplify]: Simplified to:
  (/ (/ (- x y) y) (* 2.0 x))
  (log (/ (/ (- x y) y) (* 2.0 x)))
  (log (/ (/ (- x y) y) (* 2.0 x)))
  (log (/ (/ (- x y) y) (* 2.0 x)))
  (log (/ (/ (- x y) y) (* 2.0 x)))
  (log (/ (/ (- x y) y) (* 2.0 x)))
  (log (/ (/ (- x y) y) (* 2.0 x)))
  (log (/ (/ (- x y) y) (* 2.0 x)))
  (log (/ (/ (- x y) y) (* 2.0 x)))
  (log (/ (/ (- x y) y) (* 2.0 x)))
  (log (/ (/ (- x y) y) (* 2.0 x)))
  (log (/ (/ (- x y) y) (* 2.0 x)))
  (exp (/ (/ (- x y) y) (* 2.0 x)))
  (* (* (/ (/ (- x y) y) (* 2.0 x)) (/ (/ (- x y) y) (* 2.0 x))) (/ (/ (- x y) y) (* 2.0 x)))
  (* (* (/ (/ (- x y) y) (* 2.0 x)) (/ (/ (- x y) y) (* 2.0 x))) (/ (/ (- x y) y) (* 2.0 x)))
  (* (* (/ (/ (- x y) y) (* 2.0 x)) (/ (/ (- x y) y) (* 2.0 x))) (/ (/ (- x y) y) (* 2.0 x)))
  (* (* (/ (/ (- x y) y) (* 2.0 x)) (/ (/ (- x y) y) (* 2.0 x))) (/ (/ (- x y) y) (* 2.0 x)))
  (* (cbrt (/ (/ (- x y) y) (* 2.0 x))) (cbrt (/ (/ (- x y) y) (* 2.0 x))))
  (cbrt (/ (/ (- x y) y) (* 2.0 x)))
  (* (* (/ (/ (- x y) y) (* 2.0 x)) (/ (/ (- x y) y) (* 2.0 x))) (/ (/ (- x y) y) (* 2.0 x)))
  (sqrt (/ (/ (- x y) y) (* 2.0 x)))
  (sqrt (/ (/ (- x y) y) (* 2.0 x)))
  (- (* x (* x x)) (* (* y y) y))
  (* (* (* x y) 2.0) (+ (+ (* x x) (* x y)) (* y y)))
  (* (+ y x) (- x y))
  (* (* (+ y x) y) (* 2.0 x))
  (* (sqrt (- x y)) (sqrt (/ (/ 1 x) (* y 2.0))))
  (* (sqrt (- x y)) (sqrt (/ (/ 1 x) (* y 2.0))))
  (* (* (cbrt (/ (/ 1 x) (* y 2.0))) (- x y)) (cbrt (/ (/ 1 x) (* y 2.0))))
  (* (sqrt (/ (/ 1 x) (* y 2.0))) (- x y))
  (/ (- x y) (* 2.0 x))
  (/ (- x y) (* 2.0 x))
  (/ (- x y) (* 2.0 x))
  (- x y)
  (- x y)
  (/ (/ (cbrt (- x y)) (* 2.0 x)) y)
  (/ (sqrt (- x y)) (* (* x y) 2.0))
  (/ (/ (- x y) y) (* 2.0 x))
  (/ (/ (- (sqrt x) (sqrt y)) y) (* 2.0 x))
  (/ (/ (- x y) y) (* 2.0 x))
  (- x y)
  (/ (- (* x (* x x)) (* (* y y) y)) (* (* x y) 2.0))
  (* (/ (+ y x) (* 2.0 x)) (/ (- x y) y))
  (real->posit16 (/ (/ (- x y) y) (* 2.0 x)))
  -1
  -1
  -1
  (- (log (* (* x y) 2.0)))
  (- (log (* (* x y) 2.0)))
  (- (log (* (* x y) 2.0)))
  (- (log (* (* x y) 2.0)))
  (- (log (* (* x y) 2.0)))
  (- (log (* (* x y) 2.0)))
  (- (log (* (* x y) 2.0)))
  (- (log (* (* x y) 2.0)))
  (- (log (* (* x y) 2.0)))
  (- (log (* (* x y) 2.0)))
  (exp (/ (/ 1 x) (* y 2.0)))
  (/ (/ 1 (* (* (* x y) 2.0) (* (* x y) 2.0))) (* (* x y) 2.0))
  (/ (/ 1 (* (* (* x y) 2.0) (* (* x y) 2.0))) (* (* x y) 2.0))
  (/ (/ 1 (* (* (* x y) 2.0) (* (* x y) 2.0))) (* (* x y) 2.0))
  (* (cbrt (/ (/ 1 x) (* y 2.0))) (cbrt (/ (/ 1 x) (* y 2.0))))
  (cbrt (/ (/ 1 x) (* y 2.0)))
  (/ (/ 1 (* (* (* x y) 2.0) (* (* x y) 2.0))) (* (* x y) 2.0))
  (sqrt (/ (/ 1 x) (* y 2.0)))
  (sqrt (/ (/ 1 x) (* y 2.0)))
  -1
  (* (* 2.0 (- x)) y)
  (/ 1 (* 2.0 x))
  (/ 1 y)
  (/ 1 (* 2.0 x))
  (/ 1 y)
  (/ 1 (* 2.0 x))
  (/ 1 y)
  (/ (/ 1 x) (* y 2.0))
  (* (* x y) 2.0)
  (/ 1 (* 2.0 x))
  (* (* x y) 2.0)
  (* (* x y) 2.0)
  (* (* x y) 2.0)
  (real->posit16 (/ (/ 1 x) (* y 2.0)))
  (- (/ 0.5 y) (/ 0.5 x))
  (- (/ 0.5 y) (/ 0.5 x))
  (- (/ 0.5 y) (/ 0.5 x))
  (/ 0.5 (* x y))
  (/ 0.5 (* x y))
  (/ 0.5 (* x y))
6.275 * * * [progress]: adding candidates to table
6.473 * [progress]: [Phase 3 of 3] Extracting.
6.473 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (/ 1 (* x 2.0)) (/ (- x y) y)))> #<alt (λ (x y) (* (- x y) (/ 1 (* (* x 2.0) y))))> #<alt (λ (x y) (- (/ 0.5 y) (/ 0.5 x)))>)
6.473 * * * [regime-changes]: Trying 2 branch expressions: (y x)
6.473 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (/ 1 (* x 2.0)) (/ (- x y) y)))> #<alt (λ (x y) (* (- x y) (/ 1 (* (* x 2.0) y))))> #<alt (λ (x y) (- (/ 0.5 y) (/ 0.5 x)))>)
6.514 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (/ 1 (* x 2.0)) (/ (- x y) y)))> #<alt (λ (x y) (* (- x y) (/ 1 (* (* x 2.0) y))))> #<alt (λ (x y) (- (/ 0.5 y) (/ 0.5 x)))>)
6.546 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
6.546 * [simplify]: Simplifying:
  (- (/ 0.5 y) (/ 0.5 x))
6.546 * * [simplify]: iteration 0: 6 enodes
6.547 * * [simplify]: iteration complete: 6 enodes
6.547 * * [simplify]: Extracting #0: cost 1 inf + 0
6.547 * * [simplify]: Extracting #1: cost 3 inf + 0
6.547 * * [simplify]: Extracting #2: cost 6 inf + 0
6.547 * * [simplify]: Extracting #3: cost 3 inf + 3
6.547 * * [simplify]: Extracting #4: cost 0 inf + 210
6.547 * [simplify]: Simplified to:
  (- (/ 0.5 y) (/ 0.5 x))
7.285 * [regime-testing]: Baseline error score: 0.014949989061222798
7.287 * [regime-testing]: Oracle error score: 0.007125890736342043
7.291 * [regime-testing]: End program error score: 0.014949989061222798
7.331 * [regime-testing]: Target error score: 0.014949989061222798