72.221 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.036 * * * [progress]: [2/2] Setting up program.
0.043 * [progress]: [Phase 2 of 3] Improving.
0.044 * [simplify]: Simplifying:
  (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)
0.044 * * [simplify]: iteration 0: 13 enodes
0.047 * * [simplify]: iteration 1: 25 enodes
0.053 * * [simplify]: iteration 2: 50 enodes
0.066 * * [simplify]: iteration 3: 79 enodes
0.083 * * [simplify]: iteration 4: 156 enodes
0.142 * * [simplify]: iteration 5: 353 enodes
0.278 * * [simplify]: iteration 6: 757 enodes
0.634 * * [simplify]: iteration 7: 1565 enodes
3.042 * * [simplify]: iteration 8: 3804 enodes
4.394 * * [simplify]: iteration complete: 5000 enodes
4.394 * * [simplify]: Extracting #0: cost 1 inf + 0
4.397 * * [simplify]: Extracting #1: cost 410 inf + 0
4.404 * * [simplify]: Extracting #2: cost 435 inf + 865
4.416 * * [simplify]: Extracting #3: cost 70 inf + 44896
4.456 * * [simplify]: Extracting #4: cost 0 inf + 54278
4.510 * [simplify]: Simplified to:
  (- (fma (/ x 8.0) 1.0 t) (/ (* y z) 2.0))
4.521 * * [progress]: iteration 1 / 4
4.521 * * * [progress]: picking best candidate
4.530 * * * * [pick]: Picked  #<alt (λ (x y z t) (- (fma (/ x 8.0) 1.0 t) (/ (* y z) 2.0)))>
4.530 * * * [progress]: localizing error
4.553 * * * [progress]: generating rewritten candidates
4.553 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
4.567 * * * [progress]: generating series expansions
4.567 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
4.567 * [backup-simplify]: Simplify (/ (* y z) 2.0) into (* 0.5 (* z y))
4.567 * [approximate]: Taking taylor expansion of (* 0.5 (* z y)) in (y z) around 0
4.567 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in z
4.567 * [taylor]: Taking taylor expansion of 0.5 in z
4.567 * [backup-simplify]: Simplify 0.5 into 0.5
4.567 * [taylor]: Taking taylor expansion of (* z y) in z
4.567 * [taylor]: Taking taylor expansion of z in z
4.567 * [backup-simplify]: Simplify 0 into 0
4.567 * [backup-simplify]: Simplify 1 into 1
4.567 * [taylor]: Taking taylor expansion of y in z
4.567 * [backup-simplify]: Simplify y into y
4.567 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in y
4.567 * [taylor]: Taking taylor expansion of 0.5 in y
4.567 * [backup-simplify]: Simplify 0.5 into 0.5
4.567 * [taylor]: Taking taylor expansion of (* z y) in y
4.567 * [taylor]: Taking taylor expansion of z in y
4.567 * [backup-simplify]: Simplify z into z
4.567 * [taylor]: Taking taylor expansion of y in y
4.567 * [backup-simplify]: Simplify 0 into 0
4.568 * [backup-simplify]: Simplify 1 into 1
4.568 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in y
4.568 * [taylor]: Taking taylor expansion of 0.5 in y
4.568 * [backup-simplify]: Simplify 0.5 into 0.5
4.568 * [taylor]: Taking taylor expansion of (* z y) in y
4.568 * [taylor]: Taking taylor expansion of z in y
4.568 * [backup-simplify]: Simplify z into z
4.568 * [taylor]: Taking taylor expansion of y in y
4.568 * [backup-simplify]: Simplify 0 into 0
4.568 * [backup-simplify]: Simplify 1 into 1
4.568 * [backup-simplify]: Simplify (* z 0) into 0
4.569 * [backup-simplify]: Simplify (* 0.5 0) into 0
4.569 * [taylor]: Taking taylor expansion of 0 in z
4.569 * [backup-simplify]: Simplify 0 into 0
4.569 * [backup-simplify]: Simplify 0 into 0
4.569 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
4.570 * [backup-simplify]: Simplify (+ (* 0.5 z) (* 0 0)) into (* 0.5 z)
4.570 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
4.570 * [taylor]: Taking taylor expansion of 0.5 in z
4.570 * [backup-simplify]: Simplify 0.5 into 0.5
4.570 * [taylor]: Taking taylor expansion of z in z
4.570 * [backup-simplify]: Simplify 0 into 0
4.570 * [backup-simplify]: Simplify 1 into 1
4.571 * [backup-simplify]: Simplify (* 0.5 0) into 0
4.571 * [backup-simplify]: Simplify 0 into 0
4.571 * [backup-simplify]: Simplify 0 into 0
4.571 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
4.572 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 z) (* 0 0))) into 0
4.572 * [taylor]: Taking taylor expansion of 0 in z
4.572 * [backup-simplify]: Simplify 0 into 0
4.572 * [backup-simplify]: Simplify 0 into 0
4.574 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
4.574 * [backup-simplify]: Simplify 0.5 into 0.5
4.574 * [backup-simplify]: Simplify 0 into 0
4.575 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
4.576 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 z) (* 0 0)))) into 0
4.576 * [taylor]: Taking taylor expansion of 0 in z
4.576 * [backup-simplify]: Simplify 0 into 0
4.576 * [backup-simplify]: Simplify 0 into 0
4.576 * [backup-simplify]: Simplify 0 into 0
4.577 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
4.577 * [backup-simplify]: Simplify 0 into 0
4.578 * [backup-simplify]: Simplify 0 into 0
4.579 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
4.580 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 z) (* 0 0))))) into 0
4.580 * [taylor]: Taking taylor expansion of 0 in z
4.580 * [backup-simplify]: Simplify 0 into 0
4.580 * [backup-simplify]: Simplify 0 into 0
4.581 * [backup-simplify]: Simplify (* 0.5 (* z y)) into (* 0.5 (* z y))
4.581 * [backup-simplify]: Simplify (/ (* (/ 1 y) (/ 1 z)) 2.0) into (/ 0.5 (* z y))
4.581 * [approximate]: Taking taylor expansion of (/ 0.5 (* z y)) in (y z) around 0
4.581 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in z
4.581 * [taylor]: Taking taylor expansion of 0.5 in z
4.581 * [backup-simplify]: Simplify 0.5 into 0.5
4.581 * [taylor]: Taking taylor expansion of (* z y) in z
4.581 * [taylor]: Taking taylor expansion of z in z
4.581 * [backup-simplify]: Simplify 0 into 0
4.581 * [backup-simplify]: Simplify 1 into 1
4.581 * [taylor]: Taking taylor expansion of y in z
4.581 * [backup-simplify]: Simplify y into y
4.581 * [backup-simplify]: Simplify (* 0 y) into 0
4.582 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.582 * [backup-simplify]: Simplify (/ 0.5 y) into (/ 0.5 y)
4.582 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in y
4.582 * [taylor]: Taking taylor expansion of 0.5 in y
4.582 * [backup-simplify]: Simplify 0.5 into 0.5
4.582 * [taylor]: Taking taylor expansion of (* z y) in y
4.582 * [taylor]: Taking taylor expansion of z in y
4.582 * [backup-simplify]: Simplify z into z
4.582 * [taylor]: Taking taylor expansion of y in y
4.582 * [backup-simplify]: Simplify 0 into 0
4.582 * [backup-simplify]: Simplify 1 into 1
4.582 * [backup-simplify]: Simplify (* z 0) into 0
4.583 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
4.583 * [backup-simplify]: Simplify (/ 0.5 z) into (/ 0.5 z)
4.583 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in y
4.583 * [taylor]: Taking taylor expansion of 0.5 in y
4.583 * [backup-simplify]: Simplify 0.5 into 0.5
4.583 * [taylor]: Taking taylor expansion of (* z y) in y
4.583 * [taylor]: Taking taylor expansion of z in y
4.583 * [backup-simplify]: Simplify z into z
4.583 * [taylor]: Taking taylor expansion of y in y
4.583 * [backup-simplify]: Simplify 0 into 0
4.583 * [backup-simplify]: Simplify 1 into 1
4.583 * [backup-simplify]: Simplify (* z 0) into 0
4.589 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
4.589 * [backup-simplify]: Simplify (/ 0.5 z) into (/ 0.5 z)
4.590 * [taylor]: Taking taylor expansion of (/ 0.5 z) in z
4.590 * [taylor]: Taking taylor expansion of 0.5 in z
4.590 * [backup-simplify]: Simplify 0.5 into 0.5
4.590 * [taylor]: Taking taylor expansion of z in z
4.590 * [backup-simplify]: Simplify 0 into 0
4.590 * [backup-simplify]: Simplify 1 into 1
4.590 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
4.590 * [backup-simplify]: Simplify 0.5 into 0.5
4.592 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
4.592 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)))) into 0
4.592 * [taylor]: Taking taylor expansion of 0 in z
4.592 * [backup-simplify]: Simplify 0 into 0
4.593 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)))) into 0
4.593 * [backup-simplify]: Simplify 0 into 0
4.594 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
4.594 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.594 * [taylor]: Taking taylor expansion of 0 in z
4.594 * [backup-simplify]: Simplify 0 into 0
4.594 * [backup-simplify]: Simplify 0 into 0
4.596 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.596 * [backup-simplify]: Simplify 0 into 0
4.597 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
4.597 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.597 * [taylor]: Taking taylor expansion of 0 in z
4.597 * [backup-simplify]: Simplify 0 into 0
4.597 * [backup-simplify]: Simplify 0 into 0
4.597 * [backup-simplify]: Simplify 0 into 0
4.598 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.599 * [backup-simplify]: Simplify 0 into 0
4.599 * [backup-simplify]: Simplify (* 0.5 (* (/ 1 (/ 1 z)) (/ 1 (/ 1 y)))) into (* 0.5 (* z y))
4.599 * [backup-simplify]: Simplify (/ (* (/ 1 (- y)) (/ 1 (- z))) 2.0) into (/ 0.5 (* z y))
4.599 * [approximate]: Taking taylor expansion of (/ 0.5 (* z y)) in (y z) around 0
4.599 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in z
4.599 * [taylor]: Taking taylor expansion of 0.5 in z
4.599 * [backup-simplify]: Simplify 0.5 into 0.5
4.599 * [taylor]: Taking taylor expansion of (* z y) in z
4.599 * [taylor]: Taking taylor expansion of z in z
4.599 * [backup-simplify]: Simplify 0 into 0
4.599 * [backup-simplify]: Simplify 1 into 1
4.599 * [taylor]: Taking taylor expansion of y in z
4.599 * [backup-simplify]: Simplify y into y
4.599 * [backup-simplify]: Simplify (* 0 y) into 0
4.600 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.600 * [backup-simplify]: Simplify (/ 0.5 y) into (/ 0.5 y)
4.600 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in y
4.600 * [taylor]: Taking taylor expansion of 0.5 in y
4.600 * [backup-simplify]: Simplify 0.5 into 0.5
4.600 * [taylor]: Taking taylor expansion of (* z y) in y
4.600 * [taylor]: Taking taylor expansion of z in y
4.600 * [backup-simplify]: Simplify z into z
4.600 * [taylor]: Taking taylor expansion of y in y
4.600 * [backup-simplify]: Simplify 0 into 0
4.600 * [backup-simplify]: Simplify 1 into 1
4.600 * [backup-simplify]: Simplify (* z 0) into 0
4.601 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
4.601 * [backup-simplify]: Simplify (/ 0.5 z) into (/ 0.5 z)
4.601 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in y
4.601 * [taylor]: Taking taylor expansion of 0.5 in y
4.601 * [backup-simplify]: Simplify 0.5 into 0.5
4.601 * [taylor]: Taking taylor expansion of (* z y) in y
4.602 * [taylor]: Taking taylor expansion of z in y
4.602 * [backup-simplify]: Simplify z into z
4.602 * [taylor]: Taking taylor expansion of y in y
4.602 * [backup-simplify]: Simplify 0 into 0
4.602 * [backup-simplify]: Simplify 1 into 1
4.602 * [backup-simplify]: Simplify (* z 0) into 0
4.602 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
4.602 * [backup-simplify]: Simplify (/ 0.5 z) into (/ 0.5 z)
4.602 * [taylor]: Taking taylor expansion of (/ 0.5 z) in z
4.602 * [taylor]: Taking taylor expansion of 0.5 in z
4.602 * [backup-simplify]: Simplify 0.5 into 0.5
4.603 * [taylor]: Taking taylor expansion of z in z
4.603 * [backup-simplify]: Simplify 0 into 0
4.603 * [backup-simplify]: Simplify 1 into 1
4.603 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
4.603 * [backup-simplify]: Simplify 0.5 into 0.5
4.604 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
4.604 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)))) into 0
4.604 * [taylor]: Taking taylor expansion of 0 in z
4.604 * [backup-simplify]: Simplify 0 into 0
4.605 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)))) into 0
4.605 * [backup-simplify]: Simplify 0 into 0
4.606 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
4.606 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.606 * [taylor]: Taking taylor expansion of 0 in z
4.606 * [backup-simplify]: Simplify 0 into 0
4.607 * [backup-simplify]: Simplify 0 into 0
4.608 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.608 * [backup-simplify]: Simplify 0 into 0
4.609 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
4.609 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.609 * [taylor]: Taking taylor expansion of 0 in z
4.609 * [backup-simplify]: Simplify 0 into 0
4.609 * [backup-simplify]: Simplify 0 into 0
4.609 * [backup-simplify]: Simplify 0 into 0
4.610 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.611 * [backup-simplify]: Simplify 0 into 0
4.611 * [backup-simplify]: Simplify (* 0.5 (* (/ 1 (/ 1 (- z))) (/ 1 (/ 1 (- y))))) into (* 0.5 (* z y))
4.611 * * * [progress]: simplifying candidates
4.612 * [simplify]: Simplifying:
  (expm1 (/ (* y z) 2.0))
  (log1p (/ (* 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.5 (* z y))
  (* 0.5 (* z y))
  (* 0.5 (* z y))
4.613 * * [simplify]: iteration 0: 53 enodes
4.631 * * [simplify]: iteration 1: 127 enodes
4.683 * * [simplify]: iteration 2: 646 enodes
5.143 * * [simplify]: iteration complete: 5001 enodes
5.143 * * [simplify]: Extracting #0: cost 23 inf + 0
5.145 * * [simplify]: Extracting #1: cost 555 inf + 1
5.158 * * [simplify]: Extracting #2: cost 1529 inf + 4751
5.180 * * [simplify]: Extracting #3: cost 967 inf + 126493
5.226 * * [simplify]: Extracting #4: cost 31 inf + 232221
5.275 * * [simplify]: Extracting #5: cost 2 inf + 236981
5.325 * * [simplify]: Extracting #6: cost 0 inf + 237409
5.401 * [simplify]: Simplified to:
  (expm1 (* (/ z 2.0) y))
  (log1p (* (/ 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))
  (* y (- z))
  (- 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 z) (cbrt 2.0)) (cbrt 2.0))
  (/ y (/ (sqrt 2.0) z))
  (* z y)
  (/ 2.0 z)
  (* 0.5 (* z y))
  (* 0.5 (* z y))
  (* 0.5 (* z y))
5.403 * * * [progress]: adding candidates to table
5.568 * [progress]: [Phase 3 of 3] Extracting.
5.572 * [simplify]: Simplifying:
  (- (fma (/ x 8.0) 1.0 t) (/ (* y z) 2.0))
5.572 * * [simplify]: iteration 0: 12 enodes
5.573 * * [simplify]: iteration 1: 13 enodes
5.573 * * [simplify]: iteration complete: 13 enodes
5.573 * * [simplify]: Extracting #0: cost 1 inf + 0
5.573 * * [simplify]: Extracting #1: cost 3 inf + 0
5.573 * * [simplify]: Extracting #2: cost 8 inf + 0
5.573 * * [simplify]: Extracting #3: cost 9 inf + 3
5.573 * * [simplify]: Extracting #4: cost 3 inf + 132
5.573 * * [simplify]: Extracting #5: cost 0 inf + 495
5.573 * [simplify]: Simplified to:
  (- (fma (/ x 8.0) 1.0 t) (/ (* z y) 2.0))
7.077 * [regime-testing]: Baseline error score: 0.02412801600200025
7.086 * [regime-testing]: Oracle error score: 0.02412801600200025
7.086 * [regime-testing]: End program error score: 0.02412801600200025
7.230 * [regime-testing]: Target error score: 0.008126015751968996