1550699077.414 * [misc]progress:  [Phase 1 of 3] Setting up.
1550699077.414 * * * [misc]progress:  [1/2] Preparing points
1550699077.415 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1550699077.415 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1550699077.419 * * * * [misc]points:  Setting MPFR precision to 64
1550699077.420 * * * * [misc]points:  Setting MPFR precision to 320
1550699077.422 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1550699077.427 * * * * [misc]points:  Setting MPFR precision to 64
1550699077.430 * * * * [misc]points:  Setting MPFR precision to 320
1550699077.433 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1550699077.438 * * * * [misc]points:  Setting MPFR precision to 64
1550699077.443 * * * * [misc]points:  Setting MPFR precision to 320
1550699077.449 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1550699077.454 * * * * [misc]points:  Setting MPFR precision to 64
1550699077.462 * * * * [misc]points:  Setting MPFR precision to 320
1550699077.473 * * * * [misc]points:  Computing exacts for 256 points
1550699077.478 * * * * [misc]points:  Setting MPFR precision to 64
1550699077.501 * * * * [misc]points:  Setting MPFR precision to 320
1550699077.536 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699077.552 * * * * [exit]points:  Sampled 256 points with exact outputs
1550699077.552 * * * [misc]progress:  [2/2] Setting up program.
1550699077.594 * [misc]progress:  [Phase 2 of 3] Improving.
1550699077.594 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
1550699077.594 * [enter]simplify:  Simplifying (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
1550699077.594 * * [misc]simplify:  iters left: 5 (12 enodes)
1550699077.621 * * [misc]simplify:  iters left: 4 (35 enodes)
1550699077.636 * * [misc]simplify:  iters left: 3 (83 enodes)
1550699077.667 * * [misc]simplify:  iters left: 2 (233 enodes)
1550699077.802 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699077.803 * * [misc]simplify:  Extracting #1: cost 29 inf + 0
1550699077.803 * * [misc]simplify:  Extracting #2: cost 123 inf + 0
1550699077.804 * * [misc]simplify:  Extracting #3: cost 244 inf + 1
1550699077.808 * * [misc]simplify:  Extracting #4: cost 308 inf + 32857
1550699077.831 * * [misc]simplify:  Extracting #5: cost 149 inf + 308686
1550699077.874 * * [misc]simplify:  Extracting #6: cost 4 inf + 549893
1550699077.909 * * [misc]simplify:  Extracting #7: cost 0 inf + 561504
1550699077.947 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x)))
1550699077.947 * [misc]simplify:  Simplified (2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x))))
1550699077.991 * * [misc]progress:  iteration 1 / 4
1550699077.991 * * * [misc]progress:  picking best candidate
1550699078.033 * * * * [misc]pick:  Picked  #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
1550699078.033 * * * [misc]progress:  localizing error
1550699078.365 * * * [misc]progress:  generating rewritten candidates
1550699078.365 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550699078.378 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1550699078.381 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1)
1550699078.383 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2)
1550699078.384 * * * [misc]progress:  generating series expansions
1550699078.384 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550699078.384 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1550699078.384 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1)
1550699078.384 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2)
1550699078.384 * * * [misc]progress:  simplifying candidates
1550699078.384 * * * * [misc]progress:  [ 1 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))>
1550699078.384 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550699078.384 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699078.386 * * [misc]simplify:  iters left: 2 (11 enodes)
1550699078.388 * * [misc]simplify:  iters left: 1 (13 enodes)
1550699078.390 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699078.390 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699078.390 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699078.390 * * [misc]simplify:  Extracting #3: cost 3 inf + 2
1550699078.390 * * [misc]simplify:  Extracting #4: cost 0 inf + 527
1550699078.390 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550699078.390 * [misc]simplify:  Simplified (2 1) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))
1550699078.391 * * * * [misc]progress:  [ 2 / 10 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))>
1550699078.391 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550699078.391 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699078.392 * * [misc]simplify:  iters left: 2 (11 enodes)
1550699078.394 * * [misc]simplify:  iters left: 1 (13 enodes)
1550699078.397 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699078.397 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699078.397 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699078.397 * * [misc]simplify:  Extracting #3: cost 3 inf + 2
1550699078.397 * * [misc]simplify:  Extracting #4: cost 0 inf + 527
1550699078.397 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550699078.397 * [misc]simplify:  Simplified (2 1) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))
1550699078.397 * * * * [misc]progress:  [ 3 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))>
1550699078.397 * * * * [misc]progress:  [ 4 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 2) x))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
1550699078.397 * * * * [misc]progress:  [ 5 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
1550699078.397 * * * * [misc]progress:  [ 6 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))>
1550699078.397 * [enter]simplify:  Simplifying (+.p16 x (real->posit16 1))
1550699078.397 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699078.399 * * [misc]simplify:  iters left: 1 (10 enodes)
1550699078.401 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699078.401 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699078.401 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699078.401 * * [misc]simplify:  Extracting #3: cost 0 inf + 45
1550699078.401 * [exit]simplify:  Simplified to (+.p16 (real->posit16 1) x)
1550699078.401 * [misc]simplify:  Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (real->posit16 1) x))))
1550699078.401 * * * * [misc]progress:  [ 7 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
1550699078.401 * [enter]simplify:  Simplifying (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
1550699078.401 * * [misc]simplify:  iters left: 5 (12 enodes)
1550699078.411 * * [misc]simplify:  iters left: 4 (35 enodes)
1550699078.417 * * [misc]simplify:  iters left: 3 (83 enodes)
1550699078.434 * * [misc]simplify:  iters left: 2 (233 enodes)
1550699078.529 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699078.530 * * [misc]simplify:  Extracting #1: cost 29 inf + 0
1550699078.530 * * [misc]simplify:  Extracting #2: cost 123 inf + 0
1550699078.531 * * [misc]simplify:  Extracting #3: cost 244 inf + 1
1550699078.536 * * [misc]simplify:  Extracting #4: cost 308 inf + 32857
1550699078.555 * * [misc]simplify:  Extracting #5: cost 149 inf + 308686
1550699078.577 * * [misc]simplify:  Extracting #6: cost 4 inf + 549893
1550699078.612 * * [misc]simplify:  Extracting #7: cost 0 inf + 561504
1550699078.660 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x)))
1550699078.660 * [misc]simplify:  Simplified (2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x))))
1550699078.660 * * * * [misc]progress:  [ 8 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
1550699078.661 * [enter]simplify:  Simplifying (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
1550699078.661 * * [misc]simplify:  iters left: 5 (12 enodes)
1550699078.667 * * [misc]simplify:  iters left: 4 (35 enodes)
1550699078.679 * * [misc]simplify:  iters left: 3 (83 enodes)
1550699078.713 * * [misc]simplify:  iters left: 2 (233 enodes)
1550699078.847 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699078.847 * * [misc]simplify:  Extracting #1: cost 29 inf + 0
1550699078.848 * * [misc]simplify:  Extracting #2: cost 123 inf + 0
1550699078.849 * * [misc]simplify:  Extracting #3: cost 244 inf + 1
1550699078.853 * * [misc]simplify:  Extracting #4: cost 308 inf + 32857
1550699078.876 * * [misc]simplify:  Extracting #5: cost 149 inf + 308686
1550699078.920 * * [misc]simplify:  Extracting #6: cost 4 inf + 549893
1550699078.950 * * [misc]simplify:  Extracting #7: cost 0 inf + 561504
1550699078.993 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x)))
1550699078.994 * [misc]simplify:  Simplified (2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x))))
1550699078.994 * * * * [misc]progress:  [ 9 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
1550699078.994 * [enter]simplify:  Simplifying (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
1550699078.994 * * [misc]simplify:  iters left: 5 (12 enodes)
1550699079.001 * * [misc]simplify:  iters left: 4 (35 enodes)
1550699079.013 * * [misc]simplify:  iters left: 3 (83 enodes)
1550699079.035 * * [misc]simplify:  iters left: 2 (233 enodes)
1550699079.122 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699079.122 * * [misc]simplify:  Extracting #1: cost 29 inf + 0
1550699079.122 * * [misc]simplify:  Extracting #2: cost 123 inf + 0
1550699079.123 * * [misc]simplify:  Extracting #3: cost 244 inf + 1
1550699079.125 * * [misc]simplify:  Extracting #4: cost 308 inf + 32857
1550699079.144 * * [misc]simplify:  Extracting #5: cost 149 inf + 308686
1550699079.187 * * [misc]simplify:  Extracting #6: cost 4 inf + 549893
1550699079.236 * * [misc]simplify:  Extracting #7: cost 0 inf + 561504
1550699079.286 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x)))
1550699079.286 * [misc]simplify:  Simplified (2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x))))
1550699079.286 * * * * [misc]progress:  [ 10 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
1550699079.286 * [enter]simplify:  Simplifying (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
1550699079.286 * * [misc]simplify:  iters left: 5 (12 enodes)
1550699079.292 * * [misc]simplify:  iters left: 4 (35 enodes)
1550699079.305 * * [misc]simplify:  iters left: 3 (83 enodes)
1550699079.336 * * [misc]simplify:  iters left: 2 (233 enodes)
1550699079.470 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699079.471 * * [misc]simplify:  Extracting #1: cost 29 inf + 0
1550699079.471 * * [misc]simplify:  Extracting #2: cost 123 inf + 0
1550699079.472 * * [misc]simplify:  Extracting #3: cost 244 inf + 1
1550699079.476 * * [misc]simplify:  Extracting #4: cost 308 inf + 32857
1550699079.499 * * [misc]simplify:  Extracting #5: cost 149 inf + 308686
1550699079.542 * * [misc]simplify:  Extracting #6: cost 4 inf + 549893
1550699079.594 * * [misc]simplify:  Extracting #7: cost 0 inf + 561504
1550699079.643 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x)))
1550699079.643 * [misc]simplify:  Simplified (2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x))))
1550699079.643 * * * [misc]progress:  adding candidates to table
1550699080.370 * * [misc]progress:  iteration 2 / 4
1550699080.370 * * * [misc]progress:  picking best candidate
1550699080.499 * * * * [misc]pick:  Picked  #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))>
1550699080.499 * * * [misc]progress:  localizing error
1550699080.651 * * * [misc]progress:  generating rewritten candidates
1550699080.651 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550699080.663 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2)
1550699080.669 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1)
1550699080.672 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 2)
1550699080.674 * * * [misc]progress:  generating series expansions
1550699080.674 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550699080.674 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2)
1550699080.674 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1)
1550699080.674 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 2)
1550699080.674 * * * [misc]progress:  simplifying candidates
1550699080.674 * * * * [misc]progress:  [ 1 / 8 ] simplifiying candidate #<alt (λ (x) (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 2) x))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
1550699080.675 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))
1550699080.675 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699080.678 * * [misc]simplify:  iters left: 2 (17 enodes)
1550699080.684 * * [misc]simplify:  iters left: 1 (31 enodes)
1550699080.708 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699080.708 * * [misc]simplify:  Extracting #1: cost 11 inf + 0
1550699080.708 * * [misc]simplify:  Extracting #2: cost 28 inf + 0
1550699080.708 * * [misc]simplify:  Extracting #3: cost 29 inf + 324
1550699080.709 * * [misc]simplify:  Extracting #4: cost 22 inf + 6266
1550699080.710 * * [misc]simplify:  Extracting #5: cost 3 inf + 23256
1550699080.712 * * [misc]simplify:  Extracting #6: cost 0 inf + 26382
1550699080.714 * * [misc]simplify:  Extracting #7: cost 0 inf + 25822
1550699080.715 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))
1550699080.715 * [misc]simplify:  Simplified (2 2) to (λ (x) (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 2) x))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))
1550699080.716 * * * * [misc]progress:  [ 2 / 8 ] simplifiying candidate #<alt (λ (x) (+.p16 (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))))>
1550699080.716 * * * * [misc]progress:  [ 3 / 8 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 2) x)))))>
1550699080.716 * * * * [misc]progress:  [ 4 / 8 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))))))>
1550699080.716 * [enter]simplify:  Simplifying (+.p16 x (real->posit16 1))
1550699080.716 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699080.718 * * [misc]simplify:  iters left: 1 (10 enodes)
1550699080.721 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699080.721 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699080.721 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699080.721 * * [misc]simplify:  Extracting #3: cost 0 inf + 45
1550699080.721 * [exit]simplify:  Simplified to (+.p16 (real->posit16 1) x)
1550699080.721 * [misc]simplify:  Simplified (2 2 2 2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (real->posit16 1) x)))))
1550699080.722 * * * * [misc]progress:  [ 5 / 8 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))>
1550699080.722 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550699080.722 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699080.724 * * [misc]simplify:  iters left: 2 (11 enodes)
1550699080.727 * * [misc]simplify:  iters left: 1 (13 enodes)
1550699080.730 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699080.730 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699080.730 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699080.730 * * [misc]simplify:  Extracting #3: cost 3 inf + 2
1550699080.730 * * [misc]simplify:  Extracting #4: cost 0 inf + 527
1550699080.730 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550699080.731 * [misc]simplify:  Simplified (2 1) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))
1550699080.731 * * * * [misc]progress:  [ 6 / 8 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))>
1550699080.731 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550699080.731 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699080.732 * * [misc]simplify:  iters left: 2 (11 enodes)
1550699080.734 * * [misc]simplify:  iters left: 1 (13 enodes)
1550699080.736 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699080.736 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699080.736 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699080.736 * * [misc]simplify:  Extracting #3: cost 3 inf + 2
1550699080.736 * * [misc]simplify:  Extracting #4: cost 0 inf + 527
1550699080.736 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550699080.736 * [misc]simplify:  Simplified (2 1) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))
1550699080.736 * * * * [misc]progress:  [ 7 / 8 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))>
1550699080.736 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550699080.736 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699080.738 * * [misc]simplify:  iters left: 2 (11 enodes)
1550699080.740 * * [misc]simplify:  iters left: 1 (13 enodes)
1550699080.742 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699080.742 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699080.742 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699080.742 * * [misc]simplify:  Extracting #3: cost 3 inf + 2
1550699080.742 * * [misc]simplify:  Extracting #4: cost 0 inf + 527
1550699080.742 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550699080.742 * [misc]simplify:  Simplified (2 1) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))
1550699080.742 * * * * [misc]progress:  [ 8 / 8 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))>
1550699080.742 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550699080.742 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699080.744 * * [misc]simplify:  iters left: 2 (11 enodes)
1550699080.745 * * [misc]simplify:  iters left: 1 (13 enodes)
1550699080.747 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699080.747 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699080.748 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699080.748 * * [misc]simplify:  Extracting #3: cost 3 inf + 2
1550699080.748 * * [misc]simplify:  Extracting #4: cost 0 inf + 527
1550699080.748 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550699080.748 * [misc]simplify:  Simplified (2 1) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))
1550699080.748 * * * [misc]progress:  adding candidates to table
1550699081.260 * * [misc]progress:  iteration 3 / 4
1550699081.261 * * * [misc]progress:  picking best candidate
1550699081.395 * * * * [misc]pick:  Picked  #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))))))>
1550699081.395 * * * [misc]progress:  localizing error
1550699081.785 * * * [misc]progress:  generating rewritten candidates
1550699081.785 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550699081.798 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 2)
1550699081.803 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2)
1550699081.810 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 2 1)
1550699081.813 * * * [misc]progress:  generating series expansions
1550699081.813 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550699081.813 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 2)
1550699081.813 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2)
1550699081.813 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 2 1)
1550699081.813 * * * [misc]progress:  simplifying candidates
1550699081.813 * * * * [misc]progress:  [ 1 / 16 ] simplifiying candidate #<alt (λ (x) (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 2) x))) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))>
1550699081.814 * [enter]simplify:  Simplifying (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))
1550699081.814 * * [misc]simplify:  iters left: 5 (9 enodes)
1550699081.818 * * [misc]simplify:  iters left: 4 (33 enodes)
1550699081.832 * * [misc]simplify:  iters left: 3 (81 enodes)
1550699081.865 * * [misc]simplify:  iters left: 2 (255 enodes)
1550699082.139 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699082.140 * * [misc]simplify:  Extracting #1: cost 76 inf + 0
1550699082.142 * * [misc]simplify:  Extracting #2: cost 386 inf + 0
1550699082.151 * * [misc]simplify:  Extracting #3: cost 371 inf + 122121
1550699082.195 * * [misc]simplify:  Extracting #4: cost 71 inf + 664259
1550699082.258 * * [misc]simplify:  Extracting #5: cost 3 inf + 773980
1550699082.305 * * [misc]simplify:  Extracting #6: cost 0 inf + 775183
1550699082.338 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))
1550699082.338 * [misc]simplify:  Simplified (2 2) to (λ (x) (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 2) x))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))
1550699082.338 * * * * [misc]progress:  [ 2 / 16 ] simplifiying candidate #<alt (λ (x) (+.p16 (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))))>
1550699082.338 * * * * [misc]progress:  [ 3 / 16 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) x) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1))))))>
1550699082.338 * [enter]simplify:  Simplifying (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1))
1550699082.339 * * [misc]simplify:  iters left: 5 (8 enodes)
1550699082.341 * * [misc]simplify:  iters left: 4 (25 enodes)
1550699082.346 * * [misc]simplify:  iters left: 3 (62 enodes)
1550699082.359 * * [misc]simplify:  iters left: 2 (193 enodes)
1550699082.438 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699082.439 * * [misc]simplify:  Extracting #1: cost 65 inf + 0
1550699082.439 * * [misc]simplify:  Extracting #2: cost 241 inf + 0
1550699082.442 * * [misc]simplify:  Extracting #3: cost 260 inf + 43096
1550699082.462 * * [misc]simplify:  Extracting #4: cost 122 inf + 266467
1550699082.500 * * [misc]simplify:  Extracting #5: cost 18 inf + 464771
1550699082.544 * * [misc]simplify:  Extracting #6: cost 0 inf + 502437
1550699082.586 * * [misc]simplify:  Extracting #7: cost 0 inf + 501277
1550699082.629 * [exit]simplify:  Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))
1550699082.629 * [misc]simplify:  Simplified (2 2 2 2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))))
1550699082.629 * * * * [misc]progress:  [ 4 / 16 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))))>
1550699082.629 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))
1550699082.629 * * [misc]simplify:  iters left: 5 (8 enodes)
1550699082.632 * * [misc]simplify:  iters left: 4 (25 enodes)
1550699082.636 * * [misc]simplify:  iters left: 3 (62 enodes)
1550699082.649 * * [misc]simplify:  iters left: 2 (193 enodes)
1550699082.747 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699082.747 * * [misc]simplify:  Extracting #1: cost 65 inf + 0
1550699082.748 * * [misc]simplify:  Extracting #2: cost 241 inf + 0
1550699082.750 * * [misc]simplify:  Extracting #3: cost 260 inf + 43096
1550699082.759 * * [misc]simplify:  Extracting #4: cost 122 inf + 266467
1550699082.781 * * [misc]simplify:  Extracting #5: cost 18 inf + 464771
1550699082.804 * * [misc]simplify:  Extracting #6: cost 0 inf + 502437
1550699082.833 * * [misc]simplify:  Extracting #7: cost 0 inf + 501277
1550699082.856 * [exit]simplify:  Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))
1550699082.856 * [misc]simplify:  Simplified (2 2 2 2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))))
1550699082.856 * * * * [misc]progress:  [ 5 / 16 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (*.p16 (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) (+.p16 x (real->posit16 1)))))))>
1550699082.856 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1)))))
1550699082.856 * * [misc]simplify:  iters left: 5 (9 enodes)
1550699082.859 * * [misc]simplify:  iters left: 4 (32 enodes)
1550699082.865 * * [misc]simplify:  iters left: 3 (76 enodes)
1550699082.883 * * [misc]simplify:  iters left: 2 (239 enodes)
1550699083.015 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699083.016 * * [misc]simplify:  Extracting #1: cost 46 inf + 0
1550699083.017 * * [misc]simplify:  Extracting #2: cost 215 inf + 0
1550699083.020 * * [misc]simplify:  Extracting #3: cost 259 inf + 37842
1550699083.044 * * [misc]simplify:  Extracting #4: cost 141 inf + 336186
1550699083.091 * * [misc]simplify:  Extracting #5: cost 28 inf + 595296
1550699083.146 * * [misc]simplify:  Extracting #6: cost 1 inf + 655569
1550699083.192 * * [misc]simplify:  Extracting #7: cost 0 inf + 659011
1550699083.244 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1)))))
1550699083.244 * [misc]simplify:  Simplified (2 2 2 1) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (*.p16 (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) (+.p16 x (real->posit16 1)))))))
1550699083.244 * * * * [misc]progress:  [ 6 / 16 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))>
1550699083.245 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550699083.245 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699083.247 * * [misc]simplify:  iters left: 2 (17 enodes)
1550699083.255 * * [misc]simplify:  iters left: 1 (21 enodes)
1550699083.261 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699083.261 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550699083.261 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550699083.261 * * [misc]simplify:  Extracting #3: cost 5 inf + 2
1550699083.261 * * [misc]simplify:  Extracting #4: cost 0 inf + 1050
1550699083.262 * [exit]simplify:  Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550699083.262 * [misc]simplify:  Simplified (2 2 2 1) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))
1550699083.262 * * * * [misc]progress:  [ 7 / 16 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (+.p16 x (real->posit16 1)) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))))>
1550699083.262 * * * * [misc]progress:  [ 8 / 16 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1)))))>
1550699083.262 * [enter]simplify:  Simplifying (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1))
1550699083.263 * * [misc]simplify:  iters left: 5 (8 enodes)
1550699083.267 * * [misc]simplify:  iters left: 4 (25 enodes)
1550699083.276 * * [misc]simplify:  iters left: 3 (62 enodes)
1550699083.300 * * [misc]simplify:  iters left: 2 (193 enodes)
1550699083.442 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699083.442 * * [misc]simplify:  Extracting #1: cost 65 inf + 0
1550699083.443 * * [misc]simplify:  Extracting #2: cost 241 inf + 0
1550699083.447 * * [misc]simplify:  Extracting #3: cost 260 inf + 43096
1550699083.467 * * [misc]simplify:  Extracting #4: cost 122 inf + 266467
1550699083.508 * * [misc]simplify:  Extracting #5: cost 18 inf + 464771
1550699083.546 * * [misc]simplify:  Extracting #6: cost 0 inf + 502437
1550699083.570 * * [misc]simplify:  Extracting #7: cost 0 inf + 501277
1550699083.605 * [exit]simplify:  Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))
1550699083.605 * [misc]simplify:  Simplified (2 2 2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) x)) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))
1550699083.605 * * * * [misc]progress:  [ 9 / 16 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))))>
1550699083.606 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))
1550699083.606 * * [misc]simplify:  iters left: 5 (8 enodes)
1550699083.610 * * [misc]simplify:  iters left: 4 (25 enodes)
1550699083.619 * * [misc]simplify:  iters left: 3 (62 enodes)
1550699083.644 * * [misc]simplify:  iters left: 2 (193 enodes)
1550699083.794 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699083.794 * * [misc]simplify:  Extracting #1: cost 65 inf + 0
1550699083.795 * * [misc]simplify:  Extracting #2: cost 241 inf + 0
1550699083.800 * * [misc]simplify:  Extracting #3: cost 260 inf + 43096
1550699083.819 * * [misc]simplify:  Extracting #4: cost 122 inf + 266467
1550699083.857 * * [misc]simplify:  Extracting #5: cost 18 inf + 464771
1550699083.898 * * [misc]simplify:  Extracting #6: cost 0 inf + 502437
1550699083.945 * * [misc]simplify:  Extracting #7: cost 0 inf + 501277
1550699083.986 * [exit]simplify:  Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))
1550699083.986 * [misc]simplify:  Simplified (2 2 2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))
1550699083.987 * * * * [misc]progress:  [ 10 / 16 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 2) x)))))>
1550699083.987 * * * * [misc]progress:  [ 11 / 16 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))))))>
1550699083.987 * [enter]simplify:  Simplifying (-.p16 x (real->posit16 1))
1550699083.987 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699083.990 * * [misc]simplify:  iters left: 1 (16 enodes)
1550699083.995 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699083.995 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550699083.995 * * [misc]simplify:  Extracting #2: cost 11 inf + 1
1550699083.996 * * [misc]simplify:  Extracting #3: cost 11 inf + 323
1550699083.996 * * [misc]simplify:  Extracting #4: cost 5 inf + 1491
1550699083.996 * * [misc]simplify:  Extracting #5: cost 1 inf + 3657
1550699083.996 * * [misc]simplify:  Extracting #6: cost 0 inf + 5019
1550699083.997 * [exit]simplify:  Simplified to (-.p16 x (real->posit16 1))
1550699083.997 * [misc]simplify:  Simplified (2 2 2 1 2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))))))
1550699083.997 * * * * [misc]progress:  [ 12 / 16 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))))))>
1550699083.997 * [enter]simplify:  Simplifying (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))
1550699083.997 * * [misc]simplify:  iters left: 3 (6 enodes)
1550699084.000 * * [misc]simplify:  iters left: 2 (12 enodes)
1550699084.005 * * [misc]simplify:  iters left: 1 (14 enodes)
1550699084.010 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699084.010 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699084.010 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699084.010 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550699084.010 * * [misc]simplify:  Extracting #4: cost 0 inf + 1327
1550699084.010 * [exit]simplify:  Simplified to (+.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 x x))
1550699084.010 * [misc]simplify:  Simplified (2 2 2 1 2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (+.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 x x))) (+.p16 x (real->posit16 1))))))
1550699084.010 * * * * [misc]progress:  [ 13 / 16 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))))))>
1550699084.011 * [enter]simplify:  Simplifying (+.p16 x (real->posit16 1))
1550699084.011 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699084.013 * * [misc]simplify:  iters left: 1 (10 enodes)
1550699084.016 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699084.016 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699084.016 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699084.016 * * [misc]simplify:  Extracting #3: cost 0 inf + 45
1550699084.016 * [exit]simplify:  Simplified to (+.p16 (real->posit16 1) x)
1550699084.016 * [misc]simplify:  Simplified (2 2 2 2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (real->posit16 1) x)))))
1550699084.017 * * * * [misc]progress:  [ 14 / 16 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))))))>
1550699084.017 * [enter]simplify:  Simplifying (+.p16 x (real->posit16 1))
1550699084.017 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699084.019 * * [misc]simplify:  iters left: 1 (10 enodes)
1550699084.022 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699084.022 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699084.022 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699084.022 * * [misc]simplify:  Extracting #3: cost 0 inf + 45
1550699084.022 * [exit]simplify:  Simplified to (+.p16 (real->posit16 1) x)
1550699084.022 * [misc]simplify:  Simplified (2 2 2 2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (real->posit16 1) x)))))
1550699084.023 * * * * [misc]progress:  [ 15 / 16 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))))))>
1550699084.023 * [enter]simplify:  Simplifying (+.p16 x (real->posit16 1))
1550699084.023 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699084.025 * * [misc]simplify:  iters left: 1 (10 enodes)
1550699084.028 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699084.028 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699084.029 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699084.029 * * [misc]simplify:  Extracting #3: cost 0 inf + 45
1550699084.029 * [exit]simplify:  Simplified to (+.p16 (real->posit16 1) x)
1550699084.029 * [misc]simplify:  Simplified (2 2 2 2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (real->posit16 1) x)))))
1550699084.029 * * * * [misc]progress:  [ 16 / 16 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))))))>
1550699084.029 * [enter]simplify:  Simplifying (+.p16 x (real->posit16 1))
1550699084.029 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699084.031 * * [misc]simplify:  iters left: 1 (10 enodes)
1550699084.035 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699084.035 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699084.035 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699084.035 * * [misc]simplify:  Extracting #3: cost 0 inf + 45
1550699084.035 * [exit]simplify:  Simplified to (+.p16 (real->posit16 1) x)
1550699084.035 * [misc]simplify:  Simplified (2 2 2 2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (real->posit16 1) x)))))
1550699084.035 * * * [misc]progress:  adding candidates to table
1550699085.426 * * [misc]progress:  iteration 4 / 4
1550699085.426 * * * [misc]progress:  picking best candidate
1550699085.720 * * * * [misc]pick:  Picked  #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))>
1550699085.720 * * * [misc]progress:  localizing error
1550699085.930 * * * [misc]progress:  generating rewritten candidates
1550699085.941 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550699085.954 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 2)
1550699085.962 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2)
1550699085.970 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 2 2)
1550699085.974 * * * [misc]progress:  generating series expansions
1550699085.974 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550699085.974 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 2)
1550699085.974 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2)
1550699085.974 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 2 2)
1550699085.974 * * * [misc]progress:  simplifying candidates
1550699085.974 * * * * [misc]progress:  [ 1 / 14 ] simplifiying candidate #<alt (λ (x) (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 2) x))) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))>
1550699085.974 * [enter]simplify:  Simplifying (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))
1550699085.974 * * [misc]simplify:  iters left: 4 (9 enodes)
1550699085.980 * * [misc]simplify:  iters left: 3 (31 enodes)
1550699085.987 * * [misc]simplify:  iters left: 2 (70 enodes)
1550699086.003 * * [misc]simplify:  iters left: 1 (241 enodes)
1550699086.475 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699086.476 * * [misc]simplify:  Extracting #1: cost 101 inf + 0
1550699086.477 * * [misc]simplify:  Extracting #2: cost 347 inf + 0
1550699086.480 * * [misc]simplify:  Extracting #3: cost 423 inf + 1289
1550699086.486 * * [misc]simplify:  Extracting #4: cost 307 inf + 155854
1550699086.522 * * [misc]simplify:  Extracting #5: cost 44 inf + 604234
1550699086.579 * * [misc]simplify:  Extracting #6: cost 1 inf + 665198
1550699086.642 * * [misc]simplify:  Extracting #7: cost 0 inf + 664680
1550699086.702 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))
1550699086.702 * [misc]simplify:  Simplified (2 2) to (λ (x) (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 2) x))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))
1550699086.702 * * * * [misc]progress:  [ 2 / 14 ] simplifiying candidate #<alt (λ (x) (+.p16 (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))))>
1550699086.702 * * * * [misc]progress:  [ 3 / 14 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))))))>
1550699086.702 * [enter]simplify:  Simplifying (-.p16 x (real->posit16 1))
1550699086.703 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699086.705 * * [misc]simplify:  iters left: 1 (16 enodes)
1550699086.710 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699086.710 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550699086.710 * * [misc]simplify:  Extracting #2: cost 11 inf + 1
1550699086.710 * * [misc]simplify:  Extracting #3: cost 11 inf + 323
1550699086.710 * * [misc]simplify:  Extracting #4: cost 5 inf + 1491
1550699086.711 * * [misc]simplify:  Extracting #5: cost 1 inf + 3657
1550699086.711 * * [misc]simplify:  Extracting #6: cost 0 inf + 5019
1550699086.712 * [exit]simplify:  Simplified to (-.p16 x (real->posit16 1))
1550699086.712 * [misc]simplify:  Simplified (2 2 2 2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))))))
1550699086.712 * * * * [misc]progress:  [ 4 / 14 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (/.p16 (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) (+.p16 x (real->posit16 1)))))))>
1550699086.712 * [enter]simplify:  Simplifying (real->posit16 1)
1550699086.712 * * [misc]simplify:  iters left: 1 (2 enodes)
1550699086.714 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699086.714 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550699086.714 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550699086.714 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550699086.714 * [exit]simplify:  Simplified to (real->posit16 1)
1550699086.714 * [misc]simplify:  Simplified (2 2 2 1) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (/.p16 (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) (+.p16 x (real->posit16 1)))))))
1550699086.714 * * * * [misc]progress:  [ 5 / 14 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))>
1550699086.714 * [enter]simplify:  Simplifying (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))
1550699086.714 * * [misc]simplify:  iters left: 3 (6 enodes)
1550699086.717 * * [misc]simplify:  iters left: 2 (12 enodes)
1550699086.721 * * [misc]simplify:  iters left: 1 (14 enodes)
1550699086.725 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699086.725 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699086.725 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699086.725 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550699086.725 * * [misc]simplify:  Extracting #4: cost 0 inf + 1327
1550699086.725 * [exit]simplify:  Simplified to (+.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 x x))
1550699086.725 * [misc]simplify:  Simplified (2 2 2 2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (+.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 x x))))))
1550699086.726 * * * * [misc]progress:  [ 6 / 14 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))))))>
1550699086.726 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550699086.726 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699086.728 * * [misc]simplify:  iters left: 2 (11 enodes)
1550699086.733 * * [misc]simplify:  iters left: 1 (13 enodes)
1550699086.736 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699086.736 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699086.736 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699086.737 * * [misc]simplify:  Extracting #3: cost 3 inf + 2
1550699086.737 * * [misc]simplify:  Extracting #4: cost 0 inf + 527
1550699086.737 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550699086.737 * [misc]simplify:  Simplified (2 2 2 1) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))))))
1550699086.737 * [enter]simplify:  Simplifying (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))
1550699086.737 * * [misc]simplify:  iters left: 3 (6 enodes)
1550699086.740 * * [misc]simplify:  iters left: 2 (18 enodes)
1550699086.746 * * [misc]simplify:  iters left: 1 (31 enodes)
1550699086.757 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699086.757 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550699086.757 * * [misc]simplify:  Extracting #2: cost 26 inf + 0
1550699086.757 * * [misc]simplify:  Extracting #3: cost 31 inf + 1
1550699086.757 * * [misc]simplify:  Extracting #4: cost 35 inf + 323
1550699086.758 * * [misc]simplify:  Extracting #5: cost 17 inf + 8069
1550699086.759 * * [misc]simplify:  Extracting #6: cost 0 inf + 25900
1550699086.761 * [exit]simplify:  Simplified to (/.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))
1550699086.761 * [misc]simplify:  Simplified (2 2 2 2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))))))
1550699086.762 * * * * [misc]progress:  [ 7 / 14 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (neg.p16 (/.p16 (real->posit16 2) x)))))>
1550699086.762 * * * * [misc]progress:  [ 8 / 14 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))))))>
1550699086.762 * [enter]simplify:  Simplifying (+.p16 x (real->posit16 1))
1550699086.762 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699086.764 * * [misc]simplify:  iters left: 1 (10 enodes)
1550699086.767 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699086.767 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699086.767 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699086.767 * * [misc]simplify:  Extracting #3: cost 0 inf + 45
1550699086.767 * [exit]simplify:  Simplified to (+.p16 (real->posit16 1) x)
1550699086.767 * [misc]simplify:  Simplified (2 2 2 2 1) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))))))
1550699086.768 * [enter]simplify:  Simplifying (-.p16 x (real->posit16 1))
1550699086.768 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699086.771 * * [misc]simplify:  iters left: 1 (16 enodes)
1550699086.777 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699086.777 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550699086.777 * * [misc]simplify:  Extracting #2: cost 11 inf + 1
1550699086.777 * * [misc]simplify:  Extracting #3: cost 11 inf + 323
1550699086.777 * * [misc]simplify:  Extracting #4: cost 5 inf + 1491
1550699086.777 * * [misc]simplify:  Extracting #5: cost 1 inf + 3657
1550699086.778 * * [misc]simplify:  Extracting #6: cost 0 inf + 5019
1550699086.778 * [exit]simplify:  Simplified to (-.p16 x (real->posit16 1))
1550699086.778 * [misc]simplify:  Simplified (2 2 2 2 2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))))))
1550699086.778 * * * * [misc]progress:  [ 9 / 14 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (*.p16 x x) (neg.p16 (*.p16 (real->posit16 1) (real->posit16 1))))))))>
1550699086.779 * * * * [misc]progress:  [ 10 / 14 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))))>
1550699086.779 * * * * [misc]progress:  [ 11 / 14 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))>
1550699086.779 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550699086.779 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699086.781 * * [misc]simplify:  iters left: 2 (17 enodes)
1550699086.788 * * [misc]simplify:  iters left: 1 (21 enodes)
1550699086.793 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699086.793 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550699086.793 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550699086.794 * * [misc]simplify:  Extracting #3: cost 5 inf + 2
1550699086.794 * * [misc]simplify:  Extracting #4: cost 0 inf + 1050
1550699086.794 * [exit]simplify:  Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550699086.794 * [misc]simplify:  Simplified (2 2 2 1) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))
1550699086.794 * * * * [misc]progress:  [ 12 / 14 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))>
1550699086.794 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550699086.794 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699086.797 * * [misc]simplify:  iters left: 2 (17 enodes)
1550699086.803 * * [misc]simplify:  iters left: 1 (21 enodes)
1550699086.809 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699086.809 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550699086.809 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550699086.809 * * [misc]simplify:  Extracting #3: cost 5 inf + 2
1550699086.809 * * [misc]simplify:  Extracting #4: cost 0 inf + 1050
1550699086.809 * [exit]simplify:  Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550699086.809 * [misc]simplify:  Simplified (2 2 2 1) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))
1550699086.809 * * * * [misc]progress:  [ 13 / 14 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))>
1550699086.810 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550699086.810 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699086.812 * * [misc]simplify:  iters left: 2 (17 enodes)
1550699086.818 * * [misc]simplify:  iters left: 1 (21 enodes)
1550699086.824 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699086.824 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550699086.824 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550699086.824 * * [misc]simplify:  Extracting #3: cost 5 inf + 2
1550699086.824 * * [misc]simplify:  Extracting #4: cost 0 inf + 1050
1550699086.825 * [exit]simplify:  Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550699086.825 * [misc]simplify:  Simplified (2 2 2 1) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))
1550699086.825 * * * * [misc]progress:  [ 14 / 14 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))>
1550699086.825 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550699086.825 * * [misc]simplify:  iters left: 3 (5 enodes)
1550699086.828 * * [misc]simplify:  iters left: 2 (17 enodes)
1550699086.835 * * [misc]simplify:  iters left: 1 (21 enodes)
1550699086.840 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699086.840 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550699086.840 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550699086.840 * * [misc]simplify:  Extracting #3: cost 5 inf + 2
1550699086.841 * * [misc]simplify:  Extracting #4: cost 0 inf + 1050
1550699086.841 * [exit]simplify:  Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550699086.841 * [misc]simplify:  Simplified (2 2 2 1) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))
1550699086.841 * * * [misc]progress:  adding candidates to table
1550699088.052 * [misc]progress:  [Phase 3 of 3] Extracting.
1550699088.052 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))))> #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))> #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))> #<alt (λ (x) (+.p16 (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))> #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))))))> #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))))))> #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))))> #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))>)
1550699088.055 * * * [misc]regime-changes:  Trying 1 branch expressions: (x)
1550699088.055 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))))> #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))> #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))> #<alt (λ (x) (+.p16 (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))> #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))))))> #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))))))> #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))))> #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))>)
1550699088.685 * * * [misc]regime:  Found split indices: #<option (#s(si 1 256))>
1550699088.685 * [enter]simplify:  Simplifying (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
1550699088.685 * * [misc]simplify:  iters left: 5 (12 enodes)
1550699088.687 * * [misc]simplify:  iters left: 4 (14 enodes)
1550699088.688 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699088.688 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699088.688 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550699088.688 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1550699088.688 * * [misc]simplify:  Extracting #4: cost 10 inf + 2
1550699088.688 * * [misc]simplify:  Extracting #5: cost 0 inf + 4141
1550699088.688 * [exit]simplify:  Simplified to (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
1550699088.688 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1550699088.700 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1550699088.703 * * * * [misc]points:  Setting MPFR precision to 64
1550699088.704 * * * * [misc]points:  Setting MPFR precision to 320
1550699088.705 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1550699088.707 * * * * [misc]points:  Setting MPFR precision to 64
1550699088.719 * * * * [misc]points:  Setting MPFR precision to 320
1550699088.721 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1550699088.724 * * * * [misc]points:  Setting MPFR precision to 64
1550699088.728 * * * * [misc]points:  Setting MPFR precision to 320
1550699088.733 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1550699088.735 * * * * [misc]points:  Setting MPFR precision to 64
1550699088.742 * * * * [misc]points:  Setting MPFR precision to 320
1550699088.751 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1550699088.754 * * * * [misc]points:  Setting MPFR precision to 64
1550699088.768 * * * * [misc]points:  Setting MPFR precision to 320
1550699088.786 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1550699088.789 * * * * [misc]points:  Setting MPFR precision to 64
1550699088.815 * * * * [misc]points:  Setting MPFR precision to 320
1550699088.875 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1550699088.877 * * * * [misc]points:  Setting MPFR precision to 64
1550699088.932 * * * * [misc]points:  Setting MPFR precision to 320
1550699089.005 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1550699089.038 * * * * [misc]points:  Setting MPFR precision to 64
1550699089.141 * * * * [misc]points:  Setting MPFR precision to 320
1550699089.306 * * * * [misc]points:  Computing exacts for 8000 points
1550699089.309 * * * * [misc]points:  Setting MPFR precision to 64
1550699089.836 * * * * [misc]points:  Setting MPFR precision to 320
1550699090.751 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699091.210 * * * * [exit]points:  Sampled 8000 points with exact outputs
1550699099.969 * [misc]regime-testing:  Baseline error score: 64.0
1550699099.971 * [misc]regime-testing:  Oracle error score: 64.0
1550699099.975 * [misc]regime-testing:  End program error score: 1.0176220121422752