22.314 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.093 * * * [progress]: [2/2] Setting up program.
0.097 * [progress]: [Phase 2 of 3] Improving.
0.097 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x y z t a b) (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))>
0.097 * [simplify]: Simplifying:
  (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))
0.097 * * [simplify]: iteration 0: 18 enodes
0.101 * * [simplify]: iteration 1: 38 enodes
0.108 * * [simplify]: iteration 2: 116 enodes
0.164 * * [simplify]: iteration 3: 408 enodes
0.321 * * [simplify]: iteration 4: 1455 enodes
1.889 * * [simplify]: iteration complete: 5001 enodes
1.889 * * [simplify]: Extracting #0: cost 1 inf + 0
1.890 * * [simplify]: Extracting #1: cost 246 inf + 0
1.899 * * [simplify]: Extracting #2: cost 949 inf + 747
1.924 * * [simplify]: Extracting #3: cost 679 inf + 64797
2.024 * * [simplify]: Extracting #4: cost 70 inf + 210149
2.151 * * [simplify]: Extracting #5: cost 0 inf + 223908
2.272 * * [simplify]: Extracting #6: cost 0 inf + 223513
2.381 * [simplify]: Simplified to:
  (fma (- (+ t y) 2.0) b (fma a (- 1.0 t) (fma z (- 1.0 y) x)))
2.387 * * [progress]: iteration 1 / 4
2.387 * * * [progress]: picking best candidate
2.391 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (fma (- (+ t y) 2.0) b (fma a (- 1.0 t) (fma z (- 1.0 y) x))))>
2.391 * * * [progress]: localizing error
2.416 * * * [progress]: generating rewritten candidates
2.416 * * * * [progress]: [ 1 / 1 ] rewriting at (2 3 3)
2.417 * * * [progress]: generating series expansions
2.417 * * * * [progress]: [ 1 / 1 ] generating series at (2 3 3)
2.417 * [backup-simplify]: Simplify (fma z (- 1.0 y) x) into (fma z (- 1.0 y) x)
2.417 * [approximate]: Taking taylor expansion of (fma z (- 1.0 y) x) in (z y x) around 0
2.417 * [taylor]: Taking taylor expansion of (fma z (- 1.0 y) x) in x
2.417 * [taylor]: Rewrote expression to (+ (* z (- 1.0 y)) x)
2.417 * [taylor]: Taking taylor expansion of (* z (- 1.0 y)) in x
2.417 * [taylor]: Taking taylor expansion of z in x
2.417 * [backup-simplify]: Simplify z into z
2.417 * [taylor]: Taking taylor expansion of (- 1.0 y) in x
2.417 * [taylor]: Taking taylor expansion of 1.0 in x
2.417 * [backup-simplify]: Simplify 1.0 into 1.0
2.417 * [taylor]: Taking taylor expansion of y in x
2.417 * [backup-simplify]: Simplify y into y
2.418 * [taylor]: Taking taylor expansion of x in x
2.418 * [backup-simplify]: Simplify 0 into 0
2.418 * [backup-simplify]: Simplify 1 into 1
2.418 * [taylor]: Taking taylor expansion of (fma z (- 1.0 y) x) in y
2.418 * [taylor]: Rewrote expression to (+ (* z (- 1.0 y)) x)
2.418 * [taylor]: Taking taylor expansion of (* z (- 1.0 y)) in y
2.418 * [taylor]: Taking taylor expansion of z in y
2.418 * [backup-simplify]: Simplify z into z
2.418 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
2.418 * [taylor]: Taking taylor expansion of 1.0 in y
2.418 * [backup-simplify]: Simplify 1.0 into 1.0
2.418 * [taylor]: Taking taylor expansion of y in y
2.418 * [backup-simplify]: Simplify 0 into 0
2.418 * [backup-simplify]: Simplify 1 into 1
2.418 * [taylor]: Taking taylor expansion of x in y
2.418 * [backup-simplify]: Simplify x into x
2.418 * [taylor]: Taking taylor expansion of (fma z (- 1.0 y) x) in z
2.418 * [taylor]: Rewrote expression to (+ (* z (- 1.0 y)) x)
2.418 * [taylor]: Taking taylor expansion of (* z (- 1.0 y)) in z
2.418 * [taylor]: Taking taylor expansion of z in z
2.418 * [backup-simplify]: Simplify 0 into 0
2.418 * [backup-simplify]: Simplify 1 into 1
2.418 * [taylor]: Taking taylor expansion of (- 1.0 y) in z
2.418 * [taylor]: Taking taylor expansion of 1.0 in z
2.418 * [backup-simplify]: Simplify 1.0 into 1.0
2.418 * [taylor]: Taking taylor expansion of y in z
2.418 * [backup-simplify]: Simplify y into y
2.418 * [taylor]: Taking taylor expansion of x in z
2.418 * [backup-simplify]: Simplify x into x
2.418 * [taylor]: Taking taylor expansion of (fma z (- 1.0 y) x) in z
2.418 * [taylor]: Rewrote expression to (+ (* z (- 1.0 y)) x)
2.418 * [taylor]: Taking taylor expansion of (* z (- 1.0 y)) in z
2.418 * [taylor]: Taking taylor expansion of z in z
2.418 * [backup-simplify]: Simplify 0 into 0
2.419 * [backup-simplify]: Simplify 1 into 1
2.419 * [taylor]: Taking taylor expansion of (- 1.0 y) in z
2.419 * [taylor]: Taking taylor expansion of 1.0 in z
2.419 * [backup-simplify]: Simplify 1.0 into 1.0
2.419 * [taylor]: Taking taylor expansion of y in z
2.419 * [backup-simplify]: Simplify y into y
2.419 * [taylor]: Taking taylor expansion of x in z
2.419 * [backup-simplify]: Simplify x into x
2.419 * [backup-simplify]: Simplify (- y) into (- y)
2.419 * [backup-simplify]: Simplify (+ 1.0 (- y)) into (- 1.0 y)
2.419 * [backup-simplify]: Simplify (* 0 (- 1.0 y)) into 0
2.419 * [backup-simplify]: Simplify (+ 0 x) into x
2.419 * [taylor]: Taking taylor expansion of x in y
2.419 * [backup-simplify]: Simplify x into x
2.419 * [taylor]: Taking taylor expansion of x in x
2.419 * [backup-simplify]: Simplify 0 into 0
2.419 * [backup-simplify]: Simplify 1 into 1
2.419 * [backup-simplify]: Simplify 0 into 0
2.420 * [backup-simplify]: Simplify (- 0) into 0
2.420 * [backup-simplify]: Simplify (+ 0 0) into 0
2.421 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- 1.0 y))) into (- 1.0 y)
2.421 * [backup-simplify]: Simplify (+ (- 1.0 y) 0) into (- 1.0 y)
2.421 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
2.421 * [taylor]: Taking taylor expansion of 1.0 in y
2.421 * [backup-simplify]: Simplify 1.0 into 1.0
2.421 * [taylor]: Taking taylor expansion of y in y
2.421 * [backup-simplify]: Simplify 0 into 0
2.421 * [backup-simplify]: Simplify 1 into 1
2.421 * [backup-simplify]: Simplify (- 0) into 0
2.422 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.422 * [taylor]: Taking taylor expansion of 1.0 in x
2.422 * [backup-simplify]: Simplify 1.0 into 1.0
2.422 * [backup-simplify]: Simplify 1.0 into 1.0
2.422 * [taylor]: Taking taylor expansion of 0 in x
2.422 * [backup-simplify]: Simplify 0 into 0
2.422 * [backup-simplify]: Simplify 0 into 0
2.422 * [backup-simplify]: Simplify 1 into 1
2.423 * [backup-simplify]: Simplify (- 0) into 0
2.423 * [backup-simplify]: Simplify (+ 0 0) into 0
2.424 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- 1.0 y)))) into 0
2.424 * [backup-simplify]: Simplify (+ 0 0) into 0
2.424 * [taylor]: Taking taylor expansion of 0 in y
2.424 * [backup-simplify]: Simplify 0 into 0
2.424 * [taylor]: Taking taylor expansion of 0 in x
2.424 * [backup-simplify]: Simplify 0 into 0
2.424 * [backup-simplify]: Simplify 0 into 0
2.425 * [backup-simplify]: Simplify (- 1) into -1
2.425 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.425 * [taylor]: Taking taylor expansion of -1 in x
2.425 * [backup-simplify]: Simplify -1 into -1
2.425 * [backup-simplify]: Simplify -1 into -1
2.426 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* y z))) (+ (* 1 (* x (* 1 1))) (* 1.0 (* 1 (* 1 z))))) into (- (+ x (* 1.0 z)) (* z y))
2.426 * [backup-simplify]: Simplify (fma (/ 1 z) (- 1.0 (/ 1 y)) (/ 1 x)) into (fma (/ 1 z) (- 1.0 (/ 1 y)) (/ 1 x))
2.426 * [approximate]: Taking taylor expansion of (fma (/ 1 z) (- 1.0 (/ 1 y)) (/ 1 x)) in (z y x) around 0
2.426 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1.0 (/ 1 y)) (/ 1 x)) in x
2.426 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1.0 (/ 1 y))) (/ 1 x))
2.426 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1.0 (/ 1 y))) in x
2.426 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.426 * [taylor]: Taking taylor expansion of z in x
2.426 * [backup-simplify]: Simplify z into z
2.427 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.427 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x
2.427 * [taylor]: Taking taylor expansion of 1.0 in x
2.427 * [backup-simplify]: Simplify 1.0 into 1.0
2.427 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.427 * [taylor]: Taking taylor expansion of y in x
2.427 * [backup-simplify]: Simplify y into y
2.427 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.427 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.427 * [taylor]: Taking taylor expansion of x in x
2.427 * [backup-simplify]: Simplify 0 into 0
2.427 * [backup-simplify]: Simplify 1 into 1
2.427 * [backup-simplify]: Simplify (/ 1 1) into 1
2.427 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1.0 (/ 1 y)) (/ 1 x)) in y
2.427 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1.0 (/ 1 y))) (/ 1 x))
2.427 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1.0 (/ 1 y))) in y
2.427 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.427 * [taylor]: Taking taylor expansion of z in y
2.427 * [backup-simplify]: Simplify z into z
2.428 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.428 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
2.428 * [taylor]: Taking taylor expansion of 1.0 in y
2.428 * [backup-simplify]: Simplify 1.0 into 1.0
2.428 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.428 * [taylor]: Taking taylor expansion of y in y
2.428 * [backup-simplify]: Simplify 0 into 0
2.428 * [backup-simplify]: Simplify 1 into 1
2.428 * [backup-simplify]: Simplify (/ 1 1) into 1
2.428 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.428 * [taylor]: Taking taylor expansion of x in y
2.428 * [backup-simplify]: Simplify x into x
2.428 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.428 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1.0 (/ 1 y)) (/ 1 x)) in z
2.428 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1.0 (/ 1 y))) (/ 1 x))
2.428 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1.0 (/ 1 y))) in z
2.428 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.428 * [taylor]: Taking taylor expansion of z in z
2.428 * [backup-simplify]: Simplify 0 into 0
2.428 * [backup-simplify]: Simplify 1 into 1
2.429 * [backup-simplify]: Simplify (/ 1 1) into 1
2.429 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in z
2.429 * [taylor]: Taking taylor expansion of 1.0 in z
2.429 * [backup-simplify]: Simplify 1.0 into 1.0
2.429 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.429 * [taylor]: Taking taylor expansion of y in z
2.429 * [backup-simplify]: Simplify y into y
2.429 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.429 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.429 * [taylor]: Taking taylor expansion of x in z
2.429 * [backup-simplify]: Simplify x into x
2.429 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.429 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1.0 (/ 1 y)) (/ 1 x)) in z
2.429 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1.0 (/ 1 y))) (/ 1 x))
2.429 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1.0 (/ 1 y))) in z
2.429 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.429 * [taylor]: Taking taylor expansion of z in z
2.429 * [backup-simplify]: Simplify 0 into 0
2.429 * [backup-simplify]: Simplify 1 into 1
2.430 * [backup-simplify]: Simplify (/ 1 1) into 1
2.430 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in z
2.430 * [taylor]: Taking taylor expansion of 1.0 in z
2.430 * [backup-simplify]: Simplify 1.0 into 1.0
2.430 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.430 * [taylor]: Taking taylor expansion of y in z
2.430 * [backup-simplify]: Simplify y into y
2.430 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.430 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.430 * [taylor]: Taking taylor expansion of x in z
2.430 * [backup-simplify]: Simplify x into x
2.430 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.430 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.430 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 y))) into (- 1.0 (/ 1 y))
2.430 * [backup-simplify]: Simplify (* 1 (- 1.0 (/ 1 y))) into (- 1.0 (/ 1 y))
2.431 * [backup-simplify]: Simplify (+ (- 1.0 (/ 1 y)) 0) into (- 1.0 (/ 1 y))
2.431 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
2.431 * [taylor]: Taking taylor expansion of 1.0 in y
2.431 * [backup-simplify]: Simplify 1.0 into 1.0
2.431 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.431 * [taylor]: Taking taylor expansion of y in y
2.431 * [backup-simplify]: Simplify 0 into 0
2.431 * [backup-simplify]: Simplify 1 into 1
2.431 * [backup-simplify]: Simplify (/ 1 1) into 1
2.432 * [backup-simplify]: Simplify (- 1) into -1
2.432 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.432 * [taylor]: Taking taylor expansion of -1 in x
2.432 * [backup-simplify]: Simplify -1 into -1
2.432 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.433 * [backup-simplify]: Simplify (- 0) into 0
2.433 * [backup-simplify]: Simplify (+ 0 0) into 0
2.434 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.434 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (- 1.0 (/ 1 y)))) into 0
2.434 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
2.434 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.434 * [taylor]: Taking taylor expansion of x in y
2.434 * [backup-simplify]: Simplify x into x
2.434 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.435 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.436 * [backup-simplify]: Simplify (- 0) into 0
2.436 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.436 * [taylor]: Taking taylor expansion of 1.0 in x
2.436 * [backup-simplify]: Simplify 1.0 into 1.0
2.436 * [backup-simplify]: Simplify -1 into -1
2.436 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.437 * [backup-simplify]: Simplify (- 0) into 0
2.437 * [backup-simplify]: Simplify (+ 0 0) into 0
2.438 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.439 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (- 1.0 (/ 1 y))))) into 0
2.439 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
2.439 * [backup-simplify]: Simplify (+ 0 0) into 0
2.439 * [taylor]: Taking taylor expansion of 0 in y
2.439 * [backup-simplify]: Simplify 0 into 0
2.440 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.440 * [taylor]: Taking taylor expansion of x in x
2.440 * [backup-simplify]: Simplify 0 into 0
2.440 * [backup-simplify]: Simplify 1 into 1
2.440 * [backup-simplify]: Simplify (/ 1 1) into 1
2.440 * [backup-simplify]: Simplify 1 into 1
2.441 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.441 * [backup-simplify]: Simplify (- 0) into 0
2.442 * [backup-simplify]: Simplify (+ 0 0) into 0
2.442 * [taylor]: Taking taylor expansion of 0 in x
2.442 * [backup-simplify]: Simplify 0 into 0
2.442 * [backup-simplify]: Simplify 1.0 into 1.0
2.443 * [backup-simplify]: Simplify (+ (* 1.0 (* 1 (* 1 (/ 1 (/ 1 z))))) (+ (* 1 (* (/ 1 (/ 1 x)) (* 1 1))) (* -1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 z))))))) into (- (+ x (* 1.0 z)) (* z y))
2.443 * [backup-simplify]: Simplify (fma (/ 1 (- z)) (- 1.0 (/ 1 (- y))) (/ 1 (- x))) into (fma (/ -1 z) (+ 1.0 (/ 1 y)) (/ -1 x))
2.443 * [approximate]: Taking taylor expansion of (fma (/ -1 z) (+ 1.0 (/ 1 y)) (/ -1 x)) in (z y x) around 0
2.443 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (+ 1.0 (/ 1 y)) (/ -1 x)) in x
2.443 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (+ 1.0 (/ 1 y))) (/ -1 x))
2.443 * [taylor]: Taking taylor expansion of (* (/ -1 z) (+ 1.0 (/ 1 y))) in x
2.443 * [taylor]: Taking taylor expansion of (/ -1 z) in x
2.443 * [taylor]: Taking taylor expansion of -1 in x
2.443 * [backup-simplify]: Simplify -1 into -1
2.443 * [taylor]: Taking taylor expansion of z in x
2.443 * [backup-simplify]: Simplify z into z
2.443 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
2.444 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in x
2.444 * [taylor]: Taking taylor expansion of 1.0 in x
2.444 * [backup-simplify]: Simplify 1.0 into 1.0
2.444 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.444 * [taylor]: Taking taylor expansion of y in x
2.444 * [backup-simplify]: Simplify y into y
2.444 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.444 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.444 * [taylor]: Taking taylor expansion of -1 in x
2.444 * [backup-simplify]: Simplify -1 into -1
2.444 * [taylor]: Taking taylor expansion of x in x
2.444 * [backup-simplify]: Simplify 0 into 0
2.444 * [backup-simplify]: Simplify 1 into 1
2.444 * [backup-simplify]: Simplify (/ -1 1) into -1
2.444 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (+ 1.0 (/ 1 y)) (/ -1 x)) in y
2.445 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (+ 1.0 (/ 1 y))) (/ -1 x))
2.445 * [taylor]: Taking taylor expansion of (* (/ -1 z) (+ 1.0 (/ 1 y))) in y
2.445 * [taylor]: Taking taylor expansion of (/ -1 z) in y
2.445 * [taylor]: Taking taylor expansion of -1 in y
2.445 * [backup-simplify]: Simplify -1 into -1
2.445 * [taylor]: Taking taylor expansion of z in y
2.445 * [backup-simplify]: Simplify z into z
2.445 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
2.445 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y
2.445 * [taylor]: Taking taylor expansion of 1.0 in y
2.445 * [backup-simplify]: Simplify 1.0 into 1.0
2.445 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.445 * [taylor]: Taking taylor expansion of y in y
2.445 * [backup-simplify]: Simplify 0 into 0
2.445 * [backup-simplify]: Simplify 1 into 1
2.445 * [backup-simplify]: Simplify (/ 1 1) into 1
2.445 * [taylor]: Taking taylor expansion of (/ -1 x) in y
2.445 * [taylor]: Taking taylor expansion of -1 in y
2.445 * [backup-simplify]: Simplify -1 into -1
2.445 * [taylor]: Taking taylor expansion of x in y
2.445 * [backup-simplify]: Simplify x into x
2.446 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
2.446 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (+ 1.0 (/ 1 y)) (/ -1 x)) in z
2.446 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (+ 1.0 (/ 1 y))) (/ -1 x))
2.446 * [taylor]: Taking taylor expansion of (* (/ -1 z) (+ 1.0 (/ 1 y))) in z
2.446 * [taylor]: Taking taylor expansion of (/ -1 z) in z
2.446 * [taylor]: Taking taylor expansion of -1 in z
2.446 * [backup-simplify]: Simplify -1 into -1
2.446 * [taylor]: Taking taylor expansion of z in z
2.446 * [backup-simplify]: Simplify 0 into 0
2.446 * [backup-simplify]: Simplify 1 into 1
2.446 * [backup-simplify]: Simplify (/ -1 1) into -1
2.446 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in z
2.446 * [taylor]: Taking taylor expansion of 1.0 in z
2.446 * [backup-simplify]: Simplify 1.0 into 1.0
2.446 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.446 * [taylor]: Taking taylor expansion of y in z
2.446 * [backup-simplify]: Simplify y into y
2.446 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.447 * [taylor]: Taking taylor expansion of (/ -1 x) in z
2.447 * [taylor]: Taking taylor expansion of -1 in z
2.447 * [backup-simplify]: Simplify -1 into -1
2.447 * [taylor]: Taking taylor expansion of x in z
2.447 * [backup-simplify]: Simplify x into x
2.447 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
2.447 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (+ 1.0 (/ 1 y)) (/ -1 x)) in z
2.447 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (+ 1.0 (/ 1 y))) (/ -1 x))
2.447 * [taylor]: Taking taylor expansion of (* (/ -1 z) (+ 1.0 (/ 1 y))) in z
2.447 * [taylor]: Taking taylor expansion of (/ -1 z) in z
2.447 * [taylor]: Taking taylor expansion of -1 in z
2.447 * [backup-simplify]: Simplify -1 into -1
2.447 * [taylor]: Taking taylor expansion of z in z
2.447 * [backup-simplify]: Simplify 0 into 0
2.447 * [backup-simplify]: Simplify 1 into 1
2.447 * [backup-simplify]: Simplify (/ -1 1) into -1
2.447 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in z
2.447 * [taylor]: Taking taylor expansion of 1.0 in z
2.447 * [backup-simplify]: Simplify 1.0 into 1.0
2.447 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.447 * [taylor]: Taking taylor expansion of y in z
2.448 * [backup-simplify]: Simplify y into y
2.448 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.448 * [taylor]: Taking taylor expansion of (/ -1 x) in z
2.448 * [taylor]: Taking taylor expansion of -1 in z
2.448 * [backup-simplify]: Simplify -1 into -1
2.448 * [taylor]: Taking taylor expansion of x in z
2.448 * [backup-simplify]: Simplify x into x
2.448 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
2.448 * [backup-simplify]: Simplify (+ 1.0 (/ 1 y)) into (+ 1.0 (/ 1 y))
2.448 * [backup-simplify]: Simplify (* -1 (+ 1.0 (/ 1 y))) into (* -1 (+ 1.0 (/ 1 y)))
2.448 * [backup-simplify]: Simplify (+ (* -1 (+ 1.0 (/ 1 y))) 0) into (- (+ 1.0 (/ 1 y)))
2.448 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 y))) in y
2.448 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y
2.448 * [taylor]: Taking taylor expansion of 1.0 in y
2.448 * [backup-simplify]: Simplify 1.0 into 1.0
2.448 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.448 * [taylor]: Taking taylor expansion of y in y
2.448 * [backup-simplify]: Simplify 0 into 0
2.448 * [backup-simplify]: Simplify 1 into 1
2.449 * [backup-simplify]: Simplify (/ 1 1) into 1
2.449 * [backup-simplify]: Simplify (+ 0 1) into 1
2.450 * [backup-simplify]: Simplify (- 1) into -1
2.450 * [taylor]: Taking taylor expansion of -1 in x
2.450 * [backup-simplify]: Simplify -1 into -1
2.450 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.450 * [backup-simplify]: Simplify (+ 0 0) into 0
2.451 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.452 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (+ 1.0 (/ 1 y)))) into 0
2.452 * [backup-simplify]: Simplify (+ 0 (/ -1 x)) into (- (/ 1 x))
2.452 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
2.452 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.452 * [taylor]: Taking taylor expansion of x in y
2.452 * [backup-simplify]: Simplify x into x
2.452 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.453 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.453 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.454 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.454 * [taylor]: Taking taylor expansion of (- 1.0) in x
2.454 * [taylor]: Taking taylor expansion of 1.0 in x
2.454 * [backup-simplify]: Simplify 1.0 into 1.0
2.454 * [backup-simplify]: Simplify -1 into -1
2.454 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.454 * [backup-simplify]: Simplify (+ 0 0) into 0
2.455 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.456 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (+ 1.0 (/ 1 y))))) into 0
2.456 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
2.457 * [backup-simplify]: Simplify (+ 0 0) into 0
2.457 * [taylor]: Taking taylor expansion of 0 in y
2.457 * [backup-simplify]: Simplify 0 into 0
2.457 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
2.457 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
2.457 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.457 * [taylor]: Taking taylor expansion of x in x
2.457 * [backup-simplify]: Simplify 0 into 0
2.457 * [backup-simplify]: Simplify 1 into 1
2.457 * [backup-simplify]: Simplify (/ 1 1) into 1
2.458 * [backup-simplify]: Simplify (- 1) into -1
2.458 * [backup-simplify]: Simplify -1 into -1
2.459 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.460 * [backup-simplify]: Simplify (+ 0 0) into 0
2.460 * [backup-simplify]: Simplify (- 0) into 0
2.460 * [taylor]: Taking taylor expansion of 0 in x
2.460 * [backup-simplify]: Simplify 0 into 0
2.460 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.461 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.462 * [backup-simplify]: Simplify (+ (* (- 1.0) (* 1 (* 1 (/ 1 (/ 1 (- z)))))) (+ (* -1 (* (/ 1 (/ 1 (- x))) (* 1 1))) (* -1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- z)))))))) into (- (+ x (* 1.0 z)) (* z y))
2.462 * * * [progress]: simplifying candidates
2.462 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (x y z t a b) (fma (- (+ t y) 2.0) b (fma a (- 1.0 t) (log1p (expm1 (fma z (- 1.0 y) x))))))>
2.462 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (x y z t a b) (fma (- (+ t y) 2.0) b (fma a (- 1.0 t) (expm1 (log1p (fma z (- 1.0 y) x))))))>
2.462 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (x y z t a b) (fma (- (+ t y) 2.0) b (fma a (- 1.0 t) (+ (* z (- 1.0 y)) x))))>
2.462 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (x y z t a b) (fma (- (+ t y) 2.0) b (fma a (- 1.0 t) (pow (fma z (- 1.0 y) x) 1))))>
2.462 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (x y z t a b) (fma (- (+ t y) 2.0) b (fma a (- 1.0 t) (exp (log (fma z (- 1.0 y) x))))))>
2.462 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (x y z t a b) (fma (- (+ t y) 2.0) b (fma a (- 1.0 t) (log (exp (fma z (- 1.0 y) x))))))>
2.463 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (x y z t a b) (fma (- (+ t y) 2.0) b (fma a (- 1.0 t) (* (* (cbrt (fma z (- 1.0 y) x)) (cbrt (fma z (- 1.0 y) x))) (cbrt (fma z (- 1.0 y) x))))))>
2.463 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (x y z t a b) (fma (- (+ t y) 2.0) b (fma a (- 1.0 t) (cbrt (* (* (fma z (- 1.0 y) x) (fma z (- 1.0 y) x)) (fma z (- 1.0 y) x))))))>
2.463 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (x y z t a b) (fma (- (+ t y) 2.0) b (fma a (- 1.0 t) (* (sqrt (fma z (- 1.0 y) x)) (sqrt (fma z (- 1.0 y) x))))))>
2.463 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (x y z t a b) (fma (- (+ t y) 2.0) b (fma a (- 1.0 t) (* 1 (fma z (- 1.0 y) x)))))>
2.463 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (x y z t a b) (fma (- (+ t y) 2.0) b (fma a (- 1.0 t) (posit16->real (real->posit16 (fma z (- 1.0 y) x))))))>
2.463 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (x y z t a b) (fma (- (+ t y) 2.0) b (fma a (- 1.0 t) (- (+ x (* 1.0 z)) (* z y)))))>
2.463 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (x y z t a b) (fma (- (+ t y) 2.0) b (fma a (- 1.0 t) (- (+ x (* 1.0 z)) (* z y)))))>
2.463 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (x y z t a b) (fma (- (+ t y) 2.0) b (fma a (- 1.0 t) (- (+ x (* 1.0 z)) (* z y)))))>
2.464 * [simplify]: Simplifying:
  (expm1 (fma z (- 1.0 y) x))
  (log1p (fma z (- 1.0 y) x))
  (* z (- 1.0 y))
  (log (fma z (- 1.0 y) x))
  (exp (fma z (- 1.0 y) x))
  (* (cbrt (fma z (- 1.0 y) x)) (cbrt (fma z (- 1.0 y) x)))
  (cbrt (fma z (- 1.0 y) x))
  (* (* (fma z (- 1.0 y) x) (fma z (- 1.0 y) x)) (fma z (- 1.0 y) x))
  (sqrt (fma z (- 1.0 y) x))
  (sqrt (fma z (- 1.0 y) x))
  (real->posit16 (fma z (- 1.0 y) x))
  (- (+ x (* 1.0 z)) (* z y))
  (- (+ x (* 1.0 z)) (* z y))
  (- (+ x (* 1.0 z)) (* z y))
2.464 * * [simplify]: iteration 0: 21 enodes
2.471 * * [simplify]: iteration 1: 33 enodes
2.488 * * [simplify]: iteration 2: 68 enodes
2.503 * * [simplify]: iteration 3: 269 enodes
2.715 * * [simplify]: iteration 4: 1211 enodes
3.248 * * [simplify]: iteration complete: 5000 enodes
3.249 * * [simplify]: Extracting #0: cost 11 inf + 0
3.249 * * [simplify]: Extracting #1: cost 66 inf + 0
3.264 * * [simplify]: Extracting #2: cost 656 inf + 158
3.282 * * [simplify]: Extracting #3: cost 1350 inf + 21997
3.374 * * [simplify]: Extracting #4: cost 359 inf + 247331
3.483 * * [simplify]: Extracting #5: cost 12 inf + 328989
3.604 * * [simplify]: Extracting #6: cost 0 inf + 333087
3.735 * [simplify]: Simplified to:
  (expm1 (fma (- 1.0 y) z x))
  (log1p (fma (- 1.0 y) z x))
  (* (- 1.0 y) z)
  (log (fma (- 1.0 y) z x))
  (exp (fma (- 1.0 y) z x))
  (* (cbrt (fma (- 1.0 y) z x)) (cbrt (fma (- 1.0 y) z x)))
  (cbrt (fma (- 1.0 y) z x))
  (* (* (fma (- 1.0 y) z x) (fma (- 1.0 y) z x)) (fma (- 1.0 y) z x))
  (sqrt (fma (- 1.0 y) z x))
  (sqrt (fma (- 1.0 y) z x))
  (real->posit16 (fma (- 1.0 y) z x))
  (fma (- 1.0 y) z x)
  (fma (- 1.0 y) z x)
  (fma (- 1.0 y) z x)
3.736 * * * [progress]: adding candidates to table
3.844 * [progress]: [Phase 3 of 3] Extracting.
3.853 * [simplify]: Simplifying:
  (fma (- (+ t y) 2.0) b (fma a (- 1.0 t) (fma z (- 1.0 y) x)))
3.853 * * [simplify]: iteration 0: 15 enodes
3.854 * * [simplify]: iteration 1: 16 enodes
3.855 * * [simplify]: iteration complete: 16 enodes
3.855 * * [simplify]: Extracting #0: cost 1 inf + 0
3.855 * * [simplify]: Extracting #1: cost 4 inf + 0
3.855 * * [simplify]: Extracting #2: cost 8 inf + 1
3.855 * * [simplify]: Extracting #3: cost 12 inf + 3
3.855 * * [simplify]: Extracting #4: cost 7 inf + 8
3.855 * * [simplify]: Extracting #5: cost 1 inf + 512
3.856 * * [simplify]: Extracting #6: cost 0 inf + 845
3.856 * [simplify]: Simplified to:
  (fma (- (+ y t) 2.0) b (fma a (- 1.0 t) (fma z (- 1.0 y) x)))
7.336 * [regime-testing]: Baseline error score: 0.014001750218777347
7.338 * [regime-testing]: Oracle error score: 0.014001750218777347
7.339 * [regime-testing]: End program error score: 0.014001750218777347