12.740 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.049 * * * [progress]: [2/2] Setting up program.
0.056 * [progress]: [Phase 2 of 3] Improving.
0.056 * [simplify]: Simplifying:
  (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)
0.056 * * [simplify]: iteration 0: 13 enodes
0.061 * * [simplify]: iteration 1: 25 enodes
0.068 * * [simplify]: iteration 2: 50 enodes
0.082 * * [simplify]: iteration 3: 79 enodes
0.115 * * [simplify]: iteration 4: 156 enodes
0.145 * * [simplify]: iteration 5: 353 enodes
0.295 * * [simplify]: iteration 6: 757 enodes
0.669 * * [simplify]: iteration 7: 1565 enodes
2.977 * * [simplify]: iteration 8: 3804 enodes
4.370 * * [simplify]: iteration complete: 5000 enodes
4.370 * * [simplify]: Extracting #0: cost 1 inf + 0
4.376 * * [simplify]: Extracting #1: cost 410 inf + 0
4.384 * * [simplify]: Extracting #2: cost 435 inf + 46
4.392 * * [simplify]: Extracting #3: cost 70 inf + 2398
4.400 * * [simplify]: Extracting #4: cost 0 inf + 2897
4.407 * [simplify]: Simplified to:
  (- (fma (/ x 8.0) 1.0 t) (/ (* y z) 2.0))
4.416 * * [progress]: iteration 1 / 4
4.416 * * * [progress]: picking best candidate
4.423 * * * * [pick]: Picked  #<alt (λ (x y z t) (- (fma (/ x 8.0) 1.0 t) (/ (* y z) 2.0)))>
4.423 * * * [progress]: localizing error
4.448 * * * [progress]: generating rewritten candidates
4.448 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
4.463 * * * [progress]: generating series expansions
4.464 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
4.470 * [backup-simplify]: Simplify (/ (* y z) 2.0) into (* 0.5 (* z y))
4.470 * [approximate]: Taking taylor expansion of (* 0.5 (* z y)) in (y z) around 0
4.470 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in z
4.470 * [taylor]: Taking taylor expansion of 0.5 in z
4.470 * [backup-simplify]: Simplify 0.5 into 0.5
4.470 * [taylor]: Taking taylor expansion of (* z y) in z
4.470 * [taylor]: Taking taylor expansion of z in z
4.470 * [backup-simplify]: Simplify 0 into 0
4.470 * [backup-simplify]: Simplify 1 into 1
4.470 * [taylor]: Taking taylor expansion of y in z
4.470 * [backup-simplify]: Simplify y into y
4.470 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in y
4.470 * [taylor]: Taking taylor expansion of 0.5 in y
4.470 * [backup-simplify]: Simplify 0.5 into 0.5
4.471 * [taylor]: Taking taylor expansion of (* z y) in y
4.471 * [taylor]: Taking taylor expansion of z in y
4.471 * [backup-simplify]: Simplify z into z
4.471 * [taylor]: Taking taylor expansion of y in y
4.471 * [backup-simplify]: Simplify 0 into 0
4.471 * [backup-simplify]: Simplify 1 into 1
4.471 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in y
4.471 * [taylor]: Taking taylor expansion of 0.5 in y
4.471 * [backup-simplify]: Simplify 0.5 into 0.5
4.471 * [taylor]: Taking taylor expansion of (* z y) in y
4.471 * [taylor]: Taking taylor expansion of z in y
4.471 * [backup-simplify]: Simplify z into z
4.471 * [taylor]: Taking taylor expansion of y in y
4.471 * [backup-simplify]: Simplify 0 into 0
4.471 * [backup-simplify]: Simplify 1 into 1
4.471 * [backup-simplify]: Simplify (* z 0) into 0
4.472 * [backup-simplify]: Simplify (* 0.5 0) into 0
4.472 * [taylor]: Taking taylor expansion of 0 in z
4.472 * [backup-simplify]: Simplify 0 into 0
4.472 * [backup-simplify]: Simplify 0 into 0
4.472 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
4.473 * [backup-simplify]: Simplify (+ (* 0.5 z) (* 0 0)) into (* 0.5 z)
4.473 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
4.473 * [taylor]: Taking taylor expansion of 0.5 in z
4.473 * [backup-simplify]: Simplify 0.5 into 0.5
4.473 * [taylor]: Taking taylor expansion of z in z
4.473 * [backup-simplify]: Simplify 0 into 0
4.473 * [backup-simplify]: Simplify 1 into 1
4.473 * [backup-simplify]: Simplify (* 0.5 0) into 0
4.473 * [backup-simplify]: Simplify 0 into 0
4.473 * [backup-simplify]: Simplify 0 into 0
4.474 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
4.475 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 z) (* 0 0))) into 0
4.475 * [taylor]: Taking taylor expansion of 0 in z
4.475 * [backup-simplify]: Simplify 0 into 0
4.475 * [backup-simplify]: Simplify 0 into 0
4.477 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
4.477 * [backup-simplify]: Simplify 0.5 into 0.5
4.477 * [backup-simplify]: Simplify 0 into 0
4.478 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
4.479 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 z) (* 0 0)))) into 0
4.479 * [taylor]: Taking taylor expansion of 0 in z
4.479 * [backup-simplify]: Simplify 0 into 0
4.479 * [backup-simplify]: Simplify 0 into 0
4.479 * [backup-simplify]: Simplify 0 into 0
4.480 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
4.480 * [backup-simplify]: Simplify 0 into 0
4.480 * [backup-simplify]: Simplify 0 into 0
4.481 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
4.483 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 z) (* 0 0))))) into 0
4.483 * [taylor]: Taking taylor expansion of 0 in z
4.483 * [backup-simplify]: Simplify 0 into 0
4.483 * [backup-simplify]: Simplify 0 into 0
4.483 * [backup-simplify]: Simplify (* 0.5 (* z y)) into (* 0.5 (* z y))
4.483 * [backup-simplify]: Simplify (/ (* (/ 1 y) (/ 1 z)) 2.0) into (/ 0.5 (* z y))
4.483 * [approximate]: Taking taylor expansion of (/ 0.5 (* z y)) in (y z) around 0
4.483 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in z
4.483 * [taylor]: Taking taylor expansion of 0.5 in z
4.483 * [backup-simplify]: Simplify 0.5 into 0.5
4.483 * [taylor]: Taking taylor expansion of (* z y) in z
4.483 * [taylor]: Taking taylor expansion of z in z
4.483 * [backup-simplify]: Simplify 0 into 0
4.483 * [backup-simplify]: Simplify 1 into 1
4.483 * [taylor]: Taking taylor expansion of y in z
4.483 * [backup-simplify]: Simplify y into y
4.483 * [backup-simplify]: Simplify (* 0 y) into 0
4.484 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.484 * [backup-simplify]: Simplify (/ 0.5 y) into (/ 0.5 y)
4.484 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in y
4.484 * [taylor]: Taking taylor expansion of 0.5 in y
4.484 * [backup-simplify]: Simplify 0.5 into 0.5
4.484 * [taylor]: Taking taylor expansion of (* z y) in y
4.484 * [taylor]: Taking taylor expansion of z in y
4.484 * [backup-simplify]: Simplify z into z
4.484 * [taylor]: Taking taylor expansion of y in y
4.484 * [backup-simplify]: Simplify 0 into 0
4.484 * [backup-simplify]: Simplify 1 into 1
4.484 * [backup-simplify]: Simplify (* z 0) into 0
4.484 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
4.484 * [backup-simplify]: Simplify (/ 0.5 z) into (/ 0.5 z)
4.484 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in y
4.484 * [taylor]: Taking taylor expansion of 0.5 in y
4.484 * [backup-simplify]: Simplify 0.5 into 0.5
4.485 * [taylor]: Taking taylor expansion of (* z y) in y
4.485 * [taylor]: Taking taylor expansion of z in y
4.485 * [backup-simplify]: Simplify z into z
4.485 * [taylor]: Taking taylor expansion of y in y
4.485 * [backup-simplify]: Simplify 0 into 0
4.485 * [backup-simplify]: Simplify 1 into 1
4.485 * [backup-simplify]: Simplify (* z 0) into 0
4.485 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
4.485 * [backup-simplify]: Simplify (/ 0.5 z) into (/ 0.5 z)
4.485 * [taylor]: Taking taylor expansion of (/ 0.5 z) in z
4.485 * [taylor]: Taking taylor expansion of 0.5 in z
4.485 * [backup-simplify]: Simplify 0.5 into 0.5
4.485 * [taylor]: Taking taylor expansion of z in z
4.485 * [backup-simplify]: Simplify 0 into 0
4.485 * [backup-simplify]: Simplify 1 into 1
4.486 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
4.486 * [backup-simplify]: Simplify 0.5 into 0.5
4.487 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
4.487 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)))) into 0
4.487 * [taylor]: Taking taylor expansion of 0 in z
4.487 * [backup-simplify]: Simplify 0 into 0
4.488 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)))) into 0
4.488 * [backup-simplify]: Simplify 0 into 0
4.489 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
4.489 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.489 * [taylor]: Taking taylor expansion of 0 in z
4.489 * [backup-simplify]: Simplify 0 into 0
4.489 * [backup-simplify]: Simplify 0 into 0
4.490 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.490 * [backup-simplify]: Simplify 0 into 0
4.491 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
4.491 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.491 * [taylor]: Taking taylor expansion of 0 in z
4.491 * [backup-simplify]: Simplify 0 into 0
4.491 * [backup-simplify]: Simplify 0 into 0
4.491 * [backup-simplify]: Simplify 0 into 0
4.492 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.492 * [backup-simplify]: Simplify 0 into 0
4.492 * [backup-simplify]: Simplify (* 0.5 (* (/ 1 (/ 1 z)) (/ 1 (/ 1 y)))) into (* 0.5 (* z y))
4.493 * [backup-simplify]: Simplify (/ (* (/ 1 (- y)) (/ 1 (- z))) 2.0) into (/ 0.5 (* z y))
4.493 * [approximate]: Taking taylor expansion of (/ 0.5 (* z y)) in (y z) around 0
4.493 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in z
4.493 * [taylor]: Taking taylor expansion of 0.5 in z
4.493 * [backup-simplify]: Simplify 0.5 into 0.5
4.493 * [taylor]: Taking taylor expansion of (* z y) in z
4.493 * [taylor]: Taking taylor expansion of z in z
4.493 * [backup-simplify]: Simplify 0 into 0
4.493 * [backup-simplify]: Simplify 1 into 1
4.493 * [taylor]: Taking taylor expansion of y in z
4.493 * [backup-simplify]: Simplify y into y
4.493 * [backup-simplify]: Simplify (* 0 y) into 0
4.493 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.493 * [backup-simplify]: Simplify (/ 0.5 y) into (/ 0.5 y)
4.493 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in y
4.494 * [taylor]: Taking taylor expansion of 0.5 in y
4.494 * [backup-simplify]: Simplify 0.5 into 0.5
4.494 * [taylor]: Taking taylor expansion of (* z y) in y
4.494 * [taylor]: Taking taylor expansion of z in y
4.494 * [backup-simplify]: Simplify z into z
4.494 * [taylor]: Taking taylor expansion of y in y
4.494 * [backup-simplify]: Simplify 0 into 0
4.494 * [backup-simplify]: Simplify 1 into 1
4.494 * [backup-simplify]: Simplify (* z 0) into 0
4.494 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
4.494 * [backup-simplify]: Simplify (/ 0.5 z) into (/ 0.5 z)
4.494 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in y
4.494 * [taylor]: Taking taylor expansion of 0.5 in y
4.494 * [backup-simplify]: Simplify 0.5 into 0.5
4.494 * [taylor]: Taking taylor expansion of (* z y) in y
4.494 * [taylor]: Taking taylor expansion of z in y
4.494 * [backup-simplify]: Simplify z into z
4.494 * [taylor]: Taking taylor expansion of y in y
4.494 * [backup-simplify]: Simplify 0 into 0
4.494 * [backup-simplify]: Simplify 1 into 1
4.494 * [backup-simplify]: Simplify (* z 0) into 0
4.495 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
4.495 * [backup-simplify]: Simplify (/ 0.5 z) into (/ 0.5 z)
4.495 * [taylor]: Taking taylor expansion of (/ 0.5 z) in z
4.495 * [taylor]: Taking taylor expansion of 0.5 in z
4.495 * [backup-simplify]: Simplify 0.5 into 0.5
4.495 * [taylor]: Taking taylor expansion of z in z
4.495 * [backup-simplify]: Simplify 0 into 0
4.495 * [backup-simplify]: Simplify 1 into 1
4.496 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
4.496 * [backup-simplify]: Simplify 0.5 into 0.5
4.496 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
4.497 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)))) into 0
4.497 * [taylor]: Taking taylor expansion of 0 in z
4.497 * [backup-simplify]: Simplify 0 into 0
4.497 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)))) into 0
4.497 * [backup-simplify]: Simplify 0 into 0
4.498 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
4.498 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.498 * [taylor]: Taking taylor expansion of 0 in z
4.498 * [backup-simplify]: Simplify 0 into 0
4.499 * [backup-simplify]: Simplify 0 into 0
4.499 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.500 * [backup-simplify]: Simplify 0 into 0
4.500 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
4.501 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.501 * [taylor]: Taking taylor expansion of 0 in z
4.501 * [backup-simplify]: Simplify 0 into 0
4.501 * [backup-simplify]: Simplify 0 into 0
4.501 * [backup-simplify]: Simplify 0 into 0
4.502 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.502 * [backup-simplify]: Simplify 0 into 0
4.502 * [backup-simplify]: Simplify (* 0.5 (* (/ 1 (/ 1 (- z))) (/ 1 (/ 1 (- y))))) into (* 0.5 (* z y))
4.502 * * * [progress]: simplifying candidates
4.503 * [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.503 * * [simplify]: iteration 0: 53 enodes
4.521 * * [simplify]: iteration 1: 127 enodes
4.552 * * [simplify]: iteration 2: 646 enodes
5.007 * * [simplify]: iteration complete: 5001 enodes
5.007 * * [simplify]: Extracting #0: cost 23 inf + 0
5.008 * * [simplify]: Extracting #1: cost 555 inf + 1
5.017 * * [simplify]: Extracting #2: cost 1529 inf + 194
5.027 * * [simplify]: Extracting #3: cost 967 inf + 7286
5.041 * * [simplify]: Extracting #4: cost 31 inf + 13683
5.055 * * [simplify]: Extracting #5: cost 2 inf + 13922
5.070 * * [simplify]: Extracting #6: cost 0 inf + 13936
5.083 * [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))
  (pow (* (/ z 2.0) y) 3)
  (pow (* (/ z 2.0) y) 3)
  (* (cbrt (* (/ z 2.0) y)) (cbrt (* (/ z 2.0) y)))
  (cbrt (* (/ z 2.0) y))
  (pow (* (/ z 2.0) y) 3)
  (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.083 * * * [progress]: adding candidates to table
5.211 * [progress]: [Phase 3 of 3] Extracting.
5.215 * [simplify]: Simplifying:
  (- (fma (/ x 8.0) 1.0 t) (/ (* y z) 2.0))
5.215 * * [simplify]: iteration 0: 12 enodes
5.215 * * [simplify]: iteration 1: 13 enodes
5.215 * * [simplify]: iteration complete: 13 enodes
5.215 * * [simplify]: Extracting #0: cost 1 inf + 0
5.215 * * [simplify]: Extracting #1: cost 3 inf + 0
5.216 * * [simplify]: Extracting #2: cost 8 inf + 0
5.216 * * [simplify]: Extracting #3: cost 9 inf + 3
5.216 * * [simplify]: Extracting #4: cost 3 inf + 15
5.216 * * [simplify]: Extracting #5: cost 0 inf + 36
5.216 * [simplify]: Simplified to:
  (- (fma (/ x 8.0) 1.0 t) (/ (* z y) 2.0))
7.291 * [regime-testing]: Baseline error score: 0.022116125840181088
7.295 * [regime-testing]: Oracle error score: 0.022116125840181088
7.296 * [regime-testing]: End program error score: 0.022116125840181088
7.438 * [regime-testing]: Target error score: 0.006114125590149833