0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.001 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.002 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.024 * * * * [points]: Setting MPFR precision to 64
0.027 * * * * [points]: Setting MPFR precision to 320
0.030 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.055 * * * * [points]: Setting MPFR precision to 64
0.058 * * * * [points]: Setting MPFR precision to 320
0.061 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.082 * * * * [points]: Setting MPFR precision to 64
0.087 * * * * [points]: Setting MPFR precision to 320
0.092 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.123 * * * * [points]: Setting MPFR precision to 64
0.131 * * * * [points]: Setting MPFR precision to 320
0.139 * * * * [points]: Computing exacts for 256 points
0.158 * * * * [points]: Setting MPFR precision to 64
0.199 * * * * [points]: Setting MPFR precision to 320
0.225 * * * * [points]: Filtering points with unrepresentable outputs
0.225 * * * * [points]: Sampled 256 points with exact outputs
0.225 * * * [progress]: [2/2] Setting up program.
0.295 * [progress]: [Phase 2 of 3] Improving.
0.295 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (real->posit16 0.0424060604) (*.p16 (*.p16 x x) (*.p16 x x)))) (*.p16 (real->posit16 0.0072644182) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)))) (*.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)))) (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)))) (+.p16 (+.p16 (+.p16 (+.p16 (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.7715471019) (*.p16 x x))) (*.p16 (real->posit16 0.2909738639) (*.p16 (*.p16 x x) (*.p16 x x)))) (*.p16 (real->posit16 0.0694555761) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)))) (*.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)))) (*.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 0.0001789971)) (*.p16 (*.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)) (*.p16 x x))))) x))>
0.295 * [simplify]: Simplifying:
  (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (real->posit16 0.0424060604) (*.p16 (*.p16 x x) (*.p16 x x)))) (*.p16 (real->posit16 0.0072644182) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)))) (*.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)))) (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)))) (+.p16 (+.p16 (+.p16 (+.p16 (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.7715471019) (*.p16 x x))) (*.p16 (real->posit16 0.2909738639) (*.p16 (*.p16 x x) (*.p16 x x)))) (*.p16 (real->posit16 0.0694555761) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)))) (*.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)))) (*.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 0.0001789971)) (*.p16 (*.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)) (*.p16 x x))))) x)
0.295 * * [simplify]: iteration 1: (56 enodes)
0.325 * * [simplify]: iteration 2: (159 enodes)
0.378 * * [simplify]: iteration 3: (526 enodes)
0.725 * * [simplify]: iteration 4: (1907 enodes)
3.922 * * [simplify]: Extracting #0: cost 1 inf + 0
3.922 * * [simplify]: Extracting #1: cost 7 inf + 0
3.923 * * [simplify]: Extracting #2: cost 337 inf + 1
3.931 * * [simplify]: Extracting #3: cost 1447 inf + 1
3.946 * * [simplify]: Extracting #4: cost 1690 inf + 1609
3.965 * * [simplify]: Extracting #5: cost 1612 inf + 64467
4.070 * * [simplify]: Extracting #6: cost 1026 inf + 1022588
4.354 * * [simplify]: Extracting #7: cost 123 inf + 3103670
4.710 * * [simplify]: Extracting #8: cost 0 inf + 3328963
5.117 * * [simplify]: Extracting #9: cost 0 inf + 3307083
5.479 * * [simplify]: Extracting #10: cost 0 inf + 3304843
5.742 * * [simplify]: Extracting #11: cost 0 inf + 3302603
6.077 * [simplify]: Simplified to:
  (*.p16 (/.p16 (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 0.0005064034))) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x))))) (real->posit16 1)) (*.p16 (*.p16 x x) (real->posit16 0.1049934947))) (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (real->posit16 2) (*.p16 x x))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)))) (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))))) x)
6.316 * * [progress]: iteration 1 / 4
6.316 * * * [progress]: picking best candidate
6.557 * * * * [pick]: Picked  #<alt (λ (x) (*.p16 (/.p16 (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 0.0005064034))) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x))))) (real->posit16 1)) (*.p16 (*.p16 x x) (real->posit16 0.1049934947))) (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (real->posit16 2) (*.p16 x x))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)))) (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))))) x))>
6.557 * * * [progress]: localizing error
7.715 * * * [progress]: generating rewritten candidates
7.715 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
7.739 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2 1 2 1)
7.760 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2 1 2 1)
7.768 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2 1)
7.785 * * * [progress]: generating series expansions
7.785 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
7.785 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2 1 2 1)
7.785 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2 1 2 1)
7.785 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2 1)
7.786 * * * [progress]: simplifying candidates
7.786 * * * * [progress]: [ 1 / 12 ] simplifiying candidate #<alt (λ (x) (*.p16 (/.p16 (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 0.0005064034))) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x))))) (real->posit16 1)) (*.p16 (*.p16 x x) (real->posit16 0.1049934947))) (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (real->posit16 0.0001789971) (real->posit16 2)) (*.p16 x x)) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)))) (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))))) x))>
7.786 * * * * [progress]: [ 2 / 12 ] simplifiying candidate #<alt (λ (x) (*.p16 (/.p16 (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 0.0005064034))) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x))))) (real->posit16 1)) (*.p16 (*.p16 x x) (real->posit16 0.1049934947))) (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (real->posit16 2) (*.p16 x x)) (real->posit16 0.0001789971)) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)))) (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))))) x))>
7.786 * * * * [progress]: [ 3 / 12 ] simplifiying candidate #<alt (λ (x) (*.p16 (/.p16 (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 x (*.p16 x (real->posit16 0.0001789971))) (real->posit16 0.0005064034))) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x))))) (real->posit16 1)) (*.p16 (*.p16 x x) (real->posit16 0.1049934947))) (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (real->posit16 2) (*.p16 x x))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)))) (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))))) x))>
7.786 * * * * [progress]: [ 4 / 12 ] simplifiying candidate #<alt (λ (x) (*.p16 (/.p16 (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 x x)) (real->posit16 0.0005064034))) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x))))) (real->posit16 1)) (*.p16 (*.p16 x x) (real->posit16 0.1049934947))) (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (real->posit16 2) (*.p16 x x))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)))) (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))))) x))>
7.786 * * * * [progress]: [ 5 / 12 ] simplifiying candidate #<alt (λ (x) (*.p16 (/.p16 (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0005064034))) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x))))) (real->posit16 1)) (*.p16 (*.p16 x x) (real->posit16 0.1049934947))) (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (real->posit16 2) (*.p16 x x))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)))) (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))))) x))>
7.786 * * * * [progress]: [ 6 / 12 ] simplifiying candidate #<alt (λ (x) (*.p16 (/.p16 (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (*.p16 (*.p16 x x) (*.p16 x x))) (*.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 x x) (*.p16 x x)))) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x))))) (real->posit16 1)) (*.p16 (*.p16 x x) (real->posit16 0.1049934947))) (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (real->posit16 2) (*.p16 x x))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)))) (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))))) x))>
7.786 * * * * [progress]: [ 7 / 12 ] simplifiying candidate #<alt (λ (x) (*.p16 (/.p16 (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 0.0005064034)))) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x))))) (real->posit16 1)) (*.p16 (*.p16 x x) (real->posit16 0.1049934947))) (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (real->posit16 2) (*.p16 x x))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)))) (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))))) x))>
7.786 * * * * [progress]: [ 8 / 12 ] simplifiying candidate #<alt (λ (x) (*.p16 (/.p16 (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 0.0005064034)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x))))) (real->posit16 1)) (*.p16 (*.p16 x x) (real->posit16 0.1049934947))) (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (real->posit16 2) (*.p16 x x))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)))) (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))))) x))>
7.787 * * * * [progress]: [ 9 / 12 ] simplifiying candidate #<alt (λ (x) (*.p16 (/.p16 (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 0.0005064034))) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x))))) (real->posit16 1)) (*.p16 (*.p16 x x) (real->posit16 0.1049934947))) (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (real->posit16 2) (*.p16 x x))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)))) (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))))) x))>
7.787 * * * * [progress]: [ 10 / 12 ] simplifiying candidate #<alt (λ (x) (*.p16 (/.p16 (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 0.0005064034))) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x))))) (real->posit16 1)) (*.p16 (*.p16 x x) (real->posit16 0.1049934947))) (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (real->posit16 2) (*.p16 x x))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)))) (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))))) x))>
7.787 * * * * [progress]: [ 11 / 12 ] simplifiying candidate #<alt (λ (x) (*.p16 (/.p16 (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 0.0005064034))) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x))))) (real->posit16 1)) (*.p16 (*.p16 x x) (real->posit16 0.1049934947))) (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (real->posit16 2) (*.p16 x x))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)))) (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))))) x))>
7.787 * * * * [progress]: [ 12 / 12 ] simplifiying candidate #<alt (λ (x) (*.p16 (/.p16 (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 0.0005064034))) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x))))) (real->posit16 1)) (*.p16 (*.p16 x x) (real->posit16 0.1049934947))) (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (real->posit16 2) (*.p16 x x))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)))) (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))))) x))>
7.788 * [simplify]: Simplifying:
  (*.p16 (real->posit16 0.0001789971) (real->posit16 2))
  (*.p16 x (real->posit16 0.0001789971))
  (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)))
  (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0005064034))
  (*.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (*.p16 (*.p16 x x) (*.p16 x x)))
  (*.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 x x) (*.p16 x x)))
  (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 0.0005064034)))
  (*.p16 (/.p16 (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 0.0005064034))) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x))))) (real->posit16 1)) (*.p16 (*.p16 x x) (real->posit16 0.1049934947))) (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (real->posit16 2) (*.p16 x x))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)))) (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))))) x)
  (*.p16 (/.p16 (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 0.0005064034))) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x))))) (real->posit16 1)) (*.p16 (*.p16 x x) (real->posit16 0.1049934947))) (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (real->posit16 2) (*.p16 x x))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)))) (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))))) x)
  (*.p16 (/.p16 (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 0.0005064034))) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x))))) (real->posit16 1)) (*.p16 (*.p16 x x) (real->posit16 0.1049934947))) (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (real->posit16 2) (*.p16 x x))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)))) (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))))) x)
  (*.p16 (/.p16 (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 0.0005064034))) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x))))) (real->posit16 1)) (*.p16 (*.p16 x x) (real->posit16 0.1049934947))) (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (real->posit16 2) (*.p16 x x))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)))) (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))))) x)
7.789 * * [simplify]: iteration 1: (60 enodes)
7.811 * * [simplify]: iteration 2: (183 enodes)
7.862 * * [simplify]: iteration 3: (560 enodes)
8.140 * * [simplify]: Extracting #0: cost 6 inf + 0
8.140 * * [simplify]: Extracting #1: cost 31 inf + 0
8.140 * * [simplify]: Extracting #2: cost 96 inf + 1
8.141 * * [simplify]: Extracting #3: cost 299 inf + 2255
8.144 * * [simplify]: Extracting #4: cost 458 inf + 24856
8.154 * * [simplify]: Extracting #5: cost 402 inf + 122824
8.175 * * [simplify]: Extracting #6: cost 322 inf + 220683
8.226 * * [simplify]: Extracting #7: cost 168 inf + 482487
8.304 * * [simplify]: Extracting #8: cost 47 inf + 746146
8.401 * * [simplify]: Extracting #9: cost 0 inf + 866652
8.501 * * [simplify]: Extracting #10: cost 0 inf + 858332
8.597 * [simplify]: Simplified to:
  (*.p16 (real->posit16 0.0001789971) (real->posit16 2))
  (*.p16 x (real->posit16 0.0001789971))
  (*.p16 (*.p16 x x) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971)))
  (*.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 x x) (*.p16 x x)))
  (*.p16 (*.p16 x x) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971)))
  (*.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 x x) (*.p16 x x)))
  (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971)) (*.p16 (*.p16 x x) (real->posit16 0.0005064034)))
  (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971)) (*.p16 (*.p16 x x) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1))))
  (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971)) (*.p16 (*.p16 x x) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1))))
  (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971)) (*.p16 (*.p16 x x) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1))))
  (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971)) (*.p16 (*.p16 x x) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1))))
8.600 * * * [progress]: adding candidates to table
11.056 * * [progress]: iteration 2 / 4
11.056 * * * [progress]: picking best candidate
11.606 * * * * [pick]: Picked  #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971)) (*.p16 (*.p16 x x) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))>
11.607 * * * [progress]: localizing error
12.896 * * * [progress]: generating rewritten candidates
12.896 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
12.906 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1 2 2 1)
12.914 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 1 2 2 2)
12.917 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 2 2 1 2 1)
12.923 * * * [progress]: generating series expansions
12.923 * * * * [progress]: [ 1 / 4 ] generating series at (2)
12.923 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1 2 2 1)
12.923 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 1 2 2 2)
12.923 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 2 2 1 2 1)
12.923 * * * [progress]: simplifying candidates
12.923 * * * * [progress]: [ 1 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 x (/.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1))) (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971)) (*.p16 (*.p16 x x) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604)))))))>
12.923 * * * * [progress]: [ 2 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.p16 (*.p16 x x) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))>
12.923 * * * * [progress]: [ 3 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (*.p16 x x))) (*.p16 (*.p16 x x) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))>
12.923 * * * * [progress]: [ 4 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971)) (*.p16 x (*.p16 x (real->posit16 0.0005064034)))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))>
12.923 * * * * [progress]: [ 5 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971)) (*.p16 (real->posit16 0.0005064034) (*.p16 x x))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))>
12.923 * * * * [progress]: [ 6 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971)) (*.p16 (*.p16 x x) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 x x)) (real->posit16 2)) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))>
12.924 * * * * [progress]: [ 7 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971)) (*.p16 (*.p16 x x) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (real->posit16 0.0001789971)) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))>
12.924 * * * * [progress]: [ 8 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971)) (*.p16 (*.p16 x x) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))>
12.924 * * * * [progress]: [ 9 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971)) (*.p16 (*.p16 x x) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))>
12.924 * * * * [progress]: [ 10 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971)) (*.p16 (*.p16 x x) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))>
12.924 * * * * [progress]: [ 11 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971)) (*.p16 (*.p16 x x) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))>
12.924 * [simplify]: Simplifying:
  (/.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1))) (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971)) (*.p16 (*.p16 x x) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604)))))
  (*.p16 (*.p16 x x) (real->posit16 0.0001789971))
  (*.p16 x (real->posit16 0.0005064034))
  (*.p16 (real->posit16 0.0001789971) (*.p16 x x))
  (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971)) (*.p16 (*.p16 x x) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1))))
  (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971)) (*.p16 (*.p16 x x) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1))))
  (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971)) (*.p16 (*.p16 x x) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1))))
  (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971)) (*.p16 (*.p16 x x) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1))))
12.925 * * [simplify]: iteration 1: (56 enodes)
12.942 * * [simplify]: iteration 2: (171 enodes)
13.010 * * [simplify]: iteration 3: (590 enodes)
13.480 * * [simplify]: Extracting #0: cost 4 inf + 0
13.481 * * [simplify]: Extracting #1: cost 34 inf + 0
13.481 * * [simplify]: Extracting #2: cost 75 inf + 322
13.482 * * [simplify]: Extracting #3: cost 273 inf + 324
13.486 * * [simplify]: Extracting #4: cost 498 inf + 5778
13.494 * * [simplify]: Extracting #5: cost 531 inf + 44564
13.508 * * [simplify]: Extracting #6: cost 451 inf + 150246
13.539 * * [simplify]: Extracting #7: cost 325 inf + 372163
13.632 * * [simplify]: Extracting #8: cost 101 inf + 836555
13.754 * * [simplify]: Extracting #9: cost 4 inf + 1026597
13.876 * * [simplify]: Extracting #10: cost 0 inf + 1025458
13.999 * * [simplify]: Extracting #11: cost 0 inf + 1022578
14.123 * * [simplify]: Extracting #12: cost 0 inf + 1020338
14.247 * [simplify]: Simplified to:
  (/.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0140005442) (*.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 2)) (real->posit16 0.0008327945)) (*.p16 x x))) (*.p16 x x)) (real->posit16 0.0694555761))) (real->posit16 0.2909738639)))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.1049934947) (*.p16 (+.p16 (real->posit16 0.0424060604) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 0.0005064034))) (real->posit16 0.0072644182)) (*.p16 x x))) (*.p16 x x))) (*.p16 x x)) (real->posit16 1)))
  (*.p16 (*.p16 x x) (real->posit16 0.0001789971))
  (*.p16 (real->posit16 0.0005064034) x)
  (*.p16 (*.p16 x x) (real->posit16 0.0001789971))
  (*.p16 (/.p16 x (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0140005442) (*.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 2)) (real->posit16 0.0008327945)) (*.p16 x x))) (*.p16 x x)) (real->posit16 0.0694555761))) (real->posit16 0.2909738639))))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.1049934947) (*.p16 (+.p16 (real->posit16 0.0424060604) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 0.0005064034))) (real->posit16 0.0072644182)) (*.p16 x x))) (*.p16 x x))) (*.p16 x x)) (real->posit16 1)))
  (*.p16 (/.p16 x (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0140005442) (*.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 2)) (real->posit16 0.0008327945)) (*.p16 x x))) (*.p16 x x)) (real->posit16 0.0694555761))) (real->posit16 0.2909738639))))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.1049934947) (*.p16 (+.p16 (real->posit16 0.0424060604) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 0.0005064034))) (real->posit16 0.0072644182)) (*.p16 x x))) (*.p16 x x))) (*.p16 x x)) (real->posit16 1)))
  (*.p16 (/.p16 x (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0140005442) (*.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 2)) (real->posit16 0.0008327945)) (*.p16 x x))) (*.p16 x x)) (real->posit16 0.0694555761))) (real->posit16 0.2909738639))))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.1049934947) (*.p16 (+.p16 (real->posit16 0.0424060604) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 0.0005064034))) (real->posit16 0.0072644182)) (*.p16 x x))) (*.p16 x x))) (*.p16 x x)) (real->posit16 1)))
  (*.p16 (/.p16 x (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0140005442) (*.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 2)) (real->posit16 0.0008327945)) (*.p16 x x))) (*.p16 x x)) (real->posit16 0.0694555761))) (real->posit16 0.2909738639))))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.1049934947) (*.p16 (+.p16 (real->posit16 0.0424060604) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 0.0005064034))) (real->posit16 0.0072644182)) (*.p16 x x))) (*.p16 x x))) (*.p16 x x)) (real->posit16 1)))
14.251 * * * [progress]: adding candidates to table
16.767 * * [progress]: iteration 3 / 4
16.767 * * * [progress]: picking best candidate
18.123 * * * * [pick]: Picked  #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.p16 (*.p16 x x) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))>
18.124 * * * [progress]: localizing error
19.572 * * * [progress]: generating rewritten candidates
19.572 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
19.591 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1 2 2 2)
19.598 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2 2 1 2 1)
19.609 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 1 2 2 1 2)
19.616 * * * [progress]: generating series expansions
19.616 * * * * [progress]: [ 1 / 4 ] generating series at (2)
19.616 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1 2 2 2)
19.616 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2 2 1 2 1)
19.616 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 1 2 2 1 2)
19.616 * * * [progress]: simplifying candidates
19.616 * * * * [progress]: [ 1 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 x (/.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1))) (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.p16 (*.p16 x x) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604)))))))>
19.617 * * * * [progress]: [ 2 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.p16 x (*.p16 x (real->posit16 0.0005064034)))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))>
19.617 * * * * [progress]: [ 3 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.p16 (real->posit16 0.0005064034) (*.p16 x x))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))>
19.617 * * * * [progress]: [ 4 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.p16 (*.p16 x x) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 x x)) (real->posit16 2)) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))>
19.617 * * * * [progress]: [ 5 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.p16 (*.p16 x x) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (real->posit16 0.0001789971)) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))>
19.617 * * * * [progress]: [ 6 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 x x) (*.p16 x (*.p16 x (real->posit16 0.0001789971)))) (*.p16 (*.p16 x x) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))>
19.617 * * * * [progress]: [ 7 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (*.p16 (*.p16 x x) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))>
19.617 * * * * [progress]: [ 8 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.p16 (*.p16 x x) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))>
19.617 * * * * [progress]: [ 9 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.p16 (*.p16 x x) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))>
19.617 * * * * [progress]: [ 10 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.p16 (*.p16 x x) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))>
19.618 * * * * [progress]: [ 11 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.p16 (*.p16 x x) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))>
19.618 * [simplify]: Simplifying:
  (/.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1))) (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.p16 (*.p16 x x) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604)))))
  (*.p16 x (real->posit16 0.0005064034))
  (*.p16 (real->posit16 0.0001789971) (*.p16 x x))
  (*.p16 x (real->posit16 0.0001789971))
  (*.p16 (*.p16 x x) (real->posit16 0.0001789971))
  (*.p16 (*.p16 x x) (real->posit16 0.0001789971))
  (*.p16 (*.p16 x x) (real->posit16 0.0001789971))
  (*.p16 (*.p16 x x) (real->posit16 0.0001789971))
19.619 * * [simplify]: iteration 1: (55 enodes)
19.646 * * [simplify]: iteration 2: (165 enodes)
19.731 * * [simplify]: iteration 3: (553 enodes)
20.238 * * [simplify]: Extracting #0: cost 4 inf + 0
20.238 * * [simplify]: Extracting #1: cost 10 inf + 0
20.238 * * [simplify]: Extracting #2: cost 40 inf + 1
20.239 * * [simplify]: Extracting #3: cost 218 inf + 325
20.242 * * [simplify]: Extracting #4: cost 456 inf + 7378
20.249 * * [simplify]: Extracting #5: cost 476 inf + 57502
20.263 * * [simplify]: Extracting #6: cost 407 inf + 145590
20.301 * * [simplify]: Extracting #7: cost 259 inf + 356091
20.341 * * [simplify]: Extracting #8: cost 73 inf + 723073
20.390 * * [simplify]: Extracting #9: cost 5 inf + 873583
20.440 * * [simplify]: Extracting #10: cost 0 inf + 876256
20.511 * * [simplify]: Extracting #11: cost 0 inf + 873696
20.563 * * [simplify]: Extracting #12: cost 0 inf + 872096
20.654 * [simplify]: Simplified to:
  (/.p16 (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.2909738639) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0140005442) (*.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 2)) (real->posit16 0.0008327945)) (*.p16 x x))) (*.p16 x x)) (real->posit16 0.0694555761)))))) (*.p16 x x)) (real->posit16 1)) (+.p16 (real->posit16 1) (*.p16 (+.p16 (real->posit16 0.1049934947) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)))))) (real->posit16 0.0424060604)))) (*.p16 x x))))
  (*.p16 x (real->posit16 0.0005064034))
  (*.p16 (*.p16 x x) (real->posit16 0.0001789971))
  (*.p16 (real->posit16 0.0001789971) x)
  (*.p16 (*.p16 x x) (real->posit16 0.0001789971))
  (*.p16 (*.p16 x x) (real->posit16 0.0001789971))
  (*.p16 (*.p16 x x) (real->posit16 0.0001789971))
  (*.p16 (*.p16 x x) (real->posit16 0.0001789971))
20.658 * * * [progress]: adding candidates to table
22.881 * * [progress]: iteration 4 / 4
22.881 * * * [progress]: picking best candidate
23.566 * * * * [pick]: Picked  #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.p16 x (*.p16 x (real->posit16 0.0005064034)))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))>
23.566 * * * [progress]: localizing error
24.820 * * * [progress]: generating rewritten candidates
24.820 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
24.837 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2 2 1 2 1)
24.849 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 1 2 2 1 2)
24.855 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 1 2 2 2 2)
24.859 * * * [progress]: generating series expansions
24.859 * * * * [progress]: [ 1 / 4 ] generating series at (2)
24.859 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2 2 1 2 1)
24.859 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 1 2 2 1 2)
24.859 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 1 2 2 2 2)
24.859 * * * [progress]: simplifying candidates
24.859 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 x (/.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1))) (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.p16 x (*.p16 x (real->posit16 0.0005064034)))))) (real->posit16 0.0424060604)))))))>
24.860 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.p16 x (*.p16 x (real->posit16 0.0005064034)))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 x x)) (real->posit16 2)) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))>
24.860 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.p16 x (*.p16 x (real->posit16 0.0005064034)))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (real->posit16 0.0001789971)) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))>
24.860 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 x x) (*.p16 x (*.p16 x (real->posit16 0.0001789971)))) (*.p16 x (*.p16 x (real->posit16 0.0005064034)))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))>
24.860 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (*.p16 x (*.p16 x (real->posit16 0.0005064034)))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))>
24.860 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.p16 x (*.p16 (real->posit16 0.0005064034) x))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))>
24.860 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.p16 x (*.p16 x (real->posit16 0.0005064034)))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))>
24.860 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.p16 x (*.p16 x (real->posit16 0.0005064034)))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))>
24.860 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.p16 x (*.p16 x (real->posit16 0.0005064034)))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))>
24.861 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.p16 x (*.p16 x (real->posit16 0.0005064034)))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))>
24.861 * [simplify]: Simplifying:
  (/.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1))) (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.p16 x (*.p16 x (real->posit16 0.0005064034)))))) (real->posit16 0.0424060604)))))
  (*.p16 (real->posit16 0.0001789971) (*.p16 x x))
  (*.p16 x (real->posit16 0.0001789971))
  (*.p16 x (real->posit16 0.0005064034))
  (*.p16 x (real->posit16 0.0005064034))
  (*.p16 x (real->posit16 0.0005064034))
  (*.p16 x (real->posit16 0.0005064034))
24.862 * * [simplify]: iteration 1: (55 enodes)
24.894 * * [simplify]: iteration 2: (163 enodes)
24.958 * * [simplify]: iteration 3: (526 enodes)
25.229 * * [simplify]: Extracting #0: cost 4 inf + 0
25.229 * * [simplify]: Extracting #1: cost 10 inf + 0
25.230 * * [simplify]: Extracting #2: cost 39 inf + 1
25.231 * * [simplify]: Extracting #3: cost 209 inf + 324
25.234 * * [simplify]: Extracting #4: cost 427 inf + 5134
25.239 * * [simplify]: Extracting #5: cost 460 inf + 37275
25.249 * * [simplify]: Extracting #6: cost 375 inf + 145607
25.263 * * [simplify]: Extracting #7: cost 306 inf + 241139
25.297 * * [simplify]: Extracting #8: cost 118 inf + 597393
25.391 * * [simplify]: Extracting #9: cost 3 inf + 817034
25.465 * * [simplify]: Extracting #10: cost 0 inf + 810010
25.513 * * [simplify]: Extracting #11: cost 0 inf + 809050
25.561 * * [simplify]: Extracting #12: cost 0 inf + 808730
25.610 * [simplify]: Simplified to:
  (/.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.2909738639) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0694555761) (*.p16 (+.p16 (real->posit16 0.0140005442) (*.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 2)) (real->posit16 0.0008327945)) (*.p16 x x))) (*.p16 x x))))))))) (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0424060604) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)))) (real->posit16 0.0072644182)) (*.p16 x x))) (*.p16 x x)) (real->posit16 0.1049934947)))))
  (*.p16 (*.p16 x x) (real->posit16 0.0001789971))
  (*.p16 (real->posit16 0.0001789971) x)
  (*.p16 x (real->posit16 0.0005064034))
  (*.p16 x (real->posit16 0.0005064034))
  (*.p16 x (real->posit16 0.0005064034))
  (*.p16 x (real->posit16 0.0005064034))
25.612 * * * [progress]: adding candidates to table
27.085 * [progress]: [Phase 3 of 3] Extracting.
27.085 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 x x) (*.p16 x (*.p16 x (real->posit16 0.0001789971)))) (*.p16 (*.p16 x x) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))> #<alt (λ (x) (*.p16 (/.p16 (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 x (*.p16 x (real->posit16 0.0001789971))) (real->posit16 0.0005064034))) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x))))) (real->posit16 1)) (*.p16 (*.p16 x x) (real->posit16 0.1049934947))) (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (real->posit16 2) (*.p16 x x))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)))) (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))))) x))> #<alt (λ (x) (*.p16 (/.p16 (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 0.0005064034)))) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x))))) (real->posit16 1)) (*.p16 (*.p16 x x) (real->posit16 0.1049934947))) (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (real->posit16 2) (*.p16 x x))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)))) (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))))) x))> #<alt (λ (x) (*.p16 (/.p16 (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0005064034))) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x))))) (real->posit16 1)) (*.p16 (*.p16 x x) (real->posit16 0.1049934947))) (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (real->posit16 2) (*.p16 x x))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)))) (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))))) x))> #<alt (λ (x) (/.p16 x (/.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.2909738639) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0694555761) (*.p16 (+.p16 (real->posit16 0.0140005442) (*.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 2)) (real->posit16 0.0008327945)) (*.p16 x x))) (*.p16 x x))))))))) (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0424060604) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)))) (real->posit16 0.0072644182)) (*.p16 x x))) (*.p16 x x)) (real->posit16 0.1049934947)))))))> #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.p16 x (*.p16 x (real->posit16 0.0005064034)))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))> #<alt (λ (x) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (real->posit16 0.0424060604) (*.p16 (*.p16 x x) (*.p16 x x)))) (*.p16 (real->posit16 0.0072644182) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)))) (*.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)))) (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)))) (+.p16 (+.p16 (+.p16 (+.p16 (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.7715471019) (*.p16 x x))) (*.p16 (real->posit16 0.2909738639) (*.p16 (*.p16 x x) (*.p16 x x)))) (*.p16 (real->posit16 0.0694555761) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)))) (*.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)))) (*.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 0.0001789971)) (*.p16 (*.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)) (*.p16 x x))))) x))> #<alt (λ (x) (*.p16 (/.p16 x (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0140005442) (*.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 2)) (real->posit16 0.0008327945)) (*.p16 x x))) (*.p16 x x)) (real->posit16 0.0694555761))) (real->posit16 0.2909738639))))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.1049934947) (*.p16 (+.p16 (real->posit16 0.0424060604) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 0.0005064034))) (real->posit16 0.0072644182)) (*.p16 x x))) (*.p16 x x))) (*.p16 x x)) (real->posit16 1))))>)
27.118 * * * [regime-changes]: Trying 1 branch expressions: (x)
27.118 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 x x) (*.p16 x (*.p16 x (real->posit16 0.0001789971)))) (*.p16 (*.p16 x x) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))> #<alt (λ (x) (*.p16 (/.p16 (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 x (*.p16 x (real->posit16 0.0001789971))) (real->posit16 0.0005064034))) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x))))) (real->posit16 1)) (*.p16 (*.p16 x x) (real->posit16 0.1049934947))) (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (real->posit16 2) (*.p16 x x))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)))) (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))))) x))> #<alt (λ (x) (*.p16 (/.p16 (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 0.0005064034)))) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x))))) (real->posit16 1)) (*.p16 (*.p16 x x) (real->posit16 0.1049934947))) (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (real->posit16 2) (*.p16 x x))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)))) (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))))) x))> #<alt (λ (x) (*.p16 (/.p16 (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0005064034))) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x))))) (real->posit16 1)) (*.p16 (*.p16 x x) (real->posit16 0.1049934947))) (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (real->posit16 2) (*.p16 x x))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)))) (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))))) x))> #<alt (λ (x) (/.p16 x (/.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.2909738639) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0694555761) (*.p16 (+.p16 (real->posit16 0.0140005442) (*.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 2)) (real->posit16 0.0008327945)) (*.p16 x x))) (*.p16 x x))))))))) (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0424060604) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)))) (real->posit16 0.0072644182)) (*.p16 x x))) (*.p16 x x)) (real->posit16 0.1049934947)))))))> #<alt (λ (x) (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.p16 x (*.p16 x (real->posit16 0.0005064034)))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))))> #<alt (λ (x) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (real->posit16 0.0424060604) (*.p16 (*.p16 x x) (*.p16 x x)))) (*.p16 (real->posit16 0.0072644182) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)))) (*.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)))) (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)))) (+.p16 (+.p16 (+.p16 (+.p16 (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.7715471019) (*.p16 x x))) (*.p16 (real->posit16 0.2909738639) (*.p16 (*.p16 x x) (*.p16 x x)))) (*.p16 (real->posit16 0.0694555761) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)))) (*.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)))) (*.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 0.0001789971)) (*.p16 (*.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)) (*.p16 x x))))) x))> #<alt (λ (x) (*.p16 (/.p16 x (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0140005442) (*.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 2)) (real->posit16 0.0008327945)) (*.p16 x x))) (*.p16 x x)) (real->posit16 0.0694555761))) (real->posit16 0.2909738639))))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.1049934947) (*.p16 (+.p16 (real->posit16 0.0424060604) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 0.0005064034))) (real->posit16 0.0072644182)) (*.p16 x x))) (*.p16 x x))) (*.p16 x x)) (real->posit16 1))))>)
27.942 * * * [regime]: Found split indices: #<option (#s(si 5 256))>
27.942 * [simplify]: Simplifying:
  (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.p16 x (*.p16 x (real->posit16 0.0005064034)))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1))))
27.943 * * [simplify]: iteration 1: (54 enodes)
27.951 * * [simplify]: iteration 2: (56 enodes)
27.959 * * [simplify]: Extracting #0: cost 1 inf + 0
27.959 * * [simplify]: Extracting #1: cost 3 inf + 0
27.959 * * [simplify]: Extracting #2: cost 7 inf + 0
27.959 * * [simplify]: Extracting #3: cost 12 inf + 1
27.959 * * [simplify]: Extracting #4: cost 19 inf + 1
27.959 * * [simplify]: Extracting #5: cost 24 inf + 323
27.959 * * [simplify]: Extracting #6: cost 28 inf + 966
27.959 * * [simplify]: Extracting #7: cost 26 inf + 1614
27.960 * * [simplify]: Extracting #8: cost 24 inf + 3626
27.960 * * [simplify]: Extracting #9: cost 27 inf + 3628
27.961 * * [simplify]: Extracting #10: cost 26 inf + 4273
27.961 * * [simplify]: Extracting #11: cost 23 inf + 6562
27.962 * * [simplify]: Extracting #12: cost 19 inf + 6566
27.962 * * [simplify]: Extracting #13: cost 16 inf + 8493
27.963 * * [simplify]: Extracting #14: cost 11 inf + 14833
27.965 * * [simplify]: Extracting #15: cost 6 inf + 26423
27.967 * * [simplify]: Extracting #16: cost 4 inf + 30472
27.969 * * [simplify]: Extracting #17: cost 3 inf + 33157
27.971 * * [simplify]: Extracting #18: cost 2 inf + 36244
27.974 * * [simplify]: Extracting #19: cost 0 inf + 45984
27.977 * [simplify]: Simplified to:
  (/.p16 (*.p16 x (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (+.p16 (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.p16 x (*.p16 x (real->posit16 0.0005064034)))))) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (real->posit16 2))) (real->posit16 0.0008327945))) (real->posit16 0.0140005442))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1))))
27.977 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
27.997 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
28.037 * * * * [points]: Setting MPFR precision to 64
28.041 * * * * [points]: Setting MPFR precision to 320
28.043 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
28.088 * * * * [points]: Setting MPFR precision to 64
28.092 * * * * [points]: Setting MPFR precision to 320
28.095 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
28.114 * * * * [points]: Setting MPFR precision to 64
28.120 * * * * [points]: Setting MPFR precision to 320
28.126 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
28.158 * * * * [points]: Setting MPFR precision to 64
28.172 * * * * [points]: Setting MPFR precision to 320
28.184 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
28.221 * * * * [points]: Setting MPFR precision to 64
28.244 * * * * [points]: Setting MPFR precision to 320
28.308 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
28.328 * * * * [points]: Setting MPFR precision to 64
28.376 * * * * [points]: Setting MPFR precision to 320
28.495 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
28.536 * * * * [points]: Setting MPFR precision to 64
28.762 * * * * [points]: Setting MPFR precision to 320
29.016 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
29.056 * * * * [points]: Setting MPFR precision to 64
29.781 * * * * [points]: Setting MPFR precision to 320
30.113 * * * * [points]: Computing exacts for 8000 points
30.178 * * * * [points]: Setting MPFR precision to 64
31.613 * * * * [points]: Setting MPFR precision to 320
33.451 * * * * [points]: Filtering points with unrepresentable outputs
33.508 * * * * [points]: Sampled 8000 points with exact outputs
57.229 * [regime-testing]: Baseline error score: 64.0
57.232 * [regime-testing]: Oracle error score: 64.0
57.239 * [regime-testing]: End program error score: 3.277989491330394