74.005 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.028 * * * [progress]: [2/2] Setting up program.
0.033 * [progress]: [Phase 2 of 3] Improving.
0.033 * [simplify]: Simplifying:
  (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)
0.033 * * [simplify]: iteration 0: 13 enodes
0.037 * * [simplify]: iteration 1: 25 enodes
0.043 * * [simplify]: iteration 2: 48 enodes
0.051 * * [simplify]: iteration 3: 74 enodes
0.063 * * [simplify]: iteration 4: 113 enodes
0.079 * * [simplify]: iteration 5: 147 enodes
0.097 * * [simplify]: iteration 6: 179 enodes
0.121 * * [simplify]: iteration 7: 211 enodes
0.151 * * [simplify]: iteration 8: 269 enodes
0.235 * * [simplify]: iteration 9: 405 enodes
0.341 * * [simplify]: iteration 10: 610 enodes
0.480 * * [simplify]: iteration 11: 861 enodes
0.596 * * [simplify]: iteration 12: 1066 enodes
0.699 * * [simplify]: iteration 13: 1231 enodes
0.810 * * [simplify]: iteration 14: 1404 enodes
0.952 * * [simplify]: iteration 15: 1557 enodes
1.089 * * [simplify]: iteration 16: 1721 enodes
1.193 * * [simplify]: iteration 17: 1869 enodes
1.310 * * [simplify]: iteration 18: 2039 enodes
1.446 * * [simplify]: iteration 19: 2191 enodes
1.577 * * [simplify]: iteration 20: 2348 enodes
1.706 * * [simplify]: iteration 21: 2501 enodes
1.815 * * [simplify]: iteration 22: 2662 enodes
1.942 * * [simplify]: iteration 23: 2810 enodes
2.083 * * [simplify]: iteration 24: 2980 enodes
2.175 * * [simplify]: iteration 25: 3132 enodes
2.301 * * [simplify]: iteration 26: 3289 enodes
2.414 * * [simplify]: iteration 27: 3450 enodes
2.557 * * [simplify]: iteration 28: 3611 enodes
2.651 * * [simplify]: iteration 29: 3759 enodes
2.778 * * [simplify]: iteration 30: 3929 enodes
2.893 * * [simplify]: iteration 31: 4081 enodes
3.018 * * [simplify]: iteration 32: 4238 enodes
3.150 * * [simplify]: iteration 33: 4402 enodes
3.277 * * [simplify]: iteration 34: 4563 enodes
3.384 * * [simplify]: iteration 35: 4711 enodes
3.535 * * [simplify]: iteration 36: 4868 enodes
3.639 * * [simplify]: iteration complete: 5000 enodes
3.639 * * [simplify]: Extracting #0: cost 1 inf + 0
3.639 * * [simplify]: Extracting #1: cost 34 inf + 0
3.640 * * [simplify]: Extracting #2: cost 69 inf + 46
3.641 * * [simplify]: Extracting #3: cost 67 inf + 870
3.642 * * [simplify]: Extracting #4: cost 7 inf + 7356
3.646 * * [simplify]: Extracting #5: cost 0 inf + 8358
3.652 * [simplify]: Simplified to:
  (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0)))
3.663 * * [progress]: iteration 1 / 4
3.663 * * * [progress]: picking best candidate
3.671 * * * * [pick]: Picked  #<alt (λ (x y z t) (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0))))>
3.671 * * * [progress]: localizing error
3.684 * * * [progress]: generating rewritten candidates
3.685 * * * * [progress]: [ 1 / 1 ] rewriting at (2 3)
3.695 * * * [progress]: generating series expansions
3.695 * * * * [progress]: [ 1 / 1 ] generating series at (2 3)
3.695 * [backup-simplify]: Simplify (- t (/ (* z y) 2.0)) into (- t (* 0.5 (* z y)))
3.695 * [approximate]: Taking taylor expansion of (- t (* 0.5 (* z y))) in (t z y) around 0
3.695 * [taylor]: Taking taylor expansion of (- t (* 0.5 (* z y))) in y
3.695 * [taylor]: Taking taylor expansion of t in y
3.695 * [backup-simplify]: Simplify t into t
3.695 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in y
3.695 * [taylor]: Taking taylor expansion of 0.5 in y
3.695 * [backup-simplify]: Simplify 0.5 into 0.5
3.695 * [taylor]: Taking taylor expansion of (* z y) in y
3.695 * [taylor]: Taking taylor expansion of z in y
3.695 * [backup-simplify]: Simplify z into z
3.696 * [taylor]: Taking taylor expansion of y in y
3.696 * [backup-simplify]: Simplify 0 into 0
3.696 * [backup-simplify]: Simplify 1 into 1
3.696 * [taylor]: Taking taylor expansion of (- t (* 0.5 (* z y))) in z
3.696 * [taylor]: Taking taylor expansion of t in z
3.696 * [backup-simplify]: Simplify t into t
3.696 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in z
3.696 * [taylor]: Taking taylor expansion of 0.5 in z
3.696 * [backup-simplify]: Simplify 0.5 into 0.5
3.696 * [taylor]: Taking taylor expansion of (* z y) in z
3.696 * [taylor]: Taking taylor expansion of z in z
3.696 * [backup-simplify]: Simplify 0 into 0
3.696 * [backup-simplify]: Simplify 1 into 1
3.696 * [taylor]: Taking taylor expansion of y in z
3.696 * [backup-simplify]: Simplify y into y
3.696 * [taylor]: Taking taylor expansion of (- t (* 0.5 (* z y))) in t
3.696 * [taylor]: Taking taylor expansion of t in t
3.696 * [backup-simplify]: Simplify 0 into 0
3.696 * [backup-simplify]: Simplify 1 into 1
3.696 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in t
3.696 * [taylor]: Taking taylor expansion of 0.5 in t
3.696 * [backup-simplify]: Simplify 0.5 into 0.5
3.696 * [taylor]: Taking taylor expansion of (* z y) in t
3.696 * [taylor]: Taking taylor expansion of z in t
3.696 * [backup-simplify]: Simplify z into z
3.696 * [taylor]: Taking taylor expansion of y in t
3.696 * [backup-simplify]: Simplify y into y
3.696 * [taylor]: Taking taylor expansion of (- t (* 0.5 (* z y))) in t
3.696 * [taylor]: Taking taylor expansion of t in t
3.696 * [backup-simplify]: Simplify 0 into 0
3.696 * [backup-simplify]: Simplify 1 into 1
3.696 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in t
3.696 * [taylor]: Taking taylor expansion of 0.5 in t
3.696 * [backup-simplify]: Simplify 0.5 into 0.5
3.696 * [taylor]: Taking taylor expansion of (* z y) in t
3.696 * [taylor]: Taking taylor expansion of z in t
3.696 * [backup-simplify]: Simplify z into z
3.696 * [taylor]: Taking taylor expansion of y in t
3.696 * [backup-simplify]: Simplify y into y
3.696 * [backup-simplify]: Simplify (* z y) into (* z y)
3.696 * [backup-simplify]: Simplify (* 0.5 (* z y)) into (* 0.5 (* z y))
3.696 * [backup-simplify]: Simplify (- (* 0.5 (* z y))) into (- (* 0.5 (* z y)))
3.696 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (* z y)))) into (- (* 0.5 (* z y)))
3.697 * [taylor]: Taking taylor expansion of (- (* 0.5 (* z y))) in z
3.697 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in z
3.697 * [taylor]: Taking taylor expansion of 0.5 in z
3.697 * [backup-simplify]: Simplify 0.5 into 0.5
3.697 * [taylor]: Taking taylor expansion of (* z y) in z
3.697 * [taylor]: Taking taylor expansion of z in z
3.697 * [backup-simplify]: Simplify 0 into 0
3.697 * [backup-simplify]: Simplify 1 into 1
3.697 * [taylor]: Taking taylor expansion of y in z
3.697 * [backup-simplify]: Simplify y into y
3.697 * [backup-simplify]: Simplify (* 0 y) into 0
3.697 * [backup-simplify]: Simplify (* 0.5 0) into 0
3.698 * [backup-simplify]: Simplify (- 0) into 0
3.698 * [taylor]: Taking taylor expansion of 0 in y
3.698 * [backup-simplify]: Simplify 0 into 0
3.698 * [backup-simplify]: Simplify 0 into 0
3.698 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
3.698 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* z y))) into 0
3.699 * [backup-simplify]: Simplify (- 0) into 0
3.699 * [backup-simplify]: Simplify (+ 1 0) into 1
3.699 * [taylor]: Taking taylor expansion of 1 in z
3.699 * [backup-simplify]: Simplify 1 into 1
3.699 * [taylor]: Taking taylor expansion of 1 in y
3.699 * [backup-simplify]: Simplify 1 into 1
3.699 * [backup-simplify]: Simplify 1 into 1
3.699 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.700 * [backup-simplify]: Simplify (+ (* 0.5 y) (* 0 0)) into (* 0.5 y)
3.700 * [backup-simplify]: Simplify (- (* 0.5 y)) into (- (* 0.5 y))
3.700 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y
3.700 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
3.700 * [taylor]: Taking taylor expansion of 0.5 in y
3.700 * [backup-simplify]: Simplify 0.5 into 0.5
3.700 * [taylor]: Taking taylor expansion of y in y
3.700 * [backup-simplify]: Simplify 0 into 0
3.700 * [backup-simplify]: Simplify 1 into 1
3.700 * [backup-simplify]: Simplify (* 0.5 0) into 0
3.700 * [backup-simplify]: Simplify (- 0) into 0
3.700 * [backup-simplify]: Simplify 0 into 0
3.700 * [backup-simplify]: Simplify 0 into 0
3.701 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
3.701 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* z y)))) into 0
3.702 * [backup-simplify]: Simplify (- 0) into 0
3.702 * [backup-simplify]: Simplify (+ 0 0) into 0
3.702 * [taylor]: Taking taylor expansion of 0 in z
3.702 * [backup-simplify]: Simplify 0 into 0
3.702 * [taylor]: Taking taylor expansion of 0 in y
3.702 * [backup-simplify]: Simplify 0 into 0
3.702 * [backup-simplify]: Simplify 0 into 0
3.702 * [taylor]: Taking taylor expansion of 0 in y
3.702 * [backup-simplify]: Simplify 0 into 0
3.702 * [backup-simplify]: Simplify 0 into 0
3.703 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
3.703 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 y) (* 0 0))) into 0
3.703 * [backup-simplify]: Simplify (- 0) into 0
3.703 * [taylor]: Taking taylor expansion of 0 in y
3.703 * [backup-simplify]: Simplify 0 into 0
3.703 * [backup-simplify]: Simplify 0 into 0
3.703 * [backup-simplify]: Simplify 0 into 0
3.704 * [backup-simplify]: Simplify (* 1 (* 1 (* 1 t))) into t
3.704 * [backup-simplify]: Simplify (- (/ 1 t) (/ (* (/ 1 z) (/ 1 y)) 2.0)) into (- (/ 1 t) (* 0.5 (/ 1 (* z y))))
3.704 * [approximate]: Taking taylor expansion of (- (/ 1 t) (* 0.5 (/ 1 (* z y)))) in (t z y) around 0
3.704 * [taylor]: Taking taylor expansion of (- (/ 1 t) (* 0.5 (/ 1 (* z y)))) in y
3.704 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.704 * [taylor]: Taking taylor expansion of t in y
3.704 * [backup-simplify]: Simplify t into t
3.704 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.704 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y
3.704 * [taylor]: Taking taylor expansion of 0.5 in y
3.704 * [backup-simplify]: Simplify 0.5 into 0.5
3.704 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.704 * [taylor]: Taking taylor expansion of (* z y) in y
3.704 * [taylor]: Taking taylor expansion of z in y
3.704 * [backup-simplify]: Simplify z into z
3.704 * [taylor]: Taking taylor expansion of y in y
3.704 * [backup-simplify]: Simplify 0 into 0
3.704 * [backup-simplify]: Simplify 1 into 1
3.704 * [backup-simplify]: Simplify (* z 0) into 0
3.704 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
3.704 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.705 * [taylor]: Taking taylor expansion of (- (/ 1 t) (* 0.5 (/ 1 (* z y)))) in z
3.705 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.705 * [taylor]: Taking taylor expansion of t in z
3.705 * [backup-simplify]: Simplify t into t
3.705 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.705 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in z
3.705 * [taylor]: Taking taylor expansion of 0.5 in z
3.705 * [backup-simplify]: Simplify 0.5 into 0.5
3.705 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.705 * [taylor]: Taking taylor expansion of (* z y) in z
3.705 * [taylor]: Taking taylor expansion of z in z
3.705 * [backup-simplify]: Simplify 0 into 0
3.705 * [backup-simplify]: Simplify 1 into 1
3.705 * [taylor]: Taking taylor expansion of y in z
3.705 * [backup-simplify]: Simplify y into y
3.705 * [backup-simplify]: Simplify (* 0 y) into 0
3.705 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.705 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.705 * [taylor]: Taking taylor expansion of (- (/ 1 t) (* 0.5 (/ 1 (* z y)))) in t
3.705 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.705 * [taylor]: Taking taylor expansion of t in t
3.705 * [backup-simplify]: Simplify 0 into 0
3.705 * [backup-simplify]: Simplify 1 into 1
3.706 * [backup-simplify]: Simplify (/ 1 1) into 1
3.706 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in t
3.706 * [taylor]: Taking taylor expansion of 0.5 in t
3.706 * [backup-simplify]: Simplify 0.5 into 0.5
3.706 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
3.706 * [taylor]: Taking taylor expansion of (* z y) in t
3.706 * [taylor]: Taking taylor expansion of z in t
3.706 * [backup-simplify]: Simplify z into z
3.706 * [taylor]: Taking taylor expansion of y in t
3.706 * [backup-simplify]: Simplify y into y
3.706 * [backup-simplify]: Simplify (* z y) into (* z y)
3.706 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
3.706 * [taylor]: Taking taylor expansion of (- (/ 1 t) (* 0.5 (/ 1 (* z y)))) in t
3.706 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.706 * [taylor]: Taking taylor expansion of t in t
3.706 * [backup-simplify]: Simplify 0 into 0
3.706 * [backup-simplify]: Simplify 1 into 1
3.706 * [backup-simplify]: Simplify (/ 1 1) into 1
3.706 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in t
3.706 * [taylor]: Taking taylor expansion of 0.5 in t
3.706 * [backup-simplify]: Simplify 0.5 into 0.5
3.706 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
3.706 * [taylor]: Taking taylor expansion of (* z y) in t
3.706 * [taylor]: Taking taylor expansion of z in t
3.706 * [backup-simplify]: Simplify z into z
3.706 * [taylor]: Taking taylor expansion of y in t
3.706 * [backup-simplify]: Simplify y into y
3.706 * [backup-simplify]: Simplify (* z y) into (* z y)
3.707 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
3.707 * [backup-simplify]: Simplify (+ 1 0) into 1
3.707 * [taylor]: Taking taylor expansion of 1 in z
3.707 * [backup-simplify]: Simplify 1 into 1
3.707 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.708 * [backup-simplify]: Simplify (* 0.5 (/ 1 (* z y))) into (/ 0.5 (* z y))
3.708 * [backup-simplify]: Simplify (- (/ 0.5 (* z y))) into (- (* 0.5 (/ 1 (* z y))))
3.708 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ 1 (* z y))))) into (- (* 0.5 (/ 1 (* z y))))
3.708 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (* z y)))) in z
3.708 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in z
3.708 * [taylor]: Taking taylor expansion of 0.5 in z
3.708 * [backup-simplify]: Simplify 0.5 into 0.5
3.708 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.708 * [taylor]: Taking taylor expansion of (* z y) in z
3.708 * [taylor]: Taking taylor expansion of z in z
3.708 * [backup-simplify]: Simplify 0 into 0
3.708 * [backup-simplify]: Simplify 1 into 1
3.708 * [taylor]: Taking taylor expansion of y in z
3.708 * [backup-simplify]: Simplify y into y
3.708 * [backup-simplify]: Simplify (* 0 y) into 0
3.708 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.708 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.708 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
3.708 * [backup-simplify]: Simplify (- (/ 0.5 y)) into (- (* 0.5 (/ 1 y)))
3.709 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y
3.709 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
3.709 * [taylor]: Taking taylor expansion of 0.5 in y
3.709 * [backup-simplify]: Simplify 0.5 into 0.5
3.709 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.709 * [taylor]: Taking taylor expansion of y in y
3.709 * [backup-simplify]: Simplify 0 into 0
3.709 * [backup-simplify]: Simplify 1 into 1
3.709 * [backup-simplify]: Simplify (/ 1 1) into 1
3.709 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
3.709 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.710 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.710 * [taylor]: Taking taylor expansion of 1 in y
3.710 * [backup-simplify]: Simplify 1 into 1
3.710 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.710 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
3.711 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
3.711 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (* z y)))) into 0
3.711 * [backup-simplify]: Simplify (- 0) into 0
3.712 * [backup-simplify]: Simplify (+ 0 0) into 0
3.712 * [taylor]: Taking taylor expansion of 0 in z
3.712 * [backup-simplify]: Simplify 0 into 0
3.712 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
3.712 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.713 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0
3.713 * [backup-simplify]: Simplify (- 0) into 0
3.713 * [taylor]: Taking taylor expansion of 0 in y
3.713 * [backup-simplify]: Simplify 0 into 0
3.713 * [taylor]: Taking taylor expansion of 0 in y
3.713 * [backup-simplify]: Simplify 0 into 0
3.713 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.714 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
3.714 * [backup-simplify]: Simplify (- 0) into 0
3.714 * [backup-simplify]: Simplify 0 into 0
3.714 * [backup-simplify]: Simplify 1 into 1
3.715 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.715 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
3.715 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
3.716 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 (* z y))))) into 0
3.716 * [backup-simplify]: Simplify (- 0) into 0
3.716 * [backup-simplify]: Simplify (+ 0 0) into 0
3.716 * [taylor]: Taking taylor expansion of 0 in z
3.717 * [backup-simplify]: Simplify 0 into 0
3.717 * [taylor]: Taking taylor expansion of 0 in y
3.717 * [backup-simplify]: Simplify 0 into 0
3.718 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
3.718 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.718 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
3.718 * [backup-simplify]: Simplify (- 0) into 0
3.718 * [taylor]: Taking taylor expansion of 0 in y
3.718 * [backup-simplify]: Simplify 0 into 0
3.719 * [taylor]: Taking taylor expansion of 0 in y
3.719 * [backup-simplify]: Simplify 0 into 0
3.719 * [backup-simplify]: Simplify 0 into 0
3.719 * [backup-simplify]: Simplify 0 into 0
3.719 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.720 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
3.720 * [backup-simplify]: Simplify (- 0) into 0
3.720 * [backup-simplify]: Simplify 0 into 0
3.720 * [backup-simplify]: Simplify 0 into 0
3.721 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.721 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
3.721 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
3.722 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* z y)))))) into 0
3.722 * [backup-simplify]: Simplify (- 0) into 0
3.723 * [backup-simplify]: Simplify (+ 0 0) into 0
3.723 * [taylor]: Taking taylor expansion of 0 in z
3.723 * [backup-simplify]: Simplify 0 into 0
3.723 * [taylor]: Taking taylor expansion of 0 in y
3.723 * [backup-simplify]: Simplify 0 into 0
3.723 * [taylor]: Taking taylor expansion of 0 in y
3.723 * [backup-simplify]: Simplify 0 into 0
3.724 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
3.724 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.725 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
3.725 * [backup-simplify]: Simplify (- 0) into 0
3.725 * [taylor]: Taking taylor expansion of 0 in y
3.725 * [backup-simplify]: Simplify 0 into 0
3.725 * [taylor]: Taking taylor expansion of 0 in y
3.725 * [backup-simplify]: Simplify 0 into 0
3.725 * [backup-simplify]: Simplify 0 into 0
3.725 * [backup-simplify]: Simplify 0 into 0
3.726 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (/ 1 (/ 1 t))))) (* (- 0.5) (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 z)) 1)))) into (- t (* 0.5 (* z y)))
3.726 * [backup-simplify]: Simplify (- (/ 1 (- t)) (/ (* (/ 1 (- z)) (/ 1 (- y))) 2.0)) into (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))))
3.726 * [approximate]: Taking taylor expansion of (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))) in (t z y) around 0
3.726 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))) in y
3.726 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))) in y
3.726 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.726 * [taylor]: Taking taylor expansion of t in y
3.726 * [backup-simplify]: Simplify t into t
3.726 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.726 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y
3.726 * [taylor]: Taking taylor expansion of 0.5 in y
3.726 * [backup-simplify]: Simplify 0.5 into 0.5
3.726 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.726 * [taylor]: Taking taylor expansion of (* z y) in y
3.726 * [taylor]: Taking taylor expansion of z in y
3.726 * [backup-simplify]: Simplify z into z
3.726 * [taylor]: Taking taylor expansion of y in y
3.726 * [backup-simplify]: Simplify 0 into 0
3.726 * [backup-simplify]: Simplify 1 into 1
3.726 * [backup-simplify]: Simplify (* z 0) into 0
3.727 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
3.727 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.727 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))) in z
3.727 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))) in z
3.727 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.727 * [taylor]: Taking taylor expansion of t in z
3.727 * [backup-simplify]: Simplify t into t
3.727 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.727 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in z
3.727 * [taylor]: Taking taylor expansion of 0.5 in z
3.727 * [backup-simplify]: Simplify 0.5 into 0.5
3.727 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.727 * [taylor]: Taking taylor expansion of (* z y) in z
3.727 * [taylor]: Taking taylor expansion of z in z
3.727 * [backup-simplify]: Simplify 0 into 0
3.727 * [backup-simplify]: Simplify 1 into 1
3.727 * [taylor]: Taking taylor expansion of y in z
3.727 * [backup-simplify]: Simplify y into y
3.727 * [backup-simplify]: Simplify (* 0 y) into 0
3.728 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.728 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.728 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))) in t
3.728 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))) in t
3.728 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.728 * [taylor]: Taking taylor expansion of t in t
3.728 * [backup-simplify]: Simplify 0 into 0
3.728 * [backup-simplify]: Simplify 1 into 1
3.728 * [backup-simplify]: Simplify (/ 1 1) into 1
3.728 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in t
3.728 * [taylor]: Taking taylor expansion of 0.5 in t
3.728 * [backup-simplify]: Simplify 0.5 into 0.5
3.728 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
3.728 * [taylor]: Taking taylor expansion of (* z y) in t
3.728 * [taylor]: Taking taylor expansion of z in t
3.728 * [backup-simplify]: Simplify z into z
3.728 * [taylor]: Taking taylor expansion of y in t
3.728 * [backup-simplify]: Simplify y into y
3.728 * [backup-simplify]: Simplify (* z y) into (* z y)
3.728 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
3.728 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))) in t
3.728 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))) in t
3.729 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.729 * [taylor]: Taking taylor expansion of t in t
3.729 * [backup-simplify]: Simplify 0 into 0
3.729 * [backup-simplify]: Simplify 1 into 1
3.729 * [backup-simplify]: Simplify (/ 1 1) into 1
3.729 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in t
3.729 * [taylor]: Taking taylor expansion of 0.5 in t
3.729 * [backup-simplify]: Simplify 0.5 into 0.5
3.729 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
3.729 * [taylor]: Taking taylor expansion of (* z y) in t
3.729 * [taylor]: Taking taylor expansion of z in t
3.729 * [backup-simplify]: Simplify z into z
3.729 * [taylor]: Taking taylor expansion of y in t
3.729 * [backup-simplify]: Simplify y into y
3.729 * [backup-simplify]: Simplify (* z y) into (* z y)
3.729 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
3.729 * [backup-simplify]: Simplify (+ 1 0) into 1
3.730 * [backup-simplify]: Simplify (- 1) into -1
3.730 * [taylor]: Taking taylor expansion of -1 in z
3.730 * [backup-simplify]: Simplify -1 into -1
3.730 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.730 * [backup-simplify]: Simplify (* 0.5 (/ 1 (* z y))) into (/ 0.5 (* z y))
3.730 * [backup-simplify]: Simplify (+ 0 (/ 0.5 (* z y))) into (* 0.5 (/ 1 (* z y)))
3.730 * [backup-simplify]: Simplify (- (* 0.5 (/ 1 (* z y)))) into (- (* 0.5 (/ 1 (* z y))))
3.731 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (* z y)))) in z
3.731 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in z
3.731 * [taylor]: Taking taylor expansion of 0.5 in z
3.731 * [backup-simplify]: Simplify 0.5 into 0.5
3.731 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.731 * [taylor]: Taking taylor expansion of (* z y) in z
3.731 * [taylor]: Taking taylor expansion of z in z
3.731 * [backup-simplify]: Simplify 0 into 0
3.731 * [backup-simplify]: Simplify 1 into 1
3.731 * [taylor]: Taking taylor expansion of y in z
3.731 * [backup-simplify]: Simplify y into y
3.731 * [backup-simplify]: Simplify (* 0 y) into 0
3.731 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.731 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.731 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
3.731 * [backup-simplify]: Simplify (- (/ 0.5 y)) into (- (* 0.5 (/ 1 y)))
3.731 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y
3.731 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
3.731 * [taylor]: Taking taylor expansion of 0.5 in y
3.731 * [backup-simplify]: Simplify 0.5 into 0.5
3.731 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.731 * [taylor]: Taking taylor expansion of y in y
3.731 * [backup-simplify]: Simplify 0 into 0
3.731 * [backup-simplify]: Simplify 1 into 1
3.732 * [backup-simplify]: Simplify (/ 1 1) into 1
3.732 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
3.732 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.732 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.732 * [taylor]: Taking taylor expansion of -1 in y
3.733 * [backup-simplify]: Simplify -1 into -1
3.733 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.733 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
3.733 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
3.734 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (* z y)))) into 0
3.734 * [backup-simplify]: Simplify (+ 0 0) into 0
3.734 * [backup-simplify]: Simplify (- 0) into 0
3.734 * [taylor]: Taking taylor expansion of 0 in z
3.734 * [backup-simplify]: Simplify 0 into 0
3.735 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
3.735 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.735 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0
3.735 * [backup-simplify]: Simplify (- 0) into 0
3.735 * [taylor]: Taking taylor expansion of 0 in y
3.735 * [backup-simplify]: Simplify 0 into 0
3.735 * [taylor]: Taking taylor expansion of 0 in y
3.735 * [backup-simplify]: Simplify 0 into 0
3.736 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.736 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
3.737 * [backup-simplify]: Simplify (- 0) into 0
3.737 * [backup-simplify]: Simplify 0 into 0
3.737 * [backup-simplify]: Simplify -1 into -1
3.737 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.738 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
3.738 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
3.738 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 (* z y))))) into 0
3.739 * [backup-simplify]: Simplify (+ 0 0) into 0
3.739 * [backup-simplify]: Simplify (- 0) into 0
3.739 * [taylor]: Taking taylor expansion of 0 in z
3.739 * [backup-simplify]: Simplify 0 into 0
3.739 * [taylor]: Taking taylor expansion of 0 in y
3.739 * [backup-simplify]: Simplify 0 into 0
3.740 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
3.740 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.740 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
3.741 * [backup-simplify]: Simplify (- 0) into 0
3.741 * [taylor]: Taking taylor expansion of 0 in y
3.741 * [backup-simplify]: Simplify 0 into 0
3.741 * [taylor]: Taking taylor expansion of 0 in y
3.741 * [backup-simplify]: Simplify 0 into 0
3.741 * [backup-simplify]: Simplify 0 into 0
3.741 * [backup-simplify]: Simplify 0 into 0
3.741 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.747 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
3.748 * [backup-simplify]: Simplify (- 0) into 0
3.748 * [backup-simplify]: Simplify 0 into 0
3.748 * [backup-simplify]: Simplify 0 into 0
3.748 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.749 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
3.749 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
3.750 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* z y)))))) into 0
3.750 * [backup-simplify]: Simplify (+ 0 0) into 0
3.751 * [backup-simplify]: Simplify (- 0) into 0
3.751 * [taylor]: Taking taylor expansion of 0 in z
3.751 * [backup-simplify]: Simplify 0 into 0
3.751 * [taylor]: Taking taylor expansion of 0 in y
3.751 * [backup-simplify]: Simplify 0 into 0
3.751 * [taylor]: Taking taylor expansion of 0 in y
3.751 * [backup-simplify]: Simplify 0 into 0
3.752 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
3.752 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.753 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
3.753 * [backup-simplify]: Simplify (- 0) into 0
3.753 * [taylor]: Taking taylor expansion of 0 in y
3.753 * [backup-simplify]: Simplify 0 into 0
3.753 * [taylor]: Taking taylor expansion of 0 in y
3.753 * [backup-simplify]: Simplify 0 into 0
3.753 * [backup-simplify]: Simplify 0 into 0
3.753 * [backup-simplify]: Simplify 0 into 0
3.753 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (/ 1 (/ 1 (- t)))))) (* (- 0.5) (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- z))) 1)))) into (- t (* 0.5 (* z y)))
3.754 * * * [progress]: simplifying candidates
3.754 * [simplify]: Simplifying:
  (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* (cbrt (/ (* z y) 2.0)) (* (cbrt (/ (* z y) 2.0)) (cbrt (/ (* z y) 2.0))))))
  (fma (- (cbrt (/ (* z y) 2.0))) (* (cbrt (/ (* z y) 2.0)) (cbrt (/ (* z y) 2.0))) (* (cbrt (/ (* z y) 2.0)) (* (cbrt (/ (* z y) 2.0)) (cbrt (/ (* z y) 2.0)))))
  (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* (sqrt (/ (* z y) 2.0)) (sqrt (/ (* z y) 2.0)))))
  (fma (- (sqrt (/ (* z y) 2.0))) (sqrt (/ (* z y) 2.0)) (* (sqrt (/ (* z y) 2.0)) (sqrt (/ (* z y) 2.0))))
  (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* (/ y (cbrt 2.0)) (/ z (* (cbrt 2.0) (cbrt 2.0))))))
  (fma (- (/ y (cbrt 2.0))) (/ z (* (cbrt 2.0) (cbrt 2.0))) (* (/ y (cbrt 2.0)) (/ z (* (cbrt 2.0) (cbrt 2.0)))))
  (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* (/ y (sqrt 2.0)) (/ z (sqrt 2.0)))))
  (fma (- (/ y (sqrt 2.0))) (/ z (sqrt 2.0)) (* (/ y (sqrt 2.0)) (/ z (sqrt 2.0))))
  (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* (/ y 2.0) (/ z 1))))
  (fma (- (/ y 2.0)) (/ z 1) (* (/ y 2.0) (/ z 1)))
  (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* (/ (* z y) 2.0) 1)))
  (fma (- (/ (* z y) 2.0)) 1 (* (/ (* z y) 2.0) 1))
  (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* (/ 1 2.0) (* z y))))
  (fma (- (/ 1 2.0)) (* z y) (* (/ 1 2.0) (* z y)))
  (fma (sqrt t) (sqrt t) (- (* (cbrt (/ (* z y) 2.0)) (* (cbrt (/ (* z y) 2.0)) (cbrt (/ (* z y) 2.0))))))
  (fma (- (cbrt (/ (* z y) 2.0))) (* (cbrt (/ (* z y) 2.0)) (cbrt (/ (* z y) 2.0))) (* (cbrt (/ (* z y) 2.0)) (* (cbrt (/ (* z y) 2.0)) (cbrt (/ (* z y) 2.0)))))
  (fma (sqrt t) (sqrt t) (- (* (sqrt (/ (* z y) 2.0)) (sqrt (/ (* z y) 2.0)))))
  (fma (- (sqrt (/ (* z y) 2.0))) (sqrt (/ (* z y) 2.0)) (* (sqrt (/ (* z y) 2.0)) (sqrt (/ (* z y) 2.0))))
  (fma (sqrt t) (sqrt t) (- (* (/ y (cbrt 2.0)) (/ z (* (cbrt 2.0) (cbrt 2.0))))))
  (fma (- (/ y (cbrt 2.0))) (/ z (* (cbrt 2.0) (cbrt 2.0))) (* (/ y (cbrt 2.0)) (/ z (* (cbrt 2.0) (cbrt 2.0)))))
  (fma (sqrt t) (sqrt t) (- (* (/ y (sqrt 2.0)) (/ z (sqrt 2.0)))))
  (fma (- (/ y (sqrt 2.0))) (/ z (sqrt 2.0)) (* (/ y (sqrt 2.0)) (/ z (sqrt 2.0))))
  (fma (sqrt t) (sqrt t) (- (* (/ y 2.0) (/ z 1))))
  (fma (- (/ y 2.0)) (/ z 1) (* (/ y 2.0) (/ z 1)))
  (fma (sqrt t) (sqrt t) (- (* (/ (* z y) 2.0) 1)))
  (fma (- (/ (* z y) 2.0)) 1 (* (/ (* z y) 2.0) 1))
  (fma (sqrt t) (sqrt t) (- (* (/ 1 2.0) (* z y))))
  (fma (- (/ 1 2.0)) (* z y) (* (/ 1 2.0) (* z y)))
  (fma 1 t (- (* (cbrt (/ (* z y) 2.0)) (* (cbrt (/ (* z y) 2.0)) (cbrt (/ (* z y) 2.0))))))
  (fma (- (cbrt (/ (* z y) 2.0))) (* (cbrt (/ (* z y) 2.0)) (cbrt (/ (* z y) 2.0))) (* (cbrt (/ (* z y) 2.0)) (* (cbrt (/ (* z y) 2.0)) (cbrt (/ (* z y) 2.0)))))
  (fma 1 t (- (* (sqrt (/ (* z y) 2.0)) (sqrt (/ (* z y) 2.0)))))
  (fma (- (sqrt (/ (* z y) 2.0))) (sqrt (/ (* z y) 2.0)) (* (sqrt (/ (* z y) 2.0)) (sqrt (/ (* z y) 2.0))))
  (fma 1 t (- (* (/ y (cbrt 2.0)) (/ z (* (cbrt 2.0) (cbrt 2.0))))))
  (fma (- (/ y (cbrt 2.0))) (/ z (* (cbrt 2.0) (cbrt 2.0))) (* (/ y (cbrt 2.0)) (/ z (* (cbrt 2.0) (cbrt 2.0)))))
  (fma 1 t (- (* (/ y (sqrt 2.0)) (/ z (sqrt 2.0)))))
  (fma (- (/ y (sqrt 2.0))) (/ z (sqrt 2.0)) (* (/ y (sqrt 2.0)) (/ z (sqrt 2.0))))
  (fma 1 t (- (* (/ y 2.0) (/ z 1))))
  (fma (- (/ y 2.0)) (/ z 1) (* (/ y 2.0) (/ z 1)))
  (fma 1 t (- (* (/ (* z y) 2.0) 1)))
  (fma (- (/ (* z y) 2.0)) 1 (* (/ (* z y) 2.0) 1))
  (fma 1 t (- (* (/ 1 2.0) (* z y))))
  (fma (- (/ 1 2.0)) (* z y) (* (/ 1 2.0) (* z y)))
  (expm1 (- t (/ (* z y) 2.0)))
  (log1p (- t (/ (* z y) 2.0)))
  (- (/ (* z y) 2.0))
  (- (/ (* z y) 2.0))
  (- (/ (* z y) 2.0))
  (/ (exp t) (exp (/ (* z y) 2.0)))
  (log (- t (/ (* z y) 2.0)))
  (exp (- t (/ (* z y) 2.0)))
  (* (cbrt (- t (/ (* z y) 2.0))) (cbrt (- t (/ (* z y) 2.0))))
  (cbrt (- t (/ (* z y) 2.0)))
  (* (* (- t (/ (* z y) 2.0)) (- t (/ (* z y) 2.0))) (- t (/ (* z y) 2.0)))
  (sqrt (- t (/ (* z y) 2.0)))
  (sqrt (- t (/ (* z y) 2.0)))
  (- (pow t 3) (pow (/ (* z y) 2.0) 3))
  (+ (* t t) (+ (* (/ (* z y) 2.0) (/ (* z y) 2.0)) (* t (/ (* z y) 2.0))))
  (- (/ (* z y) 2.0))
  (- (* t t) (* (/ (* z y) 2.0) (/ (* z y) 2.0)))
  (+ t (/ (* z y) 2.0))
  (+ (sqrt t) (sqrt (/ (* z y) 2.0)))
  (- (sqrt t) (sqrt (/ (* z y) 2.0)))
  (- t (/ (* z y) 2.0))
  (- (/ (* z y) 2.0))
  t
  (- t (* 0.5 (* z y)))
  (- t (* 0.5 (* z y)))
3.756 * * [simplify]: iteration 0: 101 enodes
3.776 * * [simplify]: iteration 1: 243 enodes
3.873 * * [simplify]: iteration 2: 642 enodes
4.283 * * [simplify]: iteration 3: 2285 enodes
5.470 * * [simplify]: iteration complete: 5002 enodes
5.470 * * [simplify]: Extracting #0: cost 23 inf + 0
5.471 * * [simplify]: Extracting #1: cost 237 inf + 2
5.474 * * [simplify]: Extracting #2: cost 896 inf + 2344
5.490 * * [simplify]: Extracting #3: cost 967 inf + 56167
5.544 * * [simplify]: Extracting #4: cost 262 inf + 208499
5.617 * * [simplify]: Extracting #5: cost 50 inf + 255576
5.688 * * [simplify]: Extracting #6: cost 5 inf + 263384
5.752 * * [simplify]: Extracting #7: cost 0 inf + 264559
5.814 * [simplify]: Simplified to:
  (- t (* (/ y 2.0) z))
  0
  (- t (* (/ y 2.0) z))
  0
  (- t (/ (* (/ (/ z (cbrt 2.0)) (cbrt 2.0)) y) (cbrt 2.0)))
  (/ (* z (+ (- (/ y (cbrt 2.0))) (/ y (cbrt 2.0)))) (* (cbrt 2.0) (cbrt 2.0)))
  (- t (/ (* z y) 2.0))
  (+ (/ (* z y) 2.0) (- (/ (* z y) 2.0)))
  (- t (* (/ y 2.0) z))
  0
  (- t (* (/ y 2.0) z))
  0
  (- t (* (/ y 2.0) z))
  0
  (- t (* (/ y 2.0) z))
  0
  (- t (* (/ y 2.0) z))
  0
  (- t (/ (* (/ (/ z (cbrt 2.0)) (cbrt 2.0)) y) (cbrt 2.0)))
  (/ (* z (+ (- (/ y (cbrt 2.0))) (/ y (cbrt 2.0)))) (* (cbrt 2.0) (cbrt 2.0)))
  (- t (/ (* z y) 2.0))
  (+ (/ (* z y) 2.0) (- (/ (* z y) 2.0)))
  (- t (* (/ y 2.0) z))
  0
  (- t (* (/ y 2.0) z))
  0
  (- t (* (/ y 2.0) z))
  0
  (- t (* (/ y 2.0) z))
  0
  (- t (* (/ y 2.0) z))
  0
  (- t (/ (* (/ (/ z (cbrt 2.0)) (cbrt 2.0)) y) (cbrt 2.0)))
  (/ (* z (+ (- (/ y (cbrt 2.0))) (/ y (cbrt 2.0)))) (* (cbrt 2.0) (cbrt 2.0)))
  (- t (/ (* z y) 2.0))
  (+ (/ (* z y) 2.0) (- (/ (* z y) 2.0)))
  (- t (* (/ y 2.0) z))
  0
  (- t (* (/ y 2.0) z))
  0
  (- t (* (/ y 2.0) z))
  0
  (expm1 (- t (* (/ y 2.0) z)))
  (log1p (- t (* (/ y 2.0) z)))
  (* z (- (/ y 2.0)))
  (* z (- (/ y 2.0)))
  (* z (- (/ y 2.0)))
  (exp (- t (* (/ y 2.0) z)))
  (log (- t (* (/ y 2.0) z)))
  (exp (- t (* (/ y 2.0) z)))
  (* (cbrt (- t (* (/ y 2.0) z))) (cbrt (- t (* (/ y 2.0) z))))
  (cbrt (- t (* (/ y 2.0) z)))
  (* (- t (* (/ y 2.0) z)) (* (- t (* (/ y 2.0) z)) (- t (* (/ y 2.0) z))))
  (sqrt (- t (* (/ y 2.0) z)))
  (sqrt (- t (* (/ y 2.0) z)))
  (- (* (* t t) t) (* (* (/ y 2.0) z) (* (* (/ y 2.0) z) (* (/ y 2.0) z))))
  (fma (* (/ y 2.0) z) (* (/ y 2.0) z) (fma t (* (/ y 2.0) z) (* t t)))
  (* z (- (/ y 2.0)))
  (* (+ t (* (/ y 2.0) z)) (- t (* (/ y 2.0) z)))
  (fma (/ z 2.0) y t)
  (+ (sqrt (* (/ y 2.0) z)) (sqrt t))
  (- (sqrt t) (sqrt (* (/ y 2.0) z)))
  (- t (* (/ y 2.0) z))
  (* z (- (/ y 2.0)))
  t
  (- t (* y (* z 0.5)))
  (- t (* y (* z 0.5)))
5.819 * * * [progress]: adding candidates to table
6.067 * [progress]: [Phase 3 of 3] Extracting.
6.072 * [simplify]: Simplifying:
  (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0)))
6.072 * * [simplify]: iteration 0: 12 enodes
6.072 * * [simplify]: iteration 1: 13 enodes
6.073 * * [simplify]: iteration complete: 13 enodes
6.073 * * [simplify]: Extracting #0: cost 1 inf + 0
6.073 * * [simplify]: Extracting #1: cost 4 inf + 0
6.073 * * [simplify]: Extracting #2: cost 7 inf + 1
6.073 * * [simplify]: Extracting #3: cost 6 inf + 4
6.073 * * [simplify]: Extracting #4: cost 6 inf + 47
6.073 * * [simplify]: Extracting #5: cost 0 inf + 520
6.073 * [simplify]: Simplified to:
  (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0)))
7.764 * [regime-testing]: Baseline error score: 0.020877609701212652
7.772 * [regime-testing]: Oracle error score: 0.020877609701212652
7.772 * [regime-testing]: End program error score: 0.020877609701212652
7.894 * [regime-testing]: Target error score: 0.004875609451181397