28.613 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.031 * * * [progress]: [2/2] Setting up program.
0.035 * [progress]: [Phase 2 of 3] Improving.
0.035 * [simplify]: Simplifying:
  (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)
0.035 * * [simplify]: iteration 0: 13 enodes
0.038 * * [simplify]: iteration 1: 25 enodes
0.046 * * [simplify]: iteration 2: 48 enodes
0.059 * * [simplify]: iteration 3: 74 enodes
0.080 * * [simplify]: iteration 4: 113 enodes
0.108 * * [simplify]: iteration 5: 147 enodes
0.142 * * [simplify]: iteration 6: 179 enodes
0.163 * * [simplify]: iteration 7: 211 enodes
0.190 * * [simplify]: iteration 8: 269 enodes
0.250 * * [simplify]: iteration 9: 405 enodes
0.361 * * [simplify]: iteration 10: 610 enodes
0.481 * * [simplify]: iteration 11: 861 enodes
0.599 * * [simplify]: iteration 12: 1066 enodes
0.724 * * [simplify]: iteration 13: 1231 enodes
0.870 * * [simplify]: iteration 14: 1404 enodes
0.977 * * [simplify]: iteration 15: 1557 enodes
1.122 * * [simplify]: iteration 16: 1721 enodes
1.221 * * [simplify]: iteration 17: 1869 enodes
1.348 * * [simplify]: iteration 18: 2039 enodes
1.472 * * [simplify]: iteration 19: 2191 enodes
1.584 * * [simplify]: iteration 20: 2348 enodes
1.706 * * [simplify]: iteration 21: 2501 enodes
1.812 * * [simplify]: iteration 22: 2662 enodes
1.931 * * [simplify]: iteration 23: 2810 enodes
2.097 * * [simplify]: iteration 24: 2980 enodes
2.227 * * [simplify]: iteration 25: 3132 enodes
2.342 * * [simplify]: iteration 26: 3289 enodes
2.486 * * [simplify]: iteration 27: 3450 enodes
2.604 * * [simplify]: iteration 28: 3611 enodes
2.716 * * [simplify]: iteration 29: 3759 enodes
2.837 * * [simplify]: iteration 30: 3929 enodes
2.959 * * [simplify]: iteration 31: 4081 enodes
3.088 * * [simplify]: iteration 32: 4238 enodes
3.208 * * [simplify]: iteration 33: 4402 enodes
3.365 * * [simplify]: iteration 34: 4563 enodes
3.502 * * [simplify]: iteration 35: 4711 enodes
3.647 * * [simplify]: iteration 36: 4868 enodes
3.761 * * [simplify]: iteration complete: 5000 enodes
3.762 * * [simplify]: Extracting #0: cost 1 inf + 0
3.762 * * [simplify]: Extracting #1: cost 34 inf + 0
3.763 * * [simplify]: Extracting #2: cost 69 inf + 46
3.764 * * [simplify]: Extracting #3: cost 67 inf + 870
3.767 * * [simplify]: Extracting #4: cost 7 inf + 7356
3.773 * * [simplify]: Extracting #5: cost 0 inf + 8358
3.777 * [simplify]: Simplified to:
  (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0)))
3.783 * * [progress]: iteration 1 / 4
3.783 * * * [progress]: picking best candidate
3.787 * * * * [pick]: Picked  #<alt (λ (x y z t) (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0))))>
3.788 * * * [progress]: localizing error
3.801 * * * [progress]: generating rewritten candidates
3.801 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.801 * * * [progress]: generating series expansions
3.801 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.802 * [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.802 * [approximate]: Taking taylor expansion of (fma (* 0.125 x) 1.0 (- t (* 0.5 (* z y)))) in (x t z y) around 0
3.802 * [taylor]: Taking taylor expansion of (fma (* 0.125 x) 1.0 (- t (* 0.5 (* z y)))) in y
3.802 * [taylor]: Rewrote expression to (+ (* (* 0.125 x) 1.0) (- t (* 0.5 (* z y))))
3.802 * [taylor]: Taking taylor expansion of (* (* 0.125 x) 1.0) in y
3.802 * [taylor]: Taking taylor expansion of (* 0.125 x) in y
3.802 * [taylor]: Taking taylor expansion of 0.125 in y
3.802 * [backup-simplify]: Simplify 0.125 into 0.125
3.802 * [taylor]: Taking taylor expansion of x in y
3.802 * [backup-simplify]: Simplify x into x
3.802 * [taylor]: Taking taylor expansion of 1.0 in y
3.802 * [backup-simplify]: Simplify 1.0 into 1.0
3.802 * [taylor]: Taking taylor expansion of (- t (* 0.5 (* z y))) in y
3.802 * [taylor]: Taking taylor expansion of t in y
3.802 * [backup-simplify]: Simplify t into t
3.802 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in y
3.802 * [taylor]: Taking taylor expansion of 0.5 in y
3.802 * [backup-simplify]: Simplify 0.5 into 0.5
3.802 * [taylor]: Taking taylor expansion of (* z y) in y
3.802 * [taylor]: Taking taylor expansion of z in y
3.802 * [backup-simplify]: Simplify z into z
3.802 * [taylor]: Taking taylor expansion of y in y
3.802 * [backup-simplify]: Simplify 0 into 0
3.802 * [backup-simplify]: Simplify 1 into 1
3.802 * [taylor]: Taking taylor expansion of (fma (* 0.125 x) 1.0 (- t (* 0.5 (* z y)))) in z
3.802 * [taylor]: Rewrote expression to (+ (* (* 0.125 x) 1.0) (- t (* 0.5 (* z y))))
3.802 * [taylor]: Taking taylor expansion of (* (* 0.125 x) 1.0) in z
3.802 * [taylor]: Taking taylor expansion of (* 0.125 x) in z
3.802 * [taylor]: Taking taylor expansion of 0.125 in z
3.802 * [backup-simplify]: Simplify 0.125 into 0.125
3.802 * [taylor]: Taking taylor expansion of x in z
3.802 * [backup-simplify]: Simplify x into x
3.802 * [taylor]: Taking taylor expansion of 1.0 in z
3.802 * [backup-simplify]: Simplify 1.0 into 1.0
3.802 * [taylor]: Taking taylor expansion of (- t (* 0.5 (* z y))) in z
3.802 * [taylor]: Taking taylor expansion of t in z
3.802 * [backup-simplify]: Simplify t into t
3.802 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in z
3.802 * [taylor]: Taking taylor expansion of 0.5 in z
3.802 * [backup-simplify]: Simplify 0.5 into 0.5
3.803 * [taylor]: Taking taylor expansion of (* z y) in z
3.803 * [taylor]: Taking taylor expansion of z in z
3.803 * [backup-simplify]: Simplify 0 into 0
3.803 * [backup-simplify]: Simplify 1 into 1
3.803 * [taylor]: Taking taylor expansion of y in z
3.803 * [backup-simplify]: Simplify y into y
3.803 * [taylor]: Taking taylor expansion of (fma (* 0.125 x) 1.0 (- t (* 0.5 (* z y)))) in t
3.803 * [taylor]: Rewrote expression to (+ (* (* 0.125 x) 1.0) (- t (* 0.5 (* z y))))
3.803 * [taylor]: Taking taylor expansion of (* (* 0.125 x) 1.0) in t
3.803 * [taylor]: Taking taylor expansion of (* 0.125 x) in t
3.803 * [taylor]: Taking taylor expansion of 0.125 in t
3.803 * [backup-simplify]: Simplify 0.125 into 0.125
3.803 * [taylor]: Taking taylor expansion of x in t
3.803 * [backup-simplify]: Simplify x into x
3.803 * [taylor]: Taking taylor expansion of 1.0 in t
3.803 * [backup-simplify]: Simplify 1.0 into 1.0
3.803 * [taylor]: Taking taylor expansion of (- t (* 0.5 (* z y))) in t
3.803 * [taylor]: Taking taylor expansion of t in t
3.803 * [backup-simplify]: Simplify 0 into 0
3.803 * [backup-simplify]: Simplify 1 into 1
3.803 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in t
3.803 * [taylor]: Taking taylor expansion of 0.5 in t
3.803 * [backup-simplify]: Simplify 0.5 into 0.5
3.803 * [taylor]: Taking taylor expansion of (* z y) in t
3.803 * [taylor]: Taking taylor expansion of z in t
3.803 * [backup-simplify]: Simplify z into z
3.803 * [taylor]: Taking taylor expansion of y in t
3.803 * [backup-simplify]: Simplify y into y
3.803 * [taylor]: Taking taylor expansion of (fma (* 0.125 x) 1.0 (- t (* 0.5 (* z y)))) in x
3.803 * [taylor]: Rewrote expression to (+ (* (* 0.125 x) 1.0) (- t (* 0.5 (* z y))))
3.803 * [taylor]: Taking taylor expansion of (* (* 0.125 x) 1.0) in x
3.803 * [taylor]: Taking taylor expansion of (* 0.125 x) in x
3.803 * [taylor]: Taking taylor expansion of 0.125 in x
3.803 * [backup-simplify]: Simplify 0.125 into 0.125
3.803 * [taylor]: Taking taylor expansion of x in x
3.803 * [backup-simplify]: Simplify 0 into 0
3.803 * [backup-simplify]: Simplify 1 into 1
3.803 * [taylor]: Taking taylor expansion of 1.0 in x
3.803 * [backup-simplify]: Simplify 1.0 into 1.0
3.803 * [taylor]: Taking taylor expansion of (- t (* 0.5 (* z y))) in x
3.803 * [taylor]: Taking taylor expansion of t in x
3.803 * [backup-simplify]: Simplify t into t
3.803 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in x
3.803 * [taylor]: Taking taylor expansion of 0.5 in x
3.803 * [backup-simplify]: Simplify 0.5 into 0.5
3.803 * [taylor]: Taking taylor expansion of (* z y) in x
3.803 * [taylor]: Taking taylor expansion of z in x
3.803 * [backup-simplify]: Simplify z into z
3.803 * [taylor]: Taking taylor expansion of y in x
3.803 * [backup-simplify]: Simplify y into y
3.803 * [taylor]: Taking taylor expansion of (fma (* 0.125 x) 1.0 (- t (* 0.5 (* z y)))) in x
3.804 * [taylor]: Rewrote expression to (+ (* (* 0.125 x) 1.0) (- t (* 0.5 (* z y))))
3.804 * [taylor]: Taking taylor expansion of (* (* 0.125 x) 1.0) in x
3.804 * [taylor]: Taking taylor expansion of (* 0.125 x) in x
3.804 * [taylor]: Taking taylor expansion of 0.125 in x
3.804 * [backup-simplify]: Simplify 0.125 into 0.125
3.804 * [taylor]: Taking taylor expansion of x in x
3.804 * [backup-simplify]: Simplify 0 into 0
3.804 * [backup-simplify]: Simplify 1 into 1
3.804 * [taylor]: Taking taylor expansion of 1.0 in x
3.804 * [backup-simplify]: Simplify 1.0 into 1.0
3.804 * [taylor]: Taking taylor expansion of (- t (* 0.5 (* z y))) in x
3.804 * [taylor]: Taking taylor expansion of t in x
3.804 * [backup-simplify]: Simplify t into t
3.804 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in x
3.804 * [taylor]: Taking taylor expansion of 0.5 in x
3.804 * [backup-simplify]: Simplify 0.5 into 0.5
3.804 * [taylor]: Taking taylor expansion of (* z y) in x
3.804 * [taylor]: Taking taylor expansion of z in x
3.804 * [backup-simplify]: Simplify z into z
3.804 * [taylor]: Taking taylor expansion of y in x
3.804 * [backup-simplify]: Simplify y into y
3.804 * [backup-simplify]: Simplify (* 0.125 0) into 0
3.805 * [backup-simplify]: Simplify (* 0 1.0) into 0
3.805 * [backup-simplify]: Simplify (* z y) into (* z y)
3.805 * [backup-simplify]: Simplify (* 0.5 (* z y)) into (* 0.5 (* z y))
3.805 * [backup-simplify]: Simplify (- (* 0.5 (* z y))) into (- (* 0.5 (* z y)))
3.805 * [backup-simplify]: Simplify (+ t (- (* 0.5 (* z y)))) into (- t (* 0.5 (* z y)))
3.805 * [backup-simplify]: Simplify (+ 0 (- t (* 0.5 (* z y)))) into (- t (* 0.5 (* z y)))
3.805 * [taylor]: Taking taylor expansion of (- t (* 0.5 (* z y))) in t
3.805 * [taylor]: Taking taylor expansion of t in t
3.805 * [backup-simplify]: Simplify 0 into 0
3.805 * [backup-simplify]: Simplify 1 into 1
3.805 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in t
3.805 * [taylor]: Taking taylor expansion of 0.5 in t
3.805 * [backup-simplify]: Simplify 0.5 into 0.5
3.805 * [taylor]: Taking taylor expansion of (* z y) in t
3.805 * [taylor]: Taking taylor expansion of z in t
3.805 * [backup-simplify]: Simplify z into z
3.805 * [taylor]: Taking taylor expansion of y in t
3.805 * [backup-simplify]: Simplify y into y
3.805 * [backup-simplify]: Simplify (* z y) into (* z y)
3.805 * [backup-simplify]: Simplify (* 0.5 (* z y)) into (* 0.5 (* z y))
3.806 * [backup-simplify]: Simplify (- (* 0.5 (* z y))) into (- (* 0.5 (* z y)))
3.806 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (* z y)))) into (- (* 0.5 (* z y)))
3.806 * [taylor]: Taking taylor expansion of (- (* 0.5 (* z y))) in z
3.806 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in z
3.806 * [taylor]: Taking taylor expansion of 0.5 in z
3.806 * [backup-simplify]: Simplify 0.5 into 0.5
3.806 * [taylor]: Taking taylor expansion of (* z y) in z
3.806 * [taylor]: Taking taylor expansion of z in z
3.806 * [backup-simplify]: Simplify 0 into 0
3.806 * [backup-simplify]: Simplify 1 into 1
3.806 * [taylor]: Taking taylor expansion of y in z
3.806 * [backup-simplify]: Simplify y into y
3.806 * [backup-simplify]: Simplify (* 0 y) into 0
3.806 * [backup-simplify]: Simplify (* 0.5 0) into 0
3.807 * [backup-simplify]: Simplify (- 0) into 0
3.807 * [taylor]: Taking taylor expansion of 0 in y
3.807 * [backup-simplify]: Simplify 0 into 0
3.807 * [backup-simplify]: Simplify 0 into 0
3.808 * [backup-simplify]: Simplify (+ (* 0.125 1) (* 0 0)) into 0.125
3.809 * [backup-simplify]: Simplify (+ (* 0 0) (* 0.125 1.0)) into 0.125
3.809 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
3.809 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* z y))) into 0
3.809 * [backup-simplify]: Simplify (- 0) into 0
3.810 * [backup-simplify]: Simplify (+ 0 0) into 0
3.810 * [backup-simplify]: Simplify (+ 0.125 0) into 0.125
3.810 * [taylor]: Taking taylor expansion of 0.125 in t
3.810 * [backup-simplify]: Simplify 0.125 into 0.125
3.810 * [taylor]: Taking taylor expansion of 0.125 in z
3.810 * [backup-simplify]: Simplify 0.125 into 0.125
3.810 * [taylor]: Taking taylor expansion of 0.125 in y
3.810 * [backup-simplify]: Simplify 0.125 into 0.125
3.810 * [backup-simplify]: Simplify 0.125 into 0.125
3.810 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
3.811 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* z y))) into 0
3.811 * [backup-simplify]: Simplify (- 0) into 0
3.811 * [backup-simplify]: Simplify (+ 1 0) into 1
3.811 * [taylor]: Taking taylor expansion of 1 in z
3.811 * [backup-simplify]: Simplify 1 into 1
3.811 * [taylor]: Taking taylor expansion of 1 in y
3.811 * [backup-simplify]: Simplify 1 into 1
3.811 * [backup-simplify]: Simplify 1 into 1
3.812 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.812 * [backup-simplify]: Simplify (+ (* 0.5 y) (* 0 0)) into (* 0.5 y)
3.812 * [backup-simplify]: Simplify (- (* 0.5 y)) into (- (* 0.5 y))
3.812 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y
3.812 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
3.812 * [taylor]: Taking taylor expansion of 0.5 in y
3.812 * [backup-simplify]: Simplify 0.5 into 0.5
3.812 * [taylor]: Taking taylor expansion of y in y
3.812 * [backup-simplify]: Simplify 0 into 0
3.812 * [backup-simplify]: Simplify 1 into 1
3.812 * [backup-simplify]: Simplify (* 0.5 0) into 0
3.813 * [backup-simplify]: Simplify (- 0) into 0
3.813 * [backup-simplify]: Simplify 0 into 0
3.813 * [backup-simplify]: Simplify 0 into 0
3.813 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 1) (* 0 0))) into 0
3.814 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 0.125 0) (* 0 1.0))) into 0
3.814 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
3.815 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* z y)))) into 0
3.815 * [backup-simplify]: Simplify (- 0) into 0
3.815 * [backup-simplify]: Simplify (+ 0 0) into 0
3.815 * [backup-simplify]: Simplify (+ 0 0) into 0
3.815 * [taylor]: Taking taylor expansion of 0 in t
3.816 * [backup-simplify]: Simplify 0 into 0
3.816 * [taylor]: Taking taylor expansion of 0 in z
3.816 * [backup-simplify]: Simplify 0 into 0
3.816 * [taylor]: Taking taylor expansion of 0 in y
3.816 * [backup-simplify]: Simplify 0 into 0
3.816 * [backup-simplify]: Simplify 0 into 0
3.816 * [taylor]: Taking taylor expansion of 0 in z
3.816 * [backup-simplify]: Simplify 0 into 0
3.816 * [taylor]: Taking taylor expansion of 0 in y
3.816 * [backup-simplify]: Simplify 0 into 0
3.816 * [backup-simplify]: Simplify 0 into 0
3.816 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
3.817 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* z y)))) into 0
3.817 * [backup-simplify]: Simplify (- 0) into 0
3.817 * [backup-simplify]: Simplify (+ 0 0) into 0
3.817 * [taylor]: Taking taylor expansion of 0 in z
3.817 * [backup-simplify]: Simplify 0 into 0
3.817 * [taylor]: Taking taylor expansion of 0 in y
3.817 * [backup-simplify]: Simplify 0 into 0
3.817 * [backup-simplify]: Simplify 0 into 0
3.817 * [taylor]: Taking taylor expansion of 0 in y
3.817 * [backup-simplify]: Simplify 0 into 0
3.817 * [backup-simplify]: Simplify 0 into 0
3.817 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* t 1)))) (* 0.125 (* 1 (* 1 (* 1 x))))) into (+ t (* 0.125 x))
3.818 * [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.818 * [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.818 * [taylor]: Taking taylor expansion of (fma (/ 0.125 x) 1.0 (- (/ 1 t) (* 0.5 (/ 1 (* z y))))) in y
3.818 * [taylor]: Rewrote expression to (+ (* (/ 0.125 x) 1.0) (- (/ 1 t) (* 0.5 (/ 1 (* z y)))))
3.818 * [taylor]: Taking taylor expansion of (* (/ 0.125 x) 1.0) in y
3.818 * [taylor]: Taking taylor expansion of (/ 0.125 x) in y
3.818 * [taylor]: Taking taylor expansion of 0.125 in y
3.818 * [backup-simplify]: Simplify 0.125 into 0.125
3.818 * [taylor]: Taking taylor expansion of x in y
3.818 * [backup-simplify]: Simplify x into x
3.818 * [backup-simplify]: Simplify (/ 0.125 x) into (/ 0.125 x)
3.818 * [taylor]: Taking taylor expansion of 1.0 in y
3.818 * [backup-simplify]: Simplify 1.0 into 1.0
3.818 * [taylor]: Taking taylor expansion of (- (/ 1 t) (* 0.5 (/ 1 (* z y)))) in y
3.818 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.818 * [taylor]: Taking taylor expansion of t in y
3.818 * [backup-simplify]: Simplify t into t
3.818 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.818 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y
3.818 * [taylor]: Taking taylor expansion of 0.5 in y
3.818 * [backup-simplify]: Simplify 0.5 into 0.5
3.818 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.818 * [taylor]: Taking taylor expansion of (* z y) in y
3.818 * [taylor]: Taking taylor expansion of z in y
3.818 * [backup-simplify]: Simplify z into z
3.818 * [taylor]: Taking taylor expansion of y in y
3.818 * [backup-simplify]: Simplify 0 into 0
3.818 * [backup-simplify]: Simplify 1 into 1
3.818 * [backup-simplify]: Simplify (* z 0) into 0
3.819 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
3.819 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.819 * [taylor]: Taking taylor expansion of (fma (/ 0.125 x) 1.0 (- (/ 1 t) (* 0.5 (/ 1 (* z y))))) in z
3.819 * [taylor]: Rewrote expression to (+ (* (/ 0.125 x) 1.0) (- (/ 1 t) (* 0.5 (/ 1 (* z y)))))
3.819 * [taylor]: Taking taylor expansion of (* (/ 0.125 x) 1.0) in z
3.819 * [taylor]: Taking taylor expansion of (/ 0.125 x) in z
3.819 * [taylor]: Taking taylor expansion of 0.125 in z
3.819 * [backup-simplify]: Simplify 0.125 into 0.125
3.819 * [taylor]: Taking taylor expansion of x in z
3.819 * [backup-simplify]: Simplify x into x
3.819 * [backup-simplify]: Simplify (/ 0.125 x) into (/ 0.125 x)
3.819 * [taylor]: Taking taylor expansion of 1.0 in z
3.819 * [backup-simplify]: Simplify 1.0 into 1.0
3.819 * [taylor]: Taking taylor expansion of (- (/ 1 t) (* 0.5 (/ 1 (* z y)))) in z
3.819 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.819 * [taylor]: Taking taylor expansion of t in z
3.819 * [backup-simplify]: Simplify t into t
3.819 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.819 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in z
3.819 * [taylor]: Taking taylor expansion of 0.5 in z
3.819 * [backup-simplify]: Simplify 0.5 into 0.5
3.819 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.819 * [taylor]: Taking taylor expansion of (* z y) in z
3.819 * [taylor]: Taking taylor expansion of z in z
3.819 * [backup-simplify]: Simplify 0 into 0
3.819 * [backup-simplify]: Simplify 1 into 1
3.819 * [taylor]: Taking taylor expansion of y in z
3.819 * [backup-simplify]: Simplify y into y
3.819 * [backup-simplify]: Simplify (* 0 y) into 0
3.820 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.820 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.820 * [taylor]: Taking taylor expansion of (fma (/ 0.125 x) 1.0 (- (/ 1 t) (* 0.5 (/ 1 (* z y))))) in t
3.820 * [taylor]: Rewrote expression to (+ (* (/ 0.125 x) 1.0) (- (/ 1 t) (* 0.5 (/ 1 (* z y)))))
3.820 * [taylor]: Taking taylor expansion of (* (/ 0.125 x) 1.0) in t
3.820 * [taylor]: Taking taylor expansion of (/ 0.125 x) in t
3.820 * [taylor]: Taking taylor expansion of 0.125 in t
3.820 * [backup-simplify]: Simplify 0.125 into 0.125
3.820 * [taylor]: Taking taylor expansion of x in t
3.820 * [backup-simplify]: Simplify x into x
3.820 * [backup-simplify]: Simplify (/ 0.125 x) into (/ 0.125 x)
3.820 * [taylor]: Taking taylor expansion of 1.0 in t
3.820 * [backup-simplify]: Simplify 1.0 into 1.0
3.820 * [taylor]: Taking taylor expansion of (- (/ 1 t) (* 0.5 (/ 1 (* z y)))) in t
3.820 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.820 * [taylor]: Taking taylor expansion of t in t
3.820 * [backup-simplify]: Simplify 0 into 0
3.820 * [backup-simplify]: Simplify 1 into 1
3.821 * [backup-simplify]: Simplify (/ 1 1) into 1
3.821 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in t
3.821 * [taylor]: Taking taylor expansion of 0.5 in t
3.821 * [backup-simplify]: Simplify 0.5 into 0.5
3.821 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
3.821 * [taylor]: Taking taylor expansion of (* z y) in t
3.821 * [taylor]: Taking taylor expansion of z in t
3.821 * [backup-simplify]: Simplify z into z
3.821 * [taylor]: Taking taylor expansion of y in t
3.821 * [backup-simplify]: Simplify y into y
3.821 * [backup-simplify]: Simplify (* z y) into (* z y)
3.821 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
3.821 * [taylor]: Taking taylor expansion of (fma (/ 0.125 x) 1.0 (- (/ 1 t) (* 0.5 (/ 1 (* z y))))) in x
3.821 * [taylor]: Rewrote expression to (+ (* (/ 0.125 x) 1.0) (- (/ 1 t) (* 0.5 (/ 1 (* z y)))))
3.821 * [taylor]: Taking taylor expansion of (* (/ 0.125 x) 1.0) in x
3.821 * [taylor]: Taking taylor expansion of (/ 0.125 x) in x
3.821 * [taylor]: Taking taylor expansion of 0.125 in x
3.821 * [backup-simplify]: Simplify 0.125 into 0.125
3.821 * [taylor]: Taking taylor expansion of x in x
3.821 * [backup-simplify]: Simplify 0 into 0
3.821 * [backup-simplify]: Simplify 1 into 1
3.822 * [backup-simplify]: Simplify (/ 0.125 1) into 0.125
3.822 * [taylor]: Taking taylor expansion of 1.0 in x
3.822 * [backup-simplify]: Simplify 1.0 into 1.0
3.822 * [taylor]: Taking taylor expansion of (- (/ 1 t) (* 0.5 (/ 1 (* z y)))) in x
3.822 * [taylor]: Taking taylor expansion of (/ 1 t) in x
3.822 * [taylor]: Taking taylor expansion of t in x
3.822 * [backup-simplify]: Simplify t into t
3.822 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.822 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in x
3.822 * [taylor]: Taking taylor expansion of 0.5 in x
3.822 * [backup-simplify]: Simplify 0.5 into 0.5
3.822 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.822 * [taylor]: Taking taylor expansion of (* z y) in x
3.822 * [taylor]: Taking taylor expansion of z in x
3.822 * [backup-simplify]: Simplify z into z
3.822 * [taylor]: Taking taylor expansion of y in x
3.822 * [backup-simplify]: Simplify y into y
3.822 * [backup-simplify]: Simplify (* z y) into (* z y)
3.822 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
3.822 * [taylor]: Taking taylor expansion of (fma (/ 0.125 x) 1.0 (- (/ 1 t) (* 0.5 (/ 1 (* z y))))) in x
3.822 * [taylor]: Rewrote expression to (+ (* (/ 0.125 x) 1.0) (- (/ 1 t) (* 0.5 (/ 1 (* z y)))))
3.822 * [taylor]: Taking taylor expansion of (* (/ 0.125 x) 1.0) in x
3.822 * [taylor]: Taking taylor expansion of (/ 0.125 x) in x
3.822 * [taylor]: Taking taylor expansion of 0.125 in x
3.822 * [backup-simplify]: Simplify 0.125 into 0.125
3.822 * [taylor]: Taking taylor expansion of x in x
3.822 * [backup-simplify]: Simplify 0 into 0
3.822 * [backup-simplify]: Simplify 1 into 1
3.823 * [backup-simplify]: Simplify (/ 0.125 1) into 0.125
3.823 * [taylor]: Taking taylor expansion of 1.0 in x
3.823 * [backup-simplify]: Simplify 1.0 into 1.0
3.823 * [taylor]: Taking taylor expansion of (- (/ 1 t) (* 0.5 (/ 1 (* z y)))) in x
3.823 * [taylor]: Taking taylor expansion of (/ 1 t) in x
3.823 * [taylor]: Taking taylor expansion of t in x
3.823 * [backup-simplify]: Simplify t into t
3.823 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.823 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in x
3.823 * [taylor]: Taking taylor expansion of 0.5 in x
3.823 * [backup-simplify]: Simplify 0.5 into 0.5
3.823 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.823 * [taylor]: Taking taylor expansion of (* z y) in x
3.823 * [taylor]: Taking taylor expansion of z in x
3.823 * [backup-simplify]: Simplify z into z
3.823 * [taylor]: Taking taylor expansion of y in x
3.823 * [backup-simplify]: Simplify y into y
3.823 * [backup-simplify]: Simplify (* z y) into (* z y)
3.823 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
3.824 * [backup-simplify]: Simplify (* 0.125 1.0) into 0.125
3.824 * [backup-simplify]: Simplify (+ 0.125 0) into 0.125
3.824 * [taylor]: Taking taylor expansion of 0.125 in t
3.824 * [backup-simplify]: Simplify 0.125 into 0.125
3.825 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.125 (/ 0 1)))) into 0
3.826 * [backup-simplify]: Simplify (+ (* 0.125 0) (* 0 1.0)) into 0
3.826 * [backup-simplify]: Simplify (* 0.5 (/ 1 (* z y))) into (/ 0.5 (* z y))
3.826 * [backup-simplify]: Simplify (- (/ 0.5 (* z y))) into (- (* 0.5 (/ 1 (* z y))))
3.826 * [backup-simplify]: Simplify (+ (/ 1 t) (- (* 0.5 (/ 1 (* z y))))) into (- (/ 1 t) (* 0.5 (/ 1 (* z y))))
3.826 * [backup-simplify]: Simplify (+ 0 (- (/ 1 t) (* 0.5 (/ 1 (* z y))))) into (- (/ 1 t) (* 0.5 (/ 1 (* z y))))
3.826 * [taylor]: Taking taylor expansion of (- (/ 1 t) (* 0.5 (/ 1 (* z y)))) in t
3.826 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.826 * [taylor]: Taking taylor expansion of t in t
3.826 * [backup-simplify]: Simplify 0 into 0
3.826 * [backup-simplify]: Simplify 1 into 1
3.826 * [backup-simplify]: Simplify (/ 1 1) into 1
3.826 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in t
3.826 * [taylor]: Taking taylor expansion of 0.5 in t
3.827 * [backup-simplify]: Simplify 0.5 into 0.5
3.827 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
3.827 * [taylor]: Taking taylor expansion of (* z y) in t
3.827 * [taylor]: Taking taylor expansion of z in t
3.827 * [backup-simplify]: Simplify z into z
3.827 * [taylor]: Taking taylor expansion of y in t
3.827 * [backup-simplify]: Simplify y into y
3.827 * [backup-simplify]: Simplify (* z y) into (* z y)
3.827 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
3.827 * [backup-simplify]: Simplify (+ 1 0) into 1
3.827 * [taylor]: Taking taylor expansion of 1 in z
3.827 * [backup-simplify]: Simplify 1 into 1
3.827 * [taylor]: Taking taylor expansion of 0.125 in z
3.827 * [backup-simplify]: Simplify 0.125 into 0.125
3.828 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.125 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.828 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (* 0 1.0))) into 0
3.829 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
3.829 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
3.829 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
3.829 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (* z y)))) into 0
3.829 * [backup-simplify]: Simplify (- 0) into 0
3.830 * [backup-simplify]: Simplify (+ 0 0) into 0
3.830 * [backup-simplify]: Simplify (+ 0 0) into 0
3.830 * [taylor]: Taking taylor expansion of 0 in t
3.830 * [backup-simplify]: Simplify 0 into 0
3.830 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.831 * [backup-simplify]: Simplify (* 0.5 (/ 1 (* z y))) into (/ 0.5 (* z y))
3.831 * [backup-simplify]: Simplify (- (/ 0.5 (* z y))) into (- (* 0.5 (/ 1 (* z y))))
3.831 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ 1 (* z y))))) into (- (* 0.5 (/ 1 (* z y))))
3.831 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (* z y)))) in z
3.831 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in z
3.831 * [taylor]: Taking taylor expansion of 0.5 in z
3.831 * [backup-simplify]: Simplify 0.5 into 0.5
3.831 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.831 * [taylor]: Taking taylor expansion of (* z y) in z
3.831 * [taylor]: Taking taylor expansion of z in z
3.831 * [backup-simplify]: Simplify 0 into 0
3.831 * [backup-simplify]: Simplify 1 into 1
3.831 * [taylor]: Taking taylor expansion of y in z
3.831 * [backup-simplify]: Simplify y into y
3.831 * [backup-simplify]: Simplify (* 0 y) into 0
3.831 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.831 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.831 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
3.832 * [backup-simplify]: Simplify (- (/ 0.5 y)) into (- (* 0.5 (/ 1 y)))
3.832 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y
3.832 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
3.832 * [taylor]: Taking taylor expansion of 0.5 in y
3.832 * [backup-simplify]: Simplify 0.5 into 0.5
3.832 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.832 * [taylor]: Taking taylor expansion of y in y
3.832 * [backup-simplify]: Simplify 0 into 0
3.832 * [backup-simplify]: Simplify 1 into 1
3.832 * [backup-simplify]: Simplify (/ 1 1) into 1
3.832 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
3.833 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.833 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.833 * [taylor]: Taking taylor expansion of 0 in z
3.833 * [backup-simplify]: Simplify 0 into 0
3.833 * [taylor]: Taking taylor expansion of 1 in y
3.833 * [backup-simplify]: Simplify 1 into 1
3.833 * [taylor]: Taking taylor expansion of 0.125 in y
3.833 * [backup-simplify]: Simplify 0.125 into 0.125
3.834 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.125 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.834 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))) into 0
3.835 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
3.835 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
3.835 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
3.836 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 (* z y))))) into 0
3.836 * [backup-simplify]: Simplify (- 0) into 0
3.836 * [backup-simplify]: Simplify (+ 0 0) into 0
3.836 * [backup-simplify]: Simplify (+ 0 0) into 0
3.836 * [taylor]: Taking taylor expansion of 0 in t
3.836 * [backup-simplify]: Simplify 0 into 0
3.836 * [taylor]: Taking taylor expansion of 0 in z
3.836 * [backup-simplify]: Simplify 0 into 0
3.837 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.837 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
3.837 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
3.838 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (* z y)))) into 0
3.838 * [backup-simplify]: Simplify (- 0) into 0
3.838 * [backup-simplify]: Simplify (+ 0 0) into 0
3.838 * [taylor]: Taking taylor expansion of 0 in z
3.838 * [backup-simplify]: Simplify 0 into 0
3.838 * [taylor]: Taking taylor expansion of 0 in z
3.838 * [backup-simplify]: Simplify 0 into 0
3.839 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
3.839 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.839 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0
3.839 * [backup-simplify]: Simplify (- 0) into 0
3.839 * [taylor]: Taking taylor expansion of 0 in y
3.839 * [backup-simplify]: Simplify 0 into 0
3.840 * [taylor]: Taking taylor expansion of 0 in y
3.840 * [backup-simplify]: Simplify 0 into 0
3.840 * [taylor]: Taking taylor expansion of 0 in y
3.840 * [backup-simplify]: Simplify 0 into 0
3.840 * [taylor]: Taking taylor expansion of 0 in y
3.840 * [backup-simplify]: Simplify 0 into 0
3.840 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.841 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
3.841 * [backup-simplify]: Simplify (- 0) into 0
3.841 * [backup-simplify]: Simplify 0 into 0
3.841 * [backup-simplify]: Simplify 1 into 1
3.841 * [backup-simplify]: Simplify 0.125 into 0.125
3.842 * [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.842 * [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.842 * [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.842 * [taylor]: Taking taylor expansion of (fma (/ -0.125 x) 1.0 (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))))) in y
3.843 * [taylor]: Rewrote expression to (+ (* (/ -0.125 x) 1.0) (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))))
3.843 * [taylor]: Taking taylor expansion of (* (/ -0.125 x) 1.0) in y
3.843 * [taylor]: Taking taylor expansion of (/ -0.125 x) in y
3.843 * [taylor]: Taking taylor expansion of -0.125 in y
3.843 * [backup-simplify]: Simplify -0.125 into -0.125
3.843 * [taylor]: Taking taylor expansion of x in y
3.843 * [backup-simplify]: Simplify x into x
3.843 * [backup-simplify]: Simplify (/ -0.125 x) into (/ -0.125 x)
3.843 * [taylor]: Taking taylor expansion of 1.0 in y
3.843 * [backup-simplify]: Simplify 1.0 into 1.0
3.843 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))) in y
3.843 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))) in y
3.843 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.843 * [taylor]: Taking taylor expansion of t in y
3.843 * [backup-simplify]: Simplify t into t
3.843 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.843 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y
3.843 * [taylor]: Taking taylor expansion of 0.5 in y
3.843 * [backup-simplify]: Simplify 0.5 into 0.5
3.843 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.843 * [taylor]: Taking taylor expansion of (* z y) in y
3.843 * [taylor]: Taking taylor expansion of z in y
3.843 * [backup-simplify]: Simplify z into z
3.843 * [taylor]: Taking taylor expansion of y in y
3.843 * [backup-simplify]: Simplify 0 into 0
3.843 * [backup-simplify]: Simplify 1 into 1
3.843 * [backup-simplify]: Simplify (* z 0) into 0
3.843 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
3.844 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.844 * [taylor]: Taking taylor expansion of (fma (/ -0.125 x) 1.0 (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))))) in z
3.844 * [taylor]: Rewrote expression to (+ (* (/ -0.125 x) 1.0) (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))))
3.844 * [taylor]: Taking taylor expansion of (* (/ -0.125 x) 1.0) in z
3.844 * [taylor]: Taking taylor expansion of (/ -0.125 x) in z
3.844 * [taylor]: Taking taylor expansion of -0.125 in z
3.844 * [backup-simplify]: Simplify -0.125 into -0.125
3.844 * [taylor]: Taking taylor expansion of x in z
3.844 * [backup-simplify]: Simplify x into x
3.844 * [backup-simplify]: Simplify (/ -0.125 x) into (/ -0.125 x)
3.844 * [taylor]: Taking taylor expansion of 1.0 in z
3.844 * [backup-simplify]: Simplify 1.0 into 1.0
3.844 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))) in z
3.844 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))) in z
3.844 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.844 * [taylor]: Taking taylor expansion of t in z
3.844 * [backup-simplify]: Simplify t into t
3.844 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.844 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in z
3.844 * [taylor]: Taking taylor expansion of 0.5 in z
3.844 * [backup-simplify]: Simplify 0.5 into 0.5
3.844 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.844 * [taylor]: Taking taylor expansion of (* z y) in z
3.844 * [taylor]: Taking taylor expansion of z in z
3.844 * [backup-simplify]: Simplify 0 into 0
3.844 * [backup-simplify]: Simplify 1 into 1
3.844 * [taylor]: Taking taylor expansion of y in z
3.844 * [backup-simplify]: Simplify y into y
3.844 * [backup-simplify]: Simplify (* 0 y) into 0
3.845 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.845 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.845 * [taylor]: Taking taylor expansion of (fma (/ -0.125 x) 1.0 (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))))) in t
3.845 * [taylor]: Rewrote expression to (+ (* (/ -0.125 x) 1.0) (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))))
3.845 * [taylor]: Taking taylor expansion of (* (/ -0.125 x) 1.0) in t
3.845 * [taylor]: Taking taylor expansion of (/ -0.125 x) in t
3.845 * [taylor]: Taking taylor expansion of -0.125 in t
3.845 * [backup-simplify]: Simplify -0.125 into -0.125
3.845 * [taylor]: Taking taylor expansion of x in t
3.845 * [backup-simplify]: Simplify x into x
3.845 * [backup-simplify]: Simplify (/ -0.125 x) into (/ -0.125 x)
3.845 * [taylor]: Taking taylor expansion of 1.0 in t
3.845 * [backup-simplify]: Simplify 1.0 into 1.0
3.845 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))) in t
3.845 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))) in t
3.845 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.845 * [taylor]: Taking taylor expansion of t in t
3.845 * [backup-simplify]: Simplify 0 into 0
3.845 * [backup-simplify]: Simplify 1 into 1
3.846 * [backup-simplify]: Simplify (/ 1 1) into 1
3.846 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in t
3.846 * [taylor]: Taking taylor expansion of 0.5 in t
3.846 * [backup-simplify]: Simplify 0.5 into 0.5
3.846 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
3.846 * [taylor]: Taking taylor expansion of (* z y) in t
3.846 * [taylor]: Taking taylor expansion of z in t
3.846 * [backup-simplify]: Simplify z into z
3.846 * [taylor]: Taking taylor expansion of y in t
3.846 * [backup-simplify]: Simplify y into y
3.846 * [backup-simplify]: Simplify (* z y) into (* z y)
3.846 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
3.846 * [taylor]: Taking taylor expansion of (fma (/ -0.125 x) 1.0 (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))))) in x
3.846 * [taylor]: Rewrote expression to (+ (* (/ -0.125 x) 1.0) (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))))
3.846 * [taylor]: Taking taylor expansion of (* (/ -0.125 x) 1.0) in x
3.846 * [taylor]: Taking taylor expansion of (/ -0.125 x) in x
3.846 * [taylor]: Taking taylor expansion of -0.125 in x
3.846 * [backup-simplify]: Simplify -0.125 into -0.125
3.846 * [taylor]: Taking taylor expansion of x in x
3.846 * [backup-simplify]: Simplify 0 into 0
3.846 * [backup-simplify]: Simplify 1 into 1
3.847 * [backup-simplify]: Simplify (/ -0.125 1) into -0.125
3.847 * [taylor]: Taking taylor expansion of 1.0 in x
3.847 * [backup-simplify]: Simplify 1.0 into 1.0
3.847 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))) in x
3.847 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))) in x
3.847 * [taylor]: Taking taylor expansion of (/ 1 t) in x
3.847 * [taylor]: Taking taylor expansion of t in x
3.847 * [backup-simplify]: Simplify t into t
3.847 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.847 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in x
3.847 * [taylor]: Taking taylor expansion of 0.5 in x
3.847 * [backup-simplify]: Simplify 0.5 into 0.5
3.847 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.847 * [taylor]: Taking taylor expansion of (* z y) in x
3.847 * [taylor]: Taking taylor expansion of z in x
3.847 * [backup-simplify]: Simplify z into z
3.847 * [taylor]: Taking taylor expansion of y in x
3.847 * [backup-simplify]: Simplify y into y
3.847 * [backup-simplify]: Simplify (* z y) into (* z y)
3.847 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
3.847 * [taylor]: Taking taylor expansion of (fma (/ -0.125 x) 1.0 (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))))) in x
3.847 * [taylor]: Rewrote expression to (+ (* (/ -0.125 x) 1.0) (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))))
3.847 * [taylor]: Taking taylor expansion of (* (/ -0.125 x) 1.0) in x
3.847 * [taylor]: Taking taylor expansion of (/ -0.125 x) in x
3.847 * [taylor]: Taking taylor expansion of -0.125 in x
3.847 * [backup-simplify]: Simplify -0.125 into -0.125
3.847 * [taylor]: Taking taylor expansion of x in x
3.847 * [backup-simplify]: Simplify 0 into 0
3.847 * [backup-simplify]: Simplify 1 into 1
3.848 * [backup-simplify]: Simplify (/ -0.125 1) into -0.125
3.848 * [taylor]: Taking taylor expansion of 1.0 in x
3.848 * [backup-simplify]: Simplify 1.0 into 1.0
3.848 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))) in x
3.848 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))) in x
3.848 * [taylor]: Taking taylor expansion of (/ 1 t) in x
3.848 * [taylor]: Taking taylor expansion of t in x
3.848 * [backup-simplify]: Simplify t into t
3.848 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.848 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in x
3.848 * [taylor]: Taking taylor expansion of 0.5 in x
3.848 * [backup-simplify]: Simplify 0.5 into 0.5
3.848 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.848 * [taylor]: Taking taylor expansion of (* z y) in x
3.848 * [taylor]: Taking taylor expansion of z in x
3.848 * [backup-simplify]: Simplify z into z
3.848 * [taylor]: Taking taylor expansion of y in x
3.848 * [backup-simplify]: Simplify y into y
3.848 * [backup-simplify]: Simplify (* z y) into (* z y)
3.848 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
3.849 * [backup-simplify]: Simplify (* -0.125 1.0) into -0.125
3.849 * [backup-simplify]: Simplify (+ -0.125 0) into (- 0.125)
3.849 * [taylor]: Taking taylor expansion of (- 0.125) in t
3.849 * [taylor]: Taking taylor expansion of 0.125 in t
3.849 * [backup-simplify]: Simplify 0.125 into 0.125
3.849 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.125 (/ 0 1)))) into 0
3.855 * [backup-simplify]: Simplify (+ (* -0.125 0) (* 0 1.0)) into 0
3.855 * [backup-simplify]: Simplify (* 0.5 (/ 1 (* z y))) into (/ 0.5 (* z y))
3.855 * [backup-simplify]: Simplify (+ (/ 1 t) (/ 0.5 (* z y))) into (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))
3.855 * [backup-simplify]: Simplify (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))) into (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))))
3.855 * [backup-simplify]: Simplify (+ 0 (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))))) into (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))))
3.855 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))) in t
3.855 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))) in t
3.855 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.855 * [taylor]: Taking taylor expansion of t in t
3.855 * [backup-simplify]: Simplify 0 into 0
3.856 * [backup-simplify]: Simplify 1 into 1
3.856 * [backup-simplify]: Simplify (/ 1 1) into 1
3.856 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in t
3.856 * [taylor]: Taking taylor expansion of 0.5 in t
3.856 * [backup-simplify]: Simplify 0.5 into 0.5
3.856 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
3.856 * [taylor]: Taking taylor expansion of (* z y) in t
3.856 * [taylor]: Taking taylor expansion of z in t
3.856 * [backup-simplify]: Simplify z into z
3.856 * [taylor]: Taking taylor expansion of y in t
3.856 * [backup-simplify]: Simplify y into y
3.856 * [backup-simplify]: Simplify (* z y) into (* z y)
3.856 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
3.857 * [backup-simplify]: Simplify (+ 1 0) into 1
3.857 * [backup-simplify]: Simplify (- 1) into -1
3.857 * [taylor]: Taking taylor expansion of -1 in z
3.857 * [backup-simplify]: Simplify -1 into -1
3.857 * [backup-simplify]: Simplify (- 0.125) into (- 0.125)
3.857 * [taylor]: Taking taylor expansion of (- 0.125) in z
3.857 * [taylor]: Taking taylor expansion of 0.125 in z
3.857 * [backup-simplify]: Simplify 0.125 into 0.125
3.858 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.125 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.859 * [backup-simplify]: Simplify (+ (* -0.125 0) (+ (* 0 0) (* 0 1.0))) into 0
3.859 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
3.859 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
3.859 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
3.859 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (* z y)))) into 0
3.860 * [backup-simplify]: Simplify (+ 0 0) into 0
3.860 * [backup-simplify]: Simplify (- 0) into 0
3.860 * [backup-simplify]: Simplify (+ 0 0) into 0
3.860 * [taylor]: Taking taylor expansion of 0 in t
3.860 * [backup-simplify]: Simplify 0 into 0
3.861 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.861 * [backup-simplify]: Simplify (* 0.5 (/ 1 (* z y))) into (/ 0.5 (* z y))
3.861 * [backup-simplify]: Simplify (+ 0 (/ 0.5 (* z y))) into (* 0.5 (/ 1 (* z y)))
3.861 * [backup-simplify]: Simplify (- (* 0.5 (/ 1 (* z y)))) into (- (* 0.5 (/ 1 (* z y))))
3.861 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (* z y)))) in z
3.861 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in z
3.861 * [taylor]: Taking taylor expansion of 0.5 in z
3.861 * [backup-simplify]: Simplify 0.5 into 0.5
3.861 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.861 * [taylor]: Taking taylor expansion of (* z y) in z
3.861 * [taylor]: Taking taylor expansion of z in z
3.861 * [backup-simplify]: Simplify 0 into 0
3.861 * [backup-simplify]: Simplify 1 into 1
3.861 * [taylor]: Taking taylor expansion of y in z
3.861 * [backup-simplify]: Simplify y into y
3.861 * [backup-simplify]: Simplify (* 0 y) into 0
3.861 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.861 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.861 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
3.862 * [backup-simplify]: Simplify (- (/ 0.5 y)) into (- (* 0.5 (/ 1 y)))
3.862 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y
3.862 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
3.862 * [taylor]: Taking taylor expansion of 0.5 in y
3.862 * [backup-simplify]: Simplify 0.5 into 0.5
3.862 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.862 * [taylor]: Taking taylor expansion of y in y
3.862 * [backup-simplify]: Simplify 0 into 0
3.862 * [backup-simplify]: Simplify 1 into 1
3.862 * [backup-simplify]: Simplify (/ 1 1) into 1
3.862 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
3.863 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.863 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.863 * [backup-simplify]: Simplify (- 0) into 0
3.863 * [taylor]: Taking taylor expansion of 0 in z
3.863 * [backup-simplify]: Simplify 0 into 0
3.863 * [taylor]: Taking taylor expansion of -1 in y
3.863 * [backup-simplify]: Simplify -1 into -1
3.863 * [backup-simplify]: Simplify (- 0.125) into (- 0.125)
3.863 * [taylor]: Taking taylor expansion of (- 0.125) in y
3.863 * [taylor]: Taking taylor expansion of 0.125 in y
3.863 * [backup-simplify]: Simplify 0.125 into 0.125
3.864 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.125 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.865 * [backup-simplify]: Simplify (+ (* -0.125 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))) into 0
3.865 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
3.866 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
3.866 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
3.866 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 (* z y))))) into 0
3.867 * [backup-simplify]: Simplify (+ 0 0) into 0
3.867 * [backup-simplify]: Simplify (- 0) into 0
3.867 * [backup-simplify]: Simplify (+ 0 0) into 0
3.867 * [taylor]: Taking taylor expansion of 0 in t
3.867 * [backup-simplify]: Simplify 0 into 0
3.867 * [taylor]: Taking taylor expansion of 0 in z
3.867 * [backup-simplify]: Simplify 0 into 0
3.868 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.868 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
3.868 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
3.868 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (* z y)))) into 0
3.869 * [backup-simplify]: Simplify (+ 0 0) into 0
3.869 * [backup-simplify]: Simplify (- 0) into 0
3.869 * [taylor]: Taking taylor expansion of 0 in z
3.869 * [backup-simplify]: Simplify 0 into 0
3.869 * [backup-simplify]: Simplify (- 0) into 0
3.869 * [taylor]: Taking taylor expansion of 0 in z
3.869 * [backup-simplify]: Simplify 0 into 0
3.870 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
3.870 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.870 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0
3.870 * [backup-simplify]: Simplify (- 0) into 0
3.870 * [taylor]: Taking taylor expansion of 0 in y
3.870 * [backup-simplify]: Simplify 0 into 0
3.870 * [taylor]: Taking taylor expansion of 0 in y
3.871 * [backup-simplify]: Simplify 0 into 0
3.871 * [taylor]: Taking taylor expansion of 0 in y
3.871 * [backup-simplify]: Simplify 0 into 0
3.871 * [backup-simplify]: Simplify (- 0) into 0
3.871 * [taylor]: Taking taylor expansion of 0 in y
3.871 * [backup-simplify]: Simplify 0 into 0
3.871 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.872 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
3.872 * [backup-simplify]: Simplify (- 0) into 0
3.872 * [backup-simplify]: Simplify 0 into 0
3.872 * [backup-simplify]: Simplify -1 into -1
3.872 * [backup-simplify]: Simplify (- 0.125) into (- 0.125)
3.873 * [backup-simplify]: Simplify (- 0.125) into (- 0.125)
3.874 * [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.874 * * * [progress]: simplifying candidates
3.874 * [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.874 * * [simplify]: iteration 0: 28 enodes
3.882 * * [simplify]: iteration 1: 47 enodes
3.898 * * [simplify]: iteration 2: 107 enodes
3.926 * * [simplify]: iteration 3: 297 enodes
4.116 * * [simplify]: iteration 4: 1366 enodes
4.696 * * [simplify]: iteration complete: 5023 enodes
4.697 * * [simplify]: Extracting #0: cost 11 inf + 0
4.697 * * [simplify]: Extracting #1: cost 134 inf + 0
4.701 * * [simplify]: Extracting #2: cost 980 inf + 388
4.711 * * [simplify]: Extracting #3: cost 1547 inf + 19959
4.791 * * [simplify]: Extracting #4: cost 873 inf + 270117
4.947 * * [simplify]: Extracting #5: cost 75 inf + 561481
5.124 * * [simplify]: Extracting #6: cost 0 inf + 556923
5.347 * * [simplify]: Extracting #7: cost 0 inf + 553613
5.498 * [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.499 * * * [progress]: adding candidates to table
5.564 * [progress]: [Phase 3 of 3] Extracting.
5.569 * [simplify]: Simplifying:
  (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0)))
5.569 * * [simplify]: iteration 0: 12 enodes
5.570 * * [simplify]: iteration 1: 13 enodes
5.570 * * [simplify]: iteration complete: 13 enodes
5.570 * * [simplify]: Extracting #0: cost 1 inf + 0
5.570 * * [simplify]: Extracting #1: cost 4 inf + 0
5.570 * * [simplify]: Extracting #2: cost 7 inf + 1
5.570 * * [simplify]: Extracting #3: cost 6 inf + 4
5.570 * * [simplify]: Extracting #4: cost 6 inf + 47
5.570 * * [simplify]: Extracting #5: cost 0 inf + 520
5.570 * [simplify]: Simplified to:
  (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0)))
7.187 * [regime-testing]: Baseline error score: 0.02302411864001029
7.199 * [regime-testing]: Oracle error score: 0.02302411864001029
7.200 * [regime-testing]: End program error score: 0.02302411864001029
7.345 * [regime-testing]: Target error score: 0.007147134016932405