0.001 * [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.008 * * * * [points]: Setting MPFR precision to 64 0.009 * * * * [points]: Setting MPFR precision to 320 0.011 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.015 * * * * [points]: Setting MPFR precision to 64 0.021 * * * * [points]: Setting MPFR precision to 320 0.024 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.028 * * * * [points]: Setting MPFR precision to 64 0.030 * * * * [points]: Setting MPFR precision to 320 0.033 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.037 * * * * [points]: Setting MPFR precision to 64 0.044 * * * * [points]: Setting MPFR precision to 320 0.051 * * * * [points]: Computing exacts for 256 points 0.056 * * * * [points]: Setting MPFR precision to 64 0.076 * * * * [points]: Setting MPFR precision to 320 0.099 * * * * [points]: Filtering points with unrepresentable outputs 0.099 * * * * [points]: Sampling 133 additional inputs, on iter 1 have 123 / 256 0.101 * * * * [points]: Computing exacts on every 8 of 133 points to ramp up precision 0.106 * * * * [points]: Setting MPFR precision to 64 0.107 * * * * [points]: Setting MPFR precision to 320 0.109 * * * * [points]: Computing exacts on every 4 of 133 points to ramp up precision 0.113 * * * * [points]: Setting MPFR precision to 64 0.115 * * * * [points]: Setting MPFR precision to 320 0.118 * * * * [points]: Computing exacts on every 2 of 133 points to ramp up precision 0.121 * * * * [points]: Setting MPFR precision to 64 0.123 * * * * [points]: Setting MPFR precision to 320 0.125 * * * * [points]: Computing exacts for 133 points 0.128 * * * * [points]: Setting MPFR precision to 64 0.133 * * * * [points]: Setting MPFR precision to 320 0.140 * * * * [points]: Filtering points with unrepresentable outputs 0.140 * * * * [points]: Sampling 64 additional inputs, on iter 2 have 192 / 256 0.141 * * * * [points]: Computing exacts on every 4 of 64 points to ramp up precision 0.146 * * * * [points]: Setting MPFR precision to 64 0.147 * * * * [points]: Setting MPFR precision to 320 0.149 * * * * [points]: Computing exacts on every 2 of 64 points to ramp up precision 0.153 * * * * [points]: Setting MPFR precision to 64 0.155 * * * * [points]: Setting MPFR precision to 320 0.157 * * * * [points]: Computing exacts for 64 points 0.162 * * * * [points]: Setting MPFR precision to 64 0.167 * * * * [points]: Setting MPFR precision to 320 0.174 * * * * [points]: Filtering points with unrepresentable outputs 0.174 * * * * [points]: Sampling 33 additional inputs, on iter 3 have 223 / 256 0.175 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision 0.180 * * * * [points]: Setting MPFR precision to 64 0.181 * * * * [points]: Setting MPFR precision to 320 0.182 * * * * [points]: Computing exacts for 33 points 0.187 * * * * [points]: Setting MPFR precision to 64 0.190 * * * * [points]: Setting MPFR precision to 320 0.193 * * * * [points]: Filtering points with unrepresentable outputs 0.193 * * * * [points]: Sampling 10 additional inputs, on iter 4 have 246 / 256 0.193 * * * * [points]: Computing exacts for 10 points 0.198 * * * * [points]: Setting MPFR precision to 64 0.199 * * * * [points]: Setting MPFR precision to 320 0.200 * * * * [points]: Filtering points with unrepresentable outputs 0.200 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 253 / 256 0.200 * * * * [points]: Computing exacts for 4 points 0.236 * * * * [points]: Setting MPFR precision to 64 0.236 * * * * [points]: Setting MPFR precision to 320 0.236 * * * * [points]: Filtering points with unrepresentable outputs 0.236 * * * * [points]: Sampled 256 points with exact outputs 0.236 * * * [progress]: [2/2] Setting up program. 0.240 * [progress]: [Phase 2 of 3] Improving. 0.240 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.241 * [simplify]: Simplifying (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))) 0.241 * * [simplify]: iters left: 6 (16 enodes) 0.247 * * [simplify]: iters left: 5 (58 enodes) 0.258 * * [simplify]: iters left: 4 (88 enodes) 0.287 * * [simplify]: iters left: 3 (132 enodes) 0.314 * * [simplify]: iters left: 2 (204 enodes) 0.373 * * [simplify]: iters left: 1 (275 enodes) 0.426 * * [simplify]: Extracting #0: cost 1 inf + 0 0.426 * * [simplify]: Extracting #1: cost 12 inf + 0 0.426 * * [simplify]: Extracting #2: cost 23 inf + 2 0.426 * * [simplify]: Extracting #3: cost 52 inf + 64 0.426 * * [simplify]: Extracting #4: cost 85 inf + 838 0.428 * * [simplify]: Extracting #5: cost 39 inf + 9858 0.431 * * [simplify]: Extracting #6: cost 3 inf + 16112 0.434 * * [simplify]: Extracting #7: cost 0 inf + 16865 0.439 * * [simplify]: Extracting #8: cost 0 inf + 16825 0.442 * [simplify]: Simplified to (/ (fma (cos y) (exp x) (/ (cos y) (exp x))) 2) 0.442 * [simplify]: Simplified (2) to (λ (x y) (/ (fma (cos y) (exp x) (/ (cos y) (exp x))) 2)) 0.456 * * [progress]: iteration 1 / 4 0.456 * * * [progress]: picking best candidate 0.461 * * * * [pick]: Picked # 0.462 * * * [progress]: localizing error 0.494 * * * [progress]: generating rewritten candidates 0.495 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 3) 0.515 * * * [progress]: generating series expansions 0.515 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 3) 0.521 * [backup-simplify]: Simplify (/ (cos y) (exp x)) into (/ (cos y) (exp x)) 0.521 * [approximate]: Taking taylor expansion of (/ (cos y) (exp x)) in (y x) around 0 0.522 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in x 0.522 * [taylor]: Taking taylor expansion of (cos y) in x 0.522 * [taylor]: Taking taylor expansion of y in x 0.522 * [backup-simplify]: Simplify y into y 0.523 * [backup-simplify]: Simplify (cos y) into (cos y) 0.523 * [backup-simplify]: Simplify (sin y) into (sin y) 0.523 * [taylor]: Taking taylor expansion of (exp x) in x 0.523 * [taylor]: Taking taylor expansion of x in x 0.523 * [backup-simplify]: Simplify 0 into 0 0.523 * [backup-simplify]: Simplify 1 into 1 0.523 * [backup-simplify]: Simplify (exp 0) into 1 0.524 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y) 0.524 * [backup-simplify]: Simplify (* (sin y) 0) into 0 0.525 * [backup-simplify]: Simplify (- 0) into 0 0.526 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y) 0.526 * [backup-simplify]: Simplify (/ (cos y) 1) into (cos y) 0.526 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y 0.526 * [taylor]: Taking taylor expansion of (cos y) in y 0.526 * [taylor]: Taking taylor expansion of y in y 0.526 * [backup-simplify]: Simplify 0 into 0 0.526 * [backup-simplify]: Simplify 1 into 1 0.526 * [taylor]: Taking taylor expansion of (exp x) in y 0.526 * [taylor]: Taking taylor expansion of x in y 0.526 * [backup-simplify]: Simplify x into x 0.526 * [backup-simplify]: Simplify (exp x) into (exp x) 0.526 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 0.526 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y 0.526 * [taylor]: Taking taylor expansion of (cos y) in y 0.526 * [taylor]: Taking taylor expansion of y in y 0.526 * [backup-simplify]: Simplify 0 into 0 0.526 * [backup-simplify]: Simplify 1 into 1 0.526 * [taylor]: Taking taylor expansion of (exp x) in y 0.526 * [taylor]: Taking taylor expansion of x in y 0.526 * [backup-simplify]: Simplify x into x 0.526 * [backup-simplify]: Simplify (exp x) into (exp x) 0.526 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 0.527 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 0.527 * [taylor]: Taking taylor expansion of (exp x) in x 0.527 * [taylor]: Taking taylor expansion of x in x 0.527 * [backup-simplify]: Simplify 0 into 0 0.527 * [backup-simplify]: Simplify 1 into 1 0.527 * [backup-simplify]: Simplify (exp 0) into 1 0.528 * [backup-simplify]: Simplify (/ 1 1) into 1 0.528 * [backup-simplify]: Simplify 1 into 1 0.529 * [backup-simplify]: Simplify (+ 0) into 0 0.531 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 0.531 * [backup-simplify]: Simplify (- (/ 0 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0 0.531 * [taylor]: Taking taylor expansion of 0 in x 0.531 * [backup-simplify]: Simplify 0 into 0 0.531 * [backup-simplify]: Simplify 0 into 0 0.532 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.533 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1 0.533 * [backup-simplify]: Simplify -1 into -1 0.534 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 0.536 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.536 * [backup-simplify]: Simplify (- (/ -1/2 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into (- (* 1/2 (/ 1 (exp x)))) 0.536 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (exp x)))) in x 0.536 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (exp x))) in x 0.536 * [taylor]: Taking taylor expansion of 1/2 in x 0.536 * [backup-simplify]: Simplify 1/2 into 1/2 0.536 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 0.536 * [taylor]: Taking taylor expansion of (exp x) in x 0.536 * [taylor]: Taking taylor expansion of x in x 0.536 * [backup-simplify]: Simplify 0 into 0 0.536 * [backup-simplify]: Simplify 1 into 1 0.537 * [backup-simplify]: Simplify (exp 0) into 1 0.537 * [backup-simplify]: Simplify (/ 1 1) into 1 0.538 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 0.538 * [backup-simplify]: Simplify (- 1/2) into -1/2 0.538 * [backup-simplify]: Simplify -1/2 into -1/2 0.539 * [backup-simplify]: Simplify (+ (* -1/2 (pow (* 1 y) 2)) (+ (* -1 (* x 1)) 1)) into (- 1 (+ (* 1/2 (pow y 2)) x)) 0.539 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 0.539 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in (y x) around 0 0.539 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 0.539 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.539 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.539 * [taylor]: Taking taylor expansion of y in x 0.540 * [backup-simplify]: Simplify y into y 0.540 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.540 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 0.540 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 0.540 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.540 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.540 * [taylor]: Taking taylor expansion of x in x 0.540 * [backup-simplify]: Simplify 0 into 0 0.540 * [backup-simplify]: Simplify 1 into 1 0.540 * [backup-simplify]: Simplify (/ 1 1) into 1 0.540 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.540 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 0.541 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 0.541 * [backup-simplify]: Simplify (- 0) into 0 0.541 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 0.541 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 0.541 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 0.541 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.541 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.541 * [taylor]: Taking taylor expansion of y in y 0.541 * [backup-simplify]: Simplify 0 into 0 0.541 * [backup-simplify]: Simplify 1 into 1 0.542 * [backup-simplify]: Simplify (/ 1 1) into 1 0.542 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 0.542 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.542 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.542 * [taylor]: Taking taylor expansion of x in y 0.542 * [backup-simplify]: Simplify x into x 0.542 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.542 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.542 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 0.542 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 0.542 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) 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 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 0.543 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.543 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.543 * [taylor]: Taking taylor expansion of x in y 0.543 * [backup-simplify]: Simplify x into x 0.543 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.543 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.543 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 0.543 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 0.543 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.543 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.543 * [taylor]: Taking taylor expansion of y in x 0.543 * [backup-simplify]: Simplify y into y 0.543 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.543 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 0.544 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 0.544 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.544 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.544 * [taylor]: Taking taylor expansion of x in x 0.544 * [backup-simplify]: Simplify 0 into 0 0.544 * [backup-simplify]: Simplify 1 into 1 0.544 * [backup-simplify]: Simplify (/ 1 1) into 1 0.544 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.544 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 0.544 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 0.545 * [backup-simplify]: Simplify (- 0) into 0 0.545 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 0.545 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 0.545 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 0.545 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 0.546 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 0.547 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 0.547 * [taylor]: Taking taylor expansion of 0 in x 0.547 * [backup-simplify]: Simplify 0 into 0 0.547 * [backup-simplify]: Simplify 0 into 0 0.547 * [backup-simplify]: Simplify (+ 0) into 0 0.547 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 0.548 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.549 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.549 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 0.550 * [backup-simplify]: Simplify (- 0) into 0 0.550 * [backup-simplify]: Simplify (+ 0 0) into 0 0.550 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 0.550 * [backup-simplify]: Simplify 0 into 0 0.551 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.552 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.552 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 0.552 * [taylor]: Taking taylor expansion of 0 in x 0.552 * [backup-simplify]: Simplify 0 into 0 0.552 * [backup-simplify]: Simplify 0 into 0 0.552 * [backup-simplify]: Simplify 0 into 0 0.553 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.554 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 0.554 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.555 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.555 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 0.556 * [backup-simplify]: Simplify (- 0) into 0 0.556 * [backup-simplify]: Simplify (+ 0 0) into 0 0.556 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 0.557 * [backup-simplify]: Simplify 0 into 0 0.557 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.559 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.559 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 0.559 * [taylor]: Taking taylor expansion of 0 in x 0.559 * [backup-simplify]: Simplify 0 into 0 0.559 * [backup-simplify]: Simplify 0 into 0 0.559 * [backup-simplify]: Simplify (/ (cos (/ 1 (/ 1 y))) (exp (/ 1 (/ 1 x)))) into (/ (cos y) (exp x)) 0.560 * [backup-simplify]: Simplify (/ (cos (/ 1 (- y))) (exp (/ 1 (- x)))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 0.560 * [approximate]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in (y x) around 0 0.560 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 0.560 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.560 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.560 * [taylor]: Taking taylor expansion of -1 in x 0.560 * [backup-simplify]: Simplify -1 into -1 0.560 * [taylor]: Taking taylor expansion of y in x 0.560 * [backup-simplify]: Simplify y into y 0.560 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.560 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 0.560 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 0.560 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.560 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.560 * [taylor]: Taking taylor expansion of -1 in x 0.560 * [backup-simplify]: Simplify -1 into -1 0.560 * [taylor]: Taking taylor expansion of x in x 0.560 * [backup-simplify]: Simplify 0 into 0 0.560 * [backup-simplify]: Simplify 1 into 1 0.561 * [backup-simplify]: Simplify (/ -1 1) into -1 0.561 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.561 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 0.561 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 0.561 * [backup-simplify]: Simplify (- 0) into 0 0.561 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 0.561 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 0.561 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 0.561 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.562 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.562 * [taylor]: Taking taylor expansion of -1 in y 0.562 * [backup-simplify]: Simplify -1 into -1 0.562 * [taylor]: Taking taylor expansion of y in y 0.562 * [backup-simplify]: Simplify 0 into 0 0.562 * [backup-simplify]: Simplify 1 into 1 0.562 * [backup-simplify]: Simplify (/ -1 1) into -1 0.562 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 0.562 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.562 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.562 * [taylor]: Taking taylor expansion of -1 in y 0.562 * [backup-simplify]: Simplify -1 into -1 0.562 * [taylor]: Taking taylor expansion of x in y 0.562 * [backup-simplify]: Simplify x into x 0.562 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.562 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.563 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 0.563 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 0.563 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.563 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.563 * [taylor]: Taking taylor expansion of -1 in y 0.563 * [backup-simplify]: Simplify -1 into -1 0.563 * [taylor]: Taking taylor expansion of y in y 0.563 * [backup-simplify]: Simplify 0 into 0 0.563 * [backup-simplify]: Simplify 1 into 1 0.563 * [backup-simplify]: Simplify (/ -1 1) into -1 0.563 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 0.563 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.563 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.563 * [taylor]: Taking taylor expansion of -1 in y 0.563 * [backup-simplify]: Simplify -1 into -1 0.563 * [taylor]: Taking taylor expansion of x in y 0.563 * [backup-simplify]: Simplify x into x 0.563 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.564 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.564 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 0.564 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 0.564 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.564 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.564 * [taylor]: Taking taylor expansion of -1 in x 0.564 * [backup-simplify]: Simplify -1 into -1 0.564 * [taylor]: Taking taylor expansion of y in x 0.564 * [backup-simplify]: Simplify y into y 0.564 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.564 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 0.564 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 0.564 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.564 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.564 * [taylor]: Taking taylor expansion of -1 in x 0.564 * [backup-simplify]: Simplify -1 into -1 0.564 * [taylor]: Taking taylor expansion of x in x 0.564 * [backup-simplify]: Simplify 0 into 0 0.564 * [backup-simplify]: Simplify 1 into 1 0.565 * [backup-simplify]: Simplify (/ -1 1) into -1 0.565 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.565 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 0.565 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 0.565 * [backup-simplify]: Simplify (- 0) into 0 0.565 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 0.565 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 0.566 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 0.566 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 0.567 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 0.567 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 0.567 * [taylor]: Taking taylor expansion of 0 in x 0.567 * [backup-simplify]: Simplify 0 into 0 0.567 * [backup-simplify]: Simplify 0 into 0 0.567 * [backup-simplify]: Simplify (+ 0) into 0 0.568 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 0.568 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 0.569 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.569 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 0.570 * [backup-simplify]: Simplify (- 0) into 0 0.570 * [backup-simplify]: Simplify (+ 0 0) into 0 0.570 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 0.570 * [backup-simplify]: Simplify 0 into 0 0.571 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.580 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.581 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 0.581 * [taylor]: Taking taylor expansion of 0 in x 0.581 * [backup-simplify]: Simplify 0 into 0 0.581 * [backup-simplify]: Simplify 0 into 0 0.581 * [backup-simplify]: Simplify 0 into 0 0.582 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.583 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 0.583 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.584 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.584 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 0.585 * [backup-simplify]: Simplify (- 0) into 0 0.585 * [backup-simplify]: Simplify (+ 0 0) into 0 0.586 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 0.586 * [backup-simplify]: Simplify 0 into 0 0.586 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.587 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.588 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 0.588 * [taylor]: Taking taylor expansion of 0 in x 0.588 * [backup-simplify]: Simplify 0 into 0 0.588 * [backup-simplify]: Simplify 0 into 0 0.588 * [backup-simplify]: Simplify (/ (cos (/ -1 (/ 1 (- y)))) (exp (/ -1 (/ 1 (- x))))) into (/ (cos y) (exp x)) 0.588 * * * [progress]: simplifying candidates 0.588 * * * * [progress]: [ 1 / 33 ] simplifiying candidate # 0.588 * * * * [progress]: [ 2 / 33 ] simplifiying candidate # 0.588 * * * * [progress]: [ 3 / 33 ] simplifiying candidate # 0.589 * * * * [progress]: [ 4 / 33 ] simplifiying candidate # 0.589 * [simplify]: Simplifying (- (log (cos y)) x) 0.589 * * [simplify]: iters left: 4 (5 enodes) 0.591 * * [simplify]: iters left: 3 (17 enodes) 0.596 * * [simplify]: iters left: 2 (20 enodes) 0.599 * * [simplify]: Extracting #0: cost 1 inf + 0 0.599 * * [simplify]: Extracting #1: cost 5 inf + 0 0.599 * * [simplify]: Extracting #2: cost 6 inf + 42 0.599 * * [simplify]: Extracting #3: cost 7 inf + 83 0.599 * * [simplify]: Extracting #4: cost 6 inf + 84 0.599 * * [simplify]: Extracting #5: cost 0 inf + 812 0.599 * [simplify]: Simplified to (- (log (cos y)) x) 0.599 * [simplify]: Simplified (2 1 3 1) to (λ (x y) (/ (fma (cos y) (exp x) (exp (- (log (cos y)) x))) 2)) 0.599 * * * * [progress]: [ 5 / 33 ] simplifiying candidate # 0.600 * * * * [progress]: [ 6 / 33 ] simplifiying candidate # 0.600 * * * * [progress]: [ 7 / 33 ] simplifiying candidate # 0.600 * [simplify]: Simplifying (/ (* (* (cos y) (cos y)) (cos y)) (* (* (exp x) (exp x)) (exp x))) 0.600 * * [simplify]: iters left: 6 (9 enodes) 0.602 * * [simplify]: iters left: 5 (38 enodes) 0.609 * * [simplify]: iters left: 4 (84 enodes) 0.629 * * [simplify]: iters left: 3 (162 enodes) 0.691 * * [simplify]: iters left: 2 (263 enodes) 0.767 * * [simplify]: iters left: 1 (441 enodes) 0.983 * * [simplify]: Extracting #0: cost 1 inf + 0 0.984 * * [simplify]: Extracting #1: cost 85 inf + 0 0.985 * * [simplify]: Extracting #2: cost 209 inf + 1 0.988 * * [simplify]: Extracting #3: cost 180 inf + 7076 0.997 * * [simplify]: Extracting #4: cost 70 inf + 54816 1.006 * * [simplify]: Extracting #5: cost 3 inf + 93371 1.015 * * [simplify]: Extracting #6: cost 0 inf + 94729 1.026 * [simplify]: Simplified to (* (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (/ (cos y) (exp x))) 1.026 * [simplify]: Simplified (2 1 3 1) to (λ (x y) (/ (fma (cos y) (exp x) (cbrt (* (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (/ (cos y) (exp x))))) 2)) 1.027 * * * * [progress]: [ 8 / 33 ] simplifiying candidate # 1.027 * * * * [progress]: [ 9 / 33 ] simplifiying candidate # 1.027 * * * * [progress]: [ 10 / 33 ] simplifiying candidate # 1.027 * * * * [progress]: [ 11 / 33 ] simplifiying candidate # 1.027 * * * * [progress]: [ 12 / 33 ] simplifiying candidate # 1.027 * [simplify]: Simplifying (/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (exp x)) (cbrt (exp x)))) 1.027 * * [simplify]: iters left: 6 (9 enodes) 1.032 * * [simplify]: iters left: 5 (33 enodes) 1.041 * * [simplify]: iters left: 4 (48 enodes) 1.051 * * [simplify]: iters left: 3 (55 enodes) 1.059 * * [simplify]: iters left: 2 (58 enodes) 1.067 * * [simplify]: Extracting #0: cost 1 inf + 0 1.067 * * [simplify]: Extracting #1: cost 11 inf + 0 1.067 * * [simplify]: Extracting #2: cost 22 inf + 0 1.067 * * [simplify]: Extracting #3: cost 26 inf + 0 1.067 * * [simplify]: Extracting #4: cost 22 inf + 134 1.068 * * [simplify]: Extracting #5: cost 7 inf + 3826 1.068 * * [simplify]: Extracting #6: cost 0 inf + 5898 1.069 * [simplify]: Simplified to (* (/ (cbrt (cos y)) (cbrt (exp x))) (/ (cbrt (cos y)) (cbrt (exp x)))) 1.069 * [simplify]: Simplified (2 1 3 1) to (λ (x y) (/ (fma (cos y) (exp x) (* (* (/ (cbrt (cos y)) (cbrt (exp x))) (/ (cbrt (cos y)) (cbrt (exp x)))) (/ (cbrt (cos y)) (cbrt (exp x))))) 2)) 1.069 * [simplify]: Simplifying (/ (cbrt (cos y)) (cbrt (exp x))) 1.069 * * [simplify]: iters left: 4 (7 enodes) 1.071 * * [simplify]: iters left: 3 (21 enodes) 1.076 * * [simplify]: Extracting #0: cost 1 inf + 0 1.076 * * [simplify]: Extracting #1: cost 4 inf + 0 1.076 * * [simplify]: Extracting #2: cost 8 inf + 0 1.077 * * [simplify]: Extracting #3: cost 12 inf + 0 1.077 * * [simplify]: Extracting #4: cost 10 inf + 2 1.077 * * [simplify]: Extracting #5: cost 4 inf + 568 1.077 * * [simplify]: Extracting #6: cost 1 inf + 1182 1.077 * * [simplify]: Extracting #7: cost 0 inf + 1514 1.078 * [simplify]: Simplified to (/ (cbrt (cos y)) (cbrt (exp x))) 1.078 * [simplify]: Simplified (2 1 3 2) to (λ (x y) (/ (fma (cos y) (exp x) (* (* (/ (cbrt (cos y)) (cbrt (exp x))) (/ (cbrt (cos y)) (cbrt (exp x)))) (/ (cbrt (cos y)) (cbrt (exp x))))) 2)) 1.078 * * * * [progress]: [ 13 / 33 ] simplifiying candidate # 1.078 * [simplify]: Simplifying (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x))) 1.079 * * [simplify]: iters left: 6 (8 enodes) 1.082 * * [simplify]: iters left: 5 (26 enodes) 1.090 * * [simplify]: iters left: 4 (30 enodes) 1.099 * * [simplify]: iters left: 3 (33 enodes) 1.106 * * [simplify]: Extracting #0: cost 1 inf + 0 1.106 * * [simplify]: Extracting #1: cost 7 inf + 0 1.106 * * [simplify]: Extracting #2: cost 14 inf + 0 1.106 * * [simplify]: Extracting #3: cost 18 inf + 0 1.106 * * [simplify]: Extracting #4: cost 15 inf + 73 1.106 * * [simplify]: Extracting #5: cost 11 inf + 427 1.106 * * [simplify]: Extracting #6: cost 2 inf + 2451 1.107 * * [simplify]: Extracting #7: cost 0 inf + 2964 1.107 * [simplify]: Simplified to (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x))) 1.107 * [simplify]: Simplified (2 1 3 1) to (λ (x y) (/ (fma (cos y) (exp x) (* (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x))) (/ (cbrt (cos y)) (sqrt (exp x))))) 2)) 1.107 * [simplify]: Simplifying (/ (cbrt (cos y)) (sqrt (exp x))) 1.107 * * [simplify]: iters left: 4 (7 enodes) 1.109 * * [simplify]: iters left: 3 (21 enodes) 1.112 * * [simplify]: Extracting #0: cost 1 inf + 0 1.112 * * [simplify]: Extracting #1: cost 4 inf + 0 1.112 * * [simplify]: Extracting #2: cost 8 inf + 0 1.112 * * [simplify]: Extracting #3: cost 12 inf + 0 1.112 * * [simplify]: Extracting #4: cost 10 inf + 2 1.112 * * [simplify]: Extracting #5: cost 4 inf + 488 1.113 * * [simplify]: Extracting #6: cost 1 inf + 1062 1.113 * * [simplify]: Extracting #7: cost 0 inf + 1354 1.113 * [simplify]: Simplified to (/ (cbrt (cos y)) (sqrt (exp x))) 1.113 * [simplify]: Simplified (2 1 3 2) to (λ (x y) (/ (fma (cos y) (exp x) (* (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x))) (/ (cbrt (cos y)) (sqrt (exp x))))) 2)) 1.113 * * * * [progress]: [ 14 / 33 ] simplifiying candidate # 1.113 * [simplify]: Simplifying (/ (* (cbrt (cos y)) (cbrt (cos y))) 1) 1.113 * * [simplify]: iters left: 6 (6 enodes) 1.116 * * [simplify]: iters left: 5 (20 enodes) 1.120 * * [simplify]: iters left: 4 (30 enodes) 1.125 * * [simplify]: iters left: 3 (31 enodes) 1.130 * * [simplify]: Extracting #0: cost 1 inf + 0 1.130 * * [simplify]: Extracting #1: cost 5 inf + 0 1.130 * * [simplify]: Extracting #2: cost 7 inf + 1 1.130 * * [simplify]: Extracting #3: cost 9 inf + 1 1.130 * * [simplify]: Extracting #4: cost 8 inf + 2 1.130 * * [simplify]: Extracting #5: cost 0 inf + 1132 1.131 * [simplify]: Simplified to (* (cbrt (cos y)) (cbrt (cos y))) 1.131 * [simplify]: Simplified (2 1 3 1) to (λ (x y) (/ (fma (cos y) (exp x) (* (* (cbrt (cos y)) (cbrt (cos y))) (/ (cbrt (cos y)) (exp x)))) 2)) 1.131 * [simplify]: Simplifying (/ (cbrt (cos y)) (exp x)) 1.131 * * [simplify]: iters left: 4 (6 enodes) 1.132 * * [simplify]: iters left: 3 (18 enodes) 1.135 * * [simplify]: Extracting #0: cost 1 inf + 0 1.135 * * [simplify]: Extracting #1: cost 4 inf + 0 1.135 * * [simplify]: Extracting #2: cost 8 inf + 0 1.135 * * [simplify]: Extracting #3: cost 7 inf + 143 1.135 * * [simplify]: Extracting #4: cost 6 inf + 144 1.135 * * [simplify]: Extracting #5: cost 0 inf + 1052 1.135 * [simplify]: Simplified to (/ (cbrt (cos y)) (exp x)) 1.135 * [simplify]: Simplified (2 1 3 2) to (λ (x y) (/ (fma (cos y) (exp x) (* (* (cbrt (cos y)) (cbrt (cos y))) (/ (cbrt (cos y)) (exp x)))) 2)) 1.135 * * * * [progress]: [ 15 / 33 ] simplifiying candidate # 1.136 * [simplify]: Simplifying (/ (sqrt (cos y)) (* (cbrt (exp x)) (cbrt (exp x)))) 1.136 * * [simplify]: iters left: 6 (8 enodes) 1.137 * * [simplify]: iters left: 5 (26 enodes) 1.141 * * [simplify]: iters left: 4 (28 enodes) 1.147 * * [simplify]: Extracting #0: cost 1 inf + 0 1.147 * * [simplify]: Extracting #1: cost 6 inf + 0 1.147 * * [simplify]: Extracting #2: cost 12 inf + 0 1.147 * * [simplify]: Extracting #3: cost 16 inf + 0 1.147 * * [simplify]: Extracting #4: cost 14 inf + 2 1.147 * * [simplify]: Extracting #5: cost 10 inf + 356 1.147 * * [simplify]: Extracting #6: cost 1 inf + 2068 1.147 * * [simplify]: Extracting #7: cost 0 inf + 2400 1.148 * [simplify]: Simplified to (/ (/ (sqrt (cos y)) (cbrt (exp x))) (cbrt (exp x))) 1.148 * [simplify]: Simplified (2 1 3 1) to (λ (x y) (/ (fma (cos y) (exp x) (* (/ (/ (sqrt (cos y)) (cbrt (exp x))) (cbrt (exp x))) (/ (sqrt (cos y)) (cbrt (exp x))))) 2)) 1.148 * [simplify]: Simplifying (/ (sqrt (cos y)) (cbrt (exp x))) 1.148 * * [simplify]: iters left: 4 (7 enodes) 1.150 * * [simplify]: iters left: 3 (21 enodes) 1.154 * * [simplify]: Extracting #0: cost 1 inf + 0 1.154 * * [simplify]: Extracting #1: cost 4 inf + 0 1.154 * * [simplify]: Extracting #2: cost 8 inf + 0 1.154 * * [simplify]: Extracting #3: cost 12 inf + 0 1.154 * * [simplify]: Extracting #4: cost 10 inf + 2 1.154 * * [simplify]: Extracting #5: cost 4 inf + 568 1.154 * * [simplify]: Extracting #6: cost 1 inf + 1062 1.154 * * [simplify]: Extracting #7: cost 0 inf + 1354 1.154 * [simplify]: Simplified to (/ (sqrt (cos y)) (cbrt (exp x))) 1.154 * [simplify]: Simplified (2 1 3 2) to (λ (x y) (/ (fma (cos y) (exp x) (* (/ (/ (sqrt (cos y)) (cbrt (exp x))) (cbrt (exp x))) (/ (sqrt (cos y)) (cbrt (exp x))))) 2)) 1.154 * * * * [progress]: [ 16 / 33 ] simplifiying candidate # 1.155 * [simplify]: Simplifying (/ (sqrt (cos y)) (sqrt (exp x))) 1.155 * * [simplify]: iters left: 4 (7 enodes) 1.156 * * [simplify]: iters left: 3 (21 enodes) 1.159 * * [simplify]: Extracting #0: cost 1 inf + 0 1.159 * * [simplify]: Extracting #1: cost 4 inf + 0 1.159 * * [simplify]: Extracting #2: cost 8 inf + 0 1.160 * * [simplify]: Extracting #3: cost 12 inf + 0 1.160 * * [simplify]: Extracting #4: cost 10 inf + 2 1.160 * * [simplify]: Extracting #5: cost 4 inf + 488 1.160 * * [simplify]: Extracting #6: cost 1 inf + 942 1.160 * * [simplify]: Extracting #7: cost 0 inf + 1194 1.160 * [simplify]: Simplified to (/ (sqrt (cos y)) (sqrt (exp x))) 1.160 * [simplify]: Simplified (2 1 3 1) to (λ (x y) (/ (fma (cos y) (exp x) (* (/ (sqrt (cos y)) (sqrt (exp x))) (/ (sqrt (cos y)) (sqrt (exp x))))) 2)) 1.160 * [simplify]: Simplifying (/ (sqrt (cos y)) (sqrt (exp x))) 1.160 * * [simplify]: iters left: 4 (7 enodes) 1.162 * * [simplify]: iters left: 3 (21 enodes) 1.165 * * [simplify]: Extracting #0: cost 1 inf + 0 1.165 * * [simplify]: Extracting #1: cost 4 inf + 0 1.165 * * [simplify]: Extracting #2: cost 8 inf + 0 1.165 * * [simplify]: Extracting #3: cost 12 inf + 0 1.165 * * [simplify]: Extracting #4: cost 10 inf + 2 1.165 * * [simplify]: Extracting #5: cost 4 inf + 488 1.165 * * [simplify]: Extracting #6: cost 1 inf + 942 1.165 * * [simplify]: Extracting #7: cost 0 inf + 1194 1.165 * [simplify]: Simplified to (/ (sqrt (cos y)) (sqrt (exp x))) 1.165 * [simplify]: Simplified (2 1 3 2) to (λ (x y) (/ (fma (cos y) (exp x) (* (/ (sqrt (cos y)) (sqrt (exp x))) (/ (sqrt (cos y)) (sqrt (exp x))))) 2)) 1.166 * * * * [progress]: [ 17 / 33 ] simplifiying candidate # 1.166 * [simplify]: Simplifying (/ (sqrt (cos y)) 1) 1.166 * * [simplify]: iters left: 4 (5 enodes) 1.167 * * [simplify]: iters left: 3 (15 enodes) 1.170 * * [simplify]: iters left: 2 (17 enodes) 1.173 * * [simplify]: iters left: 1 (19 enodes) 1.176 * * [simplify]: Extracting #0: cost 1 inf + 0 1.176 * * [simplify]: Extracting #1: cost 4 inf + 0 1.176 * * [simplify]: Extracting #2: cost 5 inf + 1 1.176 * * [simplify]: Extracting #3: cost 4 inf + 2 1.176 * * [simplify]: Extracting #4: cost 1 inf + 225 1.176 * * [simplify]: Extracting #5: cost 0 inf + 326 1.176 * [simplify]: Simplified to (sqrt (cos y)) 1.176 * [simplify]: Simplified (2 1 3 1) to (λ (x y) (/ (fma (cos y) (exp x) (* (sqrt (cos y)) (/ (sqrt (cos y)) (exp x)))) 2)) 1.177 * [simplify]: Simplifying (/ (sqrt (cos y)) (exp x)) 1.177 * * [simplify]: iters left: 4 (6 enodes) 1.180 * * [simplify]: iters left: 3 (18 enodes) 1.185 * * [simplify]: Extracting #0: cost 1 inf + 0 1.185 * * [simplify]: Extracting #1: cost 4 inf + 0 1.185 * * [simplify]: Extracting #2: cost 8 inf + 0 1.185 * * [simplify]: Extracting #3: cost 7 inf + 143 1.185 * * [simplify]: Extracting #4: cost 6 inf + 144 1.185 * * [simplify]: Extracting #5: cost 0 inf + 892 1.186 * [simplify]: Simplified to (/ (sqrt (cos y)) (exp x)) 1.186 * [simplify]: Simplified (2 1 3 2) to (λ (x y) (/ (fma (cos y) (exp x) (* (sqrt (cos y)) (/ (sqrt (cos y)) (exp x)))) 2)) 1.186 * * * * [progress]: [ 18 / 33 ] simplifiying candidate # 1.186 * [simplify]: Simplifying (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) 1.186 * * [simplify]: iters left: 6 (6 enodes) 1.190 * * [simplify]: iters left: 5 (22 enodes) 1.197 * * [simplify]: iters left: 4 (26 enodes) 1.205 * * [simplify]: Extracting #0: cost 1 inf + 0 1.205 * * [simplify]: Extracting #1: cost 6 inf + 0 1.205 * * [simplify]: Extracting #2: cost 9 inf + 1 1.205 * * [simplify]: Extracting #3: cost 11 inf + 1 1.205 * * [simplify]: Extracting #4: cost 8 inf + 144 1.205 * * [simplify]: Extracting #5: cost 2 inf + 1253 1.206 * * [simplify]: Extracting #6: cost 0 inf + 1676 1.206 * [simplify]: Simplified to (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) 1.206 * [simplify]: Simplified (2 1 3 1) to (λ (x y) (/ (fma (cos y) (exp x) (* (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (/ (cos y) (cbrt (exp x))))) 2)) 1.206 * [simplify]: Simplifying (/ (cos y) (cbrt (exp x))) 1.206 * * [simplify]: iters left: 4 (6 enodes) 1.209 * * [simplify]: iters left: 3 (18 enodes) 1.214 * * [simplify]: Extracting #0: cost 1 inf + 0 1.214 * * [simplify]: Extracting #1: cost 4 inf + 0 1.214 * * [simplify]: Extracting #2: cost 8 inf + 0 1.214 * * [simplify]: Extracting #3: cost 9 inf + 1 1.215 * * [simplify]: Extracting #4: cost 0 inf + 1072 1.215 * [simplify]: Simplified to (/ (cos y) (cbrt (exp x))) 1.215 * [simplify]: Simplified (2 1 3 2) to (λ (x y) (/ (fma (cos y) (exp x) (* (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (/ (cos y) (cbrt (exp x))))) 2)) 1.215 * * * * [progress]: [ 19 / 33 ] simplifiying candidate # 1.215 * [simplify]: Simplifying (/ 1 (sqrt (exp x))) 1.215 * * [simplify]: iters left: 4 (5 enodes) 1.218 * * [simplify]: iters left: 3 (17 enodes) 1.224 * * [simplify]: iters left: 2 (19 enodes) 1.230 * * [simplify]: Extracting #0: cost 1 inf + 0 1.230 * * [simplify]: Extracting #1: cost 4 inf + 0 1.230 * * [simplify]: Extracting #2: cost 5 inf + 1 1.230 * * [simplify]: Extracting #3: cost 7 inf + 1 1.230 * * [simplify]: Extracting #4: cost 0 inf + 670 1.231 * [simplify]: Simplified to (/ 1 (sqrt (exp x))) 1.231 * [simplify]: Simplified (2 1 3 1) to (λ (x y) (/ (fma (cos y) (exp x) (* (/ 1 (sqrt (exp x))) (/ (cos y) (sqrt (exp x))))) 2)) 1.231 * [simplify]: Simplifying (/ (cos y) (sqrt (exp x))) 1.231 * * [simplify]: iters left: 4 (6 enodes) 1.234 * * [simplify]: iters left: 3 (18 enodes) 1.239 * * [simplify]: Extracting #0: cost 1 inf + 0 1.239 * * [simplify]: Extracting #1: cost 4 inf + 0 1.239 * * [simplify]: Extracting #2: cost 8 inf + 0 1.239 * * [simplify]: Extracting #3: cost 9 inf + 1 1.239 * * [simplify]: Extracting #4: cost 0 inf + 912 1.239 * [simplify]: Simplified to (/ (cos y) (sqrt (exp x))) 1.239 * [simplify]: Simplified (2 1 3 2) to (λ (x y) (/ (fma (cos y) (exp x) (* (/ 1 (sqrt (exp x))) (/ (cos y) (sqrt (exp x))))) 2)) 1.240 * * * * [progress]: [ 20 / 33 ] simplifiying candidate # 1.240 * [simplify]: Simplifying (/ 1 1) 1.240 * * [simplify]: iters left: 2 (2 enodes) 1.242 * * [simplify]: iters left: 1 (6 enodes) 1.244 * * [simplify]: Extracting #0: cost 1 inf + 0 1.244 * * [simplify]: Extracting #1: cost 0 inf + 1 1.244 * [simplify]: Simplified to 1 1.244 * [simplify]: Simplified (2 1 3 1) to (λ (x y) (/ (fma (cos y) (exp x) (* 1 (/ (cos y) (exp x)))) 2)) 1.244 * [simplify]: Simplifying (/ (cos y) (exp x)) 1.244 * * [simplify]: iters left: 3 (5 enodes) 1.246 * * [simplify]: iters left: 2 (15 enodes) 1.251 * * [simplify]: Extracting #0: cost 1 inf + 0 1.251 * * [simplify]: Extracting #1: cost 4 inf + 0 1.251 * * [simplify]: Extracting #2: cost 8 inf + 0 1.251 * * [simplify]: Extracting #3: cost 4 inf + 144 1.251 * * [simplify]: Extracting #4: cost 0 inf + 610 1.252 * [simplify]: Simplified to (/ (cos y) (exp x)) 1.252 * [simplify]: Simplified (2 1 3 2) to (λ (x y) (/ (fma (cos y) (exp x) (* 1 (/ (cos y) (exp x)))) 2)) 1.252 * * * * [progress]: [ 21 / 33 ] simplifiying candidate # 1.252 * * * * [progress]: [ 22 / 33 ] simplifiying candidate # 1.252 * * * * [progress]: [ 23 / 33 ] simplifiying candidate # 1.252 * * * * [progress]: [ 24 / 33 ] simplifiying candidate # 1.252 * [simplify]: Simplifying (cbrt (exp x)) 1.252 * * [simplify]: iters left: 2 (3 enodes) 1.254 * * [simplify]: iters left: 1 (9 enodes) 1.256 * * [simplify]: Extracting #0: cost 1 inf + 0 1.256 * * [simplify]: Extracting #1: cost 3 inf + 0 1.256 * * [simplify]: Extracting #2: cost 5 inf + 0 1.256 * * [simplify]: Extracting #3: cost 4 inf + 1 1.257 * * [simplify]: Extracting #4: cost 0 inf + 445 1.257 * [simplify]: Simplified to (cbrt (exp x)) 1.257 * [simplify]: Simplified (2 1 3 2) to (λ (x y) (/ (fma (cos y) (exp x) (/ (/ (cos y) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x)))) 2)) 1.257 * * * * [progress]: [ 25 / 33 ] simplifiying candidate # 1.257 * [simplify]: Simplifying (sqrt (exp x)) 1.257 * * [simplify]: iters left: 2 (3 enodes) 1.258 * * [simplify]: iters left: 1 (9 enodes) 1.261 * * [simplify]: Extracting #0: cost 1 inf + 0 1.261 * * [simplify]: Extracting #1: cost 3 inf + 0 1.261 * * [simplify]: Extracting #2: cost 5 inf + 0 1.261 * * [simplify]: Extracting #3: cost 4 inf + 1 1.261 * * [simplify]: Extracting #4: cost 0 inf + 365 1.261 * [simplify]: Simplified to (sqrt (exp x)) 1.262 * [simplify]: Simplified (2 1 3 2) to (λ (x y) (/ (fma (cos y) (exp x) (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x)))) 2)) 1.262 * * * * [progress]: [ 26 / 33 ] simplifiying candidate # 1.262 * [simplify]: Simplifying (exp x) 1.262 * * [simplify]: iters left: 1 (2 enodes) 1.263 * * [simplify]: Extracting #0: cost 1 inf + 0 1.263 * * [simplify]: Extracting #1: cost 3 inf + 0 1.263 * * [simplify]: Extracting #2: cost 2 inf + 1 1.263 * * [simplify]: Extracting #3: cost 0 inf + 143 1.263 * [simplify]: Simplified to (exp x) 1.263 * [simplify]: Simplified (2 1 3 2) to (λ (x y) (/ (fma (cos y) (exp x) (/ (/ (cos y) 1) (exp x))) 2)) 1.263 * * * * [progress]: [ 27 / 33 ] simplifiying candidate # 1.263 * [simplify]: Simplifying (* (cbrt (cos y)) (cbrt (cos y))) 1.263 * * [simplify]: iters left: 4 (4 enodes) 1.265 * * [simplify]: iters left: 3 (12 enodes) 1.269 * * [simplify]: Extracting #0: cost 1 inf + 0 1.269 * * [simplify]: Extracting #1: cost 3 inf + 0 1.269 * * [simplify]: Extracting #2: cost 5 inf + 0 1.269 * * [simplify]: Extracting #3: cost 7 inf + 0 1.269 * * [simplify]: Extracting #4: cost 6 inf + 1 1.269 * * [simplify]: Extracting #5: cost 0 inf + 767 1.269 * [simplify]: Simplified to (* (cbrt (cos y)) (cbrt (cos y))) 1.269 * [simplify]: Simplified (2 1 3 1) to (λ (x y) (/ (fma (cos y) (exp x) (/ (* (cbrt (cos y)) (cbrt (cos y))) (/ (exp x) (cbrt (cos y))))) 2)) 1.269 * * * * [progress]: [ 28 / 33 ] simplifiying candidate # 1.270 * [simplify]: Simplifying (sqrt (cos y)) 1.270 * * [simplify]: iters left: 2 (3 enodes) 1.271 * * [simplify]: iters left: 1 (9 enodes) 1.274 * * [simplify]: Extracting #0: cost 1 inf + 0 1.274 * * [simplify]: Extracting #1: cost 3 inf + 0 1.274 * * [simplify]: Extracting #2: cost 5 inf + 0 1.274 * * [simplify]: Extracting #3: cost 4 inf + 1 1.274 * * [simplify]: Extracting #4: cost 0 inf + 325 1.274 * [simplify]: Simplified to (sqrt (cos y)) 1.274 * [simplify]: Simplified (2 1 3 1) to (λ (x y) (/ (fma (cos y) (exp x) (/ (sqrt (cos y)) (/ (exp x) (sqrt (cos y))))) 2)) 1.274 * * * * [progress]: [ 29 / 33 ] simplifiying candidate # 1.274 * * * * [progress]: [ 30 / 33 ] simplifiying candidate #real (real->posit16 (/ (cos y) (exp x))))) 2))> 1.274 * * * * [progress]: [ 31 / 33 ] simplifiying candidate # 1.275 * [simplify]: Simplifying (- 1 (+ (* 1/2 (pow y 2)) x)) 1.275 * * [simplify]: iters left: 6 (9 enodes) 1.279 * * [simplify]: iters left: 5 (40 enodes) 1.287 * * [simplify]: iters left: 4 (60 enodes) 1.298 * * [simplify]: iters left: 3 (96 enodes) 1.321 * * [simplify]: iters left: 2 (161 enodes) 1.370 * * [simplify]: iters left: 1 (191 enodes) 1.407 * * [simplify]: Extracting #0: cost 1 inf + 0 1.407 * * [simplify]: Extracting #1: cost 25 inf + 0 1.407 * * [simplify]: Extracting #2: cost 32 inf + 351 1.408 * * [simplify]: Extracting #3: cost 5 inf + 2467 1.409 * * [simplify]: Extracting #4: cost 0 inf + 3069 1.410 * * [simplify]: Extracting #5: cost 0 inf + 3054 1.411 * [simplify]: Simplified to (fma -1/2 (* y y) (- 1 x)) 1.411 * [simplify]: Simplified (2 1 3) to (λ (x y) (/ (fma (cos y) (exp x) (fma -1/2 (* y y) (- 1 x))) 2)) 1.411 * * * * [progress]: [ 32 / 33 ] simplifiying candidate # 1.412 * [simplify]: Simplifying (/ (cos y) (exp x)) 1.412 * * [simplify]: iters left: 3 (5 enodes) 1.414 * * [simplify]: iters left: 2 (15 enodes) 1.418 * * [simplify]: Extracting #0: cost 1 inf + 0 1.418 * * [simplify]: Extracting #1: cost 4 inf + 0 1.418 * * [simplify]: Extracting #2: cost 8 inf + 0 1.418 * * [simplify]: Extracting #3: cost 4 inf + 144 1.419 * * [simplify]: Extracting #4: cost 0 inf + 610 1.419 * [simplify]: Simplified to (/ (cos y) (exp x)) 1.419 * [simplify]: Simplified (2 1 3) to (λ (x y) (/ (fma (cos y) (exp x) (/ (cos y) (exp x))) 2)) 1.419 * * * * [progress]: [ 33 / 33 ] simplifiying candidate # 1.419 * [simplify]: Simplifying (/ (cos y) (exp x)) 1.419 * * [simplify]: iters left: 3 (5 enodes) 1.422 * * [simplify]: iters left: 2 (15 enodes) 1.426 * * [simplify]: Extracting #0: cost 1 inf + 0 1.426 * * [simplify]: Extracting #1: cost 4 inf + 0 1.426 * * [simplify]: Extracting #2: cost 8 inf + 0 1.426 * * [simplify]: Extracting #3: cost 4 inf + 144 1.426 * * [simplify]: Extracting #4: cost 0 inf + 610 1.427 * [simplify]: Simplified to (/ (cos y) (exp x)) 1.427 * [simplify]: Simplified (2 1 3) to (λ (x y) (/ (fma (cos y) (exp x) (/ (cos y) (exp x))) 2)) 1.427 * * * [progress]: adding candidates to table 1.831 * [progress]: [Phase 3 of 3] Extracting. 1.833 * [simplify]: Simplifying (/ (fma (cos y) (exp x) (/ (cos y) (exp x))) 2) 1.833 * * [simplify]: iters left: 6 (8 enodes) 1.834 * * [simplify]: Extracting #0: cost 1 inf + 0 1.834 * * [simplify]: Extracting #1: cost 3 inf + 0 1.834 * * [simplify]: Extracting #2: cost 5 inf + 1 1.834 * * [simplify]: Extracting #3: cost 7 inf + 1 1.834 * * [simplify]: Extracting #4: cost 4 inf + 74 1.834 * * [simplify]: Extracting #5: cost 0 inf + 802 1.834 * [simplify]: Simplified to (/ (fma (cos y) (exp x) (/ (cos y) (exp x))) 2) 1.834 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1.915 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1.918 * * * * [points]: Setting MPFR precision to 64 1.919 * * * * [points]: Setting MPFR precision to 320 1.920 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1.925 * * * * [points]: Setting MPFR precision to 64 1.927 * * * * [points]: Setting MPFR precision to 320 1.930 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1.934 * * * * [points]: Setting MPFR precision to 64 1.939 * * * * [points]: Setting MPFR precision to 320 1.945 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1.950 * * * * [points]: Setting MPFR precision to 64 1.960 * * * * [points]: Setting MPFR precision to 320 1.968 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1.973 * * * * [points]: Setting MPFR precision to 64 1.991 * * * * [points]: Setting MPFR precision to 320 2.039 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 2.044 * * * * [points]: Setting MPFR precision to 64 2.089 * * * * [points]: Setting MPFR precision to 320 2.129 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 2.132 * * * * [points]: Setting MPFR precision to 64 2.188 * * * * [points]: Setting MPFR precision to 320 2.319 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 2.324 * * * * [points]: Setting MPFR precision to 64 2.457 * * * * [points]: Setting MPFR precision to 320 2.679 * * * * [points]: Computing exacts for 8000 points 2.684 * * * * [points]: Setting MPFR precision to 64 3.314 * * * * [points]: Setting MPFR precision to 320 4.349 * * * * [points]: Filtering points with unrepresentable outputs 4.352 * * * * [points]: Sampling 3962 additional inputs, on iter 1 have 4038 / 8000 4.425 * * * * [points]: Computing exacts on every 247 of 3962 points to ramp up precision 4.430 * * * * [points]: Setting MPFR precision to 64 4.431 * * * * [points]: Setting MPFR precision to 320 4.432 * * * * [points]: Computing exacts on every 123 of 3962 points to ramp up precision 4.434 * * * * [points]: Setting MPFR precision to 64 4.436 * * * * [points]: Setting MPFR precision to 320 4.438 * * * * [points]: Computing exacts on every 61 of 3962 points to ramp up precision 4.440 * * * * [points]: Setting MPFR precision to 64 4.443 * * * * [points]: Setting MPFR precision to 320 4.446 * * * * [points]: Computing exacts on every 30 of 3962 points to ramp up precision 4.449 * * * * [points]: Setting MPFR precision to 64 4.454 * * * * [points]: Setting MPFR precision to 320 4.465 * * * * [points]: Computing exacts on every 15 of 3962 points to ramp up precision 4.470 * * * * [points]: Setting MPFR precision to 64 4.481 * * * * [points]: Setting MPFR precision to 320 4.493 * * * * [points]: Computing exacts on every 7 of 3962 points to ramp up precision 4.495 * * * * [points]: Setting MPFR precision to 64 4.515 * * * * [points]: Setting MPFR precision to 320 4.538 * * * * [points]: Computing exacts on every 3 of 3962 points to ramp up precision 4.541 * * * * [points]: Setting MPFR precision to 64 4.624 * * * * [points]: Setting MPFR precision to 320 4.683 * * * * [points]: Computing exacts for 3962 points 4.686 * * * * [points]: Setting MPFR precision to 64 5.027 * * * * [points]: Setting MPFR precision to 320 5.310 * * * * [points]: Filtering points with unrepresentable outputs 5.311 * * * * [points]: Sampling 2012 additional inputs, on iter 2 have 5988 / 8000 5.339 * * * * [points]: Computing exacts on every 125 of 2012 points to ramp up precision 5.344 * * * * [points]: Setting MPFR precision to 64 5.345 * * * * [points]: Setting MPFR precision to 320 5.346 * * * * [points]: Computing exacts on every 62 of 2012 points to ramp up precision 5.351 * * * * [points]: Setting MPFR precision to 64 5.354 * * * * [points]: Setting MPFR precision to 320 5.356 * * * * [points]: Computing exacts on every 31 of 2012 points to ramp up precision 5.359 * * * * [points]: Setting MPFR precision to 64 5.361 * * * * [points]: Setting MPFR precision to 320 5.393 * * * * [points]: Computing exacts on every 15 of 2012 points to ramp up precision 5.396 * * * * [points]: Setting MPFR precision to 64 5.406 * * * * [points]: Setting MPFR precision to 320 5.412 * * * * [points]: Computing exacts on every 7 of 2012 points to ramp up precision 5.415 * * * * [points]: Setting MPFR precision to 64 5.425 * * * * [points]: Setting MPFR precision to 320 5.436 * * * * [points]: Computing exacts on every 3 of 2012 points to ramp up precision 5.439 * * * * [points]: Setting MPFR precision to 64 5.459 * * * * [points]: Setting MPFR precision to 320 5.482 * * * * [points]: Computing exacts for 2012 points 5.484 * * * * [points]: Setting MPFR precision to 64 5.655 * * * * [points]: Setting MPFR precision to 320 5.859 * * * * [points]: Filtering points with unrepresentable outputs 5.860 * * * * [points]: Sampling 994 additional inputs, on iter 3 have 7006 / 8000 5.877 * * * * [points]: Computing exacts on every 62 of 994 points to ramp up precision 5.882 * * * * [points]: Setting MPFR precision to 64 5.883 * * * * [points]: Setting MPFR precision to 320 5.885 * * * * [points]: Computing exacts on every 31 of 994 points to ramp up precision 5.889 * * * * [points]: Setting MPFR precision to 64 5.892 * * * * [points]: Setting MPFR precision to 320 5.894 * * * * [points]: Computing exacts on every 15 of 994 points to ramp up precision 5.899 * * * * [points]: Setting MPFR precision to 64 5.905 * * * * [points]: Setting MPFR precision to 320 5.911 * * * * [points]: Computing exacts on every 7 of 994 points to ramp up precision 5.915 * * * * [points]: Setting MPFR precision to 64 5.925 * * * * [points]: Setting MPFR precision to 320 5.936 * * * * [points]: Computing exacts on every 3 of 994 points to ramp up precision 5.941 * * * * [points]: Setting MPFR precision to 64 5.952 * * * * [points]: Setting MPFR precision to 320 5.964 * * * * [points]: Computing exacts for 994 points 5.966 * * * * [points]: Setting MPFR precision to 64 6.065 * * * * [points]: Setting MPFR precision to 320 6.129 * * * * [points]: Filtering points with unrepresentable outputs 6.130 * * * * [points]: Sampling 505 additional inputs, on iter 4 have 7495 / 8000 6.139 * * * * [points]: Computing exacts on every 31 of 505 points to ramp up precision 6.143 * * * * [points]: Setting MPFR precision to 64 6.145 * * * * [points]: Setting MPFR precision to 320 6.146 * * * * [points]: Computing exacts on every 15 of 505 points to ramp up precision 6.151 * * * * [points]: Setting MPFR precision to 64 6.153 * * * * [points]: Setting MPFR precision to 320 6.157 * * * * [points]: Computing exacts on every 7 of 505 points to ramp up precision 6.161 * * * * [points]: Setting MPFR precision to 64 6.167 * * * * [points]: Setting MPFR precision to 320 6.173 * * * * [points]: Computing exacts on every 3 of 505 points to ramp up precision 6.178 * * * * [points]: Setting MPFR precision to 64 6.187 * * * * [points]: Setting MPFR precision to 320 6.199 * * * * [points]: Computing exacts for 505 points 6.204 * * * * [points]: Setting MPFR precision to 64 6.280 * * * * [points]: Setting MPFR precision to 320 6.310 * * * * [points]: Filtering points with unrepresentable outputs 6.310 * * * * [points]: Sampling 268 additional inputs, on iter 5 have 7732 / 8000 6.312 * * * * [points]: Computing exacts on every 16 of 268 points to ramp up precision 6.315 * * * * [points]: Setting MPFR precision to 64 6.316 * * * * [points]: Setting MPFR precision to 320 6.317 * * * * [points]: Computing exacts on every 8 of 268 points to ramp up precision 6.319 * * * * [points]: Setting MPFR precision to 64 6.320 * * * * [points]: Setting MPFR precision to 320 6.322 * * * * [points]: Computing exacts on every 4 of 268 points to ramp up precision 6.324 * * * * [points]: Setting MPFR precision to 64 6.326 * * * * [points]: Setting MPFR precision to 320 6.329 * * * * [points]: Computing exacts on every 2 of 268 points to ramp up precision 6.331 * * * * [points]: Setting MPFR precision to 64 6.335 * * * * [points]: Setting MPFR precision to 320 6.340 * * * * [points]: Computing exacts for 268 points 6.342 * * * * [points]: Setting MPFR precision to 64 6.355 * * * * [points]: Setting MPFR precision to 320 6.369 * * * * [points]: Filtering points with unrepresentable outputs 6.370 * * * * [points]: Sampling 131 additional inputs, on iter 6 have 7869 / 8000 6.371 * * * * [points]: Computing exacts on every 8 of 131 points to ramp up precision 6.373 * * * * [points]: Setting MPFR precision to 64 6.374 * * * * [points]: Setting MPFR precision to 320 6.375 * * * * [points]: Computing exacts on every 4 of 131 points to ramp up precision 6.377 * * * * [points]: Setting MPFR precision to 64 6.378 * * * * [points]: Setting MPFR precision to 320 6.379 * * * * [points]: Computing exacts on every 2 of 131 points to ramp up precision 6.381 * * * * [points]: Setting MPFR precision to 64 6.383 * * * * [points]: Setting MPFR precision to 320 6.386 * * * * [points]: Computing exacts for 131 points 6.388 * * * * [points]: Setting MPFR precision to 64 6.769 * * * * [points]: Setting MPFR precision to 320 6.777 * * * * [points]: Filtering points with unrepresentable outputs 6.777 * * * * [points]: Sampling 66 additional inputs, on iter 7 have 7934 / 8000 6.778 * * * * [points]: Computing exacts on every 4 of 66 points to ramp up precision 6.781 * * * * [points]: Setting MPFR precision to 64 6.782 * * * * [points]: Setting MPFR precision to 320 6.784 * * * * [points]: Computing exacts on every 2 of 66 points to ramp up precision 6.788 * * * * [points]: Setting MPFR precision to 64 6.790 * * * * [points]: Setting MPFR precision to 320 6.792 * * * * [points]: Computing exacts for 66 points 6.797 * * * * [points]: Setting MPFR precision to 64 6.802 * * * * [points]: Setting MPFR precision to 320 6.808 * * * * [points]: Filtering points with unrepresentable outputs 6.809 * * * * [points]: Sampling 24 additional inputs, on iter 8 have 7976 / 8000 6.809 * * * * [points]: Computing exacts for 24 points 6.814 * * * * [points]: Setting MPFR precision to 64 6.816 * * * * [points]: Setting MPFR precision to 320 6.819 * * * * [points]: Filtering points with unrepresentable outputs 6.819 * * * * [points]: Sampling 7 additional inputs, on iter 9 have 7993 / 8000 6.819 * * * * [points]: Computing exacts for 7 points 6.823 * * * * [points]: Setting MPFR precision to 64 6.824 * * * * [points]: Setting MPFR precision to 320 6.825 * * * * [points]: Filtering points with unrepresentable outputs 6.825 * * * * [points]: Sampling 6 additional inputs, on iter 10 have 7994 / 8000 6.825 * * * * [points]: Computing exacts for 6 points 6.829 * * * * [points]: Setting MPFR precision to 64 6.830 * * * * [points]: Setting MPFR precision to 320 6.830 * * * * [points]: Filtering points with unrepresentable outputs 6.831 * * * * [points]: Sampling 5 additional inputs, on iter 11 have 7995 / 8000 6.831 * * * * [points]: Computing exacts for 5 points 6.835 * * * * [points]: Setting MPFR precision to 64 6.836 * * * * [points]: Setting MPFR precision to 320 6.836 * * * * [points]: Filtering points with unrepresentable outputs 6.836 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000 6.836 * * * * [points]: Computing exacts for 4 points 6.840 * * * * [points]: Setting MPFR precision to 64 6.841 * * * * [points]: Setting MPFR precision to 320 6.841 * * * * [points]: Filtering points with unrepresentable outputs 6.841 * * * * [points]: Sampled 8001 points with exact outputs 7.128 * [regime-testing]: Baseline error score: 0.009 7.130 * [regime-testing]: Oracle error score: 0.009 7.131 * [regime-testing]: End program error score: 0.009