59.026 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.027 * * * [progress]: [2/2] Setting up program.
0.032 * [progress]: [Phase 2 of 3] Improving.
0.033 * [simplify]: Simplifying:
  (- (* (+ x 1.0) y) x)
0.033 * * [simplify]: iteration 0: 6 enodes
0.035 * * [simplify]: iteration 1: 11 enodes
0.038 * * [simplify]: iteration 2: 21 enodes
0.045 * * [simplify]: iteration 3: 49 enodes
0.059 * * [simplify]: iteration 4: 89 enodes
0.074 * * [simplify]: iteration 5: 103 enodes
0.088 * * [simplify]: iteration 6: 115 enodes
0.107 * * [simplify]: iteration 7: 135 enodes
0.135 * * [simplify]: iteration 8: 185 enodes
0.197 * * [simplify]: iteration 9: 525 enodes
0.668 * * [simplify]: iteration 10: 3199 enodes
6.169 * * [simplify]: iteration complete: 5000 enodes
6.169 * * [simplify]: Extracting #0: cost 1 inf + 0
6.174 * * [simplify]: Extracting #1: cost 380 inf + 0
6.184 * * [simplify]: Extracting #2: cost 718 inf + 717
6.195 * * [simplify]: Extracting #3: cost 28 inf + 4335
6.200 * * [simplify]: Extracting #4: cost 0 inf + 4565
6.206 * [simplify]: Simplified to:
  (fma (+ 1.0 x) y (- x))
6.210 * * [progress]: iteration 1 / 4
6.210 * * * [progress]: picking best candidate
6.213 * * * * [pick]: Picked  #<alt (λ (x y) (- (* (+ x 1.0) y) x))>
6.213 * * * [progress]: localizing error
6.221 * * * [progress]: generating rewritten candidates
6.221 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
6.252 * * * [progress]: generating series expansions
6.252 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
6.252 * [backup-simplify]: Simplify (* (+ x 1.0) y) into (* y (+ x 1.0))
6.252 * [approximate]: Taking taylor expansion of (* y (+ x 1.0)) in (x y) around 0
6.252 * [taylor]: Taking taylor expansion of (* y (+ x 1.0)) in y
6.252 * [taylor]: Taking taylor expansion of y in y
6.252 * [backup-simplify]: Simplify 0 into 0
6.252 * [backup-simplify]: Simplify 1 into 1
6.252 * [taylor]: Taking taylor expansion of (+ x 1.0) in y
6.252 * [taylor]: Taking taylor expansion of x in y
6.253 * [backup-simplify]: Simplify x into x
6.253 * [taylor]: Taking taylor expansion of 1.0 in y
6.253 * [backup-simplify]: Simplify 1.0 into 1.0
6.253 * [taylor]: Taking taylor expansion of (* y (+ x 1.0)) in x
6.253 * [taylor]: Taking taylor expansion of y in x
6.253 * [backup-simplify]: Simplify y into y
6.253 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
6.253 * [taylor]: Taking taylor expansion of x in x
6.253 * [backup-simplify]: Simplify 0 into 0
6.253 * [backup-simplify]: Simplify 1 into 1
6.253 * [taylor]: Taking taylor expansion of 1.0 in x
6.253 * [backup-simplify]: Simplify 1.0 into 1.0
6.253 * [taylor]: Taking taylor expansion of (* y (+ x 1.0)) in x
6.253 * [taylor]: Taking taylor expansion of y in x
6.253 * [backup-simplify]: Simplify y into y
6.253 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
6.253 * [taylor]: Taking taylor expansion of x in x
6.253 * [backup-simplify]: Simplify 0 into 0
6.253 * [backup-simplify]: Simplify 1 into 1
6.253 * [taylor]: Taking taylor expansion of 1.0 in x
6.253 * [backup-simplify]: Simplify 1.0 into 1.0
6.253 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.254 * [backup-simplify]: Simplify (* y 1.0) into (* 1.0 y)
6.254 * [taylor]: Taking taylor expansion of (* 1.0 y) in y
6.254 * [taylor]: Taking taylor expansion of 1.0 in y
6.254 * [backup-simplify]: Simplify 1.0 into 1.0
6.254 * [taylor]: Taking taylor expansion of y in y
6.254 * [backup-simplify]: Simplify 0 into 0
6.254 * [backup-simplify]: Simplify 1 into 1
6.254 * [backup-simplify]: Simplify (* 1.0 0) into 0
6.254 * [backup-simplify]: Simplify 0 into 0
6.254 * [backup-simplify]: Simplify (+ 1 0) into 1
6.255 * [backup-simplify]: Simplify (+ (* y 1) (* 0 1.0)) into y
6.255 * [taylor]: Taking taylor expansion of y in y
6.255 * [backup-simplify]: Simplify 0 into 0
6.255 * [backup-simplify]: Simplify 1 into 1
6.255 * [backup-simplify]: Simplify 0 into 0
6.256 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
6.256 * [backup-simplify]: Simplify 1.0 into 1.0
6.256 * [backup-simplify]: Simplify (+ 0 0) into 0
6.257 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 1.0))) into 0
6.257 * [taylor]: Taking taylor expansion of 0 in y
6.257 * [backup-simplify]: Simplify 0 into 0
6.257 * [backup-simplify]: Simplify 0 into 0
6.257 * [backup-simplify]: Simplify 1 into 1
6.257 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
6.257 * [backup-simplify]: Simplify 0 into 0
6.258 * [backup-simplify]: Simplify (+ 0 0) into 0
6.258 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0)))) into 0
6.258 * [taylor]: Taking taylor expansion of 0 in y
6.258 * [backup-simplify]: Simplify 0 into 0
6.258 * [backup-simplify]: Simplify 0 into 0
6.258 * [backup-simplify]: Simplify 0 into 0
6.258 * [backup-simplify]: Simplify 0 into 0
6.259 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
6.259 * [backup-simplify]: Simplify 0 into 0
6.259 * [backup-simplify]: Simplify (+ 0 0) into 0
6.260 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0))))) into 0
6.260 * [taylor]: Taking taylor expansion of 0 in y
6.260 * [backup-simplify]: Simplify 0 into 0
6.260 * [backup-simplify]: Simplify 0 into 0
6.260 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (* 1.0 (* y 1))) into (+ (* 1.0 y) (* x y))
6.260 * [backup-simplify]: Simplify (* (+ (/ 1 x) 1.0) (/ 1 y)) into (/ (+ (/ 1 x) 1.0) y)
6.260 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in (x y) around 0
6.260 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in y
6.260 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y
6.260 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.260 * [taylor]: Taking taylor expansion of x in y
6.260 * [backup-simplify]: Simplify x into x
6.260 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.260 * [taylor]: Taking taylor expansion of 1.0 in y
6.260 * [backup-simplify]: Simplify 1.0 into 1.0
6.260 * [taylor]: Taking taylor expansion of y in y
6.261 * [backup-simplify]: Simplify 0 into 0
6.261 * [backup-simplify]: Simplify 1 into 1
6.261 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ (/ 1 x) 1.0)
6.261 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 1.0) 1) into (+ (/ 1 x) 1.0)
6.261 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in x
6.261 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
6.261 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.261 * [taylor]: Taking taylor expansion of x in x
6.261 * [backup-simplify]: Simplify 0 into 0
6.261 * [backup-simplify]: Simplify 1 into 1
6.261 * [backup-simplify]: Simplify (/ 1 1) into 1
6.261 * [taylor]: Taking taylor expansion of 1.0 in x
6.261 * [backup-simplify]: Simplify 1.0 into 1.0
6.261 * [taylor]: Taking taylor expansion of y in x
6.261 * [backup-simplify]: Simplify y into y
6.261 * [backup-simplify]: Simplify (+ 1 0) into 1
6.261 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.261 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in x
6.261 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
6.261 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.261 * [taylor]: Taking taylor expansion of x in x
6.261 * [backup-simplify]: Simplify 0 into 0
6.262 * [backup-simplify]: Simplify 1 into 1
6.262 * [backup-simplify]: Simplify (/ 1 1) into 1
6.262 * [taylor]: Taking taylor expansion of 1.0 in x
6.262 * [backup-simplify]: Simplify 1.0 into 1.0
6.262 * [taylor]: Taking taylor expansion of y in x
6.262 * [backup-simplify]: Simplify y into y
6.262 * [backup-simplify]: Simplify (+ 1 0) into 1
6.262 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.262 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.262 * [taylor]: Taking taylor expansion of y in y
6.262 * [backup-simplify]: Simplify 0 into 0
6.262 * [backup-simplify]: Simplify 1 into 1
6.262 * [backup-simplify]: Simplify (/ 1 1) into 1
6.263 * [backup-simplify]: Simplify 1 into 1
6.263 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.263 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.263 * [backup-simplify]: Simplify (- (/ 1.0 y) (+ (* (/ 1 y) (/ 0 y)))) into (* 1.0 (/ 1 y))
6.263 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y
6.263 * [taylor]: Taking taylor expansion of 1.0 in y
6.263 * [backup-simplify]: Simplify 1.0 into 1.0
6.263 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.263 * [taylor]: Taking taylor expansion of y in y
6.263 * [backup-simplify]: Simplify 0 into 0
6.264 * [backup-simplify]: Simplify 1 into 1
6.264 * [backup-simplify]: Simplify (/ 1 1) into 1
6.264 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.264 * [backup-simplify]: Simplify 1.0 into 1.0
6.265 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.265 * [backup-simplify]: Simplify 0 into 0
6.265 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.265 * [backup-simplify]: Simplify (+ 0 0) into 0
6.265 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)))) into 0
6.265 * [taylor]: Taking taylor expansion of 0 in y
6.265 * [backup-simplify]: Simplify 0 into 0
6.266 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.266 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
6.266 * [backup-simplify]: Simplify 0 into 0
6.267 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.267 * [backup-simplify]: Simplify 0 into 0
6.271 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.271 * [backup-simplify]: Simplify (+ 0 0) into 0
6.272 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.272 * [taylor]: Taking taylor expansion of 0 in y
6.272 * [backup-simplify]: Simplify 0 into 0
6.272 * [backup-simplify]: Simplify 0 into 0
6.272 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.273 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
6.273 * [backup-simplify]: Simplify 0 into 0
6.274 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.274 * [backup-simplify]: Simplify 0 into 0
6.274 * [backup-simplify]: Simplify (+ (* 1.0 (* (/ 1 (/ 1 y)) 1)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (+ (* 1.0 y) (* x y))
6.274 * [backup-simplify]: Simplify (* (+ (/ 1 (- x)) 1.0) (/ 1 (- y))) into (* -1 (/ (- 1.0 (/ 1 x)) y))
6.274 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in (x y) around 0
6.274 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in y
6.274 * [taylor]: Taking taylor expansion of -1 in y
6.274 * [backup-simplify]: Simplify -1 into -1
6.274 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in y
6.274 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y
6.274 * [taylor]: Taking taylor expansion of 1.0 in y
6.274 * [backup-simplify]: Simplify 1.0 into 1.0
6.274 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.274 * [taylor]: Taking taylor expansion of x in y
6.274 * [backup-simplify]: Simplify x into x
6.274 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.274 * [taylor]: Taking taylor expansion of y in y
6.274 * [backup-simplify]: Simplify 0 into 0
6.274 * [backup-simplify]: Simplify 1 into 1
6.274 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
6.274 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x))
6.274 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 x)) 1) into (- 1.0 (/ 1 x))
6.274 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in x
6.274 * [taylor]: Taking taylor expansion of -1 in x
6.274 * [backup-simplify]: Simplify -1 into -1
6.274 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in x
6.274 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
6.274 * [taylor]: Taking taylor expansion of 1.0 in x
6.274 * [backup-simplify]: Simplify 1.0 into 1.0
6.274 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.274 * [taylor]: Taking taylor expansion of x in x
6.274 * [backup-simplify]: Simplify 0 into 0
6.274 * [backup-simplify]: Simplify 1 into 1
6.275 * [backup-simplify]: Simplify (/ 1 1) into 1
6.275 * [taylor]: Taking taylor expansion of y in x
6.275 * [backup-simplify]: Simplify y into y
6.275 * [backup-simplify]: Simplify (- 1) into -1
6.275 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.275 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
6.275 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in x
6.275 * [taylor]: Taking taylor expansion of -1 in x
6.275 * [backup-simplify]: Simplify -1 into -1
6.275 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in x
6.275 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
6.275 * [taylor]: Taking taylor expansion of 1.0 in x
6.276 * [backup-simplify]: Simplify 1.0 into 1.0
6.276 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.276 * [taylor]: Taking taylor expansion of x in x
6.276 * [backup-simplify]: Simplify 0 into 0
6.276 * [backup-simplify]: Simplify 1 into 1
6.276 * [backup-simplify]: Simplify (/ 1 1) into 1
6.276 * [taylor]: Taking taylor expansion of y in x
6.276 * [backup-simplify]: Simplify y into y
6.276 * [backup-simplify]: Simplify (- 1) into -1
6.276 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.276 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
6.277 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
6.277 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.277 * [taylor]: Taking taylor expansion of y in y
6.277 * [backup-simplify]: Simplify 0 into 0
6.277 * [backup-simplify]: Simplify 1 into 1
6.277 * [backup-simplify]: Simplify (/ 1 1) into 1
6.277 * [backup-simplify]: Simplify 1 into 1
6.278 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.278 * [backup-simplify]: Simplify (- 0) into 0
6.278 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.278 * [backup-simplify]: Simplify (- (/ 1.0 y) (+ (* (/ -1 y) (/ 0 y)))) into (* 1.0 (/ 1 y))
6.278 * [backup-simplify]: Simplify (+ (* -1 (* 1.0 (/ 1 y))) (* 0 (/ -1 y))) into (- (* 1.0 (/ 1 y)))
6.278 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y))) in y
6.278 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y
6.278 * [taylor]: Taking taylor expansion of 1.0 in y
6.278 * [backup-simplify]: Simplify 1.0 into 1.0
6.278 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.278 * [taylor]: Taking taylor expansion of y in y
6.278 * [backup-simplify]: Simplify 0 into 0
6.278 * [backup-simplify]: Simplify 1 into 1
6.279 * [backup-simplify]: Simplify (/ 1 1) into 1
6.279 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.279 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.279 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.280 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.280 * [backup-simplify]: Simplify 0 into 0
6.280 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.281 * [backup-simplify]: Simplify (- 0) into 0
6.281 * [backup-simplify]: Simplify (+ 0 0) into 0
6.281 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)))) into 0
6.282 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (* 1.0 (/ 1 y))) (* 0 (/ -1 y)))) into 0
6.282 * [taylor]: Taking taylor expansion of 0 in y
6.282 * [backup-simplify]: Simplify 0 into 0
6.282 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.283 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
6.283 * [backup-simplify]: Simplify (- 0) into 0
6.283 * [backup-simplify]: Simplify 0 into 0
6.284 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.284 * [backup-simplify]: Simplify 0 into 0
6.284 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.284 * [backup-simplify]: Simplify (- 0) into 0
6.285 * [backup-simplify]: Simplify (+ 0 0) into 0
6.285 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.286 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (* 1.0 (/ 1 y))) (* 0 (/ -1 y))))) into 0
6.286 * [taylor]: Taking taylor expansion of 0 in y
6.286 * [backup-simplify]: Simplify 0 into 0
6.286 * [backup-simplify]: Simplify 0 into 0
6.286 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.287 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
6.287 * [backup-simplify]: Simplify (- 0) into 0
6.287 * [backup-simplify]: Simplify 0 into 0
6.288 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.288 * [backup-simplify]: Simplify 0 into 0
6.288 * [backup-simplify]: Simplify (+ (* (- 1.0) (* (/ 1 (/ 1 (- y))) 1)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (+ (* 1.0 y) (* x y))
6.288 * * * [progress]: simplifying candidates
6.289 * [simplify]: Simplifying:
  (expm1 (* (+ x 1.0) y))
  (log1p (* (+ x 1.0) y))
  (* (+ x 1.0) y)
  (+ (log (+ x 1.0)) (log y))
  (log (* (+ x 1.0) y))
  (exp (* (+ x 1.0) y))
  (* (* (* (+ x 1.0) (+ x 1.0)) (+ x 1.0)) (* (* y y) y))
  (* (cbrt (* (+ x 1.0) y)) (cbrt (* (+ x 1.0) y)))
  (cbrt (* (+ x 1.0) y))
  (* (* (* (+ x 1.0) y) (* (+ x 1.0) y)) (* (+ x 1.0) y))
  (sqrt (* (+ x 1.0) y))
  (sqrt (* (+ x 1.0) y))
  (* (sqrt (+ x 1.0)) (sqrt y))
  (* (sqrt (+ x 1.0)) (sqrt y))
  (* (+ x 1.0) (* (cbrt y) (cbrt y)))
  (* (+ x 1.0) (sqrt y))
  (* (+ x 1.0) 1)
  (* (cbrt (+ x 1.0)) y)
  (* (sqrt (+ x 1.0)) y)
  (* (+ x 1.0) y)
  (* (+ x 1.0) y)
  (* (+ (pow x 3) (pow 1.0 3)) y)
  (* (- (* x x) (* 1.0 1.0)) y)
  (+ (* 1.0 y) (* x y))
  (+ (* 1.0 y) (* x y))
  (+ (* 1.0 y) (* x y))
6.289 * * [simplify]: iteration 0: 46 enodes
6.305 * * [simplify]: iteration 1: 116 enodes
6.341 * * [simplify]: iteration 2: 530 enodes
6.652 * * [simplify]: iteration complete: 5001 enodes
6.652 * * [simplify]: Extracting #0: cost 17 inf + 0
6.653 * * [simplify]: Extracting #1: cost 580 inf + 0
6.657 * * [simplify]: Extracting #2: cost 1910 inf + 139
6.664 * * [simplify]: Extracting #3: cost 1681 inf + 6443
6.672 * * [simplify]: Extracting #4: cost 99 inf + 17653
6.679 * * [simplify]: Extracting #5: cost 12 inf + 18536
6.689 * * [simplify]: Extracting #6: cost 4 inf + 18570
7.042 * * [simplify]: Extracting #7: cost 0 inf + 18590
7.056 * [simplify]: Simplified to:
  (expm1 (* y (+ x 1.0)))
  (log1p (* y (+ x 1.0)))
  (* y (+ x 1.0))
  (log (* y (+ x 1.0)))
  (log (* y (+ x 1.0)))
  (pow (exp (+ x 1.0)) y)
  (pow (* y (+ x 1.0)) 3)
  (* (cbrt (* y (+ x 1.0))) (cbrt (* y (+ x 1.0))))
  (cbrt (* y (+ x 1.0)))
  (pow (* y (+ x 1.0)) 3)
  (sqrt (* y (+ x 1.0)))
  (sqrt (* y (+ x 1.0)))
  (* (sqrt y) (sqrt (+ x 1.0)))
  (* (sqrt y) (sqrt (+ x 1.0)))
  (* (* (+ x 1.0) (cbrt y)) (cbrt y))
  (* (sqrt y) (+ x 1.0))
  (+ x 1.0)
  (* y (cbrt (+ x 1.0)))
  (* y (sqrt (+ x 1.0)))
  (* y (+ x 1.0))
  (* y (+ x 1.0))
  (* y (+ (pow x 3) (pow 1.0 3)))
  (* (+ x 1.0) (* (- x 1.0) y))
  (* y (+ x 1.0))
  (* y (+ x 1.0))
  (* y (+ x 1.0))
7.056 * * * [progress]: adding candidates to table
7.148 * * [progress]: iteration 2 / 4
7.149 * * * [progress]: picking best candidate
7.153 * * * * [pick]: Picked  #<alt (λ (x y) (- (/ (* (+ x 1.0) (* (- x 1.0) y)) (- x 1.0)) x))>
7.153 * * * [progress]: localizing error
7.181 * * * [progress]: generating rewritten candidates
7.181 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
7.255 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
7.306 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 2)
7.338 * * * [progress]: generating series expansions
7.338 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
7.338 * [backup-simplify]: Simplify (/ (* (+ x 1.0) (* (- x 1.0) y)) (- x 1.0)) into (* y (+ x 1.0))
7.338 * [approximate]: Taking taylor expansion of (* y (+ x 1.0)) in (x y) around 0
7.338 * [taylor]: Taking taylor expansion of (* y (+ x 1.0)) in y
7.338 * [taylor]: Taking taylor expansion of y in y
7.338 * [backup-simplify]: Simplify 0 into 0
7.338 * [backup-simplify]: Simplify 1 into 1
7.338 * [taylor]: Taking taylor expansion of (+ x 1.0) in y
7.338 * [taylor]: Taking taylor expansion of x in y
7.338 * [backup-simplify]: Simplify x into x
7.338 * [taylor]: Taking taylor expansion of 1.0 in y
7.338 * [backup-simplify]: Simplify 1.0 into 1.0
7.338 * [taylor]: Taking taylor expansion of (* y (+ x 1.0)) in x
7.338 * [taylor]: Taking taylor expansion of y in x
7.338 * [backup-simplify]: Simplify y into y
7.338 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
7.338 * [taylor]: Taking taylor expansion of x in x
7.338 * [backup-simplify]: Simplify 0 into 0
7.338 * [backup-simplify]: Simplify 1 into 1
7.338 * [taylor]: Taking taylor expansion of 1.0 in x
7.338 * [backup-simplify]: Simplify 1.0 into 1.0
7.338 * [taylor]: Taking taylor expansion of (* y (+ x 1.0)) in x
7.338 * [taylor]: Taking taylor expansion of y in x
7.338 * [backup-simplify]: Simplify y into y
7.338 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
7.339 * [taylor]: Taking taylor expansion of x in x
7.339 * [backup-simplify]: Simplify 0 into 0
7.339 * [backup-simplify]: Simplify 1 into 1
7.339 * [taylor]: Taking taylor expansion of 1.0 in x
7.339 * [backup-simplify]: Simplify 1.0 into 1.0
7.339 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
7.339 * [backup-simplify]: Simplify (* y 1.0) into (* 1.0 y)
7.339 * [taylor]: Taking taylor expansion of (* 1.0 y) in y
7.339 * [taylor]: Taking taylor expansion of 1.0 in y
7.339 * [backup-simplify]: Simplify 1.0 into 1.0
7.339 * [taylor]: Taking taylor expansion of y in y
7.339 * [backup-simplify]: Simplify 0 into 0
7.339 * [backup-simplify]: Simplify 1 into 1
7.340 * [backup-simplify]: Simplify (* 1.0 0) into 0
7.340 * [backup-simplify]: Simplify 0 into 0
7.340 * [backup-simplify]: Simplify (+ 1 0) into 1
7.340 * [backup-simplify]: Simplify (+ (* y 1) (* 0 1.0)) into y
7.340 * [taylor]: Taking taylor expansion of y in y
7.340 * [backup-simplify]: Simplify 0 into 0
7.340 * [backup-simplify]: Simplify 1 into 1
7.340 * [backup-simplify]: Simplify 0 into 0
7.341 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
7.341 * [backup-simplify]: Simplify 1.0 into 1.0
7.342 * [backup-simplify]: Simplify (+ 0 0) into 0
7.342 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 1.0))) into 0
7.342 * [taylor]: Taking taylor expansion of 0 in y
7.342 * [backup-simplify]: Simplify 0 into 0
7.342 * [backup-simplify]: Simplify 0 into 0
7.342 * [backup-simplify]: Simplify 1 into 1
7.343 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
7.343 * [backup-simplify]: Simplify 0 into 0
7.343 * [backup-simplify]: Simplify (+ 0 0) into 0
7.344 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0)))) into 0
7.344 * [taylor]: Taking taylor expansion of 0 in y
7.344 * [backup-simplify]: Simplify 0 into 0
7.344 * [backup-simplify]: Simplify 0 into 0
7.344 * [backup-simplify]: Simplify 0 into 0
7.344 * [backup-simplify]: Simplify 0 into 0
7.344 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.344 * [backup-simplify]: Simplify 0 into 0
7.345 * [backup-simplify]: Simplify (+ 0 0) into 0
7.345 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0))))) into 0
7.345 * [taylor]: Taking taylor expansion of 0 in y
7.345 * [backup-simplify]: Simplify 0 into 0
7.345 * [backup-simplify]: Simplify 0 into 0
7.346 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (* 1.0 (* y 1))) into (+ (* 1.0 y) (* x y))
7.346 * [backup-simplify]: Simplify (/ (* (+ (/ 1 x) 1.0) (* (- (/ 1 x) 1.0) (/ 1 y))) (- (/ 1 x) 1.0)) into (/ (+ (/ 1 x) 1.0) y)
7.346 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in (x y) around 0
7.346 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in y
7.346 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y
7.346 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.346 * [taylor]: Taking taylor expansion of x in y
7.346 * [backup-simplify]: Simplify x into x
7.346 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.346 * [taylor]: Taking taylor expansion of 1.0 in y
7.346 * [backup-simplify]: Simplify 1.0 into 1.0
7.346 * [taylor]: Taking taylor expansion of y in y
7.346 * [backup-simplify]: Simplify 0 into 0
7.346 * [backup-simplify]: Simplify 1 into 1
7.346 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ (/ 1 x) 1.0)
7.346 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 1.0) 1) into (+ (/ 1 x) 1.0)
7.346 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in x
7.346 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
7.346 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.346 * [taylor]: Taking taylor expansion of x in x
7.346 * [backup-simplify]: Simplify 0 into 0
7.346 * [backup-simplify]: Simplify 1 into 1
7.346 * [backup-simplify]: Simplify (/ 1 1) into 1
7.347 * [taylor]: Taking taylor expansion of 1.0 in x
7.347 * [backup-simplify]: Simplify 1.0 into 1.0
7.347 * [taylor]: Taking taylor expansion of y in x
7.347 * [backup-simplify]: Simplify y into y
7.347 * [backup-simplify]: Simplify (+ 1 0) into 1
7.347 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.347 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in x
7.347 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
7.347 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.347 * [taylor]: Taking taylor expansion of x in x
7.347 * [backup-simplify]: Simplify 0 into 0
7.347 * [backup-simplify]: Simplify 1 into 1
7.347 * [backup-simplify]: Simplify (/ 1 1) into 1
7.347 * [taylor]: Taking taylor expansion of 1.0 in x
7.347 * [backup-simplify]: Simplify 1.0 into 1.0
7.347 * [taylor]: Taking taylor expansion of y in x
7.347 * [backup-simplify]: Simplify y into y
7.348 * [backup-simplify]: Simplify (+ 1 0) into 1
7.348 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.348 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.348 * [taylor]: Taking taylor expansion of y in y
7.348 * [backup-simplify]: Simplify 0 into 0
7.348 * [backup-simplify]: Simplify 1 into 1
7.348 * [backup-simplify]: Simplify (/ 1 1) into 1
7.348 * [backup-simplify]: Simplify 1 into 1
7.349 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.349 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
7.349 * [backup-simplify]: Simplify (- (/ 1.0 y) (+ (* (/ 1 y) (/ 0 y)))) into (* 1.0 (/ 1 y))
7.349 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y
7.349 * [taylor]: Taking taylor expansion of 1.0 in y
7.349 * [backup-simplify]: Simplify 1.0 into 1.0
7.349 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.349 * [taylor]: Taking taylor expansion of y in y
7.349 * [backup-simplify]: Simplify 0 into 0
7.349 * [backup-simplify]: Simplify 1 into 1
7.350 * [backup-simplify]: Simplify (/ 1 1) into 1
7.350 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
7.350 * [backup-simplify]: Simplify 1.0 into 1.0
7.350 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.350 * [backup-simplify]: Simplify 0 into 0
7.351 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.351 * [backup-simplify]: Simplify (+ 0 0) into 0
7.351 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)))) into 0
7.351 * [taylor]: Taking taylor expansion of 0 in y
7.351 * [backup-simplify]: Simplify 0 into 0
7.352 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.352 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
7.352 * [backup-simplify]: Simplify 0 into 0
7.353 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.353 * [backup-simplify]: Simplify 0 into 0
7.353 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.354 * [backup-simplify]: Simplify (+ 0 0) into 0
7.354 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.354 * [taylor]: Taking taylor expansion of 0 in y
7.354 * [backup-simplify]: Simplify 0 into 0
7.354 * [backup-simplify]: Simplify 0 into 0
7.355 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.355 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
7.355 * [backup-simplify]: Simplify 0 into 0
7.356 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.356 * [backup-simplify]: Simplify 0 into 0
7.357 * [backup-simplify]: Simplify (+ (* 1.0 (* (/ 1 (/ 1 y)) 1)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (+ (* 1.0 y) (* x y))
7.357 * [backup-simplify]: Simplify (/ (* (+ (/ 1 (- x)) 1.0) (* (- (/ 1 (- x)) 1.0) (/ 1 (- y)))) (- (/ 1 (- x)) 1.0)) into (* -1 (/ (- 1.0 (/ 1 x)) y))
7.357 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in (x y) around 0
7.357 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in y
7.357 * [taylor]: Taking taylor expansion of -1 in y
7.357 * [backup-simplify]: Simplify -1 into -1
7.357 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in y
7.357 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y
7.357 * [taylor]: Taking taylor expansion of 1.0 in y
7.357 * [backup-simplify]: Simplify 1.0 into 1.0
7.357 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.357 * [taylor]: Taking taylor expansion of x in y
7.357 * [backup-simplify]: Simplify x into x
7.357 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.357 * [taylor]: Taking taylor expansion of y in y
7.357 * [backup-simplify]: Simplify 0 into 0
7.357 * [backup-simplify]: Simplify 1 into 1
7.358 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
7.358 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x))
7.358 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 x)) 1) into (- 1.0 (/ 1 x))
7.358 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in x
7.358 * [taylor]: Taking taylor expansion of -1 in x
7.358 * [backup-simplify]: Simplify -1 into -1
7.358 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in x
7.358 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
7.358 * [taylor]: Taking taylor expansion of 1.0 in x
7.358 * [backup-simplify]: Simplify 1.0 into 1.0
7.358 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.358 * [taylor]: Taking taylor expansion of x in x
7.358 * [backup-simplify]: Simplify 0 into 0
7.358 * [backup-simplify]: Simplify 1 into 1
7.358 * [backup-simplify]: Simplify (/ 1 1) into 1
7.358 * [taylor]: Taking taylor expansion of y in x
7.358 * [backup-simplify]: Simplify y into y
7.359 * [backup-simplify]: Simplify (- 1) into -1
7.359 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.359 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
7.359 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in x
7.359 * [taylor]: Taking taylor expansion of -1 in x
7.359 * [backup-simplify]: Simplify -1 into -1
7.359 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in x
7.359 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
7.359 * [taylor]: Taking taylor expansion of 1.0 in x
7.359 * [backup-simplify]: Simplify 1.0 into 1.0
7.359 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.359 * [taylor]: Taking taylor expansion of x in x
7.359 * [backup-simplify]: Simplify 0 into 0
7.359 * [backup-simplify]: Simplify 1 into 1
7.360 * [backup-simplify]: Simplify (/ 1 1) into 1
7.360 * [taylor]: Taking taylor expansion of y in x
7.360 * [backup-simplify]: Simplify y into y
7.360 * [backup-simplify]: Simplify (- 1) into -1
7.361 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.361 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
7.361 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
7.361 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.361 * [taylor]: Taking taylor expansion of y in y
7.361 * [backup-simplify]: Simplify 0 into 0
7.361 * [backup-simplify]: Simplify 1 into 1
7.361 * [backup-simplify]: Simplify (/ 1 1) into 1
7.361 * [backup-simplify]: Simplify 1 into 1
7.362 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.362 * [backup-simplify]: Simplify (- 0) into 0
7.363 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
7.363 * [backup-simplify]: Simplify (- (/ 1.0 y) (+ (* (/ -1 y) (/ 0 y)))) into (* 1.0 (/ 1 y))
7.363 * [backup-simplify]: Simplify (+ (* -1 (* 1.0 (/ 1 y))) (* 0 (/ -1 y))) into (- (* 1.0 (/ 1 y)))
7.363 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y))) in y
7.363 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y
7.363 * [taylor]: Taking taylor expansion of 1.0 in y
7.363 * [backup-simplify]: Simplify 1.0 into 1.0
7.363 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.363 * [taylor]: Taking taylor expansion of y in y
7.363 * [backup-simplify]: Simplify 0 into 0
7.363 * [backup-simplify]: Simplify 1 into 1
7.364 * [backup-simplify]: Simplify (/ 1 1) into 1
7.364 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
7.365 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
7.365 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
7.366 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.366 * [backup-simplify]: Simplify 0 into 0
7.367 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.367 * [backup-simplify]: Simplify (- 0) into 0
7.367 * [backup-simplify]: Simplify (+ 0 0) into 0
7.368 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)))) into 0
7.368 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (* 1.0 (/ 1 y))) (* 0 (/ -1 y)))) into 0
7.368 * [taylor]: Taking taylor expansion of 0 in y
7.368 * [backup-simplify]: Simplify 0 into 0
7.369 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.370 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
7.370 * [backup-simplify]: Simplify (- 0) into 0
7.370 * [backup-simplify]: Simplify 0 into 0
7.371 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.371 * [backup-simplify]: Simplify 0 into 0
7.372 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.373 * [backup-simplify]: Simplify (- 0) into 0
7.373 * [backup-simplify]: Simplify (+ 0 0) into 0
7.373 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.374 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (* 1.0 (/ 1 y))) (* 0 (/ -1 y))))) into 0
7.374 * [taylor]: Taking taylor expansion of 0 in y
7.374 * [backup-simplify]: Simplify 0 into 0
7.374 * [backup-simplify]: Simplify 0 into 0
7.375 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.376 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
7.377 * [backup-simplify]: Simplify (- 0) into 0
7.377 * [backup-simplify]: Simplify 0 into 0
7.378 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.378 * [backup-simplify]: Simplify 0 into 0
7.378 * [backup-simplify]: Simplify (+ (* (- 1.0) (* (/ 1 (/ 1 (- y))) 1)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (+ (* 1.0 y) (* x y))
7.379 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
7.379 * [backup-simplify]: Simplify (* (+ x 1.0) (* (- x 1.0) y)) into (* (- x 1.0) (* y (+ x 1.0)))
7.379 * [approximate]: Taking taylor expansion of (* (- x 1.0) (* y (+ x 1.0))) in (x y) around 0
7.379 * [taylor]: Taking taylor expansion of (* (- x 1.0) (* y (+ x 1.0))) in y
7.379 * [taylor]: Taking taylor expansion of (- x 1.0) in y
7.379 * [taylor]: Taking taylor expansion of x in y
7.379 * [backup-simplify]: Simplify x into x
7.379 * [taylor]: Taking taylor expansion of 1.0 in y
7.379 * [backup-simplify]: Simplify 1.0 into 1.0
7.379 * [taylor]: Taking taylor expansion of (* y (+ x 1.0)) in y
7.379 * [taylor]: Taking taylor expansion of y in y
7.379 * [backup-simplify]: Simplify 0 into 0
7.379 * [backup-simplify]: Simplify 1 into 1
7.379 * [taylor]: Taking taylor expansion of (+ x 1.0) in y
7.379 * [taylor]: Taking taylor expansion of x in y
7.379 * [backup-simplify]: Simplify x into x
7.379 * [taylor]: Taking taylor expansion of 1.0 in y
7.379 * [backup-simplify]: Simplify 1.0 into 1.0
7.379 * [taylor]: Taking taylor expansion of (* (- x 1.0) (* y (+ x 1.0))) in x
7.379 * [taylor]: Taking taylor expansion of (- x 1.0) in x
7.379 * [taylor]: Taking taylor expansion of x in x
7.379 * [backup-simplify]: Simplify 0 into 0
7.379 * [backup-simplify]: Simplify 1 into 1
7.379 * [taylor]: Taking taylor expansion of 1.0 in x
7.379 * [backup-simplify]: Simplify 1.0 into 1.0
7.379 * [taylor]: Taking taylor expansion of (* y (+ x 1.0)) in x
7.380 * [taylor]: Taking taylor expansion of y in x
7.380 * [backup-simplify]: Simplify y into y
7.380 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
7.380 * [taylor]: Taking taylor expansion of x in x
7.380 * [backup-simplify]: Simplify 0 into 0
7.380 * [backup-simplify]: Simplify 1 into 1
7.380 * [taylor]: Taking taylor expansion of 1.0 in x
7.380 * [backup-simplify]: Simplify 1.0 into 1.0
7.380 * [taylor]: Taking taylor expansion of (* (- x 1.0) (* y (+ x 1.0))) in x
7.380 * [taylor]: Taking taylor expansion of (- x 1.0) in x
7.380 * [taylor]: Taking taylor expansion of x in x
7.380 * [backup-simplify]: Simplify 0 into 0
7.380 * [backup-simplify]: Simplify 1 into 1
7.380 * [taylor]: Taking taylor expansion of 1.0 in x
7.380 * [backup-simplify]: Simplify 1.0 into 1.0
7.380 * [taylor]: Taking taylor expansion of (* y (+ x 1.0)) in x
7.380 * [taylor]: Taking taylor expansion of y in x
7.380 * [backup-simplify]: Simplify y into y
7.380 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
7.380 * [taylor]: Taking taylor expansion of x in x
7.380 * [backup-simplify]: Simplify 0 into 0
7.380 * [backup-simplify]: Simplify 1 into 1
7.380 * [taylor]: Taking taylor expansion of 1.0 in x
7.380 * [backup-simplify]: Simplify 1.0 into 1.0
7.381 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
7.382 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
7.382 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
7.382 * [backup-simplify]: Simplify (* y 1.0) into (* 1.0 y)
7.383 * [backup-simplify]: Simplify (* (- 1.0) (* 1.0 y)) into (* -1.0 y)
7.383 * [taylor]: Taking taylor expansion of (* -1.0 y) in y
7.383 * [taylor]: Taking taylor expansion of -1.0 in y
7.383 * [backup-simplify]: Simplify -1.0 into -1.0
7.383 * [taylor]: Taking taylor expansion of y in y
7.383 * [backup-simplify]: Simplify 0 into 0
7.383 * [backup-simplify]: Simplify 1 into 1
7.383 * [backup-simplify]: Simplify (* -1.0 0) into 0
7.383 * [backup-simplify]: Simplify 0 into 0
7.384 * [backup-simplify]: Simplify (+ 1 0) into 1
7.384 * [backup-simplify]: Simplify (+ (* y 1) (* 0 1.0)) into y
7.385 * [backup-simplify]: Simplify (- 0) into 0
7.385 * [backup-simplify]: Simplify (+ 1 0) into 1
7.386 * [backup-simplify]: Simplify (+ (* (- 1.0) y) (* 1 (* 1.0 y))) into 0
7.386 * [taylor]: Taking taylor expansion of 0 in y
7.386 * [backup-simplify]: Simplify 0 into 0
7.386 * [backup-simplify]: Simplify 0 into 0
7.387 * [backup-simplify]: Simplify (+ (* -1.0 1) (* 0 0)) into (- 1.0)
7.388 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
7.388 * [backup-simplify]: Simplify (+ 0 0) into 0
7.389 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 1.0))) into 0
7.389 * [backup-simplify]: Simplify (- 0) into 0
7.390 * [backup-simplify]: Simplify (+ 0 0) into 0
7.390 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 y) (* 0 (* 1.0 y)))) into y
7.390 * [taylor]: Taking taylor expansion of y in y
7.390 * [backup-simplify]: Simplify 0 into 0
7.390 * [backup-simplify]: Simplify 1 into 1
7.390 * [backup-simplify]: Simplify 0 into 0
7.390 * [backup-simplify]: Simplify 0 into 0
7.391 * [backup-simplify]: Simplify (+ (* -1.0 0) (+ (* 0 1) (* 0 0))) into 0
7.391 * [backup-simplify]: Simplify 0 into 0
7.392 * [backup-simplify]: Simplify (+ 0 0) into 0
7.393 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0)))) into 0
7.393 * [backup-simplify]: Simplify (- 0) into 0
7.394 * [backup-simplify]: Simplify (+ 0 0) into 0
7.395 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 y) (* 0 (* 1.0 y))))) into 0
7.395 * [taylor]: Taking taylor expansion of 0 in y
7.395 * [backup-simplify]: Simplify 0 into 0
7.395 * [backup-simplify]: Simplify 0 into 0
7.395 * [backup-simplify]: Simplify 1 into 1
7.395 * [backup-simplify]: Simplify 0 into 0
7.396 * [backup-simplify]: Simplify (+ (* -1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.396 * [backup-simplify]: Simplify 0 into 0
7.397 * [backup-simplify]: Simplify (+ 0 0) into 0
7.398 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0))))) into 0
7.398 * [backup-simplify]: Simplify (- 0) into 0
7.399 * [backup-simplify]: Simplify (+ 0 0) into 0
7.400 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 y) (* 0 (* 1.0 y)))))) into 0
7.400 * [taylor]: Taking taylor expansion of 0 in y
7.400 * [backup-simplify]: Simplify 0 into 0
7.400 * [backup-simplify]: Simplify 0 into 0
7.400 * [backup-simplify]: Simplify 0 into 0
7.400 * [backup-simplify]: Simplify 0 into 0
7.401 * [backup-simplify]: Simplify 0 into 0
7.401 * [backup-simplify]: Simplify (+ (* 1 (* y (pow x 2))) (* (- 1.0) (* y 1))) into (- (* (pow x 2) y) (* 1.0 y))
7.401 * [backup-simplify]: Simplify (* (+ (/ 1 x) 1.0) (* (- (/ 1 x) 1.0) (/ 1 y))) into (/ (* (+ (/ 1 x) 1.0) (- (/ 1 x) 1.0)) y)
7.402 * [approximate]: Taking taylor expansion of (/ (* (+ (/ 1 x) 1.0) (- (/ 1 x) 1.0)) y) in (x y) around 0
7.402 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) 1.0) (- (/ 1 x) 1.0)) y) in y
7.402 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (- (/ 1 x) 1.0)) in y
7.402 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y
7.402 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.402 * [taylor]: Taking taylor expansion of x in y
7.402 * [backup-simplify]: Simplify x into x
7.402 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.402 * [taylor]: Taking taylor expansion of 1.0 in y
7.402 * [backup-simplify]: Simplify 1.0 into 1.0
7.402 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in y
7.402 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.402 * [taylor]: Taking taylor expansion of x in y
7.402 * [backup-simplify]: Simplify x into x
7.402 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.402 * [taylor]: Taking taylor expansion of 1.0 in y
7.402 * [backup-simplify]: Simplify 1.0 into 1.0
7.402 * [taylor]: Taking taylor expansion of y in y
7.402 * [backup-simplify]: Simplify 0 into 0
7.402 * [backup-simplify]: Simplify 1 into 1
7.402 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ (/ 1 x) 1.0)
7.403 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
7.403 * [backup-simplify]: Simplify (+ (/ 1 x) (- 1.0)) into (- (/ 1 x) 1.0)
7.403 * [backup-simplify]: Simplify (* (+ (/ 1 x) 1.0) (- (/ 1 x) 1.0)) into (* (+ (/ 1 x) 1.0) (- (/ 1 x) 1.0))
7.403 * [backup-simplify]: Simplify (/ (* (+ (/ 1 x) 1.0) (- (/ 1 x) 1.0)) 1) into (* (+ (/ 1 x) 1.0) (- (/ 1 x) 1.0))
7.403 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) 1.0) (- (/ 1 x) 1.0)) y) in x
7.403 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (- (/ 1 x) 1.0)) in x
7.404 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
7.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.404 * [taylor]: Taking taylor expansion of x in x
7.404 * [backup-simplify]: Simplify 0 into 0
7.404 * [backup-simplify]: Simplify 1 into 1
7.404 * [backup-simplify]: Simplify (/ 1 1) into 1
7.404 * [taylor]: Taking taylor expansion of 1.0 in x
7.404 * [backup-simplify]: Simplify 1.0 into 1.0
7.404 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
7.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.404 * [taylor]: Taking taylor expansion of x in x
7.404 * [backup-simplify]: Simplify 0 into 0
7.404 * [backup-simplify]: Simplify 1 into 1
7.405 * [backup-simplify]: Simplify (/ 1 1) into 1
7.405 * [taylor]: Taking taylor expansion of 1.0 in x
7.405 * [backup-simplify]: Simplify 1.0 into 1.0
7.405 * [taylor]: Taking taylor expansion of y in x
7.405 * [backup-simplify]: Simplify y into y
7.405 * [backup-simplify]: Simplify (+ 1 0) into 1
7.406 * [backup-simplify]: Simplify (+ 1 0) into 1
7.406 * [backup-simplify]: Simplify (* 1 1) into 1
7.406 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.406 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) 1.0) (- (/ 1 x) 1.0)) y) in x
7.406 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (- (/ 1 x) 1.0)) in x
7.406 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
7.406 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.406 * [taylor]: Taking taylor expansion of x in x
7.406 * [backup-simplify]: Simplify 0 into 0
7.406 * [backup-simplify]: Simplify 1 into 1
7.407 * [backup-simplify]: Simplify (/ 1 1) into 1
7.407 * [taylor]: Taking taylor expansion of 1.0 in x
7.407 * [backup-simplify]: Simplify 1.0 into 1.0
7.407 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
7.407 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.407 * [taylor]: Taking taylor expansion of x in x
7.407 * [backup-simplify]: Simplify 0 into 0
7.407 * [backup-simplify]: Simplify 1 into 1
7.407 * [backup-simplify]: Simplify (/ 1 1) into 1
7.407 * [taylor]: Taking taylor expansion of 1.0 in x
7.407 * [backup-simplify]: Simplify 1.0 into 1.0
7.407 * [taylor]: Taking taylor expansion of y in x
7.407 * [backup-simplify]: Simplify y into y
7.408 * [backup-simplify]: Simplify (+ 1 0) into 1
7.408 * [backup-simplify]: Simplify (+ 1 0) into 1
7.409 * [backup-simplify]: Simplify (* 1 1) into 1
7.409 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.409 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.409 * [taylor]: Taking taylor expansion of y in y
7.409 * [backup-simplify]: Simplify 0 into 0
7.409 * [backup-simplify]: Simplify 1 into 1
7.409 * [backup-simplify]: Simplify (/ 1 1) into 1
7.409 * [backup-simplify]: Simplify 1 into 1
7.410 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.410 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
7.411 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
7.412 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.413 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
7.415 * [backup-simplify]: Simplify (+ (* 1 (- 1.0)) (* 1.0 1)) into 0
7.415 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
7.415 * [taylor]: Taking taylor expansion of 0 in y
7.415 * [backup-simplify]: Simplify 0 into 0
7.416 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.416 * [backup-simplify]: Simplify 0 into 0
7.417 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.417 * [backup-simplify]: Simplify (- 0) into 0
7.417 * [backup-simplify]: Simplify (+ 0 0) into 0
7.418 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.419 * [backup-simplify]: Simplify (+ 0 0) into 0
7.422 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1.0 (- 1.0)) (* 0 1))) into (- 1.0)
7.425 * [backup-simplify]: Simplify (- (/ (- 1.0) y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into (- (* 1.0 (/ 1 y)))
7.425 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y))) in y
7.425 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y
7.425 * [taylor]: Taking taylor expansion of 1.0 in y
7.425 * [backup-simplify]: Simplify 1.0 into 1.0
7.425 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.425 * [taylor]: Taking taylor expansion of y in y
7.425 * [backup-simplify]: Simplify 0 into 0
7.425 * [backup-simplify]: Simplify 1 into 1
7.425 * [backup-simplify]: Simplify (/ 1 1) into 1
7.426 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
7.426 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
7.427 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
7.427 * [backup-simplify]: Simplify 0 into 0
7.428 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.428 * [backup-simplify]: Simplify 0 into 0
7.429 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.429 * [backup-simplify]: Simplify (- 0) into 0
7.429 * [backup-simplify]: Simplify (+ 0 0) into 0
7.430 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.431 * [backup-simplify]: Simplify (+ 0 0) into 0
7.432 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1.0 0) (+ (* 0 (- 1.0)) (* 0 1)))) into 0
7.432 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* (- (* 1.0 (/ 1 y))) (/ 0 y)))) into 0
7.432 * [taylor]: Taking taylor expansion of 0 in y
7.432 * [backup-simplify]: Simplify 0 into 0
7.433 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.434 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
7.434 * [backup-simplify]: Simplify (- 0) into 0
7.434 * [backup-simplify]: Simplify 0 into 0
7.434 * [backup-simplify]: Simplify 0 into 0
7.435 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.435 * [backup-simplify]: Simplify 0 into 0
7.436 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.437 * [backup-simplify]: Simplify (- 0) into 0
7.437 * [backup-simplify]: Simplify (+ 0 0) into 0
7.438 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.438 * [backup-simplify]: Simplify (+ 0 0) into 0
7.439 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (* 0 1))))) into 0
7.439 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* (- (* 1.0 (/ 1 y))) (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.440 * [taylor]: Taking taylor expansion of 0 in y
7.440 * [backup-simplify]: Simplify 0 into 0
7.440 * [backup-simplify]: Simplify 0 into 0
7.440 * [backup-simplify]: Simplify (+ (* (- 1.0) (* (/ 1 (/ 1 y)) 1)) (* 1 (* (/ 1 (/ 1 y)) (pow (/ 1 x) -2)))) into (- (* (pow x 2) y) (* 1.0 y))
7.440 * [backup-simplify]: Simplify (* (+ (/ 1 (- x)) 1.0) (* (- (/ 1 (- x)) 1.0) (/ 1 (- y)))) into (/ (* (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0)) y)
7.440 * [approximate]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0)) y) in (x y) around 0
7.440 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0)) y) in y
7.440 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0)) in y
7.440 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y
7.440 * [taylor]: Taking taylor expansion of 1.0 in y
7.440 * [backup-simplify]: Simplify 1.0 into 1.0
7.440 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.440 * [taylor]: Taking taylor expansion of x in y
7.440 * [backup-simplify]: Simplify x into x
7.440 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.440 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y
7.441 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.441 * [taylor]: Taking taylor expansion of x in y
7.441 * [backup-simplify]: Simplify x into x
7.441 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.441 * [taylor]: Taking taylor expansion of 1.0 in y
7.441 * [backup-simplify]: Simplify 1.0 into 1.0
7.441 * [taylor]: Taking taylor expansion of y in y
7.441 * [backup-simplify]: Simplify 0 into 0
7.441 * [backup-simplify]: Simplify 1 into 1
7.441 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
7.441 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x))
7.441 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ (/ 1 x) 1.0)
7.441 * [backup-simplify]: Simplify (* (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0)) into (* (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0))
7.441 * [backup-simplify]: Simplify (/ (* (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0)) 1) into (* (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0))
7.441 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0)) y) in x
7.441 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0)) in x
7.441 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
7.441 * [taylor]: Taking taylor expansion of 1.0 in x
7.441 * [backup-simplify]: Simplify 1.0 into 1.0
7.441 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.441 * [taylor]: Taking taylor expansion of x in x
7.441 * [backup-simplify]: Simplify 0 into 0
7.441 * [backup-simplify]: Simplify 1 into 1
7.441 * [backup-simplify]: Simplify (/ 1 1) into 1
7.441 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
7.441 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.441 * [taylor]: Taking taylor expansion of x in x
7.441 * [backup-simplify]: Simplify 0 into 0
7.442 * [backup-simplify]: Simplify 1 into 1
7.442 * [backup-simplify]: Simplify (/ 1 1) into 1
7.442 * [taylor]: Taking taylor expansion of 1.0 in x
7.442 * [backup-simplify]: Simplify 1.0 into 1.0
7.442 * [taylor]: Taking taylor expansion of y in x
7.442 * [backup-simplify]: Simplify y into y
7.442 * [backup-simplify]: Simplify (- 1) into -1
7.442 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.443 * [backup-simplify]: Simplify (+ 1 0) into 1
7.443 * [backup-simplify]: Simplify (* -1 1) into -1
7.443 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
7.443 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0)) y) in x
7.443 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0)) in x
7.443 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
7.443 * [taylor]: Taking taylor expansion of 1.0 in x
7.443 * [backup-simplify]: Simplify 1.0 into 1.0
7.443 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.443 * [taylor]: Taking taylor expansion of x in x
7.443 * [backup-simplify]: Simplify 0 into 0
7.443 * [backup-simplify]: Simplify 1 into 1
7.443 * [backup-simplify]: Simplify (/ 1 1) into 1
7.443 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
7.444 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.444 * [taylor]: Taking taylor expansion of x in x
7.444 * [backup-simplify]: Simplify 0 into 0
7.444 * [backup-simplify]: Simplify 1 into 1
7.444 * [backup-simplify]: Simplify (/ 1 1) into 1
7.444 * [taylor]: Taking taylor expansion of 1.0 in x
7.444 * [backup-simplify]: Simplify 1.0 into 1.0
7.444 * [taylor]: Taking taylor expansion of y in x
7.444 * [backup-simplify]: Simplify y into y
7.444 * [backup-simplify]: Simplify (- 1) into -1
7.444 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.445 * [backup-simplify]: Simplify (+ 1 0) into 1
7.445 * [backup-simplify]: Simplify (* -1 1) into -1
7.445 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
7.445 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.445 * [taylor]: Taking taylor expansion of -1 in y
7.445 * [backup-simplify]: Simplify -1 into -1
7.445 * [taylor]: Taking taylor expansion of y in y
7.445 * [backup-simplify]: Simplify 0 into 0
7.445 * [backup-simplify]: Simplify 1 into 1
7.445 * [backup-simplify]: Simplify (/ -1 1) into -1
7.445 * [backup-simplify]: Simplify -1 into -1
7.446 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.446 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
7.447 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.447 * [backup-simplify]: Simplify (- 0) into 0
7.447 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
7.448 * [backup-simplify]: Simplify (+ (* -1 1.0) (* 1.0 1)) into 0
7.448 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
7.448 * [taylor]: Taking taylor expansion of 0 in y
7.448 * [backup-simplify]: Simplify 0 into 0
7.449 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.449 * [backup-simplify]: Simplify 0 into 0
7.450 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.450 * [backup-simplify]: Simplify (+ 0 0) into 0
7.450 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.451 * [backup-simplify]: Simplify (- 0) into 0
7.451 * [backup-simplify]: Simplify (+ 0 0) into 0
7.453 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 1.0 1.0) (* 0 1))) into 1.0
7.453 * [backup-simplify]: Simplify (- (/ 1.0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into (* 1.0 (/ 1 y))
7.453 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y
7.453 * [taylor]: Taking taylor expansion of 1.0 in y
7.453 * [backup-simplify]: Simplify 1.0 into 1.0
7.453 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.453 * [taylor]: Taking taylor expansion of y in y
7.453 * [backup-simplify]: Simplify 0 into 0
7.453 * [backup-simplify]: Simplify 1 into 1
7.453 * [backup-simplify]: Simplify (/ 1 1) into 1
7.453 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
7.454 * [backup-simplify]: Simplify 1.0 into 1.0
7.454 * [backup-simplify]: Simplify 0 into 0
7.454 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.454 * [backup-simplify]: Simplify 0 into 0
7.455 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.455 * [backup-simplify]: Simplify (+ 0 0) into 0
7.456 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.456 * [backup-simplify]: Simplify (- 0) into 0
7.456 * [backup-simplify]: Simplify (+ 0 0) into 0
7.457 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 1.0 0) (+ (* 0 1.0) (* 0 1)))) into 0
7.457 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)))) into 0
7.457 * [taylor]: Taking taylor expansion of 0 in y
7.457 * [backup-simplify]: Simplify 0 into 0
7.458 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.458 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
7.458 * [backup-simplify]: Simplify 0 into 0
7.458 * [backup-simplify]: Simplify 0 into 0
7.459 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.459 * [backup-simplify]: Simplify 0 into 0
7.459 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.460 * [backup-simplify]: Simplify (+ 0 0) into 0
7.460 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.460 * [backup-simplify]: Simplify (- 0) into 0
7.461 * [backup-simplify]: Simplify (+ 0 0) into 0
7.462 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1))))) into 0
7.462 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.462 * [taylor]: Taking taylor expansion of 0 in y
7.462 * [backup-simplify]: Simplify 0 into 0
7.462 * [backup-simplify]: Simplify 0 into 0
7.462 * [backup-simplify]: Simplify (+ (* 1.0 (* (/ 1 (/ 1 (- y))) 1)) (* -1 (* (/ 1 (/ 1 (- y))) (pow (/ 1 (- x)) -2)))) into (- (* (pow x 2) y) (* 1.0 y))
7.462 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 2)
7.462 * [backup-simplify]: Simplify (* (- x 1.0) y) into (* (- x 1.0) y)
7.462 * [approximate]: Taking taylor expansion of (* (- x 1.0) y) in (x y) around 0
7.462 * [taylor]: Taking taylor expansion of (* (- x 1.0) y) in y
7.462 * [taylor]: Taking taylor expansion of (- x 1.0) in y
7.462 * [taylor]: Taking taylor expansion of x in y
7.462 * [backup-simplify]: Simplify x into x
7.462 * [taylor]: Taking taylor expansion of 1.0 in y
7.462 * [backup-simplify]: Simplify 1.0 into 1.0
7.462 * [taylor]: Taking taylor expansion of y in y
7.462 * [backup-simplify]: Simplify 0 into 0
7.462 * [backup-simplify]: Simplify 1 into 1
7.462 * [taylor]: Taking taylor expansion of (* (- x 1.0) y) in x
7.462 * [taylor]: Taking taylor expansion of (- x 1.0) in x
7.462 * [taylor]: Taking taylor expansion of x in x
7.463 * [backup-simplify]: Simplify 0 into 0
7.463 * [backup-simplify]: Simplify 1 into 1
7.463 * [taylor]: Taking taylor expansion of 1.0 in x
7.463 * [backup-simplify]: Simplify 1.0 into 1.0
7.463 * [taylor]: Taking taylor expansion of y in x
7.463 * [backup-simplify]: Simplify y into y
7.463 * [taylor]: Taking taylor expansion of (* (- x 1.0) y) in x
7.463 * [taylor]: Taking taylor expansion of (- x 1.0) in x
7.463 * [taylor]: Taking taylor expansion of x in x
7.463 * [backup-simplify]: Simplify 0 into 0
7.463 * [backup-simplify]: Simplify 1 into 1
7.463 * [taylor]: Taking taylor expansion of 1.0 in x
7.463 * [backup-simplify]: Simplify 1.0 into 1.0
7.463 * [taylor]: Taking taylor expansion of y in x
7.463 * [backup-simplify]: Simplify y into y
7.463 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
7.464 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
7.464 * [backup-simplify]: Simplify (* (- 1.0) y) into (* -1.0 y)
7.464 * [taylor]: Taking taylor expansion of (* -1.0 y) in y
7.464 * [taylor]: Taking taylor expansion of -1.0 in y
7.464 * [backup-simplify]: Simplify -1.0 into -1.0
7.464 * [taylor]: Taking taylor expansion of y in y
7.464 * [backup-simplify]: Simplify 0 into 0
7.464 * [backup-simplify]: Simplify 1 into 1
7.464 * [backup-simplify]: Simplify (* -1.0 0) into 0
7.464 * [backup-simplify]: Simplify 0 into 0
7.465 * [backup-simplify]: Simplify (- 0) into 0
7.465 * [backup-simplify]: Simplify (+ 1 0) into 1
7.465 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (* 1 y)) into y
7.465 * [taylor]: Taking taylor expansion of y in y
7.465 * [backup-simplify]: Simplify 0 into 0
7.465 * [backup-simplify]: Simplify 1 into 1
7.465 * [backup-simplify]: Simplify 0 into 0
7.466 * [backup-simplify]: Simplify (+ (* -1.0 1) (* 0 0)) into (- 1.0)
7.466 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
7.467 * [backup-simplify]: Simplify (- 0) into 0
7.467 * [backup-simplify]: Simplify (+ 0 0) into 0
7.468 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (* 0 y))) into 0
7.468 * [taylor]: Taking taylor expansion of 0 in y
7.468 * [backup-simplify]: Simplify 0 into 0
7.468 * [backup-simplify]: Simplify 0 into 0
7.468 * [backup-simplify]: Simplify 1 into 1
7.468 * [backup-simplify]: Simplify (+ (* -1.0 0) (+ (* 0 1) (* 0 0))) into 0
7.468 * [backup-simplify]: Simplify 0 into 0
7.469 * [backup-simplify]: Simplify (- 0) into 0
7.469 * [backup-simplify]: Simplify (+ 0 0) into 0
7.470 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
7.470 * [taylor]: Taking taylor expansion of 0 in y
7.470 * [backup-simplify]: Simplify 0 into 0
7.470 * [backup-simplify]: Simplify 0 into 0
7.470 * [backup-simplify]: Simplify 0 into 0
7.470 * [backup-simplify]: Simplify 0 into 0
7.471 * [backup-simplify]: Simplify (+ (* -1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.471 * [backup-simplify]: Simplify 0 into 0
7.471 * [backup-simplify]: Simplify (- 0) into 0
7.472 * [backup-simplify]: Simplify (+ 0 0) into 0
7.473 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
7.473 * [taylor]: Taking taylor expansion of 0 in y
7.473 * [backup-simplify]: Simplify 0 into 0
7.473 * [backup-simplify]: Simplify 0 into 0
7.474 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (* (- 1.0) (* y 1))) into (- (* x y) (* 1.0 y))
7.474 * [backup-simplify]: Simplify (* (- (/ 1 x) 1.0) (/ 1 y)) into (/ (- (/ 1 x) 1.0) y)
7.474 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) 1.0) y) in (x y) around 0
7.474 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1.0) y) in y
7.474 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in y
7.474 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.474 * [taylor]: Taking taylor expansion of x in y
7.474 * [backup-simplify]: Simplify x into x
7.474 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.474 * [taylor]: Taking taylor expansion of 1.0 in y
7.474 * [backup-simplify]: Simplify 1.0 into 1.0
7.474 * [taylor]: Taking taylor expansion of y in y
7.474 * [backup-simplify]: Simplify 0 into 0
7.475 * [backup-simplify]: Simplify 1 into 1
7.475 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
7.475 * [backup-simplify]: Simplify (+ (/ 1 x) (- 1.0)) into (- (/ 1 x) 1.0)
7.475 * [backup-simplify]: Simplify (/ (- (/ 1 x) 1.0) 1) into (- (/ 1 x) 1.0)
7.476 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1.0) y) in x
7.476 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
7.476 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.476 * [taylor]: Taking taylor expansion of x in x
7.476 * [backup-simplify]: Simplify 0 into 0
7.476 * [backup-simplify]: Simplify 1 into 1
7.476 * [backup-simplify]: Simplify (/ 1 1) into 1
7.476 * [taylor]: Taking taylor expansion of 1.0 in x
7.476 * [backup-simplify]: Simplify 1.0 into 1.0
7.476 * [taylor]: Taking taylor expansion of y in x
7.476 * [backup-simplify]: Simplify y into y
7.477 * [backup-simplify]: Simplify (+ 1 0) into 1
7.477 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.477 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1.0) y) in x
7.477 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
7.477 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.477 * [taylor]: Taking taylor expansion of x in x
7.477 * [backup-simplify]: Simplify 0 into 0
7.477 * [backup-simplify]: Simplify 1 into 1
7.477 * [backup-simplify]: Simplify (/ 1 1) into 1
7.477 * [taylor]: Taking taylor expansion of 1.0 in x
7.477 * [backup-simplify]: Simplify 1.0 into 1.0
7.477 * [taylor]: Taking taylor expansion of y in x
7.477 * [backup-simplify]: Simplify y into y
7.478 * [backup-simplify]: Simplify (+ 1 0) into 1
7.478 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.478 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.478 * [taylor]: Taking taylor expansion of y in y
7.478 * [backup-simplify]: Simplify 0 into 0
7.478 * [backup-simplify]: Simplify 1 into 1
7.478 * [backup-simplify]: Simplify (/ 1 1) into 1
7.478 * [backup-simplify]: Simplify 1 into 1
7.479 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.480 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
7.481 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
7.481 * [backup-simplify]: Simplify (- (/ (- 1.0) y) (+ (* (/ 1 y) (/ 0 y)))) into (- (* 1.0 (/ 1 y)))
7.481 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y))) in y
7.481 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y
7.481 * [taylor]: Taking taylor expansion of 1.0 in y
7.481 * [backup-simplify]: Simplify 1.0 into 1.0
7.481 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.481 * [taylor]: Taking taylor expansion of y in y
7.481 * [backup-simplify]: Simplify 0 into 0
7.481 * [backup-simplify]: Simplify 1 into 1
7.482 * [backup-simplify]: Simplify (/ 1 1) into 1
7.482 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
7.483 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
7.483 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
7.484 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.484 * [backup-simplify]: Simplify 0 into 0
7.485 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.485 * [backup-simplify]: Simplify (- 0) into 0
7.485 * [backup-simplify]: Simplify (+ 0 0) into 0
7.486 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 1.0 (/ 1 y))) (/ 0 y)))) into 0
7.486 * [taylor]: Taking taylor expansion of 0 in y
7.486 * [backup-simplify]: Simplify 0 into 0
7.486 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.487 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
7.487 * [backup-simplify]: Simplify (- 0) into 0
7.487 * [backup-simplify]: Simplify 0 into 0
7.488 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.488 * [backup-simplify]: Simplify 0 into 0
7.488 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.488 * [backup-simplify]: Simplify (- 0) into 0
7.489 * [backup-simplify]: Simplify (+ 0 0) into 0
7.489 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 1.0 (/ 1 y))) (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.489 * [taylor]: Taking taylor expansion of 0 in y
7.489 * [backup-simplify]: Simplify 0 into 0
7.489 * [backup-simplify]: Simplify 0 into 0
7.490 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.490 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
7.490 * [backup-simplify]: Simplify (- 0) into 0
7.490 * [backup-simplify]: Simplify 0 into 0
7.491 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.491 * [backup-simplify]: Simplify 0 into 0
7.491 * [backup-simplify]: Simplify (+ (* (- 1.0) (* (/ 1 (/ 1 y)) 1)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (- (* x y) (* 1.0 y))
7.491 * [backup-simplify]: Simplify (* (- (/ 1 (- x)) 1.0) (/ 1 (- y))) into (/ (+ (/ 1 x) 1.0) y)
7.491 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in (x y) around 0
7.492 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in y
7.492 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y
7.492 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.492 * [taylor]: Taking taylor expansion of x in y
7.492 * [backup-simplify]: Simplify x into x
7.492 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.492 * [taylor]: Taking taylor expansion of 1.0 in y
7.492 * [backup-simplify]: Simplify 1.0 into 1.0
7.492 * [taylor]: Taking taylor expansion of y in y
7.492 * [backup-simplify]: Simplify 0 into 0
7.492 * [backup-simplify]: Simplify 1 into 1
7.492 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ (/ 1 x) 1.0)
7.492 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 1.0) 1) into (+ (/ 1 x) 1.0)
7.492 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in x
7.492 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
7.492 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.492 * [taylor]: Taking taylor expansion of x in x
7.492 * [backup-simplify]: Simplify 0 into 0
7.492 * [backup-simplify]: Simplify 1 into 1
7.492 * [backup-simplify]: Simplify (/ 1 1) into 1
7.492 * [taylor]: Taking taylor expansion of 1.0 in x
7.492 * [backup-simplify]: Simplify 1.0 into 1.0
7.492 * [taylor]: Taking taylor expansion of y in x
7.492 * [backup-simplify]: Simplify y into y
7.493 * [backup-simplify]: Simplify (+ 1 0) into 1
7.493 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.493 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in x
7.493 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
7.493 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.493 * [taylor]: Taking taylor expansion of x in x
7.493 * [backup-simplify]: Simplify 0 into 0
7.493 * [backup-simplify]: Simplify 1 into 1
7.493 * [backup-simplify]: Simplify (/ 1 1) into 1
7.493 * [taylor]: Taking taylor expansion of 1.0 in x
7.493 * [backup-simplify]: Simplify 1.0 into 1.0
7.493 * [taylor]: Taking taylor expansion of y in x
7.493 * [backup-simplify]: Simplify y into y
7.493 * [backup-simplify]: Simplify (+ 1 0) into 1
7.493 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.493 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.493 * [taylor]: Taking taylor expansion of y in y
7.493 * [backup-simplify]: Simplify 0 into 0
7.493 * [backup-simplify]: Simplify 1 into 1
7.494 * [backup-simplify]: Simplify (/ 1 1) into 1
7.494 * [backup-simplify]: Simplify 1 into 1
7.494 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.494 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
7.495 * [backup-simplify]: Simplify (- (/ 1.0 y) (+ (* (/ 1 y) (/ 0 y)))) into (* 1.0 (/ 1 y))
7.495 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y
7.495 * [taylor]: Taking taylor expansion of 1.0 in y
7.495 * [backup-simplify]: Simplify 1.0 into 1.0
7.495 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.495 * [taylor]: Taking taylor expansion of y in y
7.495 * [backup-simplify]: Simplify 0 into 0
7.495 * [backup-simplify]: Simplify 1 into 1
7.495 * [backup-simplify]: Simplify (/ 1 1) into 1
7.495 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
7.495 * [backup-simplify]: Simplify 1.0 into 1.0
7.496 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.496 * [backup-simplify]: Simplify 0 into 0
7.496 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.497 * [backup-simplify]: Simplify (+ 0 0) into 0
7.497 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)))) into 0
7.497 * [taylor]: Taking taylor expansion of 0 in y
7.497 * [backup-simplify]: Simplify 0 into 0
7.497 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.498 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
7.498 * [backup-simplify]: Simplify 0 into 0
7.498 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.498 * [backup-simplify]: Simplify 0 into 0
7.499 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.499 * [backup-simplify]: Simplify (+ 0 0) into 0
7.499 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.499 * [taylor]: Taking taylor expansion of 0 in y
7.499 * [backup-simplify]: Simplify 0 into 0
7.499 * [backup-simplify]: Simplify 0 into 0
7.500 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.501 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
7.501 * [backup-simplify]: Simplify 0 into 0
7.501 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.501 * [backup-simplify]: Simplify 0 into 0
7.501 * [backup-simplify]: Simplify (+ (* 1.0 (* (/ 1 (/ 1 (- y))) 1)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (- (* x y) (* 1.0 y))
7.502 * * * [progress]: simplifying candidates
7.503 * [simplify]: Simplifying:
  (expm1 (/ (* (+ x 1.0) (* (- x 1.0) y)) (- x 1.0)))
  (log1p (/ (* (+ x 1.0) (* (- x 1.0) y)) (- x 1.0)))
  (- (+ (log (+ x 1.0)) (+ (log (- x 1.0)) (log y))) (log (- x 1.0)))
  (- (+ (log (+ x 1.0)) (log (* (- x 1.0) y))) (log (- x 1.0)))
  (- (log (* (+ x 1.0) (* (- x 1.0) y))) (log (- x 1.0)))
  (log (/ (* (+ x 1.0) (* (- x 1.0) y)) (- x 1.0)))
  (exp (/ (* (+ x 1.0) (* (- x 1.0) y)) (- x 1.0)))
  (/ (* (* (* (+ x 1.0) (+ x 1.0)) (+ x 1.0)) (* (* (* (- x 1.0) (- x 1.0)) (- x 1.0)) (* (* y y) y))) (* (* (- x 1.0) (- x 1.0)) (- x 1.0)))
  (/ (* (* (* (+ x 1.0) (+ x 1.0)) (+ x 1.0)) (* (* (* (- x 1.0) y) (* (- x 1.0) y)) (* (- x 1.0) y))) (* (* (- x 1.0) (- x 1.0)) (- x 1.0)))
  (/ (* (* (* (+ x 1.0) (* (- x 1.0) y)) (* (+ x 1.0) (* (- x 1.0) y))) (* (+ x 1.0) (* (- x 1.0) y))) (* (* (- x 1.0) (- x 1.0)) (- x 1.0)))
  (* (cbrt (/ (* (+ x 1.0) (* (- x 1.0) y)) (- x 1.0))) (cbrt (/ (* (+ x 1.0) (* (- x 1.0) y)) (- x 1.0))))
  (cbrt (/ (* (+ x 1.0) (* (- x 1.0) y)) (- x 1.0)))
  (* (* (/ (* (+ x 1.0) (* (- x 1.0) y)) (- x 1.0)) (/ (* (+ x 1.0) (* (- x 1.0) y)) (- x 1.0))) (/ (* (+ x 1.0) (* (- x 1.0) y)) (- x 1.0)))
  (sqrt (/ (* (+ x 1.0) (* (- x 1.0) y)) (- x 1.0)))
  (sqrt (/ (* (+ x 1.0) (* (- x 1.0) y)) (- x 1.0)))
  (- (* (+ x 1.0) (* (- x 1.0) y)))
  (- (- x 1.0))
  (/ (+ x 1.0) (* (cbrt (- x 1.0)) (cbrt (- x 1.0))))
  (/ (* (- x 1.0) y) (cbrt (- x 1.0)))
  (/ (+ x 1.0) (sqrt (- x 1.0)))
  (/ (* (- x 1.0) y) (sqrt (- x 1.0)))
  (/ (+ x 1.0) 1)
  (/ (* (- x 1.0) y) (- x 1.0))
  (/ (+ x 1.0) (+ (sqrt x) (sqrt 1.0)))
  (/ (* (- x 1.0) y) (- (sqrt x) (sqrt 1.0)))
  (/ (+ x 1.0) 1)
  (/ (* (- x 1.0) y) (- x 1.0))
  (/ 1 (- x 1.0))
  (/ (- x 1.0) (* (+ x 1.0) (* (- x 1.0) y)))
  (/ (* (+ x 1.0) (* (- x 1.0) y)) (* (cbrt (- x 1.0)) (cbrt (- x 1.0))))
  (/ (* (+ x 1.0) (* (- x 1.0) y)) (sqrt (- x 1.0)))
  (/ (* (+ x 1.0) (* (- x 1.0) y)) 1)
  (/ (* (+ x 1.0) (* (- x 1.0) y)) (+ (sqrt x) (sqrt 1.0)))
  (/ (* (+ x 1.0) (* (- x 1.0) y)) 1)
  (/ (- x 1.0) (* (- x 1.0) y))
  (/ (* (+ x 1.0) (* (- x 1.0) y)) (- (pow x 3) (pow 1.0 3)))
  (/ (* (+ x 1.0) (* (- x 1.0) y)) (- (* x x) (* 1.0 1.0)))
  (* (- x 1.0) (* (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) (+ (* x x) (+ (* 1.0 1.0) (* x 1.0)))))
  (* (- x 1.0) (* (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) (+ x 1.0)))
  (* (- x 1.0) (* (- x 1.0) (+ (* x x) (+ (* 1.0 1.0) (* x 1.0)))))
  (* (- x 1.0) (* (- x 1.0) (+ x 1.0)))
  (* (- x 1.0) (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))))
  (* (- x 1.0) (+ x 1.0))
  (* (- x 1.0) (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
  (* (- x 1.0) (- x 1.0))
  (expm1 (* (+ x 1.0) (* (- x 1.0) y)))
  (log1p (* (+ x 1.0) (* (- x 1.0) y)))
  (* (+ x 1.0) (* (- x 1.0) y))
  (* (+ x 1.0) (* (- x 1.0) y))
  (+ (log (+ x 1.0)) (+ (log (- x 1.0)) (log y)))
  (+ (log (+ x 1.0)) (log (* (- x 1.0) y)))
  (log (* (+ x 1.0) (* (- x 1.0) y)))
  (exp (* (+ x 1.0) (* (- x 1.0) y)))
  (* (* (* (+ x 1.0) (+ x 1.0)) (+ x 1.0)) (* (* (* (- x 1.0) (- x 1.0)) (- x 1.0)) (* (* y y) y)))
  (* (* (* (+ x 1.0) (+ x 1.0)) (+ x 1.0)) (* (* (* (- x 1.0) y) (* (- x 1.0) y)) (* (- x 1.0) y)))
  (* (cbrt (* (+ x 1.0) (* (- x 1.0) y))) (cbrt (* (+ x 1.0) (* (- x 1.0) y))))
  (cbrt (* (+ x 1.0) (* (- x 1.0) y)))
  (* (* (* (+ x 1.0) (* (- x 1.0) y)) (* (+ x 1.0) (* (- x 1.0) y))) (* (+ x 1.0) (* (- x 1.0) y)))
  (sqrt (* (+ x 1.0) (* (- x 1.0) y)))
  (sqrt (* (+ x 1.0) (* (- x 1.0) y)))
  (* (+ (pow x 3) (pow 1.0 3)) (* (- (pow x 3) (pow 1.0 3)) y))
  (* (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))))
  (* (+ (pow x 3) (pow 1.0 3)) (* (- (* x x) (* 1.0 1.0)) y))
  (* (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) (+ x 1.0))
  (* (- (* x x) (* 1.0 1.0)) (* (- (pow x 3) (pow 1.0 3)) y))
  (* (- x 1.0) (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))))
  (* (- (* x x) (* 1.0 1.0)) (* (- (* x x) (* 1.0 1.0)) y))
  (* (- x 1.0) (+ x 1.0))
  (* (+ x 1.0) (- x 1.0))
  (* (cbrt (+ x 1.0)) (* (- x 1.0) y))
  (* (sqrt (+ x 1.0)) (* (- x 1.0) y))
  (* (+ x 1.0) (* (- x 1.0) y))
  (* (+ x 1.0) (* (- x 1.0) y))
  (* (+ x 1.0) (* (- (pow x 3) (pow 1.0 3)) y))
  (* (+ x 1.0) (* (- (* x x) (* 1.0 1.0)) y))
  (* (+ (pow x 3) (pow 1.0 3)) (* (- x 1.0) y))
  (* (- (* x x) (* 1.0 1.0)) (* (- x 1.0) y))
  (expm1 (* (- x 1.0) y))
  (log1p (* (- x 1.0) y))
  (* (- x 1.0) y)
  (+ (log (- x 1.0)) (log y))
  (log (* (- x 1.0) y))
  (exp (* (- x 1.0) y))
  (* (* (* (- x 1.0) (- x 1.0)) (- x 1.0)) (* (* y y) y))
  (* (cbrt (* (- x 1.0) y)) (cbrt (* (- x 1.0) y)))
  (cbrt (* (- x 1.0) y))
  (* (* (* (- x 1.0) y) (* (- x 1.0) y)) (* (- x 1.0) y))
  (sqrt (* (- x 1.0) y))
  (sqrt (* (- x 1.0) y))
  (* (sqrt (- x 1.0)) (sqrt y))
  (* (sqrt (- x 1.0)) (sqrt y))
  (* (- x 1.0) (* (cbrt y) (cbrt y)))
  (* (- x 1.0) (sqrt y))
  (* (- x 1.0) 1)
  (* (cbrt (- x 1.0)) y)
  (* (sqrt (- x 1.0)) y)
  (* (- x 1.0) y)
  (* (- (sqrt x) (sqrt 1.0)) y)
  (* (- x 1.0) y)
  (* (- (pow x 3) (pow 1.0 3)) y)
  (* (- (* x x) (* 1.0 1.0)) y)
  (+ (* 1.0 y) (* x y))
  (+ (* 1.0 y) (* x y))
  (+ (* 1.0 y) (* x y))
  (- (* (pow x 2) y) (* 1.0 y))
  (- (* (pow x 2) y) (* 1.0 y))
  (- (* (pow x 2) y) (* 1.0 y))
  (- (* x y) (* 1.0 y))
  (- (* x y) (* 1.0 y))
  (- (* x y) (* 1.0 y))
7.505 * * [simplify]: iteration 0: 138 enodes
7.550 * * [simplify]: iteration 1: 427 enodes
8.063 * * [simplify]: iteration 2: 3274 enodes
9.051 * * [simplify]: iteration complete: 5000 enodes
9.052 * * [simplify]: Extracting #0: cost 75 inf + 0
9.054 * * [simplify]: Extracting #1: cost 1009 inf + 0
9.060 * * [simplify]: Extracting #2: cost 1722 inf + 41
9.067 * * [simplify]: Extracting #3: cost 1143 inf + 5547
9.077 * * [simplify]: Extracting #4: cost 112 inf + 16198
9.090 * * [simplify]: Extracting #5: cost 1 inf + 17714
9.103 * * [simplify]: Extracting #6: cost 0 inf + 17713
9.110 * [simplify]: Simplified to:
  (expm1 (* (* (- x 1.0) (+ x 1.0)) (/ y (- x 1.0))))
  (log1p (* (* (- x 1.0) (+ x 1.0)) (/ y (- x 1.0))))
  (log (* (* (- x 1.0) (+ x 1.0)) (/ y (- x 1.0))))
  (log (* (* (- x 1.0) (+ x 1.0)) (/ y (- x 1.0))))
  (log (* (* (- x 1.0) (+ x 1.0)) (/ y (- x 1.0))))
  (log (* (* (- x 1.0) (+ x 1.0)) (/ y (- x 1.0))))
  (pow (exp (* (- x 1.0) (+ x 1.0))) (/ y (- x 1.0)))
  (/ (pow (* (+ 1.0 x) (* (- x 1.0) y)) 3) (pow (- x 1.0) 3))
  (/ (pow (* (+ 1.0 x) (* (- x 1.0) y)) 3) (pow (- x 1.0) 3))
  (/ (pow (* (+ 1.0 x) (* (- x 1.0) y)) 3) (pow (- x 1.0) 3))
  (* (cbrt (* (* (- x 1.0) (+ x 1.0)) (/ y (- x 1.0)))) (cbrt (* (* (- x 1.0) (+ x 1.0)) (/ y (- x 1.0)))))
  (cbrt (* (* (- x 1.0) (+ x 1.0)) (/ y (- x 1.0))))
  (pow (* (* (- x 1.0) (+ x 1.0)) (/ y (- x 1.0))) 3)
  (sqrt (* (* (- x 1.0) (+ x 1.0)) (/ y (- x 1.0))))
  (sqrt (* (* (- x 1.0) (+ x 1.0)) (/ y (- x 1.0))))
  (* (* (- x 1.0) (+ x 1.0)) (- y))
  (- (- x 1.0))
  (/ (+ 1.0 x) (* (cbrt (- x 1.0)) (cbrt (- x 1.0))))
  (/ y (/ (cbrt (- x 1.0)) (- x 1.0)))
  (/ (+ 1.0 x) (sqrt (- x 1.0)))
  (/ y (/ (sqrt (- x 1.0)) (- x 1.0)))
  (+ 1.0 x)
  (/ (- x 1.0) (/ (- x 1.0) y))
  (/ (+ 1.0 x) (+ (sqrt x) (sqrt 1.0)))
  (* (/ (- x 1.0) (- (sqrt x) (sqrt 1.0))) y)
  (+ 1.0 x)
  (/ (- x 1.0) (/ (- x 1.0) y))
  (/ 1 (- x 1.0))
  (/ (/ (- x 1.0) (* (- x 1.0) y)) (+ 1.0 x))
  (* (/ (+ 1.0 x) (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))) (* (- x 1.0) y))
  (* (/ (+ 1.0 x) (sqrt (- x 1.0))) (* (- x 1.0) y))
  (* (+ 1.0 x) (* (- x 1.0) y))
  (/ (* (- x 1.0) y) (/ (+ (sqrt x) (sqrt 1.0)) (+ 1.0 x)))
  (* (+ 1.0 x) (* (- x 1.0) y))
  (/ 1 y)
  (* (/ (+ 1.0 x) (- (pow x 3) (pow 1.0 3))) (* (- x 1.0) y))
  (/ (/ (* (+ 1.0 x) (* (- x 1.0) y)) (- x 1.0)) (+ 1.0 x))
  (* (fma 1.0 (- 1.0 x) (* x x)) (* (fma (+ 1.0 x) 1.0 (* x x)) (- x 1.0)))
  (* (* (- x 1.0) (fma 1.0 (- 1.0 x) (* x x))) (+ 1.0 x))
  (* (* (- x 1.0) (fma (+ 1.0 x) 1.0 (* x x))) (- x 1.0))
  (* (- x 1.0) (* (- x 1.0) (+ x 1.0)))
  (* (- x 1.0) (fma (+ 1.0 x) 1.0 (* x x)))
  (* (- x 1.0) (+ x 1.0))
  (* (- x 1.0) (fma 1.0 (- 1.0 x) (* x x)))
  (* (- x 1.0) (- x 1.0))
  (expm1 (* (+ 1.0 x) (* (- x 1.0) y)))
  (log1p (* (+ 1.0 x) (* (- x 1.0) y)))
  (* (+ 1.0 x) (* (- x 1.0) y))
  (* (+ 1.0 x) (* (- x 1.0) y))
  (log (* (+ 1.0 x) (* (- x 1.0) y)))
  (log (* (+ 1.0 x) (* (- x 1.0) y)))
  (log (* (+ 1.0 x) (* (- x 1.0) y)))
  (pow (exp (* (- x 1.0) (+ x 1.0))) y)
  (pow (* (+ 1.0 x) (* (- x 1.0) y)) 3)
  (pow (* (+ 1.0 x) (* (- x 1.0) y)) 3)
  (* (cbrt (* (+ 1.0 x) (* (- x 1.0) y))) (cbrt (* (+ 1.0 x) (* (- x 1.0) y))))
  (cbrt (* (+ 1.0 x) (* (- x 1.0) y)))
  (pow (* (+ 1.0 x) (* (- x 1.0) y)) 3)
  (sqrt (* (+ 1.0 x) (* (- x 1.0) y)))
  (sqrt (* (+ 1.0 x) (* (- x 1.0) y)))
  (* (- (pow x 3) (pow 1.0 3)) (* y (+ (pow 1.0 3) (pow x 3))))
  (* (fma (+ 1.0 x) 1.0 (* x x)) (fma 1.0 (- 1.0 x) (* x x)))
  (* (* (+ (pow 1.0 3) (pow x 3)) y) (* (- x 1.0) (+ x 1.0)))
  (* (fma 1.0 (- 1.0 x) (* x x)) (+ x 1.0))
  (* (* (+ 1.0 x) (* (- x 1.0) y)) (- (pow x 3) (pow 1.0 3)))
  (* (- x 1.0) (fma (+ 1.0 x) 1.0 (* x x)))
  (* (+ 1.0 x) (* y (* (- x 1.0) (* (- x 1.0) (+ x 1.0)))))
  (* (- x 1.0) (+ x 1.0))
  (* (- x 1.0) (+ x 1.0))
  (* y (* (- x 1.0) (cbrt (+ 1.0 x))))
  (* (sqrt (+ 1.0 x)) (* (- x 1.0) y))
  (* (+ 1.0 x) (* (- x 1.0) y))
  (* (+ 1.0 x) (* (- x 1.0) y))
  (* (* (+ 1.0 x) y) (- (pow x 3) (pow 1.0 3)))
  (* (* (- x 1.0) y) (* (+ 1.0 x) (+ 1.0 x)))
  (* (* (+ (pow 1.0 3) (pow x 3)) (- x 1.0)) y)
  (* y (* (- x 1.0) (* (- x 1.0) (+ x 1.0))))
  (expm1 (* (- x 1.0) y))
  (log1p (* (- x 1.0) y))
  (* (- x 1.0) y)
  (log (* (- x 1.0) y))
  (log (* (- x 1.0) y))
  (pow (exp y) (- x 1.0))
  (pow (* (- x 1.0) y) 3)
  (* (cbrt (* (- x 1.0) y)) (cbrt (* (- x 1.0) y)))
  (cbrt (* (- x 1.0) y))
  (pow (* (- x 1.0) y) 3)
  (sqrt (* (- x 1.0) y))
  (sqrt (* (- x 1.0) y))
  (* (sqrt (- x 1.0)) (sqrt y))
  (* (sqrt (- x 1.0)) (sqrt y))
  (* (- x 1.0) (* (cbrt y) (cbrt y)))
  (* (- x 1.0) (sqrt y))
  (- x 1.0)
  (* y (cbrt (- x 1.0)))
  (* y (sqrt (- x 1.0)))
  (* (- x 1.0) y)
  (* (- (sqrt x) (sqrt 1.0)) y)
  (* (- x 1.0) y)
  (* (- (pow x 3) (pow 1.0 3)) y)
  (* (+ 1.0 x) (* (- x 1.0) y))
  (* y (+ x 1.0))
  (* y (+ x 1.0))
  (* y (+ x 1.0))
  (* y (- (* x x) 1.0))
  (* y (- (* x x) 1.0))
  (* y (- (* x x) 1.0))
  (* (- x 1.0) y)
  (* (- x 1.0) y)
  (* (- x 1.0) y)
9.111 * * * [progress]: adding candidates to table
9.579 * [progress]: [Phase 3 of 3] Extracting.
9.579 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (- (/ (* (+ x 1.0) (* (- x 1.0) y)) (- x 1.0)) x))> #<alt (λ (x y) (- (* (+ x 1.0) y) x))>)
9.580 * * * [regime-changes]: Trying 3 branch expressions: ((- (* (+ x 1.0) y) x) y x)
9.580 * * * * [regimes]: Trying to branch on (- (* (+ x 1.0) y) x) from (#<alt (λ (x y) (- (/ (* (+ x 1.0) (* (- x 1.0) y)) (- x 1.0)) x))> #<alt (λ (x y) (- (* (+ x 1.0) y) x))>)
9.608 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (- (/ (* (+ x 1.0) (* (- x 1.0) y)) (- x 1.0)) x))> #<alt (λ (x y) (- (* (+ x 1.0) y) x))>)
9.633 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (- (/ (* (+ x 1.0) (* (- x 1.0) y)) (- x 1.0)) x))> #<alt (λ (x y) (- (* (+ x 1.0) y) x))>)
9.660 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
9.661 * [simplify]: Simplifying:
  (- (* (+ x 1.0) y) x)
9.661 * * [simplify]: iteration 0: 6 enodes
9.661 * * [simplify]: iteration 1: 8 enodes
9.661 * * [simplify]: iteration complete: 8 enodes
9.661 * * [simplify]: Extracting #0: cost 1 inf + 0
9.661 * * [simplify]: Extracting #1: cost 3 inf + 0
9.661 * * [simplify]: Extracting #2: cost 4 inf + 1
9.661 * * [simplify]: Extracting #3: cost 4 inf + 2
9.661 * * [simplify]: Extracting #4: cost 0 inf + 18
9.661 * [simplify]: Simplified to:
  (- (* (+ 1.0 x) y) x)
10.553 * [regime-testing]: Baseline error score: 0.008376047005875735
10.562 * [regime-testing]: Oracle error score: 0.007750968871108889
10.580 * [regime-testing]: End program error score: 0.008376047005875735