1552470039.755 * [progress]: [Phase 1 of 3] Setting up.
1552470039.755 * * * [progress]: [1/2] Preparing points
1552470039.755 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1552470039.755 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1552470039.756 * * * * [points]: Setting MPFR precision to 64
1552470039.757 * * * * [points]: Setting MPFR precision to 320
1552470039.758 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1552470039.760 * * * * [points]: Setting MPFR precision to 64
1552470039.761 * * * * [points]: Setting MPFR precision to 320
1552470039.763 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1552470039.764 * * * * [points]: Setting MPFR precision to 64
1552470039.767 * * * * [points]: Setting MPFR precision to 320
1552470039.770 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1552470039.771 * * * * [points]: Setting MPFR precision to 64
1552470039.776 * * * * [points]: Setting MPFR precision to 320
1552470039.786 * * * * [points]: Computing exacts for 256 points
1552470039.789 * * * * [points]: Setting MPFR precision to 64
1552470039.802 * * * * [points]: Setting MPFR precision to 320
1552470039.818 * * * * [points]: Filtering points with unrepresentable outputs
1552470039.827 * * * * [points]: Sampled 256 points with exact outputs
1552470039.827 * * * [progress]: [2/2] Setting up program.
1552470039.844 * [progress]: [Phase 2 of 3] Improving.
1552470039.844 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))>
1552470039.844 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1552470039.844 * * [simplify]: iters left: 4 (7 enodes)
1552470039.846 * * [simplify]: iters left: 3 (20 enodes)
1552470039.861 * * [simplify]: iters left: 2 (40 enodes)
1552470039.870 * * [simplify]: iters left: 1 (96 enodes)
1552470039.901 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470039.901 * * [simplify]: Extracting #1: cost 15 inf + 0
1552470039.901 * * [simplify]: Extracting #2: cost 55 inf + 0
1552470039.902 * * [simplify]: Extracting #3: cost 96 inf + 1
1552470039.903 * * [simplify]: Extracting #4: cost 121 inf + 8666
1552470039.909 * * [simplify]: Extracting #5: cost 47 inf + 106853
1552470039.923 * * [simplify]: Extracting #6: cost 2 inf + 188223
1552470039.941 * * [simplify]: Extracting #7: cost 0 inf + 193827
1552470039.957 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1552470039.957 * [simplify]: Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))
1552470039.991 * * [progress]: iteration 1 / 4
1552470039.991 * * * [progress]: picking best candidate
1552470040.008 * * * * [pick]: Picked  #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))>
1552470040.008 * * * [progress]: localizing error
1552470040.173 * * * [progress]: generating rewritten candidates
1552470040.173 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1552470040.177 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
1552470040.179 * * * [progress]: generating series expansions
1552470040.179 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1552470040.179 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
1552470040.179 * * * [progress]: simplifying candidates
1552470040.179 * * * * [progress]: [ 1 / 4 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 1) x))))>
1552470040.179 * * * * [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))))>
1552470040.179 * * * * [progress]: [ 3 / 4 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))>
1552470040.179 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1552470040.180 * * [simplify]: iters left: 4 (7 enodes)
1552470040.182 * * [simplify]: iters left: 3 (20 enodes)
1552470040.185 * * [simplify]: iters left: 2 (40 enodes)
1552470040.193 * * [simplify]: iters left: 1 (96 enodes)
1552470040.227 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470040.227 * * [simplify]: Extracting #1: cost 15 inf + 0
1552470040.227 * * [simplify]: Extracting #2: cost 55 inf + 0
1552470040.227 * * [simplify]: Extracting #3: cost 96 inf + 1
1552470040.228 * * [simplify]: Extracting #4: cost 121 inf + 8666
1552470040.231 * * [simplify]: Extracting #5: cost 47 inf + 106853
1552470040.239 * * [simplify]: Extracting #6: cost 2 inf + 188223
1552470040.247 * * [simplify]: Extracting #7: cost 0 inf + 193827
1552470040.255 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1552470040.255 * [simplify]: Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))
1552470040.255 * * * * [progress]: [ 4 / 4 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))>
1552470040.255 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1552470040.255 * * [simplify]: iters left: 4 (7 enodes)
1552470040.257 * * [simplify]: iters left: 3 (20 enodes)
1552470040.264 * * [simplify]: iters left: 2 (40 enodes)
1552470040.281 * * [simplify]: iters left: 1 (96 enodes)
1552470040.303 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470040.303 * * [simplify]: Extracting #1: cost 15 inf + 0
1552470040.303 * * [simplify]: Extracting #2: cost 55 inf + 0
1552470040.304 * * [simplify]: Extracting #3: cost 96 inf + 1
1552470040.304 * * [simplify]: Extracting #4: cost 121 inf + 8666
1552470040.307 * * [simplify]: Extracting #5: cost 47 inf + 106853
1552470040.314 * * [simplify]: Extracting #6: cost 2 inf + 188223
1552470040.323 * * [simplify]: Extracting #7: cost 0 inf + 193827
1552470040.331 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1552470040.331 * [simplify]: Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))
1552470040.331 * * * [progress]: adding candidates to table
1552470040.528 * * [progress]: iteration 2 / 4
1552470040.528 * * * [progress]: picking best candidate
1552470040.546 * * * * [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))))>
1552470040.546 * * * [progress]: localizing error
1552470040.765 * * * [progress]: generating rewritten candidates
1552470040.765 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1552470040.826 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1552470040.852 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
1552470040.869 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
1552470040.879 * * * [progress]: generating series expansions
1552470040.879 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1552470040.879 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1552470040.879 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
1552470040.880 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
1552470040.880 * * * [progress]: simplifying candidates
1552470040.880 * * * * [progress]: [ 1 / 21 ] 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)))))>
1552470040.880 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1552470040.880 * * [simplify]: iters left: 4 (7 enodes)
1552470040.884 * * [simplify]: iters left: 3 (14 enodes)
1552470040.889 * * [simplify]: iters left: 2 (16 enodes)
1552470040.894 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470040.894 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470040.894 * * [simplify]: Extracting #2: cost 6 inf + 0
1552470040.894 * * [simplify]: Extracting #3: cost 6 inf + 1
1552470040.894 * * [simplify]: Extracting #4: cost 5 inf + 2
1552470040.894 * * [simplify]: Extracting #5: cost 0 inf + 1931
1552470040.894 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1552470040.894 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (+.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)))))
1552470040.894 * * * * [progress]: [ 2 / 21 ] 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)))))>
1552470040.895 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1552470040.895 * * [simplify]: iters left: 4 (7 enodes)
1552470040.898 * * [simplify]: iters left: 3 (14 enodes)
1552470040.903 * * [simplify]: iters left: 2 (16 enodes)
1552470040.907 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470040.908 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470040.908 * * [simplify]: Extracting #2: cost 6 inf + 0
1552470040.908 * * [simplify]: Extracting #3: cost 6 inf + 1
1552470040.908 * * [simplify]: Extracting #4: cost 5 inf + 2
1552470040.908 * * [simplify]: Extracting #5: cost 0 inf + 1931
1552470040.908 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1552470040.908 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (+.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)))))
1552470040.908 * * * * [progress]: [ 3 / 21 ] 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)))))>
1552470040.909 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1552470040.909 * * [simplify]: iters left: 4 (7 enodes)
1552470040.912 * * [simplify]: iters left: 3 (14 enodes)
1552470040.916 * * [simplify]: iters left: 2 (16 enodes)
1552470040.921 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470040.921 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470040.921 * * [simplify]: Extracting #2: cost 6 inf + 0
1552470040.921 * * [simplify]: Extracting #3: cost 6 inf + 1
1552470040.921 * * [simplify]: Extracting #4: cost 5 inf + 2
1552470040.921 * * [simplify]: Extracting #5: cost 0 inf + 1931
1552470040.922 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1552470040.922 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (+.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)))))
1552470040.922 * * * * [progress]: [ 4 / 21 ] 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)))))>
1552470040.922 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1552470040.922 * * [simplify]: iters left: 4 (7 enodes)
1552470040.925 * * [simplify]: iters left: 3 (14 enodes)
1552470040.930 * * [simplify]: iters left: 2 (16 enodes)
1552470040.936 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470040.936 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470040.936 * * [simplify]: Extracting #2: cost 6 inf + 0
1552470040.936 * * [simplify]: Extracting #3: cost 6 inf + 1
1552470040.936 * * [simplify]: Extracting #4: cost 5 inf + 2
1552470040.936 * * [simplify]: Extracting #5: cost 0 inf + 1931
1552470040.936 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1552470040.936 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (+.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)))))
1552470040.936 * * * * [progress]: [ 5 / 21 ] 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))))))>
1552470040.936 * [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))))
1552470040.936 * * [simplify]: iters left: 6 (11 enodes)
1552470040.939 * * [simplify]: iters left: 5 (43 enodes)
1552470040.949 * * [simplify]: iters left: 4 (140 enodes)
1552470040.985 * * [simplify]: iters left: 3 (442 enodes)
1552470041.250 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470041.250 * * [simplify]: Extracting #1: cost 41 inf + 0
1552470041.250 * * [simplify]: Extracting #2: cost 283 inf + 0
1552470041.252 * * [simplify]: Extracting #3: cost 444 inf + 324
1552470041.260 * * [simplify]: Extracting #4: cost 494 inf + 199122
1552470041.324 * * [simplify]: Extracting #5: cost 80 inf + 1116354
1552470041.451 * * [simplify]: Extracting #6: cost 0 inf + 1325634
1552470041.569 * * [simplify]: Extracting #7: cost 0 inf + 1325514
1552470041.720 * [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)))))
1552470041.720 * [simplify]: Simplified (2 1) to (λ (x) (/.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) 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))))))
1552470041.720 * * * * [progress]: [ 6 / 21 ] 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))))>
1552470041.721 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1552470041.721 * * [simplify]: iters left: 4 (7 enodes)
1552470041.724 * * [simplify]: iters left: 3 (14 enodes)
1552470041.729 * * [simplify]: iters left: 2 (16 enodes)
1552470041.734 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470041.734 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470041.734 * * [simplify]: Extracting #2: cost 6 inf + 0
1552470041.734 * * [simplify]: Extracting #3: cost 6 inf + 1
1552470041.735 * * [simplify]: Extracting #4: cost 5 inf + 2
1552470041.735 * * [simplify]: Extracting #5: cost 0 inf + 1931
1552470041.735 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1552470041.735 * [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))))
1552470041.735 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1552470041.735 * * [simplify]: iters left: 4 (7 enodes)
1552470041.739 * * [simplify]: iters left: 3 (20 enodes)
1552470041.746 * * [simplify]: iters left: 2 (40 enodes)
1552470041.761 * * [simplify]: iters left: 1 (96 enodes)
1552470041.787 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470041.787 * * [simplify]: Extracting #1: cost 15 inf + 0
1552470041.788 * * [simplify]: Extracting #2: cost 55 inf + 0
1552470041.788 * * [simplify]: Extracting #3: cost 96 inf + 1
1552470041.788 * * [simplify]: Extracting #4: cost 121 inf + 8666
1552470041.791 * * [simplify]: Extracting #5: cost 47 inf + 106853
1552470041.800 * * [simplify]: Extracting #6: cost 2 inf + 188223
1552470041.809 * * [simplify]: Extracting #7: cost 0 inf + 193827
1552470041.817 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1552470041.817 * [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))))
1552470041.817 * * * * [progress]: [ 7 / 21 ] 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))))>
1552470041.817 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1552470041.817 * * [simplify]: iters left: 4 (7 enodes)
1552470041.819 * * [simplify]: iters left: 3 (14 enodes)
1552470041.822 * * [simplify]: iters left: 2 (16 enodes)
1552470041.824 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470041.824 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470041.824 * * [simplify]: Extracting #2: cost 6 inf + 0
1552470041.824 * * [simplify]: Extracting #3: cost 6 inf + 1
1552470041.825 * * [simplify]: Extracting #4: cost 5 inf + 2
1552470041.825 * * [simplify]: Extracting #5: cost 0 inf + 1931
1552470041.825 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1552470041.825 * [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))))
1552470041.825 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1552470041.825 * * [simplify]: iters left: 4 (7 enodes)
1552470041.827 * * [simplify]: iters left: 3 (20 enodes)
1552470041.830 * * [simplify]: iters left: 2 (40 enodes)
1552470041.838 * * [simplify]: iters left: 1 (96 enodes)
1552470041.861 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470041.861 * * [simplify]: Extracting #1: cost 15 inf + 0
1552470041.861 * * [simplify]: Extracting #2: cost 55 inf + 0
1552470041.862 * * [simplify]: Extracting #3: cost 96 inf + 1
1552470041.863 * * [simplify]: Extracting #4: cost 121 inf + 8666
1552470041.869 * * [simplify]: Extracting #5: cost 47 inf + 106853
1552470041.884 * * [simplify]: Extracting #6: cost 2 inf + 188223
1552470041.901 * * [simplify]: Extracting #7: cost 0 inf + 193827
1552470041.919 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1552470041.919 * [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))))
1552470041.919 * * * * [progress]: [ 8 / 21 ] 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))))>
1552470041.920 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1552470041.920 * * [simplify]: iters left: 4 (7 enodes)
1552470041.923 * * [simplify]: iters left: 3 (14 enodes)
1552470041.925 * * [simplify]: iters left: 2 (16 enodes)
1552470041.927 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470041.928 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470041.928 * * [simplify]: Extracting #2: cost 6 inf + 0
1552470041.928 * * [simplify]: Extracting #3: cost 6 inf + 1
1552470041.928 * * [simplify]: Extracting #4: cost 5 inf + 2
1552470041.928 * * [simplify]: Extracting #5: cost 0 inf + 1931
1552470041.928 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1552470041.928 * [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))))
1552470041.928 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1552470041.928 * * [simplify]: iters left: 4 (7 enodes)
1552470041.930 * * [simplify]: iters left: 3 (20 enodes)
1552470041.933 * * [simplify]: iters left: 2 (40 enodes)
1552470041.941 * * [simplify]: iters left: 1 (96 enodes)
1552470041.962 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470041.962 * * [simplify]: Extracting #1: cost 15 inf + 0
1552470041.963 * * [simplify]: Extracting #2: cost 55 inf + 0
1552470041.963 * * [simplify]: Extracting #3: cost 96 inf + 1
1552470041.963 * * [simplify]: Extracting #4: cost 121 inf + 8666
1552470041.966 * * [simplify]: Extracting #5: cost 47 inf + 106853
1552470041.974 * * [simplify]: Extracting #6: cost 2 inf + 188223
1552470041.982 * * [simplify]: Extracting #7: cost 0 inf + 193827
1552470041.990 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1552470041.990 * [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))))
1552470041.990 * * * * [progress]: [ 9 / 21 ] 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))))>
1552470041.991 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1552470041.991 * * [simplify]: iters left: 4 (7 enodes)
1552470041.992 * * [simplify]: iters left: 3 (14 enodes)
1552470041.995 * * [simplify]: iters left: 2 (16 enodes)
1552470041.999 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470041.999 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470041.999 * * [simplify]: Extracting #2: cost 6 inf + 0
1552470041.999 * * [simplify]: Extracting #3: cost 6 inf + 1
1552470041.999 * * [simplify]: Extracting #4: cost 5 inf + 2
1552470041.999 * * [simplify]: Extracting #5: cost 0 inf + 1931
1552470041.999 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1552470041.999 * [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))))
1552470042.000 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1552470042.000 * * [simplify]: iters left: 4 (7 enodes)
1552470042.003 * * [simplify]: iters left: 3 (20 enodes)
1552470042.010 * * [simplify]: iters left: 2 (40 enodes)
1552470042.025 * * [simplify]: iters left: 1 (96 enodes)
1552470042.070 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470042.070 * * [simplify]: Extracting #1: cost 15 inf + 0
1552470042.070 * * [simplify]: Extracting #2: cost 55 inf + 0
1552470042.071 * * [simplify]: Extracting #3: cost 96 inf + 1
1552470042.072 * * [simplify]: Extracting #4: cost 121 inf + 8666
1552470042.078 * * [simplify]: Extracting #5: cost 47 inf + 106853
1552470042.092 * * [simplify]: Extracting #6: cost 2 inf + 188223
1552470042.108 * * [simplify]: Extracting #7: cost 0 inf + 193827
1552470042.125 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1552470042.125 * [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))))
1552470042.125 * * * * [progress]: [ 10 / 21 ] 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))))>
1552470042.125 * * * * [progress]: [ 11 / 21 ] 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))))>
1552470042.125 * * * * [progress]: [ 12 / 21 ] 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))))>
1552470042.125 * [simplify]: Simplifying (+.p16 x (real->posit16 1))
1552470042.125 * * [simplify]: iters left: 2 (4 enodes)
1552470042.128 * * [simplify]: iters left: 1 (10 enodes)
1552470042.131 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470042.131 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470042.131 * * [simplify]: Extracting #2: cost 3 inf + 1
1552470042.131 * * [simplify]: Extracting #3: cost 0 inf + 45
1552470042.131 * [simplify]: Simplified to (+.p16 (real->posit16 1) x)
1552470042.131 * [simplify]: Simplified (2 1 1 2) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (real->posit16 1)) (+.p16 (real->posit16 1) x)) (*.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))))
1552470042.131 * * * * [progress]: [ 13 / 21 ] 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))))>
1552470042.132 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))))
1552470042.132 * * [simplify]: iters left: 4 (6 enodes)
1552470042.135 * * [simplify]: iters left: 3 (15 enodes)
1552470042.140 * * [simplify]: iters left: 2 (19 enodes)
1552470042.145 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470042.145 * * [simplify]: Extracting #1: cost 6 inf + 0
1552470042.146 * * [simplify]: Extracting #2: cost 8 inf + 0
1552470042.146 * * [simplify]: Extracting #3: cost 6 inf + 2
1552470042.146 * * [simplify]: Extracting #4: cost 0 inf + 2132
1552470042.146 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (real->posit16 1))
1552470042.146 * [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))))
1552470042.146 * * * * [progress]: [ 14 / 21 ] 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))))>
1552470042.146 * * * * [progress]: [ 15 / 21 ] 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 (/.p16 (real->posit16 1) x) (real->posit16 1)) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
1552470042.146 * * * * [progress]: [ 16 / 21 ] 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) (/.p16 (real->posit16 1) x)) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))>
1552470042.147 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) x))
1552470042.147 * * [simplify]: iters left: 3 (5 enodes)
1552470042.149 * * [simplify]: iters left: 2 (13 enodes)
1552470042.152 * * [simplify]: iters left: 1 (17 enodes)
1552470042.155 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470042.155 * * [simplify]: Extracting #1: cost 6 inf + 0
1552470042.155 * * [simplify]: Extracting #2: cost 6 inf + 1
1552470042.155 * * [simplify]: Extracting #3: cost 5 inf + 2
1552470042.156 * * [simplify]: Extracting #4: cost 0 inf + 1970
1552470042.156 * [simplify]: Simplified to (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) x))
1552470042.156 * [simplify]: Simplified (2 1 2 1) 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) (/.p16 (real->posit16 1) x)) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
1552470042.156 * * * * [progress]: [ 17 / 21 ] 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))))>
1552470042.156 * * * * [progress]: [ 18 / 21 ] 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))))>
1552470042.156 * * * * [progress]: [ 19 / 21 ] 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))))>
1552470042.156 * * * * [progress]: [ 20 / 21 ] 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))))>
1552470042.156 * * * * [progress]: [ 21 / 21 ] 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))))>
1552470042.156 * * * [progress]: adding candidates to table
1552470043.509 * * [progress]: iteration 3 / 4
1552470043.509 * * * [progress]: picking best candidate
1552470043.653 * * * * [pick]: Picked  #<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)))))>
1552470043.653 * * * [progress]: localizing error
1552470043.714 * * * [progress]: generating rewritten candidates
1552470043.714 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1552470043.723 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
1552470043.726 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
1552470043.737 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1552470043.742 * * * [progress]: generating series expansions
1552470043.742 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1552470043.742 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
1552470043.742 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
1552470043.742 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1552470043.742 * * * [progress]: simplifying candidates
1552470043.743 * * * * [progress]: [ 1 / 9 ] simplifiying candidate #<alt (λ (x) (/.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) 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)))))>
1552470043.743 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1552470043.743 * * [simplify]: iters left: 4 (7 enodes)
1552470043.745 * * [simplify]: iters left: 3 (14 enodes)
1552470043.748 * * [simplify]: iters left: 2 (16 enodes)
1552470043.750 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470043.750 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470043.751 * * [simplify]: Extracting #2: cost 6 inf + 0
1552470043.751 * * [simplify]: Extracting #3: cost 6 inf + 1
1552470043.751 * * [simplify]: Extracting #4: cost 5 inf + 2
1552470043.751 * * [simplify]: Extracting #5: cost 0 inf + 1931
1552470043.751 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1552470043.751 * [simplify]: Simplified (2 2 2) to (λ (x) (/.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) 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 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))))
1552470043.751 * * * * [progress]: [ 2 / 9 ] 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))) (neg.p16 (/.p16 (real->posit16 1) x))))))>
1552470043.751 * * * * [progress]: [ 3 / 9 ] 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 (*.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))))))>
1552470043.751 * * * * [progress]: [ 4 / 9 ] 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) 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)))))>
1552470043.751 * * * * [progress]: [ 5 / 9 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (/.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)))))>
1552470043.751 * * * * [progress]: [ 6 / 9 ] 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)))))>
1552470043.751 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1552470043.751 * * [simplify]: iters left: 4 (7 enodes)
1552470043.753 * * [simplify]: iters left: 3 (14 enodes)
1552470043.755 * * [simplify]: iters left: 2 (16 enodes)
1552470043.758 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470043.758 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470043.758 * * [simplify]: Extracting #2: cost 6 inf + 0
1552470043.758 * * [simplify]: Extracting #3: cost 6 inf + 1
1552470043.758 * * [simplify]: Extracting #4: cost 5 inf + 2
1552470043.758 * * [simplify]: Extracting #5: cost 0 inf + 1931
1552470043.758 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1552470043.758 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (+.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)))))
1552470043.758 * * * * [progress]: [ 7 / 9 ] 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)))))>
1552470043.758 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1552470043.759 * * [simplify]: iters left: 4 (7 enodes)
1552470043.760 * * [simplify]: iters left: 3 (14 enodes)
1552470043.762 * * [simplify]: iters left: 2 (16 enodes)
1552470043.765 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470043.765 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470043.765 * * [simplify]: Extracting #2: cost 6 inf + 0
1552470043.765 * * [simplify]: Extracting #3: cost 6 inf + 1
1552470043.765 * * [simplify]: Extracting #4: cost 5 inf + 2
1552470043.765 * * [simplify]: Extracting #5: cost 0 inf + 1931
1552470043.765 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1552470043.765 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (+.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)))))
1552470043.765 * * * * [progress]: [ 8 / 9 ] 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)))))>
1552470043.766 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1552470043.766 * * [simplify]: iters left: 4 (7 enodes)
1552470043.767 * * [simplify]: iters left: 3 (14 enodes)
1552470043.769 * * [simplify]: iters left: 2 (16 enodes)
1552470043.772 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470043.772 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470043.772 * * [simplify]: Extracting #2: cost 6 inf + 0
1552470043.772 * * [simplify]: Extracting #3: cost 6 inf + 1
1552470043.772 * * [simplify]: Extracting #4: cost 5 inf + 2
1552470043.772 * * [simplify]: Extracting #5: cost 0 inf + 1931
1552470043.772 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1552470043.772 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (+.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)))))
1552470043.772 * * * * [progress]: [ 9 / 9 ] 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)))))>
1552470043.773 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1552470043.773 * * [simplify]: iters left: 4 (7 enodes)
1552470043.774 * * [simplify]: iters left: 3 (14 enodes)
1552470043.777 * * [simplify]: iters left: 2 (16 enodes)
1552470043.780 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470043.780 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470043.780 * * [simplify]: Extracting #2: cost 6 inf + 0
1552470043.780 * * [simplify]: Extracting #3: cost 6 inf + 1
1552470043.780 * * [simplify]: Extracting #4: cost 5 inf + 2
1552470043.780 * * [simplify]: Extracting #5: cost 0 inf + 1931
1552470043.780 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1552470043.781 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (+.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)))))
1552470043.781 * * * [progress]: adding candidates to table
1552470044.292 * * [progress]: iteration 4 / 4
1552470044.292 * * * [progress]: picking best candidate
1552470044.485 * * * * [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))))>
1552470044.485 * * * [progress]: localizing error
1552470044.550 * * * [progress]: generating rewritten candidates
1552470044.550 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1552470044.569 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1552470044.572 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
1552470044.577 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
1552470044.582 * * * [progress]: generating series expansions
1552470044.582 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1552470044.582 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1552470044.582 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
1552470044.582 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
1552470044.582 * * * [progress]: simplifying candidates
1552470044.582 * * * * [progress]: [ 1 / 11 ] 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)))))>
1552470044.582 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1552470044.582 * * [simplify]: iters left: 4 (7 enodes)
1552470044.584 * * [simplify]: iters left: 3 (14 enodes)
1552470044.587 * * [simplify]: iters left: 2 (16 enodes)
1552470044.589 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470044.590 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470044.590 * * [simplify]: Extracting #2: cost 6 inf + 0
1552470044.590 * * [simplify]: Extracting #3: cost 6 inf + 1
1552470044.590 * * [simplify]: Extracting #4: cost 5 inf + 2
1552470044.590 * * [simplify]: Extracting #5: cost 0 inf + 1931
1552470044.590 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1552470044.590 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (+.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)))))
1552470044.590 * * * * [progress]: [ 2 / 11 ] 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)))))>
1552470044.591 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1552470044.591 * * [simplify]: iters left: 4 (7 enodes)
1552470044.594 * * [simplify]: iters left: 3 (20 enodes)
1552470044.602 * * [simplify]: iters left: 2 (40 enodes)
1552470044.616 * * [simplify]: iters left: 1 (96 enodes)
1552470044.642 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470044.642 * * [simplify]: Extracting #1: cost 15 inf + 0
1552470044.642 * * [simplify]: Extracting #2: cost 55 inf + 0
1552470044.643 * * [simplify]: Extracting #3: cost 96 inf + 1
1552470044.643 * * [simplify]: Extracting #4: cost 121 inf + 8666
1552470044.647 * * [simplify]: Extracting #5: cost 47 inf + 106853
1552470044.663 * * [simplify]: Extracting #6: cost 2 inf + 188223
1552470044.679 * * [simplify]: Extracting #7: cost 0 inf + 193827
1552470044.695 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1552470044.695 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (-.p16 (/.p16 (real->posit16 1) (+.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)))))
1552470044.696 * * * * [progress]: [ 3 / 11 ] 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)))))>
1552470044.696 * [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))))
1552470044.696 * * [simplify]: iters left: 6 (11 enodes)
1552470044.701 * * [simplify]: iters left: 5 (36 enodes)
1552470044.716 * * [simplify]: iters left: 4 (106 enodes)
1552470044.767 * * [simplify]: iters left: 3 (375 enodes)
1552470045.100 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470045.100 * * [simplify]: Extracting #1: cost 52 inf + 0
1552470045.102 * * [simplify]: Extracting #2: cost 302 inf + 0
1552470045.105 * * [simplify]: Extracting #3: cost 422 inf + 3
1552470045.120 * * [simplify]: Extracting #4: cost 394 inf + 185686
1552470045.182 * * [simplify]: Extracting #5: cost 54 inf + 860963
1552470045.270 * * [simplify]: Extracting #6: cost 0 inf + 993351
1552470045.332 * [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) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))))
1552470045.332 * [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 (/.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 (/.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)))))
1552470045.332 * * * * [progress]: [ 4 / 11 ] 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))))>
1552470045.333 * * * * [progress]: [ 5 / 11 ] 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))))>
1552470045.333 * * * * [progress]: [ 6 / 11 ] 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))))))>
1552470045.333 * * * * [progress]: [ 7 / 11 ] 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))))>
1552470045.333 * * * * [progress]: [ 8 / 11 ] 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))))>
1552470045.333 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1552470045.333 * * [simplify]: iters left: 4 (7 enodes)
1552470045.337 * * [simplify]: iters left: 3 (14 enodes)
1552470045.342 * * [simplify]: iters left: 2 (16 enodes)
1552470045.349 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470045.349 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470045.349 * * [simplify]: Extracting #2: cost 6 inf + 0
1552470045.349 * * [simplify]: Extracting #3: cost 6 inf + 1
1552470045.350 * * [simplify]: Extracting #4: cost 5 inf + 2
1552470045.350 * * [simplify]: Extracting #5: cost 0 inf + 1931
1552470045.350 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1552470045.350 * [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))))
1552470045.350 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1552470045.351 * * [simplify]: iters left: 4 (7 enodes)
1552470045.354 * * [simplify]: iters left: 3 (20 enodes)
1552470045.362 * * [simplify]: iters left: 2 (40 enodes)
1552470045.376 * * [simplify]: iters left: 1 (96 enodes)
1552470045.418 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470045.418 * * [simplify]: Extracting #1: cost 15 inf + 0
1552470045.418 * * [simplify]: Extracting #2: cost 55 inf + 0
1552470045.419 * * [simplify]: Extracting #3: cost 96 inf + 1
1552470045.420 * * [simplify]: Extracting #4: cost 121 inf + 8666
1552470045.426 * * [simplify]: Extracting #5: cost 47 inf + 106853
1552470045.442 * * [simplify]: Extracting #6: cost 2 inf + 188223
1552470045.462 * * [simplify]: Extracting #7: cost 0 inf + 193827
1552470045.479 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1552470045.479 * [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))))
1552470045.479 * * * * [progress]: [ 9 / 11 ] 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))))>
1552470045.479 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1552470045.479 * * [simplify]: iters left: 4 (7 enodes)
1552470045.483 * * [simplify]: iters left: 3 (14 enodes)
1552470045.488 * * [simplify]: iters left: 2 (16 enodes)
1552470045.492 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470045.493 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470045.493 * * [simplify]: Extracting #2: cost 6 inf + 0
1552470045.493 * * [simplify]: Extracting #3: cost 6 inf + 1
1552470045.493 * * [simplify]: Extracting #4: cost 5 inf + 2
1552470045.493 * * [simplify]: Extracting #5: cost 0 inf + 1931
1552470045.493 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1552470045.493 * [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))))
1552470045.493 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1552470045.494 * * [simplify]: iters left: 4 (7 enodes)
1552470045.495 * * [simplify]: iters left: 3 (20 enodes)
1552470045.499 * * [simplify]: iters left: 2 (40 enodes)
1552470045.507 * * [simplify]: iters left: 1 (96 enodes)
1552470045.537 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470045.537 * * [simplify]: Extracting #1: cost 15 inf + 0
1552470045.537 * * [simplify]: Extracting #2: cost 55 inf + 0
1552470045.537 * * [simplify]: Extracting #3: cost 96 inf + 1
1552470045.538 * * [simplify]: Extracting #4: cost 121 inf + 8666
1552470045.544 * * [simplify]: Extracting #5: cost 47 inf + 106853
1552470045.553 * * [simplify]: Extracting #6: cost 2 inf + 188223
1552470045.562 * * [simplify]: Extracting #7: cost 0 inf + 193827
1552470045.570 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1552470045.570 * [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))))
1552470045.570 * * * * [progress]: [ 10 / 11 ] 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))))>
1552470045.570 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1552470045.570 * * [simplify]: iters left: 4 (7 enodes)
1552470045.572 * * [simplify]: iters left: 3 (14 enodes)
1552470045.576 * * [simplify]: iters left: 2 (16 enodes)
1552470045.579 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470045.579 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470045.579 * * [simplify]: Extracting #2: cost 6 inf + 0
1552470045.579 * * [simplify]: Extracting #3: cost 6 inf + 1
1552470045.579 * * [simplify]: Extracting #4: cost 5 inf + 2
1552470045.579 * * [simplify]: Extracting #5: cost 0 inf + 1931
1552470045.580 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1552470045.580 * [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))))
1552470045.580 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1552470045.580 * * [simplify]: iters left: 4 (7 enodes)
1552470045.583 * * [simplify]: iters left: 3 (20 enodes)
1552470045.591 * * [simplify]: iters left: 2 (40 enodes)
1552470045.600 * * [simplify]: iters left: 1 (96 enodes)
1552470045.624 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470045.624 * * [simplify]: Extracting #1: cost 15 inf + 0
1552470045.625 * * [simplify]: Extracting #2: cost 55 inf + 0
1552470045.625 * * [simplify]: Extracting #3: cost 96 inf + 1
1552470045.627 * * [simplify]: Extracting #4: cost 121 inf + 8666
1552470045.633 * * [simplify]: Extracting #5: cost 47 inf + 106853
1552470045.646 * * [simplify]: Extracting #6: cost 2 inf + 188223
1552470045.658 * * [simplify]: Extracting #7: cost 0 inf + 193827
1552470045.666 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1552470045.666 * [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))))
1552470045.666 * * * * [progress]: [ 11 / 11 ] 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))))>
1552470045.666 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1552470045.666 * * [simplify]: iters left: 4 (7 enodes)
1552470045.668 * * [simplify]: iters left: 3 (14 enodes)
1552470045.670 * * [simplify]: iters left: 2 (16 enodes)
1552470045.673 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470045.673 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470045.673 * * [simplify]: Extracting #2: cost 6 inf + 0
1552470045.673 * * [simplify]: Extracting #3: cost 6 inf + 1
1552470045.673 * * [simplify]: Extracting #4: cost 5 inf + 2
1552470045.673 * * [simplify]: Extracting #5: cost 0 inf + 1931
1552470045.673 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1552470045.673 * [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))))
1552470045.673 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
1552470045.673 * * [simplify]: iters left: 4 (7 enodes)
1552470045.675 * * [simplify]: iters left: 3 (20 enodes)
1552470045.679 * * [simplify]: iters left: 2 (40 enodes)
1552470045.687 * * [simplify]: iters left: 1 (96 enodes)
1552470045.709 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470045.709 * * [simplify]: Extracting #1: cost 15 inf + 0
1552470045.709 * * [simplify]: Extracting #2: cost 55 inf + 0
1552470045.709 * * [simplify]: Extracting #3: cost 96 inf + 1
1552470045.710 * * [simplify]: Extracting #4: cost 121 inf + 8666
1552470045.713 * * [simplify]: Extracting #5: cost 47 inf + 106853
1552470045.727 * * [simplify]: Extracting #6: cost 2 inf + 188223
1552470045.743 * * [simplify]: Extracting #7: cost 0 inf + 193827
1552470045.760 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))
1552470045.760 * [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))))
1552470045.760 * * * [progress]: adding candidates to table
1552470046.273 * [progress]: [Phase 3 of 3] Extracting.
1552470046.273 * * [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 (/.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 (/.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))))> #<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 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))))))> #<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))))> #<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) (/.p16 (real->posit16 1) x)) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))> #<alt (λ (x) (/.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) 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)))))> #<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)))))>)
1552470046.277 * * * [regime-changes]: Trying 1 branch expressions: (x)
1552470046.277 * * * * [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 (/.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 (/.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))))> #<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 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))))))> #<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))))> #<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) (/.p16 (real->posit16 1) x)) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))> #<alt (λ (x) (/.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) 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)))))> #<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)))))>)
1552470046.567 * * * [regime]: Found split indices: #<option (#s(si 7 256))>
1552470046.568 * [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) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))))
1552470046.568 * * [simplify]: iters left: 6 (10 enodes)
1552470046.569 * * [simplify]: iters left: 5 (12 enodes)
1552470046.569 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470046.569 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470046.569 * * [simplify]: Extracting #2: cost 6 inf + 0
1552470046.569 * * [simplify]: Extracting #3: cost 9 inf + 0
1552470046.569 * * [simplify]: Extracting #4: cost 9 inf + 1
1552470046.569 * * [simplify]: Extracting #5: cost 8 inf + 2
1552470046.576 * * [simplify]: Extracting #6: cost 0 inf + 6337
1552470046.576 * [simplify]: Simplified to (/.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))))
1552470046.576 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1552470046.591 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1552470046.593 * * * * [points]: Setting MPFR precision to 64
1552470046.595 * * * * [points]: Setting MPFR precision to 320
1552470046.596 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1552470046.597 * * * * [points]: Setting MPFR precision to 64
1552470046.599 * * * * [points]: Setting MPFR precision to 320
1552470046.601 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1552470046.602 * * * * [points]: Setting MPFR precision to 64
1552470046.605 * * * * [points]: Setting MPFR precision to 320
1552470046.609 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1552470046.610 * * * * [points]: Setting MPFR precision to 64
1552470046.615 * * * * [points]: Setting MPFR precision to 320
1552470046.623 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1552470046.625 * * * * [points]: Setting MPFR precision to 64
1552470046.635 * * * * [points]: Setting MPFR precision to 320
1552470046.649 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1552470046.652 * * * * [points]: Setting MPFR precision to 64
1552470046.687 * * * * [points]: Setting MPFR precision to 320
1552470046.722 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1552470046.724 * * * * [points]: Setting MPFR precision to 64
1552470046.796 * * * * [points]: Setting MPFR precision to 320
1552470046.857 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1552470046.859 * * * * [points]: Setting MPFR precision to 64
1552470047.003 * * * * [points]: Setting MPFR precision to 320
1552470047.173 * * * * [points]: Computing exacts for 8000 points
1552470047.174 * * * * [points]: Setting MPFR precision to 64
1552470047.690 * * * * [points]: Setting MPFR precision to 320
1552470048.787 * * * * [points]: Filtering points with unrepresentable outputs
1552470049.065 * * * * [points]: Sampled 8000 points with exact outputs
1552470052.141 * [regime-testing]: Baseline error score: 64.0
1552470052.143 * [regime-testing]: Oracle error score: 64.0
1552470052.147 * [regime-testing]: End program error score: 0.9687382918274712