0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.006 * * * * [points]: Setting MPFR precision to 64
0.007 * * * * [points]: Setting MPFR precision to 320
0.008 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.011 * * * * [points]: Setting MPFR precision to 64
0.013 * * * * [points]: Setting MPFR precision to 320
0.016 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.018 * * * * [points]: Setting MPFR precision to 64
0.023 * * * * [points]: Setting MPFR precision to 320
0.027 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.029 * * * * [points]: Setting MPFR precision to 64
0.035 * * * * [points]: Setting MPFR precision to 320
0.041 * * * * [points]: Computing exacts for 256 points
0.044 * * * * [points]: Setting MPFR precision to 64
0.060 * * * * [points]: Setting MPFR precision to 320
0.081 * * * * [points]: Filtering points with unrepresentable outputs
0.082 * * * * [points]: Sampled 256 points with exact outputs
0.082 * * * [progress]: [2/2] Setting up program.
0.113 * [progress]: [Phase 2 of 3] Improving.
0.113 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))>
0.113 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
0.113 * * [simplify]: iters left: 4 (7 enodes)
0.117 * * [simplify]: iters left: 3 (20 enodes)
0.124 * * [simplify]: iters left: 2 (40 enodes)
0.139 * * [simplify]: iters left: 1 (96 enodes)
0.184 * * [simplify]: Extracting #0: cost 1 inf + 0
0.184 * * [simplify]: Extracting #1: cost 15 inf + 0
0.184 * * [simplify]: Extracting #2: cost 55 inf + 0
0.185 * * [simplify]: Extracting #3: cost 98 inf + 1
0.186 * * [simplify]: Extracting #4: cost 121 inf + 8826
0.192 * * [simplify]: Extracting #5: cost 44 inf + 112059
0.207 * * [simplify]: Extracting #6: cost 1 inf + 191785
0.223 * * [simplify]: Extracting #7: cost 0 inf + 194147
0.239 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
0.240 * [simplify]: Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))
0.254 * * [progress]: iteration 1 / 4
0.255 * * * [progress]: picking best candidate
0.274 * * * * [pick]: Picked  #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))>
0.274 * * * [progress]: localizing error
0.431 * * * [progress]: generating rewritten candidates
0.431 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.437 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.442 * * * [progress]: generating series expansions
0.442 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.442 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.442 * * * [progress]: simplifying candidates
0.442 * * * * [progress]: [ 1 / 4 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 1) x))))>
0.442 * [simplify]: Simplifying (neg.p16 (/.p16 (real->posit16 1) x))
0.442 * * [simplify]: iters left: 3 (5 enodes)
0.445 * * [simplify]: iters left: 2 (10 enodes)
0.449 * * [simplify]: iters left: 1 (12 enodes)
0.452 * * [simplify]: Extracting #0: cost 1 inf + 0
0.452 * * [simplify]: Extracting #1: cost 2 inf + 0
0.452 * * [simplify]: Extracting #2: cost 4 inf + 0
0.452 * * [simplify]: Extracting #3: cost 4 inf + 1
0.452 * * [simplify]: Extracting #4: cost 3 inf + 2
0.453 * * [simplify]: Extracting #5: cost 0 inf + 967
0.453 * [simplify]: Simplified to (neg.p16 (/.p16 (real->posit16 1) x))
0.453 * [simplify]: Simplified (2 2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 1) x))))
0.453 * * * * [progress]: [ 2 / 4 ] simplifiying candidate #<alt (λ (x) (/.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 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
0.453 * [simplify]: Simplifying (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))
0.453 * * [simplify]: iters left: 5 (9 enodes)
0.458 * * [simplify]: iters left: 4 (33 enodes)
0.471 * * [simplify]: iters left: 3 (83 enodes)
0.514 * * [simplify]: iters left: 2 (257 enodes)
0.702 * * [simplify]: Extracting #0: cost 1 inf + 0
0.702 * * [simplify]: Extracting #1: cost 34 inf + 0
0.703 * * [simplify]: Extracting #2: cost 176 inf + 0
0.705 * * [simplify]: Extracting #3: cost 265 inf + 9069
0.724 * * [simplify]: Extracting #4: cost 204 inf + 281787
0.782 * * [simplify]: Extracting #5: cost 23 inf + 624787
0.848 * * [simplify]: Extracting #6: cost 0 inf + 676193
0.907 * [simplify]: Simplified to (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))
0.907 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
0.907 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
0.908 * * [simplify]: iters left: 4 (7 enodes)
0.911 * * [simplify]: iters left: 3 (14 enodes)
0.915 * * [simplify]: iters left: 2 (16 enodes)
0.918 * * [simplify]: Extracting #0: cost 1 inf + 0
0.918 * * [simplify]: Extracting #1: cost 3 inf + 0
0.918 * * [simplify]: Extracting #2: cost 6 inf + 0
0.918 * * [simplify]: Extracting #3: cost 6 inf + 1
0.918 * * [simplify]: Extracting #4: cost 5 inf + 2
0.918 * * [simplify]: Extracting #5: cost 0 inf + 1931
0.918 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
0.918 * [simplify]: Simplified (2 2) to (λ (x) (/.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 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))))
0.918 * * * * [progress]: [ 3 / 4 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))>
0.919 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
0.919 * * [simplify]: iters left: 4 (7 enodes)
0.920 * * [simplify]: iters left: 3 (20 enodes)
0.924 * * [simplify]: iters left: 2 (40 enodes)
0.931 * * [simplify]: iters left: 1 (96 enodes)
0.955 * * [simplify]: Extracting #0: cost 1 inf + 0
0.955 * * [simplify]: Extracting #1: cost 15 inf + 0
0.955 * * [simplify]: Extracting #2: cost 55 inf + 0
0.956 * * [simplify]: Extracting #3: cost 98 inf + 1
0.956 * * [simplify]: Extracting #4: cost 121 inf + 8826
0.959 * * [simplify]: Extracting #5: cost 44 inf + 112059
0.975 * * [simplify]: Extracting #6: cost 1 inf + 191785
0.992 * * [simplify]: Extracting #7: cost 0 inf + 194147
1.008 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1.008 * [simplify]: Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))
1.008 * * * * [progress]: [ 4 / 4 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))>
1.009 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1.009 * * [simplify]: iters left: 4 (7 enodes)
1.013 * * [simplify]: iters left: 3 (20 enodes)
1.020 * * [simplify]: iters left: 2 (40 enodes)
1.036 * * [simplify]: iters left: 1 (96 enodes)
1.076 * * [simplify]: Extracting #0: cost 1 inf + 0
1.077 * * [simplify]: Extracting #1: cost 15 inf + 0
1.077 * * [simplify]: Extracting #2: cost 55 inf + 0
1.077 * * [simplify]: Extracting #3: cost 98 inf + 1
1.077 * * [simplify]: Extracting #4: cost 121 inf + 8826
1.081 * * [simplify]: Extracting #5: cost 44 inf + 112059
1.089 * * [simplify]: Extracting #6: cost 1 inf + 191785
1.098 * * [simplify]: Extracting #7: cost 0 inf + 194147
1.106 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1.107 * [simplify]: Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))
1.107 * * * [progress]: adding candidates to table
1.187 * * [progress]: iteration 2 / 4
1.187 * * * [progress]: picking best candidate
1.196 * * * * [pick]: Picked  #<alt (λ (x) (/.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 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
1.196 * * * [progress]: localizing error
1.391 * * * [progress]: generating rewritten candidates
1.391 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.398 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1.401 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
1.403 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.407 * * * [progress]: generating series expansions
1.407 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.407 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1.407 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
1.407 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1.407 * * * [progress]: simplifying candidates
1.407 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (/.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))))>
1.407 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))
1.407 * * [simplify]: iters left: 5 (9 enodes)
1.410 * * [simplify]: iters left: 4 (22 enodes)
1.414 * * [simplify]: iters left: 3 (43 enodes)
1.422 * * [simplify]: iters left: 2 (115 enodes)
1.479 * * [simplify]: iters left: 1 (431 enodes)
2.032 * * [simplify]: Extracting #0: cost 1 inf + 0
2.032 * * [simplify]: Extracting #1: cost 60 inf + 0
2.034 * * [simplify]: Extracting #2: cost 355 inf + 0
2.037 * * [simplify]: Extracting #3: cost 629 inf + 2
2.053 * * [simplify]: Extracting #4: cost 582 inf + 212942
2.149 * * [simplify]: Extracting #5: cost 169 inf + 1142376
2.296 * * [simplify]: Extracting #6: cost 5 inf + 1529040
2.447 * * [simplify]: Extracting #7: cost 0 inf + 1544090
2.598 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))
2.598 * [simplify]: Simplified (2 2) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (/.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))))
2.598 * * * * [progress]: [ 2 / 13 ] 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 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))))) (*.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (+.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))))))>
2.599 * [simplify]: Simplifying (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (+.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))))
2.599 * * [simplify]: iters left: 6 (11 enodes)
2.605 * * [simplify]: iters left: 5 (34 enodes)
2.620 * * [simplify]: iters left: 4 (95 enodes)
2.660 * * [simplify]: iters left: 3 (258 enodes)
2.749 * * [simplify]: Extracting #0: cost 1 inf + 0
2.749 * * [simplify]: Extracting #1: cost 17 inf + 0
2.749 * * [simplify]: Extracting #2: cost 125 inf + 0
2.750 * * [simplify]: Extracting #3: cost 145 inf + 1
2.751 * * [simplify]: Extracting #4: cost 124 inf + 17160
2.757 * * [simplify]: Extracting #5: cost 26 inf + 154073
2.768 * * [simplify]: Extracting #6: cost 0 inf + 195485
2.777 * [simplify]: Simplified to (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (+.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))))
2.777 * [simplify]: Simplified (2 2) to (λ (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 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))))) (*.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (+.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))))))
2.777 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
2.778 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
2.778 * * [simplify]: iters left: 4 (7 enodes)
2.780 * * [simplify]: iters left: 3 (14 enodes)
2.783 * * [simplify]: iters left: 2 (16 enodes)
2.785 * * [simplify]: Extracting #0: cost 1 inf + 0
2.786 * * [simplify]: Extracting #1: cost 3 inf + 0
2.786 * * [simplify]: Extracting #2: cost 6 inf + 0
2.786 * * [simplify]: Extracting #3: cost 6 inf + 1
2.786 * * [simplify]: Extracting #4: cost 5 inf + 2
2.786 * * [simplify]: Extracting #5: cost 0 inf + 1931
2.786 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
2.786 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
2.786 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
2.786 * * [simplify]: iters left: 4 (7 enodes)
2.788 * * [simplify]: iters left: 3 (20 enodes)
2.792 * * [simplify]: iters left: 2 (40 enodes)
2.809 * * [simplify]: iters left: 1 (96 enodes)
2.855 * * [simplify]: Extracting #0: cost 1 inf + 0
2.855 * * [simplify]: Extracting #1: cost 15 inf + 0
2.856 * * [simplify]: Extracting #2: cost 55 inf + 0
2.856 * * [simplify]: Extracting #3: cost 98 inf + 1
2.857 * * [simplify]: Extracting #4: cost 121 inf + 8826
2.863 * * [simplify]: Extracting #5: cost 44 inf + 112059
2.879 * * [simplify]: Extracting #6: cost 1 inf + 191785
2.896 * * [simplify]: Extracting #7: cost 0 inf + 194147
2.913 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
2.913 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
2.913 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (neg.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
2.914 * [simplify]: Simplifying (neg.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))
2.914 * * [simplify]: iters left: 4 (6 enodes)
2.917 * * [simplify]: iters left: 3 (15 enodes)
2.923 * * [simplify]: iters left: 2 (23 enodes)
2.930 * * [simplify]: iters left: 1 (29 enodes)
2.939 * * [simplify]: Extracting #0: cost 1 inf + 0
2.939 * * [simplify]: Extracting #1: cost 2 inf + 0
2.939 * * [simplify]: Extracting #2: cost 11 inf + 0
2.939 * * [simplify]: Extracting #3: cost 10 inf + 322
2.939 * * [simplify]: Extracting #4: cost 9 inf + 323
2.939 * * [simplify]: Extracting #5: cost 0 inf + 5419
2.940 * [simplify]: Simplified to (neg.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))
2.940 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (+.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (neg.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
2.940 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (x) (/.p16 (/.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 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))))) (*.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
2.940 * [simplify]: Simplifying (-.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 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))))) (*.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))))
2.940 * * [simplify]: iters left: 6 (11 enodes)
2.945 * * [simplify]: iters left: 5 (43 enodes)
2.963 * * [simplify]: iters left: 4 (140 enodes)
3.032 * * [simplify]: iters left: 3 (440 enodes)
3.470 * * [simplify]: Extracting #0: cost 1 inf + 0
3.471 * * [simplify]: Extracting #1: cost 41 inf + 0
3.472 * * [simplify]: Extracting #2: cost 295 inf + 0
3.475 * * [simplify]: Extracting #3: cost 453 inf + 2
3.494 * * [simplify]: Extracting #4: cost 478 inf + 254804
3.599 * * [simplify]: Extracting #5: cost 69 inf + 1150304
3.754 * * [simplify]: Extracting #6: cost 0 inf + 1337082
3.907 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)))))
3.907 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (/.p16 (*.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
3.907 * [simplify]: Simplifying (+.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))
3.907 * * [simplify]: iters left: 5 (9 enodes)
3.912 * * [simplify]: iters left: 4 (24 enodes)
3.920 * * [simplify]: iters left: 3 (37 enodes)
3.932 * * [simplify]: iters left: 2 (49 enodes)
3.950 * * [simplify]: iters left: 1 (75 enodes)
3.971 * * [simplify]: Extracting #0: cost 1 inf + 0
3.972 * * [simplify]: Extracting #1: cost 7 inf + 0
3.972 * * [simplify]: Extracting #2: cost 23 inf + 0
3.972 * * [simplify]: Extracting #3: cost 20 inf + 1489
3.973 * * [simplify]: Extracting #4: cost 8 inf + 9997
3.974 * * [simplify]: Extracting #5: cost 0 inf + 17773
3.975 * * [simplify]: Extracting #6: cost 0 inf + 17533
3.977 * [simplify]: Simplified to (+.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))))
3.977 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (/.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 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))))) (*.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (+.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
3.977 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
3.978 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1))
3.978 * * [simplify]: iters left: 4 (6 enodes)
3.981 * * [simplify]: iters left: 3 (15 enodes)
3.985 * * [simplify]: iters left: 2 (19 enodes)
3.990 * * [simplify]: Extracting #0: cost 1 inf + 0
3.990 * * [simplify]: Extracting #1: cost 6 inf + 0
3.990 * * [simplify]: Extracting #2: cost 8 inf + 0
3.990 * * [simplify]: Extracting #3: cost 6 inf + 2
3.991 * * [simplify]: Extracting #4: cost 0 inf + 2132
3.991 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (real->posit16 1))
3.991 * [simplify]: Simplified (2 1 1 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (real->posit16 1)) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
3.991 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
3.991 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))))
3.992 * * [simplify]: iters left: 4 (6 enodes)
3.995 * * [simplify]: iters left: 3 (15 enodes)
3.999 * * [simplify]: iters left: 2 (19 enodes)
4.005 * * [simplify]: Extracting #0: cost 1 inf + 0
4.005 * * [simplify]: Extracting #1: cost 6 inf + 0
4.005 * * [simplify]: Extracting #2: cost 8 inf + 0
4.005 * * [simplify]: Extracting #3: cost 6 inf + 2
4.006 * * [simplify]: Extracting #4: cost 0 inf + 2132
4.006 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (real->posit16 1))
4.006 * [simplify]: Simplified (2 1 1 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (real->posit16 1)) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
4.006 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (x) (/.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 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
4.006 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (x) (/.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 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))))))>
4.006 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (x) (/.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 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
4.006 * [simplify]: Simplifying (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))
4.007 * * [simplify]: iters left: 5 (9 enodes)
4.011 * * [simplify]: iters left: 4 (33 enodes)
4.025 * * [simplify]: iters left: 3 (83 enodes)
4.057 * * [simplify]: iters left: 2 (257 enodes)
4.251 * * [simplify]: Extracting #0: cost 1 inf + 0
4.251 * * [simplify]: Extracting #1: cost 34 inf + 0
4.252 * * [simplify]: Extracting #2: cost 176 inf + 0
4.254 * * [simplify]: Extracting #3: cost 265 inf + 9069
4.273 * * [simplify]: Extracting #4: cost 204 inf + 281787
4.327 * * [simplify]: Extracting #5: cost 23 inf + 624787
4.392 * * [simplify]: Extracting #6: cost 0 inf + 676193
4.464 * [simplify]: Simplified to (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))
4.464 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
4.464 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
4.465 * * [simplify]: iters left: 4 (7 enodes)
4.468 * * [simplify]: iters left: 3 (14 enodes)
4.473 * * [simplify]: iters left: 2 (16 enodes)
4.478 * * [simplify]: Extracting #0: cost 1 inf + 0
4.478 * * [simplify]: Extracting #1: cost 3 inf + 0
4.478 * * [simplify]: Extracting #2: cost 6 inf + 0
4.478 * * [simplify]: Extracting #3: cost 6 inf + 1
4.478 * * [simplify]: Extracting #4: cost 5 inf + 2
4.478 * * [simplify]: Extracting #5: cost 0 inf + 1931
4.479 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
4.479 * [simplify]: Simplified (2 2) to (λ (x) (/.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 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))))
4.479 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (x) (/.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 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
4.479 * [simplify]: Simplifying (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))
4.479 * * [simplify]: iters left: 5 (9 enodes)
4.484 * * [simplify]: iters left: 4 (33 enodes)
4.497 * * [simplify]: iters left: 3 (83 enodes)
4.530 * * [simplify]: iters left: 2 (257 enodes)
4.725 * * [simplify]: Extracting #0: cost 1 inf + 0
4.725 * * [simplify]: Extracting #1: cost 34 inf + 0
4.726 * * [simplify]: Extracting #2: cost 176 inf + 0
4.728 * * [simplify]: Extracting #3: cost 265 inf + 9069
4.747 * * [simplify]: Extracting #4: cost 204 inf + 281787
4.800 * * [simplify]: Extracting #5: cost 23 inf + 624787
4.867 * * [simplify]: Extracting #6: cost 0 inf + 676193
4.934 * [simplify]: Simplified to (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))
4.935 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
4.935 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
4.935 * * [simplify]: iters left: 4 (7 enodes)
4.938 * * [simplify]: iters left: 3 (14 enodes)
4.943 * * [simplify]: iters left: 2 (16 enodes)
4.948 * * [simplify]: Extracting #0: cost 1 inf + 0
4.948 * * [simplify]: Extracting #1: cost 3 inf + 0
4.948 * * [simplify]: Extracting #2: cost 6 inf + 0
4.948 * * [simplify]: Extracting #3: cost 6 inf + 1
4.948 * * [simplify]: Extracting #4: cost 5 inf + 2
4.948 * * [simplify]: Extracting #5: cost 0 inf + 1931
4.948 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
4.948 * [simplify]: Simplified (2 2) to (λ (x) (/.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 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))))
4.949 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (x) (/.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 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
4.949 * [simplify]: Simplifying (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))
4.949 * * [simplify]: iters left: 5 (9 enodes)
4.954 * * [simplify]: iters left: 4 (33 enodes)
4.967 * * [simplify]: iters left: 3 (83 enodes)
5.001 * * [simplify]: iters left: 2 (257 enodes)
5.158 * * [simplify]: Extracting #0: cost 1 inf + 0
5.158 * * [simplify]: Extracting #1: cost 34 inf + 0
5.158 * * [simplify]: Extracting #2: cost 176 inf + 0
5.159 * * [simplify]: Extracting #3: cost 265 inf + 9069
5.169 * * [simplify]: Extracting #4: cost 204 inf + 281787
5.201 * * [simplify]: Extracting #5: cost 23 inf + 624787
5.250 * * [simplify]: Extracting #6: cost 0 inf + 676193
5.292 * [simplify]: Simplified to (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))
5.292 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
5.293 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
5.293 * * [simplify]: iters left: 4 (7 enodes)
5.295 * * [simplify]: iters left: 3 (14 enodes)
5.297 * * [simplify]: iters left: 2 (16 enodes)
5.301 * * [simplify]: Extracting #0: cost 1 inf + 0
5.301 * * [simplify]: Extracting #1: cost 3 inf + 0
5.301 * * [simplify]: Extracting #2: cost 6 inf + 0
5.301 * * [simplify]: Extracting #3: cost 6 inf + 1
5.301 * * [simplify]: Extracting #4: cost 5 inf + 2
5.301 * * [simplify]: Extracting #5: cost 0 inf + 1931
5.301 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
5.301 * [simplify]: Simplified (2 2) to (λ (x) (/.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 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))))
5.301 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (x) (/.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 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
5.301 * [simplify]: Simplifying (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))
5.302 * * [simplify]: iters left: 5 (9 enodes)
5.304 * * [simplify]: iters left: 4 (33 enodes)
5.311 * * [simplify]: iters left: 3 (83 enodes)
5.334 * * [simplify]: iters left: 2 (257 enodes)
5.520 * * [simplify]: Extracting #0: cost 1 inf + 0
5.520 * * [simplify]: Extracting #1: cost 34 inf + 0
5.521 * * [simplify]: Extracting #2: cost 176 inf + 0
5.523 * * [simplify]: Extracting #3: cost 265 inf + 9069
5.542 * * [simplify]: Extracting #4: cost 204 inf + 281787
5.580 * * [simplify]: Extracting #5: cost 23 inf + 624787
5.645 * * [simplify]: Extracting #6: cost 0 inf + 676193
5.712 * [simplify]: Simplified to (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))
5.712 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
5.713 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
5.713 * * [simplify]: iters left: 4 (7 enodes)
5.716 * * [simplify]: iters left: 3 (14 enodes)
5.721 * * [simplify]: iters left: 2 (16 enodes)
5.726 * * [simplify]: Extracting #0: cost 1 inf + 0
5.726 * * [simplify]: Extracting #1: cost 3 inf + 0
5.726 * * [simplify]: Extracting #2: cost 6 inf + 0
5.726 * * [simplify]: Extracting #3: cost 6 inf + 1
5.726 * * [simplify]: Extracting #4: cost 5 inf + 2
5.727 * * [simplify]: Extracting #5: cost 0 inf + 1931
5.727 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
5.727 * [simplify]: Simplified (2 2) to (λ (x) (/.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 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))))
5.727 * * * [progress]: adding candidates to table
6.122 * * [progress]: iteration 3 / 4
6.122 * * * [progress]: picking best candidate
6.195 * * * * [pick]: Picked  #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
6.195 * * * [progress]: localizing error
6.464 * * * [progress]: generating rewritten candidates
6.464 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
6.480 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
6.482 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
6.486 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
6.491 * * * [progress]: generating series expansions
6.491 * * * * [progress]: [ 1 / 4 ] generating series at (2)
6.491 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
6.491 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
6.491 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
6.491 * * * [progress]: simplifying candidates
6.491 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (/.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))))>
6.491 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))
6.491 * * [simplify]: iters left: 5 (9 enodes)
6.493 * * [simplify]: iters left: 4 (22 enodes)
6.497 * * [simplify]: iters left: 3 (43 enodes)
6.506 * * [simplify]: iters left: 2 (115 enodes)
6.565 * * [simplify]: iters left: 1 (431 enodes)
7.028 * * [simplify]: Extracting #0: cost 1 inf + 0
7.028 * * [simplify]: Extracting #1: cost 60 inf + 0
7.029 * * [simplify]: Extracting #2: cost 355 inf + 0
7.032 * * [simplify]: Extracting #3: cost 629 inf + 2
7.040 * * [simplify]: Extracting #4: cost 582 inf + 212942
7.094 * * [simplify]: Extracting #5: cost 169 inf + 1142376
7.175 * * [simplify]: Extracting #6: cost 5 inf + 1529040
7.283 * * [simplify]: Extracting #7: cost 0 inf + 1544090
7.369 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))
7.370 * [simplify]: Simplified (2 2) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (/.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))))
7.370 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))))>
7.370 * [simplify]: Simplifying (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))
7.370 * * [simplify]: iters left: 5 (8 enodes)
7.374 * * [simplify]: iters left: 4 (21 enodes)
7.382 * * [simplify]: iters left: 3 (43 enodes)
7.400 * * [simplify]: iters left: 2 (95 enodes)
7.416 * * [simplify]: iters left: 1 (133 enodes)
7.433 * * [simplify]: Extracting #0: cost 1 inf + 0
7.433 * * [simplify]: Extracting #1: cost 12 inf + 0
7.433 * * [simplify]: Extracting #2: cost 45 inf + 0
7.434 * * [simplify]: Extracting #3: cost 44 inf + 322
7.434 * * [simplify]: Extracting #4: cost 38 inf + 2852
7.434 * * [simplify]: Extracting #5: cost 21 inf + 13925
7.437 * * [simplify]: Extracting #6: cost 1 inf + 37485
7.443 * * [simplify]: Extracting #7: cost 0 inf + 39087
7.447 * [simplify]: Simplified to (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))
7.447 * [simplify]: Simplified (2 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))))
7.447 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
7.447 * [simplify]: Simplifying (neg.p16 (/.p16 (real->posit16 1) x))
7.448 * * [simplify]: iters left: 3 (5 enodes)
7.450 * * [simplify]: iters left: 2 (10 enodes)
7.453 * * [simplify]: iters left: 1 (12 enodes)
7.455 * * [simplify]: Extracting #0: cost 1 inf + 0
7.455 * * [simplify]: Extracting #1: cost 2 inf + 0
7.455 * * [simplify]: Extracting #2: cost 4 inf + 0
7.455 * * [simplify]: Extracting #3: cost 4 inf + 1
7.455 * * [simplify]: Extracting #4: cost 3 inf + 2
7.455 * * [simplify]: Extracting #5: cost 0 inf + 967
7.455 * [simplify]: Simplified to (neg.p16 (/.p16 (real->posit16 1) x))
7.455 * [simplify]: Simplified (2 1 2 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
7.455 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (/.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 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
7.456 * [simplify]: Simplifying (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))
7.456 * * [simplify]: iters left: 5 (9 enodes)
7.458 * * [simplify]: iters left: 4 (33 enodes)
7.465 * * [simplify]: iters left: 3 (83 enodes)
7.482 * * [simplify]: iters left: 2 (257 enodes)
7.632 * * [simplify]: Extracting #0: cost 1 inf + 0
7.633 * * [simplify]: Extracting #1: cost 34 inf + 0
7.633 * * [simplify]: Extracting #2: cost 176 inf + 0
7.635 * * [simplify]: Extracting #3: cost 265 inf + 9069
7.660 * * [simplify]: Extracting #4: cost 204 inf + 281787
7.716 * * [simplify]: Extracting #5: cost 23 inf + 624787
7.781 * * [simplify]: Extracting #6: cost 0 inf + 676193
7.847 * [simplify]: Simplified to (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))
7.847 * [simplify]: Simplified (2 1 2 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
7.848 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
7.848 * * [simplify]: iters left: 4 (7 enodes)
7.851 * * [simplify]: iters left: 3 (14 enodes)
7.857 * * [simplify]: iters left: 2 (16 enodes)
7.862 * * [simplify]: Extracting #0: cost 1 inf + 0
7.862 * * [simplify]: Extracting #1: cost 3 inf + 0
7.862 * * [simplify]: Extracting #2: cost 6 inf + 0
7.862 * * [simplify]: Extracting #3: cost 6 inf + 1
7.862 * * [simplify]: Extracting #4: cost 5 inf + 2
7.862 * * [simplify]: Extracting #5: cost 0 inf + 1931
7.862 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
7.862 * [simplify]: Simplified (2 1 2 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (/.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 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
7.863 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))))))>
7.863 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
7.863 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
7.863 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
7.863 * * [simplify]: iters left: 4 (7 enodes)
7.868 * * [simplify]: iters left: 3 (14 enodes)
7.873 * * [simplify]: iters left: 2 (16 enodes)
7.878 * * [simplify]: Extracting #0: cost 1 inf + 0
7.878 * * [simplify]: Extracting #1: cost 3 inf + 0
7.878 * * [simplify]: Extracting #2: cost 6 inf + 0
7.878 * * [simplify]: Extracting #3: cost 6 inf + 1
7.878 * * [simplify]: Extracting #4: cost 5 inf + 2
7.879 * * [simplify]: Extracting #5: cost 0 inf + 1931
7.879 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
7.879 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
7.879 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
7.879 * * [simplify]: iters left: 4 (7 enodes)
7.885 * * [simplify]: iters left: 3 (20 enodes)
7.892 * * [simplify]: iters left: 2 (40 enodes)
7.909 * * [simplify]: iters left: 1 (96 enodes)
7.954 * * [simplify]: Extracting #0: cost 1 inf + 0
7.954 * * [simplify]: Extracting #1: cost 15 inf + 0
7.954 * * [simplify]: Extracting #2: cost 55 inf + 0
7.955 * * [simplify]: Extracting #3: cost 98 inf + 1
7.956 * * [simplify]: Extracting #4: cost 121 inf + 8826
7.962 * * [simplify]: Extracting #5: cost 44 inf + 112059
7.977 * * [simplify]: Extracting #6: cost 1 inf + 191785
7.994 * * [simplify]: Extracting #7: cost 0 inf + 194147
8.010 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
8.010 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
8.010 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
8.011 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
8.011 * * [simplify]: iters left: 4 (7 enodes)
8.014 * * [simplify]: iters left: 3 (14 enodes)
8.019 * * [simplify]: iters left: 2 (16 enodes)
8.024 * * [simplify]: Extracting #0: cost 1 inf + 0
8.024 * * [simplify]: Extracting #1: cost 3 inf + 0
8.024 * * [simplify]: Extracting #2: cost 6 inf + 0
8.024 * * [simplify]: Extracting #3: cost 6 inf + 1
8.024 * * [simplify]: Extracting #4: cost 5 inf + 2
8.025 * * [simplify]: Extracting #5: cost 0 inf + 1931
8.025 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
8.025 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
8.025 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
8.025 * * [simplify]: iters left: 4 (7 enodes)
8.029 * * [simplify]: iters left: 3 (20 enodes)
8.039 * * [simplify]: iters left: 2 (40 enodes)
8.055 * * [simplify]: iters left: 1 (96 enodes)
8.101 * * [simplify]: Extracting #0: cost 1 inf + 0
8.101 * * [simplify]: Extracting #1: cost 15 inf + 0
8.102 * * [simplify]: Extracting #2: cost 55 inf + 0
8.102 * * [simplify]: Extracting #3: cost 98 inf + 1
8.103 * * [simplify]: Extracting #4: cost 121 inf + 8826
8.110 * * [simplify]: Extracting #5: cost 44 inf + 112059
8.125 * * [simplify]: Extracting #6: cost 1 inf + 191785
8.142 * * [simplify]: Extracting #7: cost 0 inf + 194147
8.159 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
8.159 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
8.159 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
8.159 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
8.159 * * [simplify]: iters left: 4 (7 enodes)
8.163 * * [simplify]: iters left: 3 (14 enodes)
8.168 * * [simplify]: iters left: 2 (16 enodes)
8.173 * * [simplify]: Extracting #0: cost 1 inf + 0
8.173 * * [simplify]: Extracting #1: cost 3 inf + 0
8.173 * * [simplify]: Extracting #2: cost 6 inf + 0
8.173 * * [simplify]: Extracting #3: cost 6 inf + 1
8.173 * * [simplify]: Extracting #4: cost 5 inf + 2
8.173 * * [simplify]: Extracting #5: cost 0 inf + 1931
8.174 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
8.174 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
8.174 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
8.174 * * [simplify]: iters left: 4 (7 enodes)
8.178 * * [simplify]: iters left: 3 (20 enodes)
8.185 * * [simplify]: iters left: 2 (40 enodes)
8.199 * * [simplify]: iters left: 1 (96 enodes)
8.247 * * [simplify]: Extracting #0: cost 1 inf + 0
8.248 * * [simplify]: Extracting #1: cost 15 inf + 0
8.248 * * [simplify]: Extracting #2: cost 55 inf + 0
8.248 * * [simplify]: Extracting #3: cost 98 inf + 1
8.249 * * [simplify]: Extracting #4: cost 121 inf + 8826
8.256 * * [simplify]: Extracting #5: cost 44 inf + 112059
8.271 * * [simplify]: Extracting #6: cost 1 inf + 191785
8.288 * * [simplify]: Extracting #7: cost 0 inf + 194147
8.304 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
8.304 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
8.304 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
8.305 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
8.305 * * [simplify]: iters left: 4 (7 enodes)
8.308 * * [simplify]: iters left: 3 (14 enodes)
8.313 * * [simplify]: iters left: 2 (16 enodes)
8.318 * * [simplify]: Extracting #0: cost 1 inf + 0
8.318 * * [simplify]: Extracting #1: cost 3 inf + 0
8.318 * * [simplify]: Extracting #2: cost 6 inf + 0
8.318 * * [simplify]: Extracting #3: cost 6 inf + 1
8.318 * * [simplify]: Extracting #4: cost 5 inf + 2
8.318 * * [simplify]: Extracting #5: cost 0 inf + 1931
8.318 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
8.318 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
8.319 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
8.319 * * [simplify]: iters left: 4 (7 enodes)
8.322 * * [simplify]: iters left: 3 (20 enodes)
8.329 * * [simplify]: iters left: 2 (40 enodes)
8.344 * * [simplify]: iters left: 1 (96 enodes)
8.396 * * [simplify]: Extracting #0: cost 1 inf + 0
8.397 * * [simplify]: Extracting #1: cost 15 inf + 0
8.397 * * [simplify]: Extracting #2: cost 55 inf + 0
8.397 * * [simplify]: Extracting #3: cost 98 inf + 1
8.398 * * [simplify]: Extracting #4: cost 121 inf + 8826
8.405 * * [simplify]: Extracting #5: cost 44 inf + 112059
8.419 * * [simplify]: Extracting #6: cost 1 inf + 191785
8.436 * * [simplify]: Extracting #7: cost 0 inf + 194147
8.452 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
8.452 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
8.453 * * * [progress]: adding candidates to table
8.743 * * [progress]: iteration 4 / 4
8.743 * * * [progress]: picking best candidate
8.792 * * * * [pick]: Picked  #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
8.792 * * * [progress]: localizing error
9.048 * * * [progress]: generating rewritten candidates
9.048 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
9.076 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
9.089 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
9.106 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
9.111 * * * [progress]: generating series expansions
9.111 * * * * [progress]: [ 1 / 4 ] generating series at (2)
9.111 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
9.111 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
9.111 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
9.111 * * * [progress]: simplifying candidates
9.111 * * * * [progress]: [ 1 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (+.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))))))>
9.111 * [simplify]: Simplifying (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (+.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))))
9.111 * * [simplify]: iters left: 6 (12 enodes)
9.117 * * [simplify]: iters left: 5 (36 enodes)
9.132 * * [simplify]: iters left: 4 (95 enodes)
9.175 * * [simplify]: iters left: 3 (283 enodes)
9.317 * * [simplify]: Extracting #0: cost 1 inf + 0
9.317 * * [simplify]: Extracting #1: cost 19 inf + 0
9.318 * * [simplify]: Extracting #2: cost 134 inf + 0
9.319 * * [simplify]: Extracting #3: cost 144 inf + 322
9.321 * * [simplify]: Extracting #4: cost 122 inf + 19567
9.331 * * [simplify]: Extracting #5: cost 41 inf + 132487
9.348 * * [simplify]: Extracting #6: cost 0 inf + 208209
9.366 * [simplify]: Simplified to (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (+.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)))))
9.366 * [simplify]: Simplified (2 2) to (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)) (+.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)))))))
9.367 * * * * [progress]: [ 2 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))) (neg.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
9.367 * [simplify]: Simplifying (neg.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))
9.367 * * [simplify]: iters left: 4 (6 enodes)
9.373 * * [simplify]: iters left: 3 (15 enodes)
9.378 * * [simplify]: iters left: 2 (23 enodes)
9.385 * * [simplify]: iters left: 1 (29 enodes)
9.394 * * [simplify]: Extracting #0: cost 1 inf + 0
9.394 * * [simplify]: Extracting #1: cost 2 inf + 0
9.394 * * [simplify]: Extracting #2: cost 11 inf + 0
9.395 * * [simplify]: Extracting #3: cost 10 inf + 322
9.395 * * [simplify]: Extracting #4: cost 9 inf + 323
9.395 * * [simplify]: Extracting #5: cost 0 inf + 5419
9.396 * [simplify]: Simplified to (neg.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))
9.396 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (+.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))) (neg.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
9.396 * * * * [progress]: [ 3 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
9.396 * [simplify]: Simplifying (-.p16 (*.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))))
9.396 * * [simplify]: iters left: 6 (12 enodes)
9.402 * * [simplify]: iters left: 5 (45 enodes)
9.422 * * [simplify]: iters left: 4 (138 enodes)
9.490 * * [simplify]: iters left: 3 (497 enodes)
10.080 * * [simplify]: Extracting #0: cost 1 inf + 0
10.080 * * [simplify]: Extracting #1: cost 36 inf + 0
10.087 * * [simplify]: Extracting #2: cost 256 inf + 0
10.090 * * [simplify]: Extracting #3: cost 488 inf + 323
10.113 * * [simplify]: Extracting #4: cost 587 inf + 258331
10.233 * * [simplify]: Extracting #5: cost 111 inf + 1288764
10.404 * * [simplify]: Extracting #6: cost 0 inf + 1547387
10.576 * * [simplify]: Extracting #7: cost 0 inf + 1538907
10.749 * [simplify]: Simplified to (*.p16 (+.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)))) (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))))
10.749 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (/.p16 (*.p16 (+.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)))) (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
10.750 * [simplify]: Simplifying (+.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))
10.750 * * [simplify]: iters left: 6 (10 enodes)
10.756 * * [simplify]: iters left: 5 (26 enodes)
10.764 * * [simplify]: iters left: 4 (39 enodes)
10.777 * * [simplify]: iters left: 3 (64 enodes)
10.797 * * [simplify]: iters left: 2 (81 enodes)
10.820 * * [simplify]: iters left: 1 (114 enodes)
10.849 * * [simplify]: Extracting #0: cost 1 inf + 0
10.849 * * [simplify]: Extracting #1: cost 3 inf + 0
10.849 * * [simplify]: Extracting #2: cost 18 inf + 0
10.849 * * [simplify]: Extracting #3: cost 25 inf + 322
10.850 * * [simplify]: Extracting #4: cost 31 inf + 324
10.851 * * [simplify]: Extracting #5: cost 9 inf + 10328
10.852 * * [simplify]: Extracting #6: cost 0 inf + 16625
10.854 * * [simplify]: Extracting #7: cost 0 inf + 16185
10.856 * * [simplify]: Extracting #8: cost 0 inf + 15746
10.858 * [simplify]: Simplified to (+.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))))
10.858 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (+.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
10.859 * * * * [progress]: [ 4 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))))))>
10.859 * * * * [progress]: [ 5 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (/.p16 (real->posit16 1) x) (real->posit16 1)) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
10.859 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) x) (real->posit16 1))
10.859 * * [simplify]: iters left: 3 (5 enodes)
10.862 * * [simplify]: iters left: 2 (13 enodes)
10.866 * * [simplify]: iters left: 1 (17 enodes)
10.871 * * [simplify]: Extracting #0: cost 1 inf + 0
10.871 * * [simplify]: Extracting #1: cost 6 inf + 0
10.871 * * [simplify]: Extracting #2: cost 6 inf + 1
10.871 * * [simplify]: Extracting #3: cost 5 inf + 2
10.871 * * [simplify]: Extracting #4: cost 0 inf + 1970
10.872 * [simplify]: Simplified to (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) x))
10.872 * [simplify]: Simplified (2 1 2 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) x)) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
10.872 * * * * [progress]: [ 6 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) x)) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
10.872 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) x))
10.872 * * [simplify]: iters left: 3 (5 enodes)
10.875 * * [simplify]: iters left: 2 (13 enodes)
10.879 * * [simplify]: iters left: 1 (17 enodes)
10.884 * * [simplify]: Extracting #0: cost 1 inf + 0
10.884 * * [simplify]: Extracting #1: cost 6 inf + 0
10.884 * * [simplify]: Extracting #2: cost 6 inf + 1
10.884 * * [simplify]: Extracting #3: cost 5 inf + 2
10.885 * * [simplify]: Extracting #4: cost 0 inf + 1970
10.885 * [simplify]: Simplified to (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) x))
10.885 * [simplify]: Simplified (2 1 2 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) x)) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
10.885 * * * * [progress]: [ 7 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
10.885 * * * * [progress]: [ 8 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
10.885 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))))
10.885 * * [simplify]: iters left: 4 (6 enodes)
10.889 * * [simplify]: iters left: 3 (15 enodes)
10.894 * * [simplify]: iters left: 2 (19 enodes)
10.900 * * [simplify]: Extracting #0: cost 1 inf + 0
10.900 * * [simplify]: Extracting #1: cost 6 inf + 0
10.900 * * [simplify]: Extracting #2: cost 8 inf + 0
10.900 * * [simplify]: Extracting #3: cost 6 inf + 2
10.900 * * [simplify]: Extracting #4: cost 0 inf + 2132
10.900 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (real->posit16 1))
10.901 * [simplify]: Simplified (2 1 1 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (real->posit16 1)) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
10.901 * * * * [progress]: [ 9 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
10.901 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))))
10.901 * * [simplify]: iters left: 4 (6 enodes)
10.904 * * [simplify]: iters left: 3 (15 enodes)
10.910 * * [simplify]: iters left: 2 (19 enodes)
10.917 * * [simplify]: Extracting #0: cost 1 inf + 0
10.917 * * [simplify]: Extracting #1: cost 6 inf + 0
10.917 * * [simplify]: Extracting #2: cost 8 inf + 0
10.917 * * [simplify]: Extracting #3: cost 6 inf + 2
10.917 * * [simplify]: Extracting #4: cost 0 inf + 2132
10.918 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (real->posit16 1))
10.918 * [simplify]: Simplified (2 1 1 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (real->posit16 1)) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
10.918 * * * * [progress]: [ 10 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
10.918 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))))
10.918 * * [simplify]: iters left: 4 (6 enodes)
10.921 * * [simplify]: iters left: 3 (15 enodes)
10.926 * * [simplify]: iters left: 2 (19 enodes)
10.932 * * [simplify]: Extracting #0: cost 1 inf + 0
10.932 * * [simplify]: Extracting #1: cost 6 inf + 0
10.932 * * [simplify]: Extracting #2: cost 8 inf + 0
10.932 * * [simplify]: Extracting #3: cost 6 inf + 2
10.932 * * [simplify]: Extracting #4: cost 0 inf + 2132
10.932 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (real->posit16 1))
10.932 * [simplify]: Simplified (2 1 1 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (real->posit16 1)) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
10.933 * * * * [progress]: [ 11 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
10.933 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))))
10.933 * * [simplify]: iters left: 4 (6 enodes)
10.936 * * [simplify]: iters left: 3 (15 enodes)
10.940 * * [simplify]: iters left: 2 (19 enodes)
10.945 * * [simplify]: Extracting #0: cost 1 inf + 0
10.945 * * [simplify]: Extracting #1: cost 6 inf + 0
10.945 * * [simplify]: Extracting #2: cost 8 inf + 0
10.945 * * [simplify]: Extracting #3: cost 6 inf + 2
10.945 * * [simplify]: Extracting #4: cost 0 inf + 2132
10.945 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (real->posit16 1))
10.946 * [simplify]: Simplified (2 1 1 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (real->posit16 1)) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
10.946 * * * [progress]: adding candidates to table
11.382 * [progress]: [Phase 3 of 3] Extracting.
11.382 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))> #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (+.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))))))> #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))))> #<alt (λ (x) (/.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 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))> #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))> #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (/.p16 (real->posit16 1) x) (real->posit16 1)) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>)
11.384 * * * [regime-changes]: Trying 1 branch expressions: (x)
11.384 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))> #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (+.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))))))> #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))))> #<alt (λ (x) (/.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 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))> #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))> #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (/.p16 (real->posit16 1) x) (real->posit16 1)) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>)
11.549 * * * [regime]: Found split indices: #<option (#s(si 4 256))>
11.550 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
11.550 * * [simplify]: iters left: 4 (7 enodes)
11.552 * * [simplify]: iters left: 3 (9 enodes)
11.553 * * [simplify]: Extracting #0: cost 1 inf + 0
11.553 * * [simplify]: Extracting #1: cost 3 inf + 0
11.553 * * [simplify]: Extracting #2: cost 6 inf + 0
11.553 * * [simplify]: Extracting #3: cost 6 inf + 1
11.553 * * [simplify]: Extracting #4: cost 5 inf + 2
11.553 * * [simplify]: Extracting #5: cost 0 inf + 1971
11.554 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
11.554 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
11.574 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
11.577 * * * * [points]: Setting MPFR precision to 64
11.579 * * * * [points]: Setting MPFR precision to 320
11.580 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
11.583 * * * * [points]: Setting MPFR precision to 64
11.586 * * * * [points]: Setting MPFR precision to 320
11.589 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
11.592 * * * * [points]: Setting MPFR precision to 64
11.597 * * * * [points]: Setting MPFR precision to 320
11.603 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
11.606 * * * * [points]: Setting MPFR precision to 64
11.618 * * * * [points]: Setting MPFR precision to 320
11.628 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
11.631 * * * * [points]: Setting MPFR precision to 64
11.651 * * * * [points]: Setting MPFR precision to 320
11.670 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
11.673 * * * * [points]: Setting MPFR precision to 64
11.709 * * * * [points]: Setting MPFR precision to 320
11.750 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
11.753 * * * * [points]: Setting MPFR precision to 64
11.868 * * * * [points]: Setting MPFR precision to 320
11.946 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
11.949 * * * * [points]: Setting MPFR precision to 64
12.156 * * * * [points]: Setting MPFR precision to 320
12.315 * * * * [points]: Computing exacts for 8000 points
12.359 * * * * [points]: Setting MPFR precision to 64
12.992 * * * * [points]: Setting MPFR precision to 320
14.121 * * * * [points]: Filtering points with unrepresentable outputs
14.142 * * * * [points]: Sampled 8000 points with exact outputs
16.249 * [regime-testing]: Baseline error score: 64.0
16.252 * [regime-testing]: Oracle error score: 64.0
16.259 * [regime-testing]: End program error score: 0.6144531595866696