0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.002 * * * * [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.005 * * * * [points]: Setting MPFR precision to 64
0.006 * * * * [points]: Setting MPFR precision to 320
0.007 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.010 * * * * [points]: Setting MPFR precision to 64
0.011 * * * * [points]: Setting MPFR precision to 320
0.013 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.015 * * * * [points]: Setting MPFR precision to 64
0.019 * * * * [points]: Setting MPFR precision to 320
0.023 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.027 * * * * [points]: Setting MPFR precision to 64
0.041 * * * * [points]: Setting MPFR precision to 320
0.048 * * * * [points]: Computing exacts for 256 points
0.052 * * * * [points]: Setting MPFR precision to 64
0.072 * * * * [points]: Setting MPFR precision to 320
0.086 * * * * [points]: Filtering points with unrepresentable outputs
0.086 * * * * [points]: Sampling 119 additional inputs, on iter 1 have 137 / 256
0.086 * * * * [points]: Computing exacts on every 7 of 119 points to ramp up precision
0.089 * * * * [points]: Setting MPFR precision to 64
0.091 * * * * [points]: Setting MPFR precision to 320
0.092 * * * * [points]: Computing exacts on every 3 of 119 points to ramp up precision
0.096 * * * * [points]: Setting MPFR precision to 64
0.098 * * * * [points]: Setting MPFR precision to 320
0.101 * * * * [points]: Computing exacts for 119 points
0.104 * * * * [points]: Setting MPFR precision to 64
0.111 * * * * [points]: Setting MPFR precision to 320
0.117 * * * * [points]: Filtering points with unrepresentable outputs
0.117 * * * * [points]: Sampling 64 additional inputs, on iter 2 have 192 / 256
0.117 * * * * [points]: Computing exacts on every 4 of 64 points to ramp up precision
0.119 * * * * [points]: Setting MPFR precision to 64
0.120 * * * * [points]: Setting MPFR precision to 320
0.121 * * * * [points]: Computing exacts on every 2 of 64 points to ramp up precision
0.123 * * * * [points]: Setting MPFR precision to 64
0.124 * * * * [points]: Setting MPFR precision to 320
0.125 * * * * [points]: Computing exacts for 64 points
0.128 * * * * [points]: Setting MPFR precision to 64
0.133 * * * * [points]: Setting MPFR precision to 320
0.138 * * * * [points]: Filtering points with unrepresentable outputs
0.138 * * * * [points]: Sampling 34 additional inputs, on iter 3 have 222 / 256
0.138 * * * * [points]: Computing exacts on every 2 of 34 points to ramp up precision
0.142 * * * * [points]: Setting MPFR precision to 64
0.143 * * * * [points]: Setting MPFR precision to 320
0.144 * * * * [points]: Computing exacts for 34 points
0.148 * * * * [points]: Setting MPFR precision to 64
0.150 * * * * [points]: Setting MPFR precision to 320
0.153 * * * * [points]: Filtering points with unrepresentable outputs
0.153 * * * * [points]: Sampling 18 additional inputs, on iter 4 have 238 / 256
0.153 * * * * [points]: Computing exacts for 18 points
0.157 * * * * [points]: Setting MPFR precision to 64
0.158 * * * * [points]: Setting MPFR precision to 320
0.159 * * * * [points]: Filtering points with unrepresentable outputs
0.159 * * * * [points]: Sampling 13 additional inputs, on iter 5 have 243 / 256
0.159 * * * * [points]: Computing exacts for 13 points
0.176 * * * * [points]: Setting MPFR precision to 64
0.177 * * * * [points]: Setting MPFR precision to 320
0.177 * * * * [points]: Filtering points with unrepresentable outputs
0.177 * * * * [points]: Sampling 5 additional inputs, on iter 6 have 251 / 256
0.178 * * * * [points]: Computing exacts for 5 points
0.180 * * * * [points]: Setting MPFR precision to 64
0.180 * * * * [points]: Setting MPFR precision to 320
0.181 * * * * [points]: Filtering points with unrepresentable outputs
0.181 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 252 / 256
0.181 * * * * [points]: Computing exacts for 4 points
0.183 * * * * [points]: Setting MPFR precision to 64
0.183 * * * * [points]: Setting MPFR precision to 320
0.184 * * * * [points]: Filtering points with unrepresentable outputs
0.184 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 254 / 256
0.184 * * * * [points]: Computing exacts for 4 points
0.186 * * * * [points]: Setting MPFR precision to 64
0.187 * * * * [points]: Setting MPFR precision to 320
0.187 * * * * [points]: Filtering points with unrepresentable outputs
0.187 * * * * [points]: Sampling 4 additional inputs, on iter 9 have 255 / 256
0.187 * * * * [points]: Computing exacts for 4 points
0.190 * * * * [points]: Setting MPFR precision to 64
0.190 * * * * [points]: Setting MPFR precision to 320
0.190 * * * * [points]: Filtering points with unrepresentable outputs
0.190 * * * * [points]: Sampled 258 points with exact outputs
0.190 * * * [progress]: [2/2] Setting up program.
0.201 * [progress]: [Phase 2 of 3] Improving.
0.201 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
0.201 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
0.201 * * [simplify]: iters left: 5 (12 enodes)
0.205 * * [simplify]: iters left: 4 (43 enodes)
0.215 * * [simplify]: iters left: 3 (170 enodes)
0.273 * * [simplify]: Extracting #0: cost 1 inf + 0
0.273 * * [simplify]: Extracting #1: cost 78 inf + 0
0.273 * * [simplify]: Extracting #2: cost 269 inf + 322
0.275 * * [simplify]: Extracting #3: cost 284 inf + 8772
0.279 * * [simplify]: Extracting #4: cost 196 inf + 144483
0.292 * * [simplify]: Extracting #5: cost 27 inf + 409616
0.312 * * [simplify]: Extracting #6: cost 0 inf + 414512
0.341 * * [simplify]: Extracting #7: cost 0 inf + 407040
0.369 * [simplify]: Simplified to (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i))
0.369 * [simplify]: Simplified (2) to (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
0.404 * * [progress]: iteration 1 / 4
0.404 * * * [progress]: picking best candidate
0.438 * * * * [pick]: Picked  #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
0.438 * * * [progress]: localizing error
0.638 * * * [progress]: generating rewritten candidates
0.638 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.659 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.673 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.676 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.685 * * * [progress]: generating series expansions
0.685 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.685 * * * * [progress]: [ 2 / 4 ] generating series at (2)
0.685 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
0.685 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
0.685 * * * [progress]: simplifying candidates
0.685 * * * * [progress]: [ 1 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
0.686 * [simplify]: Simplifying (*.p16 (real->posit16 2) i)
0.686 * * [simplify]: iters left: 2 (4 enodes)
0.688 * * [simplify]: iters left: 1 (8 enodes)
0.690 * * [simplify]: Extracting #0: cost 1 inf + 0
0.690 * * [simplify]: Extracting #1: cost 3 inf + 0
0.690 * * [simplify]: Extracting #2: cost 3 inf + 1
0.690 * * [simplify]: Extracting #3: cost 2 inf + 2
0.690 * * [simplify]: Extracting #4: cost 0 inf + 325
0.690 * [simplify]: Simplified to (*.p16 i (real->posit16 2))
0.690 * [simplify]: Simplified (2 1 2) to (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (real->posit16 2) i)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
0.690 * * * * [progress]: [ 2 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
0.691 * [simplify]: Simplifying (*.p16 i i)
0.691 * * [simplify]: iters left: 1 (2 enodes)
0.691 * * [simplify]: Extracting #0: cost 1 inf + 0
0.691 * * [simplify]: Extracting #1: cost 2 inf + 0
0.692 * * [simplify]: Extracting #2: cost 1 inf + 1
0.692 * * [simplify]: Extracting #3: cost 0 inf + 322
0.692 * [simplify]: Simplified to (*.p16 i i)
0.692 * [simplify]: Simplified (2 1 1) to (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
0.692 * * * * [progress]: [ 3 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
0.692 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
0.692 * * [simplify]: iters left: 3 (6 enodes)
0.695 * * [simplify]: iters left: 2 (17 enodes)
0.701 * * [simplify]: iters left: 1 (32 enodes)
0.713 * * [simplify]: Extracting #0: cost 1 inf + 0
0.713 * * [simplify]: Extracting #1: cost 11 inf + 0
0.714 * * [simplify]: Extracting #2: cost 13 inf + 1
0.714 * * [simplify]: Extracting #3: cost 4 inf + 2294
0.714 * * [simplify]: Extracting #4: cost 0 inf + 4582
0.715 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
0.715 * [simplify]: Simplified (2 1 1) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
0.715 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
0.715 * * [simplify]: iters left: 3 (6 enodes)
0.717 * * [simplify]: iters left: 2 (17 enodes)
0.722 * * [simplify]: iters left: 1 (32 enodes)
0.735 * * [simplify]: Extracting #0: cost 1 inf + 0
0.735 * * [simplify]: Extracting #1: cost 11 inf + 0
0.735 * * [simplify]: Extracting #2: cost 13 inf + 1
0.735 * * [simplify]: Extracting #3: cost 4 inf + 2294
0.736 * * [simplify]: Extracting #4: cost 0 inf + 4582
0.736 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
0.736 * [simplify]: Simplified (2 1 2) to (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
0.736 * * * * [progress]: [ 4 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
0.736 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
0.736 * * [simplify]: iters left: 3 (7 enodes)
0.738 * * [simplify]: iters left: 2 (19 enodes)
0.742 * * [simplify]: iters left: 1 (37 enodes)
0.752 * * [simplify]: Extracting #0: cost 1 inf + 0
0.752 * * [simplify]: Extracting #1: cost 10 inf + 0
0.752 * * [simplify]: Extracting #2: cost 21 inf + 0
0.752 * * [simplify]: Extracting #3: cost 27 inf + 165
0.754 * * [simplify]: Extracting #4: cost 27 inf + 167
0.754 * * [simplify]: Extracting #5: cost 18 inf + 4946
0.755 * * [simplify]: Extracting #6: cost 0 inf + 22111
0.756 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
0.757 * [simplify]: Simplified (2 2) to (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
0.757 * * * * [progress]: [ 5 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)))))>
0.757 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
0.757 * * [simplify]: iters left: 3 (6 enodes)
0.759 * * [simplify]: iters left: 2 (17 enodes)
0.762 * * [simplify]: iters left: 1 (32 enodes)
0.770 * * [simplify]: Extracting #0: cost 1 inf + 0
0.770 * * [simplify]: Extracting #1: cost 11 inf + 0
0.770 * * [simplify]: Extracting #2: cost 13 inf + 1
0.771 * * [simplify]: Extracting #3: cost 4 inf + 2294
0.771 * * [simplify]: Extracting #4: cost 0 inf + 4582
0.771 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
0.771 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)))))
0.771 * * * * [progress]: [ 6 / 18 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
0.771 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
0.771 * * [simplify]: iters left: 4 (8 enodes)
0.774 * * [simplify]: iters left: 3 (18 enodes)
0.777 * * [simplify]: iters left: 2 (25 enodes)
0.781 * * [simplify]: iters left: 1 (29 enodes)
0.785 * * [simplify]: Extracting #0: cost 1 inf + 0
0.785 * * [simplify]: Extracting #1: cost 3 inf + 0
0.786 * * [simplify]: Extracting #2: cost 11 inf + 0
0.786 * * [simplify]: Extracting #3: cost 8 inf + 324
0.786 * * [simplify]: Extracting #4: cost 7 inf + 325
0.786 * * [simplify]: Extracting #5: cost 0 inf + 3578
0.786 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
0.786 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
0.786 * * * * [progress]: [ 7 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)))))>
0.786 * [simplify]: Simplifying (*.p16 (*.p16 i i) (*.p16 i i))
0.786 * * [simplify]: iters left: 2 (3 enodes)
0.787 * * [simplify]: iters left: 1 (9 enodes)
0.789 * * [simplify]: Extracting #0: cost 1 inf + 0
0.789 * * [simplify]: Extracting #1: cost 4 inf + 0
0.789 * * [simplify]: Extracting #2: cost 3 inf + 1
0.789 * * [simplify]: Extracting #3: cost 0 inf + 1604
0.789 * [simplify]: Simplified to (*.p16 (*.p16 i i) (*.p16 i i))
0.789 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)))))
0.789 * * * * [progress]: [ 8 / 18 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
0.789 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
0.789 * * [simplify]: iters left: 4 (10 enodes)
0.792 * * [simplify]: iters left: 3 (25 enodes)
0.798 * * [simplify]: iters left: 2 (51 enodes)
0.814 * * [simplify]: iters left: 1 (112 enodes)
0.859 * * [simplify]: Extracting #0: cost 1 inf + 0
0.859 * * [simplify]: Extracting #1: cost 57 inf + 0
0.860 * * [simplify]: Extracting #2: cost 185 inf + 763
0.862 * * [simplify]: Extracting #3: cost 127 inf + 36834
0.865 * * [simplify]: Extracting #4: cost 71 inf + 75466
0.871 * * [simplify]: Extracting #5: cost 6 inf + 143781
0.879 * * [simplify]: Extracting #6: cost 0 inf + 152919
0.889 * [simplify]: Simplified to (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
0.889 * [simplify]: Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
0.890 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
0.890 * * [simplify]: iters left: 4 (10 enodes)
0.893 * * [simplify]: iters left: 3 (31 enodes)
0.903 * * [simplify]: iters left: 2 (84 enodes)
0.954 * * [simplify]: iters left: 1 (243 enodes)
1.182 * * [simplify]: Extracting #0: cost 1 inf + 0
1.182 * * [simplify]: Extracting #1: cost 69 inf + 0
1.184 * * [simplify]: Extracting #2: cost 292 inf + 763
1.187 * * [simplify]: Extracting #3: cost 290 inf + 19278
1.195 * * [simplify]: Extracting #4: cost 211 inf + 140467
1.212 * * [simplify]: Extracting #5: cost 50 inf + 372763
1.230 * * [simplify]: Extracting #6: cost 0 inf + 397205
1.258 * * [simplify]: Extracting #7: cost 0 inf + 392365
1.289 * * [simplify]: Extracting #8: cost 0 inf + 392245
1.319 * [simplify]: Simplified to (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
1.319 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))))
1.319 * * * * [progress]: [ 9 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
1.319 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1.319 * * [simplify]: iters left: 3 (7 enodes)
1.322 * * [simplify]: iters left: 2 (13 enodes)
1.326 * * [simplify]: Extracting #0: cost 1 inf + 0
1.326 * * [simplify]: Extracting #1: cost 3 inf + 0
1.326 * * [simplify]: Extracting #2: cost 6 inf + 0
1.326 * * [simplify]: Extracting #3: cost 4 inf + 3
1.326 * * [simplify]: Extracting #4: cost 3 inf + 4
1.326 * * [simplify]: Extracting #5: cost 0 inf + 690
1.327 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1.327 * [simplify]: Simplified (2 2 1) to (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
1.327 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1.327 * * [simplify]: iters left: 3 (7 enodes)
1.330 * * [simplify]: iters left: 2 (19 enodes)
1.335 * * [simplify]: iters left: 1 (37 enodes)
1.343 * * [simplify]: Extracting #0: cost 1 inf + 0
1.344 * * [simplify]: Extracting #1: cost 10 inf + 0
1.344 * * [simplify]: Extracting #2: cost 21 inf + 0
1.344 * * [simplify]: Extracting #3: cost 27 inf + 165
1.344 * * [simplify]: Extracting #4: cost 27 inf + 167
1.344 * * [simplify]: Extracting #5: cost 18 inf + 4946
1.346 * * [simplify]: Extracting #6: cost 0 inf + 22111
1.347 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1.348 * [simplify]: Simplified (2 2 2) to (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))
1.348 * * * * [progress]: [ 10 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (neg.p16 (real->posit16 1.0)))))>
1.348 * * * * [progress]: [ 11 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
1.348 * * * * [progress]: [ 12 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 (*.p16 i i) i) i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1.348 * * * * [progress]: [ 13 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i (*.p16 i (*.p16 i i))) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1.348 * * * * [progress]: [ 14 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1.348 * * * * [progress]: [ 15 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1.348 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
1.348 * * [simplify]: iters left: 5 (12 enodes)
1.353 * * [simplify]: iters left: 4 (43 enodes)
1.370 * * [simplify]: iters left: 3 (170 enodes)
1.434 * * [simplify]: Extracting #0: cost 1 inf + 0
1.434 * * [simplify]: Extracting #1: cost 78 inf + 0
1.435 * * [simplify]: Extracting #2: cost 269 inf + 322
1.436 * * [simplify]: Extracting #3: cost 284 inf + 8772
1.440 * * [simplify]: Extracting #4: cost 196 inf + 144483
1.454 * * [simplify]: Extracting #5: cost 27 inf + 409616
1.474 * * [simplify]: Extracting #6: cost 0 inf + 414512
1.491 * * [simplify]: Extracting #7: cost 0 inf + 407040
1.510 * [simplify]: Simplified to (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i))
1.510 * [simplify]: Simplified (2) to (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
1.510 * * * * [progress]: [ 16 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1.510 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
1.510 * * [simplify]: iters left: 5 (12 enodes)
1.514 * * [simplify]: iters left: 4 (43 enodes)
1.523 * * [simplify]: iters left: 3 (170 enodes)
1.581 * * [simplify]: Extracting #0: cost 1 inf + 0
1.581 * * [simplify]: Extracting #1: cost 78 inf + 0
1.582 * * [simplify]: Extracting #2: cost 269 inf + 322
1.583 * * [simplify]: Extracting #3: cost 284 inf + 8772
1.586 * * [simplify]: Extracting #4: cost 196 inf + 144483
1.603 * * [simplify]: Extracting #5: cost 27 inf + 409616
1.620 * * [simplify]: Extracting #6: cost 0 inf + 414512
1.640 * * [simplify]: Extracting #7: cost 0 inf + 407040
1.658 * [simplify]: Simplified to (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i))
1.658 * [simplify]: Simplified (2) to (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
1.659 * * * * [progress]: [ 17 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1.659 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
1.659 * * [simplify]: iters left: 5 (12 enodes)
1.662 * * [simplify]: iters left: 4 (43 enodes)
1.672 * * [simplify]: iters left: 3 (170 enodes)
1.738 * * [simplify]: Extracting #0: cost 1 inf + 0
1.738 * * [simplify]: Extracting #1: cost 78 inf + 0
1.739 * * [simplify]: Extracting #2: cost 269 inf + 322
1.740 * * [simplify]: Extracting #3: cost 284 inf + 8772
1.745 * * [simplify]: Extracting #4: cost 196 inf + 144483
1.766 * * [simplify]: Extracting #5: cost 27 inf + 409616
1.793 * * [simplify]: Extracting #6: cost 0 inf + 414512
1.818 * * [simplify]: Extracting #7: cost 0 inf + 407040
1.836 * [simplify]: Simplified to (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i))
1.836 * [simplify]: Simplified (2) to (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
1.836 * * * * [progress]: [ 18 / 18 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
1.837 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
1.837 * * [simplify]: iters left: 5 (12 enodes)
1.840 * * [simplify]: iters left: 4 (43 enodes)
1.852 * * [simplify]: iters left: 3 (170 enodes)
1.907 * * [simplify]: Extracting #0: cost 1 inf + 0
1.907 * * [simplify]: Extracting #1: cost 78 inf + 0
1.908 * * [simplify]: Extracting #2: cost 269 inf + 322
1.909 * * [simplify]: Extracting #3: cost 284 inf + 8772
1.913 * * [simplify]: Extracting #4: cost 196 inf + 144483
1.927 * * [simplify]: Extracting #5: cost 27 inf + 409616
1.949 * * [simplify]: Extracting #6: cost 0 inf + 414512
1.973 * * [simplify]: Extracting #7: cost 0 inf + 407040
1.993 * [simplify]: Simplified to (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i))
1.993 * [simplify]: Simplified (2) to (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i)))
1.993 * * * [progress]: adding candidates to table
2.503 * * [progress]: iteration 2 / 4
2.503 * * * [progress]: picking best candidate
2.644 * * * * [pick]: Picked  #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
2.644 * * * [progress]: localizing error
2.831 * * * [progress]: generating rewritten candidates
2.831 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
2.834 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
2.837 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
2.842 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
2.850 * * * [progress]: generating series expansions
2.850 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
2.850 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
2.850 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
2.850 * * * * [progress]: [ 4 / 4 ] generating series at (2)
2.851 * * * [progress]: simplifying candidates
2.851 * * * * [progress]: [ 1 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 (/.p16 (*.p16 i i) (real->posit16 2)) i) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
2.851 * * * * [progress]: [ 2 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
2.851 * * * * [progress]: [ 3 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
2.851 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
2.851 * * [simplify]: iters left: 2 (4 enodes)
2.852 * * [simplify]: iters left: 1 (7 enodes)
2.854 * * [simplify]: Extracting #0: cost 1 inf + 0
2.854 * * [simplify]: Extracting #1: cost 3 inf + 0
2.854 * * [simplify]: Extracting #2: cost 3 inf + 1
2.854 * * [simplify]: Extracting #3: cost 0 inf + 445
2.854 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
2.854 * [simplify]: Simplified (2 2 1 1) to (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
2.854 * [simplify]: Simplifying (/.p16 i i)
2.854 * * [simplify]: iters left: 1 (2 enodes)
2.855 * * [simplify]: Extracting #0: cost 1 inf + 0
2.855 * * [simplify]: Extracting #1: cost 3 inf + 0
2.855 * * [simplify]: Extracting #2: cost 1 inf + 2
2.855 * * [simplify]: Extracting #3: cost 0 inf + 3
2.855 * [simplify]: Simplified to (real->posit16 1.0)
2.855 * [simplify]: Simplified (2 2 1 2) to (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
2.855 * * * * [progress]: [ 4 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 (/.p16 (*.p16 i i) (real->posit16 2)) i) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
2.855 * * * * [progress]: [ 5 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (/.p16 (*.p16 (real->posit16 2) i) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
2.855 * * * * [progress]: [ 6 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
2.855 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
2.855 * * [simplify]: iters left: 2 (4 enodes)
2.856 * * [simplify]: iters left: 1 (7 enodes)
2.857 * * [simplify]: Extracting #0: cost 1 inf + 0
2.857 * * [simplify]: Extracting #1: cost 3 inf + 0
2.857 * * [simplify]: Extracting #2: cost 3 inf + 1
2.857 * * [simplify]: Extracting #3: cost 0 inf + 445
2.857 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
2.858 * [simplify]: Simplified (2 1 1 1) to (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
2.858 * [simplify]: Simplifying (/.p16 i i)
2.858 * * [simplify]: iters left: 1 (2 enodes)
2.859 * * [simplify]: Extracting #0: cost 1 inf + 0
2.859 * * [simplify]: Extracting #1: cost 3 inf + 0
2.859 * * [simplify]: Extracting #2: cost 1 inf + 2
2.859 * * [simplify]: Extracting #3: cost 0 inf + 3
2.859 * [simplify]: Simplified to (real->posit16 1.0)
2.859 * [simplify]: Simplified (2 1 1 2) to (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
2.859 * * * * [progress]: [ 7 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i i))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
2.859 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
2.859 * * [simplify]: iters left: 2 (4 enodes)
2.860 * * [simplify]: iters left: 1 (7 enodes)
2.861 * * [simplify]: Extracting #0: cost 1 inf + 0
2.861 * * [simplify]: Extracting #1: cost 3 inf + 0
2.861 * * [simplify]: Extracting #2: cost 3 inf + 1
2.861 * * [simplify]: Extracting #3: cost 0 inf + 445
2.861 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
2.862 * [simplify]: Simplified (2 1 1) to (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i i))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
2.862 * * * * [progress]: [ 8 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (*.p16 (real->posit16 2) i))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
2.862 * [simplify]: Simplifying (*.p16 i i)
2.862 * * [simplify]: iters left: 1 (2 enodes)
2.862 * * [simplify]: Extracting #0: cost 1 inf + 0
2.862 * * [simplify]: Extracting #1: cost 2 inf + 0
2.862 * * [simplify]: Extracting #2: cost 1 inf + 1
2.862 * * [simplify]: Extracting #3: cost 0 inf + 322
2.862 * [simplify]: Simplified to (*.p16 i i)
2.862 * [simplify]: Simplified (2 1 1) to (λ (i) (*.p16 (/.p16 (*.p16 i i) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (*.p16 (real->posit16 2) i))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
2.863 * * * * [progress]: [ 9 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
2.863 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
2.863 * * [simplify]: iters left: 3 (7 enodes)
2.865 * * [simplify]: iters left: 2 (13 enodes)
2.867 * * [simplify]: Extracting #0: cost 1 inf + 0
2.867 * * [simplify]: Extracting #1: cost 3 inf + 0
2.867 * * [simplify]: Extracting #2: cost 6 inf + 0
2.867 * * [simplify]: Extracting #3: cost 4 inf + 3
2.867 * * [simplify]: Extracting #4: cost 3 inf + 4
2.867 * * [simplify]: Extracting #5: cost 0 inf + 690
2.867 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
2.867 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
2.867 * * * * [progress]: [ 10 / 16 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
2.868 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
2.868 * * [simplify]: iters left: 3 (7 enodes)
2.869 * * [simplify]: iters left: 2 (19 enodes)
2.873 * * [simplify]: iters left: 1 (37 enodes)
2.880 * * [simplify]: Extracting #0: cost 1 inf + 0
2.880 * * [simplify]: Extracting #1: cost 10 inf + 0
2.880 * * [simplify]: Extracting #2: cost 21 inf + 0
2.880 * * [simplify]: Extracting #3: cost 27 inf + 165
2.881 * * [simplify]: Extracting #4: cost 27 inf + 167
2.881 * * [simplify]: Extracting #5: cost 18 inf + 4946
2.882 * * [simplify]: Extracting #6: cost 0 inf + 22111
2.883 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
2.883 * [simplify]: Simplified (2 2) to (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
2.883 * * * * [progress]: [ 11 / 16 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
2.883 * [simplify]: Simplifying (*.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
2.883 * * [simplify]: iters left: 5 (11 enodes)
2.886 * * [simplify]: iters left: 4 (37 enodes)
2.895 * * [simplify]: iters left: 3 (140 enodes)
3.006 * * [simplify]: Extracting #0: cost 1 inf + 0
3.006 * * [simplify]: Extracting #1: cost 64 inf + 0
3.006 * * [simplify]: Extracting #2: cost 170 inf + 963
3.007 * * [simplify]: Extracting #3: cost 162 inf + 7055
3.010 * * [simplify]: Extracting #4: cost 149 inf + 19907
3.015 * * [simplify]: Extracting #5: cost 51 inf + 151263
3.025 * * [simplify]: Extracting #6: cost 0 inf + 233772
3.035 * * [simplify]: Extracting #7: cost 0 inf + 233172
3.047 * [simplify]: Simplified to (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
3.047 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
3.047 * * * * [progress]: [ 12 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
3.047 * * * * [progress]: [ 13 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
3.047 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
3.048 * * [simplify]: iters left: 4 (10 enodes)
3.050 * * [simplify]: iters left: 3 (25 enodes)
3.055 * * [simplify]: iters left: 2 (51 enodes)
3.072 * * [simplify]: iters left: 1 (112 enodes)
3.117 * * [simplify]: Extracting #0: cost 1 inf + 0
3.117 * * [simplify]: Extracting #1: cost 57 inf + 0
3.118 * * [simplify]: Extracting #2: cost 185 inf + 763
3.120 * * [simplify]: Extracting #3: cost 127 inf + 36834
3.123 * * [simplify]: Extracting #4: cost 71 inf + 75466
3.129 * * [simplify]: Extracting #5: cost 6 inf + 143781
3.135 * * [simplify]: Extracting #6: cost 0 inf + 152919
3.141 * [simplify]: Simplified to (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
3.141 * [simplify]: Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
3.142 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
3.142 * * [simplify]: iters left: 4 (10 enodes)
3.144 * * [simplify]: iters left: 3 (31 enodes)
3.153 * * [simplify]: iters left: 2 (84 enodes)
3.193 * * [simplify]: iters left: 1 (243 enodes)
3.358 * * [simplify]: Extracting #0: cost 1 inf + 0
3.358 * * [simplify]: Extracting #1: cost 69 inf + 0
3.359 * * [simplify]: Extracting #2: cost 292 inf + 763
3.360 * * [simplify]: Extracting #3: cost 290 inf + 19278
3.365 * * [simplify]: Extracting #4: cost 211 inf + 140467
3.380 * * [simplify]: Extracting #5: cost 50 inf + 372763
3.398 * * [simplify]: Extracting #6: cost 0 inf + 397205
3.418 * * [simplify]: Extracting #7: cost 0 inf + 392365
3.438 * * [simplify]: Extracting #8: cost 0 inf + 392245
3.457 * [simplify]: Simplified to (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
3.457 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))))
3.457 * * * * [progress]: [ 14 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
3.457 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
3.457 * * [simplify]: iters left: 4 (10 enodes)
3.460 * * [simplify]: iters left: 3 (25 enodes)
3.464 * * [simplify]: iters left: 2 (51 enodes)
3.479 * * [simplify]: iters left: 1 (112 enodes)
3.542 * * [simplify]: Extracting #0: cost 1 inf + 0
3.542 * * [simplify]: Extracting #1: cost 57 inf + 0
3.542 * * [simplify]: Extracting #2: cost 185 inf + 763
3.544 * * [simplify]: Extracting #3: cost 127 inf + 36834
3.547 * * [simplify]: Extracting #4: cost 71 inf + 75466
3.552 * * [simplify]: Extracting #5: cost 6 inf + 143781
3.559 * * [simplify]: Extracting #6: cost 0 inf + 152919
3.565 * [simplify]: Simplified to (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
3.565 * [simplify]: Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
3.566 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
3.566 * * [simplify]: iters left: 4 (10 enodes)
3.569 * * [simplify]: iters left: 3 (31 enodes)
3.575 * * [simplify]: iters left: 2 (84 enodes)
3.607 * * [simplify]: iters left: 1 (243 enodes)
3.800 * * [simplify]: Extracting #0: cost 1 inf + 0
3.801 * * [simplify]: Extracting #1: cost 69 inf + 0
3.802 * * [simplify]: Extracting #2: cost 292 inf + 763
3.808 * * [simplify]: Extracting #3: cost 290 inf + 19278
3.818 * * [simplify]: Extracting #4: cost 211 inf + 140467
3.846 * * [simplify]: Extracting #5: cost 50 inf + 372763
3.877 * * [simplify]: Extracting #6: cost 0 inf + 397205
3.906 * * [simplify]: Extracting #7: cost 0 inf + 392365
3.933 * * [simplify]: Extracting #8: cost 0 inf + 392245
3.952 * [simplify]: Simplified to (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
3.953 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))))
3.953 * * * * [progress]: [ 15 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
3.953 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
3.953 * * [simplify]: iters left: 4 (10 enodes)
3.956 * * [simplify]: iters left: 3 (25 enodes)
3.961 * * [simplify]: iters left: 2 (51 enodes)
3.976 * * [simplify]: iters left: 1 (112 enodes)
4.021 * * [simplify]: Extracting #0: cost 1 inf + 0
4.021 * * [simplify]: Extracting #1: cost 57 inf + 0
4.021 * * [simplify]: Extracting #2: cost 185 inf + 763
4.022 * * [simplify]: Extracting #3: cost 127 inf + 36834
4.025 * * [simplify]: Extracting #4: cost 71 inf + 75466
4.032 * * [simplify]: Extracting #5: cost 6 inf + 143781
4.039 * * [simplify]: Extracting #6: cost 0 inf + 152919
4.045 * [simplify]: Simplified to (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
4.045 * [simplify]: Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
4.046 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
4.046 * * [simplify]: iters left: 4 (10 enodes)
4.048 * * [simplify]: iters left: 3 (31 enodes)
4.055 * * [simplify]: iters left: 2 (84 enodes)
4.086 * * [simplify]: iters left: 1 (243 enodes)
4.258 * * [simplify]: Extracting #0: cost 1 inf + 0
4.258 * * [simplify]: Extracting #1: cost 69 inf + 0
4.259 * * [simplify]: Extracting #2: cost 292 inf + 763
4.262 * * [simplify]: Extracting #3: cost 290 inf + 19278
4.270 * * [simplify]: Extracting #4: cost 211 inf + 140467
4.291 * * [simplify]: Extracting #5: cost 50 inf + 372763
4.309 * * [simplify]: Extracting #6: cost 0 inf + 397205
4.327 * * [simplify]: Extracting #7: cost 0 inf + 392365
4.346 * * [simplify]: Extracting #8: cost 0 inf + 392245
4.379 * [simplify]: Simplified to (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
4.379 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))))
4.379 * * * * [progress]: [ 16 / 16 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
4.379 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
4.379 * * [simplify]: iters left: 4 (10 enodes)
4.385 * * [simplify]: iters left: 3 (25 enodes)
4.393 * * [simplify]: iters left: 2 (51 enodes)
4.408 * * [simplify]: iters left: 1 (112 enodes)
4.451 * * [simplify]: Extracting #0: cost 1 inf + 0
4.452 * * [simplify]: Extracting #1: cost 57 inf + 0
4.452 * * [simplify]: Extracting #2: cost 185 inf + 763
4.453 * * [simplify]: Extracting #3: cost 127 inf + 36834
4.456 * * [simplify]: Extracting #4: cost 71 inf + 75466
4.462 * * [simplify]: Extracting #5: cost 6 inf + 143781
4.468 * * [simplify]: Extracting #6: cost 0 inf + 152919
4.476 * [simplify]: Simplified to (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
4.476 * [simplify]: Simplified (2 1) to (λ (i) (*.p16 (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))) (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
4.476 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
4.476 * * [simplify]: iters left: 4 (10 enodes)
4.480 * * [simplify]: iters left: 3 (31 enodes)
4.486 * * [simplify]: iters left: 2 (84 enodes)
4.531 * * [simplify]: iters left: 1 (243 enodes)
4.735 * * [simplify]: Extracting #0: cost 1 inf + 0
4.736 * * [simplify]: Extracting #1: cost 69 inf + 0
4.736 * * [simplify]: Extracting #2: cost 292 inf + 763
4.738 * * [simplify]: Extracting #3: cost 290 inf + 19278
4.745 * * [simplify]: Extracting #4: cost 211 inf + 140467
4.774 * * [simplify]: Extracting #5: cost 50 inf + 372763
4.800 * * [simplify]: Extracting #6: cost 0 inf + 397205
4.825 * * [simplify]: Extracting #7: cost 0 inf + 392365
4.854 * * [simplify]: Extracting #8: cost 0 inf + 392245
4.884 * [simplify]: Simplified to (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
4.884 * [simplify]: Simplified (2 2) to (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))))
4.885 * * * [progress]: adding candidates to table
5.403 * * [progress]: iteration 3 / 4
5.403 * * * [progress]: picking best candidate
5.591 * * * * [pick]: Picked  #<alt (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
5.591 * * * [progress]: localizing error
5.826 * * * [progress]: generating rewritten candidates
5.827 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
5.833 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
5.844 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
5.846 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
5.852 * * * [progress]: generating series expansions
5.852 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
5.852 * * * * [progress]: [ 2 / 4 ] generating series at (2)
5.852 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
5.852 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
5.852 * * * [progress]: simplifying candidates
5.852 * * * * [progress]: [ 1 / 15 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
5.852 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
5.852 * * [simplify]: iters left: 2 (4 enodes)
5.855 * * [simplify]: iters left: 1 (7 enodes)
5.857 * * [simplify]: Extracting #0: cost 1 inf + 0
5.857 * * [simplify]: Extracting #1: cost 3 inf + 0
5.857 * * [simplify]: Extracting #2: cost 3 inf + 1
5.857 * * [simplify]: Extracting #3: cost 0 inf + 445
5.857 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
5.857 * [simplify]: Simplified (2 1 1) to (λ (i) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
5.857 * * * * [progress]: [ 2 / 15 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
5.857 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
5.857 * * [simplify]: iters left: 3 (7 enodes)
5.860 * * [simplify]: iters left: 2 (13 enodes)
5.864 * * [simplify]: Extracting #0: cost 1 inf + 0
5.864 * * [simplify]: Extracting #1: cost 3 inf + 0
5.864 * * [simplify]: Extracting #2: cost 6 inf + 0
5.864 * * [simplify]: Extracting #3: cost 4 inf + 3
5.864 * * [simplify]: Extracting #4: cost 3 inf + 4
5.864 * * [simplify]: Extracting #5: cost 0 inf + 690
5.864 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
5.864 * [simplify]: Simplified (2 1 2) to (λ (i) (/.p16 (*.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
5.864 * * * * [progress]: [ 3 / 15 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) i) (*.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (real->posit16 2))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
5.865 * [simplify]: Simplifying (*.p16 (/.p16 i (real->posit16 2)) i)
5.865 * * [simplify]: iters left: 3 (5 enodes)
5.867 * * [simplify]: iters left: 2 (11 enodes)
5.870 * * [simplify]: iters left: 1 (13 enodes)
5.873 * * [simplify]: Extracting #0: cost 1 inf + 0
5.873 * * [simplify]: Extracting #1: cost 6 inf + 0
5.873 * * [simplify]: Extracting #2: cost 6 inf + 1
5.873 * * [simplify]: Extracting #3: cost 0 inf + 1970
5.873 * [simplify]: Simplified to (*.p16 (/.p16 i (real->posit16 2)) i)
5.873 * [simplify]: Simplified (2 1 1) to (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) i) (*.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (real->posit16 2))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
5.873 * * * * [progress]: [ 4 / 15 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i (/.p16 i (real->posit16 2))) (*.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (real->posit16 2))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
5.874 * [simplify]: Simplifying (*.p16 i (/.p16 i (real->posit16 2)))
5.874 * * [simplify]: iters left: 3 (5 enodes)
5.876 * * [simplify]: iters left: 2 (11 enodes)
5.879 * * [simplify]: iters left: 1 (13 enodes)
5.881 * * [simplify]: Extracting #0: cost 1 inf + 0
5.881 * * [simplify]: Extracting #1: cost 6 inf + 0
5.881 * * [simplify]: Extracting #2: cost 6 inf + 1
5.881 * * [simplify]: Extracting #3: cost 0 inf + 1970
5.881 * [simplify]: Simplified to (*.p16 (/.p16 i (real->posit16 2)) i)
5.881 * [simplify]: Simplified (2 1 1) to (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) i) (*.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (real->posit16 2))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
5.881 * * * * [progress]: [ 5 / 15 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
5.881 * [simplify]: Simplifying (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))
5.881 * * [simplify]: iters left: 5 (12 enodes)
5.884 * * [simplify]: iters left: 4 (37 enodes)
5.891 * * [simplify]: iters left: 3 (90 enodes)
5.915 * * [simplify]: iters left: 2 (290 enodes)
6.074 * * [simplify]: Extracting #0: cost 1 inf + 0
6.074 * * [simplify]: Extracting #1: cost 101 inf + 0
6.075 * * [simplify]: Extracting #2: cost 385 inf + 1
6.077 * * [simplify]: Extracting #3: cost 463 inf + 13071
6.083 * * [simplify]: Extracting #4: cost 358 inf + 146640
6.110 * * [simplify]: Extracting #5: cost 86 inf + 535972
6.147 * * [simplify]: Extracting #6: cost 1 inf + 639822
6.200 * * [simplify]: Extracting #7: cost 0 inf + 640185
6.244 * [simplify]: Simplified to (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
6.244 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
6.244 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))>
6.244 * [simplify]: Simplifying (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2)))
6.244 * * [simplify]: iters left: 3 (5 enodes)
6.247 * * [simplify]: iters left: 2 (12 enodes)
6.251 * * [simplify]: iters left: 1 (18 enodes)
6.255 * * [simplify]: Extracting #0: cost 1 inf + 0
6.255 * * [simplify]: Extracting #1: cost 10 inf + 0
6.256 * * [simplify]: Extracting #2: cost 9 inf + 322
6.256 * * [simplify]: Extracting #3: cost 8 inf + 323
6.256 * * [simplify]: Extracting #4: cost 0 inf + 4817
6.256 * * [simplify]: Extracting #5: cost 0 inf + 4697
6.256 * [simplify]: Simplified to (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2)))
6.257 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))
6.257 * * * * [progress]: [ 7 / 15 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (+.p16 (*.p16 (real->posit16 2) i) (neg.p16 (real->posit16 1.0)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
6.257 * * * * [progress]: [ 8 / 15 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
6.257 * * * * [progress]: [ 9 / 15 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) i) (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
6.257 * [simplify]: Simplifying (real->posit16 2)
6.257 * * [simplify]: iters left: 1 (2 enodes)
6.258 * * [simplify]: Extracting #0: cost 1 inf + 0
6.258 * * [simplify]: Extracting #1: cost 2 inf + 0
6.258 * * [simplify]: Extracting #2: cost 1 inf + 1
6.258 * * [simplify]: Extracting #3: cost 0 inf + 2
6.258 * [simplify]: Simplified to (real->posit16 2)
6.259 * [simplify]: Simplified (2 1 1 2) to (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) i) (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
6.259 * * * * [progress]: [ 10 / 15 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 i (/.p16 i (real->posit16 2))) (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
6.259 * [simplify]: Simplifying (*.p16 i (/.p16 i (real->posit16 2)))
6.259 * * [simplify]: iters left: 3 (5 enodes)
6.261 * * [simplify]: iters left: 2 (11 enodes)
6.264 * * [simplify]: iters left: 1 (13 enodes)
6.266 * * [simplify]: Extracting #0: cost 1 inf + 0
6.266 * * [simplify]: Extracting #1: cost 6 inf + 0
6.267 * * [simplify]: Extracting #2: cost 6 inf + 1
6.267 * * [simplify]: Extracting #3: cost 0 inf + 1970
6.267 * [simplify]: Simplified to (*.p16 (/.p16 i (real->posit16 2)) i)
6.267 * [simplify]: Simplified (2 1 1 1) to (λ (i) (/.p16 (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) i) (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
6.267 * * * * [progress]: [ 11 / 15 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
6.267 * * * * [progress]: [ 12 / 15 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
6.267 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
6.267 * * [simplify]: iters left: 5 (12 enodes)
6.270 * * [simplify]: iters left: 4 (32 enodes)
6.277 * * [simplify]: iters left: 3 (80 enodes)
6.299 * * [simplify]: iters left: 2 (303 enodes)
6.581 * * [simplify]: Extracting #0: cost 1 inf + 0
6.581 * * [simplify]: Extracting #1: cost 101 inf + 0
6.582 * * [simplify]: Extracting #2: cost 373 inf + 1
6.584 * * [simplify]: Extracting #3: cost 463 inf + 8920
6.593 * * [simplify]: Extracting #4: cost 272 inf + 251300
6.625 * * [simplify]: Extracting #5: cost 35 inf + 581665
6.658 * * [simplify]: Extracting #6: cost 0 inf + 634930
6.692 * [simplify]: Simplified to (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
6.692 * [simplify]: Simplified (2) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
6.692 * * * * [progress]: [ 13 / 15 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
6.692 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
6.692 * * [simplify]: iters left: 5 (12 enodes)
6.695 * * [simplify]: iters left: 4 (32 enodes)
6.703 * * [simplify]: iters left: 3 (80 enodes)
6.723 * * [simplify]: iters left: 2 (303 enodes)
6.978 * * [simplify]: Extracting #0: cost 1 inf + 0
6.978 * * [simplify]: Extracting #1: cost 101 inf + 0
6.979 * * [simplify]: Extracting #2: cost 373 inf + 1
6.981 * * [simplify]: Extracting #3: cost 463 inf + 8920
6.991 * * [simplify]: Extracting #4: cost 272 inf + 251300
7.019 * * [simplify]: Extracting #5: cost 35 inf + 581665
7.055 * * [simplify]: Extracting #6: cost 0 inf + 634930
7.094 * [simplify]: Simplified to (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
7.094 * [simplify]: Simplified (2) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
7.094 * * * * [progress]: [ 14 / 15 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
7.094 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
7.094 * * [simplify]: iters left: 5 (12 enodes)
7.098 * * [simplify]: iters left: 4 (32 enodes)
7.104 * * [simplify]: iters left: 3 (80 enodes)
7.122 * * [simplify]: iters left: 2 (303 enodes)
7.429 * * [simplify]: Extracting #0: cost 1 inf + 0
7.429 * * [simplify]: Extracting #1: cost 101 inf + 0
7.430 * * [simplify]: Extracting #2: cost 373 inf + 1
7.432 * * [simplify]: Extracting #3: cost 463 inf + 8920
7.441 * * [simplify]: Extracting #4: cost 272 inf + 251300
7.485 * * [simplify]: Extracting #5: cost 35 inf + 581665
7.522 * * [simplify]: Extracting #6: cost 0 inf + 634930
7.556 * [simplify]: Simplified to (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
7.556 * [simplify]: Simplified (2) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
7.556 * * * * [progress]: [ 15 / 15 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
7.557 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
7.557 * * [simplify]: iters left: 5 (12 enodes)
7.560 * * [simplify]: iters left: 4 (32 enodes)
7.571 * * [simplify]: iters left: 3 (80 enodes)
7.605 * * [simplify]: iters left: 2 (303 enodes)
7.888 * * [simplify]: Extracting #0: cost 1 inf + 0
7.888 * * [simplify]: Extracting #1: cost 101 inf + 0
7.889 * * [simplify]: Extracting #2: cost 373 inf + 1
7.891 * * [simplify]: Extracting #3: cost 463 inf + 8920
7.900 * * [simplify]: Extracting #4: cost 272 inf + 251300
7.928 * * [simplify]: Extracting #5: cost 35 inf + 581665
7.979 * * [simplify]: Extracting #6: cost 0 inf + 634930
8.016 * [simplify]: Simplified to (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
8.016 * [simplify]: Simplified (2) to (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
8.016 * * * [progress]: adding candidates to table
8.438 * * [progress]: iteration 4 / 4
8.438 * * * [progress]: picking best candidate
8.577 * * * * [pick]: Picked  #<alt (λ (i) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
8.578 * * * [progress]: localizing error
8.746 * * * [progress]: generating rewritten candidates
8.746 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
8.750 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
8.756 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
8.760 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
8.762 * * * [progress]: generating series expansions
8.762 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
8.762 * * * * [progress]: [ 2 / 4 ] generating series at (2)
8.762 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
8.762 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
8.762 * * * [progress]: simplifying candidates
8.762 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (*.p16 (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) i) (real->posit16 2))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
8.763 * [simplify]: Simplifying (real->posit16 2)
8.763 * * [simplify]: iters left: 1 (2 enodes)
8.764 * * [simplify]: Extracting #0: cost 1 inf + 0
8.764 * * [simplify]: Extracting #1: cost 2 inf + 0
8.764 * * [simplify]: Extracting #2: cost 1 inf + 1
8.764 * * [simplify]: Extracting #3: cost 0 inf + 2
8.764 * [simplify]: Simplified to (real->posit16 2)
8.764 * [simplify]: Simplified (2 1 2 2) to (λ (i) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (*.p16 (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) i) (real->posit16 2))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
8.764 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (*.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
8.765 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))
8.765 * * [simplify]: iters left: 4 (9 enodes)
8.769 * * [simplify]: iters left: 3 (28 enodes)
8.777 * * [simplify]: iters left: 2 (59 enodes)
8.798 * * [simplify]: iters left: 1 (160 enodes)
8.850 * * [simplify]: Extracting #0: cost 1 inf + 0
8.850 * * [simplify]: Extracting #1: cost 39 inf + 0
8.850 * * [simplify]: Extracting #2: cost 165 inf + 0
8.851 * * [simplify]: Extracting #3: cost 201 inf + 2
8.854 * * [simplify]: Extracting #4: cost 185 inf + 15772
8.863 * * [simplify]: Extracting #5: cost 70 inf + 122605
8.879 * * [simplify]: Extracting #6: cost 4 inf + 188457
8.899 * * [simplify]: Extracting #7: cost 0 inf + 193829
8.916 * [simplify]: Simplified to (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
8.916 * [simplify]: Simplified (2 1 2 1) to (λ (i) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)) (*.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
8.916 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))))>
8.916 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
8.917 * * [simplify]: iters left: 4 (9 enodes)
8.920 * * [simplify]: iters left: 3 (23 enodes)
8.928 * * [simplify]: iters left: 2 (48 enodes)
8.940 * * [simplify]: iters left: 1 (130 enodes)
9.007 * * [simplify]: Extracting #0: cost 1 inf + 0
9.007 * * [simplify]: Extracting #1: cost 33 inf + 0
9.008 * * [simplify]: Extracting #2: cost 121 inf + 1
9.009 * * [simplify]: Extracting #3: cost 150 inf + 767
9.010 * * [simplify]: Extracting #4: cost 147 inf + 6462
9.015 * * [simplify]: Extracting #5: cost 102 inf + 59322
9.028 * * [simplify]: Extracting #6: cost 7 inf + 167589
9.044 * * [simplify]: Extracting #7: cost 0 inf + 181450
9.055 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
9.055 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))))
9.055 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i (real->posit16 2))))))>
9.055 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
9.055 * * [simplify]: iters left: 2 (4 enodes)
9.056 * * [simplify]: iters left: 1 (7 enodes)
9.058 * * [simplify]: Extracting #0: cost 1 inf + 0
9.058 * * [simplify]: Extracting #1: cost 3 inf + 0
9.058 * * [simplify]: Extracting #2: cost 3 inf + 1
9.058 * * [simplify]: Extracting #3: cost 0 inf + 445
9.058 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
9.058 * [simplify]: Simplified (2 1) to (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i (real->posit16 2))))))
9.058 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) i)) (real->posit16 2)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
9.058 * [simplify]: Simplifying (real->posit16 2)
9.058 * * [simplify]: iters left: 1 (2 enodes)
9.059 * * [simplify]: Extracting #0: cost 1 inf + 0
9.059 * * [simplify]: Extracting #1: cost 2 inf + 0
9.059 * * [simplify]: Extracting #2: cost 1 inf + 1
9.059 * * [simplify]: Extracting #3: cost 0 inf + 2
9.059 * [simplify]: Simplified to (real->posit16 2)
9.059 * [simplify]: Simplified (2 1 2) to (λ (i) (/.p16 (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) i)) (real->posit16 2)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
9.059 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (real->posit16 2))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
9.059 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
9.059 * * [simplify]: iters left: 2 (4 enodes)
9.060 * * [simplify]: iters left: 1 (7 enodes)
9.061 * * [simplify]: Extracting #0: cost 1 inf + 0
9.061 * * [simplify]: Extracting #1: cost 3 inf + 0
9.061 * * [simplify]: Extracting #2: cost 3 inf + 1
9.061 * * [simplify]: Extracting #3: cost 0 inf + 445
9.061 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
9.061 * [simplify]: Simplified (2 1 2) to (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (real->posit16 2))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
9.061 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 i (*.p16 (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i (real->posit16 2))) (real->posit16 2))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
9.061 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (neg.p16 (real->posit16 1.0))) (/.p16 i (real->posit16 2)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
9.061 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 i (real->posit16 2)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
9.062 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
9.062 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
9.062 * * [simplify]: iters left: 2 (4 enodes)
9.063 * * [simplify]: iters left: 1 (7 enodes)
9.064 * * [simplify]: Extracting #0: cost 1 inf + 0
9.064 * * [simplify]: Extracting #1: cost 3 inf + 0
9.064 * * [simplify]: Extracting #2: cost 3 inf + 1
9.064 * * [simplify]: Extracting #3: cost 0 inf + 445
9.064 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
9.064 * [simplify]: Simplified (2 1 1) to (λ (i) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
9.064 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
9.064 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
9.064 * * [simplify]: iters left: 2 (4 enodes)
9.065 * * [simplify]: iters left: 1 (7 enodes)
9.066 * * [simplify]: Extracting #0: cost 1 inf + 0
9.066 * * [simplify]: Extracting #1: cost 3 inf + 0
9.066 * * [simplify]: Extracting #2: cost 3 inf + 1
9.066 * * [simplify]: Extracting #3: cost 0 inf + 445
9.066 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
9.067 * [simplify]: Simplified (2 1 1) to (λ (i) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
9.067 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
9.067 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
9.067 * * [simplify]: iters left: 2 (4 enodes)
9.068 * * [simplify]: iters left: 1 (7 enodes)
9.069 * * [simplify]: Extracting #0: cost 1 inf + 0
9.069 * * [simplify]: Extracting #1: cost 3 inf + 0
9.069 * * [simplify]: Extracting #2: cost 3 inf + 1
9.069 * * [simplify]: Extracting #3: cost 0 inf + 445
9.069 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
9.069 * [simplify]: Simplified (2 1 1) to (λ (i) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
9.069 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))>
9.069 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
9.069 * * [simplify]: iters left: 2 (4 enodes)
9.070 * * [simplify]: iters left: 1 (7 enodes)
9.072 * * [simplify]: Extracting #0: cost 1 inf + 0
9.072 * * [simplify]: Extracting #1: cost 3 inf + 0
9.072 * * [simplify]: Extracting #2: cost 3 inf + 1
9.072 * * [simplify]: Extracting #3: cost 0 inf + 445
9.072 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
9.072 * [simplify]: Simplified (2 1 1) to (λ (i) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
9.072 * * * [progress]: adding candidates to table
9.413 * [progress]: [Phase 3 of 3] Extracting.
9.413 * * [regime]: Finding splitpoints for: (#<alt (λ (i) (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i (real->posit16 2))))))> #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (/.p16 i (*.p16 (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i (real->posit16 2))) (real->posit16 2))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (*.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 (*.p16 i i) i) i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>)
9.414 * * * [regime-changes]: Trying 1 branch expressions: (i)
9.414 * * * * [regimes]: Trying to branch on i from (#<alt (λ (i) (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 i i) (/.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 i i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i (real->posit16 2))))))> #<alt (λ (i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (/.p16 i (*.p16 (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i (real->posit16 2))) (real->posit16 2))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (*.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 (*.p16 i i) i) i) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>)
9.580 * * * [regime]: Found split indices: #<option (#s(si 5 256))>
9.580 * [simplify]: Simplifying (/.p16 (/.p16 i (*.p16 (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i (real->posit16 2))) (real->posit16 2))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
9.580 * * [simplify]: iters left: 6 (13 enodes)
9.582 * * [simplify]: Extracting #0: cost 1 inf + 0
9.582 * * [simplify]: Extracting #1: cost 3 inf + 0
9.582 * * [simplify]: Extracting #2: cost 7 inf + 0
9.582 * * [simplify]: Extracting #3: cost 9 inf + 1
9.582 * * [simplify]: Extracting #4: cost 10 inf + 3
9.582 * * [simplify]: Extracting #5: cost 9 inf + 4
9.582 * * [simplify]: Extracting #6: cost 5 inf + 1132
9.582 * * [simplify]: Extracting #7: cost 2 inf + 4421
9.582 * * [simplify]: Extracting #8: cost 0 inf + 8987
9.583 * [simplify]: Simplified to (/.p16 (/.p16 i (*.p16 (/.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (/.p16 i (real->posit16 2))) (real->posit16 2))) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
9.583 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
9.594 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
9.597 * * * * [points]: Setting MPFR precision to 64
9.598 * * * * [points]: Setting MPFR precision to 320
9.599 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
9.601 * * * * [points]: Setting MPFR precision to 64
9.603 * * * * [points]: Setting MPFR precision to 320
9.605 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
9.607 * * * * [points]: Setting MPFR precision to 64
9.610 * * * * [points]: Setting MPFR precision to 320
9.614 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
9.616 * * * * [points]: Setting MPFR precision to 64
9.622 * * * * [points]: Setting MPFR precision to 320
9.629 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
9.631 * * * * [points]: Setting MPFR precision to 64
9.644 * * * * [points]: Setting MPFR precision to 320
9.662 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
9.684 * * * * [points]: Setting MPFR precision to 64
9.711 * * * * [points]: Setting MPFR precision to 320
9.745 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
9.747 * * * * [points]: Setting MPFR precision to 64
9.803 * * * * [points]: Setting MPFR precision to 320
9.909 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
9.914 * * * * [points]: Setting MPFR precision to 64
10.068 * * * * [points]: Setting MPFR precision to 320
10.173 * * * * [points]: Computing exacts for 8000 points
10.176 * * * * [points]: Setting MPFR precision to 64
11.023 * * * * [points]: Setting MPFR precision to 320
11.573 * * * * [points]: Filtering points with unrepresentable outputs
11.579 * * * * [points]: Sampling 3987 additional inputs, on iter 1 have 4013 / 8000
11.585 * * * * [points]: Computing exacts on every 249 of 3987 points to ramp up precision
11.588 * * * * [points]: Setting MPFR precision to 64
11.589 * * * * [points]: Setting MPFR precision to 320
11.590 * * * * [points]: Computing exacts on every 124 of 3987 points to ramp up precision
11.619 * * * * [points]: Setting MPFR precision to 64
11.621 * * * * [points]: Setting MPFR precision to 320
11.623 * * * * [points]: Computing exacts on every 62 of 3987 points to ramp up precision
11.626 * * * * [points]: Setting MPFR precision to 64
11.630 * * * * [points]: Setting MPFR precision to 320
11.633 * * * * [points]: Computing exacts on every 31 of 3987 points to ramp up precision
11.636 * * * * [points]: Setting MPFR precision to 64
11.642 * * * * [points]: Setting MPFR precision to 320
11.649 * * * * [points]: Computing exacts on every 15 of 3987 points to ramp up precision
11.651 * * * * [points]: Setting MPFR precision to 64
11.664 * * * * [points]: Setting MPFR precision to 320
11.677 * * * * [points]: Computing exacts on every 7 of 3987 points to ramp up precision
11.680 * * * * [points]: Setting MPFR precision to 64
11.704 * * * * [points]: Setting MPFR precision to 320
11.772 * * * * [points]: Computing exacts on every 3 of 3987 points to ramp up precision
11.775 * * * * [points]: Setting MPFR precision to 64
11.828 * * * * [points]: Setting MPFR precision to 320
11.878 * * * * [points]: Computing exacts for 3987 points
11.880 * * * * [points]: Setting MPFR precision to 64
12.147 * * * * [points]: Setting MPFR precision to 320
12.412 * * * * [points]: Filtering points with unrepresentable outputs
12.415 * * * * [points]: Sampling 1987 additional inputs, on iter 2 have 6013 / 8000
12.418 * * * * [points]: Computing exacts on every 124 of 1987 points to ramp up precision
12.421 * * * * [points]: Setting MPFR precision to 64
12.422 * * * * [points]: Setting MPFR precision to 320
12.423 * * * * [points]: Computing exacts on every 62 of 1987 points to ramp up precision
12.426 * * * * [points]: Setting MPFR precision to 64
12.428 * * * * [points]: Setting MPFR precision to 320
12.429 * * * * [points]: Computing exacts on every 31 of 1987 points to ramp up precision
12.433 * * * * [points]: Setting MPFR precision to 64
12.436 * * * * [points]: Setting MPFR precision to 320
12.439 * * * * [points]: Computing exacts on every 15 of 1987 points to ramp up precision
12.442 * * * * [points]: Setting MPFR precision to 64
12.448 * * * * [points]: Setting MPFR precision to 320
12.455 * * * * [points]: Computing exacts on every 7 of 1987 points to ramp up precision
12.458 * * * * [points]: Setting MPFR precision to 64
12.470 * * * * [points]: Setting MPFR precision to 320
12.483 * * * * [points]: Computing exacts on every 3 of 1987 points to ramp up precision
12.486 * * * * [points]: Setting MPFR precision to 64
12.534 * * * * [points]: Setting MPFR precision to 320
12.560 * * * * [points]: Computing exacts for 1987 points
12.563 * * * * [points]: Setting MPFR precision to 64
12.692 * * * * [points]: Setting MPFR precision to 320
12.798 * * * * [points]: Filtering points with unrepresentable outputs
12.800 * * * * [points]: Sampling 1014 additional inputs, on iter 3 have 6986 / 8000
12.801 * * * * [points]: Computing exacts on every 63 of 1014 points to ramp up precision
12.830 * * * * [points]: Setting MPFR precision to 64
12.831 * * * * [points]: Setting MPFR precision to 320
12.832 * * * * [points]: Computing exacts on every 31 of 1014 points to ramp up precision
12.835 * * * * [points]: Setting MPFR precision to 64
12.836 * * * * [points]: Setting MPFR precision to 320
12.838 * * * * [points]: Computing exacts on every 15 of 1014 points to ramp up precision
12.842 * * * * [points]: Setting MPFR precision to 64
12.845 * * * * [points]: Setting MPFR precision to 320
12.849 * * * * [points]: Computing exacts on every 7 of 1014 points to ramp up precision
12.852 * * * * [points]: Setting MPFR precision to 64
12.859 * * * * [points]: Setting MPFR precision to 320
12.865 * * * * [points]: Computing exacts on every 3 of 1014 points to ramp up precision
12.868 * * * * [points]: Setting MPFR precision to 64
12.881 * * * * [points]: Setting MPFR precision to 320
12.895 * * * * [points]: Computing exacts for 1014 points
12.897 * * * * [points]: Setting MPFR precision to 64
12.973 * * * * [points]: Setting MPFR precision to 320
13.027 * * * * [points]: Filtering points with unrepresentable outputs
13.028 * * * * [points]: Sampling 532 additional inputs, on iter 4 have 7468 / 8000
13.029 * * * * [points]: Computing exacts on every 33 of 532 points to ramp up precision
13.032 * * * * [points]: Setting MPFR precision to 64
13.033 * * * * [points]: Setting MPFR precision to 320
13.033 * * * * [points]: Computing exacts on every 16 of 532 points to ramp up precision
13.036 * * * * [points]: Setting MPFR precision to 64
13.039 * * * * [points]: Setting MPFR precision to 320
13.042 * * * * [points]: Computing exacts on every 8 of 532 points to ramp up precision
13.047 * * * * [points]: Setting MPFR precision to 64
13.052 * * * * [points]: Setting MPFR precision to 320
13.058 * * * * [points]: Computing exacts on every 4 of 532 points to ramp up precision
13.063 * * * * [points]: Setting MPFR precision to 64
13.073 * * * * [points]: Setting MPFR precision to 320
13.078 * * * * [points]: Computing exacts on every 2 of 532 points to ramp up precision
13.081 * * * * [points]: Setting MPFR precision to 64
13.090 * * * * [points]: Setting MPFR precision to 320
13.123 * * * * [points]: Computing exacts for 532 points
13.126 * * * * [points]: Setting MPFR precision to 64
13.154 * * * * [points]: Setting MPFR precision to 320
13.182 * * * * [points]: Filtering points with unrepresentable outputs
13.183 * * * * [points]: Sampling 273 additional inputs, on iter 5 have 7727 / 8000
13.183 * * * * [points]: Computing exacts on every 17 of 273 points to ramp up precision
13.186 * * * * [points]: Setting MPFR precision to 64
13.187 * * * * [points]: Setting MPFR precision to 320
13.188 * * * * [points]: Computing exacts on every 8 of 273 points to ramp up precision
13.190 * * * * [points]: Setting MPFR precision to 64
13.192 * * * * [points]: Setting MPFR precision to 320
13.193 * * * * [points]: Computing exacts on every 4 of 273 points to ramp up precision
13.196 * * * * [points]: Setting MPFR precision to 64
13.199 * * * * [points]: Setting MPFR precision to 320
13.203 * * * * [points]: Computing exacts on every 2 of 273 points to ramp up precision
13.208 * * * * [points]: Setting MPFR precision to 64
13.214 * * * * [points]: Setting MPFR precision to 320
13.219 * * * * [points]: Computing exacts for 273 points
13.222 * * * * [points]: Setting MPFR precision to 64
13.576 * * * * [points]: Setting MPFR precision to 320
13.599 * * * * [points]: Filtering points with unrepresentable outputs
13.599 * * * * [points]: Sampling 129 additional inputs, on iter 6 have 7871 / 8000
13.599 * * * * [points]: Computing exacts on every 8 of 129 points to ramp up precision
13.602 * * * * [points]: Setting MPFR precision to 64
13.603 * * * * [points]: Setting MPFR precision to 320
13.604 * * * * [points]: Computing exacts on every 4 of 129 points to ramp up precision
13.606 * * * * [points]: Setting MPFR precision to 64
13.608 * * * * [points]: Setting MPFR precision to 320
13.609 * * * * [points]: Computing exacts on every 2 of 129 points to ramp up precision
13.612 * * * * [points]: Setting MPFR precision to 64
13.614 * * * * [points]: Setting MPFR precision to 320
13.617 * * * * [points]: Computing exacts for 129 points
13.619 * * * * [points]: Setting MPFR precision to 64
13.626 * * * * [points]: Setting MPFR precision to 320
13.633 * * * * [points]: Filtering points with unrepresentable outputs
13.633 * * * * [points]: Sampling 70 additional inputs, on iter 7 have 7930 / 8000
13.633 * * * * [points]: Computing exacts on every 4 of 70 points to ramp up precision
13.636 * * * * [points]: Setting MPFR precision to 64
13.637 * * * * [points]: Setting MPFR precision to 320
13.638 * * * * [points]: Computing exacts on every 2 of 70 points to ramp up precision
13.641 * * * * [points]: Setting MPFR precision to 64
13.642 * * * * [points]: Setting MPFR precision to 320
13.643 * * * * [points]: Computing exacts for 70 points
13.646 * * * * [points]: Setting MPFR precision to 64
13.650 * * * * [points]: Setting MPFR precision to 320
13.654 * * * * [points]: Filtering points with unrepresentable outputs
13.654 * * * * [points]: Sampling 38 additional inputs, on iter 8 have 7962 / 8000
13.654 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision
13.657 * * * * [points]: Setting MPFR precision to 64
13.657 * * * * [points]: Setting MPFR precision to 320
13.658 * * * * [points]: Computing exacts for 38 points
13.661 * * * * [points]: Setting MPFR precision to 64
13.663 * * * * [points]: Setting MPFR precision to 320
13.665 * * * * [points]: Filtering points with unrepresentable outputs
13.665 * * * * [points]: Sampling 18 additional inputs, on iter 9 have 7982 / 8000
13.665 * * * * [points]: Computing exacts for 18 points
13.667 * * * * [points]: Setting MPFR precision to 64
13.668 * * * * [points]: Setting MPFR precision to 320
13.669 * * * * [points]: Filtering points with unrepresentable outputs
13.669 * * * * [points]: Sampling 6 additional inputs, on iter 10 have 7994 / 8000
13.670 * * * * [points]: Computing exacts for 6 points
13.672 * * * * [points]: Setting MPFR precision to 64
13.672 * * * * [points]: Setting MPFR precision to 320
13.673 * * * * [points]: Filtering points with unrepresentable outputs
13.673 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000
13.673 * * * * [points]: Computing exacts for 4 points
13.675 * * * * [points]: Setting MPFR precision to 64
13.676 * * * * [points]: Setting MPFR precision to 320
13.676 * * * * [points]: Filtering points with unrepresentable outputs
13.676 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000
13.676 * * * * [points]: Computing exacts for 4 points
13.694 * * * * [points]: Setting MPFR precision to 64
13.695 * * * * [points]: Setting MPFR precision to 320
13.695 * * * * [points]: Filtering points with unrepresentable outputs
13.695 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7999 / 8000
13.695 * * * * [points]: Computing exacts for 4 points
13.699 * * * * [points]: Setting MPFR precision to 64
13.700 * * * * [points]: Setting MPFR precision to 320
13.700 * * * * [points]: Filtering points with unrepresentable outputs
13.700 * * * * [points]: Sampled 8000 points with exact outputs
19.981 * [regime-testing]: Baseline error score: 64.0
19.985 * [regime-testing]: Oracle error score: 64.0
19.993 * [regime-testing]: End program error score: 0.3996885742205446