1538432596.578 * [misc]progress:  [Phase 1 of 3] Setting up.
1538432596.578 * * * [misc]progress:  [1/2] Preparing points
1538432596.579 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1538432596.581 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1538432596.583 * * * * [misc]points:  Setting MPFR precision to 64
1538432596.584 * * * * [misc]points:  Setting MPFR precision to 320
1538432596.586 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1538432596.587 * * * * [misc]points:  Setting MPFR precision to 64
1538432596.589 * * * * [misc]points:  Setting MPFR precision to 320
1538432596.590 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1538432596.592 * * * * [misc]points:  Setting MPFR precision to 64
1538432596.594 * * * * [misc]points:  Setting MPFR precision to 320
1538432596.596 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1538432596.597 * * * * [misc]points:  Setting MPFR precision to 64
1538432596.601 * * * * [misc]points:  Setting MPFR precision to 320
1538432596.605 * * * * [misc]points:  Computing exacts for 256 points
1538432596.606 * * * * [misc]points:  Setting MPFR precision to 64
1538432596.617 * * * * [misc]points:  Setting MPFR precision to 320
1538432596.628 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432596.628 * * * * [exit]points:  Sampled 256 points with exact outputs
1538432596.628 * * * [misc]progress:  [2/2] Setting up program.
1538432596.635 * [misc]progress:  [Phase 2 of 3] Improving.
1538432596.635 * [enter]simplify:  Simplifying (/ (fabs (- a b)) 2)
1538432596.636 * * [misc]simplify:  iters left: 5 (6 enodes)
1538432596.638 * * [misc]simplify:  iters left: 4 (8 enodes)
1538432596.641 * * [misc]simplify:  iters left: 3 (9 enodes)
1538432596.645 * [exit]simplify:  Simplified to (/ (fabs (- a b)) 2)
1538432596.659 * * [misc]progress:  iteration 1 / 4
1538432596.659 * * * [misc]progress:  picking best candidate
1538432596.665 * * * * [misc]pick:  Picked  #<alt (λ (a b) (/ (fabs (- a b)) 2))>
1538432596.665 * * * [misc]progress:  localizing error
1538432596.699 * * * [misc]progress:  generating rewritten candidates
1538432596.699 * * * [misc]progress:  generating series expansions
1538432596.699 * * * [misc]progress:  simplifying candidates
1538432596.699 * * * [misc]progress:  adding candidates to table
1538432596.699 * [misc]progress:  [Phase 3 of 3] Extracting.
1538432596.706 * [enter]simplify:  Simplifying (/ (fabs (- a b)) 2)
1538432596.707 * * [misc]simplify:  iters left: 5 (6 enodes)
1538432596.707 * [exit]simplify:  Simplified to (/ (fabs (- a b)) 2)
1538432596.708 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1538432596.785 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1538432596.786 * * * * [misc]points:  Setting MPFR precision to 64
1538432596.787 * * * * [misc]points:  Setting MPFR precision to 320
1538432596.788 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1538432596.790 * * * * [misc]points:  Setting MPFR precision to 64
1538432596.791 * * * * [misc]points:  Setting MPFR precision to 320
1538432596.793 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1538432596.794 * * * * [misc]points:  Setting MPFR precision to 64
1538432596.797 * * * * [misc]points:  Setting MPFR precision to 320
1538432596.800 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1538432596.802 * * * * [misc]points:  Setting MPFR precision to 64
1538432596.808 * * * * [misc]points:  Setting MPFR precision to 320
1538432596.813 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1538432596.815 * * * * [misc]points:  Setting MPFR precision to 64
1538432596.826 * * * * [misc]points:  Setting MPFR precision to 320
1538432596.836 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1538432596.838 * * * * [misc]points:  Setting MPFR precision to 64
1538432596.849 * * * * [misc]points:  Setting MPFR precision to 320
1538432596.859 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1538432596.860 * * * * [misc]points:  Setting MPFR precision to 64
1538432596.882 * * * * [misc]points:  Setting MPFR precision to 320
1538432596.902 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1538432596.904 * * * * [misc]points:  Setting MPFR precision to 64
1538432597.029 * * * * [misc]points:  Setting MPFR precision to 320
1538432597.112 * * * * [misc]points:  Computing exacts for 8000 points
1538432597.114 * * * * [misc]points:  Setting MPFR precision to 64
1538432597.502 * * * * [misc]points:  Setting MPFR precision to 320
1538432597.919 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432597.921 * * * * [exit]points:  Sampled 8000 points with exact outputs