313.574 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.046 * * * [progress]: [2/2] Setting up program.
0.074 * [progress]: [Phase 2 of 3] Improving.
0.075 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t))>
0.075 * [simplify]: Simplifying:
  (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)
0.075 * * [simplify]: iteration 0: 13 enodes
0.098 * * [simplify]: iteration 1: 24 enodes
0.119 * * [simplify]: iteration 2: 44 enodes
0.158 * * [simplify]: iteration 3: 67 enodes
0.202 * * [simplify]: iteration 4: 94 enodes
0.257 * * [simplify]: iteration 5: 130 enodes
0.351 * * [simplify]: iteration 6: 171 enodes
0.433 * * [simplify]: iteration 7: 208 enodes
0.520 * * [simplify]: iteration 8: 283 enodes
0.672 * * [simplify]: iteration 9: 433 enodes
0.931 * * [simplify]: iteration 10: 586 enodes
1.243 * * [simplify]: iteration 11: 849 enodes
1.565 * * [simplify]: iteration 12: 1004 enodes
1.819 * * [simplify]: iteration 13: 1155 enodes
2.033 * * [simplify]: iteration 14: 1306 enodes
2.329 * * [simplify]: iteration 15: 1451 enodes
2.574 * * [simplify]: iteration 16: 1606 enodes
2.770 * * [simplify]: iteration 17: 1757 enodes
3.005 * * [simplify]: iteration 18: 1902 enodes
3.282 * * [simplify]: iteration 19: 2057 enodes
3.510 * * [simplify]: iteration 20: 2208 enodes
3.770 * * [simplify]: iteration 21: 2353 enodes
4.004 * * [simplify]: iteration 22: 2508 enodes
4.216 * * [simplify]: iteration 23: 2659 enodes
4.439 * * [simplify]: iteration 24: 2804 enodes
4.675 * * [simplify]: iteration 25: 2959 enodes
4.958 * * [simplify]: iteration 26: 3110 enodes
5.301 * * [simplify]: iteration 27: 3255 enodes
5.561 * * [simplify]: iteration 28: 3410 enodes
5.843 * * [simplify]: iteration 29: 3561 enodes
6.120 * * [simplify]: iteration 30: 3706 enodes
6.411 * * [simplify]: iteration 31: 3861 enodes
6.657 * * [simplify]: iteration 32: 4012 enodes
6.911 * * [simplify]: iteration 33: 4157 enodes
7.242 * * [simplify]: iteration 34: 4312 enodes
7.545 * * [simplify]: iteration 35: 4463 enodes
7.807 * * [simplify]: iteration 36: 4608 enodes
8.035 * * [simplify]: iteration 37: 4763 enodes
8.278 * * [simplify]: iteration 38: 4914 enodes
8.559 * * [simplify]: iteration complete: 5000 enodes
8.559 * * [simplify]: Extracting #0: cost 1 inf + 0
8.559 * * [simplify]: Extracting #1: cost 16 inf + 0
8.560 * * [simplify]: Extracting #2: cost 74 inf + 42
8.560 * * [simplify]: Extracting #3: cost 80 inf + 340
8.563 * * [simplify]: Extracting #4: cost 24 inf + 5880
8.568 * * [simplify]: Extracting #5: cost 0 inf + 9523
8.572 * [simplify]: Simplified to:
  (- t (- (/ z (/ 2.0 y)) (* (/ x 8.0) 1.0)))
8.575 * * [progress]: iteration 1 / 4
8.575 * * * [progress]: picking best candidate
8.598 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t))>
8.598 * * * [progress]: localizing error
8.715 * * * [progress]: generating rewritten candidates
8.715 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
8.739 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2)
8.765 * * * [progress]: generating series expansions
8.765 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
8.766 * [backup-simplify]: Simplify (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) into (- (* 0.125 x) (* 0.5 (* z y)))
8.766 * [approximate]: Taking taylor expansion of (- (* 0.125 x) (* 0.5 (* z y))) in (x y z) around 0
8.766 * [taylor]: Taking taylor expansion of (- (* 0.125 x) (* 0.5 (* z y))) in z
8.766 * [taylor]: Taking taylor expansion of (* 0.125 x) in z
8.766 * [taylor]: Taking taylor expansion of 0.125 in z
8.766 * [backup-simplify]: Simplify 0.125 into 0.125
8.766 * [taylor]: Taking taylor expansion of x in z
8.766 * [backup-simplify]: Simplify x into x
8.766 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in z
8.766 * [taylor]: Taking taylor expansion of 0.5 in z
8.766 * [backup-simplify]: Simplify 0.5 into 0.5
8.766 * [taylor]: Taking taylor expansion of (* z y) in z
8.766 * [taylor]: Taking taylor expansion of z in z
8.766 * [backup-simplify]: Simplify 0 into 0
8.766 * [backup-simplify]: Simplify 1 into 1
8.766 * [taylor]: Taking taylor expansion of y in z
8.766 * [backup-simplify]: Simplify y into y
8.766 * [taylor]: Taking taylor expansion of (- (* 0.125 x) (* 0.5 (* z y))) in y
8.766 * [taylor]: Taking taylor expansion of (* 0.125 x) in y
8.766 * [taylor]: Taking taylor expansion of 0.125 in y
8.766 * [backup-simplify]: Simplify 0.125 into 0.125
8.766 * [taylor]: Taking taylor expansion of x in y
8.767 * [backup-simplify]: Simplify x into x
8.767 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in y
8.767 * [taylor]: Taking taylor expansion of 0.5 in y
8.767 * [backup-simplify]: Simplify 0.5 into 0.5
8.767 * [taylor]: Taking taylor expansion of (* z y) in y
8.767 * [taylor]: Taking taylor expansion of z in y
8.767 * [backup-simplify]: Simplify z into z
8.767 * [taylor]: Taking taylor expansion of y in y
8.767 * [backup-simplify]: Simplify 0 into 0
8.767 * [backup-simplify]: Simplify 1 into 1
8.767 * [taylor]: Taking taylor expansion of (- (* 0.125 x) (* 0.5 (* z y))) in x
8.767 * [taylor]: Taking taylor expansion of (* 0.125 x) in x
8.767 * [taylor]: Taking taylor expansion of 0.125 in x
8.767 * [backup-simplify]: Simplify 0.125 into 0.125
8.767 * [taylor]: Taking taylor expansion of x in x
8.767 * [backup-simplify]: Simplify 0 into 0
8.767 * [backup-simplify]: Simplify 1 into 1
8.767 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in x
8.767 * [taylor]: Taking taylor expansion of 0.5 in x
8.767 * [backup-simplify]: Simplify 0.5 into 0.5
8.767 * [taylor]: Taking taylor expansion of (* z y) in x
8.767 * [taylor]: Taking taylor expansion of z in x
8.767 * [backup-simplify]: Simplify z into z
8.767 * [taylor]: Taking taylor expansion of y in x
8.767 * [backup-simplify]: Simplify y into y
8.767 * [taylor]: Taking taylor expansion of (- (* 0.125 x) (* 0.5 (* z y))) in x
8.767 * [taylor]: Taking taylor expansion of (* 0.125 x) in x
8.767 * [taylor]: Taking taylor expansion of 0.125 in x
8.767 * [backup-simplify]: Simplify 0.125 into 0.125
8.767 * [taylor]: Taking taylor expansion of x in x
8.767 * [backup-simplify]: Simplify 0 into 0
8.767 * [backup-simplify]: Simplify 1 into 1
8.767 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in x
8.767 * [taylor]: Taking taylor expansion of 0.5 in x
8.767 * [backup-simplify]: Simplify 0.5 into 0.5
8.767 * [taylor]: Taking taylor expansion of (* z y) in x
8.767 * [taylor]: Taking taylor expansion of z in x
8.767 * [backup-simplify]: Simplify z into z
8.767 * [taylor]: Taking taylor expansion of y in x
8.767 * [backup-simplify]: Simplify y into y
8.768 * [backup-simplify]: Simplify (* 0.125 0) into 0
8.768 * [backup-simplify]: Simplify (* z y) into (* z y)
8.768 * [backup-simplify]: Simplify (* 0.5 (* z y)) into (* 0.5 (* z y))
8.768 * [backup-simplify]: Simplify (- (* 0.5 (* z y))) into (- (* 0.5 (* z y)))
8.768 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (* z y)))) into (- (* 0.5 (* z y)))
8.768 * [taylor]: Taking taylor expansion of (- (* 0.5 (* z y))) in y
8.768 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in y
8.768 * [taylor]: Taking taylor expansion of 0.5 in y
8.768 * [backup-simplify]: Simplify 0.5 into 0.5
8.768 * [taylor]: Taking taylor expansion of (* z y) in y
8.768 * [taylor]: Taking taylor expansion of z in y
8.768 * [backup-simplify]: Simplify z into z
8.768 * [taylor]: Taking taylor expansion of y in y
8.768 * [backup-simplify]: Simplify 0 into 0
8.768 * [backup-simplify]: Simplify 1 into 1
8.768 * [backup-simplify]: Simplify (* z 0) into 0
8.769 * [backup-simplify]: Simplify (* 0.5 0) into 0
8.769 * [backup-simplify]: Simplify (- 0) into 0
8.769 * [taylor]: Taking taylor expansion of 0 in z
8.769 * [backup-simplify]: Simplify 0 into 0
8.769 * [backup-simplify]: Simplify 0 into 0
8.770 * [backup-simplify]: Simplify (+ (* 0.125 1) (* 0 0)) into 0.125
8.770 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
8.770 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* z y))) into 0
8.771 * [backup-simplify]: Simplify (- 0) into 0
8.771 * [backup-simplify]: Simplify (+ 0.125 0) into 0.125
8.771 * [taylor]: Taking taylor expansion of 0.125 in y
8.771 * [backup-simplify]: Simplify 0.125 into 0.125
8.771 * [taylor]: Taking taylor expansion of 0.125 in z
8.771 * [backup-simplify]: Simplify 0.125 into 0.125
8.771 * [backup-simplify]: Simplify 0.125 into 0.125
8.771 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
8.772 * [backup-simplify]: Simplify (+ (* 0.5 z) (* 0 0)) into (* 0.5 z)
8.772 * [backup-simplify]: Simplify (- (* 0.5 z)) into (- (* 0.5 z))
8.772 * [taylor]: Taking taylor expansion of (- (* 0.5 z)) in z
8.772 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
8.772 * [taylor]: Taking taylor expansion of 0.5 in z
8.772 * [backup-simplify]: Simplify 0.5 into 0.5
8.772 * [taylor]: Taking taylor expansion of z in z
8.772 * [backup-simplify]: Simplify 0 into 0
8.772 * [backup-simplify]: Simplify 1 into 1
8.772 * [backup-simplify]: Simplify (* 0.5 0) into 0
8.773 * [backup-simplify]: Simplify (- 0) into 0
8.773 * [backup-simplify]: Simplify 0 into 0
8.773 * [backup-simplify]: Simplify 0 into 0
8.773 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 1) (* 0 0))) into 0
8.774 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
8.774 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* z y)))) into 0
8.775 * [backup-simplify]: Simplify (- 0) into 0
8.775 * [backup-simplify]: Simplify (+ 0 0) into 0
8.775 * [taylor]: Taking taylor expansion of 0 in y
8.775 * [backup-simplify]: Simplify 0 into 0
8.775 * [taylor]: Taking taylor expansion of 0 in z
8.775 * [backup-simplify]: Simplify 0 into 0
8.775 * [backup-simplify]: Simplify 0 into 0
8.775 * [taylor]: Taking taylor expansion of 0 in z
8.775 * [backup-simplify]: Simplify 0 into 0
8.775 * [backup-simplify]: Simplify 0 into 0
8.776 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
8.776 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 z) (* 0 0))) into 0
8.776 * [backup-simplify]: Simplify (- 0) into 0
8.776 * [taylor]: Taking taylor expansion of 0 in z
8.777 * [backup-simplify]: Simplify 0 into 0
8.777 * [backup-simplify]: Simplify 0 into 0
8.777 * [backup-simplify]: Simplify 0 into 0
8.777 * [backup-simplify]: Simplify (* 0.125 (* 1 (* 1 x))) into (* 0.125 x)
8.777 * [backup-simplify]: Simplify (- (* (/ 1.0 8.0) (/ 1 x)) (/ (* (/ 1 y) (/ 1 z)) 2.0)) into (- (* 0.125 (/ 1 x)) (* 0.5 (/ 1 (* z y))))
8.777 * [approximate]: Taking taylor expansion of (- (* 0.125 (/ 1 x)) (* 0.5 (/ 1 (* z y)))) in (x y z) around 0
8.777 * [taylor]: Taking taylor expansion of (- (* 0.125 (/ 1 x)) (* 0.5 (/ 1 (* z y)))) in z
8.777 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in z
8.777 * [taylor]: Taking taylor expansion of 0.125 in z
8.777 * [backup-simplify]: Simplify 0.125 into 0.125
8.777 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.777 * [taylor]: Taking taylor expansion of x in z
8.777 * [backup-simplify]: Simplify x into x
8.778 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
8.778 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in z
8.778 * [taylor]: Taking taylor expansion of 0.5 in z
8.778 * [backup-simplify]: Simplify 0.5 into 0.5
8.778 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
8.778 * [taylor]: Taking taylor expansion of (* z y) in z
8.778 * [taylor]: Taking taylor expansion of z in z
8.778 * [backup-simplify]: Simplify 0 into 0
8.778 * [backup-simplify]: Simplify 1 into 1
8.778 * [taylor]: Taking taylor expansion of y in z
8.778 * [backup-simplify]: Simplify y into y
8.778 * [backup-simplify]: Simplify (* 0 y) into 0
8.778 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
8.778 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.778 * [taylor]: Taking taylor expansion of (- (* 0.125 (/ 1 x)) (* 0.5 (/ 1 (* z y)))) in y
8.778 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in y
8.778 * [taylor]: Taking taylor expansion of 0.125 in y
8.778 * [backup-simplify]: Simplify 0.125 into 0.125
8.778 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.778 * [taylor]: Taking taylor expansion of x in y
8.778 * [backup-simplify]: Simplify x into x
8.778 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
8.778 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y
8.778 * [taylor]: Taking taylor expansion of 0.5 in y
8.778 * [backup-simplify]: Simplify 0.5 into 0.5
8.778 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
8.778 * [taylor]: Taking taylor expansion of (* z y) in y
8.778 * [taylor]: Taking taylor expansion of z in y
8.779 * [backup-simplify]: Simplify z into z
8.779 * [taylor]: Taking taylor expansion of y in y
8.779 * [backup-simplify]: Simplify 0 into 0
8.779 * [backup-simplify]: Simplify 1 into 1
8.779 * [backup-simplify]: Simplify (* z 0) into 0
8.779 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
8.779 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
8.779 * [taylor]: Taking taylor expansion of (- (* 0.125 (/ 1 x)) (* 0.5 (/ 1 (* z y)))) in x
8.779 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in x
8.779 * [taylor]: Taking taylor expansion of 0.125 in x
8.779 * [backup-simplify]: Simplify 0.125 into 0.125
8.779 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.779 * [taylor]: Taking taylor expansion of x in x
8.779 * [backup-simplify]: Simplify 0 into 0
8.779 * [backup-simplify]: Simplify 1 into 1
8.779 * [backup-simplify]: Simplify (/ 1 1) into 1
8.779 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in x
8.779 * [taylor]: Taking taylor expansion of 0.5 in x
8.779 * [backup-simplify]: Simplify 0.5 into 0.5
8.779 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
8.780 * [taylor]: Taking taylor expansion of (* z y) in x
8.780 * [taylor]: Taking taylor expansion of z in x
8.780 * [backup-simplify]: Simplify z into z
8.780 * [taylor]: Taking taylor expansion of y in x
8.780 * [backup-simplify]: Simplify y into y
8.780 * [backup-simplify]: Simplify (* z y) into (* z y)
8.780 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
8.780 * [taylor]: Taking taylor expansion of (- (* 0.125 (/ 1 x)) (* 0.5 (/ 1 (* z y)))) in x
8.780 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in x
8.780 * [taylor]: Taking taylor expansion of 0.125 in x
8.780 * [backup-simplify]: Simplify 0.125 into 0.125
8.780 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.780 * [taylor]: Taking taylor expansion of x in x
8.780 * [backup-simplify]: Simplify 0 into 0
8.780 * [backup-simplify]: Simplify 1 into 1
8.780 * [backup-simplify]: Simplify (/ 1 1) into 1
8.780 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in x
8.780 * [taylor]: Taking taylor expansion of 0.5 in x
8.780 * [backup-simplify]: Simplify 0.5 into 0.5
8.780 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
8.780 * [taylor]: Taking taylor expansion of (* z y) in x
8.780 * [taylor]: Taking taylor expansion of z in x
8.780 * [backup-simplify]: Simplify z into z
8.780 * [taylor]: Taking taylor expansion of y in x
8.780 * [backup-simplify]: Simplify y into y
8.780 * [backup-simplify]: Simplify (* z y) into (* z y)
8.780 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
8.781 * [backup-simplify]: Simplify (* 0.125 1) into 0.125
8.781 * [backup-simplify]: Simplify (+ 0.125 0) into 0.125
8.781 * [taylor]: Taking taylor expansion of 0.125 in y
8.781 * [backup-simplify]: Simplify 0.125 into 0.125
8.782 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.782 * [backup-simplify]: Simplify (+ (* 0.125 0) (* 0 1)) into 0
8.783 * [backup-simplify]: Simplify (* 0.5 (/ 1 (* z y))) into (/ 0.5 (* z y))
8.783 * [backup-simplify]: Simplify (- (/ 0.5 (* z y))) into (- (* 0.5 (/ 1 (* z y))))
8.783 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ 1 (* z y))))) into (- (* 0.5 (/ 1 (* z y))))
8.783 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (* z y)))) in y
8.783 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y
8.784 * [taylor]: Taking taylor expansion of 0.5 in y
8.784 * [backup-simplify]: Simplify 0.5 into 0.5
8.784 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
8.784 * [taylor]: Taking taylor expansion of (* z y) in y
8.784 * [taylor]: Taking taylor expansion of z in y
8.784 * [backup-simplify]: Simplify z into z
8.784 * [taylor]: Taking taylor expansion of y in y
8.784 * [backup-simplify]: Simplify 0 into 0
8.784 * [backup-simplify]: Simplify 1 into 1
8.784 * [backup-simplify]: Simplify (* z 0) into 0
8.784 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
8.785 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
8.785 * [backup-simplify]: Simplify (* 0.5 (/ 1 z)) into (/ 0.5 z)
8.785 * [backup-simplify]: Simplify (- (/ 0.5 z)) into (- (* 0.5 (/ 1 z)))
8.785 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 z))) in z
8.785 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
8.785 * [taylor]: Taking taylor expansion of 0.5 in z
8.785 * [backup-simplify]: Simplify 0.5 into 0.5
8.785 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.785 * [taylor]: Taking taylor expansion of z in z
8.785 * [backup-simplify]: Simplify 0 into 0
8.785 * [backup-simplify]: Simplify 1 into 1
8.786 * [backup-simplify]: Simplify (/ 1 1) into 1
8.786 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
8.786 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
8.787 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
8.787 * [taylor]: Taking taylor expansion of 0.125 in z
8.787 * [backup-simplify]: Simplify 0.125 into 0.125
8.788 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.789 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (* 0 1))) into 0
8.789 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
8.789 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
8.790 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (* z y)))) into 0
8.790 * [backup-simplify]: Simplify (- 0) into 0
8.790 * [backup-simplify]: Simplify (+ 0 0) into 0
8.790 * [taylor]: Taking taylor expansion of 0 in y
8.790 * [backup-simplify]: Simplify 0 into 0
8.791 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
8.791 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
8.791 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 z))) into 0
8.791 * [backup-simplify]: Simplify (- 0) into 0
8.791 * [taylor]: Taking taylor expansion of 0 in z
8.792 * [backup-simplify]: Simplify 0 into 0
8.792 * [taylor]: Taking taylor expansion of 0 in z
8.792 * [backup-simplify]: Simplify 0 into 0
8.792 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.792 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
8.793 * [backup-simplify]: Simplify (- 0) into 0
8.793 * [backup-simplify]: Simplify 0 into 0
8.793 * [backup-simplify]: Simplify 0.125 into 0.125
8.793 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.794 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.794 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
8.795 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
8.796 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 (* z y))))) into 0
8.796 * [backup-simplify]: Simplify (- 0) into 0
8.796 * [backup-simplify]: Simplify (+ 0 0) into 0
8.796 * [taylor]: Taking taylor expansion of 0 in y
8.796 * [backup-simplify]: Simplify 0 into 0
8.796 * [taylor]: Taking taylor expansion of 0 in z
8.796 * [backup-simplify]: Simplify 0 into 0
8.797 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
8.797 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
8.798 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0
8.798 * [backup-simplify]: Simplify (- 0) into 0
8.798 * [taylor]: Taking taylor expansion of 0 in z
8.798 * [backup-simplify]: Simplify 0 into 0
8.798 * [taylor]: Taking taylor expansion of 0 in z
8.798 * [backup-simplify]: Simplify 0 into 0
8.798 * [backup-simplify]: Simplify 0 into 0
8.798 * [backup-simplify]: Simplify 0 into 0
8.799 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.799 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
8.800 * [backup-simplify]: Simplify (- 0) into 0
8.800 * [backup-simplify]: Simplify 0 into 0
8.800 * [backup-simplify]: Simplify 0 into 0
8.800 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.801 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.802 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
8.802 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
8.803 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* z y)))))) into 0
8.803 * [backup-simplify]: Simplify (- 0) into 0
8.804 * [backup-simplify]: Simplify (+ 0 0) into 0
8.804 * [taylor]: Taking taylor expansion of 0 in y
8.804 * [backup-simplify]: Simplify 0 into 0
8.804 * [taylor]: Taking taylor expansion of 0 in z
8.804 * [backup-simplify]: Simplify 0 into 0
8.804 * [taylor]: Taking taylor expansion of 0 in z
8.804 * [backup-simplify]: Simplify 0 into 0
8.805 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
8.805 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
8.806 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 z))))) into 0
8.806 * [backup-simplify]: Simplify (- 0) into 0
8.806 * [taylor]: Taking taylor expansion of 0 in z
8.806 * [backup-simplify]: Simplify 0 into 0
8.806 * [taylor]: Taking taylor expansion of 0 in z
8.806 * [backup-simplify]: Simplify 0 into 0
8.806 * [backup-simplify]: Simplify 0 into 0
8.806 * [backup-simplify]: Simplify 0 into 0
8.807 * [backup-simplify]: Simplify (+ (* 0.125 (* 1 (* 1 (/ 1 (/ 1 x))))) (* (- 0.5) (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 y)) 1)))) into (- (* 0.125 x) (* 0.5 (* z y)))
8.808 * [backup-simplify]: Simplify (- (* (/ 1.0 8.0) (/ 1 (- x))) (/ (* (/ 1 (- y)) (/ 1 (- z))) 2.0)) into (- (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x))))
8.808 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x)))) in (x y z) around 0
8.808 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x)))) in z
8.808 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x))) in z
8.808 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in z
8.808 * [taylor]: Taking taylor expansion of 0.5 in z
8.808 * [backup-simplify]: Simplify 0.5 into 0.5
8.808 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
8.808 * [taylor]: Taking taylor expansion of (* z y) in z
8.808 * [taylor]: Taking taylor expansion of z in z
8.808 * [backup-simplify]: Simplify 0 into 0
8.808 * [backup-simplify]: Simplify 1 into 1
8.808 * [taylor]: Taking taylor expansion of y in z
8.808 * [backup-simplify]: Simplify y into y
8.808 * [backup-simplify]: Simplify (* 0 y) into 0
8.809 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
8.809 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.809 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in z
8.809 * [taylor]: Taking taylor expansion of 0.125 in z
8.809 * [backup-simplify]: Simplify 0.125 into 0.125
8.809 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.809 * [taylor]: Taking taylor expansion of x in z
8.809 * [backup-simplify]: Simplify x into x
8.809 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
8.809 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x)))) in y
8.809 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x))) in y
8.809 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y
8.809 * [taylor]: Taking taylor expansion of 0.5 in y
8.809 * [backup-simplify]: Simplify 0.5 into 0.5
8.809 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
8.809 * [taylor]: Taking taylor expansion of (* z y) in y
8.809 * [taylor]: Taking taylor expansion of z in y
8.809 * [backup-simplify]: Simplify z into z
8.809 * [taylor]: Taking taylor expansion of y in y
8.809 * [backup-simplify]: Simplify 0 into 0
8.809 * [backup-simplify]: Simplify 1 into 1
8.809 * [backup-simplify]: Simplify (* z 0) into 0
8.809 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
8.809 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
8.809 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in y
8.809 * [taylor]: Taking taylor expansion of 0.125 in y
8.810 * [backup-simplify]: Simplify 0.125 into 0.125
8.810 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.810 * [taylor]: Taking taylor expansion of x in y
8.810 * [backup-simplify]: Simplify x into x
8.810 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
8.810 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x)))) in x
8.810 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x))) in x
8.810 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in x
8.810 * [taylor]: Taking taylor expansion of 0.5 in x
8.810 * [backup-simplify]: Simplify 0.5 into 0.5
8.810 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
8.810 * [taylor]: Taking taylor expansion of (* z y) in x
8.810 * [taylor]: Taking taylor expansion of z in x
8.810 * [backup-simplify]: Simplify z into z
8.810 * [taylor]: Taking taylor expansion of y in x
8.810 * [backup-simplify]: Simplify y into y
8.810 * [backup-simplify]: Simplify (* z y) into (* z y)
8.810 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
8.810 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in x
8.810 * [taylor]: Taking taylor expansion of 0.125 in x
8.810 * [backup-simplify]: Simplify 0.125 into 0.125
8.810 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.810 * [taylor]: Taking taylor expansion of x in x
8.810 * [backup-simplify]: Simplify 0 into 0
8.810 * [backup-simplify]: Simplify 1 into 1
8.810 * [backup-simplify]: Simplify (/ 1 1) into 1
8.810 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x)))) in x
8.810 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x))) in x
8.810 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in x
8.810 * [taylor]: Taking taylor expansion of 0.5 in x
8.811 * [backup-simplify]: Simplify 0.5 into 0.5
8.811 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
8.811 * [taylor]: Taking taylor expansion of (* z y) in x
8.811 * [taylor]: Taking taylor expansion of z in x
8.811 * [backup-simplify]: Simplify z into z
8.811 * [taylor]: Taking taylor expansion of y in x
8.811 * [backup-simplify]: Simplify y into y
8.811 * [backup-simplify]: Simplify (* z y) into (* z y)
8.811 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
8.811 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in x
8.811 * [taylor]: Taking taylor expansion of 0.125 in x
8.811 * [backup-simplify]: Simplify 0.125 into 0.125
8.811 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.811 * [taylor]: Taking taylor expansion of x in x
8.811 * [backup-simplify]: Simplify 0 into 0
8.811 * [backup-simplify]: Simplify 1 into 1
8.811 * [backup-simplify]: Simplify (/ 1 1) into 1
8.811 * [backup-simplify]: Simplify (* 0.125 1) into 0.125
8.812 * [backup-simplify]: Simplify (+ 0 0.125) into 0.125
8.812 * [backup-simplify]: Simplify (- 0.125) into (- 0.125)
8.812 * [taylor]: Taking taylor expansion of (- 0.125) in y
8.812 * [taylor]: Taking taylor expansion of 0.125 in y
8.812 * [backup-simplify]: Simplify 0.125 into 0.125
8.812 * [backup-simplify]: Simplify (* 0.5 (/ 1 (* z y))) into (/ 0.5 (* z y))
8.813 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.813 * [backup-simplify]: Simplify (+ (* 0.125 0) (* 0 1)) into 0
8.813 * [backup-simplify]: Simplify (+ (/ 0.5 (* z y)) 0) into (* 0.5 (/ 1 (* z y)))
8.814 * [backup-simplify]: Simplify (- (* 0.5 (/ 1 (* z y)))) into (- (* 0.5 (/ 1 (* z y))))
8.814 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (* z y)))) in y
8.814 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y
8.814 * [taylor]: Taking taylor expansion of 0.5 in y
8.814 * [backup-simplify]: Simplify 0.5 into 0.5
8.814 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
8.814 * [taylor]: Taking taylor expansion of (* z y) in y
8.814 * [taylor]: Taking taylor expansion of z in y
8.814 * [backup-simplify]: Simplify z into z
8.814 * [taylor]: Taking taylor expansion of y in y
8.814 * [backup-simplify]: Simplify 0 into 0
8.814 * [backup-simplify]: Simplify 1 into 1
8.814 * [backup-simplify]: Simplify (* z 0) into 0
8.814 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
8.814 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
8.814 * [backup-simplify]: Simplify (* 0.5 (/ 1 z)) into (/ 0.5 z)
8.814 * [backup-simplify]: Simplify (- (/ 0.5 z)) into (- (* 0.5 (/ 1 z)))
8.814 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 z))) in z
8.814 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
8.814 * [taylor]: Taking taylor expansion of 0.5 in z
8.814 * [backup-simplify]: Simplify 0.5 into 0.5
8.814 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.814 * [taylor]: Taking taylor expansion of z in z
8.814 * [backup-simplify]: Simplify 0 into 0
8.814 * [backup-simplify]: Simplify 1 into 1
8.815 * [backup-simplify]: Simplify (/ 1 1) into 1
8.815 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
8.815 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
8.816 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
8.816 * [backup-simplify]: Simplify (- 0.125) into (- 0.125)
8.816 * [taylor]: Taking taylor expansion of (- 0.125) in z
8.816 * [taylor]: Taking taylor expansion of 0.125 in z
8.816 * [backup-simplify]: Simplify 0.125 into 0.125
8.816 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
8.816 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
8.817 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (* z y)))) into 0
8.818 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.818 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (* 0 1))) into 0
8.819 * [backup-simplify]: Simplify (+ 0 0) into 0
8.819 * [backup-simplify]: Simplify (- 0) into 0
8.819 * [taylor]: Taking taylor expansion of 0 in y
8.819 * [backup-simplify]: Simplify 0 into 0
8.819 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
8.820 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
8.820 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 z))) into 0
8.820 * [backup-simplify]: Simplify (- 0) into 0
8.820 * [taylor]: Taking taylor expansion of 0 in z
8.820 * [backup-simplify]: Simplify 0 into 0
8.821 * [backup-simplify]: Simplify (- 0) into 0
8.821 * [taylor]: Taking taylor expansion of 0 in z
8.821 * [backup-simplify]: Simplify 0 into 0
8.821 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.822 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
8.822 * [backup-simplify]: Simplify (- 0) into 0
8.822 * [backup-simplify]: Simplify 0 into 0
8.822 * [backup-simplify]: Simplify (- 0.125) into (- 0.125)
8.822 * [backup-simplify]: Simplify (- 0.125) into (- 0.125)
8.823 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
8.823 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
8.824 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 (* z y))))) into 0
8.824 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.825 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.825 * [backup-simplify]: Simplify (+ 0 0) into 0
8.826 * [backup-simplify]: Simplify (- 0) into 0
8.826 * [taylor]: Taking taylor expansion of 0 in y
8.826 * [backup-simplify]: Simplify 0 into 0
8.826 * [taylor]: Taking taylor expansion of 0 in z
8.826 * [backup-simplify]: Simplify 0 into 0
8.826 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
8.827 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
8.827 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0
8.828 * [backup-simplify]: Simplify (- 0) into 0
8.828 * [taylor]: Taking taylor expansion of 0 in z
8.828 * [backup-simplify]: Simplify 0 into 0
8.828 * [backup-simplify]: Simplify (- 0) into 0
8.828 * [taylor]: Taking taylor expansion of 0 in z
8.828 * [backup-simplify]: Simplify 0 into 0
8.828 * [backup-simplify]: Simplify 0 into 0
8.828 * [backup-simplify]: Simplify 0 into 0
8.829 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.829 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
8.829 * [backup-simplify]: Simplify (- 0) into 0
8.830 * [backup-simplify]: Simplify 0 into 0
8.830 * [backup-simplify]: Simplify (- 0) into 0
8.830 * [backup-simplify]: Simplify 0 into 0
8.830 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
8.831 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
8.832 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* z y)))))) into 0
8.833 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.833 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.834 * [backup-simplify]: Simplify (+ 0 0) into 0
8.834 * [backup-simplify]: Simplify (- 0) into 0
8.834 * [taylor]: Taking taylor expansion of 0 in y
8.834 * [backup-simplify]: Simplify 0 into 0
8.834 * [taylor]: Taking taylor expansion of 0 in z
8.834 * [backup-simplify]: Simplify 0 into 0
8.834 * [taylor]: Taking taylor expansion of 0 in z
8.834 * [backup-simplify]: Simplify 0 into 0
8.835 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
8.835 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
8.836 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 z))))) into 0
8.836 * [backup-simplify]: Simplify (- 0) into 0
8.836 * [taylor]: Taking taylor expansion of 0 in z
8.836 * [backup-simplify]: Simplify 0 into 0
8.837 * [backup-simplify]: Simplify (- 0) into 0
8.837 * [taylor]: Taking taylor expansion of 0 in z
8.837 * [backup-simplify]: Simplify 0 into 0
8.837 * [backup-simplify]: Simplify 0 into 0
8.837 * [backup-simplify]: Simplify 0 into 0
8.838 * [backup-simplify]: Simplify (+ (* (- 0.125) (* 1 (* 1 (/ 1 (/ 1 (- x)))))) (* (- 0.5) (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- y))) 1)))) into (- (* 0.125 x) (* 0.5 (* z y)))
8.838 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2)
8.838 * [backup-simplify]: Simplify (/ (* y z) 2.0) into (* 0.5 (* z y))
8.838 * [approximate]: Taking taylor expansion of (* 0.5 (* z y)) in (y z) around 0
8.838 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in z
8.838 * [taylor]: Taking taylor expansion of 0.5 in z
8.838 * [backup-simplify]: Simplify 0.5 into 0.5
8.838 * [taylor]: Taking taylor expansion of (* z y) in z
8.838 * [taylor]: Taking taylor expansion of z in z
8.838 * [backup-simplify]: Simplify 0 into 0
8.838 * [backup-simplify]: Simplify 1 into 1
8.838 * [taylor]: Taking taylor expansion of y in z
8.838 * [backup-simplify]: Simplify y into y
8.838 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in y
8.838 * [taylor]: Taking taylor expansion of 0.5 in y
8.838 * [backup-simplify]: Simplify 0.5 into 0.5
8.838 * [taylor]: Taking taylor expansion of (* z y) in y
8.838 * [taylor]: Taking taylor expansion of z in y
8.838 * [backup-simplify]: Simplify z into z
8.838 * [taylor]: Taking taylor expansion of y in y
8.838 * [backup-simplify]: Simplify 0 into 0
8.838 * [backup-simplify]: Simplify 1 into 1
8.838 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in y
8.838 * [taylor]: Taking taylor expansion of 0.5 in y
8.838 * [backup-simplify]: Simplify 0.5 into 0.5
8.838 * [taylor]: Taking taylor expansion of (* z y) in y
8.838 * [taylor]: Taking taylor expansion of z in y
8.838 * [backup-simplify]: Simplify z into z
8.838 * [taylor]: Taking taylor expansion of y in y
8.838 * [backup-simplify]: Simplify 0 into 0
8.838 * [backup-simplify]: Simplify 1 into 1
8.839 * [backup-simplify]: Simplify (* z 0) into 0
8.839 * [backup-simplify]: Simplify (* 0.5 0) into 0
8.839 * [taylor]: Taking taylor expansion of 0 in z
8.839 * [backup-simplify]: Simplify 0 into 0
8.839 * [backup-simplify]: Simplify 0 into 0
8.839 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
8.840 * [backup-simplify]: Simplify (+ (* 0.5 z) (* 0 0)) into (* 0.5 z)
8.840 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
8.840 * [taylor]: Taking taylor expansion of 0.5 in z
8.840 * [backup-simplify]: Simplify 0.5 into 0.5
8.840 * [taylor]: Taking taylor expansion of z in z
8.840 * [backup-simplify]: Simplify 0 into 0
8.840 * [backup-simplify]: Simplify 1 into 1
8.840 * [backup-simplify]: Simplify (* 0.5 0) into 0
8.840 * [backup-simplify]: Simplify 0 into 0
8.840 * [backup-simplify]: Simplify 0 into 0
8.841 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
8.841 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 z) (* 0 0))) into 0
8.841 * [taylor]: Taking taylor expansion of 0 in z
8.841 * [backup-simplify]: Simplify 0 into 0
8.841 * [backup-simplify]: Simplify 0 into 0
8.843 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
8.843 * [backup-simplify]: Simplify 0.5 into 0.5
8.843 * [backup-simplify]: Simplify 0 into 0
8.844 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
8.845 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 z) (* 0 0)))) into 0
8.845 * [taylor]: Taking taylor expansion of 0 in z
8.845 * [backup-simplify]: Simplify 0 into 0
8.845 * [backup-simplify]: Simplify 0 into 0
8.845 * [backup-simplify]: Simplify 0 into 0
8.846 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
8.846 * [backup-simplify]: Simplify 0 into 0
8.846 * [backup-simplify]: Simplify 0 into 0
8.847 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
8.848 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 z) (* 0 0))))) into 0
8.848 * [taylor]: Taking taylor expansion of 0 in z
8.848 * [backup-simplify]: Simplify 0 into 0
8.848 * [backup-simplify]: Simplify 0 into 0
8.848 * [backup-simplify]: Simplify (* 0.5 (* z y)) into (* 0.5 (* z y))
8.848 * [backup-simplify]: Simplify (/ (* (/ 1 y) (/ 1 z)) 2.0) into (/ 0.5 (* z y))
8.848 * [approximate]: Taking taylor expansion of (/ 0.5 (* z y)) in (y z) around 0
8.848 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in z
8.848 * [taylor]: Taking taylor expansion of 0.5 in z
8.848 * [backup-simplify]: Simplify 0.5 into 0.5
8.848 * [taylor]: Taking taylor expansion of (* z y) in z
8.848 * [taylor]: Taking taylor expansion of z in z
8.848 * [backup-simplify]: Simplify 0 into 0
8.848 * [backup-simplify]: Simplify 1 into 1
8.848 * [taylor]: Taking taylor expansion of y in z
8.848 * [backup-simplify]: Simplify y into y
8.849 * [backup-simplify]: Simplify (* 0 y) into 0
8.849 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
8.849 * [backup-simplify]: Simplify (/ 0.5 y) into (/ 0.5 y)
8.849 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in y
8.849 * [taylor]: Taking taylor expansion of 0.5 in y
8.849 * [backup-simplify]: Simplify 0.5 into 0.5
8.849 * [taylor]: Taking taylor expansion of (* z y) in y
8.849 * [taylor]: Taking taylor expansion of z in y
8.849 * [backup-simplify]: Simplify z into z
8.849 * [taylor]: Taking taylor expansion of y in y
8.849 * [backup-simplify]: Simplify 0 into 0
8.849 * [backup-simplify]: Simplify 1 into 1
8.849 * [backup-simplify]: Simplify (* z 0) into 0
8.849 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
8.850 * [backup-simplify]: Simplify (/ 0.5 z) into (/ 0.5 z)
8.850 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in y
8.850 * [taylor]: Taking taylor expansion of 0.5 in y
8.850 * [backup-simplify]: Simplify 0.5 into 0.5
8.850 * [taylor]: Taking taylor expansion of (* z y) in y
8.850 * [taylor]: Taking taylor expansion of z in y
8.850 * [backup-simplify]: Simplify z into z
8.850 * [taylor]: Taking taylor expansion of y in y
8.850 * [backup-simplify]: Simplify 0 into 0
8.850 * [backup-simplify]: Simplify 1 into 1
8.850 * [backup-simplify]: Simplify (* z 0) into 0
8.850 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
8.850 * [backup-simplify]: Simplify (/ 0.5 z) into (/ 0.5 z)
8.850 * [taylor]: Taking taylor expansion of (/ 0.5 z) in z
8.850 * [taylor]: Taking taylor expansion of 0.5 in z
8.850 * [backup-simplify]: Simplify 0.5 into 0.5
8.850 * [taylor]: Taking taylor expansion of z in z
8.850 * [backup-simplify]: Simplify 0 into 0
8.850 * [backup-simplify]: Simplify 1 into 1
8.851 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
8.851 * [backup-simplify]: Simplify 0.5 into 0.5
8.851 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
8.851 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)))) into 0
8.851 * [taylor]: Taking taylor expansion of 0 in z
8.851 * [backup-simplify]: Simplify 0 into 0
8.852 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)))) into 0
8.852 * [backup-simplify]: Simplify 0 into 0
8.853 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
8.853 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
8.853 * [taylor]: Taking taylor expansion of 0 in z
8.853 * [backup-simplify]: Simplify 0 into 0
8.853 * [backup-simplify]: Simplify 0 into 0
8.854 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.854 * [backup-simplify]: Simplify 0 into 0
8.854 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
8.855 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
8.855 * [taylor]: Taking taylor expansion of 0 in z
8.855 * [backup-simplify]: Simplify 0 into 0
8.855 * [backup-simplify]: Simplify 0 into 0
8.855 * [backup-simplify]: Simplify 0 into 0
8.855 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.855 * [backup-simplify]: Simplify 0 into 0
8.856 * [backup-simplify]: Simplify (* 0.5 (* (/ 1 (/ 1 z)) (/ 1 (/ 1 y)))) into (* 0.5 (* z y))
8.856 * [backup-simplify]: Simplify (/ (* (/ 1 (- y)) (/ 1 (- z))) 2.0) into (/ 0.5 (* z y))
8.856 * [approximate]: Taking taylor expansion of (/ 0.5 (* z y)) in (y z) around 0
8.856 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in z
8.856 * [taylor]: Taking taylor expansion of 0.5 in z
8.856 * [backup-simplify]: Simplify 0.5 into 0.5
8.856 * [taylor]: Taking taylor expansion of (* z y) in z
8.856 * [taylor]: Taking taylor expansion of z in z
8.856 * [backup-simplify]: Simplify 0 into 0
8.856 * [backup-simplify]: Simplify 1 into 1
8.856 * [taylor]: Taking taylor expansion of y in z
8.856 * [backup-simplify]: Simplify y into y
8.856 * [backup-simplify]: Simplify (* 0 y) into 0
8.857 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
8.857 * [backup-simplify]: Simplify (/ 0.5 y) into (/ 0.5 y)
8.857 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in y
8.857 * [taylor]: Taking taylor expansion of 0.5 in y
8.857 * [backup-simplify]: Simplify 0.5 into 0.5
8.857 * [taylor]: Taking taylor expansion of (* z y) in y
8.857 * [taylor]: Taking taylor expansion of z in y
8.857 * [backup-simplify]: Simplify z into z
8.857 * [taylor]: Taking taylor expansion of y in y
8.857 * [backup-simplify]: Simplify 0 into 0
8.857 * [backup-simplify]: Simplify 1 into 1
8.857 * [backup-simplify]: Simplify (* z 0) into 0
8.857 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
8.857 * [backup-simplify]: Simplify (/ 0.5 z) into (/ 0.5 z)
8.857 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in y
8.857 * [taylor]: Taking taylor expansion of 0.5 in y
8.857 * [backup-simplify]: Simplify 0.5 into 0.5
8.857 * [taylor]: Taking taylor expansion of (* z y) in y
8.857 * [taylor]: Taking taylor expansion of z in y
8.858 * [backup-simplify]: Simplify z into z
8.858 * [taylor]: Taking taylor expansion of y in y
8.858 * [backup-simplify]: Simplify 0 into 0
8.858 * [backup-simplify]: Simplify 1 into 1
8.858 * [backup-simplify]: Simplify (* z 0) into 0
8.858 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
8.858 * [backup-simplify]: Simplify (/ 0.5 z) into (/ 0.5 z)
8.858 * [taylor]: Taking taylor expansion of (/ 0.5 z) in z
8.858 * [taylor]: Taking taylor expansion of 0.5 in z
8.858 * [backup-simplify]: Simplify 0.5 into 0.5
8.858 * [taylor]: Taking taylor expansion of z in z
8.858 * [backup-simplify]: Simplify 0 into 0
8.858 * [backup-simplify]: Simplify 1 into 1
8.858 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
8.859 * [backup-simplify]: Simplify 0.5 into 0.5
8.860 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
8.861 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)))) into 0
8.861 * [taylor]: Taking taylor expansion of 0 in z
8.861 * [backup-simplify]: Simplify 0 into 0
8.861 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)))) into 0
8.861 * [backup-simplify]: Simplify 0 into 0
8.862 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
8.862 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
8.862 * [taylor]: Taking taylor expansion of 0 in z
8.862 * [backup-simplify]: Simplify 0 into 0
8.862 * [backup-simplify]: Simplify 0 into 0
8.863 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.863 * [backup-simplify]: Simplify 0 into 0
8.864 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
8.864 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
8.864 * [taylor]: Taking taylor expansion of 0 in z
8.864 * [backup-simplify]: Simplify 0 into 0
8.864 * [backup-simplify]: Simplify 0 into 0
8.864 * [backup-simplify]: Simplify 0 into 0
8.865 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.865 * [backup-simplify]: Simplify 0 into 0
8.865 * [backup-simplify]: Simplify (* 0.5 (* (/ 1 (/ 1 (- z))) (/ 1 (/ 1 (- y))))) into (* 0.5 (* z y))
8.865 * * * [progress]: simplifying candidates
8.865 * * * * [progress]: [ 1 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (posit16->real (real->posit16 (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))) t))>
8.865 * * * * [progress]: [ 2 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (log (/ (exp (* (/ 1.0 8.0) x)) (exp (/ (* y z) 2.0)))) t))>
8.865 * * * * [progress]: [ 3 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (pow (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) 1) t))>
8.865 * * * * [progress]: [ 4 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (exp (log (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))) t))>
8.865 * * * * [progress]: [ 5 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (log (exp (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))) t))>
8.865 * * * * [progress]: [ 6 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (* (* (cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))) (cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))) t))>
8.865 * * * * [progress]: [ 7 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (cbrt (* (* (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))) t))>
8.865 * * * * [progress]: [ 8 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (* (sqrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (sqrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))) t))>
8.866 * * * * [progress]: [ 9 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (/ (- (* (* 1.0 x) 2.0) (* 8.0 (* y z))) (* 8.0 2.0)) t))>
8.866 * * * * [progress]: [ 10 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (/ (- (pow (* (/ 1.0 8.0) x) 3) (pow (/ (* y z) 2.0) 3)) (+ (* (* (/ 1.0 8.0) x) (* (/ 1.0 8.0) x)) (+ (* (/ (* y z) 2.0) (/ (* y z) 2.0)) (* (* (/ 1.0 8.0) x) (/ (* y z) 2.0))))) t))>
8.866 * * * * [progress]: [ 11 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (+ (* (/ 1.0 8.0) x) (- (/ (* y z) 2.0))) t))>
8.866 * * * * [progress]: [ 12 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (* 1 (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) t))>
8.866 * * * * [progress]: [ 13 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (/ (- (* (* (/ 1.0 8.0) x) (* (/ 1.0 8.0) x)) (* (/ (* y z) 2.0) (/ (* y z) 2.0))) (+ (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) t))>
8.866 * * * * [progress]: [ 14 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (+ (* (/ 1.0 8.0) x) (- (/ (* y z) 2.0))) t))>
8.866 * * * * [progress]: [ 15 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (posit16->real (real->posit16 (/ (* y z) 2.0)))) t))>
8.866 * * * * [progress]: [ 16 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (pow (/ (* y z) 2.0) 1)) t))>
8.866 * * * * [progress]: [ 17 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (exp (- (+ (log y) (log z)) (log 2.0)))) t))>
8.866 * * * * [progress]: [ 18 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (exp (- (log (* y z)) (log 2.0)))) t))>
8.866 * * * * [progress]: [ 19 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (exp (log (/ (* y z) 2.0)))) t))>
8.866 * * * * [progress]: [ 20 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (log (exp (/ (* y z) 2.0)))) t))>
8.866 * * * * [progress]: [ 21 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (cbrt (/ (* (* (* y y) y) (* (* z z) z)) (* (* 2.0 2.0) 2.0)))) t))>
8.866 * * * * [progress]: [ 22 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (cbrt (/ (* (* (* y z) (* y z)) (* y z)) (* (* 2.0 2.0) 2.0)))) t))>
8.866 * * * * [progress]: [ 23 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (* (cbrt (/ (* y z) 2.0)) (cbrt (/ (* y z) 2.0))) (cbrt (/ (* y z) 2.0)))) t))>
8.866 * * * * [progress]: [ 24 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (cbrt (* (* (/ (* y z) 2.0) (/ (* y z) 2.0)) (/ (* y z) 2.0)))) t))>
8.866 * * * * [progress]: [ 25 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (sqrt (/ (* y z) 2.0)) (sqrt (/ (* y z) 2.0)))) t))>
8.866 * * * * [progress]: [ 26 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (- (* y z)) (- 2.0))) t))>
8.866 * * * * [progress]: [ 27 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ y (* (cbrt 2.0) (cbrt 2.0))) (/ z (cbrt 2.0)))) t))>
8.866 * * * * [progress]: [ 28 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ y (sqrt 2.0)) (/ z (sqrt 2.0)))) t))>
8.866 * * * * [progress]: [ 29 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ y 1) (/ z 2.0))) t))>
8.866 * * * * [progress]: [ 30 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* 1 (/ (* y z) 2.0))) t))>
8.866 * * * * [progress]: [ 31 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (* y z) (/ 1 2.0))) t))>
8.866 * * * * [progress]: [ 32 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ 1 (/ 2.0 (* y z)))) t))>
8.866 * * * * [progress]: [ 33 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (/ (* y z) (* (cbrt 2.0) (cbrt 2.0))) (cbrt 2.0))) t))>
8.867 * * * * [progress]: [ 34 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (/ (* y z) (sqrt 2.0)) (sqrt 2.0))) t))>
8.867 * * * * [progress]: [ 35 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (/ (* y z) 1) 2.0)) t))>
8.867 * * * * [progress]: [ 36 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))) t))>
8.867 * * * * [progress]: [ 37 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (* 0.125 x) t))>
8.867 * * * * [progress]: [ 38 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* 0.125 x) (* 0.5 (* z y))) t))>
8.867 * * * * [progress]: [ 39 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* 0.125 x) (* 0.5 (* z y))) t))>
8.867 * * * * [progress]: [ 40 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* 0.5 (* z y))) t))>
8.867 * * * * [progress]: [ 41 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* 0.5 (* z y))) t))>
8.867 * * * * [progress]: [ 42 / 42 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* 0.5 (* z y))) t))>
8.867 * [simplify]: Simplifying:
  (real->posit16 (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
  (/ (exp (* (/ 1.0 8.0) x)) (exp (/ (* y z) 2.0)))
  (log (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
  (exp (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
  (* (cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))))
  (cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
  (* (* (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
  (sqrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
  (sqrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
  (- (* (* 1.0 x) 2.0) (* 8.0 (* y z)))
  (* 8.0 2.0)
  (- (pow (* (/ 1.0 8.0) x) 3) (pow (/ (* y z) 2.0) 3))
  (+ (* (* (/ 1.0 8.0) x) (* (/ 1.0 8.0) x)) (+ (* (/ (* y z) 2.0) (/ (* y z) 2.0)) (* (* (/ 1.0 8.0) x) (/ (* y z) 2.0))))
  (- (/ (* y z) 2.0))
  (- (* (* (/ 1.0 8.0) x) (* (/ 1.0 8.0) x)) (* (/ (* y z) 2.0) (/ (* y z) 2.0)))
  (+ (* (/ 1.0 8.0) x) (/ (* y z) 2.0))
  (- (/ (* y z) 2.0))
  (real->posit16 (/ (* y z) 2.0))
  (- (+ (log y) (log z)) (log 2.0))
  (- (log (* y z)) (log 2.0))
  (log (/ (* y z) 2.0))
  (exp (/ (* y z) 2.0))
  (/ (* (* (* y y) y) (* (* z z) z)) (* (* 2.0 2.0) 2.0))
  (/ (* (* (* y z) (* y z)) (* y z)) (* (* 2.0 2.0) 2.0))
  (* (cbrt (/ (* y z) 2.0)) (cbrt (/ (* y z) 2.0)))
  (cbrt (/ (* y z) 2.0))
  (* (* (/ (* y z) 2.0) (/ (* y z) 2.0)) (/ (* y z) 2.0))
  (sqrt (/ (* y z) 2.0))
  (sqrt (/ (* y z) 2.0))
  (- (* y z))
  (- 2.0)
  (/ y (* (cbrt 2.0) (cbrt 2.0)))
  (/ z (cbrt 2.0))
  (/ y (sqrt 2.0))
  (/ z (sqrt 2.0))
  (/ y 1)
  (/ z 2.0)
  (/ 1 2.0)
  (/ 2.0 (* y z))
  (/ (* y z) (* (cbrt 2.0) (cbrt 2.0)))
  (/ (* y z) (sqrt 2.0))
  (/ (* y z) 1)
  (/ 2.0 z)
  (* 0.125 x)
  (- (* 0.125 x) (* 0.5 (* z y)))
  (- (* 0.125 x) (* 0.5 (* z y)))
  (* 0.5 (* z y))
  (* 0.5 (* z y))
  (* 0.5 (* z y))
8.868 * * [simplify]: iteration 0: 87 enodes
8.969 * * [simplify]: iteration 1: 221 enodes
9.230 * * [simplify]: iteration 2: 784 enodes
10.730 * * [simplify]: iteration 3: 3520 enodes
13.922 * * [simplify]: iteration complete: 5005 enodes
13.922 * * [simplify]: Extracting #0: cost 38 inf + 0
13.924 * * [simplify]: Extracting #1: cost 452 inf + 1
13.942 * * [simplify]: Extracting #2: cost 1527 inf + 11606
13.967 * * [simplify]: Extracting #3: cost 655 inf + 150315
14.062 * * [simplify]: Extracting #4: cost 104 inf + 235795
14.142 * * [simplify]: Extracting #5: cost 1 inf + 260677
14.241 * * [simplify]: Extracting #6: cost 0 inf + 260923
14.309 * [simplify]: Simplified to:
  (real->posit16 (- (/ 1.0 (/ 8.0 x)) (/ z (/ 2.0 y))))
  (exp (- (/ 1.0 (/ 8.0 x)) (/ z (/ 2.0 y))))
  (log (- (/ 1.0 (/ 8.0 x)) (/ z (/ 2.0 y))))
  (exp (- (/ 1.0 (/ 8.0 x)) (/ z (/ 2.0 y))))
  (* (cbrt (- (/ 1.0 (/ 8.0 x)) (/ z (/ 2.0 y)))) (cbrt (- (/ 1.0 (/ 8.0 x)) (/ z (/ 2.0 y)))))
  (cbrt (- (/ 1.0 (/ 8.0 x)) (/ z (/ 2.0 y))))
  (* (- (/ 1.0 (/ 8.0 x)) (/ z (/ 2.0 y))) (* (- (/ 1.0 (/ 8.0 x)) (/ z (/ 2.0 y))) (- (/ 1.0 (/ 8.0 x)) (/ z (/ 2.0 y)))))
  (sqrt (- (/ 1.0 (/ 8.0 x)) (/ z (/ 2.0 y))))
  (sqrt (- (/ 1.0 (/ 8.0 x)) (/ z (/ 2.0 y))))
  (- (* 2.0 (* x 1.0)) (* (* y z) 8.0))
  (* 2.0 8.0)
  (- (* (/ 1.0 (/ 8.0 x)) (* (/ 1.0 (/ 8.0 x)) (/ 1.0 (/ 8.0 x)))) (* (/ z (/ 2.0 y)) (* (/ z (/ 2.0 y)) (/ z (/ 2.0 y)))))
  (+ (* (+ (/ 1.0 (/ 8.0 x)) (/ z (/ 2.0 y))) (/ 1.0 (/ 8.0 x))) (* (/ z (/ 2.0 y)) (/ z (/ 2.0 y))))
  (/ (- (* y z)) 2.0)
  (- (* (/ 1.0 (/ 8.0 x)) (/ 1.0 (/ 8.0 x))) (* (/ z (/ 2.0 y)) (/ z (/ 2.0 y))))
  (+ (/ 1.0 (/ 8.0 x)) (/ z (/ 2.0 y)))
  (/ (- (* y z)) 2.0)
  (real->posit16 (/ z (/ 2.0 y)))
  (log (/ z (/ 2.0 y)))
  (log (/ z (/ 2.0 y)))
  (log (/ z (/ 2.0 y)))
  (exp (/ z (/ 2.0 y)))
  (* (/ z (/ 2.0 y)) (* (/ z (/ 2.0 y)) (/ z (/ 2.0 y))))
  (* (/ z (/ 2.0 y)) (* (/ z (/ 2.0 y)) (/ z (/ 2.0 y))))
  (* (cbrt (/ z (/ 2.0 y))) (cbrt (/ z (/ 2.0 y))))
  (cbrt (/ z (/ 2.0 y)))
  (* (/ z (/ 2.0 y)) (* (/ z (/ 2.0 y)) (/ z (/ 2.0 y))))
  (sqrt (/ z (/ 2.0 y)))
  (sqrt (/ z (/ 2.0 y)))
  (- (* z y))
  (- 2.0)
  (/ (/ y (cbrt 2.0)) (cbrt 2.0))
  (/ z (cbrt 2.0))
  (/ y (sqrt 2.0))
  (/ z (sqrt 2.0))
  y
  (/ z 2.0)
  (/ 1 2.0)
  (/ (/ 2.0 z) y)
  (/ (* (/ y (cbrt 2.0)) z) (cbrt 2.0))
  (* (/ y (sqrt 2.0)) z)
  (* y z)
  (/ 2.0 z)
  (* 0.125 x)
  (- (* 0.125 x) (* (* y z) 0.5))
  (- (* 0.125 x) (* (* y z) 0.5))
  (* (* y z) 0.5)
  (* (* y z) 0.5)
  (* (* y z) 0.5)
14.314 * * * [progress]: adding candidates to table
14.999 * * [progress]: iteration 2 / 4
15.000 * * * [progress]: picking best candidate
15.023 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))) t))>
15.023 * * * [progress]: localizing error
15.115 * * * [progress]: generating rewritten candidates
15.115 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2)
15.135 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
15.201 * * * [progress]: generating series expansions
15.201 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2)
15.201 * [backup-simplify]: Simplify (/ y (/ 2.0 z)) into (* 0.5 (* z y))
15.202 * [approximate]: Taking taylor expansion of (* 0.5 (* z y)) in (y z) around 0
15.202 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in z
15.202 * [taylor]: Taking taylor expansion of 0.5 in z
15.202 * [backup-simplify]: Simplify 0.5 into 0.5
15.202 * [taylor]: Taking taylor expansion of (* z y) in z
15.202 * [taylor]: Taking taylor expansion of z in z
15.202 * [backup-simplify]: Simplify 0 into 0
15.202 * [backup-simplify]: Simplify 1 into 1
15.202 * [taylor]: Taking taylor expansion of y in z
15.202 * [backup-simplify]: Simplify y into y
15.202 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in y
15.202 * [taylor]: Taking taylor expansion of 0.5 in y
15.202 * [backup-simplify]: Simplify 0.5 into 0.5
15.202 * [taylor]: Taking taylor expansion of (* z y) in y
15.202 * [taylor]: Taking taylor expansion of z in y
15.202 * [backup-simplify]: Simplify z into z
15.202 * [taylor]: Taking taylor expansion of y in y
15.202 * [backup-simplify]: Simplify 0 into 0
15.202 * [backup-simplify]: Simplify 1 into 1
15.202 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in y
15.202 * [taylor]: Taking taylor expansion of 0.5 in y
15.202 * [backup-simplify]: Simplify 0.5 into 0.5
15.202 * [taylor]: Taking taylor expansion of (* z y) in y
15.202 * [taylor]: Taking taylor expansion of z in y
15.202 * [backup-simplify]: Simplify z into z
15.202 * [taylor]: Taking taylor expansion of y in y
15.202 * [backup-simplify]: Simplify 0 into 0
15.202 * [backup-simplify]: Simplify 1 into 1
15.203 * [backup-simplify]: Simplify (* z 0) into 0
15.203 * [backup-simplify]: Simplify (* 0.5 0) into 0
15.203 * [taylor]: Taking taylor expansion of 0 in z
15.203 * [backup-simplify]: Simplify 0 into 0
15.203 * [backup-simplify]: Simplify 0 into 0
15.204 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
15.205 * [backup-simplify]: Simplify (+ (* 0.5 z) (* 0 0)) into (* 0.5 z)
15.205 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
15.205 * [taylor]: Taking taylor expansion of 0.5 in z
15.205 * [backup-simplify]: Simplify 0.5 into 0.5
15.205 * [taylor]: Taking taylor expansion of z in z
15.205 * [backup-simplify]: Simplify 0 into 0
15.205 * [backup-simplify]: Simplify 1 into 1
15.205 * [backup-simplify]: Simplify (* 0.5 0) into 0
15.205 * [backup-simplify]: Simplify 0 into 0
15.205 * [backup-simplify]: Simplify 0 into 0
15.206 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
15.207 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 z) (* 0 0))) into 0
15.207 * [taylor]: Taking taylor expansion of 0 in z
15.207 * [backup-simplify]: Simplify 0 into 0
15.207 * [backup-simplify]: Simplify 0 into 0
15.209 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
15.209 * [backup-simplify]: Simplify 0.5 into 0.5
15.209 * [backup-simplify]: Simplify 0 into 0
15.210 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
15.212 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 z) (* 0 0)))) into 0
15.212 * [taylor]: Taking taylor expansion of 0 in z
15.212 * [backup-simplify]: Simplify 0 into 0
15.212 * [backup-simplify]: Simplify 0 into 0
15.212 * [backup-simplify]: Simplify 0 into 0
15.213 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
15.213 * [backup-simplify]: Simplify 0 into 0
15.213 * [backup-simplify]: Simplify 0 into 0
15.214 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
15.216 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 z) (* 0 0))))) into 0
15.216 * [taylor]: Taking taylor expansion of 0 in z
15.216 * [backup-simplify]: Simplify 0 into 0
15.216 * [backup-simplify]: Simplify 0 into 0
15.216 * [backup-simplify]: Simplify (* 0.5 (* z y)) into (* 0.5 (* z y))
15.219 * [backup-simplify]: Simplify (/ (/ 1 y) (/ 2.0 (/ 1 z))) into (/ 0.5 (* z y))
15.219 * [approximate]: Taking taylor expansion of (/ 0.5 (* z y)) in (y z) around 0
15.219 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in z
15.219 * [taylor]: Taking taylor expansion of 0.5 in z
15.219 * [backup-simplify]: Simplify 0.5 into 0.5
15.219 * [taylor]: Taking taylor expansion of (* z y) in z
15.219 * [taylor]: Taking taylor expansion of z in z
15.219 * [backup-simplify]: Simplify 0 into 0
15.219 * [backup-simplify]: Simplify 1 into 1
15.219 * [taylor]: Taking taylor expansion of y in z
15.219 * [backup-simplify]: Simplify y into y
15.219 * [backup-simplify]: Simplify (* 0 y) into 0
15.220 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
15.220 * [backup-simplify]: Simplify (/ 0.5 y) into (/ 0.5 y)
15.220 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in y
15.220 * [taylor]: Taking taylor expansion of 0.5 in y
15.220 * [backup-simplify]: Simplify 0.5 into 0.5
15.220 * [taylor]: Taking taylor expansion of (* z y) in y
15.220 * [taylor]: Taking taylor expansion of z in y
15.220 * [backup-simplify]: Simplify z into z
15.220 * [taylor]: Taking taylor expansion of y in y
15.220 * [backup-simplify]: Simplify 0 into 0
15.220 * [backup-simplify]: Simplify 1 into 1
15.220 * [backup-simplify]: Simplify (* z 0) into 0
15.220 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
15.220 * [backup-simplify]: Simplify (/ 0.5 z) into (/ 0.5 z)
15.220 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in y
15.221 * [taylor]: Taking taylor expansion of 0.5 in y
15.221 * [backup-simplify]: Simplify 0.5 into 0.5
15.221 * [taylor]: Taking taylor expansion of (* z y) in y
15.221 * [taylor]: Taking taylor expansion of z in y
15.221 * [backup-simplify]: Simplify z into z
15.221 * [taylor]: Taking taylor expansion of y in y
15.221 * [backup-simplify]: Simplify 0 into 0
15.221 * [backup-simplify]: Simplify 1 into 1
15.221 * [backup-simplify]: Simplify (* z 0) into 0
15.221 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
15.221 * [backup-simplify]: Simplify (/ 0.5 z) into (/ 0.5 z)
15.221 * [taylor]: Taking taylor expansion of (/ 0.5 z) in z
15.221 * [taylor]: Taking taylor expansion of 0.5 in z
15.221 * [backup-simplify]: Simplify 0.5 into 0.5
15.221 * [taylor]: Taking taylor expansion of z in z
15.221 * [backup-simplify]: Simplify 0 into 0
15.221 * [backup-simplify]: Simplify 1 into 1
15.222 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
15.222 * [backup-simplify]: Simplify 0.5 into 0.5
15.222 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
15.223 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)))) into 0
15.223 * [taylor]: Taking taylor expansion of 0 in z
15.223 * [backup-simplify]: Simplify 0 into 0
15.223 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)))) into 0
15.223 * [backup-simplify]: Simplify 0 into 0
15.224 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
15.224 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
15.224 * [taylor]: Taking taylor expansion of 0 in z
15.224 * [backup-simplify]: Simplify 0 into 0
15.224 * [backup-simplify]: Simplify 0 into 0
15.225 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.225 * [backup-simplify]: Simplify 0 into 0
15.225 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
15.226 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
15.226 * [taylor]: Taking taylor expansion of 0 in z
15.226 * [backup-simplify]: Simplify 0 into 0
15.226 * [backup-simplify]: Simplify 0 into 0
15.226 * [backup-simplify]: Simplify 0 into 0
15.227 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.227 * [backup-simplify]: Simplify 0 into 0
15.227 * [backup-simplify]: Simplify (* 0.5 (* (/ 1 (/ 1 z)) (/ 1 (/ 1 y)))) into (* 0.5 (* z y))
15.227 * [backup-simplify]: Simplify (/ (/ 1 (- y)) (/ 2.0 (/ 1 (- z)))) into (/ 0.5 (* z y))
15.227 * [approximate]: Taking taylor expansion of (/ 0.5 (* z y)) in (y z) around 0
15.227 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in z
15.227 * [taylor]: Taking taylor expansion of 0.5 in z
15.227 * [backup-simplify]: Simplify 0.5 into 0.5
15.227 * [taylor]: Taking taylor expansion of (* z y) in z
15.227 * [taylor]: Taking taylor expansion of z in z
15.227 * [backup-simplify]: Simplify 0 into 0
15.227 * [backup-simplify]: Simplify 1 into 1
15.227 * [taylor]: Taking taylor expansion of y in z
15.227 * [backup-simplify]: Simplify y into y
15.227 * [backup-simplify]: Simplify (* 0 y) into 0
15.228 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
15.228 * [backup-simplify]: Simplify (/ 0.5 y) into (/ 0.5 y)
15.228 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in y
15.228 * [taylor]: Taking taylor expansion of 0.5 in y
15.228 * [backup-simplify]: Simplify 0.5 into 0.5
15.228 * [taylor]: Taking taylor expansion of (* z y) in y
15.228 * [taylor]: Taking taylor expansion of z in y
15.228 * [backup-simplify]: Simplify z into z
15.228 * [taylor]: Taking taylor expansion of y in y
15.228 * [backup-simplify]: Simplify 0 into 0
15.228 * [backup-simplify]: Simplify 1 into 1
15.228 * [backup-simplify]: Simplify (* z 0) into 0
15.228 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
15.228 * [backup-simplify]: Simplify (/ 0.5 z) into (/ 0.5 z)
15.228 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in y
15.228 * [taylor]: Taking taylor expansion of 0.5 in y
15.228 * [backup-simplify]: Simplify 0.5 into 0.5
15.228 * [taylor]: Taking taylor expansion of (* z y) in y
15.228 * [taylor]: Taking taylor expansion of z in y
15.229 * [backup-simplify]: Simplify z into z
15.229 * [taylor]: Taking taylor expansion of y in y
15.229 * [backup-simplify]: Simplify 0 into 0
15.229 * [backup-simplify]: Simplify 1 into 1
15.229 * [backup-simplify]: Simplify (* z 0) into 0
15.229 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
15.229 * [backup-simplify]: Simplify (/ 0.5 z) into (/ 0.5 z)
15.229 * [taylor]: Taking taylor expansion of (/ 0.5 z) in z
15.229 * [taylor]: Taking taylor expansion of 0.5 in z
15.229 * [backup-simplify]: Simplify 0.5 into 0.5
15.229 * [taylor]: Taking taylor expansion of z in z
15.229 * [backup-simplify]: Simplify 0 into 0
15.229 * [backup-simplify]: Simplify 1 into 1
15.229 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
15.229 * [backup-simplify]: Simplify 0.5 into 0.5
15.230 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
15.230 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)))) into 0
15.230 * [taylor]: Taking taylor expansion of 0 in z
15.230 * [backup-simplify]: Simplify 0 into 0
15.231 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)))) into 0
15.231 * [backup-simplify]: Simplify 0 into 0
15.231 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
15.232 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
15.232 * [taylor]: Taking taylor expansion of 0 in z
15.232 * [backup-simplify]: Simplify 0 into 0
15.232 * [backup-simplify]: Simplify 0 into 0
15.232 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.233 * [backup-simplify]: Simplify 0 into 0
15.233 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
15.234 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
15.234 * [taylor]: Taking taylor expansion of 0 in z
15.234 * [backup-simplify]: Simplify 0 into 0
15.234 * [backup-simplify]: Simplify 0 into 0
15.234 * [backup-simplify]: Simplify 0 into 0
15.234 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.234 * [backup-simplify]: Simplify 0 into 0
15.235 * [backup-simplify]: Simplify (* 0.5 (* (/ 1 (/ 1 (- z))) (/ 1 (/ 1 (- y))))) into (* 0.5 (* z y))
15.235 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
15.235 * [backup-simplify]: Simplify (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))) into (- (* 0.125 x) (* 0.5 (* z y)))
15.235 * [approximate]: Taking taylor expansion of (- (* 0.125 x) (* 0.5 (* z y))) in (x y z) around 0
15.235 * [taylor]: Taking taylor expansion of (- (* 0.125 x) (* 0.5 (* z y))) in z
15.235 * [taylor]: Taking taylor expansion of (* 0.125 x) in z
15.235 * [taylor]: Taking taylor expansion of 0.125 in z
15.235 * [backup-simplify]: Simplify 0.125 into 0.125
15.235 * [taylor]: Taking taylor expansion of x in z
15.235 * [backup-simplify]: Simplify x into x
15.235 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in z
15.236 * [taylor]: Taking taylor expansion of 0.5 in z
15.236 * [backup-simplify]: Simplify 0.5 into 0.5
15.236 * [taylor]: Taking taylor expansion of (* z y) in z
15.236 * [taylor]: Taking taylor expansion of z in z
15.236 * [backup-simplify]: Simplify 0 into 0
15.236 * [backup-simplify]: Simplify 1 into 1
15.236 * [taylor]: Taking taylor expansion of y in z
15.236 * [backup-simplify]: Simplify y into y
15.236 * [taylor]: Taking taylor expansion of (- (* 0.125 x) (* 0.5 (* z y))) in y
15.236 * [taylor]: Taking taylor expansion of (* 0.125 x) in y
15.236 * [taylor]: Taking taylor expansion of 0.125 in y
15.236 * [backup-simplify]: Simplify 0.125 into 0.125
15.236 * [taylor]: Taking taylor expansion of x in y
15.236 * [backup-simplify]: Simplify x into x
15.236 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in y
15.236 * [taylor]: Taking taylor expansion of 0.5 in y
15.236 * [backup-simplify]: Simplify 0.5 into 0.5
15.236 * [taylor]: Taking taylor expansion of (* z y) in y
15.236 * [taylor]: Taking taylor expansion of z in y
15.236 * [backup-simplify]: Simplify z into z
15.236 * [taylor]: Taking taylor expansion of y in y
15.236 * [backup-simplify]: Simplify 0 into 0
15.236 * [backup-simplify]: Simplify 1 into 1
15.236 * [taylor]: Taking taylor expansion of (- (* 0.125 x) (* 0.5 (* z y))) in x
15.236 * [taylor]: Taking taylor expansion of (* 0.125 x) in x
15.236 * [taylor]: Taking taylor expansion of 0.125 in x
15.236 * [backup-simplify]: Simplify 0.125 into 0.125
15.236 * [taylor]: Taking taylor expansion of x in x
15.236 * [backup-simplify]: Simplify 0 into 0
15.236 * [backup-simplify]: Simplify 1 into 1
15.236 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in x
15.236 * [taylor]: Taking taylor expansion of 0.5 in x
15.236 * [backup-simplify]: Simplify 0.5 into 0.5
15.236 * [taylor]: Taking taylor expansion of (* z y) in x
15.236 * [taylor]: Taking taylor expansion of z in x
15.236 * [backup-simplify]: Simplify z into z
15.236 * [taylor]: Taking taylor expansion of y in x
15.236 * [backup-simplify]: Simplify y into y
15.236 * [taylor]: Taking taylor expansion of (- (* 0.125 x) (* 0.5 (* z y))) in x
15.236 * [taylor]: Taking taylor expansion of (* 0.125 x) in x
15.236 * [taylor]: Taking taylor expansion of 0.125 in x
15.236 * [backup-simplify]: Simplify 0.125 into 0.125
15.236 * [taylor]: Taking taylor expansion of x in x
15.236 * [backup-simplify]: Simplify 0 into 0
15.236 * [backup-simplify]: Simplify 1 into 1
15.236 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in x
15.236 * [taylor]: Taking taylor expansion of 0.5 in x
15.236 * [backup-simplify]: Simplify 0.5 into 0.5
15.236 * [taylor]: Taking taylor expansion of (* z y) in x
15.236 * [taylor]: Taking taylor expansion of z in x
15.236 * [backup-simplify]: Simplify z into z
15.236 * [taylor]: Taking taylor expansion of y in x
15.236 * [backup-simplify]: Simplify y into y
15.237 * [backup-simplify]: Simplify (* 0.125 0) into 0
15.237 * [backup-simplify]: Simplify (* z y) into (* z y)
15.237 * [backup-simplify]: Simplify (* 0.5 (* z y)) into (* 0.5 (* z y))
15.237 * [backup-simplify]: Simplify (- (* 0.5 (* z y))) into (- (* 0.5 (* z y)))
15.237 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (* z y)))) into (- (* 0.5 (* z y)))
15.237 * [taylor]: Taking taylor expansion of (- (* 0.5 (* z y))) in y
15.237 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in y
15.237 * [taylor]: Taking taylor expansion of 0.5 in y
15.237 * [backup-simplify]: Simplify 0.5 into 0.5
15.237 * [taylor]: Taking taylor expansion of (* z y) in y
15.237 * [taylor]: Taking taylor expansion of z in y
15.237 * [backup-simplify]: Simplify z into z
15.237 * [taylor]: Taking taylor expansion of y in y
15.237 * [backup-simplify]: Simplify 0 into 0
15.238 * [backup-simplify]: Simplify 1 into 1
15.238 * [backup-simplify]: Simplify (* z 0) into 0
15.238 * [backup-simplify]: Simplify (* 0.5 0) into 0
15.238 * [backup-simplify]: Simplify (- 0) into 0
15.238 * [taylor]: Taking taylor expansion of 0 in z
15.238 * [backup-simplify]: Simplify 0 into 0
15.238 * [backup-simplify]: Simplify 0 into 0
15.239 * [backup-simplify]: Simplify (+ (* 0.125 1) (* 0 0)) into 0.125
15.239 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
15.240 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* z y))) into 0
15.240 * [backup-simplify]: Simplify (- 0) into 0
15.240 * [backup-simplify]: Simplify (+ 0.125 0) into 0.125
15.240 * [taylor]: Taking taylor expansion of 0.125 in y
15.240 * [backup-simplify]: Simplify 0.125 into 0.125
15.240 * [taylor]: Taking taylor expansion of 0.125 in z
15.240 * [backup-simplify]: Simplify 0.125 into 0.125
15.240 * [backup-simplify]: Simplify 0.125 into 0.125
15.241 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
15.241 * [backup-simplify]: Simplify (+ (* 0.5 z) (* 0 0)) into (* 0.5 z)
15.241 * [backup-simplify]: Simplify (- (* 0.5 z)) into (- (* 0.5 z))
15.241 * [taylor]: Taking taylor expansion of (- (* 0.5 z)) in z
15.241 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
15.241 * [taylor]: Taking taylor expansion of 0.5 in z
15.241 * [backup-simplify]: Simplify 0.5 into 0.5
15.241 * [taylor]: Taking taylor expansion of z in z
15.241 * [backup-simplify]: Simplify 0 into 0
15.241 * [backup-simplify]: Simplify 1 into 1
15.242 * [backup-simplify]: Simplify (* 0.5 0) into 0
15.242 * [backup-simplify]: Simplify (- 0) into 0
15.242 * [backup-simplify]: Simplify 0 into 0
15.242 * [backup-simplify]: Simplify 0 into 0
15.243 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 1) (* 0 0))) into 0
15.243 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
15.244 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* z y)))) into 0
15.244 * [backup-simplify]: Simplify (- 0) into 0
15.244 * [backup-simplify]: Simplify (+ 0 0) into 0
15.244 * [taylor]: Taking taylor expansion of 0 in y
15.244 * [backup-simplify]: Simplify 0 into 0
15.244 * [taylor]: Taking taylor expansion of 0 in z
15.244 * [backup-simplify]: Simplify 0 into 0
15.244 * [backup-simplify]: Simplify 0 into 0
15.244 * [taylor]: Taking taylor expansion of 0 in z
15.244 * [backup-simplify]: Simplify 0 into 0
15.244 * [backup-simplify]: Simplify 0 into 0
15.245 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
15.245 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 z) (* 0 0))) into 0
15.246 * [backup-simplify]: Simplify (- 0) into 0
15.246 * [taylor]: Taking taylor expansion of 0 in z
15.246 * [backup-simplify]: Simplify 0 into 0
15.246 * [backup-simplify]: Simplify 0 into 0
15.246 * [backup-simplify]: Simplify 0 into 0
15.246 * [backup-simplify]: Simplify (* 0.125 (* 1 (* 1 x))) into (* 0.125 x)
15.247 * [backup-simplify]: Simplify (- (* (/ 1.0 8.0) (/ 1 x)) (/ (/ 1 y) (/ 2.0 (/ 1 z)))) into (- (* 0.125 (/ 1 x)) (* 0.5 (/ 1 (* z y))))
15.247 * [approximate]: Taking taylor expansion of (- (* 0.125 (/ 1 x)) (* 0.5 (/ 1 (* z y)))) in (x y z) around 0
15.247 * [taylor]: Taking taylor expansion of (- (* 0.125 (/ 1 x)) (* 0.5 (/ 1 (* z y)))) in z
15.247 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in z
15.247 * [taylor]: Taking taylor expansion of 0.125 in z
15.247 * [backup-simplify]: Simplify 0.125 into 0.125
15.247 * [taylor]: Taking taylor expansion of (/ 1 x) in z
15.248 * [taylor]: Taking taylor expansion of x in z
15.248 * [backup-simplify]: Simplify x into x
15.248 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
15.248 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in z
15.248 * [taylor]: Taking taylor expansion of 0.5 in z
15.248 * [backup-simplify]: Simplify 0.5 into 0.5
15.248 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
15.248 * [taylor]: Taking taylor expansion of (* z y) in z
15.248 * [taylor]: Taking taylor expansion of z in z
15.248 * [backup-simplify]: Simplify 0 into 0
15.248 * [backup-simplify]: Simplify 1 into 1
15.248 * [taylor]: Taking taylor expansion of y in z
15.248 * [backup-simplify]: Simplify y into y
15.248 * [backup-simplify]: Simplify (* 0 y) into 0
15.249 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
15.249 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
15.249 * [taylor]: Taking taylor expansion of (- (* 0.125 (/ 1 x)) (* 0.5 (/ 1 (* z y)))) in y
15.249 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in y
15.249 * [taylor]: Taking taylor expansion of 0.125 in y
15.249 * [backup-simplify]: Simplify 0.125 into 0.125
15.249 * [taylor]: Taking taylor expansion of (/ 1 x) in y
15.249 * [taylor]: Taking taylor expansion of x in y
15.249 * [backup-simplify]: Simplify x into x
15.249 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
15.249 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y
15.249 * [taylor]: Taking taylor expansion of 0.5 in y
15.249 * [backup-simplify]: Simplify 0.5 into 0.5
15.249 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
15.249 * [taylor]: Taking taylor expansion of (* z y) in y
15.249 * [taylor]: Taking taylor expansion of z in y
15.249 * [backup-simplify]: Simplify z into z
15.249 * [taylor]: Taking taylor expansion of y in y
15.249 * [backup-simplify]: Simplify 0 into 0
15.249 * [backup-simplify]: Simplify 1 into 1
15.250 * [backup-simplify]: Simplify (* z 0) into 0
15.250 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
15.250 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
15.250 * [taylor]: Taking taylor expansion of (- (* 0.125 (/ 1 x)) (* 0.5 (/ 1 (* z y)))) in x
15.250 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in x
15.250 * [taylor]: Taking taylor expansion of 0.125 in x
15.250 * [backup-simplify]: Simplify 0.125 into 0.125
15.250 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.250 * [taylor]: Taking taylor expansion of x in x
15.250 * [backup-simplify]: Simplify 0 into 0
15.250 * [backup-simplify]: Simplify 1 into 1
15.251 * [backup-simplify]: Simplify (/ 1 1) into 1
15.251 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in x
15.251 * [taylor]: Taking taylor expansion of 0.5 in x
15.251 * [backup-simplify]: Simplify 0.5 into 0.5
15.251 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
15.251 * [taylor]: Taking taylor expansion of (* z y) in x
15.251 * [taylor]: Taking taylor expansion of z in x
15.251 * [backup-simplify]: Simplify z into z
15.251 * [taylor]: Taking taylor expansion of y in x
15.251 * [backup-simplify]: Simplify y into y
15.251 * [backup-simplify]: Simplify (* z y) into (* z y)
15.252 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
15.252 * [taylor]: Taking taylor expansion of (- (* 0.125 (/ 1 x)) (* 0.5 (/ 1 (* z y)))) in x
15.252 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in x
15.252 * [taylor]: Taking taylor expansion of 0.125 in x
15.252 * [backup-simplify]: Simplify 0.125 into 0.125
15.252 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.252 * [taylor]: Taking taylor expansion of x in x
15.252 * [backup-simplify]: Simplify 0 into 0
15.252 * [backup-simplify]: Simplify 1 into 1
15.252 * [backup-simplify]: Simplify (/ 1 1) into 1
15.252 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in x
15.252 * [taylor]: Taking taylor expansion of 0.5 in x
15.252 * [backup-simplify]: Simplify 0.5 into 0.5
15.252 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
15.252 * [taylor]: Taking taylor expansion of (* z y) in x
15.252 * [taylor]: Taking taylor expansion of z in x
15.252 * [backup-simplify]: Simplify z into z
15.252 * [taylor]: Taking taylor expansion of y in x
15.253 * [backup-simplify]: Simplify y into y
15.253 * [backup-simplify]: Simplify (* z y) into (* z y)
15.253 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
15.253 * [backup-simplify]: Simplify (* 0.125 1) into 0.125
15.254 * [backup-simplify]: Simplify (+ 0.125 0) into 0.125
15.254 * [taylor]: Taking taylor expansion of 0.125 in y
15.254 * [backup-simplify]: Simplify 0.125 into 0.125
15.255 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
15.256 * [backup-simplify]: Simplify (+ (* 0.125 0) (* 0 1)) into 0
15.256 * [backup-simplify]: Simplify (* 0.5 (/ 1 (* z y))) into (/ 0.5 (* z y))
15.256 * [backup-simplify]: Simplify (- (/ 0.5 (* z y))) into (- (* 0.5 (/ 1 (* z y))))
15.257 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ 1 (* z y))))) into (- (* 0.5 (/ 1 (* z y))))
15.257 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (* z y)))) in y
15.257 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y
15.257 * [taylor]: Taking taylor expansion of 0.5 in y
15.257 * [backup-simplify]: Simplify 0.5 into 0.5
15.257 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
15.257 * [taylor]: Taking taylor expansion of (* z y) in y
15.257 * [taylor]: Taking taylor expansion of z in y
15.257 * [backup-simplify]: Simplify z into z
15.257 * [taylor]: Taking taylor expansion of y in y
15.257 * [backup-simplify]: Simplify 0 into 0
15.257 * [backup-simplify]: Simplify 1 into 1
15.257 * [backup-simplify]: Simplify (* z 0) into 0
15.258 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
15.258 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
15.258 * [backup-simplify]: Simplify (* 0.5 (/ 1 z)) into (/ 0.5 z)
15.258 * [backup-simplify]: Simplify (- (/ 0.5 z)) into (- (* 0.5 (/ 1 z)))
15.258 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 z))) in z
15.258 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
15.258 * [taylor]: Taking taylor expansion of 0.5 in z
15.258 * [backup-simplify]: Simplify 0.5 into 0.5
15.258 * [taylor]: Taking taylor expansion of (/ 1 z) in z
15.258 * [taylor]: Taking taylor expansion of z in z
15.258 * [backup-simplify]: Simplify 0 into 0
15.258 * [backup-simplify]: Simplify 1 into 1
15.259 * [backup-simplify]: Simplify (/ 1 1) into 1
15.259 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
15.260 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
15.260 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
15.260 * [taylor]: Taking taylor expansion of 0.125 in z
15.260 * [backup-simplify]: Simplify 0.125 into 0.125
15.261 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.262 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (* 0 1))) into 0
15.263 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
15.263 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
15.264 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (* z y)))) into 0
15.264 * [backup-simplify]: Simplify (- 0) into 0
15.265 * [backup-simplify]: Simplify (+ 0 0) into 0
15.265 * [taylor]: Taking taylor expansion of 0 in y
15.265 * [backup-simplify]: Simplify 0 into 0
15.266 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
15.266 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
15.267 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 z))) into 0
15.267 * [backup-simplify]: Simplify (- 0) into 0
15.267 * [taylor]: Taking taylor expansion of 0 in z
15.267 * [backup-simplify]: Simplify 0 into 0
15.267 * [taylor]: Taking taylor expansion of 0 in z
15.267 * [backup-simplify]: Simplify 0 into 0
15.268 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
15.269 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
15.269 * [backup-simplify]: Simplify (- 0) into 0
15.269 * [backup-simplify]: Simplify 0 into 0
15.269 * [backup-simplify]: Simplify 0.125 into 0.125
15.271 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.272 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.273 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
15.274 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
15.275 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 (* z y))))) into 0
15.275 * [backup-simplify]: Simplify (- 0) into 0
15.276 * [backup-simplify]: Simplify (+ 0 0) into 0
15.276 * [taylor]: Taking taylor expansion of 0 in y
15.276 * [backup-simplify]: Simplify 0 into 0
15.276 * [taylor]: Taking taylor expansion of 0 in z
15.276 * [backup-simplify]: Simplify 0 into 0
15.277 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
15.278 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
15.279 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0
15.279 * [backup-simplify]: Simplify (- 0) into 0
15.279 * [taylor]: Taking taylor expansion of 0 in z
15.279 * [backup-simplify]: Simplify 0 into 0
15.279 * [taylor]: Taking taylor expansion of 0 in z
15.279 * [backup-simplify]: Simplify 0 into 0
15.279 * [backup-simplify]: Simplify 0 into 0
15.279 * [backup-simplify]: Simplify 0 into 0
15.281 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.282 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
15.282 * [backup-simplify]: Simplify (- 0) into 0
15.282 * [backup-simplify]: Simplify 0 into 0
15.282 * [backup-simplify]: Simplify 0 into 0
15.283 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.283 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.284 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
15.285 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
15.286 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* z y)))))) into 0
15.286 * [backup-simplify]: Simplify (- 0) into 0
15.286 * [backup-simplify]: Simplify (+ 0 0) into 0
15.286 * [taylor]: Taking taylor expansion of 0 in y
15.286 * [backup-simplify]: Simplify 0 into 0
15.286 * [taylor]: Taking taylor expansion of 0 in z
15.286 * [backup-simplify]: Simplify 0 into 0
15.286 * [taylor]: Taking taylor expansion of 0 in z
15.286 * [backup-simplify]: Simplify 0 into 0
15.287 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
15.287 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
15.288 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 z))))) into 0
15.288 * [backup-simplify]: Simplify (- 0) into 0
15.288 * [taylor]: Taking taylor expansion of 0 in z
15.288 * [backup-simplify]: Simplify 0 into 0
15.288 * [taylor]: Taking taylor expansion of 0 in z
15.288 * [backup-simplify]: Simplify 0 into 0
15.289 * [backup-simplify]: Simplify 0 into 0
15.289 * [backup-simplify]: Simplify 0 into 0
15.289 * [backup-simplify]: Simplify (+ (* 0.125 (* 1 (* 1 (/ 1 (/ 1 x))))) (* (- 0.5) (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 y)) 1)))) into (- (* 0.125 x) (* 0.5 (* z y)))
15.290 * [backup-simplify]: Simplify (- (* (/ 1.0 8.0) (/ 1 (- x))) (/ (/ 1 (- y)) (/ 2.0 (/ 1 (- z))))) into (- (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x))))
15.290 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x)))) in (x y z) around 0
15.290 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x)))) in z
15.290 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x))) in z
15.290 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in z
15.290 * [taylor]: Taking taylor expansion of 0.5 in z
15.290 * [backup-simplify]: Simplify 0.5 into 0.5
15.290 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
15.290 * [taylor]: Taking taylor expansion of (* z y) in z
15.290 * [taylor]: Taking taylor expansion of z in z
15.290 * [backup-simplify]: Simplify 0 into 0
15.290 * [backup-simplify]: Simplify 1 into 1
15.290 * [taylor]: Taking taylor expansion of y in z
15.290 * [backup-simplify]: Simplify y into y
15.290 * [backup-simplify]: Simplify (* 0 y) into 0
15.291 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
15.291 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
15.291 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in z
15.291 * [taylor]: Taking taylor expansion of 0.125 in z
15.291 * [backup-simplify]: Simplify 0.125 into 0.125
15.291 * [taylor]: Taking taylor expansion of (/ 1 x) in z
15.291 * [taylor]: Taking taylor expansion of x in z
15.291 * [backup-simplify]: Simplify x into x
15.291 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
15.291 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x)))) in y
15.291 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x))) in y
15.291 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y
15.291 * [taylor]: Taking taylor expansion of 0.5 in y
15.291 * [backup-simplify]: Simplify 0.5 into 0.5
15.291 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
15.291 * [taylor]: Taking taylor expansion of (* z y) in y
15.291 * [taylor]: Taking taylor expansion of z in y
15.291 * [backup-simplify]: Simplify z into z
15.291 * [taylor]: Taking taylor expansion of y in y
15.291 * [backup-simplify]: Simplify 0 into 0
15.291 * [backup-simplify]: Simplify 1 into 1
15.291 * [backup-simplify]: Simplify (* z 0) into 0
15.292 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
15.292 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
15.292 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in y
15.292 * [taylor]: Taking taylor expansion of 0.125 in y
15.292 * [backup-simplify]: Simplify 0.125 into 0.125
15.292 * [taylor]: Taking taylor expansion of (/ 1 x) in y
15.292 * [taylor]: Taking taylor expansion of x in y
15.292 * [backup-simplify]: Simplify x into x
15.292 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
15.292 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x)))) in x
15.292 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x))) in x
15.292 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in x
15.292 * [taylor]: Taking taylor expansion of 0.5 in x
15.292 * [backup-simplify]: Simplify 0.5 into 0.5
15.292 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
15.292 * [taylor]: Taking taylor expansion of (* z y) in x
15.292 * [taylor]: Taking taylor expansion of z in x
15.292 * [backup-simplify]: Simplify z into z
15.292 * [taylor]: Taking taylor expansion of y in x
15.292 * [backup-simplify]: Simplify y into y
15.292 * [backup-simplify]: Simplify (* z y) into (* z y)
15.292 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
15.292 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in x
15.292 * [taylor]: Taking taylor expansion of 0.125 in x
15.292 * [backup-simplify]: Simplify 0.125 into 0.125
15.292 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.292 * [taylor]: Taking taylor expansion of x in x
15.292 * [backup-simplify]: Simplify 0 into 0
15.292 * [backup-simplify]: Simplify 1 into 1
15.292 * [backup-simplify]: Simplify (/ 1 1) into 1
15.293 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x)))) in x
15.293 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x))) in x
15.293 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in x
15.293 * [taylor]: Taking taylor expansion of 0.5 in x
15.293 * [backup-simplify]: Simplify 0.5 into 0.5
15.293 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
15.293 * [taylor]: Taking taylor expansion of (* z y) in x
15.293 * [taylor]: Taking taylor expansion of z in x
15.293 * [backup-simplify]: Simplify z into z
15.293 * [taylor]: Taking taylor expansion of y in x
15.293 * [backup-simplify]: Simplify y into y
15.293 * [backup-simplify]: Simplify (* z y) into (* z y)
15.293 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
15.293 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in x
15.293 * [taylor]: Taking taylor expansion of 0.125 in x
15.293 * [backup-simplify]: Simplify 0.125 into 0.125
15.293 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.293 * [taylor]: Taking taylor expansion of x in x
15.293 * [backup-simplify]: Simplify 0 into 0
15.293 * [backup-simplify]: Simplify 1 into 1
15.293 * [backup-simplify]: Simplify (/ 1 1) into 1
15.294 * [backup-simplify]: Simplify (* 0.125 1) into 0.125
15.294 * [backup-simplify]: Simplify (+ 0 0.125) into 0.125
15.294 * [backup-simplify]: Simplify (- 0.125) into (- 0.125)
15.294 * [taylor]: Taking taylor expansion of (- 0.125) in y
15.294 * [taylor]: Taking taylor expansion of 0.125 in y
15.294 * [backup-simplify]: Simplify 0.125 into 0.125
15.294 * [backup-simplify]: Simplify (* 0.5 (/ 1 (* z y))) into (/ 0.5 (* z y))
15.295 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
15.295 * [backup-simplify]: Simplify (+ (* 0.125 0) (* 0 1)) into 0
15.296 * [backup-simplify]: Simplify (+ (/ 0.5 (* z y)) 0) into (* 0.5 (/ 1 (* z y)))
15.296 * [backup-simplify]: Simplify (- (* 0.5 (/ 1 (* z y)))) into (- (* 0.5 (/ 1 (* z y))))
15.296 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (* z y)))) in y
15.296 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y
15.296 * [taylor]: Taking taylor expansion of 0.5 in y
15.296 * [backup-simplify]: Simplify 0.5 into 0.5
15.296 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
15.296 * [taylor]: Taking taylor expansion of (* z y) in y
15.296 * [taylor]: Taking taylor expansion of z in y
15.296 * [backup-simplify]: Simplify z into z
15.296 * [taylor]: Taking taylor expansion of y in y
15.296 * [backup-simplify]: Simplify 0 into 0
15.296 * [backup-simplify]: Simplify 1 into 1
15.296 * [backup-simplify]: Simplify (* z 0) into 0
15.296 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
15.296 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
15.296 * [backup-simplify]: Simplify (* 0.5 (/ 1 z)) into (/ 0.5 z)
15.297 * [backup-simplify]: Simplify (- (/ 0.5 z)) into (- (* 0.5 (/ 1 z)))
15.297 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 z))) in z
15.297 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
15.297 * [taylor]: Taking taylor expansion of 0.5 in z
15.297 * [backup-simplify]: Simplify 0.5 into 0.5
15.297 * [taylor]: Taking taylor expansion of (/ 1 z) in z
15.297 * [taylor]: Taking taylor expansion of z in z
15.297 * [backup-simplify]: Simplify 0 into 0
15.297 * [backup-simplify]: Simplify 1 into 1
15.297 * [backup-simplify]: Simplify (/ 1 1) into 1
15.297 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
15.297 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
15.298 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
15.298 * [backup-simplify]: Simplify (- 0.125) into (- 0.125)
15.298 * [taylor]: Taking taylor expansion of (- 0.125) in z
15.298 * [taylor]: Taking taylor expansion of 0.125 in z
15.298 * [backup-simplify]: Simplify 0.125 into 0.125
15.298 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
15.299 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
15.299 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (* z y)))) into 0
15.300 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.300 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (* 0 1))) into 0
15.300 * [backup-simplify]: Simplify (+ 0 0) into 0
15.301 * [backup-simplify]: Simplify (- 0) into 0
15.301 * [taylor]: Taking taylor expansion of 0 in y
15.301 * [backup-simplify]: Simplify 0 into 0
15.301 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
15.301 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
15.302 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 z))) into 0
15.302 * [backup-simplify]: Simplify (- 0) into 0
15.302 * [taylor]: Taking taylor expansion of 0 in z
15.302 * [backup-simplify]: Simplify 0 into 0
15.302 * [backup-simplify]: Simplify (- 0) into 0
15.302 * [taylor]: Taking taylor expansion of 0 in z
15.302 * [backup-simplify]: Simplify 0 into 0
15.303 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
15.303 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
15.304 * [backup-simplify]: Simplify (- 0) into 0
15.304 * [backup-simplify]: Simplify 0 into 0
15.304 * [backup-simplify]: Simplify (- 0.125) into (- 0.125)
15.304 * [backup-simplify]: Simplify (- 0.125) into (- 0.125)
15.304 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
15.305 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
15.306 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 (* z y))))) into 0
15.306 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.307 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.307 * [backup-simplify]: Simplify (+ 0 0) into 0
15.307 * [backup-simplify]: Simplify (- 0) into 0
15.307 * [taylor]: Taking taylor expansion of 0 in y
15.307 * [backup-simplify]: Simplify 0 into 0
15.307 * [taylor]: Taking taylor expansion of 0 in z
15.308 * [backup-simplify]: Simplify 0 into 0
15.308 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
15.308 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
15.309 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0
15.309 * [backup-simplify]: Simplify (- 0) into 0
15.309 * [taylor]: Taking taylor expansion of 0 in z
15.309 * [backup-simplify]: Simplify 0 into 0
15.310 * [backup-simplify]: Simplify (- 0) into 0
15.310 * [taylor]: Taking taylor expansion of 0 in z
15.310 * [backup-simplify]: Simplify 0 into 0
15.310 * [backup-simplify]: Simplify 0 into 0
15.310 * [backup-simplify]: Simplify 0 into 0
15.311 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.312 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
15.312 * [backup-simplify]: Simplify (- 0) into 0
15.312 * [backup-simplify]: Simplify 0 into 0
15.313 * [backup-simplify]: Simplify (- 0) into 0
15.313 * [backup-simplify]: Simplify 0 into 0
15.314 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
15.315 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
15.317 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* z y)))))) into 0
15.318 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.319 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.320 * [backup-simplify]: Simplify (+ 0 0) into 0
15.320 * [backup-simplify]: Simplify (- 0) into 0
15.320 * [taylor]: Taking taylor expansion of 0 in y
15.320 * [backup-simplify]: Simplify 0 into 0
15.320 * [taylor]: Taking taylor expansion of 0 in z
15.321 * [backup-simplify]: Simplify 0 into 0
15.321 * [taylor]: Taking taylor expansion of 0 in z
15.321 * [backup-simplify]: Simplify 0 into 0
15.322 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
15.323 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
15.324 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 z))))) into 0
15.325 * [backup-simplify]: Simplify (- 0) into 0
15.325 * [taylor]: Taking taylor expansion of 0 in z
15.325 * [backup-simplify]: Simplify 0 into 0
15.325 * [backup-simplify]: Simplify (- 0) into 0
15.325 * [taylor]: Taking taylor expansion of 0 in z
15.325 * [backup-simplify]: Simplify 0 into 0
15.325 * [backup-simplify]: Simplify 0 into 0
15.326 * [backup-simplify]: Simplify 0 into 0
15.328 * [backup-simplify]: Simplify (+ (* (- 0.125) (* 1 (* 1 (/ 1 (/ 1 (- x)))))) (* (- 0.5) (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- y))) 1)))) into (- (* 0.125 x) (* 0.5 (* z y)))
15.328 * * * [progress]: simplifying candidates
15.328 * * * * [progress]: [ 1 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (posit16->real (real->posit16 (/ y (/ 2.0 z))))) t))>
15.328 * * * * [progress]: [ 2 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (pow (/ y (/ 2.0 z)) 1)) t))>
15.328 * * * * [progress]: [ 3 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (exp (- (log y) (- (log 2.0) (log z))))) t))>
15.328 * * * * [progress]: [ 4 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (exp (- (log y) (log (/ 2.0 z))))) t))>
15.328 * * * * [progress]: [ 5 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (exp (log (/ y (/ 2.0 z))))) t))>
15.328 * * * * [progress]: [ 6 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (log (exp (/ y (/ 2.0 z))))) t))>
15.328 * * * * [progress]: [ 7 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (cbrt (/ (* (* y y) y) (/ (* (* 2.0 2.0) 2.0) (* (* z z) z))))) t))>
15.328 * * * * [progress]: [ 8 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (cbrt (/ (* (* y y) y) (* (* (/ 2.0 z) (/ 2.0 z)) (/ 2.0 z))))) t))>
15.328 * * * * [progress]: [ 9 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (* (cbrt (/ y (/ 2.0 z))) (cbrt (/ y (/ 2.0 z)))) (cbrt (/ y (/ 2.0 z))))) t))>
15.328 * * * * [progress]: [ 10 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (cbrt (* (* (/ y (/ 2.0 z)) (/ y (/ 2.0 z))) (/ y (/ 2.0 z))))) t))>
15.329 * * * * [progress]: [ 11 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (sqrt (/ y (/ 2.0 z))) (sqrt (/ y (/ 2.0 z))))) t))>
15.329 * * * * [progress]: [ 12 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (- y) (- (/ 2.0 z)))) t))>
15.329 * * * * [progress]: [ 13 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ (* (cbrt y) (cbrt y)) (* (cbrt (/ 2.0 z)) (cbrt (/ 2.0 z)))) (/ (cbrt y) (cbrt (/ 2.0 z))))) t))>
15.329 * * * * [progress]: [ 14 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ (* (cbrt y) (cbrt y)) (sqrt (/ 2.0 z))) (/ (cbrt y) (sqrt (/ 2.0 z))))) t))>
15.329 * * * * [progress]: [ 15 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt z) (cbrt z)))) (/ (cbrt y) (/ (cbrt 2.0) (cbrt z))))) t))>
15.329 * * * * [progress]: [ 16 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt z))) (/ (cbrt y) (/ (cbrt 2.0) (sqrt z))))) t))>
15.329 * * * * [progress]: [ 17 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1)) (/ (cbrt y) (/ (cbrt 2.0) z)))) t))>
15.329 * * * * [progress]: [ 18 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ (* (cbrt y) (cbrt y)) (/ (sqrt 2.0) (* (cbrt z) (cbrt z)))) (/ (cbrt y) (/ (sqrt 2.0) (cbrt z))))) t))>
15.329 * * * * [progress]: [ 19 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ (* (cbrt y) (cbrt y)) (/ (sqrt 2.0) (sqrt z))) (/ (cbrt y) (/ (sqrt 2.0) (sqrt z))))) t))>
15.329 * * * * [progress]: [ 20 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ (* (cbrt y) (cbrt y)) (/ (sqrt 2.0) 1)) (/ (cbrt y) (/ (sqrt 2.0) z)))) t))>
15.329 * * * * [progress]: [ 21 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ (* (cbrt y) (cbrt y)) (/ 1 (* (cbrt z) (cbrt z)))) (/ (cbrt y) (/ 2.0 (cbrt z))))) t))>
15.329 * * * * [progress]: [ 22 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ (* (cbrt y) (cbrt y)) (/ 1 (sqrt z))) (/ (cbrt y) (/ 2.0 (sqrt z))))) t))>
15.329 * * * * [progress]: [ 23 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ (* (cbrt y) (cbrt y)) (/ 1 1)) (/ (cbrt y) (/ 2.0 z)))) t))>
15.329 * * * * [progress]: [ 24 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (/ 2.0 z)))) t))>
15.330 * * * * [progress]: [ 25 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ (* (cbrt y) (cbrt y)) 2.0) (/ (cbrt y) (/ 1 z)))) t))>
15.330 * * * * [progress]: [ 26 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ (sqrt y) (* (cbrt (/ 2.0 z)) (cbrt (/ 2.0 z)))) (/ (sqrt y) (cbrt (/ 2.0 z))))) t))>
15.330 * * * * [progress]: [ 27 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ (sqrt y) (sqrt (/ 2.0 z))) (/ (sqrt y) (sqrt (/ 2.0 z))))) t))>
15.330 * * * * [progress]: [ 28 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ (sqrt y) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt z) (cbrt z)))) (/ (sqrt y) (/ (cbrt 2.0) (cbrt z))))) t))>
15.330 * * * * [progress]: [ 29 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ (sqrt y) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt z))) (/ (sqrt y) (/ (cbrt 2.0) (sqrt z))))) t))>
15.330 * * * * [progress]: [ 30 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ (sqrt y) (/ (* (cbrt 2.0) (cbrt 2.0)) 1)) (/ (sqrt y) (/ (cbrt 2.0) z)))) t))>
15.330 * * * * [progress]: [ 31 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ (sqrt y) (/ (sqrt 2.0) (* (cbrt z) (cbrt z)))) (/ (sqrt y) (/ (sqrt 2.0) (cbrt z))))) t))>
15.330 * * * * [progress]: [ 32 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ (sqrt y) (/ (sqrt 2.0) (sqrt z))) (/ (sqrt y) (/ (sqrt 2.0) (sqrt z))))) t))>
15.330 * * * * [progress]: [ 33 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ (sqrt y) (/ (sqrt 2.0) 1)) (/ (sqrt y) (/ (sqrt 2.0) z)))) t))>
15.330 * * * * [progress]: [ 34 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ (sqrt y) (/ 1 (* (cbrt z) (cbrt z)))) (/ (sqrt y) (/ 2.0 (cbrt z))))) t))>
15.330 * * * * [progress]: [ 35 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ (sqrt y) (/ 1 (sqrt z))) (/ (sqrt y) (/ 2.0 (sqrt z))))) t))>
15.330 * * * * [progress]: [ 36 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ (sqrt y) (/ 1 1)) (/ (sqrt y) (/ 2.0 z)))) t))>
15.330 * * * * [progress]: [ 37 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ (sqrt y) 1) (/ (sqrt y) (/ 2.0 z)))) t))>
15.331 * * * * [progress]: [ 38 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ (sqrt y) 2.0) (/ (sqrt y) (/ 1 z)))) t))>
15.331 * * * * [progress]: [ 39 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ 1 (* (cbrt (/ 2.0 z)) (cbrt (/ 2.0 z)))) (/ y (cbrt (/ 2.0 z))))) t))>
15.331 * * * * [progress]: [ 40 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ 1 (sqrt (/ 2.0 z))) (/ y (sqrt (/ 2.0 z))))) t))>
15.331 * * * * [progress]: [ 41 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ 1 (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt z) (cbrt z)))) (/ y (/ (cbrt 2.0) (cbrt z))))) t))>
15.331 * * * * [progress]: [ 42 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ 1 (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt z))) (/ y (/ (cbrt 2.0) (sqrt z))))) t))>
15.331 * * * * [progress]: [ 43 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ 1 (/ (* (cbrt 2.0) (cbrt 2.0)) 1)) (/ y (/ (cbrt 2.0) z)))) t))>
15.331 * * * * [progress]: [ 44 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ 1 (/ (sqrt 2.0) (* (cbrt z) (cbrt z)))) (/ y (/ (sqrt 2.0) (cbrt z))))) t))>
15.331 * * * * [progress]: [ 45 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ 1 (/ (sqrt 2.0) (sqrt z))) (/ y (/ (sqrt 2.0) (sqrt z))))) t))>
15.331 * * * * [progress]: [ 46 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ 1 (/ (sqrt 2.0) 1)) (/ y (/ (sqrt 2.0) z)))) t))>
15.331 * * * * [progress]: [ 47 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ 1 (/ 1 (* (cbrt z) (cbrt z)))) (/ y (/ 2.0 (cbrt z))))) t))>
15.331 * * * * [progress]: [ 48 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ 1 (/ 1 (sqrt z))) (/ y (/ 2.0 (sqrt z))))) t))>
15.331 * * * * [progress]: [ 49 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ 1 (/ 1 1)) (/ y (/ 2.0 z)))) t))>
15.331 * * * * [progress]: [ 50 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ 1 1) (/ y (/ 2.0 z)))) t))>
15.331 * * * * [progress]: [ 51 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ 1 2.0) (/ y (/ 1 z)))) t))>
15.332 * * * * [progress]: [ 52 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* 1 (/ y (/ 2.0 z)))) t))>
15.332 * * * * [progress]: [ 53 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* y (/ 1 (/ 2.0 z)))) t))>
15.332 * * * * [progress]: [ 54 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ 1 (/ (/ 2.0 z) y))) t))>
15.332 * * * * [progress]: [ 55 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (/ y (* (cbrt (/ 2.0 z)) (cbrt (/ 2.0 z)))) (cbrt (/ 2.0 z)))) t))>
15.332 * * * * [progress]: [ 56 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (/ y (sqrt (/ 2.0 z))) (sqrt (/ 2.0 z)))) t))>
15.332 * * * * [progress]: [ 57 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (/ y (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt z) (cbrt z)))) (/ (cbrt 2.0) (cbrt z)))) t))>
15.332 * * * * [progress]: [ 58 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (/ y (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt z))) (/ (cbrt 2.0) (sqrt z)))) t))>
15.332 * * * * [progress]: [ 59 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (/ y (/ (* (cbrt 2.0) (cbrt 2.0)) 1)) (/ (cbrt 2.0) z))) t))>
15.332 * * * * [progress]: [ 60 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (/ y (/ (sqrt 2.0) (* (cbrt z) (cbrt z)))) (/ (sqrt 2.0) (cbrt z)))) t))>
15.332 * * * * [progress]: [ 61 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (/ y (/ (sqrt 2.0) (sqrt z))) (/ (sqrt 2.0) (sqrt z)))) t))>
15.332 * * * * [progress]: [ 62 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (/ y (/ (sqrt 2.0) 1)) (/ (sqrt 2.0) z))) t))>
15.332 * * * * [progress]: [ 63 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (/ y (/ 1 (* (cbrt z) (cbrt z)))) (/ 2.0 (cbrt z)))) t))>
15.332 * * * * [progress]: [ 64 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (/ y (/ 1 (sqrt z))) (/ 2.0 (sqrt z)))) t))>
15.332 * * * * [progress]: [ 65 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (/ y (/ 1 1)) (/ 2.0 z))) t))>
15.333 * * * * [progress]: [ 66 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (/ y 1) (/ 2.0 z))) t))>
15.333 * * * * [progress]: [ 67 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (/ y 2.0) (/ 1 z))) t))>
15.333 * * * * [progress]: [ 68 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (* (cbrt y) (cbrt y)) (/ (/ 2.0 z) (cbrt y)))) t))>
15.333 * * * * [progress]: [ 69 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (sqrt y) (/ (/ 2.0 z) (sqrt y)))) t))>
15.333 * * * * [progress]: [ 70 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ 1 (/ (/ 2.0 z) y))) t))>
15.333 * * * * [progress]: [ 71 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* (/ y 2.0) z)) t))>
15.333 * * * * [progress]: [ 72 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (posit16->real (real->posit16 (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))))) t))>
15.333 * * * * [progress]: [ 73 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (log (/ (exp (* (/ 1.0 8.0) x)) (exp (/ y (/ 2.0 z))))) t))>
15.333 * * * * [progress]: [ 74 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (pow (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))) 1) t))>
15.333 * * * * [progress]: [ 75 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (exp (log (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))))) t))>
15.333 * * * * [progress]: [ 76 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (log (exp (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))))) t))>
15.333 * * * * [progress]: [ 77 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (* (* (cbrt (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z)))) (cbrt (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))))) (cbrt (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))))) t))>
15.333 * * * * [progress]: [ 78 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (cbrt (* (* (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))) (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z)))) (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))))) t))>
15.333 * * * * [progress]: [ 79 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (* (sqrt (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z)))) (sqrt (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))))) t))>
15.334 * * * * [progress]: [ 80 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (/ (- (* (* 1.0 x) (/ 2.0 z)) (* 8.0 y)) (* 8.0 (/ 2.0 z))) t))>
15.334 * * * * [progress]: [ 81 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (/ (- (pow (* (/ 1.0 8.0) x) 3) (pow (/ y (/ 2.0 z)) 3)) (+ (* (* (/ 1.0 8.0) x) (* (/ 1.0 8.0) x)) (+ (* (/ y (/ 2.0 z)) (/ y (/ 2.0 z))) (* (* (/ 1.0 8.0) x) (/ y (/ 2.0 z)))))) t))>
15.334 * * * * [progress]: [ 82 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (+ (* (/ 1.0 8.0) x) (- (/ y (/ 2.0 z)))) t))>
15.334 * * * * [progress]: [ 83 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (* 1 (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z)))) t))>
15.334 * * * * [progress]: [ 84 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (/ (- (* (* (/ 1.0 8.0) x) (* (/ 1.0 8.0) x)) (* (/ y (/ 2.0 z)) (/ y (/ 2.0 z)))) (+ (* (/ 1.0 8.0) x) (/ y (/ 2.0 z)))) t))>
15.334 * * * * [progress]: [ 85 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (+ (* (/ 1.0 8.0) x) (- (/ y (/ 2.0 z)))) t))>
15.334 * * * * [progress]: [ 86 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* 0.5 (* z y))) t))>
15.334 * * * * [progress]: [ 87 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* 0.5 (* z y))) t))>
15.334 * * * * [progress]: [ 88 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (* 0.5 (* z y))) t))>
15.334 * * * * [progress]: [ 89 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (* 0.125 x) t))>
15.334 * * * * [progress]: [ 90 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* 0.125 x) (* 0.5 (* z y))) t))>
15.334 * * * * [progress]: [ 91 / 91 ] simplifiying candidate #<alt (λ (x y z t) (+ (- (* 0.125 x) (* 0.5 (* z y))) t))>
15.336 * [simplify]: Simplifying:
  (real->posit16 (/ y (/ 2.0 z)))
  (- (log y) (- (log 2.0) (log z)))
  (- (log y) (log (/ 2.0 z)))
  (log (/ y (/ 2.0 z)))
  (exp (/ y (/ 2.0 z)))
  (/ (* (* y y) y) (/ (* (* 2.0 2.0) 2.0) (* (* z z) z)))
  (/ (* (* y y) y) (* (* (/ 2.0 z) (/ 2.0 z)) (/ 2.0 z)))
  (* (cbrt (/ y (/ 2.0 z))) (cbrt (/ y (/ 2.0 z))))
  (cbrt (/ y (/ 2.0 z)))
  (* (* (/ y (/ 2.0 z)) (/ y (/ 2.0 z))) (/ y (/ 2.0 z)))
  (sqrt (/ y (/ 2.0 z)))
  (sqrt (/ y (/ 2.0 z)))
  (- y)
  (- (/ 2.0 z))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt (/ 2.0 z)) (cbrt (/ 2.0 z))))
  (/ (cbrt y) (cbrt (/ 2.0 z)))
  (/ (* (cbrt y) (cbrt y)) (sqrt (/ 2.0 z)))
  (/ (cbrt y) (sqrt (/ 2.0 z)))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt z) (cbrt z))))
  (/ (cbrt y) (/ (cbrt 2.0) (cbrt z)))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt z)))
  (/ (cbrt y) (/ (cbrt 2.0) (sqrt z)))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1))
  (/ (cbrt y) (/ (cbrt 2.0) z))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt 2.0) (* (cbrt z) (cbrt z))))
  (/ (cbrt y) (/ (sqrt 2.0) (cbrt z)))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt 2.0) (sqrt z)))
  (/ (cbrt y) (/ (sqrt 2.0) (sqrt z)))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt 2.0) 1))
  (/ (cbrt y) (/ (sqrt 2.0) z))
  (/ (* (cbrt y) (cbrt y)) (/ 1 (* (cbrt z) (cbrt z))))
  (/ (cbrt y) (/ 2.0 (cbrt z)))
  (/ (* (cbrt y) (cbrt y)) (/ 1 (sqrt z)))
  (/ (cbrt y) (/ 2.0 (sqrt z)))
  (/ (* (cbrt y) (cbrt y)) (/ 1 1))
  (/ (cbrt y) (/ 2.0 z))
  (/ (* (cbrt y) (cbrt y)) 1)
  (/ (cbrt y) (/ 2.0 z))
  (/ (* (cbrt y) (cbrt y)) 2.0)
  (/ (cbrt y) (/ 1 z))
  (/ (sqrt y) (* (cbrt (/ 2.0 z)) (cbrt (/ 2.0 z))))
  (/ (sqrt y) (cbrt (/ 2.0 z)))
  (/ (sqrt y) (sqrt (/ 2.0 z)))
  (/ (sqrt y) (sqrt (/ 2.0 z)))
  (/ (sqrt y) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt z) (cbrt z))))
  (/ (sqrt y) (/ (cbrt 2.0) (cbrt z)))
  (/ (sqrt y) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt z)))
  (/ (sqrt y) (/ (cbrt 2.0) (sqrt z)))
  (/ (sqrt y) (/ (* (cbrt 2.0) (cbrt 2.0)) 1))
  (/ (sqrt y) (/ (cbrt 2.0) z))
  (/ (sqrt y) (/ (sqrt 2.0) (* (cbrt z) (cbrt z))))
  (/ (sqrt y) (/ (sqrt 2.0) (cbrt z)))
  (/ (sqrt y) (/ (sqrt 2.0) (sqrt z)))
  (/ (sqrt y) (/ (sqrt 2.0) (sqrt z)))
  (/ (sqrt y) (/ (sqrt 2.0) 1))
  (/ (sqrt y) (/ (sqrt 2.0) z))
  (/ (sqrt y) (/ 1 (* (cbrt z) (cbrt z))))
  (/ (sqrt y) (/ 2.0 (cbrt z)))
  (/ (sqrt y) (/ 1 (sqrt z)))
  (/ (sqrt y) (/ 2.0 (sqrt z)))
  (/ (sqrt y) (/ 1 1))
  (/ (sqrt y) (/ 2.0 z))
  (/ (sqrt y) 1)
  (/ (sqrt y) (/ 2.0 z))
  (/ (sqrt y) 2.0)
  (/ (sqrt y) (/ 1 z))
  (/ 1 (* (cbrt (/ 2.0 z)) (cbrt (/ 2.0 z))))
  (/ y (cbrt (/ 2.0 z)))
  (/ 1 (sqrt (/ 2.0 z)))
  (/ y (sqrt (/ 2.0 z)))
  (/ 1 (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt z) (cbrt z))))
  (/ y (/ (cbrt 2.0) (cbrt z)))
  (/ 1 (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt z)))
  (/ y (/ (cbrt 2.0) (sqrt z)))
  (/ 1 (/ (* (cbrt 2.0) (cbrt 2.0)) 1))
  (/ y (/ (cbrt 2.0) z))
  (/ 1 (/ (sqrt 2.0) (* (cbrt z) (cbrt z))))
  (/ y (/ (sqrt 2.0) (cbrt z)))
  (/ 1 (/ (sqrt 2.0) (sqrt z)))
  (/ y (/ (sqrt 2.0) (sqrt z)))
  (/ 1 (/ (sqrt 2.0) 1))
  (/ y (/ (sqrt 2.0) z))
  (/ 1 (/ 1 (* (cbrt z) (cbrt z))))
  (/ y (/ 2.0 (cbrt z)))
  (/ 1 (/ 1 (sqrt z)))
  (/ y (/ 2.0 (sqrt z)))
  (/ 1 (/ 1 1))
  (/ y (/ 2.0 z))
  (/ 1 1)
  (/ y (/ 2.0 z))
  (/ 1 2.0)
  (/ y (/ 1 z))
  (/ 1 (/ 2.0 z))
  (/ (/ 2.0 z) y)
  (/ y (* (cbrt (/ 2.0 z)) (cbrt (/ 2.0 z))))
  (/ y (sqrt (/ 2.0 z)))
  (/ y (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt z) (cbrt z))))
  (/ y (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt z)))
  (/ y (/ (* (cbrt 2.0) (cbrt 2.0)) 1))
  (/ y (/ (sqrt 2.0) (* (cbrt z) (cbrt z))))
  (/ y (/ (sqrt 2.0) (sqrt z)))
  (/ y (/ (sqrt 2.0) 1))
  (/ y (/ 1 (* (cbrt z) (cbrt z))))
  (/ y (/ 1 (sqrt z)))
  (/ y (/ 1 1))
  (/ y 1)
  (/ y 2.0)
  (/ (/ 2.0 z) (cbrt y))
  (/ (/ 2.0 z) (sqrt y))
  (/ (/ 2.0 z) y)
  (/ y 2.0)
  (real->posit16 (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))))
  (/ (exp (* (/ 1.0 8.0) x)) (exp (/ y (/ 2.0 z))))
  (log (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))))
  (exp (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))))
  (* (cbrt (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z)))) (cbrt (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z)))))
  (cbrt (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))))
  (* (* (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))) (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z)))) (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))))
  (sqrt (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))))
  (sqrt (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))))
  (- (* (* 1.0 x) (/ 2.0 z)) (* 8.0 y))
  (* 8.0 (/ 2.0 z))
  (- (pow (* (/ 1.0 8.0) x) 3) (pow (/ y (/ 2.0 z)) 3))
  (+ (* (* (/ 1.0 8.0) x) (* (/ 1.0 8.0) x)) (+ (* (/ y (/ 2.0 z)) (/ y (/ 2.0 z))) (* (* (/ 1.0 8.0) x) (/ y (/ 2.0 z)))))
  (- (/ y (/ 2.0 z)))
  (- (* (* (/ 1.0 8.0) x) (* (/ 1.0 8.0) x)) (* (/ y (/ 2.0 z)) (/ y (/ 2.0 z))))
  (+ (* (/ 1.0 8.0) x) (/ y (/ 2.0 z)))
  (- (/ y (/ 2.0 z)))
  (* 0.5 (* z y))
  (* 0.5 (* z y))
  (* 0.5 (* z y))
  (* 0.125 x)
  (- (* 0.125 x) (* 0.5 (* z y)))
  (- (* 0.125 x) (* 0.5 (* z y)))
15.342 * * [simplify]: iteration 0: 187 enodes
15.575 * * [simplify]: iteration 1: 466 enodes
16.160 * * [simplify]: iteration 2: 1411 enodes
18.085 * * [simplify]: iteration complete: 5000 enodes
18.086 * * [simplify]: Extracting #0: cost 110 inf + 0
18.087 * * [simplify]: Extracting #1: cost 859 inf + 2
18.093 * * [simplify]: Extracting #2: cost 1562 inf + 8032
18.129 * * [simplify]: Extracting #3: cost 1073 inf + 96178
18.206 * * [simplify]: Extracting #4: cost 309 inf + 224685
18.270 * * [simplify]: Extracting #5: cost 27 inf + 290713
18.343 * * [simplify]: Extracting #6: cost 0 inf + 297504
18.414 * * [simplify]: Extracting #7: cost 0 inf + 297384
18.482 * [simplify]: Simplified to:
  (real->posit16 (/ (* y z) 2.0))
  (log (/ (* y z) 2.0))
  (log (/ (* y z) 2.0))
  (log (/ (* y z) 2.0))
  (exp (/ (* y z) 2.0))
  (* (* (/ (* y z) 2.0) (/ (* y z) 2.0)) (/ (* y z) 2.0))
  (* (* (/ (* y z) 2.0) (/ (* y z) 2.0)) (/ (* y z) 2.0))
  (* (cbrt (/ (* y z) 2.0)) (cbrt (/ (* y z) 2.0)))
  (cbrt (/ (* y z) 2.0))
  (* (* (/ (* y z) 2.0) (/ (* y z) 2.0)) (/ (* y z) 2.0))
  (sqrt (/ (* y z) 2.0))
  (sqrt (/ (* y z) 2.0))
  (- y)
  (/ (- 2.0) z)
  (* (/ (cbrt y) (cbrt (/ 2.0 z))) (/ (cbrt y) (cbrt (/ 2.0 z))))
  (/ (cbrt y) (cbrt (/ 2.0 z)))
  (/ (* (cbrt y) (cbrt y)) (sqrt (/ 2.0 z)))
  (/ (cbrt y) (sqrt (/ 2.0 z)))
  (* (/ (* (cbrt z) (cbrt y)) (cbrt 2.0)) (/ (* (cbrt z) (cbrt y)) (cbrt 2.0)))
  (/ (* (cbrt z) (cbrt y)) (cbrt 2.0))
  (* (* (/ (cbrt y) (cbrt 2.0)) (/ (cbrt y) (cbrt 2.0))) (sqrt z))
  (/ (* (sqrt z) (cbrt y)) (cbrt 2.0))
  (* (/ (cbrt y) (cbrt 2.0)) (/ (cbrt y) (cbrt 2.0)))
  (/ (* (cbrt y) z) (cbrt 2.0))
  (/ (* (cbrt y) (cbrt y)) (/ (/ (sqrt 2.0) (cbrt z)) (cbrt z)))
  (/ (* (cbrt z) (cbrt y)) (sqrt 2.0))
  (/ (* (sqrt z) (cbrt y)) (/ (sqrt 2.0) (cbrt y)))
  (/ (* (sqrt z) (cbrt y)) (sqrt 2.0))
  (* (/ (cbrt y) (sqrt 2.0)) (cbrt y))
  (/ (* z (cbrt y)) (sqrt 2.0))
  (* (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))
  (* (/ (cbrt y) 2.0) (cbrt z))
  (* (sqrt z) (* (cbrt y) (cbrt y)))
  (* (sqrt z) (/ (cbrt y) 2.0))
  (* (cbrt y) (cbrt y))
  (/ (* (cbrt y) z) 2.0)
  (* (cbrt y) (cbrt y))
  (/ (* (cbrt y) z) 2.0)
  (/ (cbrt y) (/ 2.0 (cbrt y)))
  (* (cbrt y) z)
  (/ (sqrt y) (* (cbrt (/ 2.0 z)) (cbrt (/ 2.0 z))))
  (/ (sqrt y) (cbrt (/ 2.0 z)))
  (/ (sqrt y) (sqrt (/ 2.0 z)))
  (/ (sqrt y) (sqrt (/ 2.0 z)))
  (/ (sqrt y) (* (/ (cbrt 2.0) (cbrt z)) (/ (cbrt 2.0) (cbrt z))))
  (/ (* (cbrt z) (sqrt y)) (cbrt 2.0))
  (/ (/ (sqrt y) (cbrt 2.0)) (/ (cbrt 2.0) (sqrt z)))
  (* (/ (sqrt y) (cbrt 2.0)) (sqrt z))
  (/ (/ (sqrt y) (cbrt 2.0)) (cbrt 2.0))
  (* (/ (sqrt y) (cbrt 2.0)) z)
  (* (* (cbrt z) (cbrt z)) (/ (sqrt y) (sqrt 2.0)))
  (/ (* (cbrt z) (sqrt y)) (sqrt 2.0))
  (/ (* (sqrt y) (sqrt z)) (sqrt 2.0))
  (/ (* (sqrt y) (sqrt z)) (sqrt 2.0))
  (/ (sqrt y) (sqrt 2.0))
  (/ (* z (sqrt y)) (sqrt 2.0))
  (* (* (cbrt z) (sqrt y)) (cbrt z))
  (/ (* (cbrt z) (sqrt y)) 2.0)
  (* (sqrt y) (sqrt z))
  (/ (sqrt y) (/ 2.0 (sqrt z)))
  (sqrt y)
  (/ (* z (sqrt y)) 2.0)
  (sqrt y)
  (/ (* z (sqrt y)) 2.0)
  (/ (sqrt y) 2.0)
  (* z (sqrt y))
  (/ (/ 1 (cbrt (/ 2.0 z))) (cbrt (/ 2.0 z)))
  (/ y (cbrt (/ 2.0 z)))
  (/ 1 (sqrt (/ 2.0 z)))
  (/ y (sqrt (/ 2.0 z)))
  (* (/ (cbrt z) (cbrt 2.0)) (/ (cbrt z) (cbrt 2.0)))
  (/ (* y (cbrt z)) (cbrt 2.0))
  (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0)))
  (/ (* y (sqrt z)) (cbrt 2.0))
  (/ (/ 1 (cbrt 2.0)) (cbrt 2.0))
  (* z (/ y (cbrt 2.0)))
  (/ (* (cbrt z) (cbrt z)) (sqrt 2.0))
  (* (/ y (sqrt 2.0)) (cbrt z))
  (/ (sqrt z) (sqrt 2.0))
  (/ (* y (sqrt z)) (sqrt 2.0))
  (/ 1 (sqrt 2.0))
  (* (/ y (sqrt 2.0)) z)
  (* (cbrt z) (cbrt z))
  (/ (* y (cbrt z)) 2.0)
  (sqrt z)
  (/ y (/ 2.0 (sqrt z)))
  1
  (/ (* y z) 2.0)
  1
  (/ (* y z) 2.0)
  (/ 1 2.0)
  (* z y)
  (/ z 2.0)
  (/ (/ 2.0 y) z)
  (/ (/ y (cbrt (/ 2.0 z))) (cbrt (/ 2.0 z)))
  (/ y (sqrt (/ 2.0 z)))
  (/ y (* (/ (cbrt 2.0) (cbrt z)) (/ (cbrt 2.0) (cbrt z))))
  (/ y (* (cbrt 2.0) (/ (cbrt 2.0) (sqrt z))))
  (/ y (* (cbrt 2.0) (cbrt 2.0)))
  (* (/ y (sqrt 2.0)) (* (cbrt z) (cbrt z)))
  (/ (* y (sqrt z)) (sqrt 2.0))
  (/ y (sqrt 2.0))
  (* (* (cbrt z) (cbrt z)) y)
  (* y (sqrt z))
  y
  y
  (/ y 2.0)
  (/ (/ 2.0 (cbrt y)) z)
  (/ 2.0 (* (sqrt y) z))
  (/ (/ 2.0 y) z)
  (/ y 2.0)
  (real->posit16 (- (* x (/ 1.0 8.0)) (* (/ y 2.0) z)))
  (exp (- (* x (/ 1.0 8.0)) (* (/ y 2.0) z)))
  (log (- (* x (/ 1.0 8.0)) (* (/ y 2.0) z)))
  (exp (- (* x (/ 1.0 8.0)) (* (/ y 2.0) z)))
  (* (cbrt (- (* x (/ 1.0 8.0)) (* (/ y 2.0) z))) (cbrt (- (* x (/ 1.0 8.0)) (* (/ y 2.0) z))))
  (cbrt (- (* x (/ 1.0 8.0)) (* (/ y 2.0) z)))
  (* (- (* x (/ 1.0 8.0)) (* (/ y 2.0) z)) (* (- (* x (/ 1.0 8.0)) (* (/ y 2.0) z)) (- (* x (/ 1.0 8.0)) (* (/ y 2.0) z))))
  (sqrt (- (* x (/ 1.0 8.0)) (* (/ y 2.0) z)))
  (sqrt (- (* x (/ 1.0 8.0)) (* (/ y 2.0) z)))
  (- (* (* x 1.0) (/ 2.0 z)) (* 8.0 y))
  (/ (* 8.0 2.0) z)
  (- (* (* (* x (/ 1.0 8.0)) (* x (/ 1.0 8.0))) (* x (/ 1.0 8.0))) (* (* (/ (* y z) 2.0) (/ (* y z) 2.0)) (/ (* y z) 2.0)))
  (+ (* (* x (/ 1.0 8.0)) (* x (/ 1.0 8.0))) (* (/ (* y z) 2.0) (+ (* x (/ 1.0 8.0)) (/ (* y z) 2.0))))
  (/ (- (* z y)) 2.0)
  (- (* (* x (/ 1.0 8.0)) (* x (/ 1.0 8.0))) (* (/ (* y z) 2.0) (/ (* y z) 2.0)))
  (+ (* x (/ 1.0 8.0)) (/ (* y z) 2.0))
  (/ (- (* z y)) 2.0)
  (* (* 0.5 y) z)
  (* (* 0.5 y) z)
  (* (* 0.5 y) z)
  (* x 0.125)
  (- (* x 0.125) (* (* 0.5 y) z))
  (- (* x 0.125) (* (* 0.5 y) z))
18.490 * * * [progress]: adding candidates to table
19.827 * [progress]: [Phase 3 of 3] Extracting.
19.827 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t))> #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))) t))>)
19.830 * * * [regime-changes]: Trying 9 branch expressions: ((* y z) (/ (* y z) 2.0) (* (/ 1.0 8.0) x) (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t) t z y x)
19.830 * * * * [regimes]: Trying to branch on (* y z) from (#<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t))> #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))) t))>)
20.044 * * * * [regimes]: Trying to branch on (/ (* y z) 2.0) from (#<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t))> #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))) t))>)
20.234 * * * * [regimes]: Trying to branch on (* (/ 1.0 8.0) x) from (#<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t))> #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))) t))>)
20.419 * * * * [regimes]: Trying to branch on (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) from (#<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t))> #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))) t))>)
20.597 * * * * [regimes]: Trying to branch on (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t) from (#<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t))> #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))) t))>)
20.834 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t))> #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))) t))>)
21.011 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t))> #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))) t))>)
21.209 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t))> #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))) t))>)
21.393 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t))> #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))) t))>)
21.634 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
21.634 * [simplify]: Simplifying:
  (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)
21.634 * * [simplify]: iteration 0: 13 enodes
21.640 * * [simplify]: iteration 1: 16 enodes
21.644 * * [simplify]: iteration complete: 16 enodes
21.645 * * [simplify]: Extracting #0: cost 1 inf + 0
21.645 * * [simplify]: Extracting #1: cost 3 inf + 0
21.645 * * [simplify]: Extracting #2: cost 4 inf + 1
21.645 * * [simplify]: Extracting #3: cost 8 inf + 1
21.645 * * [simplify]: Extracting #4: cost 10 inf + 3
21.645 * * [simplify]: Extracting #5: cost 4 inf + 132
21.645 * * [simplify]: Extracting #6: cost 0 inf + 710
21.646 * [simplify]: Simplified to:
  (+ t (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
25.040 * [regime-testing]: Baseline error score: 0.023127890986373297
25.077 * [regime-testing]: Oracle error score: 0.00450056257032129
25.160 * [regime-testing]: End program error score: 0.023127890986373297
25.622 * [regime-testing]: Target error score: 0.006875859482435304