787.481 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.021 * * * [progress]: [2/2] Setting up program.
0.024 * [progress]: [Phase 2 of 3] Improving.
0.024 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- x (* (* y 4.0) z))
0.025 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
0.026 * * [simplify]: iteration  1 :  13  enodes  (cost  7 )
0.028 * * [simplify]: iteration  2 :  30  enodes  (cost  7 )
0.033 * * [simplify]: iteration  3 :  57  enodes  (cost  7 )
0.050 * * [simplify]: iteration  4 :  61  enodes  (cost  7 )
0.059 * * [simplify]: iteration  done :  61  enodes  (cost  7 )
0.059 * [simplify]: Simplified to:
   (- x (* (* y 4.0) z))
0.060 * * [progress]: iteration 1 / 4
0.060 * * * [progress]: picking best candidate
0.062 * * * * [pick]: Picked  #<alt (λ (x y z) (- x (* (* y 4.0) z)))>
0.062 * * * [progress]: localizing error
0.068 * * * [progress]: generating rewritten candidates
0.068 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.072 * * * [progress]: generating series expansions
0.072 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.072 * [approximate]: Taking taylor expansion of (- x (* 4.0 (* z y))) in (x y z) around 0
0.072 * [taylor]: Taking taylor expansion of (- x (* 4.0 (* z y))) in z
0.072 * [taylor]: Taking taylor expansion of x in z
0.072 * [taylor]: Taking taylor expansion of (* 4.0 (* z y)) in z
0.072 * [taylor]: Taking taylor expansion of 4.0 in z
0.072 * [taylor]: Taking taylor expansion of (* z y) in z
0.072 * [taylor]: Taking taylor expansion of z in z
0.072 * [taylor]: Taking taylor expansion of y in z
0.072 * [taylor]: Taking taylor expansion of (- x (* 4.0 (* z y))) in y
0.072 * [taylor]: Taking taylor expansion of x in y
0.072 * [taylor]: Taking taylor expansion of (* 4.0 (* z y)) in y
0.072 * [taylor]: Taking taylor expansion of 4.0 in y
0.072 * [taylor]: Taking taylor expansion of (* z y) in y
0.072 * [taylor]: Taking taylor expansion of z in y
0.072 * [taylor]: Taking taylor expansion of y in y
0.072 * [taylor]: Taking taylor expansion of (- x (* 4.0 (* z y))) in x
0.072 * [taylor]: Taking taylor expansion of x in x
0.072 * [taylor]: Taking taylor expansion of (* 4.0 (* z y)) in x
0.072 * [taylor]: Taking taylor expansion of 4.0 in x
0.072 * [taylor]: Taking taylor expansion of (* z y) in x
0.072 * [taylor]: Taking taylor expansion of z in x
0.072 * [taylor]: Taking taylor expansion of y in x
0.072 * [taylor]: Taking taylor expansion of (- x (* 4.0 (* z y))) in x
0.072 * [taylor]: Taking taylor expansion of x in x
0.072 * [taylor]: Taking taylor expansion of (* 4.0 (* z y)) in x
0.072 * [taylor]: Taking taylor expansion of 4.0 in x
0.072 * [taylor]: Taking taylor expansion of (* z y) in x
0.072 * [taylor]: Taking taylor expansion of z in x
0.072 * [taylor]: Taking taylor expansion of y in x
0.072 * [taylor]: Taking taylor expansion of (neg (* 4.0 (* z y))) in y
0.073 * [taylor]: Taking taylor expansion of (* 4.0 (* z y)) in y
0.073 * [taylor]: Taking taylor expansion of 4.0 in y
0.073 * [taylor]: Taking taylor expansion of (* z y) in y
0.073 * [taylor]: Taking taylor expansion of z in y
0.073 * [taylor]: Taking taylor expansion of y in y
0.073 * [taylor]: Taking taylor expansion of 0 in z
0.073 * [taylor]: Taking taylor expansion of 1 in y
0.073 * [taylor]: Taking taylor expansion of 1 in z
0.073 * [taylor]: Taking taylor expansion of (neg (* 4.0 z)) in z
0.073 * [taylor]: Taking taylor expansion of (* 4.0 z) in z
0.073 * [taylor]: Taking taylor expansion of 4.0 in z
0.073 * [taylor]: Taking taylor expansion of z in z
0.073 * [taylor]: Taking taylor expansion of 0 in y
0.073 * [taylor]: Taking taylor expansion of 0 in z
0.073 * [taylor]: Taking taylor expansion of 0 in z
0.073 * [taylor]: Taking taylor expansion of 0 in z
0.073 * [approximate]: Taking taylor expansion of (- (/ 1 x) (* 4.0 (/ 1 (* z y)))) in (x y z) around 0
0.073 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 4.0 (/ 1 (* z y)))) in z
0.073 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.074 * [taylor]: Taking taylor expansion of x in z
0.074 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in z
0.074 * [taylor]: Taking taylor expansion of 4.0 in z
0.074 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.074 * [taylor]: Taking taylor expansion of (* z y) in z
0.074 * [taylor]: Taking taylor expansion of z in z
0.074 * [taylor]: Taking taylor expansion of y in z
0.074 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 4.0 (/ 1 (* z y)))) in y
0.074 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.074 * [taylor]: Taking taylor expansion of x in y
0.074 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in y
0.074 * [taylor]: Taking taylor expansion of 4.0 in y
0.074 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.074 * [taylor]: Taking taylor expansion of (* z y) in y
0.074 * [taylor]: Taking taylor expansion of z in y
0.074 * [taylor]: Taking taylor expansion of y in y
0.074 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 4.0 (/ 1 (* z y)))) in x
0.074 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.074 * [taylor]: Taking taylor expansion of x in x
0.074 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in x
0.074 * [taylor]: Taking taylor expansion of 4.0 in x
0.074 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.074 * [taylor]: Taking taylor expansion of (* z y) in x
0.074 * [taylor]: Taking taylor expansion of z in x
0.074 * [taylor]: Taking taylor expansion of y in x
0.074 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 4.0 (/ 1 (* z y)))) in x
0.074 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.074 * [taylor]: Taking taylor expansion of x in x
0.074 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in x
0.074 * [taylor]: Taking taylor expansion of 4.0 in x
0.074 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.074 * [taylor]: Taking taylor expansion of (* z y) in x
0.074 * [taylor]: Taking taylor expansion of z in x
0.074 * [taylor]: Taking taylor expansion of y in x
0.074 * [taylor]: Taking taylor expansion of 1 in y
0.075 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ 1 (* z y)))) in y
0.075 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in y
0.075 * [taylor]: Taking taylor expansion of 4.0 in y
0.075 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.075 * [taylor]: Taking taylor expansion of (* z y) in y
0.075 * [taylor]: Taking taylor expansion of z in y
0.075 * [taylor]: Taking taylor expansion of y in y
0.075 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ 1 z))) in z
0.075 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
0.075 * [taylor]: Taking taylor expansion of 4.0 in z
0.075 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.075 * [taylor]: Taking taylor expansion of z in z
0.075 * [taylor]: Taking taylor expansion of 1 in z
0.075 * [taylor]: Taking taylor expansion of 0 in y
0.075 * [taylor]: Taking taylor expansion of 0 in z
0.075 * [taylor]: Taking taylor expansion of 0 in z
0.076 * [taylor]: Taking taylor expansion of 0 in y
0.076 * [taylor]: Taking taylor expansion of 0 in z
0.076 * [taylor]: Taking taylor expansion of 0 in z
0.076 * [taylor]: Taking taylor expansion of 0 in z
0.077 * [taylor]: Taking taylor expansion of 0 in y
0.077 * [taylor]: Taking taylor expansion of 0 in z
0.077 * [taylor]: Taking taylor expansion of 0 in z
0.077 * [taylor]: Taking taylor expansion of 0 in z
0.077 * [taylor]: Taking taylor expansion of 0 in z
0.077 * [approximate]: Taking taylor expansion of (neg (+ (* 4.0 (/ 1 (* z y))) (/ 1 x))) in (x y z) around 0
0.077 * [taylor]: Taking taylor expansion of (neg (+ (* 4.0 (/ 1 (* z y))) (/ 1 x))) in z
0.077 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* z y))) (/ 1 x)) in z
0.077 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in z
0.077 * [taylor]: Taking taylor expansion of 4.0 in z
0.077 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.077 * [taylor]: Taking taylor expansion of (* z y) in z
0.077 * [taylor]: Taking taylor expansion of z in z
0.077 * [taylor]: Taking taylor expansion of y in z
0.077 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.077 * [taylor]: Taking taylor expansion of x in z
0.077 * [taylor]: Taking taylor expansion of (neg (+ (* 4.0 (/ 1 (* z y))) (/ 1 x))) in y
0.077 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* z y))) (/ 1 x)) in y
0.077 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in y
0.078 * [taylor]: Taking taylor expansion of 4.0 in y
0.078 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.078 * [taylor]: Taking taylor expansion of (* z y) in y
0.078 * [taylor]: Taking taylor expansion of z in y
0.078 * [taylor]: Taking taylor expansion of y in y
0.078 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.078 * [taylor]: Taking taylor expansion of x in y
0.078 * [taylor]: Taking taylor expansion of (neg (+ (* 4.0 (/ 1 (* z y))) (/ 1 x))) in x
0.078 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* z y))) (/ 1 x)) in x
0.078 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in x
0.078 * [taylor]: Taking taylor expansion of 4.0 in x
0.078 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.078 * [taylor]: Taking taylor expansion of (* z y) in x
0.078 * [taylor]: Taking taylor expansion of z in x
0.078 * [taylor]: Taking taylor expansion of y in x
0.078 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.078 * [taylor]: Taking taylor expansion of x in x
0.078 * [taylor]: Taking taylor expansion of (neg (+ (* 4.0 (/ 1 (* z y))) (/ 1 x))) in x
0.078 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* z y))) (/ 1 x)) in x
0.078 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in x
0.078 * [taylor]: Taking taylor expansion of 4.0 in x
0.078 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.078 * [taylor]: Taking taylor expansion of (* z y) in x
0.078 * [taylor]: Taking taylor expansion of z in x
0.078 * [taylor]: Taking taylor expansion of y in x
0.078 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.078 * [taylor]: Taking taylor expansion of x in x
0.078 * [taylor]: Taking taylor expansion of (neg 1) in y
0.078 * [taylor]: Taking taylor expansion of 1 in y
0.078 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ 1 (* z y)))) in y
0.078 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* z y))) in y
0.078 * [taylor]: Taking taylor expansion of 4.0 in y
0.078 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.079 * [taylor]: Taking taylor expansion of (* z y) in y
0.079 * [taylor]: Taking taylor expansion of z in y
0.079 * [taylor]: Taking taylor expansion of y in y
0.079 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ 1 z))) in z
0.079 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
0.079 * [taylor]: Taking taylor expansion of 4.0 in z
0.079 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.079 * [taylor]: Taking taylor expansion of z in z
0.079 * [taylor]: Taking taylor expansion of (neg 1) in z
0.079 * [taylor]: Taking taylor expansion of 1 in z
0.079 * [taylor]: Taking taylor expansion of 0 in y
0.079 * [taylor]: Taking taylor expansion of 0 in z
0.079 * [taylor]: Taking taylor expansion of 0 in z
0.080 * [taylor]: Taking taylor expansion of 0 in y
0.080 * [taylor]: Taking taylor expansion of 0 in z
0.080 * [taylor]: Taking taylor expansion of 0 in z
0.080 * [taylor]: Taking taylor expansion of 0 in z
0.080 * [taylor]: Taking taylor expansion of 0 in y
0.080 * [taylor]: Taking taylor expansion of 0 in z
0.080 * [taylor]: Taking taylor expansion of 0 in z
0.081 * [taylor]: Taking taylor expansion of 0 in z
0.081 * [taylor]: Taking taylor expansion of 0 in z
0.081 * * * [progress]: simplifying candidates
0.081 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (exp x) (exp (* (* y 4.0) z)))
  (log (- x (* (* y 4.0) z)))
  (exp (- x (* (* y 4.0) z)))
  (* (cbrt (- x (* (* y 4.0) z))) (cbrt (- x (* (* y 4.0) z))))
  (cbrt (- x (* (* y 4.0) z)))
  (* (* (- x (* (* y 4.0) z)) (- x (* (* y 4.0) z))) (- x (* (* y 4.0) z)))
  (sqrt (- x (* (* y 4.0) z)))
  (sqrt (- x (* (* y 4.0) z)))
  (- (pow x 3) (pow (* (* y 4.0) z) 3))
  (+ (* x x) (+ (* (* (* y 4.0) z) (* (* y 4.0) z)) (* x (* (* y 4.0) z))))
  (neg (* (* y 4.0) z))
  (- (* x x) (* (* (* y 4.0) z) (* (* y 4.0) z)))
  (+ x (* (* y 4.0) z))
  (neg (* (* y 4.0) z))
  x
  (- x (* 4.0 (* z y)))
  (- x (* 4.0 (* z y)))
0.082 * * [simplify]: iteration  0 :  9  enodes  (cost  9 )
0.083 * * [simplify]: iteration  1 :  17  enodes  (cost  8 )
0.086 * * [simplify]: iteration  2 :  36  enodes  (cost  8 )
0.091 * * [simplify]: iteration  3 :  81  enodes  (cost  8 )
0.110 * * [simplify]: iteration  4 :  190  enodes  (cost  8 )
0.143 * * [simplify]: iteration  5 :  429  enodes  (cost  8 )
0.340 * * [simplify]: iteration  6 :  1162  enodes  (cost  8 )
1.502 * * [simplify]: iteration  7 :  3758  enodes  (cost  8 )
2.752 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
2.753 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
2.754 * * [simplify]: iteration  1 :  14  enodes  (cost  8 )
2.756 * * [simplify]: iteration  2 :  31  enodes  (cost  8 )
2.762 * * [simplify]: iteration  3 :  58  enodes  (cost  8 )
2.772 * * [simplify]: iteration  4 :  60  enodes  (cost  8 )
2.786 * * [simplify]: iteration  done :  60  enodes  (cost  8 )
2.786 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
2.787 * * [simplify]: iteration  1 :  17  enodes  (cost  8 )
2.790 * * [simplify]: iteration  2 :  42  enodes  (cost  8 )
2.797 * * [simplify]: iteration  3 :  99  enodes  (cost  8 )
2.814 * * [simplify]: iteration  4 :  189  enodes  (cost  8 )
2.857 * * [simplify]: iteration  5 :  463  enodes  (cost  8 )
3.018 * * [simplify]: iteration  6 :  1347  enodes  (cost  8 )
5.264 * * [simplify]: iteration  7 :  4897  enodes  (cost  8 )
6.102 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
6.103 * * [simplify]: iteration  0 :  9  enodes  (cost  17 )
6.104 * * [simplify]: iteration  1 :  15  enodes  (cost  17 )
6.106 * * [simplify]: iteration  2 :  32  enodes  (cost  17 )
6.114 * * [simplify]: iteration  3 :  59  enodes  (cost  17 )
6.125 * * [simplify]: iteration  4 :  61  enodes  (cost  17 )
6.135 * * [simplify]: iteration  done :  61  enodes  (cost  17 )
6.136 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
6.137 * * [simplify]: iteration  1 :  14  enodes  (cost  8 )
6.139 * * [simplify]: iteration  2 :  31  enodes  (cost  8 )
6.144 * * [simplify]: iteration  3 :  58  enodes  (cost  8 )
6.154 * * [simplify]: iteration  4 :  60  enodes  (cost  8 )
6.163 * * [simplify]: iteration  done :  60  enodes  (cost  8 )
6.164 * * [simplify]: iteration  0 :  9  enodes  (cost  23 )
6.168 * * [simplify]: iteration  1 :  16  enodes  (cost  23 )
6.170 * * [simplify]: iteration  2 :  47  enodes  (cost  9 )
6.181 * * [simplify]: iteration  3 :  165  enodes  (cost  9 )
6.270 * * [simplify]: iteration  4 :  872  enodes  (cost  9 )
7.547 * * [simplify]: iteration  5 :  4321  enodes  (cost  9 )
9.764 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
9.765 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
9.766 * * [simplify]: iteration  1 :  14  enodes  (cost  8 )
9.768 * * [simplify]: iteration  2 :  31  enodes  (cost  8 )
9.773 * * [simplify]: iteration  3 :  58  enodes  (cost  8 )
9.783 * * [simplify]: iteration  4 :  60  enodes  (cost  8 )
9.798 * * [simplify]: iteration  done :  60  enodes  (cost  8 )
9.798 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
9.799 * * [simplify]: iteration  1 :  14  enodes  (cost  8 )
9.801 * * [simplify]: iteration  2 :  31  enodes  (cost  8 )
9.806 * * [simplify]: iteration  3 :  58  enodes  (cost  8 )
9.817 * * [simplify]: iteration  4 :  60  enodes  (cost  8 )
9.827 * * [simplify]: iteration  done :  60  enodes  (cost  8 )
9.828 * * [simplify]: iteration  0 :  10  enodes  (cost  11 )
9.829 * * [simplify]: iteration  1 :  32  enodes  (cost  11 )
9.835 * * [simplify]: iteration  2 :  110  enodes  (cost  11 )
9.882 * * [simplify]: iteration  3 :  573  enodes  (cost  11 )
10.912 * * [simplify]: iteration  4 :  3049  enodes  (cost  11 )
13.022 * * [simplify]: iteration  done :  5000  enodes  (cost  11 )
13.022 * * [simplify]: iteration  0 :  11  enodes  (cost  23 )
13.024 * * [simplify]: iteration  1 :  31  enodes  (cost  17 )
13.031 * * [simplify]: iteration  2 :  107  enodes  (cost  17 )
13.066 * * [simplify]: iteration  3 :  302  enodes  (cost  17 )
13.209 * * [simplify]: iteration  4 :  406  enodes  (cost  17 )
13.338 * * [simplify]: iteration  done :  406  enodes  (cost  17 )
13.339 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
13.339 * * [simplify]: iteration  1 :  14  enodes  (cost  6 )
13.341 * * [simplify]: iteration  2 :  35  enodes  (cost  6 )
13.348 * * [simplify]: iteration  3 :  53  enodes  (cost  6 )
13.357 * * [simplify]: iteration  done :  53  enodes  (cost  6 )
13.358 * * [simplify]: iteration  0 :  9  enodes  (cost  15 )
13.359 * * [simplify]: iteration  1 :  25  enodes  (cost  15 )
13.363 * * [simplify]: iteration  2 :  89  enodes  (cost  15 )
13.400 * * [simplify]: iteration  3 :  361  enodes  (cost  15 )
13.736 * * [simplify]: iteration  4 :  957  enodes  (cost  15 )
14.486 * * [simplify]: iteration  5 :  1311  enodes  (cost  15 )
15.381 * * [simplify]: iteration  6 :  1537  enodes  (cost  15 )
16.405 * * [simplify]: iteration  7 :  1951  enodes  (cost  15 )
18.341 * * [simplify]: iteration  8 :  3853  enodes  (cost  15 )
20.536 * * [simplify]: iteration  done :  5001  enodes  (cost  15 )
20.537 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
20.537 * * [simplify]: iteration  1 :  12  enodes  (cost  7 )
20.539 * * [simplify]: iteration  2 :  18  enodes  (cost  7 )
20.542 * * [simplify]: iteration  3 :  20  enodes  (cost  7 )
20.544 * * [simplify]: iteration  done :  20  enodes  (cost  7 )
20.545 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
20.546 * * [simplify]: iteration  1 :  14  enodes  (cost  6 )
20.548 * * [simplify]: iteration  2 :  35  enodes  (cost  6 )
20.554 * * [simplify]: iteration  3 :  53  enodes  (cost  6 )
20.563 * * [simplify]: iteration  done :  53  enodes  (cost  6 )
20.564 * * [simplify]: iteration  0 :  1  enodes  (cost  1 )
20.564 * * [simplify]: iteration  done :  1  enodes  (cost  1 )
20.565 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
20.565 * * [simplify]: iteration  1 :  13  enodes  (cost  7 )
20.571 * * [simplify]: iteration  2 :  30  enodes  (cost  7 )
20.576 * * [simplify]: iteration  3 :  57  enodes  (cost  7 )
20.586 * * [simplify]: iteration  4 :  61  enodes  (cost  7 )
20.595 * * [simplify]: iteration  done :  61  enodes  (cost  7 )
20.596 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
20.597 * * [simplify]: iteration  1 :  13  enodes  (cost  7 )
20.599 * * [simplify]: iteration  2 :  30  enodes  (cost  7 )
20.604 * * [simplify]: iteration  3 :  57  enodes  (cost  7 )
20.614 * * [simplify]: iteration  4 :  61  enodes  (cost  7 )
20.625 * * [simplify]: iteration  done :  61  enodes  (cost  7 )
20.626 * [simplify]: Simplified to:
   (exp (- x (* (* y 4.0) z)))
  (log (- x (* (* y 4.0) z)))
  (exp (- x (* (* y 4.0) z)))
  (* (cbrt (- x (* (* y 4.0) z))) (cbrt (- x (* (* y 4.0) z))))
  (cbrt (- x (* (* y 4.0) z)))
  (pow (- x (* (* y 4.0) z)) 3)
  (sqrt (- x (* (* y 4.0) z)))
  (sqrt (- x (* (* y 4.0) z)))
  (- (pow x 3) (pow (* (* y 4.0) z) 3))
  (+ (* (* (* y 4.0) z) (+ (* (* y 4.0) z) x)) (* x x))
  (neg (* (* y 4.0) z))
  (* (+ x (* (* y 4.0) z)) (- x (* (* y 4.0) z)))
  (+ x (* (* y 4.0) z))
  (neg (* (* y 4.0) z))
  x
  (- x (* 4.0 (* z y)))
  (- x (* 4.0 (* z y)))
20.626 * * * [progress]: adding candidates to table
20.645 * [progress]: [Phase 3 of 3] Extracting.
20.648 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- x (* (* y 4.0) z))
20.648 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
20.648 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
20.649 * * [simplify]: iteration  done :  9  enodes  (cost  7 )
20.649 * [simplify]: Simplified to:
   (- x (* (* y 4.0) z))
21.545 * [regime-testing]: End program error score: 0.045005625703212905