40.016 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.023 * * * [progress]: [2/2] Setting up program.
0.027 * [progress]: [Phase 2 of 3] Improving.
0.027 * [simplify]: Simplifying:
  (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)
0.028 * * [simplify]: iteration 0: 13 enodes
0.030 * * [simplify]: iteration 1: 25 enodes
0.035 * * [simplify]: iteration 2: 48 enodes
0.050 * * [simplify]: iteration 3: 74 enodes
0.063 * * [simplify]: iteration 4: 113 enodes
0.079 * * [simplify]: iteration 5: 147 enodes
0.098 * * [simplify]: iteration 6: 179 enodes
0.117 * * [simplify]: iteration 7: 211 enodes
0.150 * * [simplify]: iteration 8: 269 enodes
0.223 * * [simplify]: iteration 9: 405 enodes
0.315 * * [simplify]: iteration 10: 610 enodes
0.458 * * [simplify]: iteration 11: 861 enodes
0.611 * * [simplify]: iteration 12: 1066 enodes
0.747 * * [simplify]: iteration 13: 1231 enodes
0.881 * * [simplify]: iteration 14: 1404 enodes
1.002 * * [simplify]: iteration 15: 1557 enodes
1.133 * * [simplify]: iteration 16: 1721 enodes
1.255 * * [simplify]: iteration 17: 1869 enodes
1.358 * * [simplify]: iteration 18: 2039 enodes
1.469 * * [simplify]: iteration 19: 2191 enodes
1.567 * * [simplify]: iteration 20: 2348 enodes
1.690 * * [simplify]: iteration 21: 2501 enodes
1.811 * * [simplify]: iteration 22: 2662 enodes
1.912 * * [simplify]: iteration 23: 2810 enodes
2.042 * * [simplify]: iteration 24: 2980 enodes
2.158 * * [simplify]: iteration 25: 3132 enodes
2.294 * * [simplify]: iteration 26: 3289 enodes
2.421 * * [simplify]: iteration 27: 3450 enodes
2.555 * * [simplify]: iteration 28: 3611 enodes
2.666 * * [simplify]: iteration 29: 3759 enodes
2.783 * * [simplify]: iteration 30: 3929 enodes
2.891 * * [simplify]: iteration 31: 4081 enodes
3.007 * * [simplify]: iteration 32: 4238 enodes
3.143 * * [simplify]: iteration 33: 4402 enodes
3.261 * * [simplify]: iteration 34: 4563 enodes
3.376 * * [simplify]: iteration 35: 4711 enodes
3.480 * * [simplify]: iteration 36: 4868 enodes
3.570 * * [simplify]: iteration complete: 5000 enodes
3.570 * * [simplify]: Extracting #0: cost 1 inf + 0
3.570 * * [simplify]: Extracting #1: cost 34 inf + 0
3.571 * * [simplify]: Extracting #2: cost 69 inf + 46
3.572 * * [simplify]: Extracting #3: cost 67 inf + 870
3.574 * * [simplify]: Extracting #4: cost 7 inf + 7356
3.579 * * [simplify]: Extracting #5: cost 0 inf + 8358
3.583 * [simplify]: Simplified to:
  (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0)))
3.589 * * [progress]: iteration 1 / 4
3.589 * * * [progress]: picking best candidate
3.593 * * * * [pick]: Picked  #<alt (λ (x y z t) (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0))))>
3.593 * * * [progress]: localizing error
3.612 * * * [progress]: generating rewritten candidates
3.612 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.613 * * * [progress]: generating series expansions
3.613 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.613 * [backup-simplify]: Simplify (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0))) into (fma (* 0.125 x) 1.0 (- t (* 0.5 (* z y))))
3.613 * [approximate]: Taking taylor expansion of (fma (* 0.125 x) 1.0 (- t (* 0.5 (* z y)))) in (x t z y) around 0
3.613 * [taylor]: Taking taylor expansion of (fma (* 0.125 x) 1.0 (- t (* 0.5 (* z y)))) in y
3.614 * [taylor]: Rewrote expression to (+ (* (* 0.125 x) 1.0) (- t (* 0.5 (* z y))))
3.614 * [taylor]: Taking taylor expansion of (* (* 0.125 x) 1.0) in y
3.614 * [taylor]: Taking taylor expansion of (* 0.125 x) in y
3.614 * [taylor]: Taking taylor expansion of 0.125 in y
3.614 * [backup-simplify]: Simplify 0.125 into 0.125
3.614 * [taylor]: Taking taylor expansion of x in y
3.614 * [backup-simplify]: Simplify x into x
3.614 * [taylor]: Taking taylor expansion of 1.0 in y
3.614 * [backup-simplify]: Simplify 1.0 into 1.0
3.614 * [taylor]: Taking taylor expansion of (- t (* 0.5 (* z y))) in y
3.614 * [taylor]: Taking taylor expansion of t in y
3.614 * [backup-simplify]: Simplify t into t
3.614 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in y
3.614 * [taylor]: Taking taylor expansion of 0.5 in y
3.614 * [backup-simplify]: Simplify 0.5 into 0.5
3.614 * [taylor]: Taking taylor expansion of (* z y) in y
3.614 * [taylor]: Taking taylor expansion of z in y
3.614 * [backup-simplify]: Simplify z into z
3.614 * [taylor]: Taking taylor expansion of y in y
3.614 * [backup-simplify]: Simplify 0 into 0
3.614 * [backup-simplify]: Simplify 1 into 1
3.614 * [taylor]: Taking taylor expansion of (fma (* 0.125 x) 1.0 (- t (* 0.5 (* z y)))) in z
3.614 * [taylor]: Rewrote expression to (+ (* (* 0.125 x) 1.0) (- t (* 0.5 (* z y))))
3.614 * [taylor]: Taking taylor expansion of (* (* 0.125 x) 1.0) in z
3.614 * [taylor]: Taking taylor expansion of (* 0.125 x) in z
3.614 * [taylor]: Taking taylor expansion of 0.125 in z
3.614 * [backup-simplify]: Simplify 0.125 into 0.125
3.614 * [taylor]: Taking taylor expansion of x in z
3.614 * [backup-simplify]: Simplify x into x
3.614 * [taylor]: Taking taylor expansion of 1.0 in z
3.614 * [backup-simplify]: Simplify 1.0 into 1.0
3.614 * [taylor]: Taking taylor expansion of (- t (* 0.5 (* z y))) in z
3.614 * [taylor]: Taking taylor expansion of t in z
3.614 * [backup-simplify]: Simplify t into t
3.614 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in z
3.614 * [taylor]: Taking taylor expansion of 0.5 in z
3.614 * [backup-simplify]: Simplify 0.5 into 0.5
3.614 * [taylor]: Taking taylor expansion of (* z y) in z
3.614 * [taylor]: Taking taylor expansion of z in z
3.614 * [backup-simplify]: Simplify 0 into 0
3.614 * [backup-simplify]: Simplify 1 into 1
3.614 * [taylor]: Taking taylor expansion of y in z
3.614 * [backup-simplify]: Simplify y into y
3.614 * [taylor]: Taking taylor expansion of (fma (* 0.125 x) 1.0 (- t (* 0.5 (* z y)))) in t
3.614 * [taylor]: Rewrote expression to (+ (* (* 0.125 x) 1.0) (- t (* 0.5 (* z y))))
3.614 * [taylor]: Taking taylor expansion of (* (* 0.125 x) 1.0) in t
3.614 * [taylor]: Taking taylor expansion of (* 0.125 x) in t
3.615 * [taylor]: Taking taylor expansion of 0.125 in t
3.615 * [backup-simplify]: Simplify 0.125 into 0.125
3.615 * [taylor]: Taking taylor expansion of x in t
3.615 * [backup-simplify]: Simplify x into x
3.615 * [taylor]: Taking taylor expansion of 1.0 in t
3.615 * [backup-simplify]: Simplify 1.0 into 1.0
3.615 * [taylor]: Taking taylor expansion of (- t (* 0.5 (* z y))) in t
3.615 * [taylor]: Taking taylor expansion of t in t
3.615 * [backup-simplify]: Simplify 0 into 0
3.615 * [backup-simplify]: Simplify 1 into 1
3.615 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in t
3.615 * [taylor]: Taking taylor expansion of 0.5 in t
3.615 * [backup-simplify]: Simplify 0.5 into 0.5
3.615 * [taylor]: Taking taylor expansion of (* z y) in t
3.615 * [taylor]: Taking taylor expansion of z in t
3.615 * [backup-simplify]: Simplify z into z
3.615 * [taylor]: Taking taylor expansion of y in t
3.615 * [backup-simplify]: Simplify y into y
3.615 * [taylor]: Taking taylor expansion of (fma (* 0.125 x) 1.0 (- t (* 0.5 (* z y)))) in x
3.615 * [taylor]: Rewrote expression to (+ (* (* 0.125 x) 1.0) (- t (* 0.5 (* z y))))
3.615 * [taylor]: Taking taylor expansion of (* (* 0.125 x) 1.0) in x
3.615 * [taylor]: Taking taylor expansion of (* 0.125 x) in x
3.615 * [taylor]: Taking taylor expansion of 0.125 in x
3.615 * [backup-simplify]: Simplify 0.125 into 0.125
3.615 * [taylor]: Taking taylor expansion of x in x
3.615 * [backup-simplify]: Simplify 0 into 0
3.615 * [backup-simplify]: Simplify 1 into 1
3.615 * [taylor]: Taking taylor expansion of 1.0 in x
3.615 * [backup-simplify]: Simplify 1.0 into 1.0
3.615 * [taylor]: Taking taylor expansion of (- t (* 0.5 (* z y))) in x
3.615 * [taylor]: Taking taylor expansion of t in x
3.615 * [backup-simplify]: Simplify t into t
3.615 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in x
3.615 * [taylor]: Taking taylor expansion of 0.5 in x
3.615 * [backup-simplify]: Simplify 0.5 into 0.5
3.615 * [taylor]: Taking taylor expansion of (* z y) in x
3.615 * [taylor]: Taking taylor expansion of z in x
3.615 * [backup-simplify]: Simplify z into z
3.615 * [taylor]: Taking taylor expansion of y in x
3.615 * [backup-simplify]: Simplify y into y
3.615 * [taylor]: Taking taylor expansion of (fma (* 0.125 x) 1.0 (- t (* 0.5 (* z y)))) in x
3.615 * [taylor]: Rewrote expression to (+ (* (* 0.125 x) 1.0) (- t (* 0.5 (* z y))))
3.615 * [taylor]: Taking taylor expansion of (* (* 0.125 x) 1.0) in x
3.615 * [taylor]: Taking taylor expansion of (* 0.125 x) in x
3.615 * [taylor]: Taking taylor expansion of 0.125 in x
3.615 * [backup-simplify]: Simplify 0.125 into 0.125
3.615 * [taylor]: Taking taylor expansion of x in x
3.615 * [backup-simplify]: Simplify 0 into 0
3.615 * [backup-simplify]: Simplify 1 into 1
3.616 * [taylor]: Taking taylor expansion of 1.0 in x
3.616 * [backup-simplify]: Simplify 1.0 into 1.0
3.616 * [taylor]: Taking taylor expansion of (- t (* 0.5 (* z y))) in x
3.616 * [taylor]: Taking taylor expansion of t in x
3.616 * [backup-simplify]: Simplify t into t
3.616 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in x
3.616 * [taylor]: Taking taylor expansion of 0.5 in x
3.616 * [backup-simplify]: Simplify 0.5 into 0.5
3.616 * [taylor]: Taking taylor expansion of (* z y) in x
3.616 * [taylor]: Taking taylor expansion of z in x
3.616 * [backup-simplify]: Simplify z into z
3.616 * [taylor]: Taking taylor expansion of y in x
3.616 * [backup-simplify]: Simplify y into y
3.617 * [backup-simplify]: Simplify (* 0.125 0) into 0
3.617 * [backup-simplify]: Simplify (* 0 1.0) into 0
3.617 * [backup-simplify]: Simplify (* z y) into (* z y)
3.617 * [backup-simplify]: Simplify (* 0.5 (* z y)) into (* 0.5 (* z y))
3.617 * [backup-simplify]: Simplify (- (* 0.5 (* z y))) into (- (* 0.5 (* z y)))
3.618 * [backup-simplify]: Simplify (+ t (- (* 0.5 (* z y)))) into (- t (* 0.5 (* z y)))
3.618 * [backup-simplify]: Simplify (+ 0 (- t (* 0.5 (* z y)))) into (- t (* 0.5 (* z y)))
3.618 * [taylor]: Taking taylor expansion of (- t (* 0.5 (* z y))) in t
3.618 * [taylor]: Taking taylor expansion of t in t
3.618 * [backup-simplify]: Simplify 0 into 0
3.618 * [backup-simplify]: Simplify 1 into 1
3.618 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in t
3.618 * [taylor]: Taking taylor expansion of 0.5 in t
3.618 * [backup-simplify]: Simplify 0.5 into 0.5
3.618 * [taylor]: Taking taylor expansion of (* z y) in t
3.618 * [taylor]: Taking taylor expansion of z in t
3.618 * [backup-simplify]: Simplify z into z
3.618 * [taylor]: Taking taylor expansion of y in t
3.618 * [backup-simplify]: Simplify y into y
3.618 * [backup-simplify]: Simplify (* z y) into (* z y)
3.618 * [backup-simplify]: Simplify (* 0.5 (* z y)) into (* 0.5 (* z y))
3.618 * [backup-simplify]: Simplify (- (* 0.5 (* z y))) into (- (* 0.5 (* z y)))
3.618 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (* z y)))) into (- (* 0.5 (* z y)))
3.618 * [taylor]: Taking taylor expansion of (- (* 0.5 (* z y))) in z
3.618 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in z
3.618 * [taylor]: Taking taylor expansion of 0.5 in z
3.618 * [backup-simplify]: Simplify 0.5 into 0.5
3.618 * [taylor]: Taking taylor expansion of (* z y) in z
3.618 * [taylor]: Taking taylor expansion of z in z
3.618 * [backup-simplify]: Simplify 0 into 0
3.618 * [backup-simplify]: Simplify 1 into 1
3.618 * [taylor]: Taking taylor expansion of y in z
3.618 * [backup-simplify]: Simplify y into y
3.618 * [backup-simplify]: Simplify (* 0 y) into 0
3.619 * [backup-simplify]: Simplify (* 0.5 0) into 0
3.619 * [backup-simplify]: Simplify (- 0) into 0
3.619 * [taylor]: Taking taylor expansion of 0 in y
3.619 * [backup-simplify]: Simplify 0 into 0
3.619 * [backup-simplify]: Simplify 0 into 0
3.620 * [backup-simplify]: Simplify (+ (* 0.125 1) (* 0 0)) into 0.125
3.621 * [backup-simplify]: Simplify (+ (* 0 0) (* 0.125 1.0)) into 0.125
3.621 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
3.622 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* z y))) into 0
3.622 * [backup-simplify]: Simplify (- 0) into 0
3.622 * [backup-simplify]: Simplify (+ 0 0) into 0
3.623 * [backup-simplify]: Simplify (+ 0.125 0) into 0.125
3.623 * [taylor]: Taking taylor expansion of 0.125 in t
3.623 * [backup-simplify]: Simplify 0.125 into 0.125
3.623 * [taylor]: Taking taylor expansion of 0.125 in z
3.623 * [backup-simplify]: Simplify 0.125 into 0.125
3.623 * [taylor]: Taking taylor expansion of 0.125 in y
3.623 * [backup-simplify]: Simplify 0.125 into 0.125
3.623 * [backup-simplify]: Simplify 0.125 into 0.125
3.623 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
3.623 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* z y))) into 0
3.623 * [backup-simplify]: Simplify (- 0) into 0
3.624 * [backup-simplify]: Simplify (+ 1 0) into 1
3.624 * [taylor]: Taking taylor expansion of 1 in z
3.624 * [backup-simplify]: Simplify 1 into 1
3.624 * [taylor]: Taking taylor expansion of 1 in y
3.624 * [backup-simplify]: Simplify 1 into 1
3.624 * [backup-simplify]: Simplify 1 into 1
3.624 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.624 * [backup-simplify]: Simplify (+ (* 0.5 y) (* 0 0)) into (* 0.5 y)
3.624 * [backup-simplify]: Simplify (- (* 0.5 y)) into (- (* 0.5 y))
3.624 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y
3.624 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
3.624 * [taylor]: Taking taylor expansion of 0.5 in y
3.624 * [backup-simplify]: Simplify 0.5 into 0.5
3.625 * [taylor]: Taking taylor expansion of y in y
3.625 * [backup-simplify]: Simplify 0 into 0
3.625 * [backup-simplify]: Simplify 1 into 1
3.625 * [backup-simplify]: Simplify (* 0.5 0) into 0
3.625 * [backup-simplify]: Simplify (- 0) into 0
3.625 * [backup-simplify]: Simplify 0 into 0
3.625 * [backup-simplify]: Simplify 0 into 0
3.626 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 1) (* 0 0))) into 0
3.626 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 0.125 0) (* 0 1.0))) into 0
3.627 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
3.627 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* z y)))) into 0
3.627 * [backup-simplify]: Simplify (- 0) into 0
3.628 * [backup-simplify]: Simplify (+ 0 0) into 0
3.628 * [backup-simplify]: Simplify (+ 0 0) into 0
3.628 * [taylor]: Taking taylor expansion of 0 in t
3.628 * [backup-simplify]: Simplify 0 into 0
3.628 * [taylor]: Taking taylor expansion of 0 in z
3.628 * [backup-simplify]: Simplify 0 into 0
3.628 * [taylor]: Taking taylor expansion of 0 in y
3.628 * [backup-simplify]: Simplify 0 into 0
3.628 * [backup-simplify]: Simplify 0 into 0
3.628 * [taylor]: Taking taylor expansion of 0 in z
3.628 * [backup-simplify]: Simplify 0 into 0
3.628 * [taylor]: Taking taylor expansion of 0 in y
3.628 * [backup-simplify]: Simplify 0 into 0
3.628 * [backup-simplify]: Simplify 0 into 0
3.629 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
3.629 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* z y)))) into 0
3.630 * [backup-simplify]: Simplify (- 0) into 0
3.630 * [backup-simplify]: Simplify (+ 0 0) into 0
3.630 * [taylor]: Taking taylor expansion of 0 in z
3.630 * [backup-simplify]: Simplify 0 into 0
3.630 * [taylor]: Taking taylor expansion of 0 in y
3.630 * [backup-simplify]: Simplify 0 into 0
3.630 * [backup-simplify]: Simplify 0 into 0
3.630 * [taylor]: Taking taylor expansion of 0 in y
3.630 * [backup-simplify]: Simplify 0 into 0
3.630 * [backup-simplify]: Simplify 0 into 0
3.630 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* t 1)))) (* 0.125 (* 1 (* 1 (* 1 x))))) into (+ t (* 0.125 x))
3.630 * [backup-simplify]: Simplify (fma (/ (/ 1 x) 8.0) 1.0 (- (/ 1 t) (/ (* (/ 1 z) (/ 1 y)) 2.0))) into (fma (/ 0.125 x) 1.0 (- (/ 1 t) (* 0.5 (/ 1 (* z y)))))
3.630 * [approximate]: Taking taylor expansion of (fma (/ 0.125 x) 1.0 (- (/ 1 t) (* 0.5 (/ 1 (* z y))))) in (x t z y) around 0
3.630 * [taylor]: Taking taylor expansion of (fma (/ 0.125 x) 1.0 (- (/ 1 t) (* 0.5 (/ 1 (* z y))))) in y
3.631 * [taylor]: Rewrote expression to (+ (* (/ 0.125 x) 1.0) (- (/ 1 t) (* 0.5 (/ 1 (* z y)))))
3.631 * [taylor]: Taking taylor expansion of (* (/ 0.125 x) 1.0) in y
3.631 * [taylor]: Taking taylor expansion of (/ 0.125 x) in y
3.631 * [taylor]: Taking taylor expansion of 0.125 in y
3.631 * [backup-simplify]: Simplify 0.125 into 0.125
3.631 * [taylor]: Taking taylor expansion of x in y
3.631 * [backup-simplify]: Simplify x into x
3.631 * [backup-simplify]: Simplify (/ 0.125 x) into (/ 0.125 x)
3.631 * [taylor]: Taking taylor expansion of 1.0 in y
3.631 * [backup-simplify]: Simplify 1.0 into 1.0
3.631 * [taylor]: Taking taylor expansion of (- (/ 1 t) (* 0.5 (/ 1 (* z y)))) in y
3.631 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.631 * [taylor]: Taking taylor expansion of t in y
3.631 * [backup-simplify]: Simplify t into t
3.631 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.631 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y
3.631 * [taylor]: Taking taylor expansion of 0.5 in y
3.631 * [backup-simplify]: Simplify 0.5 into 0.5
3.631 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.631 * [taylor]: Taking taylor expansion of (* z y) in y
3.631 * [taylor]: Taking taylor expansion of z in y
3.631 * [backup-simplify]: Simplify z into z
3.631 * [taylor]: Taking taylor expansion of y in y
3.631 * [backup-simplify]: Simplify 0 into 0
3.631 * [backup-simplify]: Simplify 1 into 1
3.631 * [backup-simplify]: Simplify (* z 0) into 0
3.631 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
3.632 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.632 * [taylor]: Taking taylor expansion of (fma (/ 0.125 x) 1.0 (- (/ 1 t) (* 0.5 (/ 1 (* z y))))) in z
3.632 * [taylor]: Rewrote expression to (+ (* (/ 0.125 x) 1.0) (- (/ 1 t) (* 0.5 (/ 1 (* z y)))))
3.632 * [taylor]: Taking taylor expansion of (* (/ 0.125 x) 1.0) in z
3.632 * [taylor]: Taking taylor expansion of (/ 0.125 x) in z
3.632 * [taylor]: Taking taylor expansion of 0.125 in z
3.632 * [backup-simplify]: Simplify 0.125 into 0.125
3.632 * [taylor]: Taking taylor expansion of x in z
3.632 * [backup-simplify]: Simplify x into x
3.632 * [backup-simplify]: Simplify (/ 0.125 x) into (/ 0.125 x)
3.632 * [taylor]: Taking taylor expansion of 1.0 in z
3.632 * [backup-simplify]: Simplify 1.0 into 1.0
3.632 * [taylor]: Taking taylor expansion of (- (/ 1 t) (* 0.5 (/ 1 (* z y)))) in z
3.632 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.632 * [taylor]: Taking taylor expansion of t in z
3.632 * [backup-simplify]: Simplify t into t
3.632 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.632 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in z
3.632 * [taylor]: Taking taylor expansion of 0.5 in z
3.632 * [backup-simplify]: Simplify 0.5 into 0.5
3.632 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.632 * [taylor]: Taking taylor expansion of (* z y) in z
3.632 * [taylor]: Taking taylor expansion of z in z
3.632 * [backup-simplify]: Simplify 0 into 0
3.632 * [backup-simplify]: Simplify 1 into 1
3.632 * [taylor]: Taking taylor expansion of y in z
3.632 * [backup-simplify]: Simplify y into y
3.632 * [backup-simplify]: Simplify (* 0 y) into 0
3.633 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.633 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.633 * [taylor]: Taking taylor expansion of (fma (/ 0.125 x) 1.0 (- (/ 1 t) (* 0.5 (/ 1 (* z y))))) in t
3.633 * [taylor]: Rewrote expression to (+ (* (/ 0.125 x) 1.0) (- (/ 1 t) (* 0.5 (/ 1 (* z y)))))
3.633 * [taylor]: Taking taylor expansion of (* (/ 0.125 x) 1.0) in t
3.633 * [taylor]: Taking taylor expansion of (/ 0.125 x) in t
3.633 * [taylor]: Taking taylor expansion of 0.125 in t
3.633 * [backup-simplify]: Simplify 0.125 into 0.125
3.633 * [taylor]: Taking taylor expansion of x in t
3.633 * [backup-simplify]: Simplify x into x
3.633 * [backup-simplify]: Simplify (/ 0.125 x) into (/ 0.125 x)
3.633 * [taylor]: Taking taylor expansion of 1.0 in t
3.633 * [backup-simplify]: Simplify 1.0 into 1.0
3.633 * [taylor]: Taking taylor expansion of (- (/ 1 t) (* 0.5 (/ 1 (* z y)))) in t
3.633 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.633 * [taylor]: Taking taylor expansion of t in t
3.633 * [backup-simplify]: Simplify 0 into 0
3.633 * [backup-simplify]: Simplify 1 into 1
3.633 * [backup-simplify]: Simplify (/ 1 1) into 1
3.633 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in t
3.633 * [taylor]: Taking taylor expansion of 0.5 in t
3.634 * [backup-simplify]: Simplify 0.5 into 0.5
3.634 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
3.634 * [taylor]: Taking taylor expansion of (* z y) in t
3.634 * [taylor]: Taking taylor expansion of z in t
3.634 * [backup-simplify]: Simplify z into z
3.634 * [taylor]: Taking taylor expansion of y in t
3.634 * [backup-simplify]: Simplify y into y
3.634 * [backup-simplify]: Simplify (* z y) into (* z y)
3.634 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
3.634 * [taylor]: Taking taylor expansion of (fma (/ 0.125 x) 1.0 (- (/ 1 t) (* 0.5 (/ 1 (* z y))))) in x
3.634 * [taylor]: Rewrote expression to (+ (* (/ 0.125 x) 1.0) (- (/ 1 t) (* 0.5 (/ 1 (* z y)))))
3.634 * [taylor]: Taking taylor expansion of (* (/ 0.125 x) 1.0) in x
3.634 * [taylor]: Taking taylor expansion of (/ 0.125 x) in x
3.634 * [taylor]: Taking taylor expansion of 0.125 in x
3.634 * [backup-simplify]: Simplify 0.125 into 0.125
3.634 * [taylor]: Taking taylor expansion of x in x
3.634 * [backup-simplify]: Simplify 0 into 0
3.634 * [backup-simplify]: Simplify 1 into 1
3.634 * [backup-simplify]: Simplify (/ 0.125 1) into 0.125
3.634 * [taylor]: Taking taylor expansion of 1.0 in x
3.634 * [backup-simplify]: Simplify 1.0 into 1.0
3.634 * [taylor]: Taking taylor expansion of (- (/ 1 t) (* 0.5 (/ 1 (* z y)))) in x
3.634 * [taylor]: Taking taylor expansion of (/ 1 t) in x
3.634 * [taylor]: Taking taylor expansion of t in x
3.634 * [backup-simplify]: Simplify t into t
3.635 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.635 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in x
3.635 * [taylor]: Taking taylor expansion of 0.5 in x
3.635 * [backup-simplify]: Simplify 0.5 into 0.5
3.635 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.635 * [taylor]: Taking taylor expansion of (* z y) in x
3.635 * [taylor]: Taking taylor expansion of z in x
3.635 * [backup-simplify]: Simplify z into z
3.635 * [taylor]: Taking taylor expansion of y in x
3.635 * [backup-simplify]: Simplify y into y
3.635 * [backup-simplify]: Simplify (* z y) into (* z y)
3.635 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
3.635 * [taylor]: Taking taylor expansion of (fma (/ 0.125 x) 1.0 (- (/ 1 t) (* 0.5 (/ 1 (* z y))))) in x
3.635 * [taylor]: Rewrote expression to (+ (* (/ 0.125 x) 1.0) (- (/ 1 t) (* 0.5 (/ 1 (* z y)))))
3.635 * [taylor]: Taking taylor expansion of (* (/ 0.125 x) 1.0) in x
3.635 * [taylor]: Taking taylor expansion of (/ 0.125 x) in x
3.635 * [taylor]: Taking taylor expansion of 0.125 in x
3.635 * [backup-simplify]: Simplify 0.125 into 0.125
3.635 * [taylor]: Taking taylor expansion of x in x
3.635 * [backup-simplify]: Simplify 0 into 0
3.635 * [backup-simplify]: Simplify 1 into 1
3.635 * [backup-simplify]: Simplify (/ 0.125 1) into 0.125
3.635 * [taylor]: Taking taylor expansion of 1.0 in x
3.636 * [backup-simplify]: Simplify 1.0 into 1.0
3.636 * [taylor]: Taking taylor expansion of (- (/ 1 t) (* 0.5 (/ 1 (* z y)))) in x
3.636 * [taylor]: Taking taylor expansion of (/ 1 t) in x
3.636 * [taylor]: Taking taylor expansion of t in x
3.636 * [backup-simplify]: Simplify t into t
3.636 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.636 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in x
3.636 * [taylor]: Taking taylor expansion of 0.5 in x
3.636 * [backup-simplify]: Simplify 0.5 into 0.5
3.636 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.636 * [taylor]: Taking taylor expansion of (* z y) in x
3.636 * [taylor]: Taking taylor expansion of z in x
3.636 * [backup-simplify]: Simplify z into z
3.636 * [taylor]: Taking taylor expansion of y in x
3.636 * [backup-simplify]: Simplify y into y
3.636 * [backup-simplify]: Simplify (* z y) into (* z y)
3.636 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
3.636 * [backup-simplify]: Simplify (* 0.125 1.0) into 0.125
3.637 * [backup-simplify]: Simplify (+ 0.125 0) into 0.125
3.637 * [taylor]: Taking taylor expansion of 0.125 in t
3.637 * [backup-simplify]: Simplify 0.125 into 0.125
3.637 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.125 (/ 0 1)))) into 0
3.638 * [backup-simplify]: Simplify (+ (* 0.125 0) (* 0 1.0)) into 0
3.638 * [backup-simplify]: Simplify (* 0.5 (/ 1 (* z y))) into (/ 0.5 (* z y))
3.638 * [backup-simplify]: Simplify (- (/ 0.5 (* z y))) into (- (* 0.5 (/ 1 (* z y))))
3.638 * [backup-simplify]: Simplify (+ (/ 1 t) (- (* 0.5 (/ 1 (* z y))))) into (- (/ 1 t) (* 0.5 (/ 1 (* z y))))
3.638 * [backup-simplify]: Simplify (+ 0 (- (/ 1 t) (* 0.5 (/ 1 (* z y))))) into (- (/ 1 t) (* 0.5 (/ 1 (* z y))))
3.638 * [taylor]: Taking taylor expansion of (- (/ 1 t) (* 0.5 (/ 1 (* z y)))) in t
3.638 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.638 * [taylor]: Taking taylor expansion of t in t
3.638 * [backup-simplify]: Simplify 0 into 0
3.638 * [backup-simplify]: Simplify 1 into 1
3.639 * [backup-simplify]: Simplify (/ 1 1) into 1
3.639 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in t
3.639 * [taylor]: Taking taylor expansion of 0.5 in t
3.639 * [backup-simplify]: Simplify 0.5 into 0.5
3.639 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
3.639 * [taylor]: Taking taylor expansion of (* z y) in t
3.639 * [taylor]: Taking taylor expansion of z in t
3.639 * [backup-simplify]: Simplify z into z
3.639 * [taylor]: Taking taylor expansion of y in t
3.639 * [backup-simplify]: Simplify y into y
3.639 * [backup-simplify]: Simplify (* z y) into (* z y)
3.639 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
3.640 * [backup-simplify]: Simplify (+ 1 0) into 1
3.640 * [taylor]: Taking taylor expansion of 1 in z
3.640 * [backup-simplify]: Simplify 1 into 1
3.640 * [taylor]: Taking taylor expansion of 0.125 in z
3.640 * [backup-simplify]: Simplify 0.125 into 0.125
3.641 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.125 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.642 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (* 0 1.0))) into 0
3.642 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
3.642 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
3.643 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
3.643 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (* z y)))) into 0
3.644 * [backup-simplify]: Simplify (- 0) into 0
3.644 * [backup-simplify]: Simplify (+ 0 0) into 0
3.644 * [backup-simplify]: Simplify (+ 0 0) into 0
3.644 * [taylor]: Taking taylor expansion of 0 in t
3.644 * [backup-simplify]: Simplify 0 into 0
3.645 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.645 * [backup-simplify]: Simplify (* 0.5 (/ 1 (* z y))) into (/ 0.5 (* z y))
3.645 * [backup-simplify]: Simplify (- (/ 0.5 (* z y))) into (- (* 0.5 (/ 1 (* z y))))
3.646 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ 1 (* z y))))) into (- (* 0.5 (/ 1 (* z y))))
3.646 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (* z y)))) in z
3.646 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in z
3.646 * [taylor]: Taking taylor expansion of 0.5 in z
3.646 * [backup-simplify]: Simplify 0.5 into 0.5
3.646 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.646 * [taylor]: Taking taylor expansion of (* z y) in z
3.646 * [taylor]: Taking taylor expansion of z in z
3.646 * [backup-simplify]: Simplify 0 into 0
3.646 * [backup-simplify]: Simplify 1 into 1
3.646 * [taylor]: Taking taylor expansion of y in z
3.646 * [backup-simplify]: Simplify y into y
3.646 * [backup-simplify]: Simplify (* 0 y) into 0
3.647 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.647 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.647 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
3.647 * [backup-simplify]: Simplify (- (/ 0.5 y)) into (- (* 0.5 (/ 1 y)))
3.647 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y
3.647 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
3.647 * [taylor]: Taking taylor expansion of 0.5 in y
3.647 * [backup-simplify]: Simplify 0.5 into 0.5
3.647 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.647 * [taylor]: Taking taylor expansion of y in y
3.647 * [backup-simplify]: Simplify 0 into 0
3.647 * [backup-simplify]: Simplify 1 into 1
3.647 * [backup-simplify]: Simplify (/ 1 1) into 1
3.648 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
3.648 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.649 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.649 * [taylor]: Taking taylor expansion of 0 in z
3.649 * [backup-simplify]: Simplify 0 into 0
3.649 * [taylor]: Taking taylor expansion of 1 in y
3.649 * [backup-simplify]: Simplify 1 into 1
3.649 * [taylor]: Taking taylor expansion of 0.125 in y
3.649 * [backup-simplify]: Simplify 0.125 into 0.125
3.650 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.125 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.651 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))) into 0
3.652 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
3.652 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
3.652 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
3.653 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 (* z y))))) into 0
3.654 * [backup-simplify]: Simplify (- 0) into 0
3.654 * [backup-simplify]: Simplify (+ 0 0) into 0
3.654 * [backup-simplify]: Simplify (+ 0 0) into 0
3.654 * [taylor]: Taking taylor expansion of 0 in t
3.654 * [backup-simplify]: Simplify 0 into 0
3.654 * [taylor]: Taking taylor expansion of 0 in z
3.654 * [backup-simplify]: Simplify 0 into 0
3.655 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.655 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
3.655 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
3.656 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (* z y)))) into 0
3.656 * [backup-simplify]: Simplify (- 0) into 0
3.656 * [backup-simplify]: Simplify (+ 0 0) into 0
3.656 * [taylor]: Taking taylor expansion of 0 in z
3.656 * [backup-simplify]: Simplify 0 into 0
3.656 * [taylor]: Taking taylor expansion of 0 in z
3.656 * [backup-simplify]: Simplify 0 into 0
3.657 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
3.657 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.657 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0
3.657 * [backup-simplify]: Simplify (- 0) into 0
3.657 * [taylor]: Taking taylor expansion of 0 in y
3.657 * [backup-simplify]: Simplify 0 into 0
3.657 * [taylor]: Taking taylor expansion of 0 in y
3.657 * [backup-simplify]: Simplify 0 into 0
3.657 * [taylor]: Taking taylor expansion of 0 in y
3.657 * [backup-simplify]: Simplify 0 into 0
3.657 * [taylor]: Taking taylor expansion of 0 in y
3.657 * [backup-simplify]: Simplify 0 into 0
3.658 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.658 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
3.659 * [backup-simplify]: Simplify (- 0) into 0
3.659 * [backup-simplify]: Simplify 0 into 0
3.659 * [backup-simplify]: Simplify 1 into 1
3.659 * [backup-simplify]: Simplify 0.125 into 0.125
3.660 * [backup-simplify]: Simplify (+ (* 0.125 (* 1 (* 1 (* 1 (/ 1 (/ 1 x)))))) (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 t)) 1)))) (* (- 0.5) (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 z)) (* 1 1)))))) into (- (+ t (* 0.125 x)) (* 0.5 (* z y)))
3.660 * [backup-simplify]: Simplify (fma (/ (/ 1 (- x)) 8.0) 1.0 (- (/ 1 (- t)) (/ (* (/ 1 (- z)) (/ 1 (- y))) 2.0))) into (fma (/ -0.125 x) 1.0 (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))))
3.660 * [approximate]: Taking taylor expansion of (fma (/ -0.125 x) 1.0 (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))))) in (x t z y) around 0
3.660 * [taylor]: Taking taylor expansion of (fma (/ -0.125 x) 1.0 (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))))) in y
3.660 * [taylor]: Rewrote expression to (+ (* (/ -0.125 x) 1.0) (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))))
3.660 * [taylor]: Taking taylor expansion of (* (/ -0.125 x) 1.0) in y
3.660 * [taylor]: Taking taylor expansion of (/ -0.125 x) in y
3.660 * [taylor]: Taking taylor expansion of -0.125 in y
3.660 * [backup-simplify]: Simplify -0.125 into -0.125
3.660 * [taylor]: Taking taylor expansion of x in y
3.660 * [backup-simplify]: Simplify x into x
3.660 * [backup-simplify]: Simplify (/ -0.125 x) into (/ -0.125 x)
3.660 * [taylor]: Taking taylor expansion of 1.0 in y
3.660 * [backup-simplify]: Simplify 1.0 into 1.0
3.660 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))) in y
3.660 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))) in y
3.660 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.660 * [taylor]: Taking taylor expansion of t in y
3.660 * [backup-simplify]: Simplify t into t
3.660 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.660 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y
3.660 * [taylor]: Taking taylor expansion of 0.5 in y
3.660 * [backup-simplify]: Simplify 0.5 into 0.5
3.660 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.660 * [taylor]: Taking taylor expansion of (* z y) in y
3.660 * [taylor]: Taking taylor expansion of z in y
3.660 * [backup-simplify]: Simplify z into z
3.660 * [taylor]: Taking taylor expansion of y in y
3.660 * [backup-simplify]: Simplify 0 into 0
3.661 * [backup-simplify]: Simplify 1 into 1
3.661 * [backup-simplify]: Simplify (* z 0) into 0
3.661 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
3.661 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.661 * [taylor]: Taking taylor expansion of (fma (/ -0.125 x) 1.0 (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))))) in z
3.661 * [taylor]: Rewrote expression to (+ (* (/ -0.125 x) 1.0) (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))))
3.661 * [taylor]: Taking taylor expansion of (* (/ -0.125 x) 1.0) in z
3.661 * [taylor]: Taking taylor expansion of (/ -0.125 x) in z
3.661 * [taylor]: Taking taylor expansion of -0.125 in z
3.661 * [backup-simplify]: Simplify -0.125 into -0.125
3.661 * [taylor]: Taking taylor expansion of x in z
3.661 * [backup-simplify]: Simplify x into x
3.661 * [backup-simplify]: Simplify (/ -0.125 x) into (/ -0.125 x)
3.661 * [taylor]: Taking taylor expansion of 1.0 in z
3.661 * [backup-simplify]: Simplify 1.0 into 1.0
3.661 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))) in z
3.661 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))) in z
3.661 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.661 * [taylor]: Taking taylor expansion of t in z
3.661 * [backup-simplify]: Simplify t into t
3.661 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.662 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in z
3.662 * [taylor]: Taking taylor expansion of 0.5 in z
3.662 * [backup-simplify]: Simplify 0.5 into 0.5
3.662 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.662 * [taylor]: Taking taylor expansion of (* z y) in z
3.662 * [taylor]: Taking taylor expansion of z in z
3.662 * [backup-simplify]: Simplify 0 into 0
3.662 * [backup-simplify]: Simplify 1 into 1
3.662 * [taylor]: Taking taylor expansion of y in z
3.662 * [backup-simplify]: Simplify y into y
3.662 * [backup-simplify]: Simplify (* 0 y) into 0
3.662 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.662 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.662 * [taylor]: Taking taylor expansion of (fma (/ -0.125 x) 1.0 (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))))) in t
3.662 * [taylor]: Rewrote expression to (+ (* (/ -0.125 x) 1.0) (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))))
3.662 * [taylor]: Taking taylor expansion of (* (/ -0.125 x) 1.0) in t
3.662 * [taylor]: Taking taylor expansion of (/ -0.125 x) in t
3.662 * [taylor]: Taking taylor expansion of -0.125 in t
3.662 * [backup-simplify]: Simplify -0.125 into -0.125
3.662 * [taylor]: Taking taylor expansion of x in t
3.662 * [backup-simplify]: Simplify x into x
3.662 * [backup-simplify]: Simplify (/ -0.125 x) into (/ -0.125 x)
3.662 * [taylor]: Taking taylor expansion of 1.0 in t
3.662 * [backup-simplify]: Simplify 1.0 into 1.0
3.663 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))) in t
3.663 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))) in t
3.663 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.663 * [taylor]: Taking taylor expansion of t in t
3.663 * [backup-simplify]: Simplify 0 into 0
3.663 * [backup-simplify]: Simplify 1 into 1
3.663 * [backup-simplify]: Simplify (/ 1 1) into 1
3.663 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in t
3.663 * [taylor]: Taking taylor expansion of 0.5 in t
3.663 * [backup-simplify]: Simplify 0.5 into 0.5
3.663 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
3.663 * [taylor]: Taking taylor expansion of (* z y) in t
3.663 * [taylor]: Taking taylor expansion of z in t
3.663 * [backup-simplify]: Simplify z into z
3.663 * [taylor]: Taking taylor expansion of y in t
3.663 * [backup-simplify]: Simplify y into y
3.663 * [backup-simplify]: Simplify (* z y) into (* z y)
3.663 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
3.663 * [taylor]: Taking taylor expansion of (fma (/ -0.125 x) 1.0 (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))))) in x
3.663 * [taylor]: Rewrote expression to (+ (* (/ -0.125 x) 1.0) (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))))
3.663 * [taylor]: Taking taylor expansion of (* (/ -0.125 x) 1.0) in x
3.663 * [taylor]: Taking taylor expansion of (/ -0.125 x) in x
3.663 * [taylor]: Taking taylor expansion of -0.125 in x
3.663 * [backup-simplify]: Simplify -0.125 into -0.125
3.663 * [taylor]: Taking taylor expansion of x in x
3.663 * [backup-simplify]: Simplify 0 into 0
3.663 * [backup-simplify]: Simplify 1 into 1
3.664 * [backup-simplify]: Simplify (/ -0.125 1) into -0.125
3.664 * [taylor]: Taking taylor expansion of 1.0 in x
3.664 * [backup-simplify]: Simplify 1.0 into 1.0
3.664 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))) in x
3.664 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))) in x
3.664 * [taylor]: Taking taylor expansion of (/ 1 t) in x
3.664 * [taylor]: Taking taylor expansion of t in x
3.664 * [backup-simplify]: Simplify t into t
3.664 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.664 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in x
3.664 * [taylor]: Taking taylor expansion of 0.5 in x
3.664 * [backup-simplify]: Simplify 0.5 into 0.5
3.664 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.664 * [taylor]: Taking taylor expansion of (* z y) in x
3.664 * [taylor]: Taking taylor expansion of z in x
3.664 * [backup-simplify]: Simplify z into z
3.664 * [taylor]: Taking taylor expansion of y in x
3.664 * [backup-simplify]: Simplify y into y
3.664 * [backup-simplify]: Simplify (* z y) into (* z y)
3.664 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
3.664 * [taylor]: Taking taylor expansion of (fma (/ -0.125 x) 1.0 (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))))) in x
3.664 * [taylor]: Rewrote expression to (+ (* (/ -0.125 x) 1.0) (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))))
3.664 * [taylor]: Taking taylor expansion of (* (/ -0.125 x) 1.0) in x
3.664 * [taylor]: Taking taylor expansion of (/ -0.125 x) in x
3.664 * [taylor]: Taking taylor expansion of -0.125 in x
3.664 * [backup-simplify]: Simplify -0.125 into -0.125
3.664 * [taylor]: Taking taylor expansion of x in x
3.664 * [backup-simplify]: Simplify 0 into 0
3.664 * [backup-simplify]: Simplify 1 into 1
3.665 * [backup-simplify]: Simplify (/ -0.125 1) into -0.125
3.665 * [taylor]: Taking taylor expansion of 1.0 in x
3.665 * [backup-simplify]: Simplify 1.0 into 1.0
3.665 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))) in x
3.665 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))) in x
3.665 * [taylor]: Taking taylor expansion of (/ 1 t) in x
3.665 * [taylor]: Taking taylor expansion of t in x
3.665 * [backup-simplify]: Simplify t into t
3.665 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.665 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in x
3.665 * [taylor]: Taking taylor expansion of 0.5 in x
3.665 * [backup-simplify]: Simplify 0.5 into 0.5
3.665 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.665 * [taylor]: Taking taylor expansion of (* z y) in x
3.665 * [taylor]: Taking taylor expansion of z in x
3.665 * [backup-simplify]: Simplify z into z
3.665 * [taylor]: Taking taylor expansion of y in x
3.665 * [backup-simplify]: Simplify y into y
3.665 * [backup-simplify]: Simplify (* z y) into (* z y)
3.665 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
3.666 * [backup-simplify]: Simplify (* -0.125 1.0) into -0.125
3.666 * [backup-simplify]: Simplify (+ -0.125 0) into (- 0.125)
3.666 * [taylor]: Taking taylor expansion of (- 0.125) in t
3.666 * [taylor]: Taking taylor expansion of 0.125 in t
3.666 * [backup-simplify]: Simplify 0.125 into 0.125
3.667 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.125 (/ 0 1)))) into 0
3.667 * [backup-simplify]: Simplify (+ (* -0.125 0) (* 0 1.0)) into 0
3.667 * [backup-simplify]: Simplify (* 0.5 (/ 1 (* z y))) into (/ 0.5 (* z y))
3.667 * [backup-simplify]: Simplify (+ (/ 1 t) (/ 0.5 (* z y))) into (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))
3.667 * [backup-simplify]: Simplify (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))) into (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))))
3.668 * [backup-simplify]: Simplify (+ 0 (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))))) into (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))))
3.668 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))) in t
3.668 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))) in t
3.668 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.668 * [taylor]: Taking taylor expansion of t in t
3.668 * [backup-simplify]: Simplify 0 into 0
3.668 * [backup-simplify]: Simplify 1 into 1
3.668 * [backup-simplify]: Simplify (/ 1 1) into 1
3.668 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in t
3.668 * [taylor]: Taking taylor expansion of 0.5 in t
3.668 * [backup-simplify]: Simplify 0.5 into 0.5
3.668 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
3.668 * [taylor]: Taking taylor expansion of (* z y) in t
3.668 * [taylor]: Taking taylor expansion of z in t
3.668 * [backup-simplify]: Simplify z into z
3.668 * [taylor]: Taking taylor expansion of y in t
3.668 * [backup-simplify]: Simplify y into y
3.668 * [backup-simplify]: Simplify (* z y) into (* z y)
3.668 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
3.669 * [backup-simplify]: Simplify (+ 1 0) into 1
3.669 * [backup-simplify]: Simplify (- 1) into -1
3.669 * [taylor]: Taking taylor expansion of -1 in z
3.669 * [backup-simplify]: Simplify -1 into -1
3.669 * [backup-simplify]: Simplify (- 0.125) into (- 0.125)
3.669 * [taylor]: Taking taylor expansion of (- 0.125) in z
3.669 * [taylor]: Taking taylor expansion of 0.125 in z
3.669 * [backup-simplify]: Simplify 0.125 into 0.125
3.670 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.125 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.670 * [backup-simplify]: Simplify (+ (* -0.125 0) (+ (* 0 0) (* 0 1.0))) into 0
3.671 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
3.671 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
3.671 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
3.671 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (* z y)))) into 0
3.671 * [backup-simplify]: Simplify (+ 0 0) into 0
3.672 * [backup-simplify]: Simplify (- 0) into 0
3.672 * [backup-simplify]: Simplify (+ 0 0) into 0
3.672 * [taylor]: Taking taylor expansion of 0 in t
3.672 * [backup-simplify]: Simplify 0 into 0
3.673 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.673 * [backup-simplify]: Simplify (* 0.5 (/ 1 (* z y))) into (/ 0.5 (* z y))
3.673 * [backup-simplify]: Simplify (+ 0 (/ 0.5 (* z y))) into (* 0.5 (/ 1 (* z y)))
3.673 * [backup-simplify]: Simplify (- (* 0.5 (/ 1 (* z y)))) into (- (* 0.5 (/ 1 (* z y))))
3.673 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (* z y)))) in z
3.673 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in z
3.673 * [taylor]: Taking taylor expansion of 0.5 in z
3.673 * [backup-simplify]: Simplify 0.5 into 0.5
3.673 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.673 * [taylor]: Taking taylor expansion of (* z y) in z
3.673 * [taylor]: Taking taylor expansion of z in z
3.673 * [backup-simplify]: Simplify 0 into 0
3.673 * [backup-simplify]: Simplify 1 into 1
3.673 * [taylor]: Taking taylor expansion of y in z
3.673 * [backup-simplify]: Simplify y into y
3.673 * [backup-simplify]: Simplify (* 0 y) into 0
3.674 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.674 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.674 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
3.674 * [backup-simplify]: Simplify (- (/ 0.5 y)) into (- (* 0.5 (/ 1 y)))
3.674 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y
3.674 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
3.674 * [taylor]: Taking taylor expansion of 0.5 in y
3.674 * [backup-simplify]: Simplify 0.5 into 0.5
3.674 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.674 * [taylor]: Taking taylor expansion of y in y
3.674 * [backup-simplify]: Simplify 0 into 0
3.674 * [backup-simplify]: Simplify 1 into 1
3.674 * [backup-simplify]: Simplify (/ 1 1) into 1
3.675 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
3.675 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.675 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.675 * [backup-simplify]: Simplify (- 0) into 0
3.675 * [taylor]: Taking taylor expansion of 0 in z
3.675 * [backup-simplify]: Simplify 0 into 0
3.675 * [taylor]: Taking taylor expansion of -1 in y
3.675 * [backup-simplify]: Simplify -1 into -1
3.676 * [backup-simplify]: Simplify (- 0.125) into (- 0.125)
3.676 * [taylor]: Taking taylor expansion of (- 0.125) in y
3.676 * [taylor]: Taking taylor expansion of 0.125 in y
3.676 * [backup-simplify]: Simplify 0.125 into 0.125
3.676 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.125 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.677 * [backup-simplify]: Simplify (+ (* -0.125 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))) into 0
3.677 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
3.677 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
3.678 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
3.678 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 (* z y))))) into 0
3.679 * [backup-simplify]: Simplify (+ 0 0) into 0
3.679 * [backup-simplify]: Simplify (- 0) into 0
3.679 * [backup-simplify]: Simplify (+ 0 0) into 0
3.679 * [taylor]: Taking taylor expansion of 0 in t
3.679 * [backup-simplify]: Simplify 0 into 0
3.679 * [taylor]: Taking taylor expansion of 0 in z
3.679 * [backup-simplify]: Simplify 0 into 0
3.680 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.680 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
3.680 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
3.680 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (* z y)))) into 0
3.681 * [backup-simplify]: Simplify (+ 0 0) into 0
3.681 * [backup-simplify]: Simplify (- 0) into 0
3.681 * [taylor]: Taking taylor expansion of 0 in z
3.681 * [backup-simplify]: Simplify 0 into 0
3.681 * [backup-simplify]: Simplify (- 0) into 0
3.681 * [taylor]: Taking taylor expansion of 0 in z
3.681 * [backup-simplify]: Simplify 0 into 0
3.682 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
3.682 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.682 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0
3.682 * [backup-simplify]: Simplify (- 0) into 0
3.682 * [taylor]: Taking taylor expansion of 0 in y
3.682 * [backup-simplify]: Simplify 0 into 0
3.682 * [taylor]: Taking taylor expansion of 0 in y
3.683 * [backup-simplify]: Simplify 0 into 0
3.683 * [taylor]: Taking taylor expansion of 0 in y
3.683 * [backup-simplify]: Simplify 0 into 0
3.683 * [backup-simplify]: Simplify (- 0) into 0
3.683 * [taylor]: Taking taylor expansion of 0 in y
3.683 * [backup-simplify]: Simplify 0 into 0
3.683 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.684 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
3.684 * [backup-simplify]: Simplify (- 0) into 0
3.684 * [backup-simplify]: Simplify 0 into 0
3.684 * [backup-simplify]: Simplify -1 into -1
3.684 * [backup-simplify]: Simplify (- 0.125) into (- 0.125)
3.685 * [backup-simplify]: Simplify (- 0.125) into (- 0.125)
3.686 * [backup-simplify]: Simplify (+ (* (- 0.125) (* 1 (* 1 (* 1 (/ 1 (/ 1 (- x))))))) (+ (* -1 (* 1 (* 1 (* (/ 1 (/ 1 (- t))) 1)))) (* (- 0.5) (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- z))) (* 1 1)))))) into (- (+ t (* 0.125 x)) (* 0.5 (* z y)))
3.686 * * * [progress]: simplifying candidates
3.686 * [simplify]: Simplifying:
  (expm1 (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0))))
  (log1p (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0))))
  (* (/ x 8.0) 1.0)
  (log (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0))))
  (exp (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0))))
  (* (cbrt (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0)))) (cbrt (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0)))))
  (cbrt (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0))))
  (* (* (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0))) (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0)))) (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0))))
  (sqrt (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0))))
  (sqrt (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0))))
  (+ t (* 0.125 x))
  (- (+ t (* 0.125 x)) (* 0.5 (* z y)))
  (- (+ t (* 0.125 x)) (* 0.5 (* z y)))
3.686 * * [simplify]: iteration 0: 28 enodes
3.691 * * [simplify]: iteration 1: 47 enodes
3.699 * * [simplify]: iteration 2: 107 enodes
3.729 * * [simplify]: iteration 3: 297 enodes
3.939 * * [simplify]: iteration 4: 1366 enodes
4.494 * * [simplify]: iteration complete: 5023 enodes
4.494 * * [simplify]: Extracting #0: cost 11 inf + 0
4.494 * * [simplify]: Extracting #1: cost 134 inf + 0
4.498 * * [simplify]: Extracting #2: cost 980 inf + 388
4.511 * * [simplify]: Extracting #3: cost 1547 inf + 19959
4.588 * * [simplify]: Extracting #4: cost 873 inf + 270117
4.744 * * [simplify]: Extracting #5: cost 75 inf + 561481
4.941 * * [simplify]: Extracting #6: cost 0 inf + 556923
5.151 * * [simplify]: Extracting #7: cost 0 inf + 553613
5.342 * [simplify]: Simplified to:
  (expm1 (fma 1.0 (/ x 8.0) (- t (/ z (/ 2.0 y)))))
  (log1p (fma 1.0 (/ x 8.0) (- t (/ z (/ 2.0 y)))))
  (/ x (/ 8.0 1.0))
  (log (fma 1.0 (/ x 8.0) (- t (/ z (/ 2.0 y)))))
  (exp (fma 1.0 (/ x 8.0) (- t (/ z (/ 2.0 y)))))
  (* (cbrt (fma 1.0 (/ x 8.0) (- t (/ z (/ 2.0 y))))) (cbrt (fma 1.0 (/ x 8.0) (- t (/ z (/ 2.0 y))))))
  (cbrt (fma 1.0 (/ x 8.0) (- t (/ z (/ 2.0 y)))))
  (* (* (fma 1.0 (/ x 8.0) (- t (/ z (/ 2.0 y)))) (fma 1.0 (/ x 8.0) (- t (/ z (/ 2.0 y))))) (fma 1.0 (/ x 8.0) (- t (/ z (/ 2.0 y)))))
  (sqrt (fma 1.0 (/ x 8.0) (- t (/ z (/ 2.0 y)))))
  (sqrt (fma 1.0 (/ x 8.0) (- t (/ z (/ 2.0 y)))))
  (fma 0.125 x t)
  (- (fma 0.125 x t) (* 0.5 (* z y)))
  (- (fma 0.125 x t) (* 0.5 (* z y)))
5.343 * * * [progress]: adding candidates to table
5.438 * [progress]: [Phase 3 of 3] Extracting.
5.443 * [simplify]: Simplifying:
  (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0)))
5.443 * * [simplify]: iteration 0: 12 enodes
5.443 * * [simplify]: iteration 1: 13 enodes
5.444 * * [simplify]: iteration complete: 13 enodes
5.444 * * [simplify]: Extracting #0: cost 1 inf + 0
5.444 * * [simplify]: Extracting #1: cost 4 inf + 0
5.444 * * [simplify]: Extracting #2: cost 7 inf + 1
5.444 * * [simplify]: Extracting #3: cost 6 inf + 4
5.444 * * [simplify]: Extracting #4: cost 6 inf + 47
5.444 * * [simplify]: Extracting #5: cost 0 inf + 520
5.445 * [simplify]: Simplified to:
  (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0)))
6.825 * [regime-testing]: Baseline error score: 0.02302411864001029
6.833 * [regime-testing]: Oracle error score: 0.02302411864001029
6.833 * [regime-testing]: End program error score: 0.02302411864001029
6.964 * [regime-testing]: Target error score: 0.007147134016932405