0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [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.007 * * * * [points]: Setting MPFR precision to 64
0.008 * * * * [points]: Setting MPFR precision to 320
0.010 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.015 * * * * [points]: Setting MPFR precision to 64
0.018 * * * * [points]: Setting MPFR precision to 320
0.020 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.026 * * * * [points]: Setting MPFR precision to 64
0.030 * * * * [points]: Setting MPFR precision to 320
0.035 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.041 * * * * [points]: Setting MPFR precision to 64
0.049 * * * * [points]: Setting MPFR precision to 320
0.057 * * * * [points]: Computing exacts for 256 points
0.063 * * * * [points]: Setting MPFR precision to 64
0.101 * * * * [points]: Setting MPFR precision to 320
0.125 * * * * [points]: Filtering points with unrepresentable outputs
0.126 * * * * [points]: Sampled 256 points with exact outputs
0.126 * * * [progress]: [2/2] Setting up program.
0.152 * [progress]: [Phase 2 of 3] Improving.
0.152 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
0.152 * [simplify]: Simplifying (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
0.152 * * [simplify]: iters left: 5 (12 enodes)
0.158 * * [simplify]: iters left: 4 (35 enodes)
0.171 * * [simplify]: iters left: 3 (83 enodes)
0.206 * * [simplify]: iters left: 2 (233 enodes)
0.290 * * [simplify]: Extracting #0: cost 1 inf + 0
0.290 * * [simplify]: Extracting #1: cost 29 inf + 0
0.290 * * [simplify]: Extracting #2: cost 123 inf + 0
0.291 * * [simplify]: Extracting #3: cost 245 inf + 1
0.294 * * [simplify]: Extracting #4: cost 303 inf + 42876
0.307 * * [simplify]: Extracting #5: cost 128 inf + 332692
0.335 * * [simplify]: Extracting #6: cost 5 inf + 548531
0.360 * * [simplify]: Extracting #7: cost 0 inf + 561504
0.409 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x)))
0.410 * [simplify]: Simplified (2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x))))
0.435 * * [progress]: iteration 1 / 4
0.435 * * * [progress]: picking best candidate
0.453 * * * * [pick]: Picked  #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
0.453 * * * [progress]: localizing error
0.675 * * * [progress]: generating rewritten candidates
0.675 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.694 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
0.699 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.702 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
0.705 * * * [progress]: generating series expansions
0.705 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.705 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
0.705 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
0.706 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
0.706 * * * [progress]: simplifying candidates
0.706 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))>
0.706 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
0.706 * * [simplify]: iters left: 3 (5 enodes)
0.708 * * [simplify]: iters left: 2 (11 enodes)
0.712 * * [simplify]: iters left: 1 (13 enodes)
0.716 * * [simplify]: Extracting #0: cost 1 inf + 0
0.716 * * [simplify]: Extracting #1: cost 3 inf + 0
0.716 * * [simplify]: Extracting #2: cost 5 inf + 0
0.717 * * [simplify]: Extracting #3: cost 3 inf + 2
0.717 * * [simplify]: Extracting #4: cost 0 inf + 527
0.717 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
0.717 * [simplify]: Simplified (2 1) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))
0.717 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))>
0.717 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
0.717 * * [simplify]: iters left: 3 (5 enodes)
0.720 * * [simplify]: iters left: 2 (11 enodes)
0.723 * * [simplify]: iters left: 1 (13 enodes)
0.727 * * [simplify]: Extracting #0: cost 1 inf + 0
0.727 * * [simplify]: Extracting #1: cost 3 inf + 0
0.727 * * [simplify]: Extracting #2: cost 5 inf + 0
0.728 * * [simplify]: Extracting #3: cost 3 inf + 2
0.728 * * [simplify]: Extracting #4: cost 0 inf + 527
0.728 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
0.728 * [simplify]: Simplified (2 1) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))
0.728 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))>
0.728 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 2) x))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
0.728 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
0.728 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))>
0.728 * [simplify]: Simplifying (+.p16 x (real->posit16 1))
0.729 * * [simplify]: iters left: 2 (4 enodes)
0.730 * * [simplify]: iters left: 1 (10 enodes)
0.734 * * [simplify]: Extracting #0: cost 1 inf + 0
0.734 * * [simplify]: Extracting #1: cost 3 inf + 0
0.734 * * [simplify]: Extracting #2: cost 3 inf + 1
0.734 * * [simplify]: Extracting #3: cost 0 inf + 45
0.734 * [simplify]: Simplified to (+.p16 (real->posit16 1) x)
0.734 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (real->posit16 1) x))))
0.734 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
0.734 * [simplify]: Simplifying (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
0.734 * * [simplify]: iters left: 5 (12 enodes)
0.739 * * [simplify]: iters left: 4 (35 enodes)
0.752 * * [simplify]: iters left: 3 (83 enodes)
0.770 * * [simplify]: iters left: 2 (233 enodes)
0.841 * * [simplify]: Extracting #0: cost 1 inf + 0
0.841 * * [simplify]: Extracting #1: cost 29 inf + 0
0.842 * * [simplify]: Extracting #2: cost 123 inf + 0
0.842 * * [simplify]: Extracting #3: cost 245 inf + 1
0.845 * * [simplify]: Extracting #4: cost 303 inf + 42876
0.859 * * [simplify]: Extracting #5: cost 128 inf + 332692
0.881 * * [simplify]: Extracting #6: cost 5 inf + 548531
0.906 * * [simplify]: Extracting #7: cost 0 inf + 561504
0.935 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x)))
0.935 * [simplify]: Simplified (2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x))))
0.935 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
0.935 * [simplify]: Simplifying (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
0.936 * * [simplify]: iters left: 5 (12 enodes)
0.940 * * [simplify]: iters left: 4 (35 enodes)
0.951 * * [simplify]: iters left: 3 (83 enodes)
0.978 * * [simplify]: iters left: 2 (233 enodes)
1.088 * * [simplify]: Extracting #0: cost 1 inf + 0
1.088 * * [simplify]: Extracting #1: cost 29 inf + 0
1.089 * * [simplify]: Extracting #2: cost 123 inf + 0
1.090 * * [simplify]: Extracting #3: cost 245 inf + 1
1.093 * * [simplify]: Extracting #4: cost 303 inf + 42876
1.114 * * [simplify]: Extracting #5: cost 128 inf + 332692
1.150 * * [simplify]: Extracting #6: cost 5 inf + 548531
1.189 * * [simplify]: Extracting #7: cost 0 inf + 561504
1.218 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x)))
1.218 * [simplify]: Simplified (2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x))))
1.218 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
1.218 * [simplify]: Simplifying (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
1.218 * * [simplify]: iters left: 5 (12 enodes)
1.222 * * [simplify]: iters left: 4 (35 enodes)
1.229 * * [simplify]: iters left: 3 (83 enodes)
1.252 * * [simplify]: iters left: 2 (233 enodes)
1.334 * * [simplify]: Extracting #0: cost 1 inf + 0
1.335 * * [simplify]: Extracting #1: cost 29 inf + 0
1.335 * * [simplify]: Extracting #2: cost 123 inf + 0
1.336 * * [simplify]: Extracting #3: cost 245 inf + 1
1.340 * * [simplify]: Extracting #4: cost 303 inf + 42876
1.360 * * [simplify]: Extracting #5: cost 128 inf + 332692
1.400 * * [simplify]: Extracting #6: cost 5 inf + 548531
1.434 * * [simplify]: Extracting #7: cost 0 inf + 561504
1.463 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x)))
1.463 * [simplify]: Simplified (2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x))))
1.463 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
1.463 * [simplify]: Simplifying (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
1.463 * * [simplify]: iters left: 5 (12 enodes)
1.466 * * [simplify]: iters left: 4 (35 enodes)
1.473 * * [simplify]: iters left: 3 (83 enodes)
1.492 * * [simplify]: iters left: 2 (233 enodes)
1.585 * * [simplify]: Extracting #0: cost 1 inf + 0
1.585 * * [simplify]: Extracting #1: cost 29 inf + 0
1.586 * * [simplify]: Extracting #2: cost 123 inf + 0
1.586 * * [simplify]: Extracting #3: cost 245 inf + 1
1.589 * * [simplify]: Extracting #4: cost 303 inf + 42876
1.610 * * [simplify]: Extracting #5: cost 128 inf + 332692
1.636 * * [simplify]: Extracting #6: cost 5 inf + 548531
1.666 * * [simplify]: Extracting #7: cost 0 inf + 561504
1.701 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x)))
1.701 * [simplify]: Simplified (2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x))))
1.701 * * * [progress]: adding candidates to table
1.956 * * [progress]: iteration 2 / 4
1.956 * * * [progress]: picking best candidate
1.998 * * * * [pick]: Picked  #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))>
1.998 * * * [progress]: localizing error
2.175 * * * [progress]: generating rewritten candidates
2.175 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
2.178 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
2.181 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
2.183 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
2.185 * * * [progress]: generating series expansions
2.185 * * * * [progress]: [ 1 / 4 ] generating series at (2)
2.185 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
2.185 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
2.185 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
2.185 * * * [progress]: simplifying candidates
2.185 * * * * [progress]: [ 1 / 11 ] simplifiying candidate #<alt (λ (x) (-.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (neg.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))>
2.185 * [simplify]: Simplifying (neg.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
2.185 * * [simplify]: iters left: 4 (6 enodes)
2.187 * * [simplify]: iters left: 3 (18 enodes)
2.191 * * [simplify]: iters left: 2 (32 enodes)
2.208 * * [simplify]: iters left: 1 (80 enodes)
2.229 * * [simplify]: Extracting #0: cost 1 inf + 0
2.229 * * [simplify]: Extracting #1: cost 2 inf + 0
2.229 * * [simplify]: Extracting #2: cost 23 inf + 0
2.229 * * [simplify]: Extracting #3: cost 71 inf + 0
2.229 * * [simplify]: Extracting #4: cost 96 inf + 405
2.231 * * [simplify]: Extracting #5: cost 67 inf + 28805
2.234 * * [simplify]: Extracting #6: cost 13 inf + 98338
2.239 * * [simplify]: Extracting #7: cost 1 inf + 114359
2.244 * * [simplify]: Extracting #8: cost 0 inf + 115761
2.248 * [simplify]: Simplified to (neg.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
2.248 * [simplify]: Simplified (2 2) to (λ (x) (-.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (neg.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))
2.249 * * * * [progress]: [ 2 / 11 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
2.249 * [simplify]: Simplifying (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))
2.249 * * [simplify]: iters left: 3 (5 enodes)
2.250 * * [simplify]: iters left: 2 (17 enodes)
2.254 * * [simplify]: iters left: 1 (31 enodes)
2.260 * * [simplify]: Extracting #0: cost 1 inf + 0
2.260 * * [simplify]: Extracting #1: cost 11 inf + 0
2.260 * * [simplify]: Extracting #2: cost 28 inf + 0
2.260 * * [simplify]: Extracting #3: cost 29 inf + 324
2.260 * * [simplify]: Extracting #4: cost 22 inf + 6266
2.261 * * [simplify]: Extracting #5: cost 3 inf + 23256
2.262 * * [simplify]: Extracting #6: cost 0 inf + 26382
2.263 * * [simplify]: Extracting #7: cost 0 inf + 25822
2.264 * [simplify]: Simplified to (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))
2.264 * [simplify]: Simplified (2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))
2.264 * * * * [progress]: [ 3 / 11 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))))>
2.265 * * * * [progress]: [ 4 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))))>
2.265 * * * * [progress]: [ 5 / 11 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (/.p16 (real->posit16 2) x) (neg.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))))>
2.265 * * * * [progress]: [ 6 / 11 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))))>
2.265 * * * * [progress]: [ 7 / 11 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))))))>
2.265 * [simplify]: Simplifying (+.p16 x (real->posit16 1))
2.265 * * [simplify]: iters left: 2 (4 enodes)
2.266 * * [simplify]: iters left: 1 (10 enodes)
2.268 * * [simplify]: Extracting #0: cost 1 inf + 0
2.268 * * [simplify]: Extracting #1: cost 3 inf + 0
2.268 * * [simplify]: Extracting #2: cost 3 inf + 1
2.268 * * [simplify]: Extracting #3: cost 0 inf + 45
2.268 * [simplify]: Simplified to (+.p16 (real->posit16 1) x)
2.268 * [simplify]: Simplified (2 2 2 2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (real->posit16 1) x)))))
2.268 * * * * [progress]: [ 8 / 11 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))>
2.268 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
2.268 * * [simplify]: iters left: 3 (5 enodes)
2.270 * * [simplify]: iters left: 2 (11 enodes)
2.272 * * [simplify]: iters left: 1 (13 enodes)
2.274 * * [simplify]: Extracting #0: cost 1 inf + 0
2.274 * * [simplify]: Extracting #1: cost 3 inf + 0
2.274 * * [simplify]: Extracting #2: cost 5 inf + 0
2.274 * * [simplify]: Extracting #3: cost 3 inf + 2
2.274 * * [simplify]: Extracting #4: cost 0 inf + 527
2.274 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
2.274 * [simplify]: Simplified (2 1) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))
2.274 * * * * [progress]: [ 9 / 11 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))>
2.274 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
2.274 * * [simplify]: iters left: 3 (5 enodes)
2.275 * * [simplify]: iters left: 2 (11 enodes)
2.277 * * [simplify]: iters left: 1 (13 enodes)
2.279 * * [simplify]: Extracting #0: cost 1 inf + 0
2.279 * * [simplify]: Extracting #1: cost 3 inf + 0
2.279 * * [simplify]: Extracting #2: cost 5 inf + 0
2.280 * * [simplify]: Extracting #3: cost 3 inf + 2
2.280 * * [simplify]: Extracting #4: cost 0 inf + 527
2.280 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
2.280 * [simplify]: Simplified (2 1) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))
2.280 * * * * [progress]: [ 10 / 11 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))>
2.280 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
2.280 * * [simplify]: iters left: 3 (5 enodes)
2.282 * * [simplify]: iters left: 2 (11 enodes)
2.285 * * [simplify]: iters left: 1 (13 enodes)
2.289 * * [simplify]: Extracting #0: cost 1 inf + 0
2.289 * * [simplify]: Extracting #1: cost 3 inf + 0
2.289 * * [simplify]: Extracting #2: cost 5 inf + 0
2.289 * * [simplify]: Extracting #3: cost 3 inf + 2
2.289 * * [simplify]: Extracting #4: cost 0 inf + 527
2.289 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
2.289 * [simplify]: Simplified (2 1) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))
2.289 * * * * [progress]: [ 11 / 11 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))>
2.290 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
2.290 * * [simplify]: iters left: 3 (5 enodes)
2.292 * * [simplify]: iters left: 2 (11 enodes)
2.298 * * [simplify]: iters left: 1 (13 enodes)
2.301 * * [simplify]: Extracting #0: cost 1 inf + 0
2.301 * * [simplify]: Extracting #1: cost 3 inf + 0
2.301 * * [simplify]: Extracting #2: cost 5 inf + 0
2.301 * * [simplify]: Extracting #3: cost 3 inf + 2
2.301 * * [simplify]: Extracting #4: cost 0 inf + 527
2.301 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
2.301 * [simplify]: Simplified (2 1) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))
2.302 * * * [progress]: adding candidates to table
2.679 * * [progress]: iteration 3 / 4
2.679 * * * [progress]: picking best candidate
2.735 * * * * [pick]: Picked  #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))>
2.735 * * * [progress]: localizing error
2.972 * * * [progress]: generating rewritten candidates
2.972 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
2.992 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
2.994 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
2.997 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
2.999 * * * [progress]: generating series expansions
2.999 * * * * [progress]: [ 1 / 4 ] generating series at (2)
2.999 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
2.999 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
2.999 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
2.999 * * * [progress]: simplifying candidates
2.999 * * * * [progress]: [ 1 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1))))>
2.999 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1))
2.999 * * [simplify]: iters left: 5 (8 enodes)
3.002 * * [simplify]: iters left: 4 (25 enodes)
3.008 * * [simplify]: iters left: 3 (62 enodes)
3.032 * * [simplify]: iters left: 2 (193 enodes)
3.121 * * [simplify]: Extracting #0: cost 1 inf + 0
3.121 * * [simplify]: Extracting #1: cost 65 inf + 0
3.122 * * [simplify]: Extracting #2: cost 241 inf + 0
3.126 * * [simplify]: Extracting #3: cost 266 inf + 38563
3.140 * * [simplify]: Extracting #4: cost 125 inf + 268103
3.168 * * [simplify]: Extracting #5: cost 20 inf + 460048
3.205 * * [simplify]: Extracting #6: cost 0 inf + 501677
3.241 * * [simplify]: Extracting #7: cost 0 inf + 501317
3.265 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))
3.266 * [simplify]: Simplified (2 2) to (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) x)) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))
3.266 * * * * [progress]: [ 2 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))>
3.266 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))
3.266 * * [simplify]: iters left: 5 (8 enodes)
3.268 * * [simplify]: iters left: 4 (25 enodes)
3.276 * * [simplify]: iters left: 3 (62 enodes)
3.297 * * [simplify]: iters left: 2 (193 enodes)
3.400 * * [simplify]: Extracting #0: cost 1 inf + 0
3.400 * * [simplify]: Extracting #1: cost 65 inf + 0
3.400 * * [simplify]: Extracting #2: cost 241 inf + 0
3.403 * * [simplify]: Extracting #3: cost 266 inf + 38563
3.413 * * [simplify]: Extracting #4: cost 125 inf + 268103
3.434 * * [simplify]: Extracting #5: cost 20 inf + 460048
3.456 * * [simplify]: Extracting #6: cost 0 inf + 501677
3.483 * * [simplify]: Extracting #7: cost 0 inf + 501317
3.519 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))
3.520 * [simplify]: Simplified (2 2) to (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))
3.520 * * * * [progress]: [ 3 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))))))>
3.521 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
3.521 * * [simplify]: iters left: 3 (5 enodes)
3.523 * * [simplify]: iters left: 2 (11 enodes)
3.526 * * [simplify]: iters left: 1 (13 enodes)
3.529 * * [simplify]: Extracting #0: cost 1 inf + 0
3.529 * * [simplify]: Extracting #1: cost 3 inf + 0
3.529 * * [simplify]: Extracting #2: cost 5 inf + 0
3.530 * * [simplify]: Extracting #3: cost 3 inf + 2
3.530 * * [simplify]: Extracting #4: cost 0 inf + 527
3.530 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
3.530 * [simplify]: Simplified (2 1) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))))))
3.530 * * * * [progress]: [ 4 / 18 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))))))>
3.530 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
3.530 * * [simplify]: iters left: 3 (5 enodes)
3.531 * * [simplify]: iters left: 2 (11 enodes)
3.533 * * [simplify]: iters left: 1 (13 enodes)
3.535 * * [simplify]: Extracting #0: cost 1 inf + 0
3.535 * * [simplify]: Extracting #1: cost 3 inf + 0
3.535 * * [simplify]: Extracting #2: cost 5 inf + 0
3.535 * * [simplify]: Extracting #3: cost 3 inf + 2
3.535 * * [simplify]: Extracting #4: cost 0 inf + 527
3.535 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
3.535 * [simplify]: Simplified (2 1) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 2) x) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))))))
3.535 * * * * [progress]: [ 5 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))>
3.536 * * * * [progress]: [ 6 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) x) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1)))))>
3.536 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1))
3.536 * * [simplify]: iters left: 5 (8 enodes)
3.538 * * [simplify]: iters left: 4 (25 enodes)
3.543 * * [simplify]: iters left: 3 (62 enodes)
3.556 * * [simplify]: iters left: 2 (193 enodes)
3.644 * * [simplify]: Extracting #0: cost 1 inf + 0
3.644 * * [simplify]: Extracting #1: cost 65 inf + 0
3.645 * * [simplify]: Extracting #2: cost 241 inf + 0
3.647 * * [simplify]: Extracting #3: cost 266 inf + 38563
3.660 * * [simplify]: Extracting #4: cost 125 inf + 268103
3.685 * * [simplify]: Extracting #5: cost 20 inf + 460048
3.712 * * [simplify]: Extracting #6: cost 0 inf + 501677
3.734 * * [simplify]: Extracting #7: cost 0 inf + 501317
3.763 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))
3.763 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))
3.763 * * * * [progress]: [ 7 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))))>
3.763 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))
3.763 * * [simplify]: iters left: 5 (8 enodes)
3.768 * * [simplify]: iters left: 4 (25 enodes)
3.776 * * [simplify]: iters left: 3 (62 enodes)
3.794 * * [simplify]: iters left: 2 (193 enodes)
3.892 * * [simplify]: Extracting #0: cost 1 inf + 0
3.892 * * [simplify]: Extracting #1: cost 65 inf + 0
3.893 * * [simplify]: Extracting #2: cost 241 inf + 0
3.896 * * [simplify]: Extracting #3: cost 266 inf + 38563
3.913 * * [simplify]: Extracting #4: cost 125 inf + 268103
3.945 * * [simplify]: Extracting #5: cost 20 inf + 460048
3.984 * * [simplify]: Extracting #6: cost 0 inf + 501677
4.020 * * [simplify]: Extracting #7: cost 0 inf + 501317
4.055 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))
4.056 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))
4.056 * * * * [progress]: [ 8 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (*.p16 (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) (+.p16 x (real->posit16 1))))))>
4.056 * [simplify]: Simplifying (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1)))))
4.056 * * [simplify]: iters left: 5 (9 enodes)
4.060 * * [simplify]: iters left: 4 (32 enodes)
4.071 * * [simplify]: iters left: 3 (76 enodes)
4.099 * * [simplify]: iters left: 2 (240 enodes)
4.214 * * [simplify]: Extracting #0: cost 1 inf + 0
4.214 * * [simplify]: Extracting #1: cost 46 inf + 0
4.215 * * [simplify]: Extracting #2: cost 215 inf + 0
4.217 * * [simplify]: Extracting #3: cost 263 inf + 32917
4.234 * * [simplify]: Extracting #4: cost 137 inf + 336224
4.274 * * [simplify]: Extracting #5: cost 16 inf + 607943
4.307 * * [simplify]: Extracting #6: cost 0 inf + 646284
4.340 * * [simplify]: Extracting #7: cost 0 inf + 645884
4.376 * [simplify]: Simplified to (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1)))))
4.376 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (*.p16 (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) (+.p16 x (real->posit16 1))))))
4.376 * * * * [progress]: [ 9 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))>
4.376 * [simplify]: Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
4.377 * * [simplify]: iters left: 3 (5 enodes)
4.378 * * [simplify]: iters left: 2 (17 enodes)
4.382 * * [simplify]: iters left: 1 (21 enodes)
4.386 * * [simplify]: Extracting #0: cost 1 inf + 0
4.386 * * [simplify]: Extracting #1: cost 5 inf + 0
4.386 * * [simplify]: Extracting #2: cost 7 inf + 0
4.386 * * [simplify]: Extracting #3: cost 5 inf + 2
4.386 * * [simplify]: Extracting #4: cost 0 inf + 1050
4.386 * [simplify]: Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
4.386 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))
4.386 * * * * [progress]: [ 10 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (+.p16 x (real->posit16 1)) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))>
4.386 * * * * [progress]: [ 11 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 2) x))) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))>
4.386 * * * * [progress]: [ 12 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))>
4.386 * * * * [progress]: [ 13 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1)))))>
4.387 * [simplify]: Simplifying (-.p16 x (real->posit16 1))
4.387 * * [simplify]: iters left: 2 (4 enodes)
4.388 * * [simplify]: iters left: 1 (16 enodes)
4.392 * * [simplify]: Extracting #0: cost 1 inf + 0
4.392 * * [simplify]: Extracting #1: cost 6 inf + 0
4.392 * * [simplify]: Extracting #2: cost 11 inf + 1
4.392 * * [simplify]: Extracting #3: cost 11 inf + 323
4.392 * * [simplify]: Extracting #4: cost 5 inf + 1491
4.392 * * [simplify]: Extracting #5: cost 1 inf + 3657
4.392 * * [simplify]: Extracting #6: cost 0 inf + 5019
4.393 * [simplify]: Simplified to (-.p16 x (real->posit16 1))
4.393 * [simplify]: Simplified (2 2 1 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1)))))
4.393 * * * * [progress]: [ 14 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))>
4.393 * [simplify]: Simplifying (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))
4.393 * * [simplify]: iters left: 3 (6 enodes)
4.394 * * [simplify]: iters left: 2 (12 enodes)
4.397 * * [simplify]: iters left: 1 (14 enodes)
4.399 * * [simplify]: Extracting #0: cost 1 inf + 0
4.399 * * [simplify]: Extracting #1: cost 3 inf + 0
4.399 * * [simplify]: Extracting #2: cost 5 inf + 0
4.399 * * [simplify]: Extracting #3: cost 5 inf + 1
4.399 * * [simplify]: Extracting #4: cost 0 inf + 1327
4.399 * [simplify]: Simplified to (+.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 x x))
4.399 * [simplify]: Simplified (2 2 1 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (+.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 x x))) (+.p16 x (real->posit16 1)))))
4.400 * * * * [progress]: [ 15 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))>
4.400 * [simplify]: Simplifying (+.p16 x (real->posit16 1))
4.400 * * [simplify]: iters left: 2 (4 enodes)
4.401 * * [simplify]: iters left: 1 (10 enodes)
4.403 * * [simplify]: Extracting #0: cost 1 inf + 0
4.403 * * [simplify]: Extracting #1: cost 3 inf + 0
4.403 * * [simplify]: Extracting #2: cost 3 inf + 1
4.403 * * [simplify]: Extracting #3: cost 0 inf + 45
4.403 * [simplify]: Simplified to (+.p16 (real->posit16 1) x)
4.403 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (real->posit16 1) x))))
4.403 * * * * [progress]: [ 16 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))>
4.403 * [simplify]: Simplifying (+.p16 x (real->posit16 1))
4.403 * * [simplify]: iters left: 2 (4 enodes)
4.404 * * [simplify]: iters left: 1 (10 enodes)
4.406 * * [simplify]: Extracting #0: cost 1 inf + 0
4.406 * * [simplify]: Extracting #1: cost 3 inf + 0
4.406 * * [simplify]: Extracting #2: cost 3 inf + 1
4.406 * * [simplify]: Extracting #3: cost 0 inf + 45
4.407 * [simplify]: Simplified to (+.p16 (real->posit16 1) x)
4.407 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (real->posit16 1) x))))
4.407 * * * * [progress]: [ 17 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))>
4.407 * [simplify]: Simplifying (+.p16 x (real->posit16 1))
4.407 * * [simplify]: iters left: 2 (4 enodes)
4.408 * * [simplify]: iters left: 1 (10 enodes)
4.411 * * [simplify]: Extracting #0: cost 1 inf + 0
4.411 * * [simplify]: Extracting #1: cost 3 inf + 0
4.411 * * [simplify]: Extracting #2: cost 3 inf + 1
4.411 * * [simplify]: Extracting #3: cost 0 inf + 45
4.411 * [simplify]: Simplified to (+.p16 (real->posit16 1) x)
4.411 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (real->posit16 1) x))))
4.411 * * * * [progress]: [ 18 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))>
4.411 * [simplify]: Simplifying (+.p16 x (real->posit16 1))
4.411 * * [simplify]: iters left: 2 (4 enodes)
4.412 * * [simplify]: iters left: 1 (10 enodes)
4.415 * * [simplify]: Extracting #0: cost 1 inf + 0
4.415 * * [simplify]: Extracting #1: cost 3 inf + 0
4.415 * * [simplify]: Extracting #2: cost 3 inf + 1
4.415 * * [simplify]: Extracting #3: cost 0 inf + 45
4.415 * [simplify]: Simplified to (+.p16 (real->posit16 1) x)
4.415 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (real->posit16 1) x))))
4.415 * * * [progress]: adding candidates to table
5.079 * * [progress]: iteration 4 / 4
5.079 * * * [progress]: picking best candidate
5.172 * * * * [pick]: Picked  #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1)))))>
5.172 * * * [progress]: localizing error
5.421 * * * [progress]: generating rewritten candidates
5.421 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
5.439 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
5.443 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
5.446 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
5.448 * * * [progress]: generating series expansions
5.448 * * * * [progress]: [ 1 / 4 ] generating series at (2)
5.448 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
5.448 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
5.448 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
5.448 * * * [progress]: simplifying candidates
5.448 * * * * [progress]: [ 1 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) x)) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (real->posit16 1))))>
5.449 * [simplify]: Simplifying (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (real->posit16 1))
5.449 * * [simplify]: iters left: 5 (8 enodes)
5.452 * * [simplify]: iters left: 4 (25 enodes)
5.457 * * [simplify]: iters left: 3 (58 enodes)
5.469 * * [simplify]: iters left: 2 (208 enodes)
5.587 * * [simplify]: Extracting #0: cost 1 inf + 0
5.587 * * [simplify]: Extracting #1: cost 55 inf + 0
5.588 * * [simplify]: Extracting #2: cost 224 inf + 0
5.593 * * [simplify]: Extracting #3: cost 210 inf + 64538
5.607 * * [simplify]: Extracting #4: cost 41 inf + 304741
5.633 * * [simplify]: Extracting #5: cost 7 inf + 347995
5.666 * * [simplify]: Extracting #6: cost 0 inf + 360005
5.695 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (-.p16 x (real->posit16 1)) (+.p16 (real->posit16 1) x)))
5.695 * [simplify]: Simplified (2 2) to (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) x)) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (-.p16 x (real->posit16 1)) (+.p16 (real->posit16 1) x)))))
5.695 * * * * [progress]: [ 2 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 x (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))))) (*.p16 (real->posit16 1) (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))))))>
5.696 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))))
5.696 * * [simplify]: iters left: 5 (8 enodes)
5.698 * * [simplify]: iters left: 4 (25 enodes)
5.703 * * [simplify]: iters left: 3 (58 enodes)
5.724 * * [simplify]: iters left: 2 (206 enodes)
5.830 * * [simplify]: Extracting #0: cost 1 inf + 0
5.830 * * [simplify]: Extracting #1: cost 55 inf + 0
5.831 * * [simplify]: Extracting #2: cost 223 inf + 0
5.834 * * [simplify]: Extracting #3: cost 221 inf + 52354
5.848 * * [simplify]: Extracting #4: cost 48 inf + 288081
5.877 * * [simplify]: Extracting #5: cost 5 inf + 349034
5.895 * * [simplify]: Extracting #6: cost 0 inf + 355762
5.913 * * [simplify]: Extracting #7: cost 0 inf + 355642
5.944 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (-.p16 x (real->posit16 1)) (+.p16 (real->posit16 1) x)))
5.944 * [simplify]: Simplified (2 2) to (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 x (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))))) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (-.p16 x (real->posit16 1)) (+.p16 (real->posit16 1) x)))))
5.944 * * * * [progress]: [ 3 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))))))>
5.944 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
5.944 * * [simplify]: iters left: 3 (5 enodes)
5.946 * * [simplify]: iters left: 2 (11 enodes)
5.948 * * [simplify]: iters left: 1 (13 enodes)
5.950 * * [simplify]: Extracting #0: cost 1 inf + 0
5.951 * * [simplify]: Extracting #1: cost 3 inf + 0
5.951 * * [simplify]: Extracting #2: cost 5 inf + 0
5.951 * * [simplify]: Extracting #3: cost 3 inf + 2
5.951 * * [simplify]: Extracting #4: cost 0 inf + 527
5.951 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
5.951 * [simplify]: Simplified (2 1) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))))))
5.951 * * * * [progress]: [ 4 / 18 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))))))>
5.951 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))
5.951 * * [simplify]: iters left: 3 (5 enodes)
5.953 * * [simplify]: iters left: 2 (11 enodes)
5.955 * * [simplify]: iters left: 1 (13 enodes)
5.957 * * [simplify]: Extracting #0: cost 1 inf + 0
5.957 * * [simplify]: Extracting #1: cost 3 inf + 0
5.957 * * [simplify]: Extracting #2: cost 5 inf + 0
5.957 * * [simplify]: Extracting #3: cost 3 inf + 2
5.957 * * [simplify]: Extracting #4: cost 0 inf + 527
5.957 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))
5.957 * [simplify]: Simplified (2 1) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 2) x) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))))))
5.957 * * * * [progress]: [ 5 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))>
5.957 * * * * [progress]: [ 6 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) x) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (real->posit16 1)))))>
5.958 * [simplify]: Simplifying (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (real->posit16 1))
5.958 * * [simplify]: iters left: 5 (8 enodes)
5.960 * * [simplify]: iters left: 4 (25 enodes)
5.965 * * [simplify]: iters left: 3 (58 enodes)
5.978 * * [simplify]: iters left: 2 (208 enodes)
6.109 * * [simplify]: Extracting #0: cost 1 inf + 0
6.109 * * [simplify]: Extracting #1: cost 55 inf + 0
6.110 * * [simplify]: Extracting #2: cost 224 inf + 0
6.113 * * [simplify]: Extracting #3: cost 210 inf + 64538
6.125 * * [simplify]: Extracting #4: cost 41 inf + 304741
6.142 * * [simplify]: Extracting #5: cost 7 inf + 347995
6.159 * * [simplify]: Extracting #6: cost 0 inf + 360005
6.176 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (-.p16 x (real->posit16 1)) (+.p16 (real->posit16 1) x)))
6.176 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (-.p16 x (real->posit16 1)) (+.p16 (real->posit16 1) x))))))
6.177 * * * * [progress]: [ 7 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 x (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1)))) (*.p16 (real->posit16 1) (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1)))))))>
6.177 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))))
6.177 * * [simplify]: iters left: 5 (8 enodes)
6.179 * * [simplify]: iters left: 4 (25 enodes)
6.187 * * [simplify]: iters left: 3 (58 enodes)
6.199 * * [simplify]: iters left: 2 (206 enodes)
6.295 * * [simplify]: Extracting #0: cost 1 inf + 0
6.296 * * [simplify]: Extracting #1: cost 55 inf + 0
6.296 * * [simplify]: Extracting #2: cost 223 inf + 0
6.299 * * [simplify]: Extracting #3: cost 221 inf + 52354
6.313 * * [simplify]: Extracting #4: cost 48 inf + 288081
6.329 * * [simplify]: Extracting #5: cost 5 inf + 349034
6.346 * * [simplify]: Extracting #6: cost 0 inf + 355762
6.363 * * [simplify]: Extracting #7: cost 0 inf + 355642
6.380 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (-.p16 x (real->posit16 1)) (+.p16 (real->posit16 1) x)))
6.380 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 x (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1)))) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (-.p16 x (real->posit16 1)) (+.p16 (real->posit16 1) x))))))
6.381 * * * * [progress]: [ 8 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (*.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))))))>
6.381 * [simplify]: Simplifying (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))
6.381 * * [simplify]: iters left: 4 (9 enodes)
6.383 * * [simplify]: iters left: 3 (26 enodes)
6.389 * * [simplify]: iters left: 2 (67 enodes)
6.409 * * [simplify]: iters left: 1 (216 enodes)
6.510 * * [simplify]: Extracting #0: cost 1 inf + 0
6.510 * * [simplify]: Extracting #1: cost 48 inf + 0
6.511 * * [simplify]: Extracting #2: cost 223 inf + 0
6.515 * * [simplify]: Extracting #3: cost 283 inf + 35278
6.534 * * [simplify]: Extracting #4: cost 95 inf + 329500
6.565 * * [simplify]: Extracting #5: cost 7 inf + 486011
6.602 * * [simplify]: Extracting #6: cost 0 inf + 501141
6.638 * [simplify]: Simplified to (/.p16 (real->posit16 1) (*.p16 (-.p16 x (real->posit16 1)) (*.p16 (+.p16 (real->posit16 1) x) (+.p16 (real->posit16 1) x))))
6.639 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (*.p16 (-.p16 x (real->posit16 1)) (*.p16 (+.p16 (real->posit16 1) x) (+.p16 (real->posit16 1) x)))) (*.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))))))
6.639 * * * * [progress]: [ 9 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1)))))>
6.639 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1)))
6.639 * * [simplify]: iters left: 4 (6 enodes)
6.642 * * [simplify]: iters left: 3 (21 enodes)
6.649 * * [simplify]: iters left: 2 (39 enodes)
6.659 * * [simplify]: iters left: 1 (46 enodes)
6.670 * * [simplify]: Extracting #0: cost 1 inf + 0
6.670 * * [simplify]: Extracting #1: cost 8 inf + 0
6.670 * * [simplify]: Extracting #2: cost 14 inf + 1
6.670 * * [simplify]: Extracting #3: cost 11 inf + 4
6.670 * * [simplify]: Extracting #4: cost 4 inf + 2016
6.671 * * [simplify]: Extracting #5: cost 0 inf + 4584
6.671 * [simplify]: Simplified to (real->posit16 1)
6.671 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))
6.672 * * * * [progress]: [ 10 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (+.p16 x (real->posit16 1)) (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))))))>
6.672 * * * * [progress]: [ 11 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 2) x))) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1)))))>
6.672 * * * * [progress]: [ 12 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1)))))>
6.672 * * * * [progress]: [ 13 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1)))))>
6.673 * [simplify]: Simplifying (+.p16 x (real->posit16 1))
6.673 * * [simplify]: iters left: 2 (4 enodes)
6.675 * * [simplify]: iters left: 1 (10 enodes)
6.677 * * [simplify]: Extracting #0: cost 1 inf + 0
6.677 * * [simplify]: Extracting #1: cost 3 inf + 0
6.677 * * [simplify]: Extracting #2: cost 3 inf + 1
6.677 * * [simplify]: Extracting #3: cost 0 inf + 45
6.677 * [simplify]: Simplified to (+.p16 (real->posit16 1) x)
6.677 * [simplify]: Simplified (2 2 1 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (real->posit16 1) x)) (+.p16 x (real->posit16 1)))))
6.677 * * * * [progress]: [ 14 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (*.p16 (-.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1)))))>
6.677 * [simplify]: Simplifying (real->posit16 1)
6.677 * * [simplify]: iters left: 1 (2 enodes)
6.678 * * [simplify]: Extracting #0: cost 1 inf + 0
6.678 * * [simplify]: Extracting #1: cost 2 inf + 0
6.678 * * [simplify]: Extracting #2: cost 1 inf + 1
6.678 * * [simplify]: Extracting #3: cost 0 inf + 2
6.678 * [simplify]: Simplified to (real->posit16 1)
6.678 * [simplify]: Simplified (2 2 1 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (*.p16 (-.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1)))))
6.678 * * * * [progress]: [ 15 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1)))))>
6.678 * [simplify]: Simplifying (-.p16 x (real->posit16 1))
6.679 * * [simplify]: iters left: 2 (4 enodes)
6.680 * * [simplify]: iters left: 1 (16 enodes)
6.684 * * [simplify]: Extracting #0: cost 1 inf + 0
6.684 * * [simplify]: Extracting #1: cost 6 inf + 0
6.684 * * [simplify]: Extracting #2: cost 11 inf + 1
6.684 * * [simplify]: Extracting #3: cost 11 inf + 323
6.684 * * [simplify]: Extracting #4: cost 5 inf + 1491
6.684 * * [simplify]: Extracting #5: cost 1 inf + 3657
6.685 * * [simplify]: Extracting #6: cost 0 inf + 5019
6.685 * [simplify]: Simplified to (-.p16 x (real->posit16 1))
6.685 * [simplify]: Simplified (2 2 1 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1)))))
6.685 * * * * [progress]: [ 16 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1)))))>
6.685 * [simplify]: Simplifying (-.p16 x (real->posit16 1))
6.685 * * [simplify]: iters left: 2 (4 enodes)
6.686 * * [simplify]: iters left: 1 (16 enodes)
6.689 * * [simplify]: Extracting #0: cost 1 inf + 0
6.689 * * [simplify]: Extracting #1: cost 6 inf + 0
6.689 * * [simplify]: Extracting #2: cost 11 inf + 1
6.689 * * [simplify]: Extracting #3: cost 11 inf + 323
6.689 * * [simplify]: Extracting #4: cost 5 inf + 1491
6.690 * * [simplify]: Extracting #5: cost 1 inf + 3657
6.690 * * [simplify]: Extracting #6: cost 0 inf + 5019
6.690 * [simplify]: Simplified to (-.p16 x (real->posit16 1))
6.690 * [simplify]: Simplified (2 2 1 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1)))))
6.690 * * * * [progress]: [ 17 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1)))))>
6.690 * [simplify]: Simplifying (-.p16 x (real->posit16 1))
6.690 * * [simplify]: iters left: 2 (4 enodes)
6.692 * * [simplify]: iters left: 1 (16 enodes)
6.694 * * [simplify]: Extracting #0: cost 1 inf + 0
6.694 * * [simplify]: Extracting #1: cost 6 inf + 0
6.694 * * [simplify]: Extracting #2: cost 11 inf + 1
6.695 * * [simplify]: Extracting #3: cost 11 inf + 323
6.695 * * [simplify]: Extracting #4: cost 5 inf + 1491
6.695 * * [simplify]: Extracting #5: cost 1 inf + 3657
6.695 * * [simplify]: Extracting #6: cost 0 inf + 5019
6.695 * [simplify]: Simplified to (-.p16 x (real->posit16 1))
6.695 * [simplify]: Simplified (2 2 1 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1)))))
6.695 * * * * [progress]: [ 18 / 18 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1)))))>
6.696 * [simplify]: Simplifying (-.p16 x (real->posit16 1))
6.696 * * [simplify]: iters left: 2 (4 enodes)
6.698 * * [simplify]: iters left: 1 (16 enodes)
6.701 * * [simplify]: Extracting #0: cost 1 inf + 0
6.701 * * [simplify]: Extracting #1: cost 6 inf + 0
6.701 * * [simplify]: Extracting #2: cost 11 inf + 1
6.701 * * [simplify]: Extracting #3: cost 11 inf + 323
6.701 * * [simplify]: Extracting #4: cost 5 inf + 1491
6.701 * * [simplify]: Extracting #5: cost 1 inf + 3657
6.701 * * [simplify]: Extracting #6: cost 0 inf + 5019
6.701 * [simplify]: Simplified to (-.p16 x (real->posit16 1))
6.701 * [simplify]: Simplified (2 2 1 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1)))))
6.702 * * * [progress]: adding candidates to table
7.281 * [progress]: [Phase 3 of 3] Extracting.
7.281 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))))> #<alt (λ (x) (+.p16 (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1)))))> #<alt (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))> #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> #<alt (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 x (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))))) (*.p16 (real->posit16 1) (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))))))> #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (*.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))))))> #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))> #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))))>)
7.282 * * * [regime-changes]: Trying 1 branch expressions: (x)
7.282 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))))> #<alt (λ (x) (+.p16 (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1)))))> #<alt (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))> #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> #<alt (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 x (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))))) (*.p16 (real->posit16 1) (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))))))> #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (*.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))))))> #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))> #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))))>)
7.540 * * * [regime]: Found split indices: #<option (#s(si 3 256))>
7.541 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))
7.541 * * [simplify]: iters left: 5 (12 enodes)
7.545 * * [simplify]: iters left: 4 (14 enodes)
7.547 * * [simplify]: Extracting #0: cost 1 inf + 0
7.547 * * [simplify]: Extracting #1: cost 3 inf + 0
7.547 * * [simplify]: Extracting #2: cost 7 inf + 0
7.547 * * [simplify]: Extracting #3: cost 11 inf + 0
7.547 * * [simplify]: Extracting #4: cost 10 inf + 2
7.547 * * [simplify]: Extracting #5: cost 0 inf + 4221
7.547 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))
7.547 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
7.568 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
7.574 * * * * [points]: Setting MPFR precision to 64
7.575 * * * * [points]: Setting MPFR precision to 320
7.577 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
7.582 * * * * [points]: Setting MPFR precision to 64
7.585 * * * * [points]: Setting MPFR precision to 320
7.588 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
7.594 * * * * [points]: Setting MPFR precision to 64
7.599 * * * * [points]: Setting MPFR precision to 320
7.606 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
7.611 * * * * [points]: Setting MPFR precision to 64
7.622 * * * * [points]: Setting MPFR precision to 320
7.633 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
7.639 * * * * [points]: Setting MPFR precision to 64
7.660 * * * * [points]: Setting MPFR precision to 320
7.702 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
7.707 * * * * [points]: Setting MPFR precision to 64
7.755 * * * * [points]: Setting MPFR precision to 320
7.800 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
7.806 * * * * [points]: Setting MPFR precision to 64
7.872 * * * * [points]: Setting MPFR precision to 320
7.986 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
7.991 * * * * [points]: Setting MPFR precision to 64
8.616 * * * * [points]: Setting MPFR precision to 320
8.802 * * * * [points]: Computing exacts for 8000 points
8.858 * * * * [points]: Setting MPFR precision to 64
9.468 * * * * [points]: Setting MPFR precision to 320
10.214 * * * * [points]: Filtering points with unrepresentable outputs
10.237 * * * * [points]: Sampled 8000 points with exact outputs
15.600 * [regime-testing]: Baseline error score: 64.0
15.606 * [regime-testing]: Oracle error score: 64.0
15.619 * [regime-testing]: End program error score: 1.0199606583855374