11.072 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.032 * * * [progress]: [2/2] Setting up program.
0.040 * [progress]: [Phase 2 of 3] Improving.
0.040 * [simplify]: Simplifying:
  (+ (* x y) (* (- 1.0 x) z))
0.040 * * [simplify]: iteration 0: 8 enodes
0.043 * * [simplify]: iteration 1: 13 enodes
0.048 * * [simplify]: iteration 2: 20 enodes
0.055 * * [simplify]: iteration 3: 34 enodes
0.065 * * [simplify]: iteration 4: 50 enodes
0.080 * * [simplify]: iteration 5: 63 enodes
0.095 * * [simplify]: iteration 6: 75 enodes
0.112 * * [simplify]: iteration 7: 97 enodes
0.142 * * [simplify]: iteration 8: 134 enodes
0.160 * * [simplify]: iteration 9: 171 enodes
0.204 * * [simplify]: iteration 10: 310 enodes
0.334 * * [simplify]: iteration 11: 1065 enodes
1.339 * * [simplify]: iteration 12: 1618 enodes
1.589 * * [simplify]: iteration 13: 1929 enodes
1.767 * * [simplify]: iteration 14: 2094 enodes
1.866 * * [simplify]: iteration 15: 2253 enodes
1.945 * * [simplify]: iteration 16: 2402 enodes
2.060 * * [simplify]: iteration 17: 2550 enodes
2.135 * * [simplify]: iteration 18: 2701 enodes
2.223 * * [simplify]: iteration 19: 2866 enodes
2.286 * * [simplify]: iteration 20: 3017 enodes
2.382 * * [simplify]: iteration 21: 3165 enodes
2.470 * * [simplify]: iteration 22: 3316 enodes
2.554 * * [simplify]: iteration 23: 3481 enodes
2.612 * * [simplify]: iteration 24: 3632 enodes
2.711 * * [simplify]: iteration 25: 3780 enodes
2.804 * * [simplify]: iteration 26: 3931 enodes
2.887 * * [simplify]: iteration 27: 4096 enodes
2.970 * * [simplify]: iteration 28: 4247 enodes
3.056 * * [simplify]: iteration 29: 4395 enodes
3.132 * * [simplify]: iteration 30: 4546 enodes
3.218 * * [simplify]: iteration 31: 4711 enodes
3.311 * * [simplify]: iteration 32: 4862 enodes
3.390 * * [simplify]: iteration complete: 5000 enodes
3.390 * * [simplify]: Extracting #0: cost 1 inf + 0
3.390 * * [simplify]: Extracting #1: cost 14 inf + 0
3.391 * * [simplify]: Extracting #2: cost 57 inf + 0
3.391 * * [simplify]: Extracting #3: cost 62 inf + 540
3.392 * * [simplify]: Extracting #4: cost 10 inf + 5335
3.394 * * [simplify]: Extracting #5: cost 0 inf + 6360
3.396 * [simplify]: Simplified to:
  (+ (* (- y z) x) (* 1.0 z))
3.397 * * [progress]: iteration 1 / 4
3.397 * * * [progress]: picking best candidate
3.400 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* x y) (* (- 1.0 x) z)))>
3.400 * * * [progress]: localizing error
3.411 * * * [progress]: generating rewritten candidates
3.411 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.418 * * * [progress]: generating series expansions
3.418 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.418 * [backup-simplify]: Simplify (+ (* x y) (* (- 1.0 x) z)) into (- (+ (* 1.0 z) (* x y)) (* x z))
3.418 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 z) (* x y)) (* x z)) in (x y z) around 0
3.418 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 z) (* x y)) (* x z)) in z
3.418 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* x y)) in z
3.418 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
3.418 * [taylor]: Taking taylor expansion of 1.0 in z
3.418 * [backup-simplify]: Simplify 1.0 into 1.0
3.418 * [taylor]: Taking taylor expansion of z in z
3.418 * [backup-simplify]: Simplify 0 into 0
3.418 * [backup-simplify]: Simplify 1 into 1
3.418 * [taylor]: Taking taylor expansion of (* x y) in z
3.418 * [taylor]: Taking taylor expansion of x in z
3.419 * [backup-simplify]: Simplify x into x
3.419 * [taylor]: Taking taylor expansion of y in z
3.419 * [backup-simplify]: Simplify y into y
3.419 * [taylor]: Taking taylor expansion of (* x z) in z
3.419 * [taylor]: Taking taylor expansion of x in z
3.419 * [backup-simplify]: Simplify x into x
3.419 * [taylor]: Taking taylor expansion of z in z
3.419 * [backup-simplify]: Simplify 0 into 0
3.419 * [backup-simplify]: Simplify 1 into 1
3.419 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 z) (* x y)) (* x z)) in y
3.419 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* x y)) in y
3.419 * [taylor]: Taking taylor expansion of (* 1.0 z) in y
3.419 * [taylor]: Taking taylor expansion of 1.0 in y
3.419 * [backup-simplify]: Simplify 1.0 into 1.0
3.419 * [taylor]: Taking taylor expansion of z in y
3.419 * [backup-simplify]: Simplify z into z
3.419 * [taylor]: Taking taylor expansion of (* x y) in y
3.419 * [taylor]: Taking taylor expansion of x in y
3.419 * [backup-simplify]: Simplify x into x
3.419 * [taylor]: Taking taylor expansion of y in y
3.419 * [backup-simplify]: Simplify 0 into 0
3.419 * [backup-simplify]: Simplify 1 into 1
3.419 * [taylor]: Taking taylor expansion of (* x z) in y
3.419 * [taylor]: Taking taylor expansion of x in y
3.419 * [backup-simplify]: Simplify x into x
3.419 * [taylor]: Taking taylor expansion of z in y
3.419 * [backup-simplify]: Simplify z into z
3.419 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 z) (* x y)) (* x z)) in x
3.419 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* x y)) in x
3.419 * [taylor]: Taking taylor expansion of (* 1.0 z) in x
3.419 * [taylor]: Taking taylor expansion of 1.0 in x
3.419 * [backup-simplify]: Simplify 1.0 into 1.0
3.419 * [taylor]: Taking taylor expansion of z in x
3.419 * [backup-simplify]: Simplify z into z
3.419 * [taylor]: Taking taylor expansion of (* x y) in x
3.419 * [taylor]: Taking taylor expansion of x in x
3.419 * [backup-simplify]: Simplify 0 into 0
3.419 * [backup-simplify]: Simplify 1 into 1
3.419 * [taylor]: Taking taylor expansion of y in x
3.419 * [backup-simplify]: Simplify y into y
3.419 * [taylor]: Taking taylor expansion of (* x z) in x
3.419 * [taylor]: Taking taylor expansion of x in x
3.419 * [backup-simplify]: Simplify 0 into 0
3.419 * [backup-simplify]: Simplify 1 into 1
3.419 * [taylor]: Taking taylor expansion of z in x
3.419 * [backup-simplify]: Simplify z into z
3.419 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 z) (* x y)) (* x z)) in x
3.419 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* x y)) in x
3.419 * [taylor]: Taking taylor expansion of (* 1.0 z) in x
3.419 * [taylor]: Taking taylor expansion of 1.0 in x
3.419 * [backup-simplify]: Simplify 1.0 into 1.0
3.419 * [taylor]: Taking taylor expansion of z in x
3.419 * [backup-simplify]: Simplify z into z
3.419 * [taylor]: Taking taylor expansion of (* x y) in x
3.419 * [taylor]: Taking taylor expansion of x in x
3.419 * [backup-simplify]: Simplify 0 into 0
3.419 * [backup-simplify]: Simplify 1 into 1
3.419 * [taylor]: Taking taylor expansion of y in x
3.419 * [backup-simplify]: Simplify y into y
3.419 * [taylor]: Taking taylor expansion of (* x z) in x
3.419 * [taylor]: Taking taylor expansion of x in x
3.419 * [backup-simplify]: Simplify 0 into 0
3.419 * [backup-simplify]: Simplify 1 into 1
3.419 * [taylor]: Taking taylor expansion of z in x
3.419 * [backup-simplify]: Simplify z into z
3.420 * [backup-simplify]: Simplify (* 1.0 z) into (* 1.0 z)
3.420 * [backup-simplify]: Simplify (* 0 y) into 0
3.420 * [backup-simplify]: Simplify (+ (* 1.0 z) 0) into (* 1.0 z)
3.420 * [backup-simplify]: Simplify (* 0 z) into 0
3.420 * [backup-simplify]: Simplify (- 0) into 0
3.420 * [backup-simplify]: Simplify (+ (* 1.0 z) 0) into (* 1.0 z)
3.420 * [taylor]: Taking taylor expansion of (* 1.0 z) in y
3.420 * [taylor]: Taking taylor expansion of 1.0 in y
3.420 * [backup-simplify]: Simplify 1.0 into 1.0
3.420 * [taylor]: Taking taylor expansion of z in y
3.420 * [backup-simplify]: Simplify z into z
3.420 * [backup-simplify]: Simplify (* 1.0 z) into (* 1.0 z)
3.420 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
3.420 * [taylor]: Taking taylor expansion of 1.0 in z
3.420 * [backup-simplify]: Simplify 1.0 into 1.0
3.420 * [taylor]: Taking taylor expansion of z in z
3.421 * [backup-simplify]: Simplify 0 into 0
3.421 * [backup-simplify]: Simplify 1 into 1
3.421 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.421 * [backup-simplify]: Simplify 0 into 0
3.421 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 z)) into 0
3.422 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.422 * [backup-simplify]: Simplify (+ 0 y) into y
3.424 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
3.424 * [backup-simplify]: Simplify (- z) into (- z)
3.424 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
3.424 * [taylor]: Taking taylor expansion of (- y z) in y
3.424 * [taylor]: Taking taylor expansion of y in y
3.424 * [backup-simplify]: Simplify 0 into 0
3.424 * [backup-simplify]: Simplify 1 into 1
3.424 * [taylor]: Taking taylor expansion of z in y
3.424 * [backup-simplify]: Simplify z into z
3.424 * [backup-simplify]: Simplify (- z) into (- z)
3.424 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
3.424 * [taylor]: Taking taylor expansion of (- z) in z
3.424 * [taylor]: Taking taylor expansion of z in z
3.424 * [backup-simplify]: Simplify 0 into 0
3.424 * [backup-simplify]: Simplify 1 into 1
3.425 * [backup-simplify]: Simplify (- 0) into 0
3.425 * [backup-simplify]: Simplify 0 into 0
3.425 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 z)) into 0
3.425 * [taylor]: Taking taylor expansion of 0 in z
3.425 * [backup-simplify]: Simplify 0 into 0
3.425 * [backup-simplify]: Simplify 0 into 0
3.426 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
3.426 * [backup-simplify]: Simplify 1.0 into 1.0
3.427 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 z))) into 0
3.427 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
3.428 * [backup-simplify]: Simplify (+ 0 0) into 0
3.428 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
3.428 * [backup-simplify]: Simplify (- 0) into 0
3.429 * [backup-simplify]: Simplify (+ 0 0) into 0
3.429 * [taylor]: Taking taylor expansion of 0 in y
3.429 * [backup-simplify]: Simplify 0 into 0
3.429 * [taylor]: Taking taylor expansion of 0 in z
3.429 * [backup-simplify]: Simplify 0 into 0
3.429 * [backup-simplify]: Simplify 0 into 0
3.429 * [backup-simplify]: Simplify (- 0) into 0
3.429 * [backup-simplify]: Simplify (+ 1 0) into 1
3.429 * [taylor]: Taking taylor expansion of 1 in z
3.429 * [backup-simplify]: Simplify 1 into 1
3.429 * [backup-simplify]: Simplify 1 into 1
3.430 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 z))) into 0
3.430 * [taylor]: Taking taylor expansion of 0 in z
3.430 * [backup-simplify]: Simplify 0 into 0
3.430 * [backup-simplify]: Simplify 0 into 0
3.430 * [backup-simplify]: Simplify (- 1) into -1
3.430 * [backup-simplify]: Simplify -1 into -1
3.431 * [backup-simplify]: Simplify (+ (* -1 (* z (* 1 x))) (+ (* 1 (* 1 (* y x))) (* 1.0 (* z (* 1 1))))) into (- (+ (* 1.0 z) (* x y)) (* x z))
3.431 * [backup-simplify]: Simplify (+ (* (/ 1 x) (/ 1 y)) (* (- 1.0 (/ 1 x)) (/ 1 z))) into (- (+ (/ 1 (* x y)) (* 1.0 (/ 1 z))) (/ 1 (* x z)))
3.431 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (* 1.0 (/ 1 z))) (/ 1 (* x z))) in (x y z) around 0
3.431 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (* 1.0 (/ 1 z))) (/ 1 (* x z))) in z
3.431 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 1.0 (/ 1 z))) in z
3.431 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
3.431 * [taylor]: Taking taylor expansion of (* x y) in z
3.431 * [taylor]: Taking taylor expansion of x in z
3.431 * [backup-simplify]: Simplify x into x
3.431 * [taylor]: Taking taylor expansion of y in z
3.431 * [backup-simplify]: Simplify y into y
3.431 * [backup-simplify]: Simplify (* x y) into (* x y)
3.431 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
3.431 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
3.431 * [taylor]: Taking taylor expansion of 1.0 in z
3.431 * [backup-simplify]: Simplify 1.0 into 1.0
3.431 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.431 * [taylor]: Taking taylor expansion of z in z
3.431 * [backup-simplify]: Simplify 0 into 0
3.431 * [backup-simplify]: Simplify 1 into 1
3.431 * [backup-simplify]: Simplify (/ 1 1) into 1
3.431 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
3.431 * [taylor]: Taking taylor expansion of (* x z) in z
3.431 * [taylor]: Taking taylor expansion of x in z
3.431 * [backup-simplify]: Simplify x into x
3.431 * [taylor]: Taking taylor expansion of z in z
3.431 * [backup-simplify]: Simplify 0 into 0
3.431 * [backup-simplify]: Simplify 1 into 1
3.431 * [backup-simplify]: Simplify (* x 0) into 0
3.432 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
3.432 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.432 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (* 1.0 (/ 1 z))) (/ 1 (* x z))) in y
3.432 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 1.0 (/ 1 z))) in y
3.432 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
3.432 * [taylor]: Taking taylor expansion of (* x y) in y
3.432 * [taylor]: Taking taylor expansion of x in y
3.432 * [backup-simplify]: Simplify x into x
3.432 * [taylor]: Taking taylor expansion of y in y
3.432 * [backup-simplify]: Simplify 0 into 0
3.432 * [backup-simplify]: Simplify 1 into 1
3.432 * [backup-simplify]: Simplify (* x 0) into 0
3.432 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
3.432 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.432 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
3.432 * [taylor]: Taking taylor expansion of 1.0 in y
3.432 * [backup-simplify]: Simplify 1.0 into 1.0
3.432 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.432 * [taylor]: Taking taylor expansion of z in y
3.432 * [backup-simplify]: Simplify z into z
3.432 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.432 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
3.432 * [taylor]: Taking taylor expansion of (* x z) in y
3.432 * [taylor]: Taking taylor expansion of x in y
3.433 * [backup-simplify]: Simplify x into x
3.433 * [taylor]: Taking taylor expansion of z in y
3.433 * [backup-simplify]: Simplify z into z
3.433 * [backup-simplify]: Simplify (* x z) into (* x z)
3.433 * [backup-simplify]: Simplify (/ 1 (* x z)) into (/ 1 (* x z))
3.433 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (* 1.0 (/ 1 z))) (/ 1 (* x z))) in x
3.433 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 1.0 (/ 1 z))) in x
3.433 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.433 * [taylor]: Taking taylor expansion of (* x y) in x
3.433 * [taylor]: Taking taylor expansion of x in x
3.433 * [backup-simplify]: Simplify 0 into 0
3.433 * [backup-simplify]: Simplify 1 into 1
3.433 * [taylor]: Taking taylor expansion of y in x
3.433 * [backup-simplify]: Simplify y into y
3.433 * [backup-simplify]: Simplify (* 0 y) into 0
3.433 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.433 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.433 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
3.433 * [taylor]: Taking taylor expansion of 1.0 in x
3.433 * [backup-simplify]: Simplify 1.0 into 1.0
3.433 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.433 * [taylor]: Taking taylor expansion of z in x
3.433 * [backup-simplify]: Simplify z into z
3.433 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.433 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
3.433 * [taylor]: Taking taylor expansion of (* x z) in x
3.433 * [taylor]: Taking taylor expansion of x in x
3.433 * [backup-simplify]: Simplify 0 into 0
3.433 * [backup-simplify]: Simplify 1 into 1
3.433 * [taylor]: Taking taylor expansion of z in x
3.433 * [backup-simplify]: Simplify z into z
3.433 * [backup-simplify]: Simplify (* 0 z) into 0
3.434 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
3.434 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.434 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (* 1.0 (/ 1 z))) (/ 1 (* x z))) in x
3.434 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 1.0 (/ 1 z))) in x
3.434 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.434 * [taylor]: Taking taylor expansion of (* x y) in x
3.434 * [taylor]: Taking taylor expansion of x in x
3.434 * [backup-simplify]: Simplify 0 into 0
3.434 * [backup-simplify]: Simplify 1 into 1
3.434 * [taylor]: Taking taylor expansion of y in x
3.434 * [backup-simplify]: Simplify y into y
3.434 * [backup-simplify]: Simplify (* 0 y) into 0
3.434 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.434 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.435 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
3.435 * [taylor]: Taking taylor expansion of 1.0 in x
3.435 * [backup-simplify]: Simplify 1.0 into 1.0
3.435 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.435 * [taylor]: Taking taylor expansion of z in x
3.435 * [backup-simplify]: Simplify z into z
3.435 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.435 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
3.435 * [taylor]: Taking taylor expansion of (* x z) in x
3.435 * [taylor]: Taking taylor expansion of x in x
3.435 * [backup-simplify]: Simplify 0 into 0
3.435 * [backup-simplify]: Simplify 1 into 1
3.435 * [taylor]: Taking taylor expansion of z in x
3.435 * [backup-simplify]: Simplify z into z
3.435 * [backup-simplify]: Simplify (* 0 z) into 0
3.435 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
3.435 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.435 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
3.435 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
3.435 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 z))) into (- (/ 1 y) (/ 1 z))
3.435 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
3.435 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.435 * [taylor]: Taking taylor expansion of y in y
3.435 * [backup-simplify]: Simplify 0 into 0
3.435 * [backup-simplify]: Simplify 1 into 1
3.436 * [backup-simplify]: Simplify (/ 1 1) into 1
3.436 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.436 * [taylor]: Taking taylor expansion of z in y
3.436 * [backup-simplify]: Simplify z into z
3.436 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.436 * [backup-simplify]: Simplify (+ 1 0) into 1
3.436 * [taylor]: Taking taylor expansion of 1 in z
3.436 * [backup-simplify]: Simplify 1 into 1
3.437 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
3.437 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.437 * [backup-simplify]: Simplify (* 1.0 (/ 1 z)) into (/ 1.0 z)
3.437 * [backup-simplify]: Simplify (+ 0 (/ 1.0 z)) into (* 1.0 (/ 1 z))
3.437 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
3.437 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
3.438 * [backup-simplify]: Simplify (- 0) into 0
3.438 * [backup-simplify]: Simplify (+ (* 1.0 (/ 1 z)) 0) into (* 1.0 (/ 1 z))
3.438 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
3.438 * [taylor]: Taking taylor expansion of 1.0 in y
3.438 * [backup-simplify]: Simplify 1.0 into 1.0
3.438 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.438 * [taylor]: Taking taylor expansion of z in y
3.438 * [backup-simplify]: Simplify z into z
3.438 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.438 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.438 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
3.438 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
3.438 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
3.439 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.439 * [taylor]: Taking taylor expansion of z in z
3.439 * [backup-simplify]: Simplify 0 into 0
3.439 * [backup-simplify]: Simplify 1 into 1
3.439 * [backup-simplify]: Simplify (/ 1 1) into 1
3.439 * [backup-simplify]: Simplify (- 1) into -1
3.439 * [backup-simplify]: Simplify -1 into -1
3.439 * [backup-simplify]: Simplify 1 into 1
3.440 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
3.440 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.440 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
3.440 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 z))) into 0
3.441 * [backup-simplify]: Simplify (+ 0 0) into 0
3.441 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0
3.441 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
3.442 * [backup-simplify]: Simplify (- 0) into 0
3.442 * [backup-simplify]: Simplify (+ 0 0) into 0
3.442 * [taylor]: Taking taylor expansion of 0 in y
3.442 * [backup-simplify]: Simplify 0 into 0
3.442 * [backup-simplify]: Simplify (* 1.0 (/ 1 z)) into (/ 1.0 z)
3.442 * [taylor]: Taking taylor expansion of (/ 1.0 z) in z
3.442 * [taylor]: Taking taylor expansion of 1.0 in z
3.442 * [backup-simplify]: Simplify 1.0 into 1.0
3.442 * [taylor]: Taking taylor expansion of z in z
3.442 * [backup-simplify]: Simplify 0 into 0
3.442 * [backup-simplify]: Simplify 1 into 1
3.442 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0
3.442 * [backup-simplify]: Simplify 1.0 into 1.0
3.443 * [backup-simplify]: Simplify (+ (* 1.0 (* (/ 1 (/ 1 z)) (* 1 1))) (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 x))))))) into (- (+ (* 1.0 z) (* x y)) (* x z))
3.443 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (/ 1 (- y))) (* (- 1.0 (/ 1 (- x))) (/ 1 (- z)))) into (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z))))
3.443 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in (x y z) around 0
3.443 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in z
3.443 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
3.443 * [taylor]: Taking taylor expansion of (* x y) in z
3.443 * [taylor]: Taking taylor expansion of x in z
3.443 * [backup-simplify]: Simplify x into x
3.443 * [taylor]: Taking taylor expansion of y in z
3.443 * [backup-simplify]: Simplify y into y
3.443 * [backup-simplify]: Simplify (* x y) into (* x y)
3.443 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
3.443 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 z))) in z
3.443 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
3.443 * [taylor]: Taking taylor expansion of (* x z) in z
3.443 * [taylor]: Taking taylor expansion of x in z
3.444 * [backup-simplify]: Simplify x into x
3.444 * [taylor]: Taking taylor expansion of z in z
3.444 * [backup-simplify]: Simplify 0 into 0
3.444 * [backup-simplify]: Simplify 1 into 1
3.444 * [backup-simplify]: Simplify (* x 0) into 0
3.444 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
3.444 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.444 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
3.444 * [taylor]: Taking taylor expansion of 1.0 in z
3.444 * [backup-simplify]: Simplify 1.0 into 1.0
3.444 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.444 * [taylor]: Taking taylor expansion of z in z
3.444 * [backup-simplify]: Simplify 0 into 0
3.444 * [backup-simplify]: Simplify 1 into 1
3.444 * [backup-simplify]: Simplify (/ 1 1) into 1
3.444 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in y
3.444 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
3.444 * [taylor]: Taking taylor expansion of (* x y) in y
3.444 * [taylor]: Taking taylor expansion of x in y
3.444 * [backup-simplify]: Simplify x into x
3.444 * [taylor]: Taking taylor expansion of y in y
3.444 * [backup-simplify]: Simplify 0 into 0
3.444 * [backup-simplify]: Simplify 1 into 1
3.444 * [backup-simplify]: Simplify (* x 0) into 0
3.449 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
3.449 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.449 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 z))) in y
3.449 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
3.449 * [taylor]: Taking taylor expansion of (* x z) in y
3.449 * [taylor]: Taking taylor expansion of x in y
3.449 * [backup-simplify]: Simplify x into x
3.449 * [taylor]: Taking taylor expansion of z in y
3.449 * [backup-simplify]: Simplify z into z
3.449 * [backup-simplify]: Simplify (* x z) into (* x z)
3.449 * [backup-simplify]: Simplify (/ 1 (* x z)) into (/ 1 (* x z))
3.449 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
3.449 * [taylor]: Taking taylor expansion of 1.0 in y
3.449 * [backup-simplify]: Simplify 1.0 into 1.0
3.449 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.449 * [taylor]: Taking taylor expansion of z in y
3.449 * [backup-simplify]: Simplify z into z
3.449 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.449 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in x
3.449 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.449 * [taylor]: Taking taylor expansion of (* x y) in x
3.449 * [taylor]: Taking taylor expansion of x in x
3.449 * [backup-simplify]: Simplify 0 into 0
3.449 * [backup-simplify]: Simplify 1 into 1
3.449 * [taylor]: Taking taylor expansion of y in x
3.449 * [backup-simplify]: Simplify y into y
3.449 * [backup-simplify]: Simplify (* 0 y) into 0
3.450 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.450 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.450 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 z))) in x
3.450 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
3.450 * [taylor]: Taking taylor expansion of (* x z) in x
3.450 * [taylor]: Taking taylor expansion of x in x
3.450 * [backup-simplify]: Simplify 0 into 0
3.450 * [backup-simplify]: Simplify 1 into 1
3.450 * [taylor]: Taking taylor expansion of z in x
3.450 * [backup-simplify]: Simplify z into z
3.450 * [backup-simplify]: Simplify (* 0 z) into 0
3.450 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
3.450 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.450 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
3.450 * [taylor]: Taking taylor expansion of 1.0 in x
3.450 * [backup-simplify]: Simplify 1.0 into 1.0
3.450 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.450 * [taylor]: Taking taylor expansion of z in x
3.450 * [backup-simplify]: Simplify z into z
3.450 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.450 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in x
3.450 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.450 * [taylor]: Taking taylor expansion of (* x y) in x
3.450 * [taylor]: Taking taylor expansion of x in x
3.450 * [backup-simplify]: Simplify 0 into 0
3.450 * [backup-simplify]: Simplify 1 into 1
3.450 * [taylor]: Taking taylor expansion of y in x
3.450 * [backup-simplify]: Simplify y into y
3.451 * [backup-simplify]: Simplify (* 0 y) into 0
3.451 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.451 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.451 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 z))) in x
3.451 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
3.451 * [taylor]: Taking taylor expansion of (* x z) in x
3.451 * [taylor]: Taking taylor expansion of x in x
3.451 * [backup-simplify]: Simplify 0 into 0
3.451 * [backup-simplify]: Simplify 1 into 1
3.451 * [taylor]: Taking taylor expansion of z in x
3.451 * [backup-simplify]: Simplify z into z
3.451 * [backup-simplify]: Simplify (* 0 z) into 0
3.451 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
3.451 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.451 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
3.451 * [taylor]: Taking taylor expansion of 1.0 in x
3.451 * [backup-simplify]: Simplify 1.0 into 1.0
3.451 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.451 * [taylor]: Taking taylor expansion of z in x
3.451 * [backup-simplify]: Simplify z into z
3.451 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.452 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
3.452 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
3.452 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 z))) into (- (/ 1 y) (/ 1 z))
3.452 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
3.452 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.452 * [taylor]: Taking taylor expansion of y in y
3.452 * [backup-simplify]: Simplify 0 into 0
3.452 * [backup-simplify]: Simplify 1 into 1
3.452 * [backup-simplify]: Simplify (/ 1 1) into 1
3.452 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.452 * [taylor]: Taking taylor expansion of z in y
3.452 * [backup-simplify]: Simplify z into z
3.452 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.452 * [backup-simplify]: Simplify (+ 1 0) into 1
3.452 * [taylor]: Taking taylor expansion of 1 in z
3.452 * [backup-simplify]: Simplify 1 into 1
3.453 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
3.453 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.454 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
3.454 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
3.454 * [backup-simplify]: Simplify (* 1.0 (/ 1 z)) into (/ 1.0 z)
3.454 * [backup-simplify]: Simplify (+ 0 (/ 1.0 z)) into (* 1.0 (/ 1 z))
3.454 * [backup-simplify]: Simplify (- (* 1.0 (/ 1 z))) into (- (* 1.0 (/ 1 z)))
3.454 * [backup-simplify]: Simplify (+ 0 (- (* 1.0 (/ 1 z)))) into (- (* 1.0 (/ 1 z)))
3.454 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z))) in y
3.454 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
3.454 * [taylor]: Taking taylor expansion of 1.0 in y
3.454 * [backup-simplify]: Simplify 1.0 into 1.0
3.454 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.454 * [taylor]: Taking taylor expansion of z in y
3.454 * [backup-simplify]: Simplify z into z
3.454 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.455 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.455 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
3.455 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
3.455 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
3.455 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.455 * [taylor]: Taking taylor expansion of z in z
3.455 * [backup-simplify]: Simplify 0 into 0
3.455 * [backup-simplify]: Simplify 1 into 1
3.455 * [backup-simplify]: Simplify (/ 1 1) into 1
3.455 * [backup-simplify]: Simplify (- 1) into -1
3.455 * [backup-simplify]: Simplify -1 into -1
3.455 * [backup-simplify]: Simplify 1 into 1
3.456 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
3.456 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.457 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0
3.457 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
3.457 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
3.458 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 z))) into 0
3.458 * [backup-simplify]: Simplify (+ 0 0) into 0
3.458 * [backup-simplify]: Simplify (- 0) into 0
3.458 * [backup-simplify]: Simplify (+ 0 0) into 0
3.458 * [taylor]: Taking taylor expansion of 0 in y
3.458 * [backup-simplify]: Simplify 0 into 0
3.458 * [backup-simplify]: Simplify (* 1.0 (/ 1 z)) into (/ 1.0 z)
3.458 * [backup-simplify]: Simplify (- (/ 1.0 z)) into (- (* 1.0 (/ 1 z)))
3.458 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z))) in z
3.458 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
3.458 * [taylor]: Taking taylor expansion of 1.0 in z
3.458 * [backup-simplify]: Simplify 1.0 into 1.0
3.458 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.459 * [taylor]: Taking taylor expansion of z in z
3.459 * [backup-simplify]: Simplify 0 into 0
3.459 * [backup-simplify]: Simplify 1 into 1
3.459 * [backup-simplify]: Simplify (/ 1 1) into 1
3.459 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
3.459 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.460 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.460 * [backup-simplify]: Simplify (+ (* (- 1.0) (* (/ 1 (/ 1 (- z))) (* 1 1))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- x)))))))) into (- (+ (* 1.0 z) (* x y)) (* x z))
3.460 * * * [progress]: simplifying candidates
3.461 * [simplify]: Simplifying:
  (* (exp (* x y)) (exp (* (- 1.0 x) z)))
  (log (+ (* x y) (* (- 1.0 x) z)))
  (exp (+ (* x y) (* (- 1.0 x) z)))
  (* (cbrt (+ (* x y) (* (- 1.0 x) z))) (cbrt (+ (* x y) (* (- 1.0 x) z))))
  (cbrt (+ (* x y) (* (- 1.0 x) z)))
  (* (* (+ (* x y) (* (- 1.0 x) z)) (+ (* x y) (* (- 1.0 x) z))) (+ (* x y) (* (- 1.0 x) z)))
  (sqrt (+ (* x y) (* (- 1.0 x) z)))
  (sqrt (+ (* x y) (* (- 1.0 x) z)))
  (+ (pow (* x y) 3) (pow (* (- 1.0 x) z) 3))
  (+ (* (* x y) (* x y)) (- (* (* (- 1.0 x) z) (* (- 1.0 x) z)) (* (* x y) (* (- 1.0 x) z))))
  (- (* (* x y) (* x y)) (* (* (- 1.0 x) z) (* (- 1.0 x) z)))
  (- (* x y) (* (- 1.0 x) z))
  (- (+ (* 1.0 z) (* x y)) (* x z))
  (- (+ (* 1.0 z) (* x y)) (* x z))
  (- (+ (* 1.0 z) (* x y)) (* x z))
3.461 * * [simplify]: iteration 0: 33 enodes
3.469 * * [simplify]: iteration 1: 112 enodes
3.498 * * [simplify]: iteration 2: 397 enodes
3.685 * * [simplify]: iteration 3: 1566 enodes
4.264 * * [simplify]: iteration complete: 5004 enodes
4.264 * * [simplify]: Extracting #0: cost 11 inf + 0
4.264 * * [simplify]: Extracting #1: cost 86 inf + 0
4.266 * * [simplify]: Extracting #2: cost 798 inf + 1
4.272 * * [simplify]: Extracting #3: cost 1758 inf + 7159
4.298 * * [simplify]: Extracting #4: cost 1373 inf + 119090
4.379 * * [simplify]: Extracting #5: cost 340 inf + 370118
4.502 * * [simplify]: Extracting #6: cost 17 inf + 457596
4.623 * * [simplify]: Extracting #7: cost 0 inf + 462926
4.757 * [simplify]: Simplified to:
  (exp (+ (* (- 1.0 x) z) (* x y)))
  (log (+ (* (- 1.0 x) z) (* x y)))
  (exp (+ (* (- 1.0 x) z) (* x y)))
  (* (cbrt (+ (* (- 1.0 x) z) (* x y))) (cbrt (+ (* (- 1.0 x) z) (* x y))))
  (cbrt (+ (* (- 1.0 x) z) (* x y)))
  (* (* (+ (* (- 1.0 x) z) (* x y)) (+ (* (- 1.0 x) z) (* x y))) (+ (* (- 1.0 x) z) (* x y)))
  (sqrt (+ (* (- 1.0 x) z) (* x y)))
  (sqrt (+ (* (- 1.0 x) z) (* x y)))
  (+ (* (* (* (- 1.0 x) z) (* (- 1.0 x) z)) (* (- 1.0 x) z)) (* (* x y) (* (* x y) (* x y))))
  (+ (* (* (- 1.0 x) z) (* (- 1.0 x) z)) (* (* x y) (- (* x y) (* (- 1.0 x) z))))
  (- (* (* x y) (* x y)) (* (* (- 1.0 x) z) (* (- 1.0 x) z)))
  (- (* x y) (* (- 1.0 x) z))
  (+ (* (- 1.0 x) z) (* x y))
  (+ (* (- 1.0 x) z) (* x y))
  (+ (* (- 1.0 x) z) (* x y))
4.757 * * * [progress]: adding candidates to table
4.810 * [progress]: [Phase 3 of 3] Extracting.
4.818 * [simplify]: Simplifying:
  (+ (* x y) (* (- 1.0 x) z))
4.818 * * [simplify]: iteration 0: 8 enodes
4.819 * * [simplify]: iteration 1: 11 enodes
4.820 * * [simplify]: iteration complete: 11 enodes
4.820 * * [simplify]: Extracting #0: cost 1 inf + 0
4.820 * * [simplify]: Extracting #1: cost 3 inf + 0
4.820 * * [simplify]: Extracting #2: cost 7 inf + 0
4.820 * * [simplify]: Extracting #3: cost 5 inf + 3
4.820 * * [simplify]: Extracting #4: cost 0 inf + 335
4.820 * [simplify]: Simplified to:
  (+ (* x y) (* (- 1.0 x) z))
6.024 * [regime-testing]: Baseline error score: 0.016700207838569965
6.033 * [regime-testing]: Oracle error score: 0.016700207838569965
6.033 * [regime-testing]: End program error score: 0.016700207838569965