1554043348.783 * [progress]: [Phase 1 of 3] Setting up.
1554043348.783 * * * [progress]: [1/2] Preparing points
1554043348.783 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1554043348.784 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1554043348.787 * * * * [points]: Setting MPFR precision to 64
1554043348.789 * * * * [points]: Setting MPFR precision to 320
1554043348.791 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1554043348.796 * * * * [points]: Setting MPFR precision to 64
1554043348.798 * * * * [points]: Setting MPFR precision to 320
1554043348.800 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1554043348.802 * * * * [points]: Setting MPFR precision to 64
1554043348.805 * * * * [points]: Setting MPFR precision to 320
1554043348.810 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1554043348.813 * * * * [points]: Setting MPFR precision to 64
1554043348.817 * * * * [points]: Setting MPFR precision to 320
1554043348.823 * * * * [points]: Computing exacts for 256 points
1554043348.839 * * * * [points]: Setting MPFR precision to 64
1554043348.852 * * * * [points]: Setting MPFR precision to 320
1554043348.871 * * * * [points]: Filtering points with unrepresentable outputs
1554043348.879 * * * * [points]: Sampled 256 points with exact outputs
1554043348.879 * * * [progress]: [2/2] Setting up program.
1554043348.901 * [progress]: [Phase 2 of 3] Improving.
1554043348.901 * * * * [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)))))>
1554043348.902 * [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))))
1554043348.902 * * [simplify]: iters left: 5 (12 enodes)
1554043348.907 * * [simplify]: iters left: 4 (35 enodes)
1554043348.919 * * [simplify]: iters left: 3 (83 enodes)
1554043348.949 * * [simplify]: iters left: 2 (233 enodes)
1554043349.087 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043349.088 * * [simplify]: Extracting #1: cost 29 inf + 0
1554043349.088 * * [simplify]: Extracting #2: cost 123 inf + 0
1554043349.089 * * [simplify]: Extracting #3: cost 244 inf + 1
1554043349.093 * * [simplify]: Extracting #4: cost 308 inf + 32857
1554043349.118 * * [simplify]: Extracting #5: cost 149 inf + 308686
1554043349.147 * * [simplify]: Extracting #6: cost 4 inf + 549893
1554043349.172 * * [simplify]: Extracting #7: cost 0 inf + 561504
1554043349.197 * [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)))
1554043349.197 * [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))))
1554043349.224 * * [progress]: iteration 1 / 4
1554043349.224 * * * [progress]: picking best candidate
1554043349.245 * * * * [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)))))>
1554043349.245 * * * [progress]: localizing error
1554043349.514 * * * [progress]: generating rewritten candidates
1554043349.514 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1554043349.537 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1554043349.542 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
1554043349.546 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1554043349.549 * * * [progress]: generating series expansions
1554043349.549 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1554043349.550 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1554043349.550 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
1554043349.550 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1554043349.550 * * * [progress]: simplifying candidates
1554043349.550 * * * * [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))))))>
1554043349.550 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1554043349.550 * * [simplify]: iters left: 3 (5 enodes)
1554043349.553 * * [simplify]: iters left: 2 (11 enodes)
1554043349.556 * * [simplify]: iters left: 1 (13 enodes)
1554043349.559 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043349.559 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043349.559 * * [simplify]: Extracting #2: cost 5 inf + 0
1554043349.559 * * [simplify]: Extracting #3: cost 3 inf + 2
1554043349.559 * * [simplify]: Extracting #4: cost 0 inf + 527
1554043349.559 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1554043349.559 * [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))))))
1554043349.559 * * * * [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))))))>
1554043349.559 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1554043349.559 * * [simplify]: iters left: 3 (5 enodes)
1554043349.561 * * [simplify]: iters left: 2 (11 enodes)
1554043349.563 * * [simplify]: iters left: 1 (13 enodes)
1554043349.565 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043349.565 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043349.565 * * [simplify]: Extracting #2: cost 5 inf + 0
1554043349.565 * * [simplify]: Extracting #3: cost 3 inf + 2
1554043349.565 * * [simplify]: Extracting #4: cost 0 inf + 527
1554043349.565 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1554043349.565 * [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))))))
1554043349.565 * * * * [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))))>
1554043349.565 * * * * [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)))))>
1554043349.565 * * * * [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)))))>
1554043349.565 * * * * [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)))))>
1554043349.565 * [simplify]: Simplifying (+.p16 x (real->posit16 1))
1554043349.565 * * [simplify]: iters left: 2 (4 enodes)
1554043349.566 * * [simplify]: iters left: 1 (10 enodes)
1554043349.568 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043349.568 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043349.568 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043349.568 * * [simplify]: Extracting #3: cost 0 inf + 45
1554043349.568 * [simplify]: Simplified to (+.p16 (real->posit16 1) x)
1554043349.568 * [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))))
1554043349.568 * * * * [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)))))>
1554043349.568 * [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))))
1554043349.569 * * [simplify]: iters left: 5 (12 enodes)
1554043349.571 * * [simplify]: iters left: 4 (35 enodes)
1554043349.578 * * [simplify]: iters left: 3 (83 enodes)
1554043349.594 * * [simplify]: iters left: 2 (233 enodes)
1554043349.664 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043349.664 * * [simplify]: Extracting #1: cost 29 inf + 0
1554043349.664 * * [simplify]: Extracting #2: cost 123 inf + 0
1554043349.665 * * [simplify]: Extracting #3: cost 244 inf + 1
1554043349.668 * * [simplify]: Extracting #4: cost 308 inf + 32857
1554043349.683 * * [simplify]: Extracting #5: cost 149 inf + 308686
1554043349.715 * * [simplify]: Extracting #6: cost 4 inf + 549893
1554043349.739 * * [simplify]: Extracting #7: cost 0 inf + 561504
1554043349.765 * [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)))
1554043349.765 * [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))))
1554043349.765 * * * * [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)))))>
1554043349.765 * [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))))
1554043349.765 * * [simplify]: iters left: 5 (12 enodes)
1554043349.768 * * [simplify]: iters left: 4 (35 enodes)
1554043349.776 * * [simplify]: iters left: 3 (83 enodes)
1554043349.792 * * [simplify]: iters left: 2 (233 enodes)
1554043349.867 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043349.867 * * [simplify]: Extracting #1: cost 29 inf + 0
1554043349.867 * * [simplify]: Extracting #2: cost 123 inf + 0
1554043349.869 * * [simplify]: Extracting #3: cost 244 inf + 1
1554043349.873 * * [simplify]: Extracting #4: cost 308 inf + 32857
1554043349.896 * * [simplify]: Extracting #5: cost 149 inf + 308686
1554043349.936 * * [simplify]: Extracting #6: cost 4 inf + 549893
1554043349.960 * * [simplify]: Extracting #7: cost 0 inf + 561504
1554043349.987 * [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)))
1554043349.987 * [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))))
1554043349.987 * * * * [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)))))>
1554043349.987 * [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))))
1554043349.987 * * [simplify]: iters left: 5 (12 enodes)
1554043349.990 * * [simplify]: iters left: 4 (35 enodes)
1554043349.997 * * [simplify]: iters left: 3 (83 enodes)
1554043350.013 * * [simplify]: iters left: 2 (233 enodes)
1554043350.082 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043350.082 * * [simplify]: Extracting #1: cost 29 inf + 0
1554043350.083 * * [simplify]: Extracting #2: cost 123 inf + 0
1554043350.083 * * [simplify]: Extracting #3: cost 244 inf + 1
1554043350.085 * * [simplify]: Extracting #4: cost 308 inf + 32857
1554043350.096 * * [simplify]: Extracting #5: cost 149 inf + 308686
1554043350.123 * * [simplify]: Extracting #6: cost 4 inf + 549893
1554043350.147 * * [simplify]: Extracting #7: cost 0 inf + 561504
1554043350.171 * [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)))
1554043350.171 * [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))))
1554043350.171 * * * * [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)))))>
1554043350.171 * [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))))
1554043350.171 * * [simplify]: iters left: 5 (12 enodes)
1554043350.174 * * [simplify]: iters left: 4 (35 enodes)
1554043350.181 * * [simplify]: iters left: 3 (83 enodes)
1554043350.196 * * [simplify]: iters left: 2 (233 enodes)
1554043350.293 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043350.293 * * [simplify]: Extracting #1: cost 29 inf + 0
1554043350.293 * * [simplify]: Extracting #2: cost 123 inf + 0
1554043350.294 * * [simplify]: Extracting #3: cost 244 inf + 1
1554043350.302 * * [simplify]: Extracting #4: cost 308 inf + 32857
1554043350.313 * * [simplify]: Extracting #5: cost 149 inf + 308686
1554043350.335 * * [simplify]: Extracting #6: cost 4 inf + 549893
1554043350.358 * * [simplify]: Extracting #7: cost 0 inf + 561504
1554043350.382 * [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)))
1554043350.382 * [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))))
1554043350.383 * * * [progress]: adding candidates to table
1554043350.762 * * [progress]: iteration 2 / 4
1554043350.762 * * * [progress]: picking best candidate
1554043350.844 * * * * [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))))))>
1554043350.844 * * * [progress]: localizing error
1554043351.116 * * * [progress]: generating rewritten candidates
1554043351.116 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1554043351.122 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1554043351.125 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1554043351.127 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
1554043351.128 * * * [progress]: generating series expansions
1554043351.128 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1554043351.128 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1554043351.128 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1554043351.128 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
1554043351.128 * * * [progress]: simplifying candidates
1554043351.128 * * * * [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)))))>
1554043351.129 * [simplify]: Simplifying (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))
1554043351.129 * * [simplify]: iters left: 3 (5 enodes)
1554043351.130 * * [simplify]: iters left: 2 (17 enodes)
1554043351.133 * * [simplify]: iters left: 1 (31 enodes)
1554043351.139 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043351.139 * * [simplify]: Extracting #1: cost 11 inf + 0
1554043351.139 * * [simplify]: Extracting #2: cost 28 inf + 0
1554043351.139 * * [simplify]: Extracting #3: cost 29 inf + 324
1554043351.139 * * [simplify]: Extracting #4: cost 22 inf + 6266
1554043351.140 * * [simplify]: Extracting #5: cost 3 inf + 23256
1554043351.141 * * [simplify]: Extracting #6: cost 0 inf + 26382
1554043351.142 * * [simplify]: Extracting #7: cost 0 inf + 25822
1554043351.143 * [simplify]: Simplified to (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))
1554043351.143 * [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)))))
1554043351.143 * * * * [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)))))>
1554043351.143 * * * * [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)))))>
1554043351.143 * * * * [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))))))>
1554043351.148 * [simplify]: Simplifying (+.p16 x (real->posit16 1))
1554043351.149 * * [simplify]: iters left: 2 (4 enodes)
1554043351.150 * * [simplify]: iters left: 1 (10 enodes)
1554043351.151 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043351.151 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043351.151 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043351.152 * * [simplify]: Extracting #3: cost 0 inf + 45
1554043351.152 * [simplify]: Simplified to (+.p16 (real->posit16 1) x)
1554043351.152 * [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)))))
1554043351.152 * * * * [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))))))>
1554043351.152 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1554043351.152 * * [simplify]: iters left: 3 (5 enodes)
1554043351.153 * * [simplify]: iters left: 2 (11 enodes)
1554043351.155 * * [simplify]: iters left: 1 (13 enodes)
1554043351.157 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043351.157 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043351.157 * * [simplify]: Extracting #2: cost 5 inf + 0
1554043351.157 * * [simplify]: Extracting #3: cost 3 inf + 2
1554043351.157 * * [simplify]: Extracting #4: cost 0 inf + 527
1554043351.157 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1554043351.157 * [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))))))
1554043351.157 * * * * [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))))))>
1554043351.157 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1554043351.157 * * [simplify]: iters left: 3 (5 enodes)
1554043351.158 * * [simplify]: iters left: 2 (11 enodes)
1554043351.160 * * [simplify]: iters left: 1 (13 enodes)
1554043351.162 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043351.162 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043351.162 * * [simplify]: Extracting #2: cost 5 inf + 0
1554043351.162 * * [simplify]: Extracting #3: cost 3 inf + 2
1554043351.162 * * [simplify]: Extracting #4: cost 0 inf + 527
1554043351.162 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1554043351.162 * [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))))))
1554043351.163 * * * * [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))))))>
1554043351.163 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1554043351.163 * * [simplify]: iters left: 3 (5 enodes)
1554043351.164 * * [simplify]: iters left: 2 (11 enodes)
1554043351.166 * * [simplify]: iters left: 1 (13 enodes)
1554043351.168 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043351.168 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043351.168 * * [simplify]: Extracting #2: cost 5 inf + 0
1554043351.168 * * [simplify]: Extracting #3: cost 3 inf + 2
1554043351.168 * * [simplify]: Extracting #4: cost 0 inf + 527
1554043351.168 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1554043351.168 * [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))))))
1554043351.168 * * * * [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))))))>
1554043351.168 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1554043351.168 * * [simplify]: iters left: 3 (5 enodes)
1554043351.169 * * [simplify]: iters left: 2 (11 enodes)
1554043351.171 * * [simplify]: iters left: 1 (13 enodes)
1554043351.173 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043351.173 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043351.173 * * [simplify]: Extracting #2: cost 5 inf + 0
1554043351.173 * * [simplify]: Extracting #3: cost 3 inf + 2
1554043351.173 * * [simplify]: Extracting #4: cost 0 inf + 527
1554043351.173 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1554043351.173 * [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))))))
1554043351.173 * * * [progress]: adding candidates to table
1554043351.618 * * [progress]: iteration 3 / 4
1554043351.618 * * * [progress]: picking best candidate
1554043351.696 * * * * [pick]: Picked  #<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)))))>
1554043351.696 * * * [progress]: localizing error
1554043352.212 * * * [progress]: generating rewritten candidates
1554043352.212 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1554043352.224 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1554043352.227 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1554043352.236 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
1554043352.238 * * * [progress]: generating series expansions
1554043352.238 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1554043352.238 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1554043352.238 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1554043352.238 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
1554043352.238 * * * [progress]: simplifying candidates
1554043352.238 * * * * [progress]: [ 1 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (+.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)))) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1))))>
1554043352.239 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1))
1554043352.239 * * [simplify]: iters left: 5 (8 enodes)
1554043352.242 * * [simplify]: iters left: 4 (25 enodes)
1554043352.249 * * [simplify]: iters left: 3 (62 enodes)
1554043352.264 * * [simplify]: iters left: 2 (193 enodes)
1554043352.341 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043352.341 * * [simplify]: Extracting #1: cost 65 inf + 0
1554043352.342 * * [simplify]: Extracting #2: cost 241 inf + 0
1554043352.346 * * [simplify]: Extracting #3: cost 260 inf + 43096
1554043352.362 * * [simplify]: Extracting #4: cost 122 inf + 266467
1554043352.396 * * [simplify]: Extracting #5: cost 18 inf + 464771
1554043352.436 * * [simplify]: Extracting #6: cost 0 inf + 502437
1554043352.472 * * [simplify]: Extracting #7: cost 0 inf + 501277
1554043352.510 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))
1554043352.510 * [simplify]: Simplified (2 2) to (λ (x) (+.p16 (+.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)))) x)) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))
1554043352.510 * * * * [progress]: [ 2 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.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)))))))>
1554043352.511 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))
1554043352.511 * * [simplify]: iters left: 5 (8 enodes)
1554043352.515 * * [simplify]: iters left: 4 (25 enodes)
1554043352.523 * * [simplify]: iters left: 3 (62 enodes)
1554043352.546 * * [simplify]: iters left: 2 (193 enodes)
1554043352.682 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043352.682 * * [simplify]: Extracting #1: cost 65 inf + 0
1554043352.683 * * [simplify]: Extracting #2: cost 241 inf + 0
1554043352.687 * * [simplify]: Extracting #3: cost 260 inf + 43096
1554043352.704 * * [simplify]: Extracting #4: cost 122 inf + 266467
1554043352.737 * * [simplify]: Extracting #5: cost 18 inf + 464771
1554043352.775 * * [simplify]: Extracting #6: cost 0 inf + 502437
1554043352.815 * * [simplify]: Extracting #7: cost 0 inf + 501277
1554043352.851 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))
1554043352.851 * [simplify]: Simplified (2 2) to (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.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))))))
1554043352.851 * * * * [progress]: [ 3 / 18 ] 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))))))>
1554043352.851 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1554043352.852 * * [simplify]: iters left: 3 (5 enodes)
1554043352.854 * * [simplify]: iters left: 2 (11 enodes)
1554043352.857 * * [simplify]: iters left: 1 (13 enodes)
1554043352.861 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043352.861 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043352.861 * * [simplify]: Extracting #2: cost 5 inf + 0
1554043352.861 * * [simplify]: Extracting #3: cost 3 inf + 2
1554043352.861 * * [simplify]: Extracting #4: cost 0 inf + 527
1554043352.861 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1554043352.861 * [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 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))))))
1554043352.861 * * * * [progress]: [ 4 / 18 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.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))))))>
1554043352.862 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1554043352.862 * * [simplify]: iters left: 3 (5 enodes)
1554043352.864 * * [simplify]: iters left: 2 (11 enodes)
1554043352.867 * * [simplify]: iters left: 1 (13 enodes)
1554043352.870 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043352.870 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043352.870 * * [simplify]: Extracting #2: cost 5 inf + 0
1554043352.870 * * [simplify]: Extracting #3: cost 3 inf + 2
1554043352.871 * * [simplify]: Extracting #4: cost 0 inf + 527
1554043352.871 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1554043352.871 * [simplify]: Simplified (2 1) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.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))))))
1554043352.871 * * * * [progress]: [ 5 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))>
1554043352.871 * * * * [progress]: [ 6 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.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)))))>
1554043352.871 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1))
1554043352.871 * * [simplify]: iters left: 5 (8 enodes)
1554043352.875 * * [simplify]: iters left: 4 (25 enodes)
1554043352.884 * * [simplify]: iters left: 3 (62 enodes)
1554043352.907 * * [simplify]: iters left: 2 (193 enodes)
1554043352.991 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043352.991 * * [simplify]: Extracting #1: cost 65 inf + 0
1554043352.992 * * [simplify]: Extracting #2: cost 241 inf + 0
1554043352.994 * * [simplify]: Extracting #3: cost 260 inf + 43096
1554043353.004 * * [simplify]: Extracting #4: cost 122 inf + 266467
1554043353.024 * * [simplify]: Extracting #5: cost 18 inf + 464771
1554043353.048 * * [simplify]: Extracting #6: cost 0 inf + 502437
1554043353.086 * * [simplify]: Extracting #7: cost 0 inf + 501277
1554043353.125 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))
1554043353.125 * [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 (/.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)))))))
1554043353.126 * * * * [progress]: [ 7 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.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))))))))>
1554043353.126 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))
1554043353.126 * * [simplify]: iters left: 5 (8 enodes)
1554043353.130 * * [simplify]: iters left: 4 (25 enodes)
1554043353.136 * * [simplify]: iters left: 3 (62 enodes)
1554043353.148 * * [simplify]: iters left: 2 (193 enodes)
1554043353.224 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043353.225 * * [simplify]: Extracting #1: cost 65 inf + 0
1554043353.225 * * [simplify]: Extracting #2: cost 241 inf + 0
1554043353.227 * * [simplify]: Extracting #3: cost 260 inf + 43096
1554043353.237 * * [simplify]: Extracting #4: cost 122 inf + 266467
1554043353.259 * * [simplify]: Extracting #5: cost 18 inf + 464771
1554043353.280 * * [simplify]: Extracting #6: cost 0 inf + 502437
1554043353.307 * * [simplify]: Extracting #7: cost 0 inf + 501277
1554043353.348 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))
1554043353.348 * [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 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)))))))
1554043353.348 * * * * [progress]: [ 8 / 18 ] 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 (*.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))))))>
1554043353.349 * [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)))))
1554043353.349 * * [simplify]: iters left: 5 (9 enodes)
1554043353.353 * * [simplify]: iters left: 4 (32 enodes)
1554043353.366 * * [simplify]: iters left: 3 (76 enodes)
1554043353.399 * * [simplify]: iters left: 2 (239 enodes)
1554043353.579 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043353.579 * * [simplify]: Extracting #1: cost 46 inf + 0
1554043353.581 * * [simplify]: Extracting #2: cost 215 inf + 0
1554043353.584 * * [simplify]: Extracting #3: cost 259 inf + 37842
1554043353.609 * * [simplify]: Extracting #4: cost 141 inf + 336186
1554043353.659 * * [simplify]: Extracting #5: cost 28 inf + 595296
1554043353.719 * * [simplify]: Extracting #6: cost 1 inf + 655569
1554043353.779 * * [simplify]: Extracting #7: cost 0 inf + 659011
1554043353.839 * [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)))))
1554043353.839 * [simplify]: Simplified (2 2 1) 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 (*.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))))))
1554043353.839 * * * * [progress]: [ 9 / 18 ] 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 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))>
1554043353.840 * [simplify]: Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1554043353.840 * * [simplify]: iters left: 3 (5 enodes)
1554043353.843 * * [simplify]: iters left: 2 (17 enodes)
1554043353.850 * * [simplify]: iters left: 1 (21 enodes)
1554043353.856 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043353.856 * * [simplify]: Extracting #1: cost 5 inf + 0
1554043353.856 * * [simplify]: Extracting #2: cost 7 inf + 0
1554043353.856 * * [simplify]: Extracting #3: cost 5 inf + 2
1554043353.857 * * [simplify]: Extracting #4: cost 0 inf + 1050
1554043353.857 * [simplify]: Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1554043353.857 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.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))))))
1554043353.857 * * * * [progress]: [ 10 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.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)))))))>
1554043353.857 * * * * [progress]: [ 11 / 18 ] 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)))))>
1554043353.857 * * * * [progress]: [ 12 / 18 ] 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 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))>
1554043353.857 * * * * [progress]: [ 13 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.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)))))>
1554043353.858 * [simplify]: Simplifying (-.p16 x (real->posit16 1))
1554043353.858 * * [simplify]: iters left: 2 (4 enodes)
1554043353.860 * * [simplify]: iters left: 1 (16 enodes)
1554043353.866 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043353.866 * * [simplify]: Extracting #1: cost 6 inf + 0
1554043353.866 * * [simplify]: Extracting #2: cost 11 inf + 1
1554043353.866 * * [simplify]: Extracting #3: cost 11 inf + 323
1554043353.867 * * [simplify]: Extracting #4: cost 5 inf + 1491
1554043353.867 * * [simplify]: Extracting #5: cost 1 inf + 3657
1554043353.867 * * [simplify]: Extracting #6: cost 0 inf + 5019
1554043353.868 * [simplify]: Simplified to (-.p16 x (real->posit16 1))
1554043353.868 * [simplify]: Simplified (2 2 1 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.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)))))
1554043353.868 * * * * [progress]: [ 14 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.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)))))>
1554043353.868 * [simplify]: Simplifying (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))
1554043353.868 * * [simplify]: iters left: 3 (6 enodes)
1554043353.872 * * [simplify]: iters left: 2 (12 enodes)
1554043353.876 * * [simplify]: iters left: 1 (14 enodes)
1554043353.881 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043353.881 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043353.881 * * [simplify]: Extracting #2: cost 5 inf + 0
1554043353.881 * * [simplify]: Extracting #3: cost 5 inf + 1
1554043353.881 * * [simplify]: Extracting #4: cost 0 inf + 1327
1554043353.881 * [simplify]: Simplified to (+.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 x x))
1554043353.881 * [simplify]: Simplified (2 2 1 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.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)))))
1554043353.882 * * * * [progress]: [ 15 / 18 ] 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)))))>
1554043353.882 * [simplify]: Simplifying (+.p16 x (real->posit16 1))
1554043353.882 * * [simplify]: iters left: 2 (4 enodes)
1554043353.885 * * [simplify]: iters left: 1 (10 enodes)
1554043353.889 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043353.889 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043353.889 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043353.889 * * [simplify]: Extracting #3: cost 0 inf + 45
1554043353.889 * [simplify]: Simplified to (+.p16 (real->posit16 1) x)
1554043353.889 * [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))))
1554043353.889 * * * * [progress]: [ 16 / 18 ] 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)))))>
1554043353.889 * [simplify]: Simplifying (+.p16 x (real->posit16 1))
1554043353.889 * * [simplify]: iters left: 2 (4 enodes)
1554043353.890 * * [simplify]: iters left: 1 (10 enodes)
1554043353.892 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043353.892 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043353.892 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043353.892 * * [simplify]: Extracting #3: cost 0 inf + 45
1554043353.892 * [simplify]: Simplified to (+.p16 (real->posit16 1) x)
1554043353.892 * [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))))
1554043353.892 * * * * [progress]: [ 17 / 18 ] 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)))))>
1554043353.892 * [simplify]: Simplifying (+.p16 x (real->posit16 1))
1554043353.892 * * [simplify]: iters left: 2 (4 enodes)
1554043353.893 * * [simplify]: iters left: 1 (10 enodes)
1554043353.895 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043353.895 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043353.895 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043353.895 * * [simplify]: Extracting #3: cost 0 inf + 45
1554043353.895 * [simplify]: Simplified to (+.p16 (real->posit16 1) x)
1554043353.895 * [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))))
1554043353.895 * * * * [progress]: [ 18 / 18 ] 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)))))>
1554043353.896 * [simplify]: Simplifying (+.p16 x (real->posit16 1))
1554043353.896 * * [simplify]: iters left: 2 (4 enodes)
1554043353.897 * * [simplify]: iters left: 1 (10 enodes)
1554043353.898 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043353.898 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043353.898 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043353.898 * * [simplify]: Extracting #3: cost 0 inf + 45
1554043353.899 * [simplify]: Simplified to (+.p16 (real->posit16 1) x)
1554043353.899 * [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))))
1554043353.899 * * * [progress]: adding candidates to table
1554043355.598 * * [progress]: iteration 4 / 4
1554043355.598 * * * [progress]: picking best candidate
1554043355.841 * * * * [pick]: Picked  #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.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)))))>
1554043355.842 * * * [progress]: localizing error
1554043356.302 * * * [progress]: generating rewritten candidates
1554043356.302 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1554043356.325 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1554043356.332 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1554043356.337 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
1554043356.342 * * * [progress]: generating series expansions
1554043356.342 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1554043356.342 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1554043356.342 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1554043356.342 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
1554043356.342 * * * [progress]: simplifying candidates
1554043356.342 * * * * [progress]: [ 1 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) x)) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (real->posit16 1))))>
1554043356.343 * [simplify]: Simplifying (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (real->posit16 1))
1554043356.343 * * [simplify]: iters left: 5 (8 enodes)
1554043356.347 * * [simplify]: iters left: 4 (25 enodes)
1554043356.367 * * [simplify]: iters left: 3 (58 enodes)
1554043356.391 * * [simplify]: iters left: 2 (208 enodes)
1554043356.522 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043356.522 * * [simplify]: Extracting #1: cost 55 inf + 0
1554043356.523 * * [simplify]: Extracting #2: cost 224 inf + 0
1554043356.528 * * [simplify]: Extracting #3: cost 210 inf + 64538
1554043356.554 * * [simplify]: Extracting #4: cost 41 inf + 304741
1554043356.585 * * [simplify]: Extracting #5: cost 7 inf + 347995
1554043356.612 * * [simplify]: Extracting #6: cost 0 inf + 360005
1554043356.629 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (-.p16 x (real->posit16 1)) (+.p16 (real->posit16 1) x)))
1554043356.629 * [simplify]: Simplified (2 2) to (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) x)) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (-.p16 x (real->posit16 1)) (+.p16 (real->posit16 1) x)))))
1554043356.629 * * * * [progress]: [ 2 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 x (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))))) (*.p16 (real->posit16 1) (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))))))>
1554043356.629 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))))
1554043356.629 * * [simplify]: iters left: 5 (8 enodes)
1554043356.631 * * [simplify]: iters left: 4 (25 enodes)
1554043356.636 * * [simplify]: iters left: 3 (58 enodes)
1554043356.648 * * [simplify]: iters left: 2 (206 enodes)
1554043356.789 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043356.789 * * [simplify]: Extracting #1: cost 55 inf + 0
1554043356.790 * * [simplify]: Extracting #2: cost 223 inf + 0
1554043356.794 * * [simplify]: Extracting #3: cost 221 inf + 52354
1554043356.811 * * [simplify]: Extracting #4: cost 48 inf + 288081
1554043356.836 * * [simplify]: Extracting #5: cost 5 inf + 349034
1554043356.864 * * [simplify]: Extracting #6: cost 0 inf + 355762
1554043356.893 * * [simplify]: Extracting #7: cost 0 inf + 355642
1554043356.920 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (-.p16 x (real->posit16 1)) (+.p16 (real->posit16 1) x)))
1554043356.921 * [simplify]: Simplified (2 2) to (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 x (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))))) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (-.p16 x (real->posit16 1)) (+.p16 (real->posit16 1) x)))))
1554043356.921 * * * * [progress]: [ 3 / 18 ] 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))))))>
1554043356.921 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1554043356.921 * * [simplify]: iters left: 3 (5 enodes)
1554043356.924 * * [simplify]: iters left: 2 (11 enodes)
1554043356.927 * * [simplify]: iters left: 1 (13 enodes)
1554043356.930 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043356.930 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043356.930 * * [simplify]: Extracting #2: cost 5 inf + 0
1554043356.930 * * [simplify]: Extracting #3: cost 3 inf + 2
1554043356.930 * * [simplify]: Extracting #4: cost 0 inf + 527
1554043356.930 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1554043356.930 * [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 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))))))
1554043356.930 * * * * [progress]: [ 4 / 18 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.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))))))>
1554043356.931 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1554043356.931 * * [simplify]: iters left: 3 (5 enodes)
1554043356.933 * * [simplify]: iters left: 2 (11 enodes)
1554043356.936 * * [simplify]: iters left: 1 (13 enodes)
1554043356.939 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043356.939 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043356.939 * * [simplify]: Extracting #2: cost 5 inf + 0
1554043356.939 * * [simplify]: Extracting #3: cost 3 inf + 2
1554043356.939 * * [simplify]: Extracting #4: cost 0 inf + 527
1554043356.939 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1554043356.939 * [simplify]: Simplified (2 1) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.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))))))
1554043356.940 * * * * [progress]: [ 5 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))>
1554043356.940 * * * * [progress]: [ 6 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) x) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (real->posit16 1)))))>
1554043356.940 * [simplify]: Simplifying (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (real->posit16 1))
1554043356.940 * * [simplify]: iters left: 5 (8 enodes)
1554043356.943 * * [simplify]: iters left: 4 (25 enodes)
1554043356.951 * * [simplify]: iters left: 3 (58 enodes)
1554043356.972 * * [simplify]: iters left: 2 (208 enodes)
1554043357.106 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043357.106 * * [simplify]: Extracting #1: cost 55 inf + 0
1554043357.106 * * [simplify]: Extracting #2: cost 224 inf + 0
1554043357.109 * * [simplify]: Extracting #3: cost 210 inf + 64538
1554043357.121 * * [simplify]: Extracting #4: cost 41 inf + 304741
1554043357.140 * * [simplify]: Extracting #5: cost 7 inf + 347995
1554043357.161 * * [simplify]: Extracting #6: cost 0 inf + 360005
1554043357.186 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (-.p16 x (real->posit16 1)) (+.p16 (real->posit16 1) x)))
1554043357.186 * [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 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (-.p16 x (real->posit16 1)) (+.p16 (real->posit16 1) x))))))
1554043357.186 * * * * [progress]: [ 7 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 x (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1)))) (*.p16 (real->posit16 1) (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1)))))))>
1554043357.186 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))))
1554043357.186 * * [simplify]: iters left: 5 (8 enodes)
1554043357.189 * * [simplify]: iters left: 4 (25 enodes)
1554043357.195 * * [simplify]: iters left: 3 (58 enodes)
1554043357.216 * * [simplify]: iters left: 2 (206 enodes)
1554043357.370 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043357.370 * * [simplify]: Extracting #1: cost 55 inf + 0
1554043357.371 * * [simplify]: Extracting #2: cost 223 inf + 0
1554043357.375 * * [simplify]: Extracting #3: cost 221 inf + 52354
1554043357.392 * * [simplify]: Extracting #4: cost 48 inf + 288081
1554043357.418 * * [simplify]: Extracting #5: cost 5 inf + 349034
1554043357.447 * * [simplify]: Extracting #6: cost 0 inf + 355762
1554043357.477 * * [simplify]: Extracting #7: cost 0 inf + 355642
1554043357.493 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (-.p16 x (real->posit16 1)) (+.p16 (real->posit16 1) x)))
1554043357.493 * [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 x (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1)))) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (-.p16 x (real->posit16 1)) (+.p16 (real->posit16 1) x))))))
1554043357.493 * * * * [progress]: [ 8 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (*.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))))))>
1554043357.493 * [simplify]: Simplifying (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))
1554043357.493 * * [simplify]: iters left: 4 (9 enodes)
1554043357.496 * * [simplify]: iters left: 3 (26 enodes)
1554043357.501 * * [simplify]: iters left: 2 (67 enodes)
1554043357.514 * * [simplify]: iters left: 1 (216 enodes)
1554043357.616 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043357.616 * * [simplify]: Extracting #1: cost 48 inf + 0
1554043357.617 * * [simplify]: Extracting #2: cost 223 inf + 0
1554043357.618 * * [simplify]: Extracting #3: cost 283 inf + 35278
1554043357.632 * * [simplify]: Extracting #4: cost 96 inf + 329500
1554043357.659 * * [simplify]: Extracting #5: cost 8 inf + 486011
1554043357.696 * * [simplify]: Extracting #6: cost 0 inf + 503382
1554043357.722 * [simplify]: Simplified to (/.p16 (real->posit16 1) (*.p16 (-.p16 x (real->posit16 1)) (*.p16 (+.p16 (real->posit16 1) x) (+.p16 (real->posit16 1) x))))
1554043357.722 * [simplify]: Simplified (2 2 1) 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 (real->posit16 1)) (*.p16 (+.p16 (real->posit16 1) x) (+.p16 (real->posit16 1) x)))) (*.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))))))
1554043357.722 * * * * [progress]: [ 9 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.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)))))>
1554043357.723 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1)))
1554043357.723 * * [simplify]: iters left: 4 (6 enodes)
1554043357.725 * * [simplify]: iters left: 3 (21 enodes)
1554043357.729 * * [simplify]: iters left: 2 (39 enodes)
1554043357.738 * * [simplify]: iters left: 1 (46 enodes)
1554043357.747 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043357.747 * * [simplify]: Extracting #1: cost 8 inf + 0
1554043357.747 * * [simplify]: Extracting #2: cost 14 inf + 1
1554043357.748 * * [simplify]: Extracting #3: cost 11 inf + 4
1554043357.748 * * [simplify]: Extracting #4: cost 4 inf + 2016
1554043357.748 * * [simplify]: Extracting #5: cost 0 inf + 4584
1554043357.749 * [simplify]: Simplified to (real->posit16 1)
1554043357.749 * [simplify]: Simplified (2 2 1) to (λ (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)))))
1554043357.749 * * * * [progress]: [ 10 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (+.p16 x (real->posit16 1)) (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))))))>
1554043357.749 * * * * [progress]: [ 11 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (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)))))>
1554043357.749 * * * * [progress]: [ 12 / 18 ] 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 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1)))))>
1554043357.749 * * * * [progress]: [ 13 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1)))))>
1554043357.749 * [simplify]: Simplifying (+.p16 x (real->posit16 1))
1554043357.750 * * [simplify]: iters left: 2 (4 enodes)
1554043357.751 * * [simplify]: iters left: 1 (10 enodes)
1554043357.755 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043357.755 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043357.755 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043357.755 * * [simplify]: Extracting #3: cost 0 inf + 45
1554043357.755 * [simplify]: Simplified to (+.p16 (real->posit16 1) x)
1554043357.755 * [simplify]: Simplified (2 2 1 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (*.p16 (/.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) x)) (+.p16 x (real->posit16 1)))))
1554043357.755 * * * * [progress]: [ 14 / 18 ] 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 (real->posit16 1)) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1)))))>
1554043357.755 * [simplify]: Simplifying (real->posit16 1)
1554043357.755 * * [simplify]: iters left: 1 (2 enodes)
1554043357.757 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043357.757 * * [simplify]: Extracting #1: cost 2 inf + 0
1554043357.757 * * [simplify]: Extracting #2: cost 1 inf + 1
1554043357.757 * * [simplify]: Extracting #3: cost 0 inf + 2
1554043357.757 * [simplify]: Simplified to (real->posit16 1)
1554043357.757 * [simplify]: Simplified (2 2 1 1) 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 (real->posit16 1)) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1)))))
1554043357.757 * * * * [progress]: [ 15 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.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)))))>
1554043357.757 * [simplify]: Simplifying (-.p16 x (real->posit16 1))
1554043357.757 * * [simplify]: iters left: 2 (4 enodes)
1554043357.759 * * [simplify]: iters left: 1 (16 enodes)
1554043357.765 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043357.765 * * [simplify]: Extracting #1: cost 6 inf + 0
1554043357.765 * * [simplify]: Extracting #2: cost 11 inf + 1
1554043357.765 * * [simplify]: Extracting #3: cost 11 inf + 323
1554043357.765 * * [simplify]: Extracting #4: cost 5 inf + 1491
1554043357.766 * * [simplify]: Extracting #5: cost 1 inf + 3657
1554043357.766 * * [simplify]: Extracting #6: cost 0 inf + 5019
1554043357.767 * [simplify]: Simplified to (-.p16 x (real->posit16 1))
1554043357.767 * [simplify]: Simplified (2 2 1 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.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)))))
1554043357.767 * * * * [progress]: [ 16 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.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)))))>
1554043357.767 * [simplify]: Simplifying (-.p16 x (real->posit16 1))
1554043357.767 * * [simplify]: iters left: 2 (4 enodes)
1554043357.769 * * [simplify]: iters left: 1 (16 enodes)
1554043357.774 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043357.774 * * [simplify]: Extracting #1: cost 6 inf + 0
1554043357.774 * * [simplify]: Extracting #2: cost 11 inf + 1
1554043357.774 * * [simplify]: Extracting #3: cost 11 inf + 323
1554043357.775 * * [simplify]: Extracting #4: cost 5 inf + 1491
1554043357.775 * * [simplify]: Extracting #5: cost 1 inf + 3657
1554043357.775 * * [simplify]: Extracting #6: cost 0 inf + 5019
1554043357.776 * [simplify]: Simplified to (-.p16 x (real->posit16 1))
1554043357.776 * [simplify]: Simplified (2 2 1 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.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)))))
1554043357.776 * * * * [progress]: [ 17 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.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)))))>
1554043357.776 * [simplify]: Simplifying (-.p16 x (real->posit16 1))
1554043357.776 * * [simplify]: iters left: 2 (4 enodes)
1554043357.778 * * [simplify]: iters left: 1 (16 enodes)
1554043357.782 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043357.782 * * [simplify]: Extracting #1: cost 6 inf + 0
1554043357.782 * * [simplify]: Extracting #2: cost 11 inf + 1
1554043357.783 * * [simplify]: Extracting #3: cost 11 inf + 323
1554043357.783 * * [simplify]: Extracting #4: cost 5 inf + 1491
1554043357.783 * * [simplify]: Extracting #5: cost 1 inf + 3657
1554043357.783 * * [simplify]: Extracting #6: cost 0 inf + 5019
1554043357.784 * [simplify]: Simplified to (-.p16 x (real->posit16 1))
1554043357.784 * [simplify]: Simplified (2 2 1 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.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)))))
1554043357.784 * * * * [progress]: [ 18 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.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)))))>
1554043357.784 * [simplify]: Simplifying (-.p16 x (real->posit16 1))
1554043357.784 * * [simplify]: iters left: 2 (4 enodes)
1554043357.786 * * [simplify]: iters left: 1 (16 enodes)
1554043357.791 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043357.791 * * [simplify]: Extracting #1: cost 6 inf + 0
1554043357.791 * * [simplify]: Extracting #2: cost 11 inf + 1
1554043357.791 * * [simplify]: Extracting #3: cost 11 inf + 323
1554043357.791 * * [simplify]: Extracting #4: cost 5 inf + 1491
1554043357.791 * * [simplify]: Extracting #5: cost 1 inf + 3657
1554043357.792 * * [simplify]: Extracting #6: cost 0 inf + 5019
1554043357.792 * [simplify]: Simplified to (-.p16 x (real->posit16 1))
1554043357.792 * [simplify]: Simplified (2 2 1 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.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)))))
1554043357.792 * * * [progress]: adding candidates to table
1554043358.942 * [progress]: [Phase 3 of 3] Extracting.
1554043358.942 * * [regime]: Finding splitpoints for: (#<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 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.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))))))> #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) x) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (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 (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 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (*.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))))))> #<alt (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.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 (-.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 (/.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 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.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)))))> #<alt (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 x (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))))) (*.p16 (real->posit16 1) (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))))))>)
1554043358.944 * * * [regime-changes]: Trying 1 branch expressions: (x)
1554043358.944 * * * * [regimes]: Trying to branch on x from (#<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 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.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))))))> #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) x) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (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 (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 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (*.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))))))> #<alt (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.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 (-.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 (/.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 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.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)))))> #<alt (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 x (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))))) (*.p16 (real->posit16 1) (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))))))>)
1554043359.395 * * * [regime]: Found split indices: #<option (#s(si 3 256))>
1554043359.395 * [simplify]: Simplifying (+.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)))))
1554043359.395 * * [simplify]: iters left: 5 (13 enodes)
1554043359.397 * * [simplify]: iters left: 4 (15 enodes)
1554043359.397 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043359.398 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043359.398 * * [simplify]: Extracting #2: cost 7 inf + 0
1554043359.398 * * [simplify]: Extracting #3: cost 11 inf + 0
1554043359.398 * * [simplify]: Extracting #4: cost 10 inf + 2
1554043359.398 * * [simplify]: Extracting #5: cost 6 inf + 1131
1554043359.398 * * [simplify]: Extracting #6: cost 5 inf + 1132
1554043359.398 * * [simplify]: Extracting #7: cost 3 inf + 1575
1554043359.398 * * [simplify]: Extracting #8: cost 1 inf + 3180
1554043359.398 * * [simplify]: Extracting #9: cost 0 inf + 4783
1554043359.398 * [simplify]: Simplified to (+.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)))))
1554043359.398 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1554043359.411 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1554043359.414 * * * * [points]: Setting MPFR precision to 64
1554043359.415 * * * * [points]: Setting MPFR precision to 320
1554043359.416 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1554043359.419 * * * * [points]: Setting MPFR precision to 64
1554043359.430 * * * * [points]: Setting MPFR precision to 320
1554043359.432 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1554043359.435 * * * * [points]: Setting MPFR precision to 64
1554043359.438 * * * * [points]: Setting MPFR precision to 320
1554043359.442 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1554043359.445 * * * * [points]: Setting MPFR precision to 64
1554043359.454 * * * * [points]: Setting MPFR precision to 320
1554043359.465 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1554043359.467 * * * * [points]: Setting MPFR precision to 64
1554043359.486 * * * * [points]: Setting MPFR precision to 320
1554043359.513 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1554043359.517 * * * * [points]: Setting MPFR precision to 64
1554043359.553 * * * * [points]: Setting MPFR precision to 320
1554043359.609 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1554043359.612 * * * * [points]: Setting MPFR precision to 64
1554043359.662 * * * * [points]: Setting MPFR precision to 320
1554043359.748 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1554043359.785 * * * * [points]: Setting MPFR precision to 64
1554043359.895 * * * * [points]: Setting MPFR precision to 320
1554043360.133 * * * * [points]: Computing exacts for 8000 points
1554043360.138 * * * * [points]: Setting MPFR precision to 64
1554043361.025 * * * * [points]: Setting MPFR precision to 320
1554043361.942 * * * * [points]: Filtering points with unrepresentable outputs
1554043362.637 * * * * [points]: Sampled 8000 points with exact outputs
1554043370.307 * [regime-testing]: Baseline error score: 64.0
1554043370.309 * [regime-testing]: Oracle error score: 64.0
1554043370.313 * [regime-testing]: End program error score: 1.0094556934214094