26.230 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.044 * * * [progress]: [2/2] Setting up program.
0.052 * [progress]: [Phase 2 of 3] Improving.
0.052 * [simplify]: Simplifying:
  (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)
0.052 * * [simplify]: iteration 0: 13 enodes
0.056 * * [simplify]: iteration 1: 24 enodes
0.063 * * [simplify]: iteration 2: 46 enodes
0.075 * * [simplify]: iteration 3: 72 enodes
0.096 * * [simplify]: iteration 4: 132 enodes
0.137 * * [simplify]: iteration 5: 225 enodes
0.177 * * [simplify]: iteration 6: 442 enodes
0.342 * * [simplify]: iteration 7: 1059 enodes
1.143 * * [simplify]: iteration 8: 2777 enodes
1.895 * * [simplify]: iteration complete: 5001 enodes
1.895 * * [simplify]: Extracting #0: cost 1 inf + 0
1.898 * * [simplify]: Extracting #1: cost 1273 inf + 0
1.902 * * [simplify]: Extracting #2: cost 1444 inf + 206
1.912 * * [simplify]: Extracting #3: cost 1195 inf + 36140
1.958 * * [simplify]: Extracting #4: cost 70 inf + 187581
2.032 * * [simplify]: Extracting #5: cost 0 inf + 195741
2.090 * [simplify]: Simplified to:
  (+ (/ 1.0 (/ 8.0 x)) (- t (/ (* y z) 2.0)))
2.092 * * [progress]: iteration 1 / 4
2.092 * * * [progress]: picking best candidate
2.101 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t))>
2.101 * * * [progress]: localizing error
2.119 * * * [progress]: generating rewritten candidates
2.119 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 2)
2.127 * * * [progress]: generating series expansions
2.127 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 2)
2.128 * [backup-simplify]: Simplify (/ (* y z) 2.0) into (* 0.5 (* z y))
2.128 * [approximate]: Taking taylor expansion of (* 0.5 (* z y)) in (y z) around 0
2.128 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in z
2.128 * [taylor]: Taking taylor expansion of 0.5 in z
2.128 * [backup-simplify]: Simplify 0.5 into 0.5
2.128 * [taylor]: Taking taylor expansion of (* z y) in z
2.128 * [taylor]: Taking taylor expansion of z in z
2.128 * [backup-simplify]: Simplify 0 into 0
2.128 * [backup-simplify]: Simplify 1 into 1
2.128 * [taylor]: Taking taylor expansion of y in z
2.128 * [backup-simplify]: Simplify y into y
2.128 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in y
2.128 * [taylor]: Taking taylor expansion of 0.5 in y
2.128 * [backup-simplify]: Simplify 0.5 into 0.5
2.128 * [taylor]: Taking taylor expansion of (* z y) in y
2.128 * [taylor]: Taking taylor expansion of z in y
2.128 * [backup-simplify]: Simplify z into z
2.128 * [taylor]: Taking taylor expansion of y in y
2.128 * [backup-simplify]: Simplify 0 into 0
2.128 * [backup-simplify]: Simplify 1 into 1
2.128 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in y
2.128 * [taylor]: Taking taylor expansion of 0.5 in y
2.128 * [backup-simplify]: Simplify 0.5 into 0.5
2.128 * [taylor]: Taking taylor expansion of (* z y) in y
2.128 * [taylor]: Taking taylor expansion of z in y
2.128 * [backup-simplify]: Simplify z into z
2.128 * [taylor]: Taking taylor expansion of y in y
2.128 * [backup-simplify]: Simplify 0 into 0
2.128 * [backup-simplify]: Simplify 1 into 1
2.128 * [backup-simplify]: Simplify (* z 0) into 0
2.129 * [backup-simplify]: Simplify (* 0.5 0) into 0
2.129 * [taylor]: Taking taylor expansion of 0 in z
2.129 * [backup-simplify]: Simplify 0 into 0
2.129 * [backup-simplify]: Simplify 0 into 0
2.129 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
2.129 * [backup-simplify]: Simplify (+ (* 0.5 z) (* 0 0)) into (* 0.5 z)
2.129 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
2.129 * [taylor]: Taking taylor expansion of 0.5 in z
2.129 * [backup-simplify]: Simplify 0.5 into 0.5
2.129 * [taylor]: Taking taylor expansion of z in z
2.129 * [backup-simplify]: Simplify 0 into 0
2.129 * [backup-simplify]: Simplify 1 into 1
2.130 * [backup-simplify]: Simplify (* 0.5 0) into 0
2.130 * [backup-simplify]: Simplify 0 into 0
2.130 * [backup-simplify]: Simplify 0 into 0
2.130 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
2.131 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 z) (* 0 0))) into 0
2.131 * [taylor]: Taking taylor expansion of 0 in z
2.131 * [backup-simplify]: Simplify 0 into 0
2.131 * [backup-simplify]: Simplify 0 into 0
2.131 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
2.131 * [backup-simplify]: Simplify 0.5 into 0.5
2.131 * [backup-simplify]: Simplify 0 into 0
2.132 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.133 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 z) (* 0 0)))) into 0
2.133 * [taylor]: Taking taylor expansion of 0 in z
2.133 * [backup-simplify]: Simplify 0 into 0
2.133 * [backup-simplify]: Simplify 0 into 0
2.133 * [backup-simplify]: Simplify 0 into 0
2.134 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
2.134 * [backup-simplify]: Simplify 0 into 0
2.134 * [backup-simplify]: Simplify 0 into 0
2.134 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.139 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 z) (* 0 0))))) into 0
2.139 * [taylor]: Taking taylor expansion of 0 in z
2.139 * [backup-simplify]: Simplify 0 into 0
2.139 * [backup-simplify]: Simplify 0 into 0
2.139 * [backup-simplify]: Simplify (* 0.5 (* z y)) into (* 0.5 (* z y))
2.139 * [backup-simplify]: Simplify (/ (* (/ 1 y) (/ 1 z)) 2.0) into (/ 0.5 (* z y))
2.139 * [approximate]: Taking taylor expansion of (/ 0.5 (* z y)) in (y z) around 0
2.140 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in z
2.140 * [taylor]: Taking taylor expansion of 0.5 in z
2.140 * [backup-simplify]: Simplify 0.5 into 0.5
2.140 * [taylor]: Taking taylor expansion of (* z y) in z
2.140 * [taylor]: Taking taylor expansion of z in z
2.140 * [backup-simplify]: Simplify 0 into 0
2.140 * [backup-simplify]: Simplify 1 into 1
2.140 * [taylor]: Taking taylor expansion of y in z
2.140 * [backup-simplify]: Simplify y into y
2.140 * [backup-simplify]: Simplify (* 0 y) into 0
2.140 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.140 * [backup-simplify]: Simplify (/ 0.5 y) into (/ 0.5 y)
2.140 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in y
2.140 * [taylor]: Taking taylor expansion of 0.5 in y
2.140 * [backup-simplify]: Simplify 0.5 into 0.5
2.140 * [taylor]: Taking taylor expansion of (* z y) in y
2.140 * [taylor]: Taking taylor expansion of z in y
2.140 * [backup-simplify]: Simplify z into z
2.140 * [taylor]: Taking taylor expansion of y in y
2.140 * [backup-simplify]: Simplify 0 into 0
2.140 * [backup-simplify]: Simplify 1 into 1
2.140 * [backup-simplify]: Simplify (* z 0) into 0
2.141 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
2.141 * [backup-simplify]: Simplify (/ 0.5 z) into (/ 0.5 z)
2.141 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in y
2.141 * [taylor]: Taking taylor expansion of 0.5 in y
2.141 * [backup-simplify]: Simplify 0.5 into 0.5
2.141 * [taylor]: Taking taylor expansion of (* z y) in y
2.141 * [taylor]: Taking taylor expansion of z in y
2.141 * [backup-simplify]: Simplify z into z
2.141 * [taylor]: Taking taylor expansion of y in y
2.141 * [backup-simplify]: Simplify 0 into 0
2.141 * [backup-simplify]: Simplify 1 into 1
2.141 * [backup-simplify]: Simplify (* z 0) into 0
2.141 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
2.141 * [backup-simplify]: Simplify (/ 0.5 z) into (/ 0.5 z)
2.141 * [taylor]: Taking taylor expansion of (/ 0.5 z) in z
2.141 * [taylor]: Taking taylor expansion of 0.5 in z
2.141 * [backup-simplify]: Simplify 0.5 into 0.5
2.141 * [taylor]: Taking taylor expansion of z in z
2.141 * [backup-simplify]: Simplify 0 into 0
2.141 * [backup-simplify]: Simplify 1 into 1
2.142 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
2.142 * [backup-simplify]: Simplify 0.5 into 0.5
2.143 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
2.143 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)))) into 0
2.143 * [taylor]: Taking taylor expansion of 0 in z
2.143 * [backup-simplify]: Simplify 0 into 0
2.143 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)))) into 0
2.143 * [backup-simplify]: Simplify 0 into 0
2.144 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.144 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.144 * [taylor]: Taking taylor expansion of 0 in z
2.144 * [backup-simplify]: Simplify 0 into 0
2.144 * [backup-simplify]: Simplify 0 into 0
2.145 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.145 * [backup-simplify]: Simplify 0 into 0
2.145 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.145 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.145 * [taylor]: Taking taylor expansion of 0 in z
2.145 * [backup-simplify]: Simplify 0 into 0
2.145 * [backup-simplify]: Simplify 0 into 0
2.145 * [backup-simplify]: Simplify 0 into 0
2.146 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.146 * [backup-simplify]: Simplify 0 into 0
2.146 * [backup-simplify]: Simplify (* 0.5 (* (/ 1 (/ 1 z)) (/ 1 (/ 1 y)))) into (* 0.5 (* z y))
2.146 * [backup-simplify]: Simplify (/ (* (/ 1 (- y)) (/ 1 (- z))) 2.0) into (/ 0.5 (* z y))
2.146 * [approximate]: Taking taylor expansion of (/ 0.5 (* z y)) in (y z) around 0
2.146 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in z
2.146 * [taylor]: Taking taylor expansion of 0.5 in z
2.146 * [backup-simplify]: Simplify 0.5 into 0.5
2.146 * [taylor]: Taking taylor expansion of (* z y) in z
2.146 * [taylor]: Taking taylor expansion of z in z
2.146 * [backup-simplify]: Simplify 0 into 0
2.146 * [backup-simplify]: Simplify 1 into 1
2.146 * [taylor]: Taking taylor expansion of y in z
2.146 * [backup-simplify]: Simplify y into y
2.146 * [backup-simplify]: Simplify (* 0 y) into 0
2.147 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.147 * [backup-simplify]: Simplify (/ 0.5 y) into (/ 0.5 y)
2.147 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in y
2.147 * [taylor]: Taking taylor expansion of 0.5 in y
2.147 * [backup-simplify]: Simplify 0.5 into 0.5
2.147 * [taylor]: Taking taylor expansion of (* z y) in y
2.147 * [taylor]: Taking taylor expansion of z in y
2.147 * [backup-simplify]: Simplify z into z
2.147 * [taylor]: Taking taylor expansion of y in y
2.147 * [backup-simplify]: Simplify 0 into 0
2.147 * [backup-simplify]: Simplify 1 into 1
2.147 * [backup-simplify]: Simplify (* z 0) into 0
2.147 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
2.147 * [backup-simplify]: Simplify (/ 0.5 z) into (/ 0.5 z)
2.147 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in y
2.147 * [taylor]: Taking taylor expansion of 0.5 in y
2.147 * [backup-simplify]: Simplify 0.5 into 0.5
2.147 * [taylor]: Taking taylor expansion of (* z y) in y
2.147 * [taylor]: Taking taylor expansion of z in y
2.147 * [backup-simplify]: Simplify z into z
2.147 * [taylor]: Taking taylor expansion of y in y
2.147 * [backup-simplify]: Simplify 0 into 0
2.147 * [backup-simplify]: Simplify 1 into 1
2.147 * [backup-simplify]: Simplify (* z 0) into 0
2.148 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
2.148 * [backup-simplify]: Simplify (/ 0.5 z) into (/ 0.5 z)
2.148 * [taylor]: Taking taylor expansion of (/ 0.5 z) in z
2.148 * [taylor]: Taking taylor expansion of 0.5 in z
2.148 * [backup-simplify]: Simplify 0.5 into 0.5
2.148 * [taylor]: Taking taylor expansion of z in z
2.148 * [backup-simplify]: Simplify 0 into 0
2.148 * [backup-simplify]: Simplify 1 into 1
2.148 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
2.148 * [backup-simplify]: Simplify 0.5 into 0.5
2.148 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
2.149 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)))) into 0
2.149 * [taylor]: Taking taylor expansion of 0 in z
2.149 * [backup-simplify]: Simplify 0 into 0
2.149 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)))) into 0
2.149 * [backup-simplify]: Simplify 0 into 0
2.150 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.150 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.150 * [taylor]: Taking taylor expansion of 0 in z
2.150 * [backup-simplify]: Simplify 0 into 0
2.150 * [backup-simplify]: Simplify 0 into 0
2.150 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.150 * [backup-simplify]: Simplify 0 into 0
2.151 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.151 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.151 * [taylor]: Taking taylor expansion of 0 in z
2.151 * [backup-simplify]: Simplify 0 into 0
2.151 * [backup-simplify]: Simplify 0 into 0
2.151 * [backup-simplify]: Simplify 0 into 0
2.152 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.152 * [backup-simplify]: Simplify 0 into 0
2.152 * [backup-simplify]: Simplify (* 0.5 (* (/ 1 (/ 1 (- z))) (/ 1 (/ 1 (- y))))) into (* 0.5 (* z y))
2.152 * * * [progress]: simplifying candidates
2.152 * [simplify]: Simplifying:
  (- (+ (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.5 (* z y))
  (* 0.5 (* z y))
  (* 0.5 (* z y))
2.153 * * [simplify]: iteration 0: 51 enodes
2.168 * * [simplify]: iteration 1: 126 enodes
2.199 * * [simplify]: iteration 2: 651 enodes
2.516 * * [simplify]: iteration complete: 5000 enodes
2.516 * * [simplify]: Extracting #0: cost 22 inf + 0
2.518 * * [simplify]: Extracting #1: cost 548 inf + 1
2.528 * * [simplify]: Extracting #2: cost 1549 inf + 15068
2.559 * * [simplify]: Extracting #3: cost 920 inf + 143622
2.622 * * [simplify]: Extracting #4: cost 13 inf + 240190
2.694 * * [simplify]: Extracting #5: cost 0 inf + 242753
2.772 * * [simplify]: Extracting #6: cost 0 inf + 242713
2.844 * [simplify]: Simplified to:
  (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))
  (* (- 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 y) z)
  (/ y (/ (cbrt 2.0) (/ z (cbrt 2.0))))
  (/ z (/ (sqrt 2.0) y))
  (* y z)
  (/ 2.0 z)
  (* (* z y) 0.5)
  (* (* z y) 0.5)
  (* (* z y) 0.5)
2.846 * * * [progress]: adding candidates to table
2.961 * [progress]: [Phase 3 of 3] Extracting.
2.966 * [simplify]: Simplifying:
  (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)
2.966 * * [simplify]: iteration 0: 13 enodes
2.967 * * [simplify]: iteration 1: 16 enodes
2.967 * * [simplify]: iteration complete: 16 enodes
2.967 * * [simplify]: Extracting #0: cost 1 inf + 0
2.967 * * [simplify]: Extracting #1: cost 3 inf + 0
2.967 * * [simplify]: Extracting #2: cost 4 inf + 1
2.967 * * [simplify]: Extracting #3: cost 8 inf + 1
2.967 * * [simplify]: Extracting #4: cost 10 inf + 3
2.967 * * [simplify]: Extracting #5: cost 4 inf + 132
2.968 * * [simplify]: Extracting #6: cost 0 inf + 710
2.968 * [simplify]: Simplified to:
  (+ t (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
4.153 * [regime-testing]: Baseline error score: 0.024003000375046882
4.170 * [regime-testing]: Oracle error score: 0.024003000375046882
4.170 * [regime-testing]: End program error score: 0.024003000375046882
4.339 * [regime-testing]: Target error score: 0.008126015751968996