1552126649.250 * [progress]: [Phase 1 of 3] Setting up.
1552126649.250 * * * [progress]: [1/2] Preparing points
1552126649.250 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1552126649.251 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1552126649.255 * * * * [points]: Setting MPFR precision to 64
1552126649.257 * * * * [points]: Setting MPFR precision to 320
1552126649.259 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1552126649.264 * * * * [points]: Setting MPFR precision to 64
1552126649.266 * * * * [points]: Setting MPFR precision to 320
1552126649.270 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1552126649.275 * * * * [points]: Setting MPFR precision to 64
1552126649.280 * * * * [points]: Setting MPFR precision to 320
1552126649.286 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1552126649.292 * * * * [points]: Setting MPFR precision to 64
1552126649.301 * * * * [points]: Setting MPFR precision to 320
1552126649.312 * * * * [points]: Computing exacts for 256 points
1552126649.317 * * * * [points]: Setting MPFR precision to 64
1552126649.342 * * * * [points]: Setting MPFR precision to 320
1552126649.375 * * * * [points]: Filtering points with unrepresentable outputs
1552126649.392 * * * * [points]: Sampled 256 points with exact outputs
1552126649.392 * * * [progress]: [2/2] Setting up program.
1552126649.457 * [progress]: [Phase 2 of 3] Improving.
1552126649.457 * * * * [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)))))>
1552126649.457 * [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))))
1552126649.457 * * [simplify]: iters left: 5 (12 enodes)
1552126649.464 * * [simplify]: iters left: 4 (35 enodes)
1552126649.477 * * [simplify]: iters left: 3 (83 enodes)
1552126649.511 * * [simplify]: iters left: 2 (233 enodes)
1552126649.653 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126649.653 * * [simplify]: Extracting #1: cost 29 inf + 0
1552126649.653 * * [simplify]: Extracting #2: cost 123 inf + 0
1552126649.655 * * [simplify]: Extracting #3: cost 244 inf + 1
1552126649.659 * * [simplify]: Extracting #4: cost 308 inf + 32857
1552126649.681 * * [simplify]: Extracting #5: cost 149 inf + 308686
1552126649.725 * * [simplify]: Extracting #6: cost 4 inf + 549893
1552126649.770 * * [simplify]: Extracting #7: cost 0 inf + 561504
1552126649.795 * [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)))
1552126649.795 * [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))))
1552126649.825 * * [progress]: iteration 1 / 4
1552126649.825 * * * [progress]: picking best candidate
1552126649.867 * * * * [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)))))>
1552126649.867 * * * [progress]: localizing error
1552126650.247 * * * [progress]: generating rewritten candidates
1552126650.247 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1552126650.259 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1552126650.261 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
1552126650.262 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
1552126650.264 * * * [progress]: generating series expansions
1552126650.264 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1552126650.264 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1552126650.264 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
1552126650.264 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
1552126650.264 * * * [progress]: simplifying candidates
1552126650.264 * * * * [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))))))>
1552126650.264 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1552126650.264 * * [simplify]: iters left: 3 (5 enodes)
1552126650.266 * * [simplify]: iters left: 2 (11 enodes)
1552126650.268 * * [simplify]: iters left: 1 (13 enodes)
1552126650.270 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126650.270 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126650.270 * * [simplify]: Extracting #2: cost 5 inf + 0
1552126650.270 * * [simplify]: Extracting #3: cost 3 inf + 2
1552126650.270 * * [simplify]: Extracting #4: cost 0 inf + 527
1552126650.270 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1552126650.270 * [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))))))
1552126650.270 * * * * [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))))))>
1552126650.270 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1552126650.277 * * [simplify]: iters left: 3 (5 enodes)
1552126650.279 * * [simplify]: iters left: 2 (11 enodes)
1552126650.281 * * [simplify]: iters left: 1 (13 enodes)
1552126650.283 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126650.283 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126650.283 * * [simplify]: Extracting #2: cost 5 inf + 0
1552126650.283 * * [simplify]: Extracting #3: cost 3 inf + 2
1552126650.283 * * [simplify]: Extracting #4: cost 0 inf + 527
1552126650.283 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1552126650.283 * [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))))))
1552126650.283 * * * * [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))))>
1552126650.283 * * * * [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)))))>
1552126650.283 * * * * [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)))))>
1552126650.283 * * * * [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)))))>
1552126650.284 * [simplify]: Simplifying (+.p16 x (real->posit16 1))
1552126650.284 * * [simplify]: iters left: 2 (4 enodes)
1552126650.285 * * [simplify]: iters left: 1 (10 enodes)
1552126650.286 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126650.287 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126650.287 * * [simplify]: Extracting #2: cost 3 inf + 1
1552126650.287 * * [simplify]: Extracting #3: cost 0 inf + 45
1552126650.287 * [simplify]: Simplified to (+.p16 (real->posit16 1) x)
1552126650.287 * [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))))
1552126650.287 * * * * [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)))))>
1552126650.287 * [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))))
1552126650.287 * * [simplify]: iters left: 5 (12 enodes)
1552126650.290 * * [simplify]: iters left: 4 (35 enodes)
1552126650.301 * * [simplify]: iters left: 3 (83 enodes)
1552126650.335 * * [simplify]: iters left: 2 (233 enodes)
1552126650.477 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126650.477 * * [simplify]: Extracting #1: cost 29 inf + 0
1552126650.477 * * [simplify]: Extracting #2: cost 123 inf + 0
1552126650.479 * * [simplify]: Extracting #3: cost 244 inf + 1
1552126650.483 * * [simplify]: Extracting #4: cost 308 inf + 32857
1552126650.507 * * [simplify]: Extracting #5: cost 149 inf + 308686
1552126650.553 * * [simplify]: Extracting #6: cost 4 inf + 549893
1552126650.606 * * [simplify]: Extracting #7: cost 0 inf + 561504
1552126650.654 * [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)))
1552126650.654 * [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))))
1552126650.654 * * * * [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)))))>
1552126650.655 * [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))))
1552126650.655 * * [simplify]: iters left: 5 (12 enodes)
1552126650.661 * * [simplify]: iters left: 4 (35 enodes)
1552126650.675 * * [simplify]: iters left: 3 (83 enodes)
1552126650.708 * * [simplify]: iters left: 2 (233 enodes)
1552126650.850 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126650.850 * * [simplify]: Extracting #1: cost 29 inf + 0
1552126650.851 * * [simplify]: Extracting #2: cost 123 inf + 0
1552126650.852 * * [simplify]: Extracting #3: cost 244 inf + 1
1552126650.857 * * [simplify]: Extracting #4: cost 308 inf + 32857
1552126650.878 * * [simplify]: Extracting #5: cost 149 inf + 308686
1552126650.913 * * [simplify]: Extracting #6: cost 4 inf + 549893
1552126650.963 * * [simplify]: Extracting #7: cost 0 inf + 561504
1552126651.012 * [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)))
1552126651.012 * [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))))
1552126651.012 * * * * [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)))))>
1552126651.012 * [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))))
1552126651.012 * * [simplify]: iters left: 5 (12 enodes)
1552126651.018 * * [simplify]: iters left: 4 (35 enodes)
1552126651.031 * * [simplify]: iters left: 3 (83 enodes)
1552126651.067 * * [simplify]: iters left: 2 (233 enodes)
1552126651.209 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126651.209 * * [simplify]: Extracting #1: cost 29 inf + 0
1552126651.210 * * [simplify]: Extracting #2: cost 123 inf + 0
1552126651.211 * * [simplify]: Extracting #3: cost 244 inf + 1
1552126651.215 * * [simplify]: Extracting #4: cost 308 inf + 32857
1552126651.238 * * [simplify]: Extracting #5: cost 149 inf + 308686
1552126651.281 * * [simplify]: Extracting #6: cost 4 inf + 549893
1552126651.330 * * [simplify]: Extracting #7: cost 0 inf + 561504
1552126651.384 * [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)))
1552126651.384 * [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))))
1552126651.384 * * * * [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)))))>
1552126651.385 * [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))))
1552126651.385 * * [simplify]: iters left: 5 (12 enodes)
1552126651.391 * * [simplify]: iters left: 4 (35 enodes)
1552126651.404 * * [simplify]: iters left: 3 (83 enodes)
1552126651.438 * * [simplify]: iters left: 2 (233 enodes)
1552126651.580 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126651.580 * * [simplify]: Extracting #1: cost 29 inf + 0
1552126651.581 * * [simplify]: Extracting #2: cost 123 inf + 0
1552126651.582 * * [simplify]: Extracting #3: cost 244 inf + 1
1552126651.586 * * [simplify]: Extracting #4: cost 308 inf + 32857
1552126651.609 * * [simplify]: Extracting #5: cost 149 inf + 308686
1552126651.658 * * [simplify]: Extracting #6: cost 4 inf + 549893
1552126651.707 * * [simplify]: Extracting #7: cost 0 inf + 561504
1552126651.756 * [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)))
1552126651.756 * [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))))
1552126651.756 * * * [progress]: adding candidates to table
1552126652.483 * * [progress]: iteration 2 / 4
1552126652.483 * * * [progress]: picking best candidate
1552126652.628 * * * * [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))))))>
1552126652.628 * * * [progress]: localizing error
1552126652.779 * * * [progress]: generating rewritten candidates
1552126652.779 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1552126652.792 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1552126652.798 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
1552126652.800 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1552126652.803 * * * [progress]: generating series expansions
1552126652.803 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1552126652.803 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1552126652.803 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
1552126652.803 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1552126652.803 * * * [progress]: simplifying candidates
1552126652.803 * * * * [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)))))>
1552126652.804 * [simplify]: Simplifying (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))
1552126652.804 * * [simplify]: iters left: 3 (5 enodes)
1552126652.819 * * [simplify]: iters left: 2 (17 enodes)
1552126652.825 * * [simplify]: iters left: 1 (31 enodes)
1552126652.839 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126652.839 * * [simplify]: Extracting #1: cost 11 inf + 0
1552126652.839 * * [simplify]: Extracting #2: cost 28 inf + 0
1552126652.839 * * [simplify]: Extracting #3: cost 29 inf + 324
1552126652.840 * * [simplify]: Extracting #4: cost 22 inf + 6266
1552126652.842 * * [simplify]: Extracting #5: cost 3 inf + 23256
1552126652.844 * * [simplify]: Extracting #6: cost 0 inf + 26382
1552126652.846 * * [simplify]: Extracting #7: cost 0 inf + 25822
1552126652.847 * [simplify]: Simplified to (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))
1552126652.848 * [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)))))
1552126652.848 * * * * [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)))))>
1552126652.848 * * * * [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)))))>
1552126652.848 * * * * [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))))))>
1552126652.848 * [simplify]: Simplifying (+.p16 x (real->posit16 1))
1552126652.848 * * [simplify]: iters left: 2 (4 enodes)
1552126652.850 * * [simplify]: iters left: 1 (10 enodes)
1552126652.854 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126652.854 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126652.854 * * [simplify]: Extracting #2: cost 3 inf + 1
1552126652.854 * * [simplify]: Extracting #3: cost 0 inf + 45
1552126652.854 * [simplify]: Simplified to (+.p16 (real->posit16 1) x)
1552126652.854 * [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)))))
1552126652.854 * * * * [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))))))>
1552126652.855 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1552126652.855 * * [simplify]: iters left: 3 (5 enodes)
1552126652.857 * * [simplify]: iters left: 2 (11 enodes)
1552126652.861 * * [simplify]: iters left: 1 (13 enodes)
1552126652.865 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126652.865 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126652.865 * * [simplify]: Extracting #2: cost 5 inf + 0
1552126652.865 * * [simplify]: Extracting #3: cost 3 inf + 2
1552126652.865 * * [simplify]: Extracting #4: cost 0 inf + 527
1552126652.865 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1552126652.865 * [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))))))
1552126652.865 * * * * [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))))))>
1552126652.866 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1552126652.866 * * [simplify]: iters left: 3 (5 enodes)
1552126652.868 * * [simplify]: iters left: 2 (11 enodes)
1552126652.872 * * [simplify]: iters left: 1 (13 enodes)
1552126652.876 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126652.876 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126652.876 * * [simplify]: Extracting #2: cost 5 inf + 0
1552126652.876 * * [simplify]: Extracting #3: cost 3 inf + 2
1552126652.876 * * [simplify]: Extracting #4: cost 0 inf + 527
1552126652.876 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1552126652.876 * [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))))))
1552126652.876 * * * * [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))))))>
1552126652.877 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1552126652.877 * * [simplify]: iters left: 3 (5 enodes)
1552126652.879 * * [simplify]: iters left: 2 (11 enodes)
1552126652.883 * * [simplify]: iters left: 1 (13 enodes)
1552126652.887 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126652.887 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126652.887 * * [simplify]: Extracting #2: cost 5 inf + 0
1552126652.887 * * [simplify]: Extracting #3: cost 3 inf + 2
1552126652.887 * * [simplify]: Extracting #4: cost 0 inf + 527
1552126652.887 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1552126652.887 * [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))))))
1552126652.887 * * * * [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))))))>
1552126652.887 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1552126652.888 * * [simplify]: iters left: 3 (5 enodes)
1552126652.890 * * [simplify]: iters left: 2 (11 enodes)
1552126652.894 * * [simplify]: iters left: 1 (13 enodes)
1552126652.898 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126652.898 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126652.898 * * [simplify]: Extracting #2: cost 5 inf + 0
1552126652.898 * * [simplify]: Extracting #3: cost 3 inf + 2
1552126652.898 * * [simplify]: Extracting #4: cost 0 inf + 527
1552126652.898 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1552126652.898 * [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))))))
1552126652.898 * * * [progress]: adding candidates to table
1552126653.334 * * [progress]: iteration 3 / 4
1552126653.334 * * * [progress]: picking best candidate
1552126653.407 * * * * [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)))))>
1552126653.407 * * * [progress]: localizing error
1552126653.580 * * * [progress]: generating rewritten candidates
1552126653.580 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1552126653.599 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1552126653.601 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1552126653.604 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
1552126653.605 * * * [progress]: generating series expansions
1552126653.605 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1552126653.606 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1552126653.606 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1552126653.606 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
1552126653.606 * * * [progress]: simplifying candidates
1552126653.606 * * * * [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))))>
1552126653.606 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1))
1552126653.606 * * [simplify]: iters left: 5 (8 enodes)
1552126653.609 * * [simplify]: iters left: 4 (25 enodes)
1552126653.614 * * [simplify]: iters left: 3 (62 enodes)
1552126653.627 * * [simplify]: iters left: 2 (193 enodes)
1552126653.704 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126653.704 * * [simplify]: Extracting #1: cost 65 inf + 0
1552126653.705 * * [simplify]: Extracting #2: cost 241 inf + 0
1552126653.707 * * [simplify]: Extracting #3: cost 260 inf + 43096
1552126653.717 * * [simplify]: Extracting #4: cost 122 inf + 266467
1552126653.739 * * [simplify]: Extracting #5: cost 18 inf + 464771
1552126653.761 * * [simplify]: Extracting #6: cost 0 inf + 502437
1552126653.793 * * [simplify]: Extracting #7: cost 0 inf + 501277
1552126653.832 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))
1552126653.832 * [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))))))
1552126653.832 * * * * [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)))))))>
1552126653.832 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))
1552126653.832 * * [simplify]: iters left: 5 (8 enodes)
1552126653.836 * * [simplify]: iters left: 4 (25 enodes)
1552126653.844 * * [simplify]: iters left: 3 (62 enodes)
1552126653.859 * * [simplify]: iters left: 2 (193 enodes)
1552126653.938 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126653.938 * * [simplify]: Extracting #1: cost 65 inf + 0
1552126653.939 * * [simplify]: Extracting #2: cost 241 inf + 0
1552126653.941 * * [simplify]: Extracting #3: cost 260 inf + 43096
1552126653.951 * * [simplify]: Extracting #4: cost 122 inf + 266467
1552126653.971 * * [simplify]: Extracting #5: cost 18 inf + 464771
1552126653.997 * * [simplify]: Extracting #6: cost 0 inf + 502437
1552126654.024 * * [simplify]: Extracting #7: cost 0 inf + 501277
1552126654.046 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))
1552126654.046 * [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))))))
1552126654.046 * * * * [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))))))>
1552126654.046 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1552126654.046 * * [simplify]: iters left: 3 (5 enodes)
1552126654.048 * * [simplify]: iters left: 2 (11 enodes)
1552126654.050 * * [simplify]: iters left: 1 (13 enodes)
1552126654.052 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126654.052 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126654.052 * * [simplify]: Extracting #2: cost 5 inf + 0
1552126654.052 * * [simplify]: Extracting #3: cost 3 inf + 2
1552126654.052 * * [simplify]: Extracting #4: cost 0 inf + 527
1552126654.052 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1552126654.052 * [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))))))
1552126654.052 * * * * [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))))))>
1552126654.052 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1552126654.052 * * [simplify]: iters left: 3 (5 enodes)
1552126654.054 * * [simplify]: iters left: 2 (11 enodes)
1552126654.056 * * [simplify]: iters left: 1 (13 enodes)
1552126654.058 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126654.058 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126654.058 * * [simplify]: Extracting #2: cost 5 inf + 0
1552126654.058 * * [simplify]: Extracting #3: cost 3 inf + 2
1552126654.058 * * [simplify]: Extracting #4: cost 0 inf + 527
1552126654.058 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1552126654.058 * [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))))))
1552126654.058 * * * * [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))))>
1552126654.058 * * * * [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)))))>
1552126654.058 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1))
1552126654.058 * * [simplify]: iters left: 5 (8 enodes)
1552126654.060 * * [simplify]: iters left: 4 (25 enodes)
1552126654.068 * * [simplify]: iters left: 3 (62 enodes)
1552126654.090 * * [simplify]: iters left: 2 (193 enodes)
1552126654.224 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126654.225 * * [simplify]: Extracting #1: cost 65 inf + 0
1552126654.226 * * [simplify]: Extracting #2: cost 241 inf + 0
1552126654.228 * * [simplify]: Extracting #3: cost 260 inf + 43096
1552126654.239 * * [simplify]: Extracting #4: cost 122 inf + 266467
1552126654.272 * * [simplify]: Extracting #5: cost 18 inf + 464771
1552126654.294 * * [simplify]: Extracting #6: cost 0 inf + 502437
1552126654.329 * * [simplify]: Extracting #7: cost 0 inf + 501277
1552126654.363 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))
1552126654.363 * [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)))))))
1552126654.364 * * * * [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))))))))>
1552126654.364 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))
1552126654.364 * * [simplify]: iters left: 5 (8 enodes)
1552126654.368 * * [simplify]: iters left: 4 (25 enodes)
1552126654.376 * * [simplify]: iters left: 3 (62 enodes)
1552126654.397 * * [simplify]: iters left: 2 (193 enodes)
1552126654.504 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126654.504 * * [simplify]: Extracting #1: cost 65 inf + 0
1552126654.505 * * [simplify]: Extracting #2: cost 241 inf + 0
1552126654.508 * * [simplify]: Extracting #3: cost 260 inf + 43096
1552126654.529 * * [simplify]: Extracting #4: cost 122 inf + 266467
1552126654.560 * * [simplify]: Extracting #5: cost 18 inf + 464771
1552126654.595 * * [simplify]: Extracting #6: cost 0 inf + 502437
1552126654.625 * * [simplify]: Extracting #7: cost 0 inf + 501277
1552126654.659 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))
1552126654.659 * [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)))))))
1552126654.659 * * * * [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))))))>
1552126654.659 * [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)))))
1552126654.659 * * [simplify]: iters left: 5 (9 enodes)
1552126654.662 * * [simplify]: iters left: 4 (32 enodes)
1552126654.672 * * [simplify]: iters left: 3 (76 enodes)
1552126654.688 * * [simplify]: iters left: 2 (239 enodes)
1552126654.783 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126654.783 * * [simplify]: Extracting #1: cost 46 inf + 0
1552126654.783 * * [simplify]: Extracting #2: cost 215 inf + 0
1552126654.785 * * [simplify]: Extracting #3: cost 259 inf + 37842
1552126654.801 * * [simplify]: Extracting #4: cost 141 inf + 336186
1552126654.835 * * [simplify]: Extracting #5: cost 28 inf + 595296
1552126654.870 * * [simplify]: Extracting #6: cost 1 inf + 655569
1552126654.902 * * [simplify]: Extracting #7: cost 0 inf + 659011
1552126654.938 * [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)))))
1552126654.938 * [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))))))
1552126654.938 * * * * [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))))))>
1552126654.939 * [simplify]: Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1552126654.939 * * [simplify]: iters left: 3 (5 enodes)
1552126654.940 * * [simplify]: iters left: 2 (17 enodes)
1552126654.943 * * [simplify]: iters left: 1 (21 enodes)
1552126654.946 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126654.946 * * [simplify]: Extracting #1: cost 5 inf + 0
1552126654.946 * * [simplify]: Extracting #2: cost 7 inf + 0
1552126654.946 * * [simplify]: Extracting #3: cost 5 inf + 2
1552126654.946 * * [simplify]: Extracting #4: cost 0 inf + 1050
1552126654.947 * [simplify]: Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1552126654.947 * [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))))))
1552126654.947 * * * * [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)))))))>
1552126654.947 * * * * [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)))))>
1552126654.947 * * * * [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)))))>
1552126654.947 * * * * [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)))))>
1552126654.947 * [simplify]: Simplifying (-.p16 x (real->posit16 1))
1552126654.947 * * [simplify]: iters left: 2 (4 enodes)
1552126654.948 * * [simplify]: iters left: 1 (16 enodes)
1552126654.951 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126654.951 * * [simplify]: Extracting #1: cost 6 inf + 0
1552126654.951 * * [simplify]: Extracting #2: cost 11 inf + 1
1552126654.951 * * [simplify]: Extracting #3: cost 11 inf + 323
1552126654.951 * * [simplify]: Extracting #4: cost 5 inf + 1491
1552126654.951 * * [simplify]: Extracting #5: cost 1 inf + 3657
1552126654.952 * * [simplify]: Extracting #6: cost 0 inf + 5019
1552126654.952 * [simplify]: Simplified to (-.p16 x (real->posit16 1))
1552126654.952 * [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)))))
1552126654.952 * * * * [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)))))>
1552126654.952 * [simplify]: Simplifying (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))
1552126654.952 * * [simplify]: iters left: 3 (6 enodes)
1552126654.954 * * [simplify]: iters left: 2 (12 enodes)
1552126654.956 * * [simplify]: iters left: 1 (14 enodes)
1552126654.958 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126654.958 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126654.958 * * [simplify]: Extracting #2: cost 5 inf + 0
1552126654.958 * * [simplify]: Extracting #3: cost 5 inf + 1
1552126654.959 * * [simplify]: Extracting #4: cost 0 inf + 1327
1552126654.959 * [simplify]: Simplified to (+.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 x x))
1552126654.959 * [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)))))
1552126654.959 * * * * [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)))))>
1552126654.959 * [simplify]: Simplifying (+.p16 x (real->posit16 1))
1552126654.959 * * [simplify]: iters left: 2 (4 enodes)
1552126654.960 * * [simplify]: iters left: 1 (10 enodes)
1552126654.962 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126654.962 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126654.962 * * [simplify]: Extracting #2: cost 3 inf + 1
1552126654.962 * * [simplify]: Extracting #3: cost 0 inf + 45
1552126654.962 * [simplify]: Simplified to (+.p16 (real->posit16 1) x)
1552126654.962 * [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))))
1552126654.962 * * * * [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)))))>
1552126654.962 * [simplify]: Simplifying (+.p16 x (real->posit16 1))
1552126654.962 * * [simplify]: iters left: 2 (4 enodes)
1552126654.963 * * [simplify]: iters left: 1 (10 enodes)
1552126654.965 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126654.965 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126654.965 * * [simplify]: Extracting #2: cost 3 inf + 1
1552126654.965 * * [simplify]: Extracting #3: cost 0 inf + 45
1552126654.965 * [simplify]: Simplified to (+.p16 (real->posit16 1) x)
1552126654.965 * [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))))
1552126654.965 * * * * [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)))))>
1552126654.965 * [simplify]: Simplifying (+.p16 x (real->posit16 1))
1552126654.965 * * [simplify]: iters left: 2 (4 enodes)
1552126654.966 * * [simplify]: iters left: 1 (10 enodes)
1552126654.968 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126654.968 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126654.968 * * [simplify]: Extracting #2: cost 3 inf + 1
1552126654.968 * * [simplify]: Extracting #3: cost 0 inf + 45
1552126654.968 * [simplify]: Simplified to (+.p16 (real->posit16 1) x)
1552126654.968 * [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))))
1552126654.968 * * * * [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)))))>
1552126654.969 * [simplify]: Simplifying (+.p16 x (real->posit16 1))
1552126654.969 * * [simplify]: iters left: 2 (4 enodes)
1552126654.970 * * [simplify]: iters left: 1 (10 enodes)
1552126654.971 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126654.972 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126654.972 * * [simplify]: Extracting #2: cost 3 inf + 1
1552126654.972 * * [simplify]: Extracting #3: cost 0 inf + 45
1552126654.972 * [simplify]: Simplified to (+.p16 (real->posit16 1) x)
1552126654.972 * [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))))
1552126654.972 * * * [progress]: adding candidates to table
1552126655.938 * * [progress]: iteration 4 / 4
1552126655.938 * * * [progress]: picking best candidate
1552126656.101 * * * * [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 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))>
1552126656.101 * * * [progress]: localizing error
1552126656.191 * * * [progress]: generating rewritten candidates
1552126656.191 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1552126656.205 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1552126656.208 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1552126656.211 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
1552126656.214 * * * [progress]: generating series expansions
1552126656.214 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1552126656.214 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1552126656.214 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1552126656.214 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
1552126656.214 * * * [progress]: simplifying candidates
1552126656.214 * * * * [progress]: [ 1 / 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)))))))>
1552126656.214 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1552126656.215 * * [simplify]: iters left: 3 (5 enodes)
1552126656.217 * * [simplify]: iters left: 2 (11 enodes)
1552126656.220 * * [simplify]: iters left: 1 (13 enodes)
1552126656.223 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126656.223 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126656.223 * * [simplify]: Extracting #2: cost 5 inf + 0
1552126656.223 * * [simplify]: Extracting #3: cost 3 inf + 2
1552126656.223 * * [simplify]: Extracting #4: cost 0 inf + 527
1552126656.224 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1552126656.224 * [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 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))
1552126656.224 * * * * [progress]: [ 2 / 16 ] 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 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))>
1552126656.224 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1552126656.224 * * [simplify]: iters left: 3 (5 enodes)
1552126656.226 * * [simplify]: iters left: 2 (11 enodes)
1552126656.229 * * [simplify]: iters left: 1 (13 enodes)
1552126656.232 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126656.232 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126656.232 * * [simplify]: Extracting #2: cost 5 inf + 0
1552126656.232 * * [simplify]: Extracting #3: cost 3 inf + 2
1552126656.232 * * [simplify]: Extracting #4: cost 0 inf + 527
1552126656.233 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1552126656.233 * [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 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))
1552126656.233 * * * * [progress]: [ 3 / 16 ] simplifiying candidate #<alt (λ (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 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))>
1552126656.233 * * * * [progress]: [ 4 / 16 ] 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)))))>
1552126656.233 * [simplify]: Simplifying (-.p16 x (real->posit16 1))
1552126656.233 * * [simplify]: iters left: 2 (4 enodes)
1552126656.235 * * [simplify]: iters left: 1 (16 enodes)
1552126656.240 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126656.240 * * [simplify]: Extracting #1: cost 6 inf + 0
1552126656.240 * * [simplify]: Extracting #2: cost 11 inf + 1
1552126656.240 * * [simplify]: Extracting #3: cost 11 inf + 323
1552126656.240 * * [simplify]: Extracting #4: cost 5 inf + 1491
1552126656.240 * * [simplify]: Extracting #5: cost 1 inf + 3657
1552126656.240 * * [simplify]: Extracting #6: cost 0 inf + 5019
1552126656.241 * [simplify]: Simplified to (-.p16 x (real->posit16 1))
1552126656.241 * [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 x (real->posit16 1))) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1)))))
1552126656.241 * * * * [progress]: [ 5 / 16 ] 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 (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) (+.p16 x (real->posit16 1))))))>
1552126656.241 * [simplify]: Simplifying (real->posit16 1)
1552126656.241 * * [simplify]: iters left: 1 (2 enodes)
1552126656.242 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126656.242 * * [simplify]: Extracting #1: cost 2 inf + 0
1552126656.242 * * [simplify]: Extracting #2: cost 1 inf + 1
1552126656.242 * * [simplify]: Extracting #3: cost 0 inf + 2
1552126656.242 * [simplify]: Simplified to (real->posit16 1)
1552126656.242 * [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 (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) (+.p16 x (real->posit16 1))))))
1552126656.242 * * * * [progress]: [ 6 / 16 ] 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 (*.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))))))>
1552126656.243 * [simplify]: Simplifying (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))
1552126656.243 * * [simplify]: iters left: 3 (6 enodes)
1552126656.245 * * [simplify]: iters left: 2 (12 enodes)
1552126656.255 * * [simplify]: iters left: 1 (14 enodes)
1552126656.259 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126656.259 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126656.259 * * [simplify]: Extracting #2: cost 5 inf + 0
1552126656.259 * * [simplify]: Extracting #3: cost 5 inf + 1
1552126656.259 * * [simplify]: Extracting #4: cost 0 inf + 1327
1552126656.259 * [simplify]: Simplified to (+.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 x x))
1552126656.259 * [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 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)))))
1552126656.259 * * * * [progress]: [ 7 / 16 ] 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 (real->posit16 1)) (-.p16 x (real->posit16 1))))))>
1552126656.260 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1552126656.260 * * [simplify]: iters left: 3 (5 enodes)
1552126656.262 * * [simplify]: iters left: 2 (11 enodes)
1552126656.264 * * [simplify]: iters left: 1 (13 enodes)
1552126656.267 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126656.268 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126656.268 * * [simplify]: Extracting #2: cost 5 inf + 0
1552126656.268 * * [simplify]: Extracting #3: cost 3 inf + 2
1552126656.268 * * [simplify]: Extracting #4: cost 0 inf + 527
1552126656.268 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1552126656.268 * [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 (real->posit16 1)) (-.p16 x (real->posit16 1))))))
1552126656.268 * [simplify]: Simplifying (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))
1552126656.268 * * [simplify]: iters left: 3 (6 enodes)
1552126656.271 * * [simplify]: iters left: 2 (18 enodes)
1552126656.275 * * [simplify]: iters left: 1 (31 enodes)
1552126656.285 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126656.285 * * [simplify]: Extracting #1: cost 10 inf + 0
1552126656.285 * * [simplify]: Extracting #2: cost 26 inf + 0
1552126656.285 * * [simplify]: Extracting #3: cost 31 inf + 1
1552126656.285 * * [simplify]: Extracting #4: cost 35 inf + 323
1552126656.286 * * [simplify]: Extracting #5: cost 17 inf + 8069
1552126656.287 * * [simplify]: Extracting #6: cost 0 inf + 25900
1552126656.289 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))
1552126656.289 * [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 x (real->posit16 1))) (/.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1))))))
1552126656.289 * * * * [progress]: [ 8 / 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 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))>
1552126656.289 * * * * [progress]: [ 9 / 16 ] 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 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))>
1552126656.289 * * * * [progress]: [ 10 / 16 ] 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 (real->posit16 1)) (-.p16 x (real->posit16 1))))))>
1552126656.289 * [simplify]: Simplifying (+.p16 x (real->posit16 1))
1552126656.289 * * [simplify]: iters left: 2 (4 enodes)
1552126656.291 * * [simplify]: iters left: 1 (10 enodes)
1552126656.294 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126656.294 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126656.294 * * [simplify]: Extracting #2: cost 3 inf + 1
1552126656.294 * * [simplify]: Extracting #3: cost 0 inf + 45
1552126656.294 * [simplify]: Simplified to (+.p16 (real->posit16 1) x)
1552126656.294 * [simplify]: Simplified (2 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 x (real->posit16 1))) (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1))))))
1552126656.294 * [simplify]: Simplifying (-.p16 x (real->posit16 1))
1552126656.294 * * [simplify]: iters left: 2 (4 enodes)
1552126656.296 * * [simplify]: iters left: 1 (16 enodes)
1552126656.300 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126656.300 * * [simplify]: Extracting #1: cost 6 inf + 0
1552126656.301 * * [simplify]: Extracting #2: cost 11 inf + 1
1552126656.301 * * [simplify]: Extracting #3: cost 11 inf + 323
1552126656.301 * * [simplify]: Extracting #4: cost 5 inf + 1491
1552126656.301 * * [simplify]: Extracting #5: cost 1 inf + 3657
1552126656.301 * * [simplify]: Extracting #6: cost 0 inf + 5019
1552126656.302 * [simplify]: Simplified to (-.p16 x (real->posit16 1))
1552126656.302 * [simplify]: Simplified (2 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 x (real->posit16 1))) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))))))
1552126656.302 * * * * [progress]: [ 11 / 16 ] 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) (neg.p16 (*.p16 (real->posit16 1) (real->posit16 1)))))))>
1552126656.302 * * * * [progress]: [ 12 / 16 ] 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 (*.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)))))))>
1552126656.302 * * * * [progress]: [ 13 / 16 ] 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))))))>
1552126656.302 * [simplify]: Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1552126656.302 * * [simplify]: iters left: 3 (5 enodes)
1552126656.305 * * [simplify]: iters left: 2 (17 enodes)
1552126656.310 * * [simplify]: iters left: 1 (21 enodes)
1552126656.314 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126656.314 * * [simplify]: Extracting #1: cost 5 inf + 0
1552126656.314 * * [simplify]: Extracting #2: cost 7 inf + 0
1552126656.314 * * [simplify]: Extracting #3: cost 5 inf + 2
1552126656.315 * * [simplify]: Extracting #4: cost 0 inf + 1050
1552126656.315 * [simplify]: Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1552126656.315 * [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))))))
1552126656.315 * * * * [progress]: [ 14 / 16 ] 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))))))>
1552126656.315 * [simplify]: Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1552126656.315 * * [simplify]: iters left: 3 (5 enodes)
1552126656.317 * * [simplify]: iters left: 2 (17 enodes)
1552126656.322 * * [simplify]: iters left: 1 (21 enodes)
1552126656.327 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126656.327 * * [simplify]: Extracting #1: cost 5 inf + 0
1552126656.327 * * [simplify]: Extracting #2: cost 7 inf + 0
1552126656.327 * * [simplify]: Extracting #3: cost 5 inf + 2
1552126656.327 * * [simplify]: Extracting #4: cost 0 inf + 1050
1552126656.327 * [simplify]: Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1552126656.327 * [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))))))
1552126656.327 * * * * [progress]: [ 15 / 16 ] 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))))))>
1552126656.328 * [simplify]: Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1552126656.328 * * [simplify]: iters left: 3 (5 enodes)
1552126656.330 * * [simplify]: iters left: 2 (17 enodes)
1552126656.335 * * [simplify]: iters left: 1 (21 enodes)
1552126656.341 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126656.341 * * [simplify]: Extracting #1: cost 5 inf + 0
1552126656.341 * * [simplify]: Extracting #2: cost 7 inf + 0
1552126656.341 * * [simplify]: Extracting #3: cost 5 inf + 2
1552126656.341 * * [simplify]: Extracting #4: cost 0 inf + 1050
1552126656.341 * [simplify]: Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1552126656.341 * [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))))))
1552126656.341 * * * * [progress]: [ 16 / 16 ] 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))))))>
1552126656.342 * [simplify]: Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
1552126656.342 * * [simplify]: iters left: 3 (5 enodes)
1552126656.344 * * [simplify]: iters left: 2 (17 enodes)
1552126656.348 * * [simplify]: iters left: 1 (21 enodes)
1552126656.351 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126656.351 * * [simplify]: Extracting #1: cost 5 inf + 0
1552126656.351 * * [simplify]: Extracting #2: cost 7 inf + 0
1552126656.351 * * [simplify]: Extracting #3: cost 5 inf + 2
1552126656.351 * * [simplify]: Extracting #4: cost 0 inf + 1050
1552126656.351 * [simplify]: Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
1552126656.351 * [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))))))
1552126656.351 * * * [progress]: adding candidates to table
1552126657.231 * [progress]: [Phase 3 of 3] Extracting.
1552126657.231 * * [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 (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 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (+.p16 x (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 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (+.p16 x (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 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))> #<alt (λ (x) (+.p16 (+.p16 (-.p16 (/.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 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.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 (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))))))>)
1552126657.234 * * * [regime-changes]: Trying 1 branch expressions: (x)
1552126657.234 * * * * [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 (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 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (+.p16 x (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 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (+.p16 x (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 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))> #<alt (λ (x) (+.p16 (+.p16 (-.p16 (/.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 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.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 (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))))))>)
1552126657.701 * * * [regime]: Found split indices: #<option (#s(si 8 256))>
1552126657.702 * [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)))))
1552126657.702 * * [simplify]: iters left: 5 (13 enodes)
1552126657.704 * * [simplify]: iters left: 4 (15 enodes)
1552126657.705 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126657.705 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126657.705 * * [simplify]: Extracting #2: cost 7 inf + 0
1552126657.705 * * [simplify]: Extracting #3: cost 11 inf + 0
1552126657.705 * * [simplify]: Extracting #4: cost 10 inf + 2
1552126657.705 * * [simplify]: Extracting #5: cost 6 inf + 1131
1552126657.705 * * [simplify]: Extracting #6: cost 5 inf + 1132
1552126657.706 * * [simplify]: Extracting #7: cost 3 inf + 1575
1552126657.706 * * [simplify]: Extracting #8: cost 1 inf + 3180
1552126657.706 * * [simplify]: Extracting #9: cost 0 inf + 4783
1552126657.706 * [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)))))
1552126657.706 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1552126657.718 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1552126657.720 * * * * [points]: Setting MPFR precision to 64
1552126657.721 * * * * [points]: Setting MPFR precision to 320
1552126657.723 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1552126657.725 * * * * [points]: Setting MPFR precision to 64
1552126657.727 * * * * [points]: Setting MPFR precision to 320
1552126657.729 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1552126657.731 * * * * [points]: Setting MPFR precision to 64
1552126657.734 * * * * [points]: Setting MPFR precision to 320
1552126657.739 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1552126657.741 * * * * [points]: Setting MPFR precision to 64
1552126657.750 * * * * [points]: Setting MPFR precision to 320
1552126657.760 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1552126657.764 * * * * [points]: Setting MPFR precision to 64
1552126657.783 * * * * [points]: Setting MPFR precision to 320
1552126657.806 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1552126657.808 * * * * [points]: Setting MPFR precision to 64
1552126657.852 * * * * [points]: Setting MPFR precision to 320
1552126657.898 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1552126657.903 * * * * [points]: Setting MPFR precision to 64
1552126657.983 * * * * [points]: Setting MPFR precision to 320
1552126658.387 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1552126658.390 * * * * [points]: Setting MPFR precision to 64
1552126658.583 * * * * [points]: Setting MPFR precision to 320
1552126658.801 * * * * [points]: Computing exacts for 8000 points
1552126658.806 * * * * [points]: Setting MPFR precision to 64
1552126659.417 * * * * [points]: Setting MPFR precision to 320
1552126660.266 * * * * [points]: Filtering points with unrepresentable outputs
1552126660.640 * * * * [points]: Sampled 8000 points with exact outputs
1552126666.917 * [regime-testing]: Baseline error score: 64.0
1552126666.919 * [regime-testing]: Oracle error score: 64.0
1552126666.923 * [regime-testing]: End program error score: 1.0245057515785605