33.690 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.023 * * * [progress]: [2/2] Setting up program.
0.027 * [progress]: [Phase 2 of 3] Improving.
0.027 * [simplify]: Simplifying:
  (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)
0.027 * * [simplify]: iteration 0: 13 enodes
0.030 * * [simplify]: iteration 1: 25 enodes
0.035 * * [simplify]: iteration 2: 48 enodes
0.050 * * [simplify]: iteration 3: 74 enodes
0.075 * * [simplify]: iteration 4: 113 enodes
0.093 * * [simplify]: iteration 5: 147 enodes
0.129 * * [simplify]: iteration 6: 179 enodes
0.169 * * [simplify]: iteration 7: 211 enodes
0.226 * * [simplify]: iteration 8: 269 enodes
0.339 * * [simplify]: iteration 9: 405 enodes
0.469 * * [simplify]: iteration 10: 610 enodes
0.633 * * [simplify]: iteration 11: 861 enodes
0.783 * * [simplify]: iteration 12: 1066 enodes
0.954 * * [simplify]: iteration 13: 1231 enodes
1.099 * * [simplify]: iteration 14: 1404 enodes
1.243 * * [simplify]: iteration 15: 1557 enodes
1.424 * * [simplify]: iteration 16: 1721 enodes
1.574 * * [simplify]: iteration 17: 1869 enodes
1.697 * * [simplify]: iteration 18: 2039 enodes
1.857 * * [simplify]: iteration 19: 2191 enodes
1.973 * * [simplify]: iteration 20: 2348 enodes
2.140 * * [simplify]: iteration 21: 2501 enodes
2.261 * * [simplify]: iteration 22: 2662 enodes
2.384 * * [simplify]: iteration 23: 2810 enodes
2.547 * * [simplify]: iteration 24: 2980 enodes
2.670 * * [simplify]: iteration 25: 3132 enodes
2.779 * * [simplify]: iteration 26: 3289 enodes
2.892 * * [simplify]: iteration 27: 3450 enodes
3.004 * * [simplify]: iteration 28: 3611 enodes
3.119 * * [simplify]: iteration 29: 3759 enodes
3.238 * * [simplify]: iteration 30: 3929 enodes
3.348 * * [simplify]: iteration 31: 4081 enodes
3.453 * * [simplify]: iteration 32: 4238 enodes
3.592 * * [simplify]: iteration 33: 4402 enodes
3.705 * * [simplify]: iteration 34: 4563 enodes
3.831 * * [simplify]: iteration 35: 4711 enodes
3.943 * * [simplify]: iteration 36: 4868 enodes
4.051 * * [simplify]: iteration complete: 5000 enodes
4.051 * * [simplify]: Extracting #0: cost 1 inf + 0
4.051 * * [simplify]: Extracting #1: cost 34 inf + 0
4.052 * * [simplify]: Extracting #2: cost 69 inf + 46
4.052 * * [simplify]: Extracting #3: cost 67 inf + 870
4.054 * * [simplify]: Extracting #4: cost 7 inf + 7356
4.058 * * [simplify]: Extracting #5: cost 0 inf + 8358
4.061 * [simplify]: Simplified to:
  (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0)))
4.068 * * [progress]: iteration 1 / 4
4.068 * * * [progress]: picking best candidate
4.072 * * * * [pick]: Picked  #<alt (λ (x y z t) (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0))))>
4.072 * * * [progress]: localizing error
4.094 * * * [progress]: generating rewritten candidates
4.094 * * * * [progress]: [ 1 / 1 ] rewriting at (2 3)
4.121 * * * [progress]: generating series expansions
4.121 * * * * [progress]: [ 1 / 1 ] generating series at (2 3)
4.121 * [backup-simplify]: Simplify (- t (/ (* z y) 2.0)) into (- t (* 0.5 (* z y)))
4.121 * [approximate]: Taking taylor expansion of (- t (* 0.5 (* z y))) in (t z y) around 0
4.121 * [taylor]: Taking taylor expansion of (- t (* 0.5 (* z y))) in y
4.121 * [taylor]: Taking taylor expansion of t in y
4.121 * [backup-simplify]: Simplify t into t
4.121 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in y
4.121 * [taylor]: Taking taylor expansion of 0.5 in y
4.121 * [backup-simplify]: Simplify 0.5 into 0.5
4.122 * [taylor]: Taking taylor expansion of (* z y) in y
4.122 * [taylor]: Taking taylor expansion of z in y
4.122 * [backup-simplify]: Simplify z into z
4.122 * [taylor]: Taking taylor expansion of y in y
4.122 * [backup-simplify]: Simplify 0 into 0
4.122 * [backup-simplify]: Simplify 1 into 1
4.122 * [taylor]: Taking taylor expansion of (- t (* 0.5 (* z y))) in z
4.122 * [taylor]: Taking taylor expansion of t in z
4.122 * [backup-simplify]: Simplify t into t
4.122 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in z
4.122 * [taylor]: Taking taylor expansion of 0.5 in z
4.122 * [backup-simplify]: Simplify 0.5 into 0.5
4.122 * [taylor]: Taking taylor expansion of (* z y) in z
4.122 * [taylor]: Taking taylor expansion of z in z
4.122 * [backup-simplify]: Simplify 0 into 0
4.122 * [backup-simplify]: Simplify 1 into 1
4.122 * [taylor]: Taking taylor expansion of y in z
4.122 * [backup-simplify]: Simplify y into y
4.122 * [taylor]: Taking taylor expansion of (- t (* 0.5 (* z y))) in t
4.122 * [taylor]: Taking taylor expansion of t in t
4.122 * [backup-simplify]: Simplify 0 into 0
4.122 * [backup-simplify]: Simplify 1 into 1
4.122 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in t
4.122 * [taylor]: Taking taylor expansion of 0.5 in t
4.122 * [backup-simplify]: Simplify 0.5 into 0.5
4.122 * [taylor]: Taking taylor expansion of (* z y) in t
4.122 * [taylor]: Taking taylor expansion of z in t
4.122 * [backup-simplify]: Simplify z into z
4.122 * [taylor]: Taking taylor expansion of y in t
4.122 * [backup-simplify]: Simplify y into y
4.122 * [taylor]: Taking taylor expansion of (- t (* 0.5 (* z y))) in t
4.122 * [taylor]: Taking taylor expansion of t in t
4.122 * [backup-simplify]: Simplify 0 into 0
4.122 * [backup-simplify]: Simplify 1 into 1
4.122 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in t
4.122 * [taylor]: Taking taylor expansion of 0.5 in t
4.122 * [backup-simplify]: Simplify 0.5 into 0.5
4.122 * [taylor]: Taking taylor expansion of (* z y) in t
4.122 * [taylor]: Taking taylor expansion of z in t
4.122 * [backup-simplify]: Simplify z into z
4.122 * [taylor]: Taking taylor expansion of y in t
4.122 * [backup-simplify]: Simplify y into y
4.122 * [backup-simplify]: Simplify (* z y) into (* z y)
4.122 * [backup-simplify]: Simplify (* 0.5 (* z y)) into (* 0.5 (* z y))
4.122 * [backup-simplify]: Simplify (- (* 0.5 (* z y))) into (- (* 0.5 (* z y)))
4.123 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (* z y)))) into (- (* 0.5 (* z y)))
4.123 * [taylor]: Taking taylor expansion of (- (* 0.5 (* z y))) in z
4.123 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in z
4.123 * [taylor]: Taking taylor expansion of 0.5 in z
4.123 * [backup-simplify]: Simplify 0.5 into 0.5
4.123 * [taylor]: Taking taylor expansion of (* z y) in z
4.123 * [taylor]: Taking taylor expansion of z in z
4.123 * [backup-simplify]: Simplify 0 into 0
4.123 * [backup-simplify]: Simplify 1 into 1
4.123 * [taylor]: Taking taylor expansion of y in z
4.123 * [backup-simplify]: Simplify y into y
4.123 * [backup-simplify]: Simplify (* 0 y) into 0
4.123 * [backup-simplify]: Simplify (* 0.5 0) into 0
4.124 * [backup-simplify]: Simplify (- 0) into 0
4.124 * [taylor]: Taking taylor expansion of 0 in y
4.124 * [backup-simplify]: Simplify 0 into 0
4.124 * [backup-simplify]: Simplify 0 into 0
4.124 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
4.124 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* z y))) into 0
4.124 * [backup-simplify]: Simplify (- 0) into 0
4.125 * [backup-simplify]: Simplify (+ 1 0) into 1
4.125 * [taylor]: Taking taylor expansion of 1 in z
4.125 * [backup-simplify]: Simplify 1 into 1
4.125 * [taylor]: Taking taylor expansion of 1 in y
4.125 * [backup-simplify]: Simplify 1 into 1
4.125 * [backup-simplify]: Simplify 1 into 1
4.125 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.125 * [backup-simplify]: Simplify (+ (* 0.5 y) (* 0 0)) into (* 0.5 y)
4.125 * [backup-simplify]: Simplify (- (* 0.5 y)) into (- (* 0.5 y))
4.125 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y
4.125 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
4.125 * [taylor]: Taking taylor expansion of 0.5 in y
4.125 * [backup-simplify]: Simplify 0.5 into 0.5
4.126 * [taylor]: Taking taylor expansion of y in y
4.126 * [backup-simplify]: Simplify 0 into 0
4.126 * [backup-simplify]: Simplify 1 into 1
4.126 * [backup-simplify]: Simplify (* 0.5 0) into 0
4.126 * [backup-simplify]: Simplify (- 0) into 0
4.126 * [backup-simplify]: Simplify 0 into 0
4.126 * [backup-simplify]: Simplify 0 into 0
4.126 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
4.127 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* z y)))) into 0
4.127 * [backup-simplify]: Simplify (- 0) into 0
4.127 * [backup-simplify]: Simplify (+ 0 0) into 0
4.127 * [taylor]: Taking taylor expansion of 0 in z
4.128 * [backup-simplify]: Simplify 0 into 0
4.128 * [taylor]: Taking taylor expansion of 0 in y
4.128 * [backup-simplify]: Simplify 0 into 0
4.128 * [backup-simplify]: Simplify 0 into 0
4.128 * [taylor]: Taking taylor expansion of 0 in y
4.128 * [backup-simplify]: Simplify 0 into 0
4.128 * [backup-simplify]: Simplify 0 into 0
4.128 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.129 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 y) (* 0 0))) into 0
4.129 * [backup-simplify]: Simplify (- 0) into 0
4.129 * [taylor]: Taking taylor expansion of 0 in y
4.129 * [backup-simplify]: Simplify 0 into 0
4.129 * [backup-simplify]: Simplify 0 into 0
4.129 * [backup-simplify]: Simplify 0 into 0
4.129 * [backup-simplify]: Simplify (* 1 (* 1 (* 1 t))) into t
4.129 * [backup-simplify]: Simplify (- (/ 1 t) (/ (* (/ 1 z) (/ 1 y)) 2.0)) into (- (/ 1 t) (* 0.5 (/ 1 (* z y))))
4.129 * [approximate]: Taking taylor expansion of (- (/ 1 t) (* 0.5 (/ 1 (* z y)))) in (t z y) around 0
4.129 * [taylor]: Taking taylor expansion of (- (/ 1 t) (* 0.5 (/ 1 (* z y)))) in y
4.129 * [taylor]: Taking taylor expansion of (/ 1 t) in y
4.129 * [taylor]: Taking taylor expansion of t in y
4.129 * [backup-simplify]: Simplify t into t
4.129 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
4.129 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y
4.129 * [taylor]: Taking taylor expansion of 0.5 in y
4.129 * [backup-simplify]: Simplify 0.5 into 0.5
4.129 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
4.129 * [taylor]: Taking taylor expansion of (* z y) in y
4.129 * [taylor]: Taking taylor expansion of z in y
4.129 * [backup-simplify]: Simplify z into z
4.129 * [taylor]: Taking taylor expansion of y in y
4.129 * [backup-simplify]: Simplify 0 into 0
4.129 * [backup-simplify]: Simplify 1 into 1
4.130 * [backup-simplify]: Simplify (* z 0) into 0
4.130 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
4.130 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.130 * [taylor]: Taking taylor expansion of (- (/ 1 t) (* 0.5 (/ 1 (* z y)))) in z
4.130 * [taylor]: Taking taylor expansion of (/ 1 t) in z
4.130 * [taylor]: Taking taylor expansion of t in z
4.130 * [backup-simplify]: Simplify t into t
4.130 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
4.130 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in z
4.130 * [taylor]: Taking taylor expansion of 0.5 in z
4.130 * [backup-simplify]: Simplify 0.5 into 0.5
4.130 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
4.130 * [taylor]: Taking taylor expansion of (* z y) in z
4.130 * [taylor]: Taking taylor expansion of z in z
4.130 * [backup-simplify]: Simplify 0 into 0
4.130 * [backup-simplify]: Simplify 1 into 1
4.130 * [taylor]: Taking taylor expansion of y in z
4.130 * [backup-simplify]: Simplify y into y
4.130 * [backup-simplify]: Simplify (* 0 y) into 0
4.130 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.130 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.130 * [taylor]: Taking taylor expansion of (- (/ 1 t) (* 0.5 (/ 1 (* z y)))) in t
4.130 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.131 * [taylor]: Taking taylor expansion of t in t
4.131 * [backup-simplify]: Simplify 0 into 0
4.131 * [backup-simplify]: Simplify 1 into 1
4.131 * [backup-simplify]: Simplify (/ 1 1) into 1
4.131 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in t
4.131 * [taylor]: Taking taylor expansion of 0.5 in t
4.131 * [backup-simplify]: Simplify 0.5 into 0.5
4.131 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
4.131 * [taylor]: Taking taylor expansion of (* z y) in t
4.131 * [taylor]: Taking taylor expansion of z in t
4.131 * [backup-simplify]: Simplify z into z
4.131 * [taylor]: Taking taylor expansion of y in t
4.131 * [backup-simplify]: Simplify y into y
4.131 * [backup-simplify]: Simplify (* z y) into (* z y)
4.131 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
4.131 * [taylor]: Taking taylor expansion of (- (/ 1 t) (* 0.5 (/ 1 (* z y)))) in t
4.131 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.131 * [taylor]: Taking taylor expansion of t in t
4.131 * [backup-simplify]: Simplify 0 into 0
4.131 * [backup-simplify]: Simplify 1 into 1
4.131 * [backup-simplify]: Simplify (/ 1 1) into 1
4.131 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in t
4.131 * [taylor]: Taking taylor expansion of 0.5 in t
4.131 * [backup-simplify]: Simplify 0.5 into 0.5
4.131 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
4.131 * [taylor]: Taking taylor expansion of (* z y) in t
4.131 * [taylor]: Taking taylor expansion of z in t
4.131 * [backup-simplify]: Simplify z into z
4.132 * [taylor]: Taking taylor expansion of y in t
4.132 * [backup-simplify]: Simplify y into y
4.132 * [backup-simplify]: Simplify (* z y) into (* z y)
4.132 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
4.132 * [backup-simplify]: Simplify (+ 1 0) into 1
4.132 * [taylor]: Taking taylor expansion of 1 in z
4.132 * [backup-simplify]: Simplify 1 into 1
4.132 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.132 * [backup-simplify]: Simplify (* 0.5 (/ 1 (* z y))) into (/ 0.5 (* z y))
4.133 * [backup-simplify]: Simplify (- (/ 0.5 (* z y))) into (- (* 0.5 (/ 1 (* z y))))
4.133 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ 1 (* z y))))) into (- (* 0.5 (/ 1 (* z y))))
4.133 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (* z y)))) in z
4.133 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in z
4.133 * [taylor]: Taking taylor expansion of 0.5 in z
4.133 * [backup-simplify]: Simplify 0.5 into 0.5
4.133 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
4.133 * [taylor]: Taking taylor expansion of (* z y) in z
4.133 * [taylor]: Taking taylor expansion of z in z
4.133 * [backup-simplify]: Simplify 0 into 0
4.133 * [backup-simplify]: Simplify 1 into 1
4.133 * [taylor]: Taking taylor expansion of y in z
4.133 * [backup-simplify]: Simplify y into y
4.133 * [backup-simplify]: Simplify (* 0 y) into 0
4.133 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.133 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.133 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
4.133 * [backup-simplify]: Simplify (- (/ 0.5 y)) into (- (* 0.5 (/ 1 y)))
4.133 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y
4.133 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
4.133 * [taylor]: Taking taylor expansion of 0.5 in y
4.133 * [backup-simplify]: Simplify 0.5 into 0.5
4.133 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.133 * [taylor]: Taking taylor expansion of y in y
4.133 * [backup-simplify]: Simplify 0 into 0
4.133 * [backup-simplify]: Simplify 1 into 1
4.134 * [backup-simplify]: Simplify (/ 1 1) into 1
4.134 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
4.134 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.134 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.135 * [taylor]: Taking taylor expansion of 1 in y
4.135 * [backup-simplify]: Simplify 1 into 1
4.135 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.135 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
4.135 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
4.136 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (* z y)))) into 0
4.136 * [backup-simplify]: Simplify (- 0) into 0
4.136 * [backup-simplify]: Simplify (+ 0 0) into 0
4.136 * [taylor]: Taking taylor expansion of 0 in z
4.136 * [backup-simplify]: Simplify 0 into 0
4.137 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.137 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.137 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0
4.137 * [backup-simplify]: Simplify (- 0) into 0
4.137 * [taylor]: Taking taylor expansion of 0 in y
4.137 * [backup-simplify]: Simplify 0 into 0
4.137 * [taylor]: Taking taylor expansion of 0 in y
4.137 * [backup-simplify]: Simplify 0 into 0
4.138 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.138 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
4.138 * [backup-simplify]: Simplify (- 0) into 0
4.138 * [backup-simplify]: Simplify 0 into 0
4.138 * [backup-simplify]: Simplify 1 into 1
4.139 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.139 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
4.139 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
4.140 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 (* z y))))) into 0
4.140 * [backup-simplify]: Simplify (- 0) into 0
4.140 * [backup-simplify]: Simplify (+ 0 0) into 0
4.141 * [taylor]: Taking taylor expansion of 0 in z
4.141 * [backup-simplify]: Simplify 0 into 0
4.141 * [taylor]: Taking taylor expansion of 0 in y
4.141 * [backup-simplify]: Simplify 0 into 0
4.141 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.141 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.142 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
4.142 * [backup-simplify]: Simplify (- 0) into 0
4.142 * [taylor]: Taking taylor expansion of 0 in y
4.142 * [backup-simplify]: Simplify 0 into 0
4.142 * [taylor]: Taking taylor expansion of 0 in y
4.142 * [backup-simplify]: Simplify 0 into 0
4.142 * [backup-simplify]: Simplify 0 into 0
4.142 * [backup-simplify]: Simplify 0 into 0
4.143 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.143 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
4.144 * [backup-simplify]: Simplify (- 0) into 0
4.144 * [backup-simplify]: Simplify 0 into 0
4.144 * [backup-simplify]: Simplify 0 into 0
4.144 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.145 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
4.145 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
4.146 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* z y)))))) into 0
4.146 * [backup-simplify]: Simplify (- 0) into 0
4.146 * [backup-simplify]: Simplify (+ 0 0) into 0
4.146 * [taylor]: Taking taylor expansion of 0 in z
4.146 * [backup-simplify]: Simplify 0 into 0
4.146 * [taylor]: Taking taylor expansion of 0 in y
4.146 * [backup-simplify]: Simplify 0 into 0
4.146 * [taylor]: Taking taylor expansion of 0 in y
4.146 * [backup-simplify]: Simplify 0 into 0
4.147 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.147 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.148 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
4.148 * [backup-simplify]: Simplify (- 0) into 0
4.148 * [taylor]: Taking taylor expansion of 0 in y
4.148 * [backup-simplify]: Simplify 0 into 0
4.148 * [taylor]: Taking taylor expansion of 0 in y
4.148 * [backup-simplify]: Simplify 0 into 0
4.148 * [backup-simplify]: Simplify 0 into 0
4.149 * [backup-simplify]: Simplify 0 into 0
4.149 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (/ 1 (/ 1 t))))) (* (- 0.5) (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 z)) 1)))) into (- t (* 0.5 (* z y)))
4.149 * [backup-simplify]: Simplify (- (/ 1 (- t)) (/ (* (/ 1 (- z)) (/ 1 (- y))) 2.0)) into (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))))
4.149 * [approximate]: Taking taylor expansion of (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))) in (t z y) around 0
4.149 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))) in y
4.149 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))) in y
4.149 * [taylor]: Taking taylor expansion of (/ 1 t) in y
4.149 * [taylor]: Taking taylor expansion of t in y
4.149 * [backup-simplify]: Simplify t into t
4.149 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
4.149 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y
4.149 * [taylor]: Taking taylor expansion of 0.5 in y
4.149 * [backup-simplify]: Simplify 0.5 into 0.5
4.149 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
4.149 * [taylor]: Taking taylor expansion of (* z y) in y
4.149 * [taylor]: Taking taylor expansion of z in y
4.149 * [backup-simplify]: Simplify z into z
4.149 * [taylor]: Taking taylor expansion of y in y
4.149 * [backup-simplify]: Simplify 0 into 0
4.149 * [backup-simplify]: Simplify 1 into 1
4.149 * [backup-simplify]: Simplify (* z 0) into 0
4.150 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
4.150 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.150 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))) in z
4.150 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))) in z
4.150 * [taylor]: Taking taylor expansion of (/ 1 t) in z
4.150 * [taylor]: Taking taylor expansion of t in z
4.150 * [backup-simplify]: Simplify t into t
4.150 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
4.150 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in z
4.150 * [taylor]: Taking taylor expansion of 0.5 in z
4.150 * [backup-simplify]: Simplify 0.5 into 0.5
4.150 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
4.150 * [taylor]: Taking taylor expansion of (* z y) in z
4.150 * [taylor]: Taking taylor expansion of z in z
4.150 * [backup-simplify]: Simplify 0 into 0
4.150 * [backup-simplify]: Simplify 1 into 1
4.150 * [taylor]: Taking taylor expansion of y in z
4.150 * [backup-simplify]: Simplify y into y
4.150 * [backup-simplify]: Simplify (* 0 y) into 0
4.151 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.151 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.151 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))) in t
4.151 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))) in t
4.151 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.151 * [taylor]: Taking taylor expansion of t in t
4.151 * [backup-simplify]: Simplify 0 into 0
4.151 * [backup-simplify]: Simplify 1 into 1
4.152 * [backup-simplify]: Simplify (/ 1 1) into 1
4.152 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in t
4.152 * [taylor]: Taking taylor expansion of 0.5 in t
4.152 * [backup-simplify]: Simplify 0.5 into 0.5
4.152 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
4.152 * [taylor]: Taking taylor expansion of (* z y) in t
4.152 * [taylor]: Taking taylor expansion of z in t
4.152 * [backup-simplify]: Simplify z into z
4.152 * [taylor]: Taking taylor expansion of y in t
4.152 * [backup-simplify]: Simplify y into y
4.152 * [backup-simplify]: Simplify (* z y) into (* z y)
4.152 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
4.152 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (* 0.5 (/ 1 (* z y))))) in t
4.152 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (* 0.5 (/ 1 (* z y)))) in t
4.152 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.152 * [taylor]: Taking taylor expansion of t in t
4.152 * [backup-simplify]: Simplify 0 into 0
4.152 * [backup-simplify]: Simplify 1 into 1
4.152 * [backup-simplify]: Simplify (/ 1 1) into 1
4.153 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in t
4.153 * [taylor]: Taking taylor expansion of 0.5 in t
4.153 * [backup-simplify]: Simplify 0.5 into 0.5
4.153 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
4.153 * [taylor]: Taking taylor expansion of (* z y) in t
4.153 * [taylor]: Taking taylor expansion of z in t
4.153 * [backup-simplify]: Simplify z into z
4.153 * [taylor]: Taking taylor expansion of y in t
4.153 * [backup-simplify]: Simplify y into y
4.153 * [backup-simplify]: Simplify (* z y) into (* z y)
4.153 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
4.153 * [backup-simplify]: Simplify (+ 1 0) into 1
4.154 * [backup-simplify]: Simplify (- 1) into -1
4.154 * [taylor]: Taking taylor expansion of -1 in z
4.154 * [backup-simplify]: Simplify -1 into -1
4.155 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.155 * [backup-simplify]: Simplify (* 0.5 (/ 1 (* z y))) into (/ 0.5 (* z y))
4.155 * [backup-simplify]: Simplify (+ 0 (/ 0.5 (* z y))) into (* 0.5 (/ 1 (* z y)))
4.155 * [backup-simplify]: Simplify (- (* 0.5 (/ 1 (* z y)))) into (- (* 0.5 (/ 1 (* z y))))
4.155 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (* z y)))) in z
4.155 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in z
4.155 * [taylor]: Taking taylor expansion of 0.5 in z
4.155 * [backup-simplify]: Simplify 0.5 into 0.5
4.155 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
4.155 * [taylor]: Taking taylor expansion of (* z y) in z
4.155 * [taylor]: Taking taylor expansion of z in z
4.155 * [backup-simplify]: Simplify 0 into 0
4.155 * [backup-simplify]: Simplify 1 into 1
4.155 * [taylor]: Taking taylor expansion of y in z
4.155 * [backup-simplify]: Simplify y into y
4.155 * [backup-simplify]: Simplify (* 0 y) into 0
4.156 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.156 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.156 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
4.156 * [backup-simplify]: Simplify (- (/ 0.5 y)) into (- (* 0.5 (/ 1 y)))
4.156 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y
4.156 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
4.156 * [taylor]: Taking taylor expansion of 0.5 in y
4.156 * [backup-simplify]: Simplify 0.5 into 0.5
4.156 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.156 * [taylor]: Taking taylor expansion of y in y
4.156 * [backup-simplify]: Simplify 0 into 0
4.156 * [backup-simplify]: Simplify 1 into 1
4.157 * [backup-simplify]: Simplify (/ 1 1) into 1
4.157 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
4.158 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.158 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.158 * [taylor]: Taking taylor expansion of -1 in y
4.158 * [backup-simplify]: Simplify -1 into -1
4.158 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.158 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
4.159 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
4.159 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (* z y)))) into 0
4.159 * [backup-simplify]: Simplify (+ 0 0) into 0
4.159 * [backup-simplify]: Simplify (- 0) into 0
4.159 * [taylor]: Taking taylor expansion of 0 in z
4.159 * [backup-simplify]: Simplify 0 into 0
4.160 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.160 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.160 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0
4.161 * [backup-simplify]: Simplify (- 0) into 0
4.161 * [taylor]: Taking taylor expansion of 0 in y
4.161 * [backup-simplify]: Simplify 0 into 0
4.161 * [taylor]: Taking taylor expansion of 0 in y
4.161 * [backup-simplify]: Simplify 0 into 0
4.161 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.161 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
4.162 * [backup-simplify]: Simplify (- 0) into 0
4.162 * [backup-simplify]: Simplify 0 into 0
4.162 * [backup-simplify]: Simplify -1 into -1
4.163 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.163 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
4.163 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
4.164 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 (* z y))))) into 0
4.164 * [backup-simplify]: Simplify (+ 0 0) into 0
4.164 * [backup-simplify]: Simplify (- 0) into 0
4.164 * [taylor]: Taking taylor expansion of 0 in z
4.164 * [backup-simplify]: Simplify 0 into 0
4.164 * [taylor]: Taking taylor expansion of 0 in y
4.164 * [backup-simplify]: Simplify 0 into 0
4.165 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.165 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.165 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
4.166 * [backup-simplify]: Simplify (- 0) into 0
4.166 * [taylor]: Taking taylor expansion of 0 in y
4.166 * [backup-simplify]: Simplify 0 into 0
4.166 * [taylor]: Taking taylor expansion of 0 in y
4.166 * [backup-simplify]: Simplify 0 into 0
4.166 * [backup-simplify]: Simplify 0 into 0
4.166 * [backup-simplify]: Simplify 0 into 0
4.166 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.167 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
4.167 * [backup-simplify]: Simplify (- 0) into 0
4.167 * [backup-simplify]: Simplify 0 into 0
4.167 * [backup-simplify]: Simplify 0 into 0
4.168 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.168 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
4.168 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
4.169 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* z y)))))) into 0
4.169 * [backup-simplify]: Simplify (+ 0 0) into 0
4.170 * [backup-simplify]: Simplify (- 0) into 0
4.170 * [taylor]: Taking taylor expansion of 0 in z
4.170 * [backup-simplify]: Simplify 0 into 0
4.170 * [taylor]: Taking taylor expansion of 0 in y
4.170 * [backup-simplify]: Simplify 0 into 0
4.170 * [taylor]: Taking taylor expansion of 0 in y
4.170 * [backup-simplify]: Simplify 0 into 0
4.171 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.171 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.171 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
4.172 * [backup-simplify]: Simplify (- 0) into 0
4.172 * [taylor]: Taking taylor expansion of 0 in y
4.172 * [backup-simplify]: Simplify 0 into 0
4.172 * [taylor]: Taking taylor expansion of 0 in y
4.172 * [backup-simplify]: Simplify 0 into 0
4.172 * [backup-simplify]: Simplify 0 into 0
4.172 * [backup-simplify]: Simplify 0 into 0
4.172 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (/ 1 (/ 1 (- t)))))) (* (- 0.5) (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- z))) 1)))) into (- t (* 0.5 (* z y)))
4.172 * * * [progress]: simplifying candidates
4.173 * [simplify]: Simplifying:
  (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* (cbrt (/ (* z y) 2.0)) (* (cbrt (/ (* z y) 2.0)) (cbrt (/ (* z y) 2.0))))))
  (fma (- (cbrt (/ (* z y) 2.0))) (* (cbrt (/ (* z y) 2.0)) (cbrt (/ (* z y) 2.0))) (* (cbrt (/ (* z y) 2.0)) (* (cbrt (/ (* z y) 2.0)) (cbrt (/ (* z y) 2.0)))))
  (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* (sqrt (/ (* z y) 2.0)) (sqrt (/ (* z y) 2.0)))))
  (fma (- (sqrt (/ (* z y) 2.0))) (sqrt (/ (* z y) 2.0)) (* (sqrt (/ (* z y) 2.0)) (sqrt (/ (* z y) 2.0))))
  (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* (/ y (cbrt 2.0)) (/ z (* (cbrt 2.0) (cbrt 2.0))))))
  (fma (- (/ y (cbrt 2.0))) (/ z (* (cbrt 2.0) (cbrt 2.0))) (* (/ y (cbrt 2.0)) (/ z (* (cbrt 2.0) (cbrt 2.0)))))
  (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* (/ y (sqrt 2.0)) (/ z (sqrt 2.0)))))
  (fma (- (/ y (sqrt 2.0))) (/ z (sqrt 2.0)) (* (/ y (sqrt 2.0)) (/ z (sqrt 2.0))))
  (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* (/ y 2.0) (/ z 1))))
  (fma (- (/ y 2.0)) (/ z 1) (* (/ y 2.0) (/ z 1)))
  (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* (/ (* z y) 2.0) 1)))
  (fma (- (/ (* z y) 2.0)) 1 (* (/ (* z y) 2.0) 1))
  (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* (/ 1 2.0) (* z y))))
  (fma (- (/ 1 2.0)) (* z y) (* (/ 1 2.0) (* z y)))
  (fma (sqrt t) (sqrt t) (- (* (cbrt (/ (* z y) 2.0)) (* (cbrt (/ (* z y) 2.0)) (cbrt (/ (* z y) 2.0))))))
  (fma (- (cbrt (/ (* z y) 2.0))) (* (cbrt (/ (* z y) 2.0)) (cbrt (/ (* z y) 2.0))) (* (cbrt (/ (* z y) 2.0)) (* (cbrt (/ (* z y) 2.0)) (cbrt (/ (* z y) 2.0)))))
  (fma (sqrt t) (sqrt t) (- (* (sqrt (/ (* z y) 2.0)) (sqrt (/ (* z y) 2.0)))))
  (fma (- (sqrt (/ (* z y) 2.0))) (sqrt (/ (* z y) 2.0)) (* (sqrt (/ (* z y) 2.0)) (sqrt (/ (* z y) 2.0))))
  (fma (sqrt t) (sqrt t) (- (* (/ y (cbrt 2.0)) (/ z (* (cbrt 2.0) (cbrt 2.0))))))
  (fma (- (/ y (cbrt 2.0))) (/ z (* (cbrt 2.0) (cbrt 2.0))) (* (/ y (cbrt 2.0)) (/ z (* (cbrt 2.0) (cbrt 2.0)))))
  (fma (sqrt t) (sqrt t) (- (* (/ y (sqrt 2.0)) (/ z (sqrt 2.0)))))
  (fma (- (/ y (sqrt 2.0))) (/ z (sqrt 2.0)) (* (/ y (sqrt 2.0)) (/ z (sqrt 2.0))))
  (fma (sqrt t) (sqrt t) (- (* (/ y 2.0) (/ z 1))))
  (fma (- (/ y 2.0)) (/ z 1) (* (/ y 2.0) (/ z 1)))
  (fma (sqrt t) (sqrt t) (- (* (/ (* z y) 2.0) 1)))
  (fma (- (/ (* z y) 2.0)) 1 (* (/ (* z y) 2.0) 1))
  (fma (sqrt t) (sqrt t) (- (* (/ 1 2.0) (* z y))))
  (fma (- (/ 1 2.0)) (* z y) (* (/ 1 2.0) (* z y)))
  (fma 1 t (- (* (cbrt (/ (* z y) 2.0)) (* (cbrt (/ (* z y) 2.0)) (cbrt (/ (* z y) 2.0))))))
  (fma (- (cbrt (/ (* z y) 2.0))) (* (cbrt (/ (* z y) 2.0)) (cbrt (/ (* z y) 2.0))) (* (cbrt (/ (* z y) 2.0)) (* (cbrt (/ (* z y) 2.0)) (cbrt (/ (* z y) 2.0)))))
  (fma 1 t (- (* (sqrt (/ (* z y) 2.0)) (sqrt (/ (* z y) 2.0)))))
  (fma (- (sqrt (/ (* z y) 2.0))) (sqrt (/ (* z y) 2.0)) (* (sqrt (/ (* z y) 2.0)) (sqrt (/ (* z y) 2.0))))
  (fma 1 t (- (* (/ y (cbrt 2.0)) (/ z (* (cbrt 2.0) (cbrt 2.0))))))
  (fma (- (/ y (cbrt 2.0))) (/ z (* (cbrt 2.0) (cbrt 2.0))) (* (/ y (cbrt 2.0)) (/ z (* (cbrt 2.0) (cbrt 2.0)))))
  (fma 1 t (- (* (/ y (sqrt 2.0)) (/ z (sqrt 2.0)))))
  (fma (- (/ y (sqrt 2.0))) (/ z (sqrt 2.0)) (* (/ y (sqrt 2.0)) (/ z (sqrt 2.0))))
  (fma 1 t (- (* (/ y 2.0) (/ z 1))))
  (fma (- (/ y 2.0)) (/ z 1) (* (/ y 2.0) (/ z 1)))
  (fma 1 t (- (* (/ (* z y) 2.0) 1)))
  (fma (- (/ (* z y) 2.0)) 1 (* (/ (* z y) 2.0) 1))
  (fma 1 t (- (* (/ 1 2.0) (* z y))))
  (fma (- (/ 1 2.0)) (* z y) (* (/ 1 2.0) (* z y)))
  (expm1 (- t (/ (* z y) 2.0)))
  (log1p (- t (/ (* z y) 2.0)))
  (- (/ (* z y) 2.0))
  (- (/ (* z y) 2.0))
  (- (/ (* z y) 2.0))
  (/ (exp t) (exp (/ (* z y) 2.0)))
  (log (- t (/ (* z y) 2.0)))
  (exp (- t (/ (* z y) 2.0)))
  (* (cbrt (- t (/ (* z y) 2.0))) (cbrt (- t (/ (* z y) 2.0))))
  (cbrt (- t (/ (* z y) 2.0)))
  (* (* (- t (/ (* z y) 2.0)) (- t (/ (* z y) 2.0))) (- t (/ (* z y) 2.0)))
  (sqrt (- t (/ (* z y) 2.0)))
  (sqrt (- t (/ (* z y) 2.0)))
  (- (pow t 3) (pow (/ (* z y) 2.0) 3))
  (+ (* t t) (+ (* (/ (* z y) 2.0) (/ (* z y) 2.0)) (* t (/ (* z y) 2.0))))
  (- (/ (* z y) 2.0))
  (- (* t t) (* (/ (* z y) 2.0) (/ (* z y) 2.0)))
  (+ t (/ (* z y) 2.0))
  (+ (sqrt t) (sqrt (/ (* z y) 2.0)))
  (- (sqrt t) (sqrt (/ (* z y) 2.0)))
  (- t (/ (* z y) 2.0))
  (- (/ (* z y) 2.0))
  t
  (- t (* 0.5 (* z y)))
  (- t (* 0.5 (* z y)))
4.174 * * [simplify]: iteration 0: 101 enodes
4.194 * * [simplify]: iteration 1: 243 enodes
4.286 * * [simplify]: iteration 2: 642 enodes
4.700 * * [simplify]: iteration 3: 2285 enodes
6.211 * * [simplify]: iteration complete: 5002 enodes
6.211 * * [simplify]: Extracting #0: cost 23 inf + 0
6.212 * * [simplify]: Extracting #1: cost 237 inf + 2
6.221 * * [simplify]: Extracting #2: cost 896 inf + 2344
6.235 * * [simplify]: Extracting #3: cost 967 inf + 56167
6.298 * * [simplify]: Extracting #4: cost 262 inf + 208499
6.387 * * [simplify]: Extracting #5: cost 50 inf + 255576
6.446 * * [simplify]: Extracting #6: cost 5 inf + 263384
6.497 * * [simplify]: Extracting #7: cost 0 inf + 264559
6.564 * [simplify]: Simplified to:
  (- t (* (/ y 2.0) z))
  0
  (- t (* (/ y 2.0) z))
  0
  (- t (/ (* (/ (/ z (cbrt 2.0)) (cbrt 2.0)) y) (cbrt 2.0)))
  (/ (* z (+ (- (/ y (cbrt 2.0))) (/ y (cbrt 2.0)))) (* (cbrt 2.0) (cbrt 2.0)))
  (- t (/ (* z y) 2.0))
  (+ (/ (* z y) 2.0) (- (/ (* z y) 2.0)))
  (- t (* (/ y 2.0) z))
  0
  (- t (* (/ y 2.0) z))
  0
  (- t (* (/ y 2.0) z))
  0
  (- t (* (/ y 2.0) z))
  0
  (- t (* (/ y 2.0) z))
  0
  (- t (/ (* (/ (/ z (cbrt 2.0)) (cbrt 2.0)) y) (cbrt 2.0)))
  (/ (* z (+ (- (/ y (cbrt 2.0))) (/ y (cbrt 2.0)))) (* (cbrt 2.0) (cbrt 2.0)))
  (- t (/ (* z y) 2.0))
  (+ (/ (* z y) 2.0) (- (/ (* z y) 2.0)))
  (- t (* (/ y 2.0) z))
  0
  (- t (* (/ y 2.0) z))
  0
  (- t (* (/ y 2.0) z))
  0
  (- t (* (/ y 2.0) z))
  0
  (- t (* (/ y 2.0) z))
  0
  (- t (/ (* (/ (/ z (cbrt 2.0)) (cbrt 2.0)) y) (cbrt 2.0)))
  (/ (* z (+ (- (/ y (cbrt 2.0))) (/ y (cbrt 2.0)))) (* (cbrt 2.0) (cbrt 2.0)))
  (- t (/ (* z y) 2.0))
  (+ (/ (* z y) 2.0) (- (/ (* z y) 2.0)))
  (- t (* (/ y 2.0) z))
  0
  (- t (* (/ y 2.0) z))
  0
  (- t (* (/ y 2.0) z))
  0
  (expm1 (- t (* (/ y 2.0) z)))
  (log1p (- t (* (/ y 2.0) z)))
  (* z (- (/ y 2.0)))
  (* z (- (/ y 2.0)))
  (* z (- (/ y 2.0)))
  (exp (- t (* (/ y 2.0) z)))
  (log (- t (* (/ y 2.0) z)))
  (exp (- t (* (/ y 2.0) z)))
  (* (cbrt (- t (* (/ y 2.0) z))) (cbrt (- t (* (/ y 2.0) z))))
  (cbrt (- t (* (/ y 2.0) z)))
  (* (- t (* (/ y 2.0) z)) (* (- t (* (/ y 2.0) z)) (- t (* (/ y 2.0) z))))
  (sqrt (- t (* (/ y 2.0) z)))
  (sqrt (- t (* (/ y 2.0) z)))
  (- (* (* t t) t) (* (* (/ y 2.0) z) (* (* (/ y 2.0) z) (* (/ y 2.0) z))))
  (fma (* (/ y 2.0) z) (* (/ y 2.0) z) (fma t (* (/ y 2.0) z) (* t t)))
  (* z (- (/ y 2.0)))
  (* (+ t (* (/ y 2.0) z)) (- t (* (/ y 2.0) z)))
  (fma (/ z 2.0) y t)
  (+ (sqrt (* (/ y 2.0) z)) (sqrt t))
  (- (sqrt t) (sqrt (* (/ y 2.0) z)))
  (- t (* (/ y 2.0) z))
  (* z (- (/ y 2.0)))
  t
  (- t (* y (* z 0.5)))
  (- t (* y (* z 0.5)))
6.568 * * * [progress]: adding candidates to table
6.777 * [progress]: [Phase 3 of 3] Extracting.
6.782 * [simplify]: Simplifying:
  (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0)))
6.782 * * [simplify]: iteration 0: 12 enodes
6.782 * * [simplify]: iteration 1: 13 enodes
6.783 * * [simplify]: iteration complete: 13 enodes
6.783 * * [simplify]: Extracting #0: cost 1 inf + 0
6.783 * * [simplify]: Extracting #1: cost 4 inf + 0
6.783 * * [simplify]: Extracting #2: cost 7 inf + 1
6.783 * * [simplify]: Extracting #3: cost 6 inf + 4
6.783 * * [simplify]: Extracting #4: cost 6 inf + 47
6.783 * * [simplify]: Extracting #5: cost 0 inf + 520
6.783 * [simplify]: Simplified to:
  (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0)))
8.130 * [regime-testing]: Baseline error score: 0.007239266232730156
8.142 * [regime-testing]: Oracle error score: 0.007239266232730156
8.142 * [regime-testing]: End program error score: 0.007239266232730156
8.291 * [regime-testing]: Target error score: 0.007364281859683525