0.002 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.032 * * * * [points]: Setting MPFR precision to 64 0.036 * * * * [points]: Setting MPFR precision to 320 0.039 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.076 * * * * [points]: Setting MPFR precision to 64 0.082 * * * * [points]: Setting MPFR precision to 320 0.088 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.122 * * * * [points]: Setting MPFR precision to 64 0.128 * * * * [points]: Setting MPFR precision to 320 0.133 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.164 * * * * [points]: Setting MPFR precision to 64 0.173 * * * * [points]: Setting MPFR precision to 320 0.182 * * * * [points]: Computing exacts for 256 points 0.241 * * * * [points]: Setting MPFR precision to 64 0.288 * * * * [points]: Setting MPFR precision to 320 0.335 * * * * [points]: Filtering points with unrepresentable outputs 0.336 * * * * [points]: Sampled 256 points with exact outputs 0.336 * * * [progress]: [2/2] Setting up program. 0.473 * [progress]: [Phase 2 of 3] Improving. 0.473 * * * * [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.473 * [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.474 * * [simplify]: iteration 1: (56 enodes) 0.489 * * [simplify]: iteration 2: (159 enodes) 0.524 * * [simplify]: iteration 3: (526 enodes) 0.871 * * [simplify]: iteration 4: (1907 enodes) 4.413 * * [simplify]: Extracting #0: cost 1 inf + 0 4.413 * * [simplify]: Extracting #1: cost 7 inf + 0 4.415 * * [simplify]: Extracting #2: cost 337 inf + 1 4.424 * * [simplify]: Extracting #3: cost 1447 inf + 1 4.445 * * [simplify]: Extracting #4: cost 1690 inf + 1609 4.456 * * [simplify]: Extracting #5: cost 1612 inf + 64467 4.546 * * [simplify]: Extracting #6: cost 1026 inf + 1022588 4.856 * * [simplify]: Extracting #7: cost 123 inf + 3103670 5.295 * * [simplify]: Extracting #8: cost 0 inf + 3328963 5.699 * * [simplify]: Extracting #9: cost 0 inf + 3307083 6.008 * * [simplify]: Extracting #10: cost 0 inf + 3304843 6.410 * * [simplify]: Extracting #11: cost 0 inf + 3302603 6.735 * [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.930 * * [progress]: iteration 1 / 4 6.931 * * * [progress]: picking best candidate 7.139 * * * * [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))> 7.139 * * * [progress]: localizing error 8.637 * * * [progress]: generating rewritten candidates 8.637 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 8.662 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2 1 2 1) 8.676 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2 1 2 1) 8.683 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 8.701 * * * [progress]: generating series expansions 8.701 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 8.701 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2 1 2 1) 8.701 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2 1 2 1) 8.701 * * * * [progress]: [ 4 / 4 ] generating series at (2) 8.702 * * * [progress]: simplifying candidates 8.702 * * * * [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))> 8.702 * * * * [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))> 8.702 * * * * [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))> 8.702 * * * * [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))> 8.702 * * * * [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))))))> 8.702 * * * * [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)))))))> 8.702 * * * * [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))> 8.702 * * * * [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))> 8.702 * * * * [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))> 8.703 * * * * [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))> 8.703 * [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) 8.704 * * [simplify]: iteration 1: (56 enodes) 8.726 * * [simplify]: iteration 2: (168 enodes) 8.785 * * [simplify]: iteration 3: (570 enodes) 9.335 * * [simplify]: Extracting #0: cost 4 inf + 0 9.335 * * [simplify]: Extracting #1: cost 21 inf + 0 9.335 * * [simplify]: Extracting #2: cost 90 inf + 1 9.337 * * [simplify]: Extracting #3: cost 351 inf + 326 9.342 * * [simplify]: Extracting #4: cost 496 inf + 17629 9.350 * * [simplify]: Extracting #5: cost 458 inf + 67960 9.364 * * [simplify]: Extracting #6: cost 382 inf + 153055 9.410 * * [simplify]: Extracting #7: cost 179 inf + 505248 9.486 * * [simplify]: Extracting #8: cost 30 inf + 835119 9.576 * * [simplify]: Extracting #9: cost 0 inf + 884034 9.659 * * [simplify]: Extracting #10: cost 0 inf + 883074 9.734 * [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))) 9.736 * * * [progress]: adding candidates to table 12.141 * * [progress]: iteration 2 / 4 12.141 * * * [progress]: picking best candidate 12.519 * * * * [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))))> 12.519 * * * [progress]: localizing error 13.353 * * * [progress]: generating rewritten candidates 13.353 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 13.357 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 1 1 2 1 2) 13.370 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1 1 1 2 1 1) 13.374 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 13.380 * * * [progress]: generating series expansions 13.380 * * * * [progress]: [ 1 / 4 ] generating series at (2) 13.380 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 1 1 2 1 2) 13.380 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1 1 1 2 1 1) 13.380 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 13.380 * * * [progress]: simplifying candidates 13.380 * * * * [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))))> 13.380 * * * * [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))))))))))> 13.380 * * * * [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))))))))> 13.380 * * * * [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)))))))))> 13.380 * * * * [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))))> 13.380 * * * * [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))))> 13.380 * * * * [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))))> 13.380 * * * * [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))))> 13.380 * * * * [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))))> 13.380 * * * * [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))))> 13.380 * * * * [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))))> 13.381 * * * * [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))))> 13.381 * [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))) 13.382 * * [simplify]: iteration 1: (59 enodes) 13.404 * * [simplify]: iteration 2: (176 enodes) 13.461 * * [simplify]: iteration 3: (506 enodes) 13.755 * * [simplify]: iteration 4: (1750 enodes) 16.884 * * [simplify]: Extracting #0: cost 6 inf + 0 16.884 * * [simplify]: Extracting #1: cost 62 inf + 0 16.886 * * [simplify]: Extracting #2: cost 404 inf + 963 16.892 * * [simplify]: Extracting #3: cost 949 inf + 2892 16.907 * * [simplify]: Extracting #4: cost 1286 inf + 65224 16.936 * * [simplify]: Extracting #5: cost 1171 inf + 248072 16.994 * * [simplify]: Extracting #6: cost 966 inf + 555728 17.126 * * [simplify]: Extracting #7: cost 627 inf + 1193672 17.357 * * [simplify]: Extracting #8: cost 290 inf + 1973678 17.734 * * [simplify]: Extracting #9: cost 44 inf + 2937780 18.185 * * [simplify]: Extracting #10: cost 0 inf + 3097932 18.484 * * [simplify]: Extracting #11: cost 0 inf + 3067012 18.885 * * [simplify]: Extracting #12: cost 0 inf + 3035972 19.252 * * [simplify]: Extracting #13: cost 0 inf + 3026692 19.615 * [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))) 19.621 * * * [progress]: adding candidates to table 21.229 * * [progress]: iteration 3 / 4 21.230 * * * [progress]: picking best candidate 21.743 * * * * [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))))))))> 21.744 * * * [progress]: localizing error 22.746 * * * [progress]: generating rewritten candidates 22.746 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 22.777 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 1 1 1 2 1 2) 22.792 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 1 1 1 2 1 1) 22.800 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 2 1 1 2 2) 22.810 * * * [progress]: generating series expansions 22.810 * * * * [progress]: [ 1 / 4 ] generating series at (2) 22.811 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 1 1 1 2 1 2) 22.811 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 1 1 1 2 1 1) 22.811 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 2 1 1 2 2) 22.811 * * * [progress]: simplifying candidates 22.811 * * * * [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)))))> 22.811 * * * * [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))))))))> 22.811 * * * * [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))))))))> 22.811 * * * * [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))))))))> 22.811 * * * * [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))))))))> 22.811 * * * * [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))))))))> 22.811 * * * * [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))))))))> 22.812 * * * * [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))))))))> 22.812 * * * * [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))))))))> 22.812 * * * * [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))))))))> 22.812 * * * * [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))))))))> 22.812 * * * * [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))))))))> 22.813 * [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))) 22.813 * * [simplify]: iteration 1: (55 enodes) 22.843 * * [simplify]: iteration 2: (161 enodes) 22.920 * * [simplify]: iteration 3: (440 enodes) 23.215 * * [simplify]: iteration 4: (1454 enodes) 25.480 * * [simplify]: Extracting #0: cost 5 inf + 0 25.480 * * [simplify]: Extracting #1: cost 21 inf + 0 25.480 * * [simplify]: Extracting #2: cost 172 inf + 1 25.484 * * [simplify]: Extracting #3: cost 644 inf + 1609 25.494 * * [simplify]: Extracting #4: cost 985 inf + 17649 25.518 * * [simplify]: Extracting #5: cost 877 inf + 187061 25.570 * * [simplify]: Extracting #6: cost 698 inf + 468429 25.742 * * [simplify]: Extracting #7: cost 166 inf + 1618220 25.981 * * [simplify]: Extracting #8: cost 1 inf + 1917877 26.149 * * [simplify]: Extracting #9: cost 0 inf + 1885001 26.363 * * [simplify]: Extracting #10: cost 0 inf + 1878281 26.550 * * [simplify]: Extracting #11: cost 0 inf + 1877001 26.683 * [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))) 26.686 * * * [progress]: adding candidates to table 29.565 * * [progress]: iteration 4 / 4 29.565 * * * [progress]: picking best candidate 30.260 * * * * [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))))))))> 30.260 * * * [progress]: localizing error 31.992 * * * [progress]: generating rewritten candidates 31.992 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 32.003 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 1 1 1 2 1 1) 32.007 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 2 1 1 2 2) 32.012 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 1 1 1 2 1 2 2) 32.015 * * * [progress]: generating series expansions 32.015 * * * * [progress]: [ 1 / 4 ] generating series at (2) 32.015 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 1 1 1 2 1 1) 32.015 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 2 1 1 2 2) 32.015 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 1 1 1 2 1 2 2) 32.015 * * * [progress]: simplifying candidates 32.015 * * * * [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)))))> 32.015 * * * * [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))))))))> 32.015 * * * * [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))))))))> 32.015 * * * * [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))))))))> 32.016 * * * * [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))))))))> 32.016 * * * * [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))))))))> 32.016 * * * * [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))))))))> 32.016 * * * * [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))))))))> 32.016 * * * * [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))))))))> 32.016 * * * * [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))))))))> 32.016 * * * * [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))))))))> 32.016 * * * * [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))))))))> 32.016 * [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)) 32.016 * * [simplify]: iteration 1: (55 enodes) 32.035 * * [simplify]: iteration 2: (156 enodes) 32.070 * * [simplify]: iteration 3: (420 enodes) 32.249 * * [simplify]: iteration 4: (1429 enodes) 34.205 * * [simplify]: Extracting #0: cost 5 inf + 0 34.205 * * [simplify]: Extracting #1: cost 14 inf + 0 34.205 * * [simplify]: Extracting #2: cost 105 inf + 1 34.220 * * [simplify]: Extracting #3: cost 565 inf + 1292 34.229 * * [simplify]: Extracting #4: cost 1058 inf + 17372 34.249 * * [simplify]: Extracting #5: cost 988 inf + 187421 34.306 * * [simplify]: Extracting #6: cost 697 inf + 659489 34.477 * * [simplify]: Extracting #7: cost 88 inf + 2026194 34.625 * * [simplify]: Extracting #8: cost 0 inf + 2185044 34.803 * * [simplify]: Extracting #9: cost 0 inf + 2162324 35.015 * * [simplify]: Extracting #10: cost 0 inf + 2155604 35.190 * * [simplify]: Extracting #11: cost 0 inf + 2154644 35.394 * [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)) 35.398 * * * [progress]: adding candidates to table 37.172 * [progress]: [Phase 3 of 3] Extracting. 37.172 * * [regime]: Finding splitpoints for: (#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.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.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.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))))> #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 (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.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))))))))>) 37.194 * * * [regime-changes]: Trying 1 branch expressions: (x) 37.194 * * * * [regimes]: Trying to branch on x from (#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.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.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.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))))> #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 (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.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))))))))>) 37.981 * * * [regime]: Found split indices: #