18.428 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.004 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.006 * * * * [points]: Setting MPFR precision to 64 0.007 * * * * [points]: Setting MPFR precision to 320 0.009 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.011 * * * * [points]: Setting MPFR precision to 64 0.012 * * * * [points]: Setting MPFR precision to 320 0.014 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.016 * * * * [points]: Setting MPFR precision to 64 0.018 * * * * [points]: Setting MPFR precision to 320 0.020 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.023 * * * * [points]: Setting MPFR precision to 64 0.026 * * * * [points]: Setting MPFR precision to 320 0.030 * * * * [points]: Computing exacts for 256 points 0.032 * * * * [points]: Setting MPFR precision to 64 0.048 * * * * [points]: Setting MPFR precision to 320 0.071 * * * * [points]: Filtering points with unrepresentable outputs 0.072 * * * * [points]: Sampling 117 additional inputs, on iter 1 have 139 / 256 0.073 * * * * [points]: Computing exacts on every 7 of 117 points to ramp up precision 0.078 * * * * [points]: Setting MPFR precision to 64 0.079 * * * * [points]: Setting MPFR precision to 320 0.080 * * * * [points]: Computing exacts on every 3 of 117 points to ramp up precision 0.085 * * * * [points]: Setting MPFR precision to 64 0.087 * * * * [points]: Setting MPFR precision to 320 0.090 * * * * [points]: Computing exacts for 117 points 0.115 * * * * [points]: Setting MPFR precision to 64 0.120 * * * * [points]: Setting MPFR precision to 320 0.127 * * * * [points]: Filtering points with unrepresentable outputs 0.127 * * * * [points]: Sampling 61 additional inputs, on iter 2 have 195 / 256 0.127 * * * * [points]: Computing exacts on every 3 of 61 points to ramp up precision 0.130 * * * * [points]: Setting MPFR precision to 64 0.131 * * * * [points]: Setting MPFR precision to 320 0.131 * * * * [points]: Computing exacts for 61 points 0.134 * * * * [points]: Setting MPFR precision to 64 0.136 * * * * [points]: Setting MPFR precision to 320 0.139 * * * * [points]: Filtering points with unrepresentable outputs 0.139 * * * * [points]: Sampling 30 additional inputs, on iter 3 have 226 / 256 0.139 * * * * [points]: Computing exacts for 30 points 0.142 * * * * [points]: Setting MPFR precision to 64 0.143 * * * * [points]: Setting MPFR precision to 320 0.145 * * * * [points]: Filtering points with unrepresentable outputs 0.145 * * * * [points]: Sampling 16 additional inputs, on iter 4 have 240 / 256 0.146 * * * * [points]: Computing exacts for 16 points 0.151 * * * * [points]: Setting MPFR precision to 64 0.153 * * * * [points]: Setting MPFR precision to 320 0.154 * * * * [points]: Filtering points with unrepresentable outputs 0.154 * * * * [points]: Sampling 9 additional inputs, on iter 5 have 247 / 256 0.154 * * * * [points]: Computing exacts for 9 points 0.159 * * * * [points]: Setting MPFR precision to 64 0.160 * * * * [points]: Setting MPFR precision to 320 0.161 * * * * [points]: Filtering points with unrepresentable outputs 0.161 * * * * [points]: Sampling 6 additional inputs, on iter 6 have 250 / 256 0.161 * * * * [points]: Computing exacts for 6 points 0.166 * * * * [points]: Setting MPFR precision to 64 0.166 * * * * [points]: Setting MPFR precision to 320 0.167 * * * * [points]: Filtering points with unrepresentable outputs 0.167 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 253 / 256 0.167 * * * * [points]: Computing exacts for 4 points 0.172 * * * * [points]: Setting MPFR precision to 64 0.172 * * * * [points]: Setting MPFR precision to 320 0.173 * * * * [points]: Filtering points with unrepresentable outputs 0.173 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 255 / 256 0.173 * * * * [points]: Computing exacts for 4 points 0.177 * * * * [points]: Setting MPFR precision to 64 0.178 * * * * [points]: Setting MPFR precision to 320 0.178 * * * * [points]: Filtering points with unrepresentable outputs 0.178 * * * * [points]: Sampled 256 points with exact outputs 0.178 * * * [progress]: [2/2] Setting up program. 0.186 * [progress]: [Phase 2 of 3] Improving. 0.186 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.186 * [simplify]: Simplifying: (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))) 0.187 * * [simplify]: iteration 0: 16 enodes 0.192 * * [simplify]: iteration 1: 30 enodes 0.201 * * [simplify]: iteration 2: 48 enodes 0.208 * * [simplify]: iteration 3: 80 enodes 0.219 * * [simplify]: iteration 4: 114 enodes 0.259 * * [simplify]: iteration 5: 178 enodes 0.293 * * [simplify]: iteration 6: 423 enodes 0.558 * * [simplify]: iteration 7: 1221 enodes 1.281 * * [simplify]: iteration 8: 2002 enodes 1.461 * * [simplify]: iteration complete: 2002 enodes 1.461 * * [simplify]: Extracting #0: cost 1 inf + 0 1.461 * * [simplify]: Extracting #1: cost 15 inf + 0 1.461 * * [simplify]: Extracting #2: cost 18 inf + 44 1.461 * * [simplify]: Extracting #3: cost 39 inf + 45 1.462 * * [simplify]: Extracting #4: cost 133 inf + 474 1.463 * * [simplify]: Extracting #5: cost 120 inf + 6506 1.468 * * [simplify]: Extracting #6: cost 8 inf + 21401 1.479 * * [simplify]: Extracting #7: cost 0 inf + 23321 1.486 * * [simplify]: Extracting #8: cost 0 inf + 23251 1.492 * [simplify]: Simplified to: (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2) 1.497 * * [progress]: iteration 1 / 4 1.497 * * * [progress]: picking best candidate 1.499 * * * * [pick]: Picked # 1.499 * * * [progress]: localizing error 1.518 * * * [progress]: generating rewritten candidates 1.518 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 2) 1.528 * * * [progress]: generating series expansions 1.529 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 2) 1.529 * [backup-simplify]: Simplify (* (cos y) (exp x)) into (* (exp x) (cos y)) 1.529 * [approximate]: Taking taylor expansion of (* (exp x) (cos y)) in (y x) around 0 1.529 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in x 1.529 * [taylor]: Taking taylor expansion of (exp x) in x 1.529 * [taylor]: Taking taylor expansion of x in x 1.529 * [backup-simplify]: Simplify 0 into 0 1.529 * [backup-simplify]: Simplify 1 into 1 1.529 * [backup-simplify]: Simplify (exp 0) into 1 1.529 * [taylor]: Taking taylor expansion of (cos y) in x 1.529 * [taylor]: Taking taylor expansion of y in x 1.529 * [backup-simplify]: Simplify y into y 1.529 * [backup-simplify]: Simplify (cos y) into (cos y) 1.529 * [backup-simplify]: Simplify (sin y) into (sin y) 1.529 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in y 1.529 * [taylor]: Taking taylor expansion of (exp x) in y 1.529 * [taylor]: Taking taylor expansion of x in y 1.529 * [backup-simplify]: Simplify x into x 1.529 * [backup-simplify]: Simplify (exp x) into (exp x) 1.529 * [taylor]: Taking taylor expansion of (cos y) in y 1.529 * [taylor]: Taking taylor expansion of y in y 1.529 * [backup-simplify]: Simplify 0 into 0 1.529 * [backup-simplify]: Simplify 1 into 1 1.529 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in y 1.529 * [taylor]: Taking taylor expansion of (exp x) in y 1.529 * [taylor]: Taking taylor expansion of x in y 1.529 * [backup-simplify]: Simplify x into x 1.529 * [backup-simplify]: Simplify (exp x) into (exp x) 1.529 * [taylor]: Taking taylor expansion of (cos y) in y 1.529 * [taylor]: Taking taylor expansion of y in y 1.529 * [backup-simplify]: Simplify 0 into 0 1.529 * [backup-simplify]: Simplify 1 into 1 1.530 * [backup-simplify]: Simplify (* (exp x) 1) into (exp x) 1.530 * [taylor]: Taking taylor expansion of (exp x) in x 1.530 * [taylor]: Taking taylor expansion of x in x 1.530 * [backup-simplify]: Simplify 0 into 0 1.530 * [backup-simplify]: Simplify 1 into 1 1.530 * [backup-simplify]: Simplify (exp 0) into 1 1.530 * [backup-simplify]: Simplify 1 into 1 1.530 * [backup-simplify]: Simplify (+ 0) into 0 1.531 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 1.531 * [backup-simplify]: Simplify (+ (* (exp x) 0) (* 0 1)) into 0 1.531 * [taylor]: Taking taylor expansion of 0 in x 1.531 * [backup-simplify]: Simplify 0 into 0 1.531 * [backup-simplify]: Simplify 0 into 0 1.532 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.532 * [backup-simplify]: Simplify 1 into 1 1.533 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 1.534 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.534 * [backup-simplify]: Simplify (+ (* (exp x) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (exp x))) 1.534 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp x))) in x 1.534 * [taylor]: Taking taylor expansion of (* 1/2 (exp x)) in x 1.534 * [taylor]: Taking taylor expansion of 1/2 in x 1.534 * [backup-simplify]: Simplify 1/2 into 1/2 1.534 * [taylor]: Taking taylor expansion of (exp x) in x 1.534 * [taylor]: Taking taylor expansion of x in x 1.534 * [backup-simplify]: Simplify 0 into 0 1.534 * [backup-simplify]: Simplify 1 into 1 1.534 * [backup-simplify]: Simplify (exp 0) into 1 1.534 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1.535 * [backup-simplify]: Simplify (- 1/2) into -1/2 1.535 * [backup-simplify]: Simplify -1/2 into -1/2 1.535 * [backup-simplify]: Simplify (+ (* -1/2 (pow (* 1 y) 2)) (+ (* 1 (* x 1)) 1)) into (- (+ x 1) (* 1/2 (pow y 2))) 1.535 * [backup-simplify]: Simplify (* (cos (/ 1 y)) (exp (/ 1 x))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 1.535 * [approximate]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in (y x) around 0 1.535 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x 1.535 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.535 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.535 * [taylor]: Taking taylor expansion of x in x 1.535 * [backup-simplify]: Simplify 0 into 0 1.535 * [backup-simplify]: Simplify 1 into 1 1.535 * [backup-simplify]: Simplify (/ 1 1) into 1 1.535 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1.535 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 1.535 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.535 * [taylor]: Taking taylor expansion of y in x 1.535 * [backup-simplify]: Simplify y into y 1.535 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.535 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1.536 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1.536 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y 1.536 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1.536 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.536 * [taylor]: Taking taylor expansion of x in y 1.536 * [backup-simplify]: Simplify x into x 1.536 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.536 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1.536 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.536 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.536 * [taylor]: Taking taylor expansion of y in y 1.536 * [backup-simplify]: Simplify 0 into 0 1.536 * [backup-simplify]: Simplify 1 into 1 1.536 * [backup-simplify]: Simplify (/ 1 1) into 1 1.536 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1.536 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y 1.536 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1.536 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.536 * [taylor]: Taking taylor expansion of x in y 1.536 * [backup-simplify]: Simplify x into x 1.536 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.536 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1.536 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.536 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.536 * [taylor]: Taking taylor expansion of y in y 1.536 * [backup-simplify]: Simplify 0 into 0 1.536 * [backup-simplify]: Simplify 1 into 1 1.537 * [backup-simplify]: Simplify (/ 1 1) into 1 1.537 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1.537 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 1.537 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x 1.537 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.537 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.537 * [taylor]: Taking taylor expansion of x in x 1.537 * [backup-simplify]: Simplify 0 into 0 1.537 * [backup-simplify]: Simplify 1 into 1 1.537 * [backup-simplify]: Simplify (/ 1 1) into 1 1.537 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1.537 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 1.537 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.537 * [taylor]: Taking taylor expansion of y in x 1.537 * [backup-simplify]: Simplify y into y 1.537 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.537 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1.537 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1.537 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 1.538 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 1.538 * [backup-simplify]: Simplify (- 0) into 0 1.538 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 1.538 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 1.538 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 1.538 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 1.539 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 1.539 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0 1.539 * [taylor]: Taking taylor expansion of 0 in x 1.539 * [backup-simplify]: Simplify 0 into 0 1.539 * [backup-simplify]: Simplify 0 into 0 1.539 * [backup-simplify]: Simplify (+ 0) into 0 1.540 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 1.540 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1.540 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1.541 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 1.541 * [backup-simplify]: Simplify (- 0) into 0 1.541 * [backup-simplify]: Simplify (+ 0 0) into 0 1.541 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0 1.541 * [backup-simplify]: Simplify 0 into 0 1.541 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1.542 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.543 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0 1.543 * [taylor]: Taking taylor expansion of 0 in x 1.543 * [backup-simplify]: Simplify 0 into 0 1.543 * [backup-simplify]: Simplify 0 into 0 1.543 * [backup-simplify]: Simplify 0 into 0 1.543 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1.544 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 1.544 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.548 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1.548 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 1.549 * [backup-simplify]: Simplify (- 0) into 0 1.549 * [backup-simplify]: Simplify (+ 0 0) into 0 1.550 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0 1.550 * [backup-simplify]: Simplify 0 into 0 1.550 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1.551 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.552 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 y)))))) into 0 1.552 * [taylor]: Taking taylor expansion of 0 in x 1.552 * [backup-simplify]: Simplify 0 into 0 1.552 * [backup-simplify]: Simplify 0 into 0 1.553 * [backup-simplify]: Simplify (* (exp (/ 1 (/ 1 x))) (cos (/ 1 (/ 1 y)))) into (* (exp x) (cos y)) 1.553 * [backup-simplify]: Simplify (* (cos (/ 1 (- y))) (exp (/ 1 (- x)))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 1.553 * [approximate]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in (y x) around 0 1.553 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x 1.553 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.553 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.553 * [taylor]: Taking taylor expansion of -1 in x 1.553 * [backup-simplify]: Simplify -1 into -1 1.553 * [taylor]: Taking taylor expansion of x in x 1.553 * [backup-simplify]: Simplify 0 into 0 1.553 * [backup-simplify]: Simplify 1 into 1 1.554 * [backup-simplify]: Simplify (/ -1 1) into -1 1.554 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1.554 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 1.554 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.554 * [taylor]: Taking taylor expansion of -1 in x 1.554 * [backup-simplify]: Simplify -1 into -1 1.554 * [taylor]: Taking taylor expansion of y in x 1.554 * [backup-simplify]: Simplify y into y 1.554 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 1.554 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1.554 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1.554 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y 1.554 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 1.554 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.554 * [taylor]: Taking taylor expansion of -1 in y 1.554 * [backup-simplify]: Simplify -1 into -1 1.554 * [taylor]: Taking taylor expansion of x in y 1.554 * [backup-simplify]: Simplify x into x 1.554 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 1.554 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1.554 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.554 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.554 * [taylor]: Taking taylor expansion of -1 in y 1.554 * [backup-simplify]: Simplify -1 into -1 1.554 * [taylor]: Taking taylor expansion of y in y 1.555 * [backup-simplify]: Simplify 0 into 0 1.555 * [backup-simplify]: Simplify 1 into 1 1.555 * [backup-simplify]: Simplify (/ -1 1) into -1 1.555 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1.555 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y 1.555 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 1.555 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.555 * [taylor]: Taking taylor expansion of -1 in y 1.555 * [backup-simplify]: Simplify -1 into -1 1.555 * [taylor]: Taking taylor expansion of x in y 1.555 * [backup-simplify]: Simplify x into x 1.555 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 1.555 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1.555 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.555 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.555 * [taylor]: Taking taylor expansion of -1 in y 1.555 * [backup-simplify]: Simplify -1 into -1 1.555 * [taylor]: Taking taylor expansion of y in y 1.555 * [backup-simplify]: Simplify 0 into 0 1.556 * [backup-simplify]: Simplify 1 into 1 1.556 * [backup-simplify]: Simplify (/ -1 1) into -1 1.556 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1.556 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 1.556 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x 1.556 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.556 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.556 * [taylor]: Taking taylor expansion of -1 in x 1.556 * [backup-simplify]: Simplify -1 into -1 1.556 * [taylor]: Taking taylor expansion of x in x 1.556 * [backup-simplify]: Simplify 0 into 0 1.556 * [backup-simplify]: Simplify 1 into 1 1.557 * [backup-simplify]: Simplify (/ -1 1) into -1 1.557 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1.557 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 1.557 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.557 * [taylor]: Taking taylor expansion of -1 in x 1.557 * [backup-simplify]: Simplify -1 into -1 1.557 * [taylor]: Taking taylor expansion of y in x 1.557 * [backup-simplify]: Simplify y into y 1.557 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 1.557 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1.557 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1.557 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 1.557 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 1.558 * [backup-simplify]: Simplify (- 0) into 0 1.558 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 1.558 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 1.558 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 1.559 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 1.559 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 1.559 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0 1.559 * [taylor]: Taking taylor expansion of 0 in x 1.560 * [backup-simplify]: Simplify 0 into 0 1.560 * [backup-simplify]: Simplify 0 into 0 1.560 * [backup-simplify]: Simplify (+ 0) into 0 1.560 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 1.561 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 1.561 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1.562 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 1.562 * [backup-simplify]: Simplify (- 0) into 0 1.562 * [backup-simplify]: Simplify (+ 0 0) into 0 1.563 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0 1.563 * [backup-simplify]: Simplify 0 into 0 1.563 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1.564 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.565 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0 1.565 * [taylor]: Taking taylor expansion of 0 in x 1.565 * [backup-simplify]: Simplify 0 into 0 1.565 * [backup-simplify]: Simplify 0 into 0 1.565 * [backup-simplify]: Simplify 0 into 0 1.566 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1.566 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 1.566 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.567 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1.567 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 1.568 * [backup-simplify]: Simplify (- 0) into 0 1.568 * [backup-simplify]: Simplify (+ 0 0) into 0 1.568 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0 1.568 * [backup-simplify]: Simplify 0 into 0 1.568 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1.570 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.571 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 y)))))) into 0 1.571 * [taylor]: Taking taylor expansion of 0 in x 1.571 * [backup-simplify]: Simplify 0 into 0 1.571 * [backup-simplify]: Simplify 0 into 0 1.571 * [backup-simplify]: Simplify (* (exp (/ -1 (/ 1 (- x)))) (cos (/ -1 (/ 1 (- y))))) into (* (exp x) (cos y)) 1.571 * * * [progress]: simplifying candidates 1.571 * * * * [progress]: [ 1 / 22 ] simplifiying candidate # 1.571 * * * * [progress]: [ 2 / 22 ] simplifiying candidate # 1.571 * * * * [progress]: [ 3 / 22 ] simplifiying candidate # 1.571 * * * * [progress]: [ 4 / 22 ] simplifiying candidate # 1.571 * * * * [progress]: [ 5 / 22 ] simplifiying candidate # 1.571 * * * * [progress]: [ 6 / 22 ] simplifiying candidate # 1.572 * * * * [progress]: [ 7 / 22 ] simplifiying candidate # 1.572 * * * * [progress]: [ 8 / 22 ] simplifiying candidate # 1.572 * * * * [progress]: [ 9 / 22 ] simplifiying candidate # 1.572 * * * * [progress]: [ 10 / 22 ] simplifiying candidate # 1.572 * * * * [progress]: [ 11 / 22 ] simplifiying candidate # 1.572 * * * * [progress]: [ 12 / 22 ] simplifiying candidate # 1.572 * * * * [progress]: [ 13 / 22 ] simplifiying candidate # 1.572 * * * * [progress]: [ 14 / 22 ] simplifiying candidate # 1.572 * * * * [progress]: [ 15 / 22 ] simplifiying candidate # 1.572 * * * * [progress]: [ 16 / 22 ] simplifiying candidate # 1.572 * * * * [progress]: [ 17 / 22 ] simplifiying candidate # 1.572 * * * * [progress]: [ 18 / 22 ] simplifiying candidate #real (real->posit16 (* (cos y) (exp x))))) 2))> 1.572 * * * * [progress]: [ 19 / 22 ] simplifiying candidate # 1.572 * * * * [progress]: [ 20 / 22 ] simplifiying candidate # 1.572 * * * * [progress]: [ 21 / 22 ] simplifiying candidate # 1.572 * * * * [progress]: [ 22 / 22 ] simplifiying candidate # 1.573 * [simplify]: Simplifying: (* (cos y) (exp x)) (+ (log (cos y)) x) (log (* (cos y) (exp x))) (exp (* (cos y) (exp x))) (* (* (* (cos y) (cos y)) (cos y)) (* (* (exp x) (exp x)) (exp x))) (* (cbrt (* (cos y) (exp x))) (cbrt (* (cos y) (exp x)))) (cbrt (* (cos y) (exp x))) (* (* (* (cos y) (exp x)) (* (cos y) (exp x))) (* (cos y) (exp x))) (sqrt (* (cos y) (exp x))) (sqrt (* (cos y) (exp x))) (* (sqrt (cos y)) (sqrt (exp x))) (* (sqrt (cos y)) (sqrt (exp x))) (* (cos y) (* (cbrt (exp x)) (cbrt (exp x)))) (* (cos y) (sqrt (exp x))) (* (cos y) 1) (* (cbrt (cos y)) (exp x)) (* (sqrt (cos y)) (exp x)) (* (cos y) (exp x)) (real->posit16 (* (cos y) (exp x))) (- (+ x 1) (* 1/2 (pow y 2))) (* (exp x) (cos y)) (* (exp x) (cos y)) 1.573 * * [simplify]: iteration 0: 39 enodes 1.584 * * [simplify]: iteration 1: 87 enodes 1.603 * * [simplify]: iteration 2: 215 enodes 1.677 * * [simplify]: iteration 3: 579 enodes 1.919 * * [simplify]: iteration 4: 1360 enodes 2.190 * * [simplify]: iteration 5: 2015 enodes 2.553 * * [simplify]: iteration complete: 2015 enodes 2.553 * * [simplify]: Extracting #0: cost 15 inf + 0 2.553 * * [simplify]: Extracting #1: cost 113 inf + 0 2.555 * * [simplify]: Extracting #2: cost 397 inf + 587 2.563 * * [simplify]: Extracting #3: cost 287 inf + 32116 2.583 * * [simplify]: Extracting #4: cost 46 inf + 81235 2.608 * * [simplify]: Extracting #5: cost 0 inf + 91766 2.634 * * [simplify]: Extracting #6: cost 0 inf + 90385 2.659 * * [simplify]: Extracting #7: cost 0 inf + 90227 2.687 * [simplify]: Simplified to: (* (cos y) (exp x)) (+ (log (cos y)) x) (+ (log (cos y)) x) (exp (* (cos y) (exp x))) (* (* (cos y) (exp x)) (* (* (cos y) (exp x)) (* (cos y) (exp x)))) (* (cbrt (* (cos y) (exp x))) (cbrt (* (cos y) (exp x)))) (cbrt (* (cos y) (exp x))) (* (* (cos y) (exp x)) (* (* (cos y) (exp x)) (* (cos y) (exp x)))) (sqrt (* (cos y) (exp x))) (sqrt (* (cos y) (exp x))) (* (sqrt (cos y)) (sqrt (exp x))) (* (sqrt (cos y)) (sqrt (exp x))) (* (cos y) (* (cbrt (exp x)) (cbrt (exp x)))) (* (cos y) (sqrt (exp x))) (cos y) (* (cbrt (cos y)) (exp x)) (* (exp x) (sqrt (cos y))) (* (cos y) (exp x)) (real->posit16 (* (cos y) (exp x))) (+ (+ x (* (* y y) -1/2)) 1) (* (cos y) (exp x)) (* (cos y) (exp x)) 2.689 * * * [progress]: adding candidates to table 2.787 * [progress]: [Phase 3 of 3] Extracting. 2.791 * [simplify]: Simplifying: (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2) 2.791 * * [simplify]: iteration 0: 9 enodes 2.792 * * [simplify]: iteration 1: 11 enodes 2.793 * * [simplify]: iteration complete: 11 enodes 2.793 * * [simplify]: Extracting #0: cost 1 inf + 0 2.793 * * [simplify]: Extracting #1: cost 3 inf + 0 2.793 * * [simplify]: Extracting #2: cost 4 inf + 1 2.793 * * [simplify]: Extracting #3: cost 6 inf + 1 2.793 * * [simplify]: Extracting #4: cost 8 inf + 1 2.793 * * [simplify]: Extracting #5: cost 5 inf + 74 2.793 * * [simplify]: Extracting #6: cost 0 inf + 1024 2.794 * [simplify]: Simplified to: (/ (+ (* (exp x) (cos y)) (/ (cos y) (exp x))) 2) 2.794 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 2.880 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 2.883 * * * * [points]: Setting MPFR precision to 64 2.885 * * * * [points]: Setting MPFR precision to 320 2.885 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 2.888 * * * * [points]: Setting MPFR precision to 64 2.889 * * * * [points]: Setting MPFR precision to 320 2.891 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 2.893 * * * * [points]: Setting MPFR precision to 64 2.896 * * * * [points]: Setting MPFR precision to 320 2.902 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 2.906 * * * * [points]: Setting MPFR precision to 64 2.916 * * * * [points]: Setting MPFR precision to 320 2.924 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 2.927 * * * * [points]: Setting MPFR precision to 64 2.938 * * * * [points]: Setting MPFR precision to 320 2.965 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 2.968 * * * * [points]: Setting MPFR precision to 64 2.988 * * * * [points]: Setting MPFR precision to 320 3.030 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 3.035 * * * * [points]: Setting MPFR precision to 64 3.096 * * * * [points]: Setting MPFR precision to 320 3.235 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 3.240 * * * * [points]: Setting MPFR precision to 64 3.360 * * * * [points]: Setting MPFR precision to 320 3.879 * * * * [points]: Computing exacts for 8000 points 3.883 * * * * [points]: Setting MPFR precision to 64 4.501 * * * * [points]: Setting MPFR precision to 320 5.287 * * * * [points]: Filtering points with unrepresentable outputs 5.295 * * * * [points]: Sampling 3943 additional inputs, on iter 1 have 4057 / 8000 5.347 * * * * [points]: Computing exacts on every 246 of 3943 points to ramp up precision 5.350 * * * * [points]: Setting MPFR precision to 64 5.352 * * * * [points]: Setting MPFR precision to 320 5.353 * * * * [points]: Computing exacts on every 123 of 3943 points to ramp up precision 5.356 * * * * [points]: Setting MPFR precision to 64 5.357 * * * * [points]: Setting MPFR precision to 320 5.358 * * * * [points]: Computing exacts on every 61 of 3943 points to ramp up precision 5.361 * * * * [points]: Setting MPFR precision to 64 5.363 * * * * [points]: Setting MPFR precision to 320 5.366 * * * * [points]: Computing exacts on every 30 of 3943 points to ramp up precision 5.369 * * * * [points]: Setting MPFR precision to 64 5.379 * * * * [points]: Setting MPFR precision to 320 5.390 * * * * [points]: Computing exacts on every 15 of 3943 points to ramp up precision 5.395 * * * * [points]: Setting MPFR precision to 64 5.413 * * * * [points]: Setting MPFR precision to 320 5.435 * * * * [points]: Computing exacts on every 7 of 3943 points to ramp up precision 5.440 * * * * [points]: Setting MPFR precision to 64 5.471 * * * * [points]: Setting MPFR precision to 320 5.493 * * * * [points]: Computing exacts on every 3 of 3943 points to ramp up precision 5.537 * * * * [points]: Setting MPFR precision to 64 5.608 * * * * [points]: Setting MPFR precision to 320 5.655 * * * * [points]: Computing exacts for 3943 points 5.658 * * * * [points]: Setting MPFR precision to 64 5.973 * * * * [points]: Setting MPFR precision to 320 6.686 * * * * [points]: Filtering points with unrepresentable outputs 6.688 * * * * [points]: Sampling 1942 additional inputs, on iter 2 have 6058 / 8000 6.714 * * * * [points]: Computing exacts on every 121 of 1942 points to ramp up precision 6.719 * * * * [points]: Setting MPFR precision to 64 6.720 * * * * [points]: Setting MPFR precision to 320 6.721 * * * * [points]: Computing exacts on every 60 of 1942 points to ramp up precision 6.726 * * * * [points]: Setting MPFR precision to 64 6.728 * * * * [points]: Setting MPFR precision to 320 6.731 * * * * [points]: Computing exacts on every 30 of 1942 points to ramp up precision 6.734 * * * * [points]: Setting MPFR precision to 64 6.766 * * * * [points]: Setting MPFR precision to 320 6.776 * * * * [points]: Computing exacts on every 15 of 1942 points to ramp up precision 6.778 * * * * [points]: Setting MPFR precision to 64 6.783 * * * * [points]: Setting MPFR precision to 320 6.788 * * * * [points]: Computing exacts on every 7 of 1942 points to ramp up precision 6.791 * * * * [points]: Setting MPFR precision to 64 6.800 * * * * [points]: Setting MPFR precision to 320 6.818 * * * * [points]: Computing exacts on every 3 of 1942 points to ramp up precision 6.821 * * * * [points]: Setting MPFR precision to 64 6.839 * * * * [points]: Setting MPFR precision to 320 6.874 * * * * [points]: Computing exacts for 1942 points 6.879 * * * * [points]: Setting MPFR precision to 64 7.050 * * * * [points]: Setting MPFR precision to 320 7.221 * * * * [points]: Filtering points with unrepresentable outputs 7.227 * * * * [points]: Sampling 957 additional inputs, on iter 3 have 7043 / 8000 7.241 * * * * [points]: Computing exacts on every 59 of 957 points to ramp up precision 7.246 * * * * [points]: Setting MPFR precision to 64 7.247 * * * * [points]: Setting MPFR precision to 320 7.248 * * * * [points]: Computing exacts on every 29 of 957 points to ramp up precision 7.252 * * * * [points]: Setting MPFR precision to 64 7.254 * * * * [points]: Setting MPFR precision to 320 7.257 * * * * [points]: Computing exacts on every 14 of 957 points to ramp up precision 7.260 * * * * [points]: Setting MPFR precision to 64 7.265 * * * * [points]: Setting MPFR precision to 320 7.269 * * * * [points]: Computing exacts on every 7 of 957 points to ramp up precision 7.271 * * * * [points]: Setting MPFR precision to 64 7.275 * * * * [points]: Setting MPFR precision to 320 7.281 * * * * [points]: Computing exacts on every 3 of 957 points to ramp up precision 7.285 * * * * [points]: Setting MPFR precision to 64 7.295 * * * * [points]: Setting MPFR precision to 320 7.306 * * * * [points]: Computing exacts for 957 points 7.308 * * * * [points]: Setting MPFR precision to 64 7.396 * * * * [points]: Setting MPFR precision to 320 7.441 * * * * [points]: Filtering points with unrepresentable outputs 7.442 * * * * [points]: Sampling 478 additional inputs, on iter 4 have 7522 / 8000 7.445 * * * * [points]: Computing exacts on every 29 of 478 points to ramp up precision 7.448 * * * * [points]: Setting MPFR precision to 64 7.449 * * * * [points]: Setting MPFR precision to 320 7.450 * * * * [points]: Computing exacts on every 14 of 478 points to ramp up precision 7.453 * * * * [points]: Setting MPFR precision to 64 7.456 * * * * [points]: Setting MPFR precision to 320 7.458 * * * * [points]: Computing exacts on every 7 of 478 points to ramp up precision 7.462 * * * * [points]: Setting MPFR precision to 64 7.465 * * * * [points]: Setting MPFR precision to 320 7.467 * * * * [points]: Computing exacts on every 3 of 478 points to ramp up precision 7.470 * * * * [points]: Setting MPFR precision to 64 7.474 * * * * [points]: Setting MPFR precision to 320 7.484 * * * * [points]: Computing exacts for 478 points 7.488 * * * * [points]: Setting MPFR precision to 64 7.565 * * * * [points]: Setting MPFR precision to 320 7.594 * * * * [points]: Filtering points with unrepresentable outputs 7.594 * * * * [points]: Sampling 231 additional inputs, on iter 5 have 7769 / 8000 7.596 * * * * [points]: Computing exacts on every 14 of 231 points to ramp up precision 7.599 * * * * [points]: Setting MPFR precision to 64 7.599 * * * * [points]: Setting MPFR precision to 320 7.600 * * * * [points]: Computing exacts on every 7 of 231 points to ramp up precision 7.602 * * * * [points]: Setting MPFR precision to 64 7.603 * * * * [points]: Setting MPFR precision to 320 7.606 * * * * [points]: Computing exacts on every 3 of 231 points to ramp up precision 7.610 * * * * [points]: Setting MPFR precision to 64 7.615 * * * * [points]: Setting MPFR precision to 320 7.620 * * * * [points]: Computing exacts for 231 points 7.624 * * * * [points]: Setting MPFR precision to 64 7.638 * * * * [points]: Setting MPFR precision to 320 7.658 * * * * [points]: Filtering points with unrepresentable outputs 7.659 * * * * [points]: Sampling 120 additional inputs, on iter 6 have 7880 / 8000 7.660 * * * * [points]: Computing exacts on every 7 of 120 points to ramp up precision 7.665 * * * * [points]: Setting MPFR precision to 64 7.666 * * * * [points]: Setting MPFR precision to 320 7.667 * * * * [points]: Computing exacts on every 3 of 120 points to ramp up precision 7.672 * * * * [points]: Setting MPFR precision to 64 7.674 * * * * [points]: Setting MPFR precision to 320 7.676 * * * * [points]: Computing exacts for 120 points 7.681 * * * * [points]: Setting MPFR precision to 64 7.690 * * * * [points]: Setting MPFR precision to 320 7.700 * * * * [points]: Filtering points with unrepresentable outputs 7.700 * * * * [points]: Sampling 62 additional inputs, on iter 7 have 7938 / 8000 7.701 * * * * [points]: Computing exacts on every 3 of 62 points to ramp up precision 7.705 * * * * [points]: Setting MPFR precision to 64 7.706 * * * * [points]: Setting MPFR precision to 320 7.706 * * * * [points]: Computing exacts for 62 points 7.708 * * * * [points]: Setting MPFR precision to 64 7.711 * * * * [points]: Setting MPFR precision to 320 7.714 * * * * [points]: Filtering points with unrepresentable outputs 7.714 * * * * [points]: Sampling 37 additional inputs, on iter 8 have 7963 / 8000 7.714 * * * * [points]: Computing exacts on every 2 of 37 points to ramp up precision 7.742 * * * * [points]: Setting MPFR precision to 64 7.742 * * * * [points]: Setting MPFR precision to 320 7.743 * * * * [points]: Computing exacts for 37 points 7.747 * * * * [points]: Setting MPFR precision to 64 7.752 * * * * [points]: Setting MPFR precision to 320 7.754 * * * * [points]: Filtering points with unrepresentable outputs 7.754 * * * * [points]: Sampling 21 additional inputs, on iter 9 have 7979 / 8000 7.755 * * * * [points]: Computing exacts for 21 points 7.757 * * * * [points]: Setting MPFR precision to 64 7.758 * * * * [points]: Setting MPFR precision to 320 7.759 * * * * [points]: Filtering points with unrepresentable outputs 7.759 * * * * [points]: Sampling 11 additional inputs, on iter 10 have 7989 / 8000 7.759 * * * * [points]: Computing exacts for 11 points 7.762 * * * * [points]: Setting MPFR precision to 64 7.762 * * * * [points]: Setting MPFR precision to 320 7.763 * * * * [points]: Filtering points with unrepresentable outputs 7.763 * * * * [points]: Sampling 6 additional inputs, on iter 11 have 7994 / 8000 7.763 * * * * [points]: Computing exacts for 6 points 7.765 * * * * [points]: Setting MPFR precision to 64 7.766 * * * * [points]: Setting MPFR precision to 320 7.766 * * * * [points]: Filtering points with unrepresentable outputs 7.766 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000 7.766 * * * * [points]: Computing exacts for 4 points 7.768 * * * * [points]: Setting MPFR precision to 64 7.769 * * * * [points]: Setting MPFR precision to 320 7.769 * * * * [points]: Filtering points with unrepresentable outputs 7.769 * * * * [points]: Sampled 8000 points with exact outputs 8.002 * [regime-testing]: Baseline error score: 0.00825 8.005 * [regime-testing]: Oracle error score: 0.00825 8.005 * [regime-testing]: End program error score: 0.00825