1553862975.265 * [progress]: [Phase 1 of 3] Setting up.
1553862975.266 * * * [progress]: [1/2] Preparing points
1553862975.267 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1553862975.272 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1553862975.729 * * * * [points]: Setting MPFR precision to 64
1553862975.735 * * * * [points]: Setting MPFR precision to 320
1553862975.739 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1553862975.744 * * * * [points]: Setting MPFR precision to 64
1553862975.779 * * * * [points]: Setting MPFR precision to 320
1553862975.787 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1553862975.794 * * * * [points]: Setting MPFR precision to 64
1553862975.799 * * * * [points]: Setting MPFR precision to 320
1553862975.804 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1553862975.806 * * * * [points]: Setting MPFR precision to 64
1553862975.843 * * * * [points]: Setting MPFR precision to 320
1553862975.853 * * * * [points]: Computing exacts for 256 points
1553862975.858 * * * * [points]: Setting MPFR precision to 64
1553862975.921 * * * * [points]: Setting MPFR precision to 320
1553862976.013 * * * * [points]: Filtering points with unrepresentable outputs
1553862976.036 * * * * [points]: Sampling 75 additional inputs, on iter 1 have 181 / 256
1553862976.037 * * * * [points]: Computing exacts on every 4 of 75 points to ramp up precision
1553862976.042 * * * * [points]: Setting MPFR precision to 64
1553862976.045 * * * * [points]: Setting MPFR precision to 320
1553862976.047 * * * * [points]: Computing exacts on every 2 of 75 points to ramp up precision
1553862976.055 * * * * [points]: Setting MPFR precision to 64
1553862976.058 * * * * [points]: Setting MPFR precision to 320
1553862976.063 * * * * [points]: Computing exacts for 75 points
1553862976.068 * * * * [points]: Setting MPFR precision to 64
1553862976.077 * * * * [points]: Setting MPFR precision to 320
1553862976.089 * * * * [points]: Filtering points with unrepresentable outputs
1553862976.096 * * * * [points]: Sampling 22 additional inputs, on iter 2 have 234 / 256
1553862976.096 * * * * [points]: Computing exacts for 22 points
1553862976.101 * * * * [points]: Setting MPFR precision to 64
1553862976.104 * * * * [points]: Setting MPFR precision to 320
1553862976.108 * * * * [points]: Filtering points with unrepresentable outputs
1553862976.111 * * * * [points]: Sampling 4 additional inputs, on iter 3 have 252 / 256
1553862976.111 * * * * [points]: Computing exacts for 4 points
1553862976.116 * * * * [points]: Setting MPFR precision to 64
1553862976.116 * * * * [points]: Setting MPFR precision to 320
1553862976.117 * * * * [points]: Filtering points with unrepresentable outputs
1553862976.118 * * * * [points]: Sampling 4 additional inputs, on iter 4 have 255 / 256
1553862976.118 * * * * [points]: Computing exacts for 4 points
1553862976.122 * * * * [points]: Setting MPFR precision to 64
1553862976.123 * * * * [points]: Setting MPFR precision to 320
1553862976.124 * * * * [points]: Filtering points with unrepresentable outputs
1553862976.124 * * * * [points]: Sampled 258 points with exact outputs
1553862976.125 * * * [progress]: [2/2] Setting up program.
1553862976.177 * [progress]: [Phase 2 of 3] Improving.
1553862976.177 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (*.p16 (real->posit16 2) a)))>
1553862976.179 * [simplify]: Simplifying (/.p16 (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (*.p16 (real->posit16 2) a))
1553862976.181 * * [simplify]: iters left: 6 (16 enodes)
1553862976.222 * * [simplify]: iters left: 5 (39 enodes)
1553862976.238 * * [simplify]: iters left: 4 (72 enodes)
1553862976.267 * * [simplify]: iters left: 3 (196 enodes)
1553862976.391 * * [simplify]: Extracting #0: cost 1 inf + 0
1553862976.391 * * [simplify]: Extracting #1: cost 5 inf + 0
1553862976.392 * * [simplify]: Extracting #2: cost 11 inf + 1
1553862976.392 * * [simplify]: Extracting #3: cost 16 inf + 2
1553862976.392 * * [simplify]: Extracting #4: cost 26 inf + 807
1553862976.393 * * [simplify]: Extracting #5: cost 66 inf + 1770
1553862976.394 * * [simplify]: Extracting #6: cost 135 inf + 3695
1553862976.396 * * [simplify]: Extracting #7: cost 209 inf + 14082
1553862976.403 * * [simplify]: Extracting #8: cost 138 inf + 107732
1553862976.422 * * [simplify]: Extracting #9: cost 36 inf + 289941
1553862976.448 * * [simplify]: Extracting #10: cost 2 inf + 355093
1553862976.474 * * [simplify]: Extracting #11: cost 1 inf + 357016
1553862976.505 * * [simplify]: Extracting #12: cost 0 inf + 360620
1553862976.532 * [simplify]: Simplified to (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (*.p16 (real->posit16 2) a))
1553862976.533 * [simplify]: Simplified (2) to (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (*.p16 (real->posit16 2) a)))
1553862976.620 * * [progress]: iteration 1 / 4
1553862976.620 * * * [progress]: picking best candidate
1553862976.660 * * * * [pick]: Picked  #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (*.p16 (real->posit16 2) a)))>
1553862976.660 * * * [progress]: localizing error
1553862977.130 * * * [progress]: generating rewritten candidates
1553862977.131 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1553862977.136 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
1553862977.136 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1553862977.156 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
1553862977.166 * * * [progress]: generating series expansions
1553862977.167 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1553862977.167 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
1553862977.167 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1553862977.167 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
1553862977.167 * * * [progress]: simplifying candidates
1553862977.167 * * * * [progress]: [ 1 / 12 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (neg.p16 b)) (*.p16 (real->posit16 2) a)))>
1553862977.168 * * * * [progress]: [ 2 / 12 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b)) (*.p16 (real->posit16 2) a)))>
1553862977.168 * * * * [progress]: [ 3 / 12 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (real->posit16 2)) a))>
1553862977.168 * * * * [progress]: [ 4 / 12 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) a) (real->posit16 2)))>
1553862977.168 * [simplify]: Simplifying (real->posit16 2)
1553862977.168 * * [simplify]: iters left: 1 (2 enodes)
1553862977.170 * * [simplify]: Extracting #0: cost 1 inf + 0
1553862977.170 * * [simplify]: Extracting #1: cost 2 inf + 0
1553862977.170 * * [simplify]: Extracting #2: cost 1 inf + 1
1553862977.170 * * [simplify]: Extracting #3: cost 0 inf + 2
1553862977.170 * [simplify]: Simplified to (real->posit16 2)
1553862977.170 * [simplify]: Simplified (2 2) to (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) a) (real->posit16 2)))
1553862977.171 * * * * [progress]: [ 5 / 12 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (*.p16 (*.p16 (real->posit16 2) a) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b))))>
1553862977.171 * [simplify]: Simplifying (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b))
1553862977.171 * * [simplify]: iters left: 6 (12 enodes)
1553862977.176 * * [simplify]: iters left: 5 (39 enodes)
1553862977.192 * * [simplify]: iters left: 4 (111 enodes)
1553862977.223 * * [simplify]: iters left: 3 (427 enodes)
1553862977.470 * * [simplify]: Extracting #0: cost 1 inf + 0
1553862977.470 * * [simplify]: Extracting #1: cost 47 inf + 0
1553862977.471 * * [simplify]: Extracting #2: cost 231 inf + 0
1553862977.472 * * [simplify]: Extracting #3: cost 400 inf + 3216
1553862977.479 * * [simplify]: Extracting #4: cost 473 inf + 191470
1553862977.516 * * [simplify]: Extracting #5: cost 180 inf + 866467
1553862977.574 * * [simplify]: Extracting #6: cost 4 inf + 1232579
1553862977.633 * * [simplify]: Extracting #7: cost 0 inf + 1241757
1553862977.715 * [simplify]: Simplified to (-.p16 (real->posit16 0.0) (*.p16 (*.p16 a c) (real->posit16 4)))
1553862977.715 * [simplify]: Simplified (2 1) to (λ (a b c) (/.p16 (-.p16 (real->posit16 0.0) (*.p16 (*.p16 a c) (real->posit16 4))) (*.p16 (*.p16 (real->posit16 2) a) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b))))
1553862977.715 * * * * [progress]: [ 6 / 12 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 (real->posit16 2) a)))>
1553862977.715 * * * * [progress]: [ 7 / 12 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 a (*.p16 c (real->posit16 4))))) b) (*.p16 (real->posit16 2) a)))>
1553862977.716 * * * * [progress]: [ 8 / 12 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 c a)))) b) (*.p16 (real->posit16 2) a)))>
1553862977.716 * * * * [progress]: [ 9 / 12 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (*.p16 (real->posit16 2) a)))>
1553862977.716 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (*.p16 (real->posit16 2) a))
1553862977.716 * * [simplify]: iters left: 6 (15 enodes)
1553862977.723 * * [simplify]: iters left: 5 (43 enodes)
1553862977.739 * * [simplify]: iters left: 4 (88 enodes)
1553862977.777 * * [simplify]: iters left: 3 (307 enodes)
1553862977.947 * * [simplify]: Extracting #0: cost 1 inf + 0
1553862977.947 * * [simplify]: Extracting #1: cost 31 inf + 0
1553862977.948 * * [simplify]: Extracting #2: cost 125 inf + 1
1553862977.949 * * [simplify]: Extracting #3: cost 193 inf + 2734
1553862977.951 * * [simplify]: Extracting #4: cost 253 inf + 8433
1553862977.955 * * [simplify]: Extracting #5: cost 273 inf + 63950
1553862977.975 * * [simplify]: Extracting #6: cost 175 inf + 356651
1553862978.011 * * [simplify]: Extracting #7: cost 6 inf + 666712
1553862978.041 * * [simplify]: Extracting #8: cost 0 inf + 674735
1553862978.087 * [simplify]: Simplified to (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b) (*.p16 a (real->posit16 2)))
1553862978.088 * [simplify]: Simplified (2) to (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b) (*.p16 a (real->posit16 2))))
1553862978.088 * * * * [progress]: [ 10 / 12 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (*.p16 (real->posit16 2) a)))>
1553862978.088 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (*.p16 (real->posit16 2) a))
1553862978.088 * * [simplify]: iters left: 6 (15 enodes)
1553862978.092 * * [simplify]: iters left: 5 (43 enodes)
1553862978.100 * * [simplify]: iters left: 4 (88 enodes)
1553862978.135 * * [simplify]: iters left: 3 (307 enodes)
1553862978.312 * * [simplify]: Extracting #0: cost 1 inf + 0
1553862978.312 * * [simplify]: Extracting #1: cost 31 inf + 0
1553862978.312 * * [simplify]: Extracting #2: cost 125 inf + 1
1553862978.313 * * [simplify]: Extracting #3: cost 193 inf + 2734
1553862978.315 * * [simplify]: Extracting #4: cost 253 inf + 8433
1553862978.325 * * [simplify]: Extracting #5: cost 273 inf + 63950
1553862978.350 * * [simplify]: Extracting #6: cost 175 inf + 356651
1553862978.376 * * [simplify]: Extracting #7: cost 6 inf + 666712
1553862978.418 * * [simplify]: Extracting #8: cost 0 inf + 674735
1553862978.473 * [simplify]: Simplified to (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b) (*.p16 a (real->posit16 2)))
1553862978.473 * [simplify]: Simplified (2) to (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b) (*.p16 a (real->posit16 2))))
1553862978.473 * * * * [progress]: [ 11 / 12 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (*.p16 (real->posit16 2) a)))>
1553862978.473 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (*.p16 (real->posit16 2) a))
1553862978.473 * * [simplify]: iters left: 6 (15 enodes)
1553862978.477 * * [simplify]: iters left: 5 (43 enodes)
1553862978.484 * * [simplify]: iters left: 4 (88 enodes)
1553862978.503 * * [simplify]: iters left: 3 (307 enodes)
1553862978.637 * * [simplify]: Extracting #0: cost 1 inf + 0
1553862978.637 * * [simplify]: Extracting #1: cost 31 inf + 0
1553862978.638 * * [simplify]: Extracting #2: cost 125 inf + 1
1553862978.639 * * [simplify]: Extracting #3: cost 193 inf + 2734
1553862978.641 * * [simplify]: Extracting #4: cost 253 inf + 8433
1553862978.646 * * [simplify]: Extracting #5: cost 273 inf + 63950
1553862978.673 * * [simplify]: Extracting #6: cost 175 inf + 356651
1553862978.724 * * [simplify]: Extracting #7: cost 6 inf + 666712
1553862978.782 * * [simplify]: Extracting #8: cost 0 inf + 674735
1553862978.840 * [simplify]: Simplified to (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b) (*.p16 a (real->posit16 2)))
1553862978.840 * [simplify]: Simplified (2) to (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b) (*.p16 a (real->posit16 2))))
1553862978.840 * * * * [progress]: [ 12 / 12 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (*.p16 (real->posit16 2) a)))>
1553862978.840 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (*.p16 (real->posit16 2) a))
1553862978.840 * * [simplify]: iters left: 6 (15 enodes)
1553862978.848 * * [simplify]: iters left: 5 (43 enodes)
1553862978.863 * * [simplify]: iters left: 4 (88 enodes)
1553862978.901 * * [simplify]: iters left: 3 (307 enodes)
1553862979.013 * * [simplify]: Extracting #0: cost 1 inf + 0
1553862979.013 * * [simplify]: Extracting #1: cost 31 inf + 0
1553862979.013 * * [simplify]: Extracting #2: cost 125 inf + 1
1553862979.014 * * [simplify]: Extracting #3: cost 193 inf + 2734
1553862979.016 * * [simplify]: Extracting #4: cost 253 inf + 8433
1553862979.021 * * [simplify]: Extracting #5: cost 273 inf + 63950
1553862979.047 * * [simplify]: Extracting #6: cost 175 inf + 356651
1553862979.101 * * [simplify]: Extracting #7: cost 6 inf + 666712
1553862979.132 * * [simplify]: Extracting #8: cost 0 inf + 674735
1553862979.187 * [simplify]: Simplified to (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b) (*.p16 a (real->posit16 2)))
1553862979.187 * [simplify]: Simplified (2) to (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b) (*.p16 a (real->posit16 2))))
1553862979.188 * * * [progress]: adding candidates to table
1553862979.991 * * [progress]: iteration 2 / 4
1553862979.991 * * * [progress]: picking best candidate
1553862980.111 * * * * [pick]: Picked  #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 (real->posit16 2) a)))>
1553862980.111 * * * [progress]: localizing error
1553862980.384 * * * [progress]: generating rewritten candidates
1553862980.384 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1553862980.385 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
1553862980.386 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1553862980.389 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
1553862980.398 * * * [progress]: generating series expansions
1553862980.398 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1553862980.398 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
1553862980.398 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1553862980.398 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
1553862980.398 * * * [progress]: simplifying candidates
1553862980.398 * * * * [progress]: [ 1 / 11 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (neg.p16 b)) (*.p16 (real->posit16 2) a)))>
1553862980.398 * * * * [progress]: [ 2 / 11 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) (*.p16 b b)) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b)) (*.p16 (real->posit16 2) a)))>
1553862980.398 * * * * [progress]: [ 3 / 11 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (real->posit16 2)) a))>
1553862980.398 * * * * [progress]: [ 4 / 11 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) a) (real->posit16 2)))>
1553862980.398 * [simplify]: Simplifying (real->posit16 2)
1553862980.398 * * [simplify]: iters left: 1 (2 enodes)
1553862980.399 * * [simplify]: Extracting #0: cost 1 inf + 0
1553862980.399 * * [simplify]: Extracting #1: cost 2 inf + 0
1553862980.399 * * [simplify]: Extracting #2: cost 1 inf + 1
1553862980.399 * * [simplify]: Extracting #3: cost 0 inf + 2
1553862980.400 * [simplify]: Simplified to (real->posit16 2)
1553862980.400 * [simplify]: Simplified (2 2) to (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) a) (real->posit16 2)))
1553862980.400 * * * * [progress]: [ 5 / 11 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) (*.p16 b b)) (*.p16 (*.p16 (real->posit16 2) a) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b))))>
1553862980.400 * [simplify]: Simplifying (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) (*.p16 b b))
1553862980.400 * * [simplify]: iters left: 6 (12 enodes)
1553862980.403 * * [simplify]: iters left: 5 (39 enodes)
1553862980.410 * * [simplify]: iters left: 4 (111 enodes)
1553862980.444 * * [simplify]: iters left: 3 (424 enodes)
1553862980.837 * * [simplify]: Extracting #0: cost 1 inf + 0
1553862980.837 * * [simplify]: Extracting #1: cost 47 inf + 0
1553862980.838 * * [simplify]: Extracting #2: cost 231 inf + 0
1553862980.840 * * [simplify]: Extracting #3: cost 400 inf + 3615
1553862980.855 * * [simplify]: Extracting #4: cost 466 inf + 182833
1553862980.926 * * [simplify]: Extracting #5: cost 208 inf + 789169
1553862981.038 * * [simplify]: Extracting #6: cost 3 inf + 1219441
1553862981.155 * * [simplify]: Extracting #7: cost 0 inf + 1225733
1553862981.271 * [simplify]: Simplified to (-.p16 (real->posit16 0.0) (*.p16 (*.p16 (real->posit16 4) a) c))
1553862981.271 * [simplify]: Simplified (2 1) to (λ (a b c) (/.p16 (-.p16 (real->posit16 0.0) (*.p16 (*.p16 (real->posit16 4) a) c)) (*.p16 (*.p16 (real->posit16 2) a) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b))))
1553862981.272 * * * * [progress]: [ 6 / 11 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (+.p16 (*.p16 b b) (neg.p16 (*.p16 c (*.p16 a (real->posit16 4)))))) b) (*.p16 (real->posit16 2) a)))>
1553862981.272 * * * * [progress]: [ 7 / 11 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b b) (*.p16 b b)) (*.p16 (*.p16 c (*.p16 a (real->posit16 4))) (*.p16 c (*.p16 a (real->posit16 4))))) (+.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) b) (*.p16 (real->posit16 2) a)))>
1553862981.272 * * * * [progress]: [ 8 / 11 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 (real->posit16 2) a)))>
1553862981.272 * * * * [progress]: [ 9 / 11 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 (real->posit16 2) a)))>
1553862981.272 * * * * [progress]: [ 10 / 11 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 (real->posit16 2) a)))>
1553862981.272 * * * * [progress]: [ 11 / 11 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 (real->posit16 2) a)))>
1553862981.272 * * * [progress]: adding candidates to table
1553862981.907 * * [progress]: iteration 3 / 4
1553862981.908 * * * [progress]: picking best candidate
1553862982.039 * * * * [pick]: Picked  #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (real->posit16 2)) a))>
1553862982.039 * * * [progress]: localizing error
1553862982.345 * * * [progress]: generating rewritten candidates
1553862982.345 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1553862982.347 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
1553862982.347 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1553862982.351 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
1553862982.378 * * * [progress]: generating series expansions
1553862982.378 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1553862982.379 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
1553862982.379 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1553862982.379 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
1553862982.379 * * * [progress]: simplifying candidates
1553862982.379 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (neg.p16 b)) (real->posit16 2)) a))>
1553862982.379 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) (*.p16 b b)) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b)) (real->posit16 2)) a))>
1553862982.379 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 a (real->posit16 2))))>
1553862982.379 * [simplify]: Simplifying (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b)
1553862982.379 * * [simplify]: iters left: 6 (11 enodes)
1553862982.385 * * [simplify]: iters left: 5 (35 enodes)
1553862982.397 * * [simplify]: iters left: 4 (76 enodes)
1553862982.429 * * [simplify]: iters left: 3 (256 enodes)
1553862982.549 * * [simplify]: Extracting #0: cost 1 inf + 0
1553862982.550 * * [simplify]: Extracting #1: cost 12 inf + 0
1553862982.550 * * [simplify]: Extracting #2: cost 66 inf + 1
1553862982.551 * * [simplify]: Extracting #3: cost 146 inf + 403
1553862982.552 * * [simplify]: Extracting #4: cost 206 inf + 4977
1553862982.555 * * [simplify]: Extracting #5: cost 248 inf + 24473
1553862982.573 * * [simplify]: Extracting #6: cost 211 inf + 217933
1553862982.593 * * [simplify]: Extracting #7: cost 16 inf + 561609
1553862982.618 * * [simplify]: Extracting #8: cost 0 inf + 595514
1553862982.665 * [simplify]: Simplified to (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))) b)
1553862982.665 * [simplify]: Simplified (2 1) to (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))) b) (*.p16 a (real->posit16 2))))
1553862982.666 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) (*.p16 b b)) (*.p16 a (*.p16 (real->posit16 2) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b)))))>
1553862982.666 * [simplify]: Simplifying (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) (*.p16 b b))
1553862982.666 * * [simplify]: iters left: 6 (12 enodes)
1553862982.672 * * [simplify]: iters left: 5 (39 enodes)
1553862982.687 * * [simplify]: iters left: 4 (111 enodes)
1553862982.742 * * [simplify]: iters left: 3 (424 enodes)
1553862983.152 * * [simplify]: Extracting #0: cost 1 inf + 0
1553862983.152 * * [simplify]: Extracting #1: cost 47 inf + 0
1553862983.153 * * [simplify]: Extracting #2: cost 231 inf + 0
1553862983.155 * * [simplify]: Extracting #3: cost 400 inf + 3615
1553862983.170 * * [simplify]: Extracting #4: cost 466 inf + 182833
1553862983.242 * * [simplify]: Extracting #5: cost 208 inf + 789169
1553862983.354 * * [simplify]: Extracting #6: cost 3 inf + 1219441
1553862983.473 * * [simplify]: Extracting #7: cost 0 inf + 1225733
1553862983.593 * [simplify]: Simplified to (-.p16 (real->posit16 0.0) (*.p16 (*.p16 (real->posit16 4) a) c))
1553862983.593 * [simplify]: Simplified (2 1) to (λ (a b c) (/.p16 (-.p16 (real->posit16 0.0) (*.p16 (*.p16 (real->posit16 4) a) c)) (*.p16 a (*.p16 (real->posit16 2) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b)))))
1553862983.593 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (+.p16 (*.p16 b b) (neg.p16 (*.p16 c (*.p16 a (real->posit16 4)))))) b) (real->posit16 2)) a))>
1553862983.593 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b b) (*.p16 b b)) (*.p16 (*.p16 c (*.p16 a (real->posit16 4))) (*.p16 c (*.p16 a (real->posit16 4))))) (+.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) b) (real->posit16 2)) a))>
1553862983.593 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (real->posit16 2)) a))>
1553862983.594 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (real->posit16 2)) a))>
1553862983.594 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (real->posit16 2)) a))>
1553862983.594 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (real->posit16 2)) a))>
1553862983.594 * * * [progress]: adding candidates to table
1553862984.327 * * [progress]: iteration 4 / 4
1553862984.327 * * * [progress]: picking best candidate
1553862984.607 * * * * [pick]: Picked  #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) a) (real->posit16 2)))>
1553862984.607 * * * [progress]: localizing error
1553862985.059 * * * [progress]: generating rewritten candidates
1553862985.059 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1553862985.063 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
1553862985.064 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1553862985.069 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2)
1553862985.077 * * * [progress]: generating series expansions
1553862985.077 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1553862985.078 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
1553862985.078 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1553862985.078 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2)
1553862985.078 * * * [progress]: simplifying candidates
1553862985.078 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (neg.p16 b)) a) (real->posit16 2)))>
1553862985.078 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b)) a) (real->posit16 2)))>
1553862985.078 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (*.p16 a (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b))) (real->posit16 2)))>
1553862985.078 * [simplify]: Simplifying (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b))
1553862985.078 * * [simplify]: iters left: 6 (12 enodes)
1553862985.086 * * [simplify]: iters left: 5 (39 enodes)
1553862985.102 * * [simplify]: iters left: 4 (111 enodes)
1553862985.165 * * [simplify]: iters left: 3 (427 enodes)
1553862985.442 * * [simplify]: Extracting #0: cost 1 inf + 0
1553862985.442 * * [simplify]: Extracting #1: cost 47 inf + 0
1553862985.443 * * [simplify]: Extracting #2: cost 231 inf + 0
1553862985.445 * * [simplify]: Extracting #3: cost 400 inf + 3216
1553862985.467 * * [simplify]: Extracting #4: cost 473 inf + 191470
1553862985.520 * * [simplify]: Extracting #5: cost 180 inf + 866467
1553862985.576 * * [simplify]: Extracting #6: cost 4 inf + 1232579
1553862985.680 * * [simplify]: Extracting #7: cost 0 inf + 1241757
1553862985.784 * [simplify]: Simplified to (-.p16 (real->posit16 0.0) (*.p16 (*.p16 a c) (real->posit16 4)))
1553862985.784 * [simplify]: Simplified (2 1 1) to (λ (a b c) (/.p16 (/.p16 (-.p16 (real->posit16 0.0) (*.p16 (*.p16 a c) (real->posit16 4))) (*.p16 a (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b))) (real->posit16 2)))
1553862985.784 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) a) (real->posit16 2)))>
1553862985.784 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 a (*.p16 c (real->posit16 4))))) b) a) (real->posit16 2)))>
1553862985.784 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 c a)))) b) a) (real->posit16 2)))>
1553862985.784 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) a) (real->posit16 2)))>
1553862985.785 * [simplify]: Simplifying (real->posit16 2)
1553862985.785 * * [simplify]: iters left: 1 (2 enodes)
1553862985.786 * * [simplify]: Extracting #0: cost 1 inf + 0
1553862985.786 * * [simplify]: Extracting #1: cost 2 inf + 0
1553862985.786 * * [simplify]: Extracting #2: cost 1 inf + 1
1553862985.786 * * [simplify]: Extracting #3: cost 0 inf + 2
1553862985.786 * [simplify]: Simplified to (real->posit16 2)
1553862985.786 * [simplify]: Simplified (2 2) to (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) a) (real->posit16 2)))
1553862985.786 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) a) (real->posit16 2)))>
1553862985.786 * [simplify]: Simplifying (real->posit16 2)
1553862985.786 * * [simplify]: iters left: 1 (2 enodes)
1553862985.787 * * [simplify]: Extracting #0: cost 1 inf + 0
1553862985.787 * * [simplify]: Extracting #1: cost 2 inf + 0
1553862985.787 * * [simplify]: Extracting #2: cost 1 inf + 1
1553862985.787 * * [simplify]: Extracting #3: cost 0 inf + 2
1553862985.787 * [simplify]: Simplified to (real->posit16 2)
1553862985.787 * [simplify]: Simplified (2 2) to (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) a) (real->posit16 2)))
1553862985.787 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) a) (real->posit16 2)))>
1553862985.787 * [simplify]: Simplifying (real->posit16 2)
1553862985.787 * * [simplify]: iters left: 1 (2 enodes)
1553862985.788 * * [simplify]: Extracting #0: cost 1 inf + 0
1553862985.788 * * [simplify]: Extracting #1: cost 2 inf + 0
1553862985.788 * * [simplify]: Extracting #2: cost 1 inf + 1
1553862985.788 * * [simplify]: Extracting #3: cost 0 inf + 2
1553862985.788 * [simplify]: Simplified to (real->posit16 2)
1553862985.788 * [simplify]: Simplified (2 2) to (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) a) (real->posit16 2)))
1553862985.788 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) a) (real->posit16 2)))>
1553862985.788 * [simplify]: Simplifying (real->posit16 2)
1553862985.788 * * [simplify]: iters left: 1 (2 enodes)
1553862985.789 * * [simplify]: Extracting #0: cost 1 inf + 0
1553862985.789 * * [simplify]: Extracting #1: cost 2 inf + 0
1553862985.789 * * [simplify]: Extracting #2: cost 1 inf + 1
1553862985.789 * * [simplify]: Extracting #3: cost 0 inf + 2
1553862985.789 * [simplify]: Simplified to (real->posit16 2)
1553862985.789 * [simplify]: Simplified (2 2) to (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) a) (real->posit16 2)))
1553862985.789 * * * [progress]: adding candidates to table
1553862986.347 * [progress]: [Phase 3 of 3] Extracting.
1553862986.347 * * [regime]: Finding splitpoints for: (#<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (real->posit16 2)) a))> #<alt (λ (a b c) (/.p16 (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b)) a) (real->posit16 2)))> #<alt (λ (a b c) (/.p16 (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) (*.p16 b b)) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b)) (real->posit16 2)) a))> #<alt (λ (a b c) (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (*.p16 (*.p16 (real->posit16 2) a) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b))))> #<alt (λ (a b c) (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) (*.p16 b b)) (*.p16 a (*.p16 (real->posit16 2) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b)))))> #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b b) (*.p16 b b)) (*.p16 (*.p16 c (*.p16 a (real->posit16 4))) (*.p16 c (*.p16 a (real->posit16 4))))) (+.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) b) (*.p16 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b)) (*.p16 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) a) (real->posit16 2)))> #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (*.p16 a (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b))) (real->posit16 2)))>)
1553862986.351 * * * [regime-changes]: Trying 3 branch expressions: (c a b)
1553862986.352 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (real->posit16 2)) a))> #<alt (λ (a b c) (/.p16 (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b)) a) (real->posit16 2)))> #<alt (λ (a b c) (/.p16 (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) (*.p16 b b)) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b)) (real->posit16 2)) a))> #<alt (λ (a b c) (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (*.p16 (*.p16 (real->posit16 2) a) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b))))> #<alt (λ (a b c) (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) (*.p16 b b)) (*.p16 a (*.p16 (real->posit16 2) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b)))))> #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b b) (*.p16 b b)) (*.p16 (*.p16 c (*.p16 a (real->posit16 4))) (*.p16 c (*.p16 a (real->posit16 4))))) (+.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) b) (*.p16 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b)) (*.p16 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) a) (real->posit16 2)))> #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (*.p16 a (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b))) (real->posit16 2)))>)
1553862986.987 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (real->posit16 2)) a))> #<alt (λ (a b c) (/.p16 (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b)) a) (real->posit16 2)))> #<alt (λ (a b c) (/.p16 (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) (*.p16 b b)) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b)) (real->posit16 2)) a))> #<alt (λ (a b c) (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (*.p16 (*.p16 (real->posit16 2) a) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b))))> #<alt (λ (a b c) (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) (*.p16 b b)) (*.p16 a (*.p16 (real->posit16 2) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b)))))> #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b b) (*.p16 b b)) (*.p16 (*.p16 c (*.p16 a (real->posit16 4))) (*.p16 c (*.p16 a (real->posit16 4))))) (+.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) b) (*.p16 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b)) (*.p16 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) a) (real->posit16 2)))> #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (*.p16 a (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b))) (real->posit16 2)))>)
1553862987.663 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (real->posit16 2)) a))> #<alt (λ (a b c) (/.p16 (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b)) a) (real->posit16 2)))> #<alt (λ (a b c) (/.p16 (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) (*.p16 b b)) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b)) (real->posit16 2)) a))> #<alt (λ (a b c) (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (*.p16 (*.p16 (real->posit16 2) a) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b))))> #<alt (λ (a b c) (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) (*.p16 b b)) (*.p16 a (*.p16 (real->posit16 2) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b)))))> #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b b) (*.p16 b b)) (*.p16 (*.p16 c (*.p16 a (real->posit16 4))) (*.p16 c (*.p16 a (real->posit16 4))))) (+.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) b) (*.p16 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b)) (*.p16 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) a) (real->posit16 2)))> #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (*.p16 a (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b))) (real->posit16 2)))>)
1553862988.280 * * * [regime]: Found split indices: #<option (#s(si 7 256))>
1553862988.280 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 (real->posit16 2) a))
1553862988.281 * * [simplify]: iters left: 6 (15 enodes)
1553862988.284 * * [simplify]: Extracting #0: cost 1 inf + 0
1553862988.284 * * [simplify]: Extracting #1: cost 3 inf + 0
1553862988.284 * * [simplify]: Extracting #2: cost 7 inf + 0
1553862988.284 * * [simplify]: Extracting #3: cost 7 inf + 2
1553862988.284 * * [simplify]: Extracting #4: cost 6 inf + 326
1553862988.284 * * [simplify]: Extracting #5: cost 7 inf + 647
1553862988.284 * * [simplify]: Extracting #6: cost 7 inf + 648
1553862988.284 * * [simplify]: Extracting #7: cost 8 inf + 648
1553862988.284 * * [simplify]: Extracting #8: cost 6 inf + 650
1553862988.285 * * [simplify]: Extracting #9: cost 4 inf + 1615
1553862988.285 * * [simplify]: Extracting #10: cost 2 inf + 3743
1553862988.285 * * [simplify]: Extracting #11: cost 0 inf + 6832
1553862988.285 * [simplify]: Simplified to (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 (real->posit16 2) a))
1553862988.286 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1553862988.344 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1553862988.346 * * * * [points]: Setting MPFR precision to 64
1553862988.348 * * * * [points]: Setting MPFR precision to 320
1553862988.349 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1553862988.351 * * * * [points]: Setting MPFR precision to 64
1553862988.354 * * * * [points]: Setting MPFR precision to 320
1553862988.356 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1553862988.359 * * * * [points]: Setting MPFR precision to 64
1553862988.363 * * * * [points]: Setting MPFR precision to 320
1553862988.369 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1553862988.371 * * * * [points]: Setting MPFR precision to 64
1553862988.380 * * * * [points]: Setting MPFR precision to 320
1553862988.391 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1553862988.393 * * * * [points]: Setting MPFR precision to 64
1553862988.429 * * * * [points]: Setting MPFR precision to 320
1553862988.452 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1553862988.456 * * * * [points]: Setting MPFR precision to 64
1553862988.489 * * * * [points]: Setting MPFR precision to 320
1553862988.533 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1553862988.535 * * * * [points]: Setting MPFR precision to 64
1553862988.684 * * * * [points]: Setting MPFR precision to 320
1553862988.807 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1553862988.810 * * * * [points]: Setting MPFR precision to 64
1553862989.296 * * * * [points]: Setting MPFR precision to 320
1553862989.571 * * * * [points]: Computing exacts for 8000 points
1553862989.599 * * * * [points]: Setting MPFR precision to 64
1553862990.612 * * * * [points]: Setting MPFR precision to 320
1553862991.786 * * * * [points]: Filtering points with unrepresentable outputs
1553862992.482 * * * * [points]: Sampling 2299 additional inputs, on iter 1 have 5701 / 8000
1553862992.496 * * * * [points]: Computing exacts on every 143 of 2299 points to ramp up precision
1553862992.499 * * * * [points]: Setting MPFR precision to 64
1553862992.500 * * * * [points]: Setting MPFR precision to 320
1553862992.501 * * * * [points]: Computing exacts on every 71 of 2299 points to ramp up precision
1553862992.504 * * * * [points]: Setting MPFR precision to 64
1553862992.506 * * * * [points]: Setting MPFR precision to 320
1553862992.508 * * * * [points]: Computing exacts on every 35 of 2299 points to ramp up precision
1553862992.511 * * * * [points]: Setting MPFR precision to 64
1553862992.515 * * * * [points]: Setting MPFR precision to 320
1553862992.520 * * * * [points]: Computing exacts on every 17 of 2299 points to ramp up precision
1553862992.524 * * * * [points]: Setting MPFR precision to 64
1553862992.537 * * * * [points]: Setting MPFR precision to 320
1553862992.974 * * * * [points]: Computing exacts on every 8 of 2299 points to ramp up precision
1553862992.977 * * * * [points]: Setting MPFR precision to 64
1553862992.995 * * * * [points]: Setting MPFR precision to 320
1553862993.016 * * * * [points]: Computing exacts on every 4 of 2299 points to ramp up precision
1553862993.018 * * * * [points]: Setting MPFR precision to 64
1553862993.075 * * * * [points]: Setting MPFR precision to 320
1553862993.177 * * * * [points]: Computing exacts on every 2 of 2299 points to ramp up precision
1553862993.186 * * * * [points]: Setting MPFR precision to 64
1553862993.269 * * * * [points]: Setting MPFR precision to 320
1553862993.412 * * * * [points]: Computing exacts for 2299 points
1553862993.418 * * * * [points]: Setting MPFR precision to 64
1553862993.757 * * * * [points]: Setting MPFR precision to 320
1553862994.204 * * * * [points]: Filtering points with unrepresentable outputs
1553862994.476 * * * * [points]: Sampling 684 additional inputs, on iter 2 have 7316 / 8000
1553862994.481 * * * * [points]: Computing exacts on every 42 of 684 points to ramp up precision
1553862994.486 * * * * [points]: Setting MPFR precision to 64
1553862994.488 * * * * [points]: Setting MPFR precision to 320
1553862994.491 * * * * [points]: Computing exacts on every 21 of 684 points to ramp up precision
1553862994.496 * * * * [points]: Setting MPFR precision to 64
1553862994.500 * * * * [points]: Setting MPFR precision to 320
1553862994.505 * * * * [points]: Computing exacts on every 10 of 684 points to ramp up precision
1553862994.510 * * * * [points]: Setting MPFR precision to 64
1553862994.518 * * * * [points]: Setting MPFR precision to 320
1553862994.528 * * * * [points]: Computing exacts on every 5 of 684 points to ramp up precision
1553862994.533 * * * * [points]: Setting MPFR precision to 64
1553862994.547 * * * * [points]: Setting MPFR precision to 320
1553862994.566 * * * * [points]: Computing exacts on every 2 of 684 points to ramp up precision
1553862994.572 * * * * [points]: Setting MPFR precision to 64
1553862994.600 * * * * [points]: Setting MPFR precision to 320
1553862994.636 * * * * [points]: Computing exacts for 684 points
1553862994.641 * * * * [points]: Setting MPFR precision to 64
1553862994.764 * * * * [points]: Setting MPFR precision to 320
1553862994.877 * * * * [points]: Filtering points with unrepresentable outputs
1553862994.994 * * * * [points]: Sampling 186 additional inputs, on iter 3 have 7814 / 8000
1553862994.995 * * * * [points]: Computing exacts on every 11 of 186 points to ramp up precision
1553862995.000 * * * * [points]: Setting MPFR precision to 64
1553862995.002 * * * * [points]: Setting MPFR precision to 320
1553862995.004 * * * * [points]: Computing exacts on every 5 of 186 points to ramp up precision
1553862995.009 * * * * [points]: Setting MPFR precision to 64
1553862995.013 * * * * [points]: Setting MPFR precision to 320
1553862995.017 * * * * [points]: Computing exacts on every 2 of 186 points to ramp up precision
1553862995.022 * * * * [points]: Setting MPFR precision to 64
1553862995.030 * * * * [points]: Setting MPFR precision to 320
1553862995.040 * * * * [points]: Computing exacts for 186 points
1553862995.045 * * * * [points]: Setting MPFR precision to 64
1553862995.069 * * * * [points]: Setting MPFR precision to 320
1553862995.100 * * * * [points]: Filtering points with unrepresentable outputs
1553862995.121 * * * * [points]: Sampling 53 additional inputs, on iter 4 have 7947 / 8000
1553862995.122 * * * * [points]: Computing exacts on every 3 of 53 points to ramp up precision
1553862995.126 * * * * [points]: Setting MPFR precision to 64
1553862995.128 * * * * [points]: Setting MPFR precision to 320
1553862995.130 * * * * [points]: Computing exacts for 53 points
1553862995.135 * * * * [points]: Setting MPFR precision to 64
1553862995.142 * * * * [points]: Setting MPFR precision to 320
1553862995.150 * * * * [points]: Filtering points with unrepresentable outputs
1553862995.156 * * * * [points]: Sampling 19 additional inputs, on iter 5 have 7981 / 8000
1553862995.156 * * * * [points]: Computing exacts for 19 points
1553862995.161 * * * * [points]: Setting MPFR precision to 64
1553862995.164 * * * * [points]: Setting MPFR precision to 320
1553862995.167 * * * * [points]: Filtering points with unrepresentable outputs
1553862995.169 * * * * [points]: Sampling 8 additional inputs, on iter 6 have 7992 / 8000
1553862995.169 * * * * [points]: Computing exacts for 8 points
1553862995.173 * * * * [points]: Setting MPFR precision to 64
1553862995.204 * * * * [points]: Setting MPFR precision to 320
1553862995.206 * * * * [points]: Filtering points with unrepresentable outputs
1553862995.207 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 7998 / 8000
1553862995.207 * * * * [points]: Computing exacts for 4 points
1553862995.212 * * * * [points]: Setting MPFR precision to 64
1553862995.212 * * * * [points]: Setting MPFR precision to 320
1553862995.215 * * * * [points]: Filtering points with unrepresentable outputs
1553862995.216 * * * * [points]: Sampled 8000 points with exact outputs
1553863003.447 * [regime-testing]: Baseline error score: 64.0
1553863003.449 * [regime-testing]: Oracle error score: 64.0
1553863003.457 * [regime-testing]: End program error score: 2.2027871599893896