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.016 * * * * [points]: Setting MPFR precision to 64 0.019 * * * * [points]: Setting MPFR precision to 320 0.022 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.060 * * * * [points]: Setting MPFR precision to 64 0.065 * * * * [points]: Setting MPFR precision to 320 0.071 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.125 * * * * [points]: Setting MPFR precision to 64 0.131 * * * * [points]: Setting MPFR precision to 320 0.136 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.155 * * * * [points]: Setting MPFR precision to 64 0.163 * * * * [points]: Setting MPFR precision to 320 0.171 * * * * [points]: Computing exacts for 256 points 0.226 * * * * [points]: Setting MPFR precision to 64 0.267 * * * * [points]: Setting MPFR precision to 320 0.299 * * * * [points]: Filtering points with unrepresentable outputs 0.299 * * * * [points]: Sampled 256 points with exact outputs 0.299 * * * [progress]: [2/2] Setting up program. 0.406 * [progress]: [Phase 2 of 3] Improving. 0.406 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #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.407 * [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.407 * * [simplify]: iteration 1: (56 enodes) 0.423 * * [simplify]: iteration 2: (159 enodes) 0.464 * * [simplify]: iteration 3: (526 enodes) 0.789 * * [simplify]: iteration 4: (1907 enodes) 3.910 * * [simplify]: Extracting #0: cost 1 inf + 0 3.910 * * [simplify]: Extracting #1: cost 7 inf + 0 3.911 * * [simplify]: Extracting #2: cost 337 inf + 1 3.915 * * [simplify]: Extracting #3: cost 1447 inf + 1 3.930 * * [simplify]: Extracting #4: cost 1690 inf + 1609 3.950 * * [simplify]: Extracting #5: cost 1612 inf + 64467 4.007 * * [simplify]: Extracting #6: cost 1026 inf + 1022588 4.354 * * [simplify]: Extracting #7: cost 123 inf + 3103670 4.658 * * [simplify]: Extracting #8: cost 0 inf + 3328963 4.939 * * [simplify]: Extracting #9: cost 0 inf + 3307083 5.194 * * [simplify]: Extracting #10: cost 0 inf + 3304843 5.449 * * [simplify]: Extracting #11: cost 0 inf + 3302603 5.674 * [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) 5.808 * * [progress]: iteration 1 / 4 5.809 * * * [progress]: picking best candidate 5.939 * * * * [pick]: Picked #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))> 5.939 * * * [progress]: localizing error 6.869 * * * [progress]: generating rewritten candidates 6.869 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 6.881 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2 1 2 1) 6.888 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2 1 2 1) 6.891 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 6.898 * * * [progress]: generating series expansions 6.898 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 6.898 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2 1 2 1) 6.898 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2 1 2 1) 6.898 * * * * [progress]: [ 4 / 4 ] generating series at (2) 6.898 * * * [progress]: simplifying candidates 6.898 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #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))> 6.898 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #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))> 6.899 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #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.899 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #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))> 6.899 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #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))) x) (+.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))))))> 6.899 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #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)))))))> 6.899 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #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.899 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #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.899 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #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.899 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #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.900 * [simplify]: Simplifying: (*.p16 (real->posit16 0.0001789971) (real->posit16 2)) (*.p16 x (real->posit16 0.0001789971)) (*.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))) 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) (*.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.904 * * [simplify]: iteration 1: (56 enodes) 6.928 * * [simplify]: iteration 2: (168 enodes) 6.985 * * [simplify]: iteration 3: (570 enodes) 7.272 * * [simplify]: Extracting #0: cost 4 inf + 0 7.272 * * [simplify]: Extracting #1: cost 21 inf + 0 7.272 * * [simplify]: Extracting #2: cost 90 inf + 1 7.273 * * [simplify]: Extracting #3: cost 351 inf + 326 7.276 * * [simplify]: Extracting #4: cost 496 inf + 17629 7.279 * * [simplify]: Extracting #5: cost 458 inf + 67960 7.286 * * [simplify]: Extracting #6: cost 382 inf + 153055 7.309 * * [simplify]: Extracting #7: cost 179 inf + 505248 7.360 * * [simplify]: Extracting #8: cost 30 inf + 835119 7.413 * * [simplify]: Extracting #9: cost 0 inf + 884034 7.495 * * [simplify]: Extracting #10: cost 0 inf + 883074 7.575 * [simplify]: Simplified to: (*.p16 (real->posit16 0.0001789971) (real->posit16 2)) (*.p16 x (real->posit16 0.0001789971)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1)) x) (*.p16 (/.p16 x (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (*.p16 (/.p16 x (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (*.p16 (/.p16 x (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (*.p16 (/.p16 x (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) 7.577 * * * [progress]: adding candidates to table 8.917 * * [progress]: iteration 2 / 4 8.917 * * * [progress]: picking best candidate 9.485 * * * * [pick]: Picked #posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))))> 9.485 * * * [progress]: localizing error 10.853 * * * [progress]: generating rewritten candidates 10.853 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 10.861 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 1 1 2 1 2) 10.884 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1 1 1 2 1 1) 10.893 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 10.903 * * * [progress]: generating series expansions 10.904 * * * * [progress]: [ 1 / 4 ] generating series at (2) 10.904 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 1 1 2 1 2) 10.904 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1 1 1 2 1 1) 10.904 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 10.904 * * * [progress]: simplifying candidates 10.904 * * * * [progress]: [ 1 / 12 ] simplifiying candidate #posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947)))) (*.p16 (/.p16 x (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))) (real->posit16 1))))> 10.904 * * * * [progress]: [ 2 / 12 ] simplifiying candidate #posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (/.p16 x (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x)))))))) (*.p16 (real->posit16 1) (/.p16 x (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))))))> 10.904 * * * * [progress]: [ 3 / 12 ] simplifiying candidate #posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))))> 10.904 * * * * [progress]: [ 4 / 12 ] simplifiying candidate #posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1)) (/.p16 x (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x)))))))))> 10.905 * * * * [progress]: [ 5 / 12 ] simplifiying candidate #posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))))> 10.905 * * * * [progress]: [ 6 / 12 ] simplifiying candidate #posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 x x)) (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (*.p16 x x)))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))))> 10.905 * * * * [progress]: [ 7 / 12 ] simplifiying candidate #posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (*.p16 (real->posit16 0.0005064034) x) x) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))))> 10.905 * * * * [progress]: [ 8 / 12 ] simplifiying candidate #posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0005064034)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))))> 10.905 * * * * [progress]: [ 9 / 12 ] simplifiying candidate #posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))))> 10.905 * * * * [progress]: [ 10 / 12 ] simplifiying candidate #posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))))> 10.905 * * * * [progress]: [ 11 / 12 ] simplifiying candidate #posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))))> 10.905 * * * * [progress]: [ 12 / 12 ] simplifiying candidate #posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))))> 10.906 * [simplify]: Simplifying: (*.p16 (/.p16 x (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947)))) (*.p16 (/.p16 x (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (/.p16 x (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x)))))))) (*.p16 (real->posit16 1) (/.p16 x (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x)))))))) (*.p16 x (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (*.p16 (real->posit16 0.0005064034) x) (*.p16 (/.p16 x (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (*.p16 (/.p16 x (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (*.p16 (/.p16 x (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (*.p16 (/.p16 x (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) 10.907 * * [simplify]: iteration 1: (59 enodes) 10.937 * * [simplify]: iteration 2: (176 enodes) 11.020 * * [simplify]: iteration 3: (506 enodes) 11.361 * * [simplify]: iteration 4: (1750 enodes) 14.581 * * [simplify]: Extracting #0: cost 6 inf + 0 14.581 * * [simplify]: Extracting #1: cost 62 inf + 0 14.583 * * [simplify]: Extracting #2: cost 404 inf + 963 14.589 * * [simplify]: Extracting #3: cost 949 inf + 2892 14.603 * * [simplify]: Extracting #4: cost 1286 inf + 65224 14.634 * * [simplify]: Extracting #5: cost 1171 inf + 248072 14.691 * * [simplify]: Extracting #6: cost 966 inf + 555728 14.821 * * [simplify]: Extracting #7: cost 627 inf + 1193672 15.060 * * [simplify]: Extracting #8: cost 290 inf + 1973678 15.387 * * [simplify]: Extracting #9: cost 44 inf + 2937780 15.709 * * [simplify]: Extracting #10: cost 0 inf + 3097932 16.103 * * [simplify]: Extracting #11: cost 0 inf + 3067012 16.452 * * [simplify]: Extracting #12: cost 0 inf + 3035972 16.839 * * [simplify]: Extracting #13: cost 0 inf + 3026692 17.130 * [simplify]: Simplified to: (*.p16 (*.p16 x x) (/.p16 (*.p16 x (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0005064034) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (*.p16 x x)) (real->posit16 0.0072644182))) (real->posit16 0.0424060604))) (real->posit16 0.1049934947))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0694555761) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (real->posit16 2) (*.p16 (real->posit16 0.0001789971) (*.p16 x x)))))))) (*.p16 x x)) (real->posit16 0.2909738639))) (real->posit16 0.7715471019))) (real->posit16 1)))) (/.p16 (*.p16 (real->posit16 1) x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0694555761) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (real->posit16 2) (*.p16 (real->posit16 0.0001789971) (*.p16 x x)))))))) (*.p16 x x)) (real->posit16 0.2909738639))) (real->posit16 0.7715471019))) (real->posit16 1))) (*.p16 (*.p16 x x) (/.p16 (*.p16 x (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0005064034) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (*.p16 x x)) (real->posit16 0.0072644182))) (real->posit16 0.0424060604))) (real->posit16 0.1049934947))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0694555761) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (real->posit16 2) (*.p16 (real->posit16 0.0001789971) (*.p16 x x)))))))) (*.p16 x x)) (real->posit16 0.2909738639))) (real->posit16 0.7715471019))) (real->posit16 1)))) (/.p16 (*.p16 (real->posit16 1) x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0694555761) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (real->posit16 2) (*.p16 (real->posit16 0.0001789971) (*.p16 x x)))))))) (*.p16 x x)) (real->posit16 0.2909738639))) (real->posit16 0.7715471019))) (real->posit16 1))) (*.p16 x (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0005064034) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (*.p16 x x)) (real->posit16 0.0072644182))) (real->posit16 0.0424060604))) (real->posit16 0.1049934947))) (real->posit16 1))) (*.p16 (real->posit16 0.0001789971) (*.p16 x x)) (*.p16 (real->posit16 0.0005064034) x) (/.p16 (*.p16 x (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0005064034) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (*.p16 x x)) (real->posit16 0.0072644182))) (real->posit16 0.0424060604))) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0694555761) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (real->posit16 2) (*.p16 (real->posit16 0.0001789971) (*.p16 x x)))))))) (*.p16 x x)) (real->posit16 0.2909738639))) (real->posit16 0.7715471019))) (real->posit16 1))) (/.p16 (*.p16 x (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0005064034) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (*.p16 x x)) (real->posit16 0.0072644182))) (real->posit16 0.0424060604))) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0694555761) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (real->posit16 2) (*.p16 (real->posit16 0.0001789971) (*.p16 x x)))))))) (*.p16 x x)) (real->posit16 0.2909738639))) (real->posit16 0.7715471019))) (real->posit16 1))) (/.p16 (*.p16 x (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0005064034) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (*.p16 x x)) (real->posit16 0.0072644182))) (real->posit16 0.0424060604))) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0694555761) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (real->posit16 2) (*.p16 (real->posit16 0.0001789971) (*.p16 x x)))))))) (*.p16 x x)) (real->posit16 0.2909738639))) (real->posit16 0.7715471019))) (real->posit16 1))) (/.p16 (*.p16 x (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0005064034) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (*.p16 x x)) (real->posit16 0.0072644182))) (real->posit16 0.0424060604))) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0694555761) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (real->posit16 2) (*.p16 (real->posit16 0.0001789971) (*.p16 x x)))))))) (*.p16 x x)) (real->posit16 0.2909738639))) (real->posit16 0.7715471019))) (real->posit16 1))) 17.137 * * * [progress]: adding candidates to table 18.867 * * [progress]: iteration 3 / 4 18.867 * * * [progress]: picking best candidate 19.528 * * * * [pick]: Picked #posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))))> 19.529 * * * [progress]: localizing error 20.448 * * * [progress]: generating rewritten candidates 20.449 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 20.466 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 1 1 1 2 1 2) 20.474 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 1 1 1 2 1 1) 20.482 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 2 1 1 2 2) 20.494 * * * [progress]: generating series expansions 20.494 * * * * [progress]: [ 1 / 4 ] generating series at (2) 20.494 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 1 1 1 2 1 2) 20.494 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 1 1 1 2 1 1) 20.494 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 2 1 1 2 2) 20.494 * * * [progress]: simplifying candidates 20.494 * * * * [progress]: [ 1 / 12 ] simplifiying candidate #posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x)))))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1)))))> 20.495 * * * * [progress]: [ 2 / 12 ] simplifiying candidate #posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))))> 20.495 * * * * [progress]: [ 3 / 12 ] simplifiying candidate #posit16 0.0005064034) (*.p16 x x)) (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (*.p16 x x)))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))))> 20.495 * * * * [progress]: [ 4 / 12 ] simplifiying candidate #posit16 0.0005064034) x) x) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))))> 20.495 * * * * [progress]: [ 5 / 12 ] simplifiying candidate #posit16 0.0005064034)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))))> 20.495 * * * * [progress]: [ 6 / 12 ] simplifiying candidate #posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 2)))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))))> 20.495 * * * * [progress]: [ 7 / 12 ] simplifiying candidate #posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 x (*.p16 x (*.p16 (real->posit16 0.0001789971) (real->posit16 2)))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))))> 20.495 * * * * [progress]: [ 8 / 12 ] simplifiying candidate #posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 (real->posit16 0.0001789971) (real->posit16 2)) (*.p16 x x)))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))))> 20.495 * * * * [progress]: [ 9 / 12 ] simplifiying candidate #posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))))> 20.496 * * * * [progress]: [ 10 / 12 ] simplifiying candidate #posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))))> 20.496 * * * * [progress]: [ 11 / 12 ] simplifiying candidate #posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))))> 20.496 * * * * [progress]: [ 12 / 12 ] simplifiying candidate #posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))))> 20.496 * [simplify]: Simplifying: (/.p16 (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x)))))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (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 x (*.p16 (real->posit16 0.0001789971) (real->posit16 2))) (*.p16 x (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (*.p16 x (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (*.p16 x (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (*.p16 x (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) 20.497 * * [simplify]: iteration 1: (55 enodes) 20.524 * * [simplify]: iteration 2: (161 enodes) 20.601 * * [simplify]: iteration 3: (440 enodes) 20.926 * * [simplify]: iteration 4: (1454 enodes) 23.646 * * [simplify]: Extracting #0: cost 5 inf + 0 23.646 * * [simplify]: Extracting #1: cost 21 inf + 0 23.647 * * [simplify]: Extracting #2: cost 172 inf + 1 23.648 * * [simplify]: Extracting #3: cost 644 inf + 1609 23.653 * * [simplify]: Extracting #4: cost 985 inf + 17649 23.670 * * [simplify]: Extracting #5: cost 877 inf + 187061 23.722 * * [simplify]: Extracting #6: cost 698 inf + 468429 23.892 * * [simplify]: Extracting #7: cost 166 inf + 1618220 24.050 * * [simplify]: Extracting #8: cost 1 inf + 1917877 24.203 * * [simplify]: Extracting #9: cost 0 inf + 1885001 24.356 * * [simplify]: Extracting #10: cost 0 inf + 1878281 24.484 * * [simplify]: Extracting #11: cost 0 inf + 1877001 24.668 * [simplify]: Simplified to: (/.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (real->posit16 0.0694555761) (*.p16 (real->posit16 0.0140005442) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (real->posit16 0.0001789971)))))) (real->posit16 0.2909738639))) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1))) (+.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.1049934947) (*.p16 (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0005064034)) (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (*.p16 x x)))) (real->posit16 0.0072644182)) (*.p16 (*.p16 x x) (*.p16 x x))))) (*.p16 (real->posit16 0.0424060604) (*.p16 (*.p16 x x) (*.p16 x x)))) (real->posit16 1))) (*.p16 (*.p16 x (real->posit16 0.0001789971)) x) (*.p16 x (real->posit16 0.0005064034)) (*.p16 (*.p16 x (real->posit16 0.0001789971)) x) (*.p16 (real->posit16 2) (*.p16 x (real->posit16 0.0001789971))) (*.p16 x (+.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.1049934947) (*.p16 (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0005064034)) (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (*.p16 x x)))) (real->posit16 0.0072644182)) (*.p16 (*.p16 x x) (*.p16 x x))))) (*.p16 (real->posit16 0.0424060604) (*.p16 (*.p16 x x) (*.p16 x x)))) (real->posit16 1))) (*.p16 x (+.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.1049934947) (*.p16 (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0005064034)) (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (*.p16 x x)))) (real->posit16 0.0072644182)) (*.p16 (*.p16 x x) (*.p16 x x))))) (*.p16 (real->posit16 0.0424060604) (*.p16 (*.p16 x x) (*.p16 x x)))) (real->posit16 1))) (*.p16 x (+.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.1049934947) (*.p16 (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0005064034)) (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (*.p16 x x)))) (real->posit16 0.0072644182)) (*.p16 (*.p16 x x) (*.p16 x x))))) (*.p16 (real->posit16 0.0424060604) (*.p16 (*.p16 x x) (*.p16 x x)))) (real->posit16 1))) (*.p16 x (+.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.1049934947) (*.p16 (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0005064034)) (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (*.p16 x x)))) (real->posit16 0.0072644182)) (*.p16 (*.p16 x x) (*.p16 x x))))) (*.p16 (real->posit16 0.0424060604) (*.p16 (*.p16 x x) (*.p16 x x)))) (real->posit16 1))) 24.673 * * * [progress]: adding candidates to table 26.840 * * [progress]: iteration 4 / 4 26.840 * * * [progress]: picking best candidate 27.367 * * * * [pick]: Picked #posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))))> 27.367 * * * [progress]: localizing error 28.713 * * * [progress]: generating rewritten candidates 28.713 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 28.729 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 1 1 1 2 1 1) 28.737 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 2 1 1 2 2) 28.750 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 1 1 1 2 1 2 2) 28.754 * * * [progress]: generating series expansions 28.754 * * * * [progress]: [ 1 / 4 ] generating series at (2) 28.754 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 1 1 1 2 1 1) 28.754 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 2 1 1 2 2) 28.754 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 1 1 1 2 1 2 2) 28.754 * * * [progress]: simplifying candidates 28.754 * * * * [progress]: [ 1 / 12 ] simplifiying candidate #posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x)))))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1)))))> 28.755 * * * * [progress]: [ 2 / 12 ] simplifiying candidate #posit16 0.0005064034) x) x) (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))))> 28.755 * * * * [progress]: [ 3 / 12 ] simplifiying candidate #posit16 0.0005064034)) (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))))> 28.755 * * * * [progress]: [ 4 / 12 ] simplifiying candidate #posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 2)))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))))> 28.755 * * * * [progress]: [ 5 / 12 ] simplifiying candidate #posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 x (*.p16 x (*.p16 (real->posit16 0.0001789971) (real->posit16 2)))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))))> 28.755 * * * * [progress]: [ 6 / 12 ] simplifiying candidate #posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 (real->posit16 0.0001789971) (real->posit16 2)) (*.p16 x x)))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))))> 28.755 * * * * [progress]: [ 7 / 12 ] simplifiying candidate #posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x (*.p16 x (real->posit16 0.0001789971))))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))))> 28.755 * * * * [progress]: [ 8 / 12 ] simplifiying candidate #posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (*.p16 x x)))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))))> 28.755 * * * * [progress]: [ 9 / 12 ] simplifiying candidate #posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))))> 28.755 * * * * [progress]: [ 10 / 12 ] simplifiying candidate #posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))))> 28.755 * * * * [progress]: [ 11 / 12 ] simplifiying candidate #posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))))> 28.755 * * * * [progress]: [ 12 / 12 ] simplifiying candidate #posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))))> 28.755 * [simplify]: Simplifying: (/.p16 (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x)))))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (*.p16 (real->posit16 0.0005064034) x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (*.p16 x (*.p16 (real->posit16 0.0001789971) (real->posit16 2))) (*.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)) 28.756 * * [simplify]: iteration 1: (55 enodes) 28.770 * * [simplify]: iteration 2: (156 enodes) 28.837 * * [simplify]: iteration 3: (420 enodes) 29.070 * * [simplify]: iteration 4: (1429 enodes) 31.079 * * [simplify]: Extracting #0: cost 5 inf + 0 31.079 * * [simplify]: Extracting #1: cost 14 inf + 0 31.080 * * [simplify]: Extracting #2: cost 105 inf + 1 31.081 * * [simplify]: Extracting #3: cost 565 inf + 1292 31.086 * * [simplify]: Extracting #4: cost 1058 inf + 17372 31.097 * * [simplify]: Extracting #5: cost 988 inf + 187421 31.127 * * [simplify]: Extracting #6: cost 697 inf + 659489 31.237 * * [simplify]: Extracting #7: cost 88 inf + 2026194 31.385 * * [simplify]: Extracting #8: cost 0 inf + 2185044 31.525 * * [simplify]: Extracting #9: cost 0 inf + 2162324 31.684 * * [simplify]: Extracting #10: cost 0 inf + 2155604 31.935 * * [simplify]: Extracting #11: cost 0 inf + 2154644 32.211 * [simplify]: Simplified to: (/.p16 (+.p16 (*.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 x x) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (real->posit16 2) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))))))))))))) (real->posit16 1)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0005064034) (*.p16 (real->posit16 0.0001789971) (*.p16 x x)))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604))) (real->posit16 0.1049934947))) (real->posit16 1))) (*.p16 x (real->posit16 0.0005064034)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 2) (real->posit16 0.0001789971)) x) (*.p16 x (real->posit16 0.0001789971)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x)) 32.215 * * * [progress]: adding candidates to table 35.009 * [progress]: [Phase 3 of 3] Extracting. 35.010 * * [regime]: Finding splitpoints for: (#posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.2909738639) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0694555761) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (real->posit16 2) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))))))))))))) (real->posit16 1)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0005064034) (*.p16 (real->posit16 0.0001789971) (*.p16 x x)))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604))) (real->posit16 0.1049934947))) (real->posit16 1)))))> #posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 x (*.p16 x (*.p16 (real->posit16 0.0001789971) (real->posit16 2)))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))))> #posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))))> #posit16 0.0005064034) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (*.p16 x x)) (real->posit16 0.0072644182))) (real->posit16 0.0424060604))) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0694555761) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (real->posit16 2) (*.p16 (real->posit16 0.0001789971) (*.p16 x x)))))))) (*.p16 x x)) (real->posit16 0.2909738639))) (real->posit16 0.7715471019))) (real->posit16 1))))> #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))> #posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x)))))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1)))))> #posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x (*.p16 x (real->posit16 0.0001789971))))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))))> #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))> #posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (/.p16 x (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x)))))))) (*.p16 (real->posit16 1) (/.p16 x (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))))))>) 35.036 * * * [regime-changes]: Trying 1 branch expressions: (x) 35.036 * * * * [regimes]: Trying to branch on x from (#posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.2909738639) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0694555761) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (real->posit16 2) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))))))))))))) (real->posit16 1)) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0005064034) (*.p16 (real->posit16 0.0001789971) (*.p16 x x)))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604))) (real->posit16 0.1049934947))) (real->posit16 1)))))> #posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 x (*.p16 x (*.p16 (real->posit16 0.0001789971) (real->posit16 2)))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))))> #posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))))> #posit16 0.0005064034) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (*.p16 x x)) (real->posit16 0.0072644182))) (real->posit16 0.0424060604))) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0694555761) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (real->posit16 2) (*.p16 (real->posit16 0.0001789971) (*.p16 x x)))))))) (*.p16 x x)) (real->posit16 0.2909738639))) (real->posit16 0.7715471019))) (real->posit16 1))))> #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))> #posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x)))))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1)))))> #posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x (*.p16 x (real->posit16 0.0001789971))))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (real->posit16 1))) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))))> #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))> #posit16 0.0005064034) (*.p16 x x)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0001789971))) (real->posit16 0.0072644182))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947))) (/.p16 x (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x)))))))) (*.p16 (real->posit16 1) (/.p16 x (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.7715471019)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 (real->posit16 0.0001789971) (real->posit16 2))))) (real->posit16 0.0140005442)) (*.p16 (*.p16 x x) (*.p16 x x))))))))))>) 36.304 * * * [regime]: Found split indices: #