1550619856.295 * [misc]progress:  [Phase 1 of 3] Setting up.
1550619856.295 * * * [misc]progress:  [1/2] Preparing points
1550619856.295 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1550619856.296 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1550619856.300 * * * * [misc]points:  Setting MPFR precision to 64
1550619856.301 * * * * [misc]points:  Setting MPFR precision to 320
1550619856.304 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1550619856.308 * * * * [misc]points:  Setting MPFR precision to 64
1550619856.310 * * * * [misc]points:  Setting MPFR precision to 320
1550619856.312 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1550619856.314 * * * * [misc]points:  Setting MPFR precision to 64
1550619856.317 * * * * [misc]points:  Setting MPFR precision to 320
1550619856.321 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1550619856.324 * * * * [misc]points:  Setting MPFR precision to 64
1550619856.329 * * * * [misc]points:  Setting MPFR precision to 320
1550619856.336 * * * * [misc]points:  Computing exacts for 256 points
1550619856.338 * * * * [misc]points:  Setting MPFR precision to 64
1550619856.352 * * * * [misc]points:  Setting MPFR precision to 320
1550619856.382 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619856.393 * * * * [exit]points:  Sampled 256 points with exact outputs
1550619856.393 * * * [misc]progress:  [2/2] Setting up program.
1550619856.419 * [misc]progress:  [Phase 2 of 3] Improving.
1550619856.419 * * * * [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)))))>
1550619856.419 * [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))))
1550619856.419 * * [misc]simplify:  iters left: 5 (12 enodes)
1550619856.422 * * [misc]simplify:  iters left: 4 (35 enodes)
1550619856.445 * * [misc]simplify:  iters left: 3 (83 enodes)
1550619856.462 * * [misc]simplify:  iters left: 2 (233 enodes)
1550619856.532 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619856.532 * * [misc]simplify:  Extracting #1: cost 29 inf + 0
1550619856.533 * * [misc]simplify:  Extracting #2: cost 123 inf + 0
1550619856.533 * * [misc]simplify:  Extracting #3: cost 244 inf + 1
1550619856.535 * * [misc]simplify:  Extracting #4: cost 308 inf + 32857
1550619856.547 * * [misc]simplify:  Extracting #5: cost 149 inf + 308686
1550619856.569 * * [misc]simplify:  Extracting #6: cost 4 inf + 549893
1550619856.596 * * [misc]simplify:  Extracting #7: cost 0 inf + 561504
1550619856.620 * [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)))
1550619856.621 * [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))))
1550619856.645 * * [misc]progress:  iteration 1 / 4
1550619856.645 * * * [misc]progress:  picking best candidate
1550619856.680 * * * * [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)))))>
1550619856.680 * * * [misc]progress:  localizing error
1550619857.093 * * * [misc]progress:  generating rewritten candidates
1550619857.093 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550619857.106 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1550619857.109 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1)
1550619857.110 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2)
1550619857.112 * * * [misc]progress:  generating series expansions
1550619857.112 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550619857.112 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1550619857.112 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1)
1550619857.112 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2)
1550619857.112 * * * [misc]progress:  simplifying candidates
1550619857.112 * * * * [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))))))>
1550619857.112 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550619857.112 * * [misc]simplify:  iters left: 3 (5 enodes)
1550619857.113 * * [misc]simplify:  iters left: 2 (11 enodes)
1550619857.115 * * [misc]simplify:  iters left: 1 (13 enodes)
1550619857.118 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619857.118 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619857.118 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550619857.118 * * [misc]simplify:  Extracting #3: cost 3 inf + 2
1550619857.118 * * [misc]simplify:  Extracting #4: cost 0 inf + 527
1550619857.118 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550619857.119 * [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))))))
1550619857.119 * * * * [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))))))>
1550619857.119 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550619857.119 * * [misc]simplify:  iters left: 3 (5 enodes)
1550619857.120 * * [misc]simplify:  iters left: 2 (11 enodes)
1550619857.122 * * [misc]simplify:  iters left: 1 (13 enodes)
1550619857.124 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619857.124 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619857.124 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550619857.124 * * [misc]simplify:  Extracting #3: cost 3 inf + 2
1550619857.124 * * [misc]simplify:  Extracting #4: cost 0 inf + 527
1550619857.124 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550619857.124 * [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))))))
1550619857.124 * * * * [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))))>
1550619857.124 * * * * [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)))))>
1550619857.125 * * * * [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)))))>
1550619857.125 * * * * [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)))))>
1550619857.125 * [enter]simplify:  Simplifying (+.p16 x (real->posit16 1))
1550619857.125 * * [misc]simplify:  iters left: 2 (4 enodes)
1550619857.126 * * [misc]simplify:  iters left: 1 (10 enodes)
1550619857.128 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619857.128 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619857.128 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619857.128 * * [misc]simplify:  Extracting #3: cost 0 inf + 45
1550619857.128 * [exit]simplify:  Simplified to (+.p16 (real->posit16 1) x)
1550619857.128 * [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))))
1550619857.128 * * * * [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)))))>
1550619857.128 * [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))))
1550619857.128 * * [misc]simplify:  iters left: 5 (12 enodes)
1550619857.131 * * [misc]simplify:  iters left: 4 (35 enodes)
1550619857.143 * * [misc]simplify:  iters left: 3 (83 enodes)
1550619857.159 * * [misc]simplify:  iters left: 2 (233 enodes)
1550619857.263 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619857.263 * * [misc]simplify:  Extracting #1: cost 29 inf + 0
1550619857.263 * * [misc]simplify:  Extracting #2: cost 123 inf + 0
1550619857.264 * * [misc]simplify:  Extracting #3: cost 244 inf + 1
1550619857.266 * * [misc]simplify:  Extracting #4: cost 308 inf + 32857
1550619857.277 * * [misc]simplify:  Extracting #5: cost 149 inf + 308686
1550619857.301 * * [misc]simplify:  Extracting #6: cost 4 inf + 549893
1550619857.325 * * [misc]simplify:  Extracting #7: cost 0 inf + 561504
1550619857.352 * [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)))
1550619857.352 * [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))))
1550619857.352 * * * * [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)))))>
1550619857.353 * [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))))
1550619857.353 * * [misc]simplify:  iters left: 5 (12 enodes)
1550619857.356 * * [misc]simplify:  iters left: 4 (35 enodes)
1550619857.362 * * [misc]simplify:  iters left: 3 (83 enodes)
1550619857.378 * * [misc]simplify:  iters left: 2 (233 enodes)
1550619857.445 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619857.445 * * [misc]simplify:  Extracting #1: cost 29 inf + 0
1550619857.445 * * [misc]simplify:  Extracting #2: cost 123 inf + 0
1550619857.446 * * [misc]simplify:  Extracting #3: cost 244 inf + 1
1550619857.448 * * [misc]simplify:  Extracting #4: cost 308 inf + 32857
1550619857.459 * * [misc]simplify:  Extracting #5: cost 149 inf + 308686
1550619857.484 * * [misc]simplify:  Extracting #6: cost 4 inf + 549893
1550619857.510 * * [misc]simplify:  Extracting #7: cost 0 inf + 561504
1550619857.540 * [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)))
1550619857.540 * [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))))
1550619857.540 * * * * [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)))))>
1550619857.541 * [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))))
1550619857.541 * * [misc]simplify:  iters left: 5 (12 enodes)
1550619857.546 * * [misc]simplify:  iters left: 4 (35 enodes)
1550619857.557 * * [misc]simplify:  iters left: 3 (83 enodes)
1550619857.584 * * [misc]simplify:  iters left: 2 (233 enodes)
1550619857.674 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619857.674 * * [misc]simplify:  Extracting #1: cost 29 inf + 0
1550619857.674 * * [misc]simplify:  Extracting #2: cost 123 inf + 0
1550619857.675 * * [misc]simplify:  Extracting #3: cost 244 inf + 1
1550619857.679 * * [misc]simplify:  Extracting #4: cost 308 inf + 32857
1550619857.694 * * [misc]simplify:  Extracting #5: cost 149 inf + 308686
1550619857.731 * * [misc]simplify:  Extracting #6: cost 4 inf + 549893
1550619857.775 * * [misc]simplify:  Extracting #7: cost 0 inf + 561504
1550619857.818 * [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)))
1550619857.818 * [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))))
1550619857.818 * * * * [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)))))>
1550619857.818 * [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))))
1550619857.818 * * [misc]simplify:  iters left: 5 (12 enodes)
1550619857.823 * * [misc]simplify:  iters left: 4 (35 enodes)
1550619857.836 * * [misc]simplify:  iters left: 3 (83 enodes)
1550619857.861 * * [misc]simplify:  iters left: 2 (233 enodes)
1550619857.938 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619857.938 * * [misc]simplify:  Extracting #1: cost 29 inf + 0
1550619857.938 * * [misc]simplify:  Extracting #2: cost 123 inf + 0
1550619857.939 * * [misc]simplify:  Extracting #3: cost 244 inf + 1
1550619857.941 * * [misc]simplify:  Extracting #4: cost 308 inf + 32857
1550619857.952 * * [misc]simplify:  Extracting #5: cost 149 inf + 308686
1550619857.974 * * [misc]simplify:  Extracting #6: cost 4 inf + 549893
1550619858.002 * * [misc]simplify:  Extracting #7: cost 0 inf + 561504
1550619858.026 * [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)))
1550619858.027 * [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))))
1550619858.027 * * * [misc]progress:  adding candidates to table
1550619858.577 * * [misc]progress:  iteration 2 / 4
1550619858.577 * * * [misc]progress:  picking best candidate
1550619858.661 * * * * [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))))))>
1550619858.661 * * * [misc]progress:  localizing error
1550619858.791 * * * [misc]progress:  generating rewritten candidates
1550619858.791 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550619858.802 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2)
1550619858.807 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1)
1550619858.808 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 2)
1550619858.809 * * * [misc]progress:  generating series expansions
1550619858.809 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550619858.810 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2)
1550619858.810 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1)
1550619858.810 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 2)
1550619858.810 * * * [misc]progress:  simplifying candidates
1550619858.810 * * * * [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)))))>
1550619858.810 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))
1550619858.810 * * [misc]simplify:  iters left: 3 (5 enodes)
1550619858.812 * * [misc]simplify:  iters left: 2 (17 enodes)
1550619858.817 * * [misc]simplify:  iters left: 1 (31 enodes)
1550619858.823 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619858.823 * * [misc]simplify:  Extracting #1: cost 11 inf + 0
1550619858.823 * * [misc]simplify:  Extracting #2: cost 28 inf + 0
1550619858.823 * * [misc]simplify:  Extracting #3: cost 29 inf + 324
1550619858.824 * * [misc]simplify:  Extracting #4: cost 22 inf + 6266
1550619858.824 * * [misc]simplify:  Extracting #5: cost 3 inf + 23256
1550619858.826 * * [misc]simplify:  Extracting #6: cost 0 inf + 26382
1550619858.827 * * [misc]simplify:  Extracting #7: cost 0 inf + 25822
1550619858.827 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))
1550619858.827 * [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)))))
1550619858.828 * * * * [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)))))>
1550619858.828 * * * * [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)))))>
1550619858.828 * * * * [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))))))>
1550619858.828 * [enter]simplify:  Simplifying (+.p16 x (real->posit16 1))
1550619858.828 * * [misc]simplify:  iters left: 2 (4 enodes)
1550619858.829 * * [misc]simplify:  iters left: 1 (10 enodes)
1550619858.831 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619858.831 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619858.831 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619858.831 * * [misc]simplify:  Extracting #3: cost 0 inf + 45
1550619858.831 * [exit]simplify:  Simplified to (+.p16 (real->posit16 1) x)
1550619858.831 * [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)))))
1550619858.831 * * * * [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))))))>
1550619858.831 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550619858.831 * * [misc]simplify:  iters left: 3 (5 enodes)
1550619858.832 * * [misc]simplify:  iters left: 2 (11 enodes)
1550619858.834 * * [misc]simplify:  iters left: 1 (13 enodes)
1550619858.841 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619858.842 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619858.842 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550619858.842 * * [misc]simplify:  Extracting #3: cost 3 inf + 2
1550619858.842 * * [misc]simplify:  Extracting #4: cost 0 inf + 527
1550619858.842 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550619858.842 * [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))))))
1550619858.842 * * * * [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))))))>
1550619858.842 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550619858.842 * * [misc]simplify:  iters left: 3 (5 enodes)
1550619858.843 * * [misc]simplify:  iters left: 2 (11 enodes)
1550619858.845 * * [misc]simplify:  iters left: 1 (13 enodes)
1550619858.848 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619858.848 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619858.848 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550619858.848 * * [misc]simplify:  Extracting #3: cost 3 inf + 2
1550619858.848 * * [misc]simplify:  Extracting #4: cost 0 inf + 527
1550619858.848 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550619858.848 * [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))))))
1550619858.848 * * * * [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))))))>
1550619858.848 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550619858.848 * * [misc]simplify:  iters left: 3 (5 enodes)
1550619858.850 * * [misc]simplify:  iters left: 2 (11 enodes)
1550619858.851 * * [misc]simplify:  iters left: 1 (13 enodes)
1550619858.853 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619858.853 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619858.853 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550619858.853 * * [misc]simplify:  Extracting #3: cost 3 inf + 2
1550619858.854 * * [misc]simplify:  Extracting #4: cost 0 inf + 527
1550619858.854 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550619858.854 * [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))))))
1550619858.854 * * * * [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))))))>
1550619858.854 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550619858.854 * * [misc]simplify:  iters left: 3 (5 enodes)
1550619858.855 * * [misc]simplify:  iters left: 2 (11 enodes)
1550619858.857 * * [misc]simplify:  iters left: 1 (13 enodes)
1550619858.859 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619858.859 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619858.859 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550619858.859 * * [misc]simplify:  Extracting #3: cost 3 inf + 2
1550619858.859 * * [misc]simplify:  Extracting #4: cost 0 inf + 527
1550619858.859 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550619858.859 * [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))))))
1550619858.859 * * * [misc]progress:  adding candidates to table
1550619859.265 * * [misc]progress:  iteration 3 / 4
1550619859.265 * * * [misc]progress:  picking best candidate
1550619859.362 * * * * [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))))))>
1550619859.362 * * * [misc]progress:  localizing error
1550619859.674 * * * [misc]progress:  generating rewritten candidates
1550619859.674 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550619859.684 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 2)
1550619859.688 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2)
1550619859.702 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 2 1)
1550619859.705 * * * [misc]progress:  generating series expansions
1550619859.705 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550619859.705 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 2)
1550619859.705 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2)
1550619859.705 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 2 1)
1550619859.705 * * * [misc]progress:  simplifying candidates
1550619859.705 * * * * [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)))))>
1550619859.705 * [enter]simplify:  Simplifying (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))
1550619859.706 * * [misc]simplify:  iters left: 5 (9 enodes)
1550619859.711 * * [misc]simplify:  iters left: 4 (33 enodes)
1550619859.723 * * [misc]simplify:  iters left: 3 (81 enodes)
1550619859.753 * * [misc]simplify:  iters left: 2 (255 enodes)
1550619859.977 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619859.977 * * [misc]simplify:  Extracting #1: cost 76 inf + 0
1550619859.979 * * [misc]simplify:  Extracting #2: cost 386 inf + 0
1550619859.987 * * [misc]simplify:  Extracting #3: cost 371 inf + 122121
1550619860.025 * * [misc]simplify:  Extracting #4: cost 71 inf + 664259
1550619860.080 * * [misc]simplify:  Extracting #5: cost 3 inf + 773980
1550619860.145 * * [misc]simplify:  Extracting #6: cost 0 inf + 775183
1550619860.201 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))
1550619860.202 * [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)))))
1550619860.202 * * * * [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)))))>
1550619860.202 * * * * [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))))))>
1550619860.202 * [enter]simplify:  Simplifying (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1))
1550619860.202 * * [misc]simplify:  iters left: 5 (8 enodes)
1550619860.204 * * [misc]simplify:  iters left: 4 (25 enodes)
1550619860.210 * * [misc]simplify:  iters left: 3 (62 enodes)
1550619860.232 * * [misc]simplify:  iters left: 2 (193 enodes)
1550619860.366 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619860.366 * * [misc]simplify:  Extracting #1: cost 65 inf + 0
1550619860.367 * * [misc]simplify:  Extracting #2: cost 241 inf + 0
1550619860.369 * * [misc]simplify:  Extracting #3: cost 260 inf + 43096
1550619860.381 * * [misc]simplify:  Extracting #4: cost 122 inf + 266467
1550619860.417 * * [misc]simplify:  Extracting #5: cost 18 inf + 464771
1550619860.459 * * [misc]simplify:  Extracting #6: cost 0 inf + 502437
1550619860.499 * * [misc]simplify:  Extracting #7: cost 0 inf + 501277
1550619860.540 * [exit]simplify:  Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))
1550619860.540 * [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))))))))
1550619860.541 * * * * [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)))))))))>
1550619860.541 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))
1550619860.541 * * [misc]simplify:  iters left: 5 (8 enodes)
1550619860.546 * * [misc]simplify:  iters left: 4 (25 enodes)
1550619860.559 * * [misc]simplify:  iters left: 3 (62 enodes)
1550619860.585 * * [misc]simplify:  iters left: 2 (193 enodes)
1550619860.672 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619860.672 * * [misc]simplify:  Extracting #1: cost 65 inf + 0
1550619860.673 * * [misc]simplify:  Extracting #2: cost 241 inf + 0
1550619860.675 * * [misc]simplify:  Extracting #3: cost 260 inf + 43096
1550619860.685 * * [misc]simplify:  Extracting #4: cost 122 inf + 266467
1550619860.715 * * [misc]simplify:  Extracting #5: cost 18 inf + 464771
1550619860.751 * * [misc]simplify:  Extracting #6: cost 0 inf + 502437
1550619860.772 * * [misc]simplify:  Extracting #7: cost 0 inf + 501277
1550619860.793 * [exit]simplify:  Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))
1550619860.794 * [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))))))))
1550619860.794 * * * * [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)))))))>
1550619860.794 * [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)))))
1550619860.794 * * [misc]simplify:  iters left: 5 (9 enodes)
1550619860.796 * * [misc]simplify:  iters left: 4 (32 enodes)
1550619860.803 * * [misc]simplify:  iters left: 3 (76 enodes)
1550619860.827 * * [misc]simplify:  iters left: 2 (239 enodes)
1550619860.958 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619860.958 * * [misc]simplify:  Extracting #1: cost 46 inf + 0
1550619860.959 * * [misc]simplify:  Extracting #2: cost 215 inf + 0
1550619860.962 * * [misc]simplify:  Extracting #3: cost 259 inf + 37842
1550619860.982 * * [misc]simplify:  Extracting #4: cost 141 inf + 336186
1550619861.015 * * [misc]simplify:  Extracting #5: cost 28 inf + 595296
1550619861.064 * * [misc]simplify:  Extracting #6: cost 1 inf + 655569
1550619861.110 * * [misc]simplify:  Extracting #7: cost 0 inf + 659011
1550619861.161 * [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)))))
1550619861.162 * [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)))))))
1550619861.162 * * * * [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)))))))>
1550619861.162 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550619861.162 * * [misc]simplify:  iters left: 3 (5 enodes)
1550619861.165 * * [misc]simplify:  iters left: 2 (17 enodes)
1550619861.170 * * [misc]simplify:  iters left: 1 (21 enodes)
1550619861.174 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619861.174 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550619861.174 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550619861.174 * * [misc]simplify:  Extracting #3: cost 5 inf + 2
1550619861.174 * * [misc]simplify:  Extracting #4: cost 0 inf + 1050
1550619861.175 * [exit]simplify:  Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550619861.175 * [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)))))))
1550619861.175 * * * * [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))))))))>
1550619861.175 * * * * [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)))))>
1550619861.175 * [enter]simplify:  Simplifying (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1))
1550619861.175 * * [misc]simplify:  iters left: 5 (8 enodes)
1550619861.178 * * [misc]simplify:  iters left: 4 (25 enodes)
1550619861.186 * * [misc]simplify:  iters left: 3 (62 enodes)
1550619861.208 * * [misc]simplify:  iters left: 2 (193 enodes)
1550619861.300 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619861.300 * * [misc]simplify:  Extracting #1: cost 65 inf + 0
1550619861.301 * * [misc]simplify:  Extracting #2: cost 241 inf + 0
1550619861.302 * * [misc]simplify:  Extracting #3: cost 260 inf + 43096
1550619861.312 * * [misc]simplify:  Extracting #4: cost 122 inf + 266467
1550619861.331 * * [misc]simplify:  Extracting #5: cost 18 inf + 464771
1550619861.362 * * [misc]simplify:  Extracting #6: cost 0 inf + 502437
1550619861.397 * * [misc]simplify:  Extracting #7: cost 0 inf + 501277
1550619861.432 * [exit]simplify:  Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))
1550619861.432 * [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)))))))
1550619861.432 * * * * [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))))))))>
1550619861.433 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))
1550619861.433 * * [misc]simplify:  iters left: 5 (8 enodes)
1550619861.436 * * [misc]simplify:  iters left: 4 (25 enodes)
1550619861.444 * * [misc]simplify:  iters left: 3 (62 enodes)
1550619861.465 * * [misc]simplify:  iters left: 2 (193 enodes)
1550619861.570 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619861.571 * * [misc]simplify:  Extracting #1: cost 65 inf + 0
1550619861.571 * * [misc]simplify:  Extracting #2: cost 241 inf + 0
1550619861.573 * * [misc]simplify:  Extracting #3: cost 260 inf + 43096
1550619861.585 * * [misc]simplify:  Extracting #4: cost 122 inf + 266467
1550619861.607 * * [misc]simplify:  Extracting #5: cost 18 inf + 464771
1550619861.639 * * [misc]simplify:  Extracting #6: cost 0 inf + 502437
1550619861.676 * * [misc]simplify:  Extracting #7: cost 0 inf + 501277
1550619861.701 * [exit]simplify:  Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))
1550619861.701 * [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)))))))
1550619861.701 * * * * [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)))))>
1550619861.701 * * * * [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))))))>
1550619861.701 * [enter]simplify:  Simplifying (-.p16 x (real->posit16 1))
1550619861.701 * * [misc]simplify:  iters left: 2 (4 enodes)
1550619861.703 * * [misc]simplify:  iters left: 1 (16 enodes)
1550619861.705 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619861.705 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550619861.705 * * [misc]simplify:  Extracting #2: cost 11 inf + 1
1550619861.706 * * [misc]simplify:  Extracting #3: cost 11 inf + 323
1550619861.706 * * [misc]simplify:  Extracting #4: cost 5 inf + 1491
1550619861.706 * * [misc]simplify:  Extracting #5: cost 1 inf + 3657
1550619861.706 * * [misc]simplify:  Extracting #6: cost 0 inf + 5019
1550619861.706 * [exit]simplify:  Simplified to (-.p16 x (real->posit16 1))
1550619861.706 * [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))))))
1550619861.706 * * * * [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))))))>
1550619861.706 * [enter]simplify:  Simplifying (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))
1550619861.707 * * [misc]simplify:  iters left: 3 (6 enodes)
1550619861.708 * * [misc]simplify:  iters left: 2 (12 enodes)
1550619861.710 * * [misc]simplify:  iters left: 1 (14 enodes)
1550619861.712 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619861.712 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619861.712 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550619861.712 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550619861.712 * * [misc]simplify:  Extracting #4: cost 0 inf + 1327
1550619861.712 * [exit]simplify:  Simplified to (+.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 x x))
1550619861.712 * [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))))))
1550619861.712 * * * * [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))))))>
1550619861.713 * [enter]simplify:  Simplifying (+.p16 x (real->posit16 1))
1550619861.713 * * [misc]simplify:  iters left: 2 (4 enodes)
1550619861.714 * * [misc]simplify:  iters left: 1 (10 enodes)
1550619861.715 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619861.715 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619861.715 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619861.715 * * [misc]simplify:  Extracting #3: cost 0 inf + 45
1550619861.715 * [exit]simplify:  Simplified to (+.p16 (real->posit16 1) x)
1550619861.715 * [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)))))
1550619861.716 * * * * [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))))))>
1550619861.716 * [enter]simplify:  Simplifying (+.p16 x (real->posit16 1))
1550619861.716 * * [misc]simplify:  iters left: 2 (4 enodes)
1550619861.717 * * [misc]simplify:  iters left: 1 (10 enodes)
1550619861.718 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619861.718 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619861.718 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619861.718 * * [misc]simplify:  Extracting #3: cost 0 inf + 45
1550619861.719 * [exit]simplify:  Simplified to (+.p16 (real->posit16 1) x)
1550619861.719 * [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)))))
1550619861.719 * * * * [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))))))>
1550619861.719 * [enter]simplify:  Simplifying (+.p16 x (real->posit16 1))
1550619861.719 * * [misc]simplify:  iters left: 2 (4 enodes)
1550619861.721 * * [misc]simplify:  iters left: 1 (10 enodes)
1550619861.723 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619861.723 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619861.723 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619861.724 * * [misc]simplify:  Extracting #3: cost 0 inf + 45
1550619861.724 * [exit]simplify:  Simplified to (+.p16 (real->posit16 1) x)
1550619861.724 * [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)))))
1550619861.724 * * * * [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))))))>
1550619861.724 * [enter]simplify:  Simplifying (+.p16 x (real->posit16 1))
1550619861.724 * * [misc]simplify:  iters left: 2 (4 enodes)
1550619861.726 * * [misc]simplify:  iters left: 1 (10 enodes)
1550619861.728 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619861.728 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619861.728 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619861.728 * * [misc]simplify:  Extracting #3: cost 0 inf + 45
1550619861.728 * [exit]simplify:  Simplified to (+.p16 (real->posit16 1) x)
1550619861.728 * [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)))))
1550619861.728 * * * [misc]progress:  adding candidates to table
1550619862.930 * * [misc]progress:  iteration 4 / 4
1550619862.931 * * * [misc]progress:  picking best candidate
1550619863.137 * * * * [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)))))))>
1550619863.137 * * * [misc]progress:  localizing error
1550619863.342 * * * [misc]progress:  generating rewritten candidates
1550619863.342 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550619863.354 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 2)
1550619863.358 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2)
1550619863.362 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 2 2)
1550619863.372 * * * [misc]progress:  generating series expansions
1550619863.372 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550619863.372 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 2)
1550619863.372 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2)
1550619863.372 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 2 2)
1550619863.372 * * * [misc]progress:  simplifying candidates
1550619863.372 * * * * [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))))))>
1550619863.372 * [enter]simplify:  Simplifying (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))
1550619863.372 * * [misc]simplify:  iters left: 4 (9 enodes)
1550619863.376 * * [misc]simplify:  iters left: 3 (31 enodes)
1550619863.382 * * [misc]simplify:  iters left: 2 (70 enodes)
1550619863.397 * * [misc]simplify:  iters left: 1 (241 enodes)
1550619863.689 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619863.689 * * [misc]simplify:  Extracting #1: cost 101 inf + 0
1550619863.691 * * [misc]simplify:  Extracting #2: cost 347 inf + 0
1550619863.694 * * [misc]simplify:  Extracting #3: cost 423 inf + 1289
1550619863.705 * * [misc]simplify:  Extracting #4: cost 307 inf + 155854
1550619863.751 * * [misc]simplify:  Extracting #5: cost 44 inf + 604234
1550619863.799 * * [misc]simplify:  Extracting #6: cost 1 inf + 665198
1550619863.848 * * [misc]simplify:  Extracting #7: cost 0 inf + 664680
1550619863.886 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))
1550619863.886 * [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)))))
1550619863.887 * * * * [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)))))>
1550619863.887 * * * * [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))))))>
1550619863.887 * [enter]simplify:  Simplifying (-.p16 x (real->posit16 1))
1550619863.887 * * [misc]simplify:  iters left: 2 (4 enodes)
1550619863.889 * * [misc]simplify:  iters left: 1 (16 enodes)
1550619863.894 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619863.894 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550619863.894 * * [misc]simplify:  Extracting #2: cost 11 inf + 1
1550619863.894 * * [misc]simplify:  Extracting #3: cost 11 inf + 323
1550619863.895 * * [misc]simplify:  Extracting #4: cost 5 inf + 1491
1550619863.895 * * [misc]simplify:  Extracting #5: cost 1 inf + 3657
1550619863.895 * * [misc]simplify:  Extracting #6: cost 0 inf + 5019
1550619863.896 * [exit]simplify:  Simplified to (-.p16 x (real->posit16 1))
1550619863.896 * [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))))))
1550619863.896 * * * * [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)))))))>
1550619863.896 * [enter]simplify:  Simplifying (real->posit16 1)
1550619863.896 * * [misc]simplify:  iters left: 1 (2 enodes)
1550619863.897 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619863.897 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550619863.897 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550619863.897 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550619863.897 * [exit]simplify:  Simplified to (real->posit16 1)
1550619863.897 * [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)))))))
1550619863.898 * * * * [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)))))))>
1550619863.898 * [enter]simplify:  Simplifying (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))
1550619863.898 * * [misc]simplify:  iters left: 3 (6 enodes)
1550619863.900 * * [misc]simplify:  iters left: 2 (12 enodes)
1550619863.904 * * [misc]simplify:  iters left: 1 (14 enodes)
1550619863.908 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619863.908 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619863.908 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550619863.908 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550619863.908 * * [misc]simplify:  Extracting #4: cost 0 inf + 1327
1550619863.908 * [exit]simplify:  Simplified to (+.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 x x))
1550619863.908 * [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))))))
1550619863.908 * * * * [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)))))))>
1550619863.908 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550619863.908 * * [misc]simplify:  iters left: 3 (5 enodes)
1550619863.910 * * [misc]simplify:  iters left: 2 (11 enodes)
1550619863.913 * * [misc]simplify:  iters left: 1 (13 enodes)
1550619863.917 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619863.917 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619863.917 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550619863.917 * * [misc]simplify:  Extracting #3: cost 3 inf + 2
1550619863.917 * * [misc]simplify:  Extracting #4: cost 0 inf + 527
1550619863.917 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550619863.917 * [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)))))))
1550619863.917 * [enter]simplify:  Simplifying (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))
1550619863.918 * * [misc]simplify:  iters left: 3 (6 enodes)
1550619863.920 * * [misc]simplify:  iters left: 2 (18 enodes)
1550619863.925 * * [misc]simplify:  iters left: 1 (31 enodes)
1550619863.934 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619863.935 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550619863.935 * * [misc]simplify:  Extracting #2: cost 26 inf + 0
1550619863.935 * * [misc]simplify:  Extracting #3: cost 31 inf + 1
1550619863.935 * * [misc]simplify:  Extracting #4: cost 35 inf + 323
1550619863.935 * * [misc]simplify:  Extracting #5: cost 17 inf + 8069
1550619863.937 * * [misc]simplify:  Extracting #6: cost 0 inf + 25900
1550619863.939 * [exit]simplify:  Simplified to (/.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))
1550619863.939 * [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)))))))
1550619863.939 * * * * [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)))))>
1550619863.939 * * * * [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)))))))>
1550619863.939 * [enter]simplify:  Simplifying (+.p16 x (real->posit16 1))
1550619863.939 * * [misc]simplify:  iters left: 2 (4 enodes)
1550619863.941 * * [misc]simplify:  iters left: 1 (10 enodes)
1550619863.944 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619863.944 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619863.944 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619863.944 * * [misc]simplify:  Extracting #3: cost 0 inf + 45
1550619863.944 * [exit]simplify:  Simplified to (+.p16 (real->posit16 1) x)
1550619863.944 * [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)))))))
1550619863.944 * [enter]simplify:  Simplifying (-.p16 x (real->posit16 1))
1550619863.944 * * [misc]simplify:  iters left: 2 (4 enodes)
1550619863.946 * * [misc]simplify:  iters left: 1 (16 enodes)
1550619863.951 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619863.951 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550619863.951 * * [misc]simplify:  Extracting #2: cost 11 inf + 1
1550619863.951 * * [misc]simplify:  Extracting #3: cost 11 inf + 323
1550619863.951 * * [misc]simplify:  Extracting #4: cost 5 inf + 1491
1550619863.951 * * [misc]simplify:  Extracting #5: cost 1 inf + 3657
1550619863.952 * * [misc]simplify:  Extracting #6: cost 0 inf + 5019
1550619863.952 * [exit]simplify:  Simplified to (-.p16 x (real->posit16 1))
1550619863.952 * [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)))))))
1550619863.952 * * * * [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))))))))>
1550619863.952 * * * * [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))))))))>
1550619863.952 * * * * [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)))))))>
1550619863.953 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550619863.953 * * [misc]simplify:  iters left: 3 (5 enodes)
1550619863.955 * * [misc]simplify:  iters left: 2 (17 enodes)
1550619863.960 * * [misc]simplify:  iters left: 1 (21 enodes)
1550619863.966 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619863.966 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550619863.966 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550619863.966 * * [misc]simplify:  Extracting #3: cost 5 inf + 2
1550619863.966 * * [misc]simplify:  Extracting #4: cost 0 inf + 1050
1550619863.966 * [exit]simplify:  Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550619863.966 * [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)))))))
1550619863.966 * * * * [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)))))))>
1550619863.967 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550619863.967 * * [misc]simplify:  iters left: 3 (5 enodes)
1550619863.969 * * [misc]simplify:  iters left: 2 (17 enodes)
1550619863.974 * * [misc]simplify:  iters left: 1 (21 enodes)
1550619863.978 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619863.978 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550619863.978 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550619863.978 * * [misc]simplify:  Extracting #3: cost 5 inf + 2
1550619863.979 * * [misc]simplify:  Extracting #4: cost 0 inf + 1050
1550619863.979 * [exit]simplify:  Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550619863.979 * [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)))))))
1550619863.979 * * * * [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)))))))>
1550619863.979 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550619863.979 * * [misc]simplify:  iters left: 3 (5 enodes)
1550619863.983 * * [misc]simplify:  iters left: 2 (17 enodes)
1550619863.988 * * [misc]simplify:  iters left: 1 (21 enodes)
1550619863.992 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619863.992 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550619863.992 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550619863.992 * * [misc]simplify:  Extracting #3: cost 5 inf + 2
1550619863.993 * * [misc]simplify:  Extracting #4: cost 0 inf + 1050
1550619863.993 * [exit]simplify:  Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550619863.993 * [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)))))))
1550619863.993 * * * * [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)))))))>
1550619863.993 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1550619863.993 * * [misc]simplify:  iters left: 3 (5 enodes)
1550619863.995 * * [misc]simplify:  iters left: 2 (17 enodes)
1550619864.000 * * [misc]simplify:  iters left: 1 (21 enodes)
1550619864.003 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619864.003 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550619864.003 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550619864.003 * * [misc]simplify:  Extracting #3: cost 5 inf + 2
1550619864.003 * * [misc]simplify:  Extracting #4: cost 0 inf + 1050
1550619864.003 * [exit]simplify:  Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1550619864.003 * [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)))))))
1550619864.003 * * * [misc]progress:  adding candidates to table
1550619864.968 * [misc]progress:  [Phase 3 of 3] Extracting.
1550619864.968 * * [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 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 (/.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 (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 (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 (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 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>)
1550619864.969 * * * [misc]regime-changes:  Trying 1 branch expressions: (x)
1550619864.969 * * * * [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 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 (/.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 (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 (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 (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 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>)
1550619865.627 * * * [misc]regime:  Found split indices: #<option (#s(si 7 256))>
1550619865.628 * [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))))
1550619865.628 * * [misc]simplify:  iters left: 5 (12 enodes)
1550619865.629 * * [misc]simplify:  iters left: 4 (14 enodes)
1550619865.630 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619865.630 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619865.630 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550619865.630 * * [misc]simplify:  Extracting #3: cost 11 inf + 0
1550619865.630 * * [misc]simplify:  Extracting #4: cost 10 inf + 2
1550619865.630 * * [misc]simplify:  Extracting #5: cost 0 inf + 4141
1550619865.630 * [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))))
1550619865.630 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1550619865.641 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1550619865.644 * * * * [misc]points:  Setting MPFR precision to 64
1550619865.644 * * * * [misc]points:  Setting MPFR precision to 320
1550619865.645 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1550619865.648 * * * * [misc]points:  Setting MPFR precision to 64
1550619865.650 * * * * [misc]points:  Setting MPFR precision to 320
1550619865.653 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1550619865.657 * * * * [misc]points:  Setting MPFR precision to 64
1550619865.662 * * * * [misc]points:  Setting MPFR precision to 320
1550619865.668 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1550619865.672 * * * * [misc]points:  Setting MPFR precision to 64
1550619865.682 * * * * [misc]points:  Setting MPFR precision to 320
1550619865.695 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1550619865.714 * * * * [misc]points:  Setting MPFR precision to 64
1550619865.736 * * * * [misc]points:  Setting MPFR precision to 320
1550619865.762 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1550619865.766 * * * * [misc]points:  Setting MPFR precision to 64
1550619865.797 * * * * [misc]points:  Setting MPFR precision to 320
1550619865.838 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1550619865.840 * * * * [misc]points:  Setting MPFR precision to 64
1550619865.934 * * * * [misc]points:  Setting MPFR precision to 320
1550619866.000 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1550619866.003 * * * * [misc]points:  Setting MPFR precision to 64
1550619866.134 * * * * [misc]points:  Setting MPFR precision to 320
1550619866.345 * * * * [misc]points:  Computing exacts for 8000 points
1550619866.348 * * * * [misc]points:  Setting MPFR precision to 64
1550619866.945 * * * * [misc]points:  Setting MPFR precision to 320
1550619867.836 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619868.231 * * * * [exit]points:  Sampled 8000 points with exact outputs
1550619875.132 * [misc]regime-testing:  Baseline error score: 64.0
1550619875.134 * [misc]regime-testing:  Oracle error score: 64.0
1550619875.138 * [misc]regime-testing:  End program error score: 1.0176220121422752