1536754794.990 * [misc]progress:  [Phase 1 of 3] Setting up.
1536754794.990 * * * [misc]progress:  [1/2] Preparing points
1536754794.990 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1536754794.993 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1536754794.995 * * * * [misc]points:  Setting MPFR precision to 64
1536754794.996 * * * * [misc]points:  Setting MPFR precision to 320
1536754794.996 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1536754794.998 * * * * [misc]points:  Setting MPFR precision to 64
1536754794.999 * * * * [misc]points:  Setting MPFR precision to 320
1536754795.000 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1536754795.002 * * * * [misc]points:  Setting MPFR precision to 64
1536754795.004 * * * * [misc]points:  Setting MPFR precision to 320
1536754795.006 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1536754795.008 * * * * [misc]points:  Setting MPFR precision to 64
1536754795.016 * * * * [misc]points:  Setting MPFR precision to 320
1536754795.019 * * * * [misc]points:  Computing exacts for 256 points
1536754795.021 * * * * [misc]points:  Setting MPFR precision to 64
1536754795.031 * * * * [misc]points:  Setting MPFR precision to 320
1536754795.041 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754795.042 * * * * [exit]points:  Sampled 256 points with exact outputs
1536754795.042 * * * [misc]progress:  [2/2] Setting up program.
1536754795.047 * [misc]progress:  [Phase 2 of 3] Improving.
1536754795.048 * [enter]simplify:  Simplifying (/ (fabs (- a b)) 2)
1536754795.049 * * [misc]simplify:  iters left: 5 (6 enodes)
1536754795.051 * * [misc]simplify:  iters left: 4 (8 enodes)
1536754795.053 * * [misc]simplify:  iters left: 3 (9 enodes)
1536754795.056 * [exit]simplify:  Simplified to (/ (fabs (- a b)) 2)
1536754795.069 * * [misc]progress:  iteration 1 / 4
1536754795.069 * * * [misc]progress:  picking best candidate
1536754795.075 * * * * [misc]pick:  Picked  #<alt (λ (a b) (/ (fabs (- a b)) 2))>
1536754795.075 * * * [misc]progress:  localizing error
1536754795.095 * * * [misc]progress:  generating rewritten candidates
1536754795.095 * * * [misc]progress:  generating series expansions
1536754795.095 * * * [misc]progress:  simplifying candidates
1536754795.095 * * * [misc]progress:  adding candidates to table
1536754795.095 * [misc]progress:  [Phase 3 of 3] Extracting.
1536754795.101 * [enter]simplify:  Simplifying (/ (fabs (- a b)) 2)
1536754795.102 * * [misc]simplify:  iters left: 5 (6 enodes)
1536754795.103 * [exit]simplify:  Simplified to (/ (fabs (- a b)) 2)
1536754795.103 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1536754795.164 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1536754795.165 * * * * [misc]points:  Setting MPFR precision to 64
1536754795.165 * * * * [misc]points:  Setting MPFR precision to 320
1536754795.166 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1536754795.167 * * * * [misc]points:  Setting MPFR precision to 64
1536754795.168 * * * * [misc]points:  Setting MPFR precision to 320
1536754795.168 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1536754795.169 * * * * [misc]points:  Setting MPFR precision to 64
1536754795.171 * * * * [misc]points:  Setting MPFR precision to 320
1536754795.172 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1536754795.173 * * * * [misc]points:  Setting MPFR precision to 64
1536754795.175 * * * * [misc]points:  Setting MPFR precision to 320
1536754795.178 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1536754795.179 * * * * [misc]points:  Setting MPFR precision to 64
1536754795.188 * * * * [misc]points:  Setting MPFR precision to 320
1536754795.198 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1536754795.200 * * * * [misc]points:  Setting MPFR precision to 64
1536754795.220 * * * * [misc]points:  Setting MPFR precision to 320
1536754795.240 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1536754795.242 * * * * [misc]points:  Setting MPFR precision to 64
1536754795.313 * * * * [misc]points:  Setting MPFR precision to 320
1536754795.352 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1536754795.354 * * * * [misc]points:  Setting MPFR precision to 64
1536754795.407 * * * * [misc]points:  Setting MPFR precision to 320
1536754795.525 * * * * [misc]points:  Computing exacts for 8000 points
1536754795.527 * * * * [misc]points:  Setting MPFR precision to 64
1536754795.800 * * * * [misc]points:  Setting MPFR precision to 320
1536754796.464 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754796.469 * * * * [exit]points:  Sampled 8000 points with exact outputs