43.568 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.029 * * * [progress]: [2/2] Setting up program.
0.031 * [progress]: [Phase 2 of 3] Improving.
0.031 * [simplify]: Simplifying:
  (+ (* x y) (* z (- 1.0 y)))
0.031 * * [simplify]: Extracting # 0 : cost  0
0.031 * * [simplify]: Extracting # 1 : cost  0
0.031 * * [simplify]: Extracting # 2 : cost  0
0.031 * * [simplify]: Extracting # 3 : cost  0
0.031 * * [simplify]: Extracting # 4 : cost  0
0.031 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.032 * * [simplify]: Extracting # 0 : cost  0
0.032 * * [simplify]: Extracting # 1 : cost  0
0.032 * * [simplify]: Extracting # 2 : cost  0
0.033 * * [simplify]: iteration  1 :  13  enodes  (cost  9 )
0.035 * * [simplify]: Extracting # 0 : cost  0
0.035 * * [simplify]: Extracting # 1 : cost  0
0.035 * * [simplify]: Extracting # 2 : cost  0
0.035 * * [simplify]: iteration  2 :  20  enodes  (cost  9 )
0.038 * * [simplify]: Extracting # 0 : cost  0
0.038 * * [simplify]: Extracting # 1 : cost  0
0.038 * * [simplify]: Extracting # 2 : cost  0
0.039 * * [simplify]: iteration  3 :  34  enodes  (cost  9 )
0.048 * * [simplify]: Extracting # 0 : cost  0
0.049 * * [simplify]: Extracting # 1 : cost  0
0.049 * * [simplify]: Extracting # 2 : cost  0
0.049 * * [simplify]: iteration  4 :  47  enodes  (cost  9 )
0.062 * * [simplify]: Extracting # 0 : cost  0
0.062 * * [simplify]: Extracting # 1 : cost  0
0.062 * * [simplify]: Extracting # 2 : cost  0
0.062 * * [simplify]: Extracting # 3 : cost  0
0.063 * * [simplify]: iteration  5 :  55  enodes  (cost  9 )
0.080 * * [simplify]: Extracting # 0 : cost  0
0.080 * * [simplify]: Extracting # 1 : cost  0
0.080 * * [simplify]: Extracting # 2 : cost  0
0.080 * * [simplify]: Extracting # 3 : cost  0
0.080 * * [simplify]: iteration  6 :  66  enodes  (cost  9 )
0.101 * * [simplify]: Extracting # 0 : cost  0
0.101 * * [simplify]: Extracting # 1 : cost  0
0.101 * * [simplify]: Extracting # 2 : cost  0
0.102 * * [simplify]: Extracting # 3 : cost  0
0.102 * * [simplify]: iteration  7 :  87  enodes  (cost  9 )
0.130 * * [simplify]: Extracting # 0 : cost  0
0.130 * * [simplify]: Extracting # 1 : cost  0
0.130 * * [simplify]: Extracting # 2 : cost  0
0.131 * * [simplify]: iteration  8 :  120  enodes  (cost  9 )
0.175 * * [simplify]: Extracting # 0 : cost  0
0.175 * * [simplify]: Extracting # 1 : cost  0
0.175 * * [simplify]: Extracting # 2 : cost  0
0.175 * * [simplify]: iteration  9 :  149  enodes  (cost  9 )
0.235 * * [simplify]: Extracting # 0 : cost  0
0.235 * * [simplify]: Extracting # 1 : cost  0
0.235 * * [simplify]: Extracting # 2 : cost  0
0.235 * * [simplify]: iteration  10 :  169  enodes  (cost  9 )
0.272 * * [simplify]: Extracting # 0 : cost  0
0.273 * * [simplify]: Extracting # 1 : cost  0
0.273 * * [simplify]: Extracting # 2 : cost  0
0.273 * * [simplify]: iteration  11 :  180  enodes  (cost  9 )
0.327 * * [simplify]: Extracting # 0 : cost  0
0.330 * * [simplify]: Extracting # 1 : cost  0
0.330 * * [simplify]: Extracting # 2 : cost  0
0.331 * * [simplify]: iteration  12 :  198  enodes  (cost  9 )
0.392 * * [simplify]: Extracting # 0 : cost  0
0.392 * * [simplify]: Extracting # 1 : cost  0
0.392 * * [simplify]: Extracting # 2 : cost  0
0.393 * * [simplify]: iteration  13 :  207  enodes  (cost  9 )
0.460 * * [simplify]: Extracting # 0 : cost  0
0.460 * * [simplify]: Extracting # 1 : cost  0
0.460 * * [simplify]: iteration done:  207  enodes  (cost  9 )
0.460 * [simplify]: Simplified to:
  (+ (* x y) (* z (- 1.0 y)))
0.461 * * [progress]: iteration 1 / 4
0.461 * * * [progress]: picking best candidate
0.463 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* x y) (* z (- 1.0 y))))>
0.463 * * * [progress]: localizing error
0.474 * * * [progress]: generating rewritten candidates
0.474 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
0.507 * * * [progress]: generating series expansions
0.507 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
0.507 * [backup-simplify]: Simplify (* z (- 1.0 y)) into (* (- 1.0 y) z)
0.507 * [approximate]: Taking taylor expansion of (* (- 1.0 y) z) in (z y) around 0
0.507 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in y
0.507 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
0.507 * [taylor]: Taking taylor expansion of 1.0 in y
0.507 * [backup-simplify]: Simplify 1.0 into 1.0
0.507 * [taylor]: Taking taylor expansion of y in y
0.507 * [backup-simplify]: Simplify 0 into 0
0.507 * [backup-simplify]: Simplify 1 into 1
0.507 * [taylor]: Taking taylor expansion of z in y
0.507 * [backup-simplify]: Simplify z into z
0.507 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in z
0.507 * [taylor]: Taking taylor expansion of (- 1.0 y) in z
0.507 * [taylor]: Taking taylor expansion of 1.0 in z
0.507 * [backup-simplify]: Simplify 1.0 into 1.0
0.507 * [taylor]: Taking taylor expansion of y in z
0.507 * [backup-simplify]: Simplify y into y
0.507 * [taylor]: Taking taylor expansion of z in z
0.507 * [backup-simplify]: Simplify 0 into 0
0.507 * [backup-simplify]: Simplify 1 into 1
0.507 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in z
0.507 * [taylor]: Taking taylor expansion of (- 1.0 y) in z
0.507 * [taylor]: Taking taylor expansion of 1.0 in z
0.507 * [backup-simplify]: Simplify 1.0 into 1.0
0.507 * [taylor]: Taking taylor expansion of y in z
0.507 * [backup-simplify]: Simplify y into y
0.508 * [taylor]: Taking taylor expansion of z in z
0.508 * [backup-simplify]: Simplify 0 into 0
0.508 * [backup-simplify]: Simplify 1 into 1
0.508 * [backup-simplify]: Simplify (- y) into (- y)
0.508 * [backup-simplify]: Simplify (+ 1.0 (- y)) into (- 1.0 y)
0.508 * [backup-simplify]: Simplify (* (- 1.0 y) 0) into 0
0.508 * [taylor]: Taking taylor expansion of 0 in y
0.508 * [backup-simplify]: Simplify 0 into 0
0.508 * [backup-simplify]: Simplify 0 into 0
0.508 * [backup-simplify]: Simplify (- 0) into 0
0.509 * [backup-simplify]: Simplify (+ 0 0) into 0
0.509 * [backup-simplify]: Simplify (+ (* (- 1.0 y) 1) (* 0 0)) into (- 1.0 y)
0.509 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
0.509 * [taylor]: Taking taylor expansion of 1.0 in y
0.509 * [backup-simplify]: Simplify 1.0 into 1.0
0.509 * [taylor]: Taking taylor expansion of y in y
0.509 * [backup-simplify]: Simplify 0 into 0
0.509 * [backup-simplify]: Simplify 1 into 1
0.510 * [backup-simplify]: Simplify (- 0) into 0
0.510 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
0.510 * [backup-simplify]: Simplify 1.0 into 1.0
0.510 * [backup-simplify]: Simplify 0 into 0
0.510 * [backup-simplify]: Simplify (- 0) into 0
0.511 * [backup-simplify]: Simplify (+ 0 0) into 0
0.511 * [backup-simplify]: Simplify (+ (* (- 1.0 y) 0) (+ (* 0 1) (* 0 0))) into 0
0.511 * [taylor]: Taking taylor expansion of 0 in y
0.511 * [backup-simplify]: Simplify 0 into 0
0.511 * [backup-simplify]: Simplify 0 into 0
0.512 * [backup-simplify]: Simplify (- 1) into -1
0.512 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.512 * [backup-simplify]: Simplify -1 into -1
0.512 * [backup-simplify]: Simplify 0 into 0
0.512 * [backup-simplify]: Simplify (- 0) into 0
0.513 * [backup-simplify]: Simplify (+ 0 0) into 0
0.513 * [backup-simplify]: Simplify (+ (* (- 1.0 y) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.513 * [taylor]: Taking taylor expansion of 0 in y
0.513 * [backup-simplify]: Simplify 0 into 0
0.513 * [backup-simplify]: Simplify 0 into 0
0.513 * [backup-simplify]: Simplify 0 into 0
0.514 * [backup-simplify]: Simplify (- 0) into 0
0.514 * [backup-simplify]: Simplify (+ 0 0) into 0
0.514 * [backup-simplify]: Simplify 0 into 0
0.514 * [backup-simplify]: Simplify 0 into 0
0.514 * [backup-simplify]: Simplify (- 0) into 0
0.515 * [backup-simplify]: Simplify (+ 0 0) into 0
0.515 * [backup-simplify]: Simplify (+ (* (- 1.0 y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
0.515 * [taylor]: Taking taylor expansion of 0 in y
0.515 * [backup-simplify]: Simplify 0 into 0
0.516 * [backup-simplify]: Simplify 0 into 0
0.516 * [backup-simplify]: Simplify (+ (* -1 (* y z)) (* 1.0 (* 1 z))) into (- (* 1.0 z) (* z y))
0.516 * [backup-simplify]: Simplify (* (/ 1 z) (- 1.0 (/ 1 y))) into (/ (- 1.0 (/ 1 y)) z)
0.516 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in (z y) around 0
0.516 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in y
0.516 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
0.516 * [taylor]: Taking taylor expansion of 1.0 in y
0.516 * [backup-simplify]: Simplify 1.0 into 1.0
0.516 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.516 * [taylor]: Taking taylor expansion of y in y
0.516 * [backup-simplify]: Simplify 0 into 0
0.516 * [backup-simplify]: Simplify 1 into 1
0.516 * [backup-simplify]: Simplify (/ 1 1) into 1
0.516 * [taylor]: Taking taylor expansion of z in y
0.516 * [backup-simplify]: Simplify z into z
0.517 * [backup-simplify]: Simplify (- 1) into -1
0.517 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.517 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
0.517 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in z
0.517 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in z
0.517 * [taylor]: Taking taylor expansion of 1.0 in z
0.517 * [backup-simplify]: Simplify 1.0 into 1.0
0.517 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.517 * [taylor]: Taking taylor expansion of y in z
0.517 * [backup-simplify]: Simplify y into y
0.517 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.517 * [taylor]: Taking taylor expansion of z in z
0.517 * [backup-simplify]: Simplify 0 into 0
0.518 * [backup-simplify]: Simplify 1 into 1
0.518 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
0.518 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 y))) into (- 1.0 (/ 1 y))
0.518 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 y)) 1) into (- 1.0 (/ 1 y))
0.518 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in z
0.518 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in z
0.518 * [taylor]: Taking taylor expansion of 1.0 in z
0.518 * [backup-simplify]: Simplify 1.0 into 1.0
0.518 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.518 * [taylor]: Taking taylor expansion of y in z
0.518 * [backup-simplify]: Simplify y into y
0.518 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.518 * [taylor]: Taking taylor expansion of z in z
0.518 * [backup-simplify]: Simplify 0 into 0
0.518 * [backup-simplify]: Simplify 1 into 1
0.518 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
0.518 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 y))) into (- 1.0 (/ 1 y))
0.518 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 y)) 1) into (- 1.0 (/ 1 y))
0.518 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
0.518 * [taylor]: Taking taylor expansion of 1.0 in y
0.518 * [backup-simplify]: Simplify 1.0 into 1.0
0.519 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.519 * [taylor]: Taking taylor expansion of y in y
0.519 * [backup-simplify]: Simplify 0 into 0
0.519 * [backup-simplify]: Simplify 1 into 1
0.519 * [backup-simplify]: Simplify (/ 1 1) into 1
0.519 * [backup-simplify]: Simplify (- 1) into -1
0.520 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.520 * [backup-simplify]: Simplify -1 into -1
0.520 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.520 * [backup-simplify]: Simplify (- 0) into 0
0.520 * [backup-simplify]: Simplify (+ 0 0) into 0
0.521 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 1.0 (/ 1 y)) (/ 0 1)))) into 0
0.521 * [taylor]: Taking taylor expansion of 0 in y
0.521 * [backup-simplify]: Simplify 0 into 0
0.522 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.522 * [backup-simplify]: Simplify (- 0) into 0
0.522 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
0.522 * [backup-simplify]: Simplify 1.0 into 1.0
0.523 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.523 * [backup-simplify]: Simplify (- 0) into 0
0.523 * [backup-simplify]: Simplify (+ 0 0) into 0
0.524 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 1.0 (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.524 * [taylor]: Taking taylor expansion of 0 in y
0.524 * [backup-simplify]: Simplify 0 into 0
0.525 * [backup-simplify]: Simplify 0 into 0
0.525 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.526 * [backup-simplify]: Simplify (- 0) into 0
0.526 * [backup-simplify]: Simplify (+ 0 0) into 0
0.526 * [backup-simplify]: Simplify 0 into 0
0.526 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.527 * [backup-simplify]: Simplify (- 0) into 0
0.527 * [backup-simplify]: Simplify (+ 0 0) into 0
0.528 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 1.0 (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.528 * [taylor]: Taking taylor expansion of 0 in y
0.528 * [backup-simplify]: Simplify 0 into 0
0.529 * [backup-simplify]: Simplify 0 into 0
0.529 * [backup-simplify]: Simplify 0 into 0
0.529 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.530 * [backup-simplify]: Simplify (- 0) into 0
0.530 * [backup-simplify]: Simplify (+ 0 0) into 0
0.530 * [backup-simplify]: Simplify 0 into 0
0.530 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.530 * [backup-simplify]: Simplify (- 0) into 0
0.531 * [backup-simplify]: Simplify (+ 0 0) into 0
0.538 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 1.0 (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.538 * [taylor]: Taking taylor expansion of 0 in y
0.538 * [backup-simplify]: Simplify 0 into 0
0.538 * [backup-simplify]: Simplify 0 into 0
0.539 * [backup-simplify]: Simplify (+ (* 1.0 (* 1 (/ 1 (/ 1 z)))) (* -1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 z))))) into (- (* 1.0 z) (* z y))
0.539 * [backup-simplify]: Simplify (* (/ 1 (- z)) (- 1.0 (/ 1 (- y)))) into (* -1 (/ (+ (/ 1 y) 1.0) z))
0.539 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) z)) in (z y) around 0
0.539 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) z)) in y
0.539 * [taylor]: Taking taylor expansion of -1 in y
0.539 * [backup-simplify]: Simplify -1 into -1
0.539 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in y
0.539 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
0.539 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.539 * [taylor]: Taking taylor expansion of y in y
0.539 * [backup-simplify]: Simplify 0 into 0
0.539 * [backup-simplify]: Simplify 1 into 1
0.540 * [backup-simplify]: Simplify (/ 1 1) into 1
0.540 * [taylor]: Taking taylor expansion of 1.0 in y
0.540 * [backup-simplify]: Simplify 1.0 into 1.0
0.540 * [taylor]: Taking taylor expansion of z in y
0.540 * [backup-simplify]: Simplify z into z
0.540 * [backup-simplify]: Simplify (+ 1 0) into 1
0.541 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.541 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) z)) in z
0.541 * [taylor]: Taking taylor expansion of -1 in z
0.541 * [backup-simplify]: Simplify -1 into -1
0.541 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in z
0.541 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z
0.541 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.541 * [taylor]: Taking taylor expansion of y in z
0.541 * [backup-simplify]: Simplify y into y
0.541 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.541 * [taylor]: Taking taylor expansion of 1.0 in z
0.541 * [backup-simplify]: Simplify 1.0 into 1.0
0.541 * [taylor]: Taking taylor expansion of z in z
0.541 * [backup-simplify]: Simplify 0 into 0
0.541 * [backup-simplify]: Simplify 1 into 1
0.541 * [backup-simplify]: Simplify (+ (/ 1 y) 1.0) into (+ (/ 1 y) 1.0)
0.541 * [backup-simplify]: Simplify (/ (+ (/ 1 y) 1.0) 1) into (+ (/ 1 y) 1.0)
0.541 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) z)) in z
0.541 * [taylor]: Taking taylor expansion of -1 in z
0.541 * [backup-simplify]: Simplify -1 into -1
0.541 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in z
0.541 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z
0.541 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.541 * [taylor]: Taking taylor expansion of y in z
0.541 * [backup-simplify]: Simplify y into y
0.541 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.542 * [taylor]: Taking taylor expansion of 1.0 in z
0.542 * [backup-simplify]: Simplify 1.0 into 1.0
0.542 * [taylor]: Taking taylor expansion of z in z
0.542 * [backup-simplify]: Simplify 0 into 0
0.542 * [backup-simplify]: Simplify 1 into 1
0.542 * [backup-simplify]: Simplify (+ (/ 1 y) 1.0) into (+ (/ 1 y) 1.0)
0.542 * [backup-simplify]: Simplify (/ (+ (/ 1 y) 1.0) 1) into (+ (/ 1 y) 1.0)
0.542 * [backup-simplify]: Simplify (* -1 (+ (/ 1 y) 1.0)) into (* -1 (+ (/ 1 y) 1.0))
0.542 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 y) 1.0)) in y
0.542 * [taylor]: Taking taylor expansion of -1 in y
0.542 * [backup-simplify]: Simplify -1 into -1
0.542 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
0.542 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.542 * [taylor]: Taking taylor expansion of y in y
0.542 * [backup-simplify]: Simplify 0 into 0
0.542 * [backup-simplify]: Simplify 1 into 1
0.543 * [backup-simplify]: Simplify (/ 1 1) into 1
0.543 * [taylor]: Taking taylor expansion of 1.0 in y
0.543 * [backup-simplify]: Simplify 1.0 into 1.0
0.543 * [backup-simplify]: Simplify (+ 1 0) into 1
0.544 * [backup-simplify]: Simplify (* -1 1) into -1
0.544 * [backup-simplify]: Simplify -1 into -1
0.544 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.544 * [backup-simplify]: Simplify (+ 0 0) into 0
0.545 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 y) 1.0) (/ 0 1)))) into 0
0.546 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (+ (/ 1 y) 1.0))) into 0
0.546 * [taylor]: Taking taylor expansion of 0 in y
0.546 * [backup-simplify]: Simplify 0 into 0
0.547 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.547 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.549 * [backup-simplify]: Simplify (+ (* -1 1.0) (* 0 1)) into (- 1.0)
0.549 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.549 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.550 * [backup-simplify]: Simplify (+ 0 0) into 0
0.551 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 y) 1.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.552 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (+ (/ 1 y) 1.0)))) into 0
0.552 * [taylor]: Taking taylor expansion of 0 in y
0.552 * [backup-simplify]: Simplify 0 into 0
0.552 * [backup-simplify]: Simplify 0 into 0
0.553 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.553 * [backup-simplify]: Simplify (+ 0 0) into 0
0.554 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1.0) (* 0 1))) into 0
0.554 * [backup-simplify]: Simplify 0 into 0
0.554 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.554 * [backup-simplify]: Simplify (+ 0 0) into 0
0.556 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 y) 1.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.557 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (/ 1 y) 1.0))))) into 0
0.557 * [taylor]: Taking taylor expansion of 0 in y
0.557 * [backup-simplify]: Simplify 0 into 0
0.557 * [backup-simplify]: Simplify 0 into 0
0.557 * [backup-simplify]: Simplify 0 into 0
0.558 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.559 * [backup-simplify]: Simplify (+ 0 0) into 0
0.560 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1)))) into 0
0.560 * [backup-simplify]: Simplify 0 into 0
0.560 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.561 * [backup-simplify]: Simplify (+ 0 0) into 0
0.563 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 y) 1.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.565 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (/ 1 y) 1.0)))))) into 0
0.565 * [taylor]: Taking taylor expansion of 0 in y
0.565 * [backup-simplify]: Simplify 0 into 0
0.565 * [backup-simplify]: Simplify 0 into 0
0.565 * [backup-simplify]: Simplify (+ (* (- 1.0) (* 1 (/ 1 (/ 1 (- z))))) (* -1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- z)))))) into (- (* 1.0 z) (* z y))
0.566 * * * [progress]: simplifying candidates
0.566 * [simplify]: Simplifying:
  (* z (- 1.0 y))
  (+ (log z) (log (- 1.0 y)))
  (log (* z (- 1.0 y)))
  (exp (* z (- 1.0 y)))
  (* (* (* z z) z) (* (* (- 1.0 y) (- 1.0 y)) (- 1.0 y)))
  (* (cbrt (* z (- 1.0 y))) (cbrt (* z (- 1.0 y))))
  (cbrt (* z (- 1.0 y)))
  (* (* (* z (- 1.0 y)) (* z (- 1.0 y))) (* z (- 1.0 y)))
  (sqrt (* z (- 1.0 y)))
  (sqrt (* z (- 1.0 y)))
  (* (sqrt z) (sqrt (- 1.0 y)))
  (* (sqrt z) (sqrt (- 1.0 y)))
  (* z 1.0)
  (* z (- y))
  (* z 1.0)
  (* z (- y))
  (* 1.0 z)
  (* (- y) z)
  (* 1.0 z)
  (* (- y) z)
  (* z (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))
  (* z (sqrt (- 1.0 y)))
  (* z 1)
  (* z (+ (sqrt 1.0) (sqrt y)))
  (* z 1)
  (* (cbrt z) (- 1.0 y))
  (* (sqrt z) (- 1.0 y))
  (* z (- 1.0 y))
  (* z (- (pow 1.0 3) (pow y 3)))
  (* z (- (* 1.0 1.0) (* y y)))
  (- (* 1.0 z) (* z y))
  (- (* 1.0 z) (* z y))
  (- (* 1.0 z) (* z y))
0.567 * * [simplify]: Extracting # 0 : cost  0
0.568 * * [simplify]: Extracting # 1 : cost  0
0.568 * * [simplify]: Extracting # 2 : cost  0
0.568 * * [simplify]: Extracting # 3 : cost  0
0.568 * * [simplify]: Extracting # 4 : cost  0
0.568 * * [simplify]: Extracting # 5 : cost  0
0.568 * * [simplify]: iteration  0 :  52  enodes  (cost  217 )
0.583 * * [simplify]: Extracting # 0 : cost  0
0.583 * * [simplify]: Extracting # 1 : cost  0
0.583 * * [simplify]: Extracting # 2 : cost  0
0.584 * * [simplify]: Extracting # 3 : cost  0
0.584 * * [simplify]: Extracting # 4 : cost  0
0.584 * * [simplify]: iteration  1 :  113  enodes  (cost  212 )
0.607 * * [simplify]: Extracting # 0 : cost  0
0.608 * * [simplify]: Extracting # 1 : cost  0
0.608 * * [simplify]: Extracting # 2 : cost  0
0.608 * * [simplify]: Extracting # 3 : cost  0
0.609 * * [simplify]: Extracting # 4 : cost  0
0.609 * * [simplify]: Extracting # 5 : cost  0
0.610 * * [simplify]: iteration  2 :  265  enodes  (cost  186 )
0.786 * * [simplify]: Extracting # 0 : cost  0
0.787 * * [simplify]: Extracting # 1 : cost  0
0.788 * * [simplify]: Extracting # 2 : cost  0
0.789 * * [simplify]: Extracting # 3 : cost  0
0.789 * * [simplify]: Extracting # 4 : cost  0
0.790 * * [simplify]: iteration  3 :  816  enodes  (cost  186 )
1.823 * * [simplify]: Extracting # 0 : cost  0
1.829 * * [simplify]: Extracting # 1 : cost  0
1.832 * * [simplify]: Extracting # 2 : cost  0
1.835 * * [simplify]: Extracting # 3 : cost  0
1.839 * * [simplify]: Extracting # 4 : cost  0
1.842 * * [simplify]: iteration  4 :  3360  enodes  (cost  186 )
2.741 * * [simplify]: Extracting # 0 : cost  0
2.744 * * [simplify]: Extracting # 1 : cost  0
2.748 * * [simplify]: Extracting # 2 : cost  0
2.752 * * [simplify]: Extracting # 3 : cost  0
2.755 * * [simplify]: Extracting # 4 : cost  0
2.759 * * [simplify]: iteration done:  5000  enodes  (cost  186 )
2.759 * [simplify]: Simplified to:
  (* (- 1.0 y) z)
  (log (* z (- 1.0 y)))
  (log (* z (- 1.0 y)))
  (exp (* z (- 1.0 y)))
  (pow (* z (- 1.0 y)) 3)
  (* (cbrt (* z (- 1.0 y))) (cbrt (* z (- 1.0 y))))
  (cbrt (* z (- 1.0 y)))
  (pow (* z (- 1.0 y)) 3)
  (sqrt (* z (- 1.0 y)))
  (sqrt (* z (- 1.0 y)))
  (* (sqrt z) (sqrt (- 1.0 y)))
  (* (sqrt z) (sqrt (- 1.0 y)))
  (* z 1.0)
  (* z (- y))
  (* z 1.0)
  (* z (- y))
  (* z 1.0)
  (* z (- y))
  (* z 1.0)
  (* z (- y))
  (* z (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))
  (* z (sqrt (- 1.0 y)))
  z
  (* z (+ (sqrt 1.0) (sqrt y)))
  z
  (* (cbrt z) (- 1.0 y))
  (* (sqrt z) (- 1.0 y))
  (* (- 1.0 y) z)
  (* z (- (pow 1.0 3) (pow y 3)))
  (* z (- (* 1.0 1.0) (* y y)))
  (* (- 1.0 y) z)
  (* (- 1.0 y) z)
  (* (- 1.0 y) z)
2.759 * * * [progress]: adding candidates to table
2.809 * * [progress]: iteration 2 / 4
2.809 * * * [progress]: picking best candidate
2.810 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* x y) (+ (* z 1.0) (* z (- y)))))>
2.810 * * * [progress]: localizing error
2.819 * * * [progress]: generating rewritten candidates
2.819 * * * [progress]: generating series expansions
2.819 * * * [progress]: simplifying candidates
2.819 * [simplify]: Simplifying:
  
2.819 * * [simplify]: Extracting # 0 : cost  0
2.819 * * [simplify]: iteration  0 :  0  enodes  (cost  0 )
2.819 * * [simplify]: Extracting # 0 : cost  0
2.819 * * [simplify]: iteration done:  0  enodes  (cost  0 )
2.819 * [simplify]: Simplified to:
  
2.819 * * * [progress]: adding candidates to table
2.820 * [progress]: [Phase 3 of 3] Extracting.
2.821 * [simplify]: Simplifying:
  (+ (* x y) (+ (* z 1.0) (* z (- y))))
2.821 * * [simplify]: Extracting # 0 : cost  0
2.822 * * [simplify]: Extracting # 1 : cost  0
2.822 * * [simplify]: Extracting # 2 : cost  0
2.822 * * [simplify]: Extracting # 3 : cost  0
2.822 * * [simplify]: Extracting # 4 : cost  0
2.822 * * [simplify]: iteration  0 :  10  enodes  (cost  12 )
2.822 * * [simplify]: Extracting # 0 : cost  0
2.822 * * [simplify]: Extracting # 1 : cost  0
2.822 * * [simplify]: Extracting # 2 : cost  0
2.822 * * [simplify]: iteration  1 :  17  enodes  (cost  12 )
2.823 * * [simplify]: Extracting # 0 : cost  0
2.823 * * [simplify]: Extracting # 1 : cost  0
2.823 * * [simplify]: Extracting # 2 : cost  0
2.823 * * [simplify]: iteration  2 :  21  enodes  (cost  12 )
2.824 * * [simplify]: Extracting # 0 : cost  0
2.824 * * [simplify]: iteration  3 :  22  enodes  (cost  12 )
2.825 * * [simplify]: Extracting # 0 : cost  0
2.825 * * [simplify]: iteration done:  22  enodes  (cost  12 )
2.825 * [simplify]: Simplified to:
  (+ (* x y) (+ (* z 1.0) (* z (- y))))
3.664 * [regime-testing]: End program error score: 0.014199895299502583
3.687 * [regime-testing]: Target error score: 0.011949614014341938