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.009 * * * * [points]: Setting MPFR precision to 64
0.011 * * * * [points]: Setting MPFR precision to 320
0.012 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.015 * * * * [points]: Setting MPFR precision to 64
0.023 * * * * [points]: Setting MPFR precision to 320
0.028 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.032 * * * * [points]: Setting MPFR precision to 64
0.039 * * * * [points]: Setting MPFR precision to 320
0.046 * * * * [points]: Computing exacts for 256 points
0.049 * * * * [points]: Setting MPFR precision to 64
0.061 * * * * [points]: Setting MPFR precision to 320
0.075 * * * * [points]: Filtering points with unrepresentable outputs
0.075 * * * * [points]: Sampling 119 additional inputs, on iter 1 have 137 / 256
0.076 * * * * [points]: Computing exacts on every 7 of 119 points to ramp up precision
0.080 * * * * [points]: Setting MPFR precision to 64
0.081 * * * * [points]: Setting MPFR precision to 320
0.082 * * * * [points]: Computing exacts on every 3 of 119 points to ramp up precision
0.086 * * * * [points]: Setting MPFR precision to 64
0.088 * * * * [points]: Setting MPFR precision to 320
0.091 * * * * [points]: Computing exacts for 119 points
0.095 * * * * [points]: Setting MPFR precision to 64
0.104 * * * * [points]: Setting MPFR precision to 320
0.114 * * * * [points]: Filtering points with unrepresentable outputs
0.114 * * * * [points]: Sampling 64 additional inputs, on iter 2 have 192 / 256
0.114 * * * * [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.126 * * * * [points]: Setting MPFR precision to 64
0.128 * * * * [points]: Setting MPFR precision to 320
0.130 * * * * [points]: Computing exacts for 64 points
0.135 * * * * [points]: Setting MPFR precision to 64
0.140 * * * * [points]: Setting MPFR precision to 320
0.145 * * * * [points]: Filtering points with unrepresentable outputs
0.146 * * * * [points]: Sampling 34 additional inputs, on iter 3 have 222 / 256
0.146 * * * * [points]: Computing exacts on every 2 of 34 points to ramp up precision
0.150 * * * * [points]: Setting MPFR precision to 64
0.150 * * * * [points]: Setting MPFR precision to 320
0.151 * * * * [points]: Computing exacts for 34 points
0.153 * * * * [points]: Setting MPFR precision to 64
0.172 * * * * [points]: Setting MPFR precision to 320
0.174 * * * * [points]: Filtering points with unrepresentable outputs
0.174 * * * * [points]: Sampling 18 additional inputs, on iter 4 have 238 / 256
0.174 * * * * [points]: Computing exacts for 18 points
0.177 * * * * [points]: Setting MPFR precision to 64
0.178 * * * * [points]: Setting MPFR precision to 320
0.179 * * * * [points]: Filtering points with unrepresentable outputs
0.179 * * * * [points]: Sampling 13 additional inputs, on iter 5 have 243 / 256
0.179 * * * * [points]: Computing exacts for 13 points
0.182 * * * * [points]: Setting MPFR precision to 64
0.183 * * * * [points]: Setting MPFR precision to 320
0.183 * * * * [points]: Filtering points with unrepresentable outputs
0.183 * * * * [points]: Sampling 5 additional inputs, on iter 6 have 251 / 256
0.183 * * * * [points]: Computing exacts for 5 points
0.186 * * * * [points]: Setting MPFR precision to 64
0.186 * * * * [points]: Setting MPFR precision to 320
0.186 * * * * [points]: Filtering points with unrepresentable outputs
0.187 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 252 / 256
0.187 * * * * [points]: Computing exacts for 4 points
0.189 * * * * [points]: Setting MPFR precision to 64
0.189 * * * * [points]: Setting MPFR precision to 320
0.190 * * * * [points]: Filtering points with unrepresentable outputs
0.190 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 254 / 256
0.190 * * * * [points]: Computing exacts for 4 points
0.192 * * * * [points]: Setting MPFR precision to 64
0.193 * * * * [points]: Setting MPFR precision to 320
0.193 * * * * [points]: Filtering points with unrepresentable outputs
0.193 * * * * [points]: Sampling 4 additional inputs, on iter 9 have 255 / 256
0.193 * * * * [points]: Computing exacts for 4 points
0.196 * * * * [points]: Setting MPFR precision to 64
0.196 * * * * [points]: Setting MPFR precision to 320
0.196 * * * * [points]: Filtering points with unrepresentable outputs
0.196 * * * * [points]: Sampled 258 points with exact outputs
0.196 * * * [progress]: [2/2] Setting up program.
0.208 * [progress]: [Phase 2 of 3] Improving.
0.209 * * * * [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.209 * [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.209 * * [simplify]: iters left: 5 (12 enodes)
0.213 * * [simplify]: iters left: 4 (43 enodes)
0.226 * * [simplify]: iters left: 3 (170 enodes)
0.287 * * [simplify]: Extracting #0: cost 1 inf + 0
0.287 * * [simplify]: Extracting #1: cost 78 inf + 0
0.288 * * [simplify]: Extracting #2: cost 269 inf + 322
0.289 * * [simplify]: Extracting #3: cost 284 inf + 8772
0.292 * * [simplify]: Extracting #4: cost 196 inf + 144483
0.305 * * [simplify]: Extracting #5: cost 27 inf + 409616
0.329 * * [simplify]: Extracting #6: cost 0 inf + 414512
0.356 * * [simplify]: Extracting #7: cost 0 inf + 407040
0.383 * [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.383 * [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.420 * * [progress]: iteration 1 / 4
0.420 * * * [progress]: picking best candidate
0.443 * * * * [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.443 * * * [progress]: localizing error
0.632 * * * [progress]: generating rewritten candidates
0.632 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.647 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.661 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.665 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.675 * * * [progress]: generating series expansions
0.675 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.675 * * * * [progress]: [ 2 / 4 ] generating series at (2)
0.675 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
0.675 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
0.675 * * * [progress]: simplifying candidates
0.675 * * * * [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.675 * [simplify]: Simplifying (*.p16 (real->posit16 2) i)
0.675 * * [simplify]: iters left: 2 (4 enodes)
0.677 * * [simplify]: iters left: 1 (8 enodes)
0.679 * * [simplify]: Extracting #0: cost 1 inf + 0
0.679 * * [simplify]: Extracting #1: cost 3 inf + 0
0.679 * * [simplify]: Extracting #2: cost 3 inf + 1
0.679 * * [simplify]: Extracting #3: cost 2 inf + 2
0.679 * * [simplify]: Extracting #4: cost 0 inf + 325
0.679 * [simplify]: Simplified to (*.p16 i (real->posit16 2))
0.679 * [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.680 * * * * [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.680 * [simplify]: Simplifying (*.p16 i i)
0.680 * * [simplify]: iters left: 1 (2 enodes)
0.680 * * [simplify]: Extracting #0: cost 1 inf + 0
0.681 * * [simplify]: Extracting #1: cost 2 inf + 0
0.681 * * [simplify]: Extracting #2: cost 1 inf + 1
0.681 * * [simplify]: Extracting #3: cost 0 inf + 322
0.681 * [simplify]: Simplified to (*.p16 i i)
0.681 * [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.681 * * * * [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.681 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
0.681 * * [simplify]: iters left: 3 (6 enodes)
0.684 * * [simplify]: iters left: 2 (17 enodes)
0.689 * * [simplify]: iters left: 1 (32 enodes)
0.699 * * [simplify]: Extracting #0: cost 1 inf + 0
0.699 * * [simplify]: Extracting #1: cost 11 inf + 0
0.699 * * [simplify]: Extracting #2: cost 13 inf + 1
0.699 * * [simplify]: Extracting #3: cost 4 inf + 2294
0.699 * * [simplify]: Extracting #4: cost 0 inf + 4582
0.700 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
0.700 * [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.700 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
0.700 * * [simplify]: iters left: 3 (6 enodes)
0.702 * * [simplify]: iters left: 2 (17 enodes)
0.705 * * [simplify]: iters left: 1 (32 enodes)
0.712 * * [simplify]: Extracting #0: cost 1 inf + 0
0.712 * * [simplify]: Extracting #1: cost 11 inf + 0
0.712 * * [simplify]: Extracting #2: cost 13 inf + 1
0.713 * * [simplify]: Extracting #3: cost 4 inf + 2294
0.713 * * [simplify]: Extracting #4: cost 0 inf + 4582
0.713 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
0.713 * [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.713 * * * * [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.713 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
0.713 * * [simplify]: iters left: 3 (7 enodes)
0.716 * * [simplify]: iters left: 2 (19 enodes)
0.722 * * [simplify]: iters left: 1 (37 enodes)
0.728 * * [simplify]: Extracting #0: cost 1 inf + 0
0.729 * * [simplify]: Extracting #1: cost 10 inf + 0
0.729 * * [simplify]: Extracting #2: cost 21 inf + 0
0.729 * * [simplify]: Extracting #3: cost 27 inf + 165
0.729 * * [simplify]: Extracting #4: cost 27 inf + 167
0.729 * * [simplify]: Extracting #5: cost 18 inf + 4946
0.730 * * [simplify]: Extracting #6: cost 0 inf + 22111
0.731 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
0.731 * [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.731 * * * * [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.731 * [simplify]: Simplifying (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i))
0.731 * * [simplify]: iters left: 3 (6 enodes)
0.733 * * [simplify]: iters left: 2 (17 enodes)
0.736 * * [simplify]: iters left: 1 (32 enodes)
0.743 * * [simplify]: Extracting #0: cost 1 inf + 0
0.743 * * [simplify]: Extracting #1: cost 11 inf + 0
0.743 * * [simplify]: Extracting #2: cost 13 inf + 1
0.743 * * [simplify]: Extracting #3: cost 4 inf + 2294
0.744 * * [simplify]: Extracting #4: cost 0 inf + 4582
0.744 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
0.744 * [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.744 * * * * [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.744 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
0.744 * * [simplify]: iters left: 4 (8 enodes)
0.746 * * [simplify]: iters left: 3 (18 enodes)
0.749 * * [simplify]: iters left: 2 (25 enodes)
0.753 * * [simplify]: iters left: 1 (29 enodes)
0.758 * * [simplify]: Extracting #0: cost 1 inf + 0
0.758 * * [simplify]: Extracting #1: cost 3 inf + 0
0.758 * * [simplify]: Extracting #2: cost 11 inf + 0
0.758 * * [simplify]: Extracting #3: cost 8 inf + 324
0.758 * * [simplify]: Extracting #4: cost 7 inf + 325
0.758 * * [simplify]: Extracting #5: cost 0 inf + 3578
0.758 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
0.758 * [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.758 * * * * [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.759 * [simplify]: Simplifying (*.p16 (*.p16 i i) (*.p16 i i))
0.759 * * [simplify]: iters left: 2 (3 enodes)
0.759 * * [simplify]: iters left: 1 (9 enodes)
0.761 * * [simplify]: Extracting #0: cost 1 inf + 0
0.761 * * [simplify]: Extracting #1: cost 4 inf + 0
0.761 * * [simplify]: Extracting #2: cost 3 inf + 1
0.761 * * [simplify]: Extracting #3: cost 0 inf + 1604
0.761 * [simplify]: Simplified to (*.p16 (*.p16 i i) (*.p16 i i))
0.761 * [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.761 * * * * [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.761 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
0.761 * * [simplify]: iters left: 4 (10 enodes)
0.763 * * [simplify]: iters left: 3 (25 enodes)
0.768 * * [simplify]: iters left: 2 (51 enodes)
0.782 * * [simplify]: iters left: 1 (112 enodes)
0.827 * * [simplify]: Extracting #0: cost 1 inf + 0
0.827 * * [simplify]: Extracting #1: cost 57 inf + 0
0.828 * * [simplify]: Extracting #2: cost 185 inf + 763
0.829 * * [simplify]: Extracting #3: cost 127 inf + 36834
0.832 * * [simplify]: Extracting #4: cost 71 inf + 75466
0.837 * * [simplify]: Extracting #5: cost 6 inf + 143781
0.843 * * [simplify]: Extracting #6: cost 0 inf + 152919
0.852 * [simplify]: Simplified to (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
0.852 * [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.852 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
0.852 * * [simplify]: iters left: 4 (10 enodes)
0.858 * * [simplify]: iters left: 3 (31 enodes)
0.864 * * [simplify]: iters left: 2 (84 enodes)
0.908 * * [simplify]: iters left: 1 (243 enodes)
1.085 * * [simplify]: Extracting #0: cost 1 inf + 0
1.085 * * [simplify]: Extracting #1: cost 69 inf + 0
1.086 * * [simplify]: Extracting #2: cost 292 inf + 763
1.087 * * [simplify]: Extracting #3: cost 290 inf + 19278
1.094 * * [simplify]: Extracting #4: cost 211 inf + 140467
1.117 * * [simplify]: Extracting #5: cost 50 inf + 372763
1.145 * * [simplify]: Extracting #6: cost 0 inf + 397205
1.175 * * [simplify]: Extracting #7: cost 0 inf + 392365
1.197 * * [simplify]: Extracting #8: cost 0 inf + 392245
1.220 * [simplify]: Simplified to (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
1.220 * [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.220 * * * * [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.220 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1.221 * * [simplify]: iters left: 3 (7 enodes)
1.224 * * [simplify]: iters left: 2 (13 enodes)
1.227 * * [simplify]: Extracting #0: cost 1 inf + 0
1.227 * * [simplify]: Extracting #1: cost 3 inf + 0
1.227 * * [simplify]: Extracting #2: cost 6 inf + 0
1.227 * * [simplify]: Extracting #3: cost 4 inf + 3
1.227 * * [simplify]: Extracting #4: cost 3 inf + 4
1.227 * * [simplify]: Extracting #5: cost 0 inf + 690
1.228 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1.228 * [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.228 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
1.228 * * [simplify]: iters left: 3 (7 enodes)
1.231 * * [simplify]: iters left: 2 (19 enodes)
1.237 * * [simplify]: iters left: 1 (37 enodes)
1.248 * * [simplify]: Extracting #0: cost 1 inf + 0
1.248 * * [simplify]: Extracting #1: cost 10 inf + 0
1.248 * * [simplify]: Extracting #2: cost 21 inf + 0
1.249 * * [simplify]: Extracting #3: cost 27 inf + 165
1.249 * * [simplify]: Extracting #4: cost 27 inf + 167
1.249 * * [simplify]: Extracting #5: cost 18 inf + 4946
1.251 * * [simplify]: Extracting #6: cost 0 inf + 22111
1.252 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
1.252 * [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.253 * * * * [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.253 * * * * [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.253 * * * * [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.253 * * * * [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.253 * * * * [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.253 * * * * [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.253 * [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.253 * * [simplify]: iters left: 5 (12 enodes)
1.259 * * [simplify]: iters left: 4 (43 enodes)
1.271 * * [simplify]: iters left: 3 (170 enodes)
1.331 * * [simplify]: Extracting #0: cost 1 inf + 0
1.331 * * [simplify]: Extracting #1: cost 78 inf + 0
1.332 * * [simplify]: Extracting #2: cost 269 inf + 322
1.333 * * [simplify]: Extracting #3: cost 284 inf + 8772
1.336 * * [simplify]: Extracting #4: cost 196 inf + 144483
1.352 * * [simplify]: Extracting #5: cost 27 inf + 409616
1.368 * * [simplify]: Extracting #6: cost 0 inf + 414512
1.384 * * [simplify]: Extracting #7: cost 0 inf + 407040
1.401 * [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.401 * [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.401 * * * * [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.401 * [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.401 * * [simplify]: iters left: 5 (12 enodes)
1.404 * * [simplify]: iters left: 4 (43 enodes)
1.416 * * [simplify]: iters left: 3 (170 enodes)
1.470 * * [simplify]: Extracting #0: cost 1 inf + 0
1.470 * * [simplify]: Extracting #1: cost 78 inf + 0
1.471 * * [simplify]: Extracting #2: cost 269 inf + 322
1.472 * * [simplify]: Extracting #3: cost 284 inf + 8772
1.476 * * [simplify]: Extracting #4: cost 196 inf + 144483
1.488 * * [simplify]: Extracting #5: cost 27 inf + 409616
1.508 * * [simplify]: Extracting #6: cost 0 inf + 414512
1.524 * * [simplify]: Extracting #7: cost 0 inf + 407040
1.541 * [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.541 * [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.541 * * * * [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.541 * [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.541 * * [simplify]: iters left: 5 (12 enodes)
1.544 * * [simplify]: iters left: 4 (43 enodes)
1.554 * * [simplify]: iters left: 3 (170 enodes)
1.607 * * [simplify]: Extracting #0: cost 1 inf + 0
1.607 * * [simplify]: Extracting #1: cost 78 inf + 0
1.608 * * [simplify]: Extracting #2: cost 269 inf + 322
1.609 * * [simplify]: Extracting #3: cost 284 inf + 8772
1.614 * * [simplify]: Extracting #4: cost 196 inf + 144483
1.634 * * [simplify]: Extracting #5: cost 27 inf + 409616
1.661 * * [simplify]: Extracting #6: cost 0 inf + 414512
1.691 * * [simplify]: Extracting #7: cost 0 inf + 407040
1.717 * [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.717 * [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.718 * * * * [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.718 * [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.718 * * [simplify]: iters left: 5 (12 enodes)
1.724 * * [simplify]: iters left: 4 (43 enodes)
1.741 * * [simplify]: iters left: 3 (170 enodes)
1.828 * * [simplify]: Extracting #0: cost 1 inf + 0
1.828 * * [simplify]: Extracting #1: cost 78 inf + 0
1.829 * * [simplify]: Extracting #2: cost 269 inf + 322
1.831 * * [simplify]: Extracting #3: cost 284 inf + 8772
1.837 * * [simplify]: Extracting #4: cost 196 inf + 144483
1.858 * * [simplify]: Extracting #5: cost 27 inf + 409616
1.885 * * [simplify]: Extracting #6: cost 0 inf + 414512
1.917 * * [simplify]: Extracting #7: cost 0 inf + 407040
1.943 * [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.943 * [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.943 * * * [progress]: adding candidates to table
2.521 * * [progress]: iteration 2 / 4
2.521 * * * [progress]: picking best candidate
2.721 * * * * [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.721 * * * [progress]: localizing error
2.901 * * * [progress]: generating rewritten candidates
2.901 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
2.905 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
2.907 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
2.912 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
2.922 * * * [progress]: generating series expansions
2.922 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
2.922 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
2.922 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
2.922 * * * * [progress]: [ 4 / 4 ] generating series at (2)
2.922 * * * [progress]: simplifying candidates
2.922 * * * * [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.922 * * * * [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.922 * * * * [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.922 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
2.922 * * [simplify]: iters left: 2 (4 enodes)
2.924 * * [simplify]: iters left: 1 (7 enodes)
2.925 * * [simplify]: Extracting #0: cost 1 inf + 0
2.925 * * [simplify]: Extracting #1: cost 3 inf + 0
2.925 * * [simplify]: Extracting #2: cost 3 inf + 1
2.925 * * [simplify]: Extracting #3: cost 0 inf + 445
2.925 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
2.925 * [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.925 * [simplify]: Simplifying (/.p16 i i)
2.925 * * [simplify]: iters left: 1 (2 enodes)
2.926 * * [simplify]: Extracting #0: cost 1 inf + 0
2.926 * * [simplify]: Extracting #1: cost 3 inf + 0
2.926 * * [simplify]: Extracting #2: cost 1 inf + 2
2.926 * * [simplify]: Extracting #3: cost 0 inf + 3
2.926 * [simplify]: Simplified to (real->posit16 1.0)
2.926 * [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.926 * * * * [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.926 * * * * [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.926 * * * * [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.927 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
2.927 * * [simplify]: iters left: 2 (4 enodes)
2.928 * * [simplify]: iters left: 1 (7 enodes)
2.929 * * [simplify]: Extracting #0: cost 1 inf + 0
2.929 * * [simplify]: Extracting #1: cost 3 inf + 0
2.929 * * [simplify]: Extracting #2: cost 3 inf + 1
2.929 * * [simplify]: Extracting #3: cost 0 inf + 445
2.929 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
2.929 * [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.929 * [simplify]: Simplifying (/.p16 i i)
2.929 * * [simplify]: iters left: 1 (2 enodes)
2.930 * * [simplify]: Extracting #0: cost 1 inf + 0
2.930 * * [simplify]: Extracting #1: cost 3 inf + 0
2.930 * * [simplify]: Extracting #2: cost 1 inf + 2
2.930 * * [simplify]: Extracting #3: cost 0 inf + 3
2.930 * [simplify]: Simplified to (real->posit16 1.0)
2.930 * [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.930 * * * * [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.930 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
2.930 * * [simplify]: iters left: 2 (4 enodes)
2.931 * * [simplify]: iters left: 1 (7 enodes)
2.932 * * [simplify]: Extracting #0: cost 1 inf + 0
2.932 * * [simplify]: Extracting #1: cost 3 inf + 0
2.932 * * [simplify]: Extracting #2: cost 3 inf + 1
2.932 * * [simplify]: Extracting #3: cost 0 inf + 445
2.932 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
2.932 * [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.933 * * * * [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.933 * [simplify]: Simplifying (*.p16 i i)
2.933 * * [simplify]: iters left: 1 (2 enodes)
2.933 * * [simplify]: Extracting #0: cost 1 inf + 0
2.933 * * [simplify]: Extracting #1: cost 2 inf + 0
2.933 * * [simplify]: Extracting #2: cost 1 inf + 1
2.933 * * [simplify]: Extracting #3: cost 0 inf + 322
2.933 * [simplify]: Simplified to (*.p16 i i)
2.933 * [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.933 * * * * [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.934 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
2.934 * * [simplify]: iters left: 3 (7 enodes)
2.935 * * [simplify]: iters left: 2 (13 enodes)
2.937 * * [simplify]: Extracting #0: cost 1 inf + 0
2.937 * * [simplify]: Extracting #1: cost 3 inf + 0
2.937 * * [simplify]: Extracting #2: cost 6 inf + 0
2.937 * * [simplify]: Extracting #3: cost 4 inf + 3
2.937 * * [simplify]: Extracting #4: cost 3 inf + 4
2.938 * * [simplify]: Extracting #5: cost 0 inf + 690
2.938 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
2.938 * [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.938 * * * * [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.938 * [simplify]: Simplifying (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
2.938 * * [simplify]: iters left: 3 (7 enodes)
2.940 * * [simplify]: iters left: 2 (19 enodes)
2.943 * * [simplify]: iters left: 1 (37 enodes)
2.950 * * [simplify]: Extracting #0: cost 1 inf + 0
2.950 * * [simplify]: Extracting #1: cost 10 inf + 0
2.950 * * [simplify]: Extracting #2: cost 21 inf + 0
2.950 * * [simplify]: Extracting #3: cost 27 inf + 165
2.950 * * [simplify]: Extracting #4: cost 27 inf + 167
2.950 * * [simplify]: Extracting #5: cost 18 inf + 4946
2.951 * * [simplify]: Extracting #6: cost 0 inf + 22111
2.952 * [simplify]: Simplified to (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
2.952 * [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.952 * * * * [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.952 * [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.952 * * [simplify]: iters left: 5 (11 enodes)
2.955 * * [simplify]: iters left: 4 (37 enodes)
2.967 * * [simplify]: iters left: 3 (140 enodes)
3.073 * * [simplify]: Extracting #0: cost 1 inf + 0
3.073 * * [simplify]: Extracting #1: cost 64 inf + 0
3.074 * * [simplify]: Extracting #2: cost 170 inf + 963
3.075 * * [simplify]: Extracting #3: cost 162 inf + 7055
3.076 * * [simplify]: Extracting #4: cost 149 inf + 19907
3.080 * * [simplify]: Extracting #5: cost 51 inf + 151263
3.089 * * [simplify]: Extracting #6: cost 0 inf + 233772
3.098 * * [simplify]: Extracting #7: cost 0 inf + 233172
3.107 * [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.107 * [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.108 * * * * [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.108 * * * * [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.108 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
3.108 * * [simplify]: iters left: 4 (10 enodes)
3.111 * * [simplify]: iters left: 3 (25 enodes)
3.115 * * [simplify]: iters left: 2 (51 enodes)
3.130 * * [simplify]: iters left: 1 (112 enodes)
3.173 * * [simplify]: Extracting #0: cost 1 inf + 0
3.173 * * [simplify]: Extracting #1: cost 57 inf + 0
3.174 * * [simplify]: Extracting #2: cost 185 inf + 763
3.175 * * [simplify]: Extracting #3: cost 127 inf + 36834
3.178 * * [simplify]: Extracting #4: cost 71 inf + 75466
3.183 * * [simplify]: Extracting #5: cost 6 inf + 143781
3.189 * * [simplify]: Extracting #6: cost 0 inf + 152919
3.196 * [simplify]: Simplified to (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
3.196 * [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.196 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
3.196 * * [simplify]: iters left: 4 (10 enodes)
3.199 * * [simplify]: iters left: 3 (31 enodes)
3.205 * * [simplify]: iters left: 2 (84 enodes)
3.234 * * [simplify]: iters left: 1 (243 enodes)
3.372 * * [simplify]: Extracting #0: cost 1 inf + 0
3.372 * * [simplify]: Extracting #1: cost 69 inf + 0
3.373 * * [simplify]: Extracting #2: cost 292 inf + 763
3.374 * * [simplify]: Extracting #3: cost 290 inf + 19278
3.378 * * [simplify]: Extracting #4: cost 211 inf + 140467
3.393 * * [simplify]: Extracting #5: cost 50 inf + 372763
3.410 * * [simplify]: Extracting #6: cost 0 inf + 397205
3.430 * * [simplify]: Extracting #7: cost 0 inf + 392365
3.451 * * [simplify]: Extracting #8: cost 0 inf + 392245
3.476 * [simplify]: Simplified to (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
3.476 * [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.476 * * * * [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.477 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
3.477 * * [simplify]: iters left: 4 (10 enodes)
3.481 * * [simplify]: iters left: 3 (25 enodes)
3.487 * * [simplify]: iters left: 2 (51 enodes)
3.509 * * [simplify]: iters left: 1 (112 enodes)
3.569 * * [simplify]: Extracting #0: cost 1 inf + 0
3.569 * * [simplify]: Extracting #1: cost 57 inf + 0
3.570 * * [simplify]: Extracting #2: cost 185 inf + 763
3.572 * * [simplify]: Extracting #3: cost 127 inf + 36834
3.576 * * [simplify]: Extracting #4: cost 71 inf + 75466
3.584 * * [simplify]: Extracting #5: cost 6 inf + 143781
3.592 * * [simplify]: Extracting #6: cost 0 inf + 152919
3.601 * [simplify]: Simplified to (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
3.601 * [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.601 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
3.601 * * [simplify]: iters left: 4 (10 enodes)
3.605 * * [simplify]: iters left: 3 (31 enodes)
3.617 * * [simplify]: iters left: 2 (84 enodes)
3.657 * * [simplify]: iters left: 1 (243 enodes)
3.862 * * [simplify]: Extracting #0: cost 1 inf + 0
3.862 * * [simplify]: Extracting #1: cost 69 inf + 0
3.864 * * [simplify]: Extracting #2: cost 292 inf + 763
3.866 * * [simplify]: Extracting #3: cost 290 inf + 19278
3.875 * * [simplify]: Extracting #4: cost 211 inf + 140467
3.901 * * [simplify]: Extracting #5: cost 50 inf + 372763
3.925 * * [simplify]: Extracting #6: cost 0 inf + 397205
3.950 * * [simplify]: Extracting #7: cost 0 inf + 392365
3.977 * * [simplify]: Extracting #8: cost 0 inf + 392245
3.994 * [simplify]: Simplified to (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
3.994 * [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.994 * * * * [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.995 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
3.995 * * [simplify]: iters left: 4 (10 enodes)
3.998 * * [simplify]: iters left: 3 (25 enodes)
4.002 * * [simplify]: iters left: 2 (51 enodes)
4.018 * * [simplify]: iters left: 1 (112 enodes)
4.073 * * [simplify]: Extracting #0: cost 1 inf + 0
4.073 * * [simplify]: Extracting #1: cost 57 inf + 0
4.074 * * [simplify]: Extracting #2: cost 185 inf + 763
4.076 * * [simplify]: Extracting #3: cost 127 inf + 36834
4.080 * * [simplify]: Extracting #4: cost 71 inf + 75466
4.088 * * [simplify]: Extracting #5: cost 6 inf + 143781
4.097 * * [simplify]: Extracting #6: cost 0 inf + 152919
4.107 * [simplify]: Simplified to (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
4.107 * [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.108 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
4.108 * * [simplify]: iters left: 4 (10 enodes)
4.112 * * [simplify]: iters left: 3 (31 enodes)
4.120 * * [simplify]: iters left: 2 (84 enodes)
4.167 * * [simplify]: iters left: 1 (243 enodes)
4.368 * * [simplify]: Extracting #0: cost 1 inf + 0
4.368 * * [simplify]: Extracting #1: cost 69 inf + 0
4.373 * * [simplify]: Extracting #2: cost 292 inf + 763
4.375 * * [simplify]: Extracting #3: cost 290 inf + 19278
4.382 * * [simplify]: Extracting #4: cost 211 inf + 140467
4.403 * * [simplify]: Extracting #5: cost 50 inf + 372763
4.425 * * [simplify]: Extracting #6: cost 0 inf + 397205
4.442 * * [simplify]: Extracting #7: cost 0 inf + 392365
4.458 * * [simplify]: Extracting #8: cost 0 inf + 392245
4.478 * [simplify]: Simplified to (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
4.478 * [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.478 * * * * [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.478 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
4.479 * * [simplify]: iters left: 4 (10 enodes)
4.483 * * [simplify]: iters left: 3 (25 enodes)
4.490 * * [simplify]: iters left: 2 (51 enodes)
4.512 * * [simplify]: iters left: 1 (112 enodes)
4.572 * * [simplify]: Extracting #0: cost 1 inf + 0
4.572 * * [simplify]: Extracting #1: cost 57 inf + 0
4.573 * * [simplify]: Extracting #2: cost 185 inf + 763
4.575 * * [simplify]: Extracting #3: cost 127 inf + 36834
4.579 * * [simplify]: Extracting #4: cost 71 inf + 75466
4.588 * * [simplify]: Extracting #5: cost 6 inf + 143781
4.597 * * [simplify]: Extracting #6: cost 0 inf + 152919
4.606 * [simplify]: Simplified to (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
4.606 * [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.606 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i i) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
4.606 * * [simplify]: iters left: 4 (10 enodes)
4.611 * * [simplify]: iters left: 3 (31 enodes)
4.621 * * [simplify]: iters left: 2 (84 enodes)
4.660 * * [simplify]: iters left: 1 (243 enodes)
4.852 * * [simplify]: Extracting #0: cost 1 inf + 0
4.853 * * [simplify]: Extracting #1: cost 69 inf + 0
4.853 * * [simplify]: Extracting #2: cost 292 inf + 763
4.855 * * [simplify]: Extracting #3: cost 290 inf + 19278
4.859 * * [simplify]: Extracting #4: cost 211 inf + 140467
4.876 * * [simplify]: Extracting #5: cost 50 inf + 372763
4.895 * * [simplify]: Extracting #6: cost 0 inf + 397205
4.922 * * [simplify]: Extracting #7: cost 0 inf + 392365
4.940 * * [simplify]: Extracting #8: cost 0 inf + 392245
4.958 * [simplify]: Simplified to (/.p16 i (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))
4.958 * [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.959 * * * [progress]: adding candidates to table
5.387 * * [progress]: iteration 3 / 4
5.388 * * * [progress]: picking best candidate
5.536 * * * * [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.536 * * * [progress]: localizing error
5.710 * * * [progress]: generating rewritten candidates
5.710 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
5.714 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
5.720 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
5.721 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
5.724 * * * [progress]: generating series expansions
5.724 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
5.724 * * * * [progress]: [ 2 / 4 ] generating series at (2)
5.724 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
5.724 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
5.724 * * * [progress]: simplifying candidates
5.724 * * * * [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.724 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
5.724 * * [simplify]: iters left: 2 (4 enodes)
5.726 * * [simplify]: iters left: 1 (7 enodes)
5.727 * * [simplify]: Extracting #0: cost 1 inf + 0
5.727 * * [simplify]: Extracting #1: cost 3 inf + 0
5.727 * * [simplify]: Extracting #2: cost 3 inf + 1
5.727 * * [simplify]: Extracting #3: cost 0 inf + 445
5.727 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
5.727 * [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.727 * * * * [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.727 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
5.727 * * [simplify]: iters left: 3 (7 enodes)
5.729 * * [simplify]: iters left: 2 (13 enodes)
5.731 * * [simplify]: Extracting #0: cost 1 inf + 0
5.731 * * [simplify]: Extracting #1: cost 3 inf + 0
5.731 * * [simplify]: Extracting #2: cost 6 inf + 0
5.731 * * [simplify]: Extracting #3: cost 4 inf + 3
5.731 * * [simplify]: Extracting #4: cost 3 inf + 4
5.731 * * [simplify]: Extracting #5: cost 0 inf + 690
5.731 * [simplify]: Simplified to (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
5.731 * [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.731 * * * * [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.732 * [simplify]: Simplifying (*.p16 (/.p16 i (real->posit16 2)) i)
5.732 * * [simplify]: iters left: 3 (5 enodes)
5.733 * * [simplify]: iters left: 2 (11 enodes)
5.734 * * [simplify]: iters left: 1 (13 enodes)
5.736 * * [simplify]: Extracting #0: cost 1 inf + 0
5.736 * * [simplify]: Extracting #1: cost 6 inf + 0
5.736 * * [simplify]: Extracting #2: cost 6 inf + 1
5.736 * * [simplify]: Extracting #3: cost 0 inf + 1970
5.737 * [simplify]: Simplified to (*.p16 (/.p16 i (real->posit16 2)) i)
5.737 * [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.737 * * * * [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.737 * [simplify]: Simplifying (*.p16 i (/.p16 i (real->posit16 2)))
5.737 * * [simplify]: iters left: 3 (5 enodes)
5.738 * * [simplify]: iters left: 2 (11 enodes)
5.740 * * [simplify]: iters left: 1 (13 enodes)
5.741 * * [simplify]: Extracting #0: cost 1 inf + 0
5.742 * * [simplify]: Extracting #1: cost 6 inf + 0
5.742 * * [simplify]: Extracting #2: cost 6 inf + 1
5.742 * * [simplify]: Extracting #3: cost 0 inf + 1970
5.742 * [simplify]: Simplified to (*.p16 (/.p16 i (real->posit16 2)) i)
5.742 * [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.742 * * * * [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.742 * [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.742 * * [simplify]: iters left: 5 (12 enodes)
5.750 * * [simplify]: iters left: 4 (37 enodes)
5.757 * * [simplify]: iters left: 3 (90 enodes)
5.776 * * [simplify]: iters left: 2 (290 enodes)
5.920 * * [simplify]: Extracting #0: cost 1 inf + 0
5.920 * * [simplify]: Extracting #1: cost 101 inf + 0
5.921 * * [simplify]: Extracting #2: cost 385 inf + 1
5.923 * * [simplify]: Extracting #3: cost 463 inf + 13071
5.934 * * [simplify]: Extracting #4: cost 358 inf + 146640
5.974 * * [simplify]: Extracting #5: cost 86 inf + 535972
6.028 * * [simplify]: Extracting #6: cost 1 inf + 639822
6.068 * * [simplify]: Extracting #7: cost 0 inf + 640185
6.102 * [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.102 * [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.102 * * * * [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.103 * [simplify]: Simplifying (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2)))
6.103 * * [simplify]: iters left: 3 (5 enodes)
6.104 * * [simplify]: iters left: 2 (12 enodes)
6.107 * * [simplify]: iters left: 1 (18 enodes)
6.109 * * [simplify]: Extracting #0: cost 1 inf + 0
6.109 * * [simplify]: Extracting #1: cost 10 inf + 0
6.109 * * [simplify]: Extracting #2: cost 9 inf + 322
6.110 * * [simplify]: Extracting #3: cost 8 inf + 323
6.110 * * [simplify]: Extracting #4: cost 0 inf + 4817
6.110 * * [simplify]: Extracting #5: cost 0 inf + 4697
6.110 * [simplify]: Simplified to (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2)))
6.110 * [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.110 * * * * [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.110 * * * * [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.110 * * * * [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.110 * [simplify]: Simplifying (real->posit16 2)
6.110 * * [simplify]: iters left: 1 (2 enodes)
6.111 * * [simplify]: Extracting #0: cost 1 inf + 0
6.111 * * [simplify]: Extracting #1: cost 2 inf + 0
6.111 * * [simplify]: Extracting #2: cost 1 inf + 1
6.111 * * [simplify]: Extracting #3: cost 0 inf + 2
6.111 * [simplify]: Simplified to (real->posit16 2)
6.111 * [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.111 * * * * [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.112 * [simplify]: Simplifying (*.p16 i (/.p16 i (real->posit16 2)))
6.112 * * [simplify]: iters left: 3 (5 enodes)
6.113 * * [simplify]: iters left: 2 (11 enodes)
6.115 * * [simplify]: iters left: 1 (13 enodes)
6.117 * * [simplify]: Extracting #0: cost 1 inf + 0
6.117 * * [simplify]: Extracting #1: cost 6 inf + 0
6.117 * * [simplify]: Extracting #2: cost 6 inf + 1
6.117 * * [simplify]: Extracting #3: cost 0 inf + 1970
6.117 * [simplify]: Simplified to (*.p16 (/.p16 i (real->posit16 2)) i)
6.117 * [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.117 * * * * [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.117 * * * * [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.117 * [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.117 * * [simplify]: iters left: 5 (12 enodes)
6.120 * * [simplify]: iters left: 4 (32 enodes)
6.128 * * [simplify]: iters left: 3 (80 enodes)
6.145 * * [simplify]: iters left: 2 (303 enodes)
6.380 * * [simplify]: Extracting #0: cost 1 inf + 0
6.381 * * [simplify]: Extracting #1: cost 101 inf + 0
6.383 * * [simplify]: Extracting #2: cost 373 inf + 1
6.386 * * [simplify]: Extracting #3: cost 463 inf + 8920
6.411 * * [simplify]: Extracting #4: cost 272 inf + 251300
6.465 * * [simplify]: Extracting #5: cost 35 inf + 581665
6.524 * * [simplify]: Extracting #6: cost 0 inf + 634930
6.583 * [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.583 * [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.583 * * * * [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.583 * [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.584 * * [simplify]: iters left: 5 (12 enodes)
6.587 * * [simplify]: iters left: 4 (32 enodes)
6.593 * * [simplify]: iters left: 3 (80 enodes)
6.611 * * [simplify]: iters left: 2 (303 enodes)
6.917 * * [simplify]: Extracting #0: cost 1 inf + 0
6.917 * * [simplify]: Extracting #1: cost 101 inf + 0
6.919 * * [simplify]: Extracting #2: cost 373 inf + 1
6.922 * * [simplify]: Extracting #3: cost 463 inf + 8920
6.937 * * [simplify]: Extracting #4: cost 272 inf + 251300
6.981 * * [simplify]: Extracting #5: cost 35 inf + 581665
7.025 * * [simplify]: Extracting #6: cost 0 inf + 634930
7.078 * [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.078 * [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.079 * * * * [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.079 * [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.079 * * [simplify]: iters left: 5 (12 enodes)
7.085 * * [simplify]: iters left: 4 (32 enodes)
7.096 * * [simplify]: iters left: 3 (80 enodes)
7.127 * * [simplify]: iters left: 2 (303 enodes)
7.449 * * [simplify]: Extracting #0: cost 1 inf + 0
7.449 * * [simplify]: Extracting #1: cost 101 inf + 0
7.451 * * [simplify]: Extracting #2: cost 373 inf + 1
7.455 * * [simplify]: Extracting #3: cost 463 inf + 8920
7.475 * * [simplify]: Extracting #4: cost 272 inf + 251300
7.516 * * [simplify]: Extracting #5: cost 35 inf + 581665
7.550 * * [simplify]: Extracting #6: cost 0 inf + 634930
7.583 * [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.583 * [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.583 * * * * [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.583 * [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.583 * * [simplify]: iters left: 5 (12 enodes)
7.588 * * [simplify]: iters left: 4 (32 enodes)
7.595 * * [simplify]: iters left: 3 (80 enodes)
7.614 * * [simplify]: iters left: 2 (303 enodes)
7.892 * * [simplify]: Extracting #0: cost 1 inf + 0
7.892 * * [simplify]: Extracting #1: cost 101 inf + 0
7.894 * * [simplify]: Extracting #2: cost 373 inf + 1
7.896 * * [simplify]: Extracting #3: cost 463 inf + 8920
7.905 * * [simplify]: Extracting #4: cost 272 inf + 251300
7.936 * * [simplify]: Extracting #5: cost 35 inf + 581665
7.985 * * [simplify]: Extracting #6: cost 0 inf + 634930
8.026 * [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.026 * [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.026 * * * [progress]: adding candidates to table
8.475 * * [progress]: iteration 4 / 4
8.476 * * * [progress]: picking best candidate
8.590 * * * * [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.590 * * * [progress]: localizing error
8.745 * * * [progress]: generating rewritten candidates
8.745 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
8.748 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
8.755 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
8.759 * * * * [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.778 * * [simplify]: iters left: 2 (59 enodes)
8.797 * * [simplify]: iters left: 1 (160 enodes)
8.843 * * [simplify]: Extracting #0: cost 1 inf + 0
8.843 * * [simplify]: Extracting #1: cost 39 inf + 0
8.844 * * [simplify]: Extracting #2: cost 165 inf + 0
8.845 * * [simplify]: Extracting #3: cost 201 inf + 2
8.847 * * [simplify]: Extracting #4: cost 185 inf + 15772
8.856 * * [simplify]: Extracting #5: cost 70 inf + 122605
8.872 * * [simplify]: Extracting #6: cost 4 inf + 188457
8.887 * * [simplify]: Extracting #7: cost 0 inf + 193829
8.904 * [simplify]: Simplified to (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
8.904 * [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.904 * * * * [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.905 * [simplify]: Simplifying (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
8.905 * * [simplify]: iters left: 4 (9 enodes)
8.908 * * [simplify]: iters left: 3 (23 enodes)
8.912 * * [simplify]: iters left: 2 (48 enodes)
8.921 * * [simplify]: iters left: 1 (130 enodes)
8.983 * * [simplify]: Extracting #0: cost 1 inf + 0
8.983 * * [simplify]: Extracting #1: cost 33 inf + 0
8.984 * * [simplify]: Extracting #2: cost 121 inf + 1
8.984 * * [simplify]: Extracting #3: cost 150 inf + 767
8.985 * * [simplify]: Extracting #4: cost 147 inf + 6462
8.989 * * [simplify]: Extracting #5: cost 102 inf + 59322
9.003 * * [simplify]: Extracting #6: cost 7 inf + 167589
9.017 * * [simplify]: Extracting #7: cost 0 inf + 181450
9.031 * [simplify]: Simplified to (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
9.031 * [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.032 * * * * [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.032 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
9.032 * * [simplify]: iters left: 2 (4 enodes)
9.034 * * [simplify]: iters left: 1 (7 enodes)
9.036 * * [simplify]: Extracting #0: cost 1 inf + 0
9.036 * * [simplify]: Extracting #1: cost 3 inf + 0
9.036 * * [simplify]: Extracting #2: cost 3 inf + 1
9.036 * * [simplify]: Extracting #3: cost 0 inf + 445
9.036 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
9.036 * [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.036 * * * * [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.036 * [simplify]: Simplifying (real->posit16 2)
9.036 * * [simplify]: iters left: 1 (2 enodes)
9.037 * * [simplify]: Extracting #0: cost 1 inf + 0
9.037 * * [simplify]: Extracting #1: cost 2 inf + 0
9.037 * * [simplify]: Extracting #2: cost 1 inf + 1
9.037 * * [simplify]: Extracting #3: cost 0 inf + 2
9.037 * [simplify]: Simplified to (real->posit16 2)
9.037 * [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.038 * * * * [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.038 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
9.038 * * [simplify]: iters left: 2 (4 enodes)
9.039 * * [simplify]: iters left: 1 (7 enodes)
9.041 * * [simplify]: Extracting #0: cost 1 inf + 0
9.041 * * [simplify]: Extracting #1: cost 3 inf + 0
9.041 * * [simplify]: Extracting #2: cost 3 inf + 1
9.041 * * [simplify]: Extracting #3: cost 0 inf + 445
9.041 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
9.041 * [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.041 * * * * [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.042 * * * * [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.042 * * * * [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.042 * * * * [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.042 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
9.042 * * [simplify]: iters left: 2 (4 enodes)
9.044 * * [simplify]: iters left: 1 (7 enodes)
9.045 * * [simplify]: Extracting #0: cost 1 inf + 0
9.045 * * [simplify]: Extracting #1: cost 3 inf + 0
9.045 * * [simplify]: Extracting #2: cost 3 inf + 1
9.046 * * [simplify]: Extracting #3: cost 0 inf + 445
9.046 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
9.046 * [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.046 * * * * [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.046 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
9.046 * * [simplify]: iters left: 2 (4 enodes)
9.048 * * [simplify]: iters left: 1 (7 enodes)
9.050 * * [simplify]: Extracting #0: cost 1 inf + 0
9.050 * * [simplify]: Extracting #1: cost 3 inf + 0
9.050 * * [simplify]: Extracting #2: cost 3 inf + 1
9.050 * * [simplify]: Extracting #3: cost 0 inf + 445
9.050 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
9.050 * [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.050 * * * * [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.050 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
9.050 * * [simplify]: iters left: 2 (4 enodes)
9.053 * * [simplify]: iters left: 1 (7 enodes)
9.054 * * [simplify]: Extracting #0: cost 1 inf + 0
9.054 * * [simplify]: Extracting #1: cost 3 inf + 0
9.054 * * [simplify]: Extracting #2: cost 3 inf + 1
9.055 * * [simplify]: Extracting #3: cost 0 inf + 445
9.055 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
9.055 * [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.055 * * * * [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.055 * [simplify]: Simplifying (/.p16 i (real->posit16 2))
9.055 * * [simplify]: iters left: 2 (4 enodes)
9.057 * * [simplify]: iters left: 1 (7 enodes)
9.059 * * [simplify]: Extracting #0: cost 1 inf + 0
9.059 * * [simplify]: Extracting #1: cost 3 inf + 0
9.059 * * [simplify]: Extracting #2: cost 3 inf + 1
9.059 * * [simplify]: Extracting #3: cost 0 inf + 445
9.059 * [simplify]: Simplified to (/.p16 i (real->posit16 2))
9.059 * [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.059 * * * [progress]: adding candidates to table
9.425 * [progress]: [Phase 3 of 3] Extracting.
9.425 * * [regime]: Finding splitpoints for: (#<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 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 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 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 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 (*.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))))> #<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))))>)
9.426 * * * [regime-changes]: Trying 1 branch expressions: (i)
9.426 * * * * [regimes]: Trying to branch on i from (#<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 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 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 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 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 (*.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))))> #<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))))>)
9.609 * * * [regime]: Found split indices: #<option (#s(si 1 256))>
9.610 * [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.610 * * [simplify]: iters left: 6 (13 enodes)
9.611 * * [simplify]: Extracting #0: cost 1 inf + 0
9.612 * * [simplify]: Extracting #1: cost 3 inf + 0
9.612 * * [simplify]: Extracting #2: cost 7 inf + 0
9.612 * * [simplify]: Extracting #3: cost 9 inf + 1
9.612 * * [simplify]: Extracting #4: cost 10 inf + 3
9.612 * * [simplify]: Extracting #5: cost 9 inf + 4
9.612 * * [simplify]: Extracting #6: cost 5 inf + 1132
9.612 * * [simplify]: Extracting #7: cost 2 inf + 4421
9.613 * * [simplify]: Extracting #8: cost 0 inf + 8987
9.613 * [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.613 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
9.625 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
9.628 * * * * [points]: Setting MPFR precision to 64
9.629 * * * * [points]: Setting MPFR precision to 320
9.630 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
9.632 * * * * [points]: Setting MPFR precision to 64
9.634 * * * * [points]: Setting MPFR precision to 320
9.636 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
9.638 * * * * [points]: Setting MPFR precision to 64
9.642 * * * * [points]: Setting MPFR precision to 320
9.645 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
9.647 * * * * [points]: Setting MPFR precision to 64
9.654 * * * * [points]: Setting MPFR precision to 320
9.663 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
9.669 * * * * [points]: Setting MPFR precision to 64
9.703 * * * * [points]: Setting MPFR precision to 320
9.715 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
9.718 * * * * [points]: Setting MPFR precision to 64
9.745 * * * * [points]: Setting MPFR precision to 320
9.777 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
9.780 * * * * [points]: Setting MPFR precision to 64
9.829 * * * * [points]: Setting MPFR precision to 320
9.930 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
9.933 * * * * [points]: Setting MPFR precision to 64
10.092 * * * * [points]: Setting MPFR precision to 320
10.280 * * * * [points]: Computing exacts for 8000 points
10.284 * * * * [points]: Setting MPFR precision to 64
11.119 * * * * [points]: Setting MPFR precision to 320
11.686 * * * * [points]: Filtering points with unrepresentable outputs
11.729 * * * * [points]: Sampling 3987 additional inputs, on iter 1 have 4013 / 8000
11.741 * * * * [points]: Computing exacts on every 249 of 3987 points to ramp up precision
11.745 * * * * [points]: Setting MPFR precision to 64
11.746 * * * * [points]: Setting MPFR precision to 320
11.747 * * * * [points]: Computing exacts on every 124 of 3987 points to ramp up precision
11.750 * * * * [points]: Setting MPFR precision to 64
11.751 * * * * [points]: Setting MPFR precision to 320
11.753 * * * * [points]: Computing exacts on every 62 of 3987 points to ramp up precision
11.755 * * * * [points]: Setting MPFR precision to 64
11.758 * * * * [points]: Setting MPFR precision to 320
11.762 * * * * [points]: Computing exacts on every 31 of 3987 points to ramp up precision
11.764 * * * * [points]: Setting MPFR precision to 64
11.770 * * * * [points]: Setting MPFR precision to 320
11.776 * * * * [points]: Computing exacts on every 15 of 3987 points to ramp up precision
11.779 * * * * [points]: Setting MPFR precision to 64
11.791 * * * * [points]: Setting MPFR precision to 320
11.809 * * * * [points]: Computing exacts on every 7 of 3987 points to ramp up precision
11.813 * * * * [points]: Setting MPFR precision to 64
11.852 * * * * [points]: Setting MPFR precision to 320
11.923 * * * * [points]: Computing exacts on every 3 of 3987 points to ramp up precision
11.927 * * * * [points]: Setting MPFR precision to 64
11.978 * * * * [points]: Setting MPFR precision to 320
12.024 * * * * [points]: Computing exacts for 3987 points
12.053 * * * * [points]: Setting MPFR precision to 64
12.284 * * * * [points]: Setting MPFR precision to 320
12.551 * * * * [points]: Filtering points with unrepresentable outputs
12.554 * * * * [points]: Sampling 1987 additional inputs, on iter 2 have 6013 / 8000
12.558 * * * * [points]: Computing exacts on every 124 of 1987 points to ramp up precision
12.562 * * * * [points]: Setting MPFR precision to 64
12.563 * * * * [points]: Setting MPFR precision to 320
12.564 * * * * [points]: Computing exacts on every 62 of 1987 points to ramp up precision
12.566 * * * * [points]: Setting MPFR precision to 64
12.568 * * * * [points]: Setting MPFR precision to 320
12.570 * * * * [points]: Computing exacts on every 31 of 1987 points to ramp up precision
12.572 * * * * [points]: Setting MPFR precision to 64
12.576 * * * * [points]: Setting MPFR precision to 320
12.581 * * * * [points]: Computing exacts on every 15 of 1987 points to ramp up precision
12.585 * * * * [points]: Setting MPFR precision to 64
12.594 * * * * [points]: Setting MPFR precision to 320
12.604 * * * * [points]: Computing exacts on every 7 of 1987 points to ramp up precision
12.608 * * * * [points]: Setting MPFR precision to 64
12.621 * * * * [points]: Setting MPFR precision to 320
12.633 * * * * [points]: Computing exacts on every 3 of 1987 points to ramp up precision
12.637 * * * * [points]: Setting MPFR precision to 64
12.687 * * * * [points]: Setting MPFR precision to 320
12.710 * * * * [points]: Computing exacts for 1987 points
12.713 * * * * [points]: Setting MPFR precision to 64
12.842 * * * * [points]: Setting MPFR precision to 320
12.968 * * * * [points]: Filtering points with unrepresentable outputs
12.969 * * * * [points]: Sampling 1014 additional inputs, on iter 3 have 6986 / 8000
12.971 * * * * [points]: Computing exacts on every 63 of 1014 points to ramp up precision
12.974 * * * * [points]: Setting MPFR precision to 64
12.976 * * * * [points]: Setting MPFR precision to 320
12.977 * * * * [points]: Computing exacts on every 31 of 1014 points to ramp up precision
12.979 * * * * [points]: Setting MPFR precision to 64
12.981 * * * * [points]: Setting MPFR precision to 320
12.983 * * * * [points]: Computing exacts on every 15 of 1014 points to ramp up precision
12.985 * * * * [points]: Setting MPFR precision to 64
12.988 * * * * [points]: Setting MPFR precision to 320
12.991 * * * * [points]: Computing exacts on every 7 of 1014 points to ramp up precision
12.994 * * * * [points]: Setting MPFR precision to 64
13.000 * * * * [points]: Setting MPFR precision to 320
13.006 * * * * [points]: Computing exacts on every 3 of 1014 points to ramp up precision
13.009 * * * * [points]: Setting MPFR precision to 64
13.021 * * * * [points]: Setting MPFR precision to 320
13.033 * * * * [points]: Computing exacts for 1014 points
13.036 * * * * [points]: Setting MPFR precision to 64
13.107 * * * * [points]: Setting MPFR precision to 320
13.163 * * * * [points]: Filtering points with unrepresentable outputs
13.164 * * * * [points]: Sampling 532 additional inputs, on iter 4 have 7468 / 8000
13.165 * * * * [points]: Computing exacts on every 33 of 532 points to ramp up precision
13.170 * * * * [points]: Setting MPFR precision to 64
13.171 * * * * [points]: Setting MPFR precision to 320
13.172 * * * * [points]: Computing exacts on every 16 of 532 points to ramp up precision
13.176 * * * * [points]: Setting MPFR precision to 64
13.178 * * * * [points]: Setting MPFR precision to 320
13.181 * * * * [points]: Computing exacts on every 8 of 532 points to ramp up precision
13.185 * * * * [points]: Setting MPFR precision to 64
13.187 * * * * [points]: Setting MPFR precision to 320
13.190 * * * * [points]: Computing exacts on every 4 of 532 points to ramp up precision
13.194 * * * * [points]: Setting MPFR precision to 64
13.202 * * * * [points]: Setting MPFR precision to 320
13.210 * * * * [points]: Computing exacts on every 2 of 532 points to ramp up precision
13.214 * * * * [points]: Setting MPFR precision to 64
13.245 * * * * [points]: Setting MPFR precision to 320
13.255 * * * * [points]: Computing exacts for 532 points
13.257 * * * * [points]: Setting MPFR precision to 64
13.283 * * * * [points]: Setting MPFR precision to 320
13.311 * * * * [points]: Filtering points with unrepresentable outputs
13.312 * * * * [points]: Sampling 273 additional inputs, on iter 5 have 7727 / 8000
13.312 * * * * [points]: Computing exacts on every 17 of 273 points to ramp up precision
13.316 * * * * [points]: Setting MPFR precision to 64
13.318 * * * * [points]: Setting MPFR precision to 320
13.319 * * * * [points]: Computing exacts on every 8 of 273 points to ramp up precision
13.323 * * * * [points]: Setting MPFR precision to 64
13.326 * * * * [points]: Setting MPFR precision to 320
13.328 * * * * [points]: Computing exacts on every 4 of 273 points to ramp up precision
13.332 * * * * [points]: Setting MPFR precision to 64
13.336 * * * * [points]: Setting MPFR precision to 320
13.341 * * * * [points]: Computing exacts on every 2 of 273 points to ramp up precision
13.345 * * * * [points]: Setting MPFR precision to 64
13.349 * * * * [points]: Setting MPFR precision to 320
13.354 * * * * [points]: Computing exacts for 273 points
13.356 * * * * [points]: Setting MPFR precision to 64
13.682 * * * * [points]: Setting MPFR precision to 320
13.696 * * * * [points]: Filtering points with unrepresentable outputs
13.696 * * * * [points]: Sampling 129 additional inputs, on iter 6 have 7871 / 8000
13.696 * * * * [points]: Computing exacts on every 8 of 129 points to ramp up precision
13.699 * * * * [points]: Setting MPFR precision to 64
13.700 * * * * [points]: Setting MPFR precision to 320
13.701 * * * * [points]: Computing exacts on every 4 of 129 points to ramp up precision
13.703 * * * * [points]: Setting MPFR precision to 64
13.704 * * * * [points]: Setting MPFR precision to 320
13.706 * * * * [points]: Computing exacts on every 2 of 129 points to ramp up precision
13.709 * * * * [points]: Setting MPFR precision to 64
13.711 * * * * [points]: Setting MPFR precision to 320
13.713 * * * * [points]: Computing exacts for 129 points
13.716 * * * * [points]: Setting MPFR precision to 64
13.722 * * * * [points]: Setting MPFR precision to 320
13.728 * * * * [points]: Filtering points with unrepresentable outputs
13.728 * * * * [points]: Sampling 70 additional inputs, on iter 7 have 7930 / 8000
13.729 * * * * [points]: Computing exacts on every 4 of 70 points to ramp up precision
13.731 * * * * [points]: Setting MPFR precision to 64
13.732 * * * * [points]: Setting MPFR precision to 320
13.733 * * * * [points]: Computing exacts on every 2 of 70 points to ramp up precision
13.735 * * * * [points]: Setting MPFR precision to 64
13.737 * * * * [points]: Setting MPFR precision to 320
13.738 * * * * [points]: Computing exacts for 70 points
13.740 * * * * [points]: Setting MPFR precision to 64
13.744 * * * * [points]: Setting MPFR precision to 320
13.747 * * * * [points]: Filtering points with unrepresentable outputs
13.747 * * * * [points]: Sampling 38 additional inputs, on iter 8 have 7962 / 8000
13.747 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision
13.750 * * * * [points]: Setting MPFR precision to 64
13.751 * * * * [points]: Setting MPFR precision to 320
13.751 * * * * [points]: Computing exacts for 38 points
13.754 * * * * [points]: Setting MPFR precision to 64
13.755 * * * * [points]: Setting MPFR precision to 320
13.757 * * * * [points]: Filtering points with unrepresentable outputs
13.757 * * * * [points]: Sampling 18 additional inputs, on iter 9 have 7982 / 8000
13.757 * * * * [points]: Computing exacts for 18 points
13.760 * * * * [points]: Setting MPFR precision to 64
13.761 * * * * [points]: Setting MPFR precision to 320
13.781 * * * * [points]: Filtering points with unrepresentable outputs
13.781 * * * * [points]: Sampling 6 additional inputs, on iter 10 have 7994 / 8000
13.781 * * * * [points]: Computing exacts for 6 points
13.786 * * * * [points]: Setting MPFR precision to 64
13.787 * * * * [points]: Setting MPFR precision to 320
13.788 * * * * [points]: Filtering points with unrepresentable outputs
13.788 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000
13.788 * * * * [points]: Computing exacts for 4 points
13.795 * * * * [points]: Setting MPFR precision to 64
13.796 * * * * [points]: Setting MPFR precision to 320
13.796 * * * * [points]: Filtering points with unrepresentable outputs
13.796 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000
13.797 * * * * [points]: Computing exacts for 4 points
13.801 * * * * [points]: Setting MPFR precision to 64
13.802 * * * * [points]: Setting MPFR precision to 320
13.802 * * * * [points]: Filtering points with unrepresentable outputs
13.803 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7999 / 8000
13.803 * * * * [points]: Computing exacts for 4 points
13.808 * * * * [points]: Setting MPFR precision to 64
13.808 * * * * [points]: Setting MPFR precision to 320
13.809 * * * * [points]: Filtering points with unrepresentable outputs
13.809 * * * * [points]: Sampled 8000 points with exact outputs
18.386 * [regime-testing]: Baseline error score: 64.0
18.391 * [regime-testing]: Oracle error score: 64.0
18.397 * [regime-testing]: End program error score: 0.3996885742205446