39.814 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.021 * * * [progress]: [2/2] Setting up program.
0.023 * [progress]: [Phase 2 of 3] Improving.
0.024 * [simplify]: Simplifying:
  (+ (* x y) (* (- 1.0 x) z))
0.024 * * [simplify]: iteration 0: 8 enodes
0.025 * * [simplify]: iteration 1: 14 enodes
0.027 * * [simplify]: iteration 2: 24 enodes
0.030 * * [simplify]: iteration 3: 40 enodes
0.035 * * [simplify]: iteration 4: 70 enodes
0.045 * * [simplify]: iteration 5: 103 enodes
0.062 * * [simplify]: iteration 6: 121 enodes
0.090 * * [simplify]: iteration 7: 147 enodes
0.133 * * [simplify]: iteration 8: 199 enodes
0.214 * * [simplify]: iteration 9: 486 enodes
0.531 * * [simplify]: iteration 10: 2087 enodes
4.222 * * [simplify]: iteration complete: 5001 enodes
4.222 * * [simplify]: Extracting #0: cost 1 inf + 0
4.223 * * [simplify]: Extracting #1: cost 250 inf + 0
4.232 * * [simplify]: Extracting #2: cost 771 inf + 367
4.242 * * [simplify]: Extracting #3: cost 82 inf + 2783
4.252 * * [simplify]: Extracting #4: cost 0 inf + 3120
4.262 * * [simplify]: Extracting #5: cost 0 inf + 3118
4.273 * [simplify]: Simplified to:
  (fma x y (* z (- 1.0 x)))
4.281 * * [progress]: iteration 1 / 4
4.281 * * * [progress]: picking best candidate
4.286 * * * * [pick]: Picked  #<alt (λ (x y z) (fma x y (* z (- 1.0 x))))>
4.286 * * * [progress]: localizing error
4.303 * * * [progress]: generating rewritten candidates
4.303 * * * * [progress]: [ 1 / 1 ] rewriting at (2 3)
4.340 * * * [progress]: generating series expansions
4.340 * * * * [progress]: [ 1 / 1 ] generating series at (2 3)
4.340 * [backup-simplify]: Simplify (* z (- 1.0 x)) into (* z (- 1.0 x))
4.340 * [approximate]: Taking taylor expansion of (* z (- 1.0 x)) in (z x) around 0
4.340 * [taylor]: Taking taylor expansion of (* z (- 1.0 x)) in x
4.340 * [taylor]: Taking taylor expansion of z in x
4.340 * [backup-simplify]: Simplify z into z
4.340 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
4.340 * [taylor]: Taking taylor expansion of 1.0 in x
4.340 * [backup-simplify]: Simplify 1.0 into 1.0
4.340 * [taylor]: Taking taylor expansion of x in x
4.340 * [backup-simplify]: Simplify 0 into 0
4.340 * [backup-simplify]: Simplify 1 into 1
4.340 * [taylor]: Taking taylor expansion of (* z (- 1.0 x)) in z
4.340 * [taylor]: Taking taylor expansion of z in z
4.340 * [backup-simplify]: Simplify 0 into 0
4.340 * [backup-simplify]: Simplify 1 into 1
4.340 * [taylor]: Taking taylor expansion of (- 1.0 x) in z
4.340 * [taylor]: Taking taylor expansion of 1.0 in z
4.340 * [backup-simplify]: Simplify 1.0 into 1.0
4.340 * [taylor]: Taking taylor expansion of x in z
4.340 * [backup-simplify]: Simplify x into x
4.340 * [taylor]: Taking taylor expansion of (* z (- 1.0 x)) in z
4.340 * [taylor]: Taking taylor expansion of z in z
4.341 * [backup-simplify]: Simplify 0 into 0
4.341 * [backup-simplify]: Simplify 1 into 1
4.341 * [taylor]: Taking taylor expansion of (- 1.0 x) in z
4.341 * [taylor]: Taking taylor expansion of 1.0 in z
4.341 * [backup-simplify]: Simplify 1.0 into 1.0
4.341 * [taylor]: Taking taylor expansion of x in z
4.341 * [backup-simplify]: Simplify x into x
4.341 * [backup-simplify]: Simplify (- x) into (- x)
4.341 * [backup-simplify]: Simplify (+ 1.0 (- x)) into (- 1.0 x)
4.341 * [backup-simplify]: Simplify (* 0 (- 1.0 x)) into 0
4.341 * [taylor]: Taking taylor expansion of 0 in x
4.341 * [backup-simplify]: Simplify 0 into 0
4.341 * [backup-simplify]: Simplify 0 into 0
4.341 * [backup-simplify]: Simplify (- 0) into 0
4.342 * [backup-simplify]: Simplify (+ 0 0) into 0
4.342 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- 1.0 x))) into (- 1.0 x)
4.342 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
4.342 * [taylor]: Taking taylor expansion of 1.0 in x
4.342 * [backup-simplify]: Simplify 1.0 into 1.0
4.342 * [taylor]: Taking taylor expansion of x in x
4.342 * [backup-simplify]: Simplify 0 into 0
4.342 * [backup-simplify]: Simplify 1 into 1
4.342 * [backup-simplify]: Simplify (- 0) into 0
4.343 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
4.343 * [backup-simplify]: Simplify 1.0 into 1.0
4.343 * [backup-simplify]: Simplify 0 into 0
4.343 * [backup-simplify]: Simplify (- 0) into 0
4.343 * [backup-simplify]: Simplify (+ 0 0) into 0
4.344 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- 1.0 x)))) into 0
4.344 * [taylor]: Taking taylor expansion of 0 in x
4.344 * [backup-simplify]: Simplify 0 into 0
4.344 * [backup-simplify]: Simplify 0 into 0
4.344 * [backup-simplify]: Simplify (- 1) into -1
4.344 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.344 * [backup-simplify]: Simplify -1 into -1
4.344 * [backup-simplify]: Simplify 0 into 0
4.345 * [backup-simplify]: Simplify (- 0) into 0
4.345 * [backup-simplify]: Simplify (+ 0 0) into 0
4.346 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- 1.0 x))))) into 0
4.346 * [taylor]: Taking taylor expansion of 0 in x
4.346 * [backup-simplify]: Simplify 0 into 0
4.346 * [backup-simplify]: Simplify 0 into 0
4.346 * [backup-simplify]: Simplify 0 into 0
4.346 * [backup-simplify]: Simplify (- 0) into 0
4.346 * [backup-simplify]: Simplify (+ 0 0) into 0
4.346 * [backup-simplify]: Simplify 0 into 0
4.346 * [backup-simplify]: Simplify 0 into 0
4.347 * [backup-simplify]: Simplify (- 0) into 0
4.347 * [backup-simplify]: Simplify (+ 0 0) into 0
4.348 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- 1.0 x)))))) into 0
4.348 * [taylor]: Taking taylor expansion of 0 in x
4.348 * [backup-simplify]: Simplify 0 into 0
4.348 * [backup-simplify]: Simplify 0 into 0
4.348 * [backup-simplify]: Simplify (+ (* -1 (* x z)) (* 1.0 (* 1 z))) into (- (* 1.0 z) (* x z))
4.348 * [backup-simplify]: Simplify (* (/ 1 z) (- 1.0 (/ 1 x))) into (/ (- 1.0 (/ 1 x)) z)
4.348 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in (z x) around 0
4.348 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in x
4.348 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
4.348 * [taylor]: Taking taylor expansion of 1.0 in x
4.348 * [backup-simplify]: Simplify 1.0 into 1.0
4.348 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.348 * [taylor]: Taking taylor expansion of x in x
4.348 * [backup-simplify]: Simplify 0 into 0
4.348 * [backup-simplify]: Simplify 1 into 1
4.349 * [backup-simplify]: Simplify (/ 1 1) into 1
4.349 * [taylor]: Taking taylor expansion of z in x
4.349 * [backup-simplify]: Simplify z into z
4.349 * [backup-simplify]: Simplify (- 1) into -1
4.349 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.349 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
4.349 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in z
4.349 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in z
4.349 * [taylor]: Taking taylor expansion of 1.0 in z
4.349 * [backup-simplify]: Simplify 1.0 into 1.0
4.349 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.349 * [taylor]: Taking taylor expansion of x in z
4.349 * [backup-simplify]: Simplify x into x
4.349 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.349 * [taylor]: Taking taylor expansion of z in z
4.349 * [backup-simplify]: Simplify 0 into 0
4.349 * [backup-simplify]: Simplify 1 into 1
4.350 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.350 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x))
4.350 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 x)) 1) into (- 1.0 (/ 1 x))
4.350 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in z
4.350 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in z
4.350 * [taylor]: Taking taylor expansion of 1.0 in z
4.350 * [backup-simplify]: Simplify 1.0 into 1.0
4.350 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.350 * [taylor]: Taking taylor expansion of x in z
4.350 * [backup-simplify]: Simplify x into x
4.350 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.350 * [taylor]: Taking taylor expansion of z in z
4.350 * [backup-simplify]: Simplify 0 into 0
4.350 * [backup-simplify]: Simplify 1 into 1
4.350 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.350 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x))
4.350 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 x)) 1) into (- 1.0 (/ 1 x))
4.350 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
4.350 * [taylor]: Taking taylor expansion of 1.0 in x
4.350 * [backup-simplify]: Simplify 1.0 into 1.0
4.350 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.350 * [taylor]: Taking taylor expansion of x in x
4.350 * [backup-simplify]: Simplify 0 into 0
4.350 * [backup-simplify]: Simplify 1 into 1
4.350 * [backup-simplify]: Simplify (/ 1 1) into 1
4.351 * [backup-simplify]: Simplify (- 1) into -1
4.351 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.351 * [backup-simplify]: Simplify -1 into -1
4.351 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.351 * [backup-simplify]: Simplify (- 0) into 0
4.352 * [backup-simplify]: Simplify (+ 0 0) into 0
4.352 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 1.0 (/ 1 x)) (/ 0 1)))) into 0
4.352 * [taylor]: Taking taylor expansion of 0 in x
4.352 * [backup-simplify]: Simplify 0 into 0
4.353 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.353 * [backup-simplify]: Simplify (- 0) into 0
4.353 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
4.353 * [backup-simplify]: Simplify 1.0 into 1.0
4.353 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.354 * [backup-simplify]: Simplify (- 0) into 0
4.354 * [backup-simplify]: Simplify (+ 0 0) into 0
4.355 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 1.0 (/ 1 x)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.355 * [taylor]: Taking taylor expansion of 0 in x
4.355 * [backup-simplify]: Simplify 0 into 0
4.355 * [backup-simplify]: Simplify 0 into 0
4.355 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.355 * [backup-simplify]: Simplify (- 0) into 0
4.356 * [backup-simplify]: Simplify (+ 0 0) into 0
4.356 * [backup-simplify]: Simplify 0 into 0
4.356 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.356 * [backup-simplify]: Simplify (- 0) into 0
4.356 * [backup-simplify]: Simplify (+ 0 0) into 0
4.357 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 1.0 (/ 1 x)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.358 * [taylor]: Taking taylor expansion of 0 in x
4.358 * [backup-simplify]: Simplify 0 into 0
4.358 * [backup-simplify]: Simplify 0 into 0
4.358 * [backup-simplify]: Simplify 0 into 0
4.358 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.358 * [backup-simplify]: Simplify (- 0) into 0
4.359 * [backup-simplify]: Simplify (+ 0 0) into 0
4.359 * [backup-simplify]: Simplify 0 into 0
4.359 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.359 * [backup-simplify]: Simplify (- 0) into 0
4.359 * [backup-simplify]: Simplify (+ 0 0) into 0
4.361 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 1.0 (/ 1 x)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.361 * [taylor]: Taking taylor expansion of 0 in x
4.361 * [backup-simplify]: Simplify 0 into 0
4.361 * [backup-simplify]: Simplify 0 into 0
4.361 * [backup-simplify]: Simplify (+ (* 1.0 (* 1 (/ 1 (/ 1 z)))) (* -1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 z))))) into (- (* 1.0 z) (* x z))
4.361 * [backup-simplify]: Simplify (* (/ 1 (- z)) (- 1.0 (/ 1 (- x)))) into (* -1 (/ (+ (/ 1 x) 1.0) z))
4.361 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) z)) in (z x) around 0
4.361 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) z)) in x
4.361 * [taylor]: Taking taylor expansion of -1 in x
4.361 * [backup-simplify]: Simplify -1 into -1
4.361 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) z) in x
4.361 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
4.361 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.361 * [taylor]: Taking taylor expansion of x in x
4.361 * [backup-simplify]: Simplify 0 into 0
4.361 * [backup-simplify]: Simplify 1 into 1
4.362 * [backup-simplify]: Simplify (/ 1 1) into 1
4.362 * [taylor]: Taking taylor expansion of 1.0 in x
4.362 * [backup-simplify]: Simplify 1.0 into 1.0
4.362 * [taylor]: Taking taylor expansion of z in x
4.362 * [backup-simplify]: Simplify z into z
4.362 * [backup-simplify]: Simplify (+ 1 0) into 1
4.362 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.362 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) z)) in z
4.362 * [taylor]: Taking taylor expansion of -1 in z
4.362 * [backup-simplify]: Simplify -1 into -1
4.362 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) z) in z
4.362 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in z
4.362 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.362 * [taylor]: Taking taylor expansion of x in z
4.362 * [backup-simplify]: Simplify x into x
4.362 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.362 * [taylor]: Taking taylor expansion of 1.0 in z
4.362 * [backup-simplify]: Simplify 1.0 into 1.0
4.362 * [taylor]: Taking taylor expansion of z in z
4.363 * [backup-simplify]: Simplify 0 into 0
4.363 * [backup-simplify]: Simplify 1 into 1
4.363 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ (/ 1 x) 1.0)
4.363 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 1.0) 1) into (+ (/ 1 x) 1.0)
4.363 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) z)) in z
4.363 * [taylor]: Taking taylor expansion of -1 in z
4.363 * [backup-simplify]: Simplify -1 into -1
4.363 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) z) in z
4.363 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in z
4.363 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.363 * [taylor]: Taking taylor expansion of x in z
4.363 * [backup-simplify]: Simplify x into x
4.363 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.363 * [taylor]: Taking taylor expansion of 1.0 in z
4.363 * [backup-simplify]: Simplify 1.0 into 1.0
4.363 * [taylor]: Taking taylor expansion of z in z
4.363 * [backup-simplify]: Simplify 0 into 0
4.363 * [backup-simplify]: Simplify 1 into 1
4.363 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ (/ 1 x) 1.0)
4.363 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 1.0) 1) into (+ (/ 1 x) 1.0)
4.364 * [backup-simplify]: Simplify (* -1 (+ (/ 1 x) 1.0)) into (* -1 (+ (/ 1 x) 1.0))
4.364 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 x) 1.0)) in x
4.364 * [taylor]: Taking taylor expansion of -1 in x
4.364 * [backup-simplify]: Simplify -1 into -1
4.364 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
4.364 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.364 * [taylor]: Taking taylor expansion of x in x
4.364 * [backup-simplify]: Simplify 0 into 0
4.364 * [backup-simplify]: Simplify 1 into 1
4.364 * [backup-simplify]: Simplify (/ 1 1) into 1
4.364 * [taylor]: Taking taylor expansion of 1.0 in x
4.364 * [backup-simplify]: Simplify 1.0 into 1.0
4.365 * [backup-simplify]: Simplify (+ 1 0) into 1
4.365 * [backup-simplify]: Simplify (* -1 1) into -1
4.365 * [backup-simplify]: Simplify -1 into -1
4.365 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.366 * [backup-simplify]: Simplify (+ 0 0) into 0
4.366 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 x) 1.0) (/ 0 1)))) into 0
4.367 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (+ (/ 1 x) 1.0))) into 0
4.367 * [taylor]: Taking taylor expansion of 0 in x
4.367 * [backup-simplify]: Simplify 0 into 0
4.367 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.367 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
4.368 * [backup-simplify]: Simplify (+ (* -1 1.0) (* 0 1)) into (- 1.0)
4.369 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.369 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.369 * [backup-simplify]: Simplify (+ 0 0) into 0
4.370 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 x) 1.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.370 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (+ (/ 1 x) 1.0)))) into 0
4.370 * [taylor]: Taking taylor expansion of 0 in x
4.370 * [backup-simplify]: Simplify 0 into 0
4.370 * [backup-simplify]: Simplify 0 into 0
4.371 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.371 * [backup-simplify]: Simplify (+ 0 0) into 0
4.372 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1.0) (* 0 1))) into 0
4.372 * [backup-simplify]: Simplify 0 into 0
4.372 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.372 * [backup-simplify]: Simplify (+ 0 0) into 0
4.373 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 x) 1.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.374 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (/ 1 x) 1.0))))) into 0
4.374 * [taylor]: Taking taylor expansion of 0 in x
4.374 * [backup-simplify]: Simplify 0 into 0
4.374 * [backup-simplify]: Simplify 0 into 0
4.375 * [backup-simplify]: Simplify 0 into 0
4.375 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.375 * [backup-simplify]: Simplify (+ 0 0) into 0
4.376 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1)))) into 0
4.376 * [backup-simplify]: Simplify 0 into 0
4.376 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.376 * [backup-simplify]: Simplify (+ 0 0) into 0
4.378 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 x) 1.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.379 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (/ 1 x) 1.0)))))) into 0
4.379 * [taylor]: Taking taylor expansion of 0 in x
4.379 * [backup-simplify]: Simplify 0 into 0
4.379 * [backup-simplify]: Simplify 0 into 0
4.379 * [backup-simplify]: Simplify (+ (* (- 1.0) (* 1 (/ 1 (/ 1 (- z))))) (* -1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- z)))))) into (- (* 1.0 z) (* x z))
4.379 * * * [progress]: simplifying candidates
4.380 * [simplify]: Simplifying:
  (expm1 (* z (- 1.0 x)))
  (log1p (* z (- 1.0 x)))
  (* z (- 1.0 x))
  (+ (log z) (log (- 1.0 x)))
  (log (* z (- 1.0 x)))
  (exp (* z (- 1.0 x)))
  (* (* (* z z) z) (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)))
  (* (cbrt (* z (- 1.0 x))) (cbrt (* z (- 1.0 x))))
  (cbrt (* z (- 1.0 x)))
  (* (* (* z (- 1.0 x)) (* z (- 1.0 x))) (* z (- 1.0 x)))
  (sqrt (* z (- 1.0 x)))
  (sqrt (* z (- 1.0 x)))
  (* (sqrt z) (sqrt (- 1.0 x)))
  (* (sqrt z) (sqrt (- 1.0 x)))
  (* z (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))
  (* z (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))
  (* z (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt x) (sqrt x)))))
  (* z (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))
  (* z (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* x 1))))
  (* z (fma (- x) 1 (* x 1)))
  (* z (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))
  (* z (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))
  (* z (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt x) (sqrt x)))))
  (* z (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))
  (* z (fma (sqrt 1.0) (sqrt 1.0) (- (* x 1))))
  (* z (fma (- x) 1 (* x 1)))
  (* z (fma 1 1.0 (- (* (cbrt x) (* (cbrt x) (cbrt x))))))
  (* z (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))
  (* z (fma 1 1.0 (- (* (sqrt x) (sqrt x)))))
  (* z (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))
  (* z (fma 1 1.0 (- (* x 1))))
  (* z (fma (- x) 1 (* x 1)))
  (* z 1.0)
  (* z (- x))
  (* z 1.0)
  (* z (- x))
  (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x))))) z)
  (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) z)
  (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt x) (sqrt x)))) z)
  (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) z)
  (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* x 1))) z)
  (* (fma (- x) 1 (* x 1)) z)
  (* (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x))))) z)
  (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) z)
  (* (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt x) (sqrt x)))) z)
  (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) z)
  (* (fma (sqrt 1.0) (sqrt 1.0) (- (* x 1))) z)
  (* (fma (- x) 1 (* x 1)) z)
  (* (fma 1 1.0 (- (* (cbrt x) (* (cbrt x) (cbrt x))))) z)
  (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) z)
  (* (fma 1 1.0 (- (* (sqrt x) (sqrt x)))) z)
  (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) z)
  (* (fma 1 1.0 (- (* x 1))) z)
  (* (fma (- x) 1 (* x 1)) z)
  (* 1.0 z)
  (* (- x) z)
  (* 1.0 z)
  (* (- x) z)
  (* z (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (* z (sqrt (- 1.0 x)))
  (* z 1)
  (* z (+ (sqrt 1.0) (sqrt x)))
  (* z 1)
  (* (cbrt z) (- 1.0 x))
  (* (sqrt z) (- 1.0 x))
  (* z (- 1.0 x))
  (* z (- (pow 1.0 3) (pow x 3)))
  (* z (- (* 1.0 1.0) (* x x)))
  (- (* 1.0 z) (* x z))
  (- (* 1.0 z) (* x z))
  (- (* 1.0 z) (* x z))
4.381 * * [simplify]: iteration 0: 102 enodes
4.409 * * [simplify]: iteration 1: 235 enodes
4.490 * * [simplify]: iteration 2: 835 enodes
4.800 * * [simplify]: iteration complete: 5000 enodes
4.801 * * [simplify]: Extracting #0: cost 25 inf + 0
4.803 * * [simplify]: Extracting #1: cost 762 inf + 1
4.812 * * [simplify]: Extracting #2: cost 2136 inf + 380
4.826 * * [simplify]: Extracting #3: cost 1289 inf + 6244
4.843 * * [simplify]: Extracting #4: cost 147 inf + 16160
4.858 * * [simplify]: Extracting #5: cost 30 inf + 17194
4.878 * * [simplify]: Extracting #6: cost 4 inf + 17318
4.892 * * [simplify]: Extracting #7: cost 0 inf + 17338
4.907 * [simplify]: Simplified to:
  (expm1 (* z (- 1.0 x)))
  (log1p (* z (- 1.0 x)))
  (* z (- 1.0 x))
  (log (* z (- 1.0 x)))
  (log (* z (- 1.0 x)))
  (pow (exp (- 1.0 x)) z)
  (pow (* z (- 1.0 x)) 3)
  (* (cbrt (* z (- 1.0 x))) (cbrt (* z (- 1.0 x))))
  (cbrt (* z (- 1.0 x)))
  (pow (* z (- 1.0 x)) 3)
  (sqrt (* z (- 1.0 x)))
  (sqrt (* z (- 1.0 x)))
  (* (sqrt (- 1.0 x)) (sqrt z))
  (* (sqrt (- 1.0 x)) (sqrt z))
  (* z (- (pow (cbrt 1.0) 3) x))
  (* z (+ (- x) x))
  (* z (- (pow (cbrt 1.0) 3) x))
  (* z (+ (- x) x))
  (* z (- (pow (cbrt 1.0) 3) x))
  (* z (+ (- x) x))
  (* z (- 1.0 x))
  (* z (+ (- x) x))
  (* z (- 1.0 x))
  (* z (+ (- x) x))
  (* z (- 1.0 x))
  (* z (+ (- x) x))
  (* z (- 1.0 x))
  (* z (+ (- x) x))
  (* z (- 1.0 x))
  (* z (+ (- x) x))
  (* z (- 1.0 x))
  (* z (+ (- x) x))
  (* z 1.0)
  (* (- z) x)
  (* z 1.0)
  (* (- z) x)
  (* z (- (pow (cbrt 1.0) 3) x))
  (* z (+ (- x) x))
  (* z (- (pow (cbrt 1.0) 3) x))
  (* z (+ (- x) x))
  (* z (- (pow (cbrt 1.0) 3) x))
  (* z (+ (- x) x))
  (* z (- 1.0 x))
  (* z (+ (- x) x))
  (* z (- 1.0 x))
  (* z (+ (- x) x))
  (* z (- 1.0 x))
  (* z (+ (- x) x))
  (* z (- 1.0 x))
  (* z (+ (- x) x))
  (* z (- 1.0 x))
  (* z (+ (- x) x))
  (* z (- 1.0 x))
  (* z (+ (- x) x))
  (* z 1.0)
  (* (- z) x)
  (* z 1.0)
  (* (- z) x)
  (* (cbrt (- 1.0 x)) (* (cbrt (- 1.0 x)) z))
  (* (sqrt (- 1.0 x)) z)
  z
  (* z (+ (sqrt x) (sqrt 1.0)))
  z
  (* (- 1.0 x) (cbrt z))
  (* (- 1.0 x) (sqrt z))
  (* z (- 1.0 x))
  (* z (- (pow 1.0 3) (pow x 3)))
  (* (* z (+ x 1.0)) (- 1.0 x))
  (* z (- 1.0 x))
  (* z (- 1.0 x))
  (* z (- 1.0 x))
4.908 * * * [progress]: adding candidates to table
5.083 * * [progress]: iteration 2 / 4
5.083 * * * [progress]: picking best candidate
5.089 * * * * [pick]: Picked  #<alt (λ (x y z) (fma x y (+ (* z 1.0) (* (- z) x))))>
5.089 * * * [progress]: localizing error
5.115 * * * [progress]: generating rewritten candidates
5.115 * * * [progress]: generating series expansions
5.115 * * * [progress]: simplifying candidates
5.115 * [simplify]: Simplifying:
  
5.115 * * [simplify]: iteration 0: 0 enodes
5.115 * * [simplify]: iteration complete: 0 enodes
5.115 * * [simplify]: Extracting #0: cost 0 inf + 0
5.115 * [simplify]: Simplified to:
  
5.115 * * * [progress]: adding candidates to table
5.115 * [progress]: [Phase 3 of 3] Extracting.
5.118 * [simplify]: Simplifying:
  (fma x y (+ (* z 1.0) (* (- z) x)))
5.118 * * [simplify]: iteration 0: 9 enodes
5.119 * * [simplify]: iteration 1: 14 enodes
5.119 * * [simplify]: iteration 2: 18 enodes
5.120 * * [simplify]: iteration 3: 19 enodes
5.121 * * [simplify]: iteration complete: 19 enodes
5.121 * * [simplify]: Extracting #0: cost 1 inf + 0
5.121 * * [simplify]: Extracting #1: cost 4 inf + 0
5.121 * * [simplify]: Extracting #2: cost 4 inf + 2
5.121 * * [simplify]: Extracting #3: cost 9 inf + 2
5.121 * * [simplify]: Extracting #4: cost 0 inf + 37
5.121 * [simplify]: Simplified to:
  (fma x y (+ (* (- z) x) (* z 1.0)))
6.869 * [regime-testing]: Baseline error score: 0.008541308675445352
6.871 * [regime-testing]: Oracle error score: 0.008541308675445352
6.871 * [regime-testing]: End program error score: 0.008541308675445352