0.002 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.032 * * * * [points]: Setting MPFR precision to 64 0.034 * * * * [points]: Setting MPFR precision to 320 0.035 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.054 * * * * [points]: Setting MPFR precision to 64 0.058 * * * * [points]: Setting MPFR precision to 320 0.063 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.097 * * * * [points]: Setting MPFR precision to 64 0.110 * * * * [points]: Setting MPFR precision to 320 0.118 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.137 * * * * [points]: Setting MPFR precision to 64 0.146 * * * * [points]: Setting MPFR precision to 320 0.162 * * * * [points]: Computing exacts for 256 points 0.203 * * * * [points]: Setting MPFR precision to 64 0.277 * * * * [points]: Setting MPFR precision to 320 0.321 * * * * [points]: Filtering points with unrepresentable outputs 0.322 * * * * [points]: Sampled 256 points with exact outputs 0.322 * * * [progress]: [2/2] Setting up program. 0.429 * [progress]: [Phase 2 of 3] Improving. 0.429 * * * * [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.430 * [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.430 * * [simplify]: iteration 1: (56 enodes) 0.492 * * [simplify]: iteration 2: (159 enodes) 0.565 * * [simplify]: iteration 3: (526 enodes) 0.959 * * [simplify]: iteration 4: (1907 enodes) 4.807 * * [simplify]: Extracting #0: cost 1 inf + 0 4.807 * * [simplify]: Extracting #1: cost 7 inf + 0 4.807 * * [simplify]: Extracting #2: cost 337 inf + 1 4.812 * * [simplify]: Extracting #3: cost 1447 inf + 1 4.821 * * [simplify]: Extracting #4: cost 1690 inf + 1609 4.838 * * [simplify]: Extracting #5: cost 1612 inf + 64467 4.886 * * [simplify]: Extracting #6: cost 1026 inf + 1022588 5.073 * * [simplify]: Extracting #7: cost 123 inf + 3103670 5.349 * * [simplify]: Extracting #8: cost 0 inf + 3328963 5.669 * * [simplify]: Extracting #9: cost 0 inf + 3307083 6.000 * * [simplify]: Extracting #10: cost 0 inf + 3304843 6.375 * * [simplify]: Extracting #11: cost 0 inf + 3302603 6.757 * [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) 7.002 * * [progress]: iteration 1 / 4 7.002 * * * [progress]: picking best candidate 7.215 * * * * [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.215 * * * [progress]: localizing error 8.450 * * * [progress]: generating rewritten candidates 8.450 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 8.461 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2 1 2 1) 8.473 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2 1 2 1) 8.476 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 8.483 * * * [progress]: generating series expansions 8.483 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 8.483 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2 1 2 1) 8.483 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2 1 2 1) 8.483 * * * * [progress]: [ 4 / 4 ] generating series at (2) 8.483 * * * [progress]: simplifying candidates 8.483 * * * * [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.484 * * * * [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.484 * * * * [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.484 * * * * [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.484 * * * * [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.484 * * * * [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.484 * * * * [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.484 * * * * [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.484 * * * * [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.484 * * * * [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.484 * [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.485 * * [simplify]: iteration 1: (56 enodes) 8.507 * * [simplify]: iteration 2: (168 enodes) 8.594 * * [simplify]: iteration 3: (570 enodes) 9.137 * * [simplify]: Extracting #0: cost 4 inf + 0 9.137 * * [simplify]: Extracting #1: cost 21 inf + 0 9.137 * * [simplify]: Extracting #2: cost 90 inf + 1 9.139 * * [simplify]: Extracting #3: cost 351 inf + 326 9.144 * * [simplify]: Extracting #4: cost 496 inf + 17629 9.152 * * [simplify]: Extracting #5: cost 458 inf + 67960 9.168 * * [simplify]: Extracting #6: cost 382 inf + 153055 9.223 * * [simplify]: Extracting #7: cost 179 inf + 505248 9.317 * * [simplify]: Extracting #8: cost 30 inf + 835119 9.424 * * [simplify]: Extracting #9: cost 0 inf + 884034 9.531 * * [simplify]: Extracting #10: cost 0 inf + 883074 9.635 * [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.639 * * * [progress]: adding candidates to table 11.600 * * [progress]: iteration 2 / 4 11.600 * * * [progress]: picking best candidate 11.789 * * * * [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))))> 11.789 * * * [progress]: localizing error 12.844 * * * [progress]: generating rewritten candidates 12.844 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 12.851 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 1 1 2 1 2) 12.866 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1 1 1 2 1 1) 12.873 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 2 1 1 2 2) 12.884 * * * [progress]: generating series expansions 12.885 * * * * [progress]: [ 1 / 4 ] generating series at (2) 12.885 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 1 1 2 1 2) 12.885 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1 1 1 2 1 1) 12.885 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 2 1 1 2 2) 12.885 * * * [progress]: simplifying candidates 12.885 * * * * [progress]: [ 1 / 15 ] 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))))> 12.885 * * * * [progress]: [ 2 / 15 ] 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))))))))))> 12.885 * * * * [progress]: [ 3 / 15 ] 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))))))))> 12.885 * * * * [progress]: [ 4 / 15 ] 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)))))))))> 12.885 * * * * [progress]: [ 5 / 15 ] 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))))> 12.886 * * * * [progress]: [ 6 / 15 ] 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))))> 12.886 * * * * [progress]: [ 7 / 15 ] 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))))> 12.886 * * * * [progress]: [ 8 / 15 ] 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))))> 12.886 * * * * [progress]: [ 9 / 15 ] 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 (*.p16 x x) (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.886 * * * * [progress]: [ 10 / 15 ] 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 x (*.p16 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.886 * * * * [progress]: [ 11 / 15 ] 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 (real->posit16 0.0001789971) (real->posit16 2)) (*.p16 x x)))) (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.887 * * * * [progress]: [ 12 / 15 ] 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))))> 12.887 * * * * [progress]: [ 13 / 15 ] 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))))> 12.887 * * * * [progress]: [ 14 / 15 ] 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))))> 12.887 * * * * [progress]: [ 15 / 15 ] 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))))> 12.888 * [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 x) (real->posit16 0.0001789971)) (*.p16 x (*.p16 (real->posit16 0.0001789971) (real->posit16 2))) (*.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))) 12.889 * * [simplify]: iteration 1: (60 enodes) 12.919 * * [simplify]: iteration 2: (178 enodes) 13.006 * * [simplify]: iteration 3: (509 enodes) 13.330 * * [simplify]: iteration 4: (1753 enodes) 16.627 * * [simplify]: Extracting #0: cost 7 inf + 0 16.628 * * [simplify]: Extracting #1: cost 69 inf + 0 16.629 * * [simplify]: Extracting #2: cost 420 inf + 322 16.632 * * [simplify]: Extracting #3: cost 1005 inf + 4181 16.642 * * [simplify]: Extracting #4: cost 1331 inf + 89630 16.681 * * [simplify]: Extracting #5: cost 1192 inf + 371504 16.749 * * [simplify]: Extracting #6: cost 881 inf + 911884 16.988 * * [simplify]: Extracting #7: cost 300 inf + 2298124 17.406 * * [simplify]: Extracting #8: cost 54 inf + 3258890 17.727 * * [simplify]: Extracting #9: cost 0 inf + 3493420 18.077 * * [simplify]: Extracting #10: cost 0 inf + 3473260 18.444 * * [simplify]: Extracting #11: cost 0 inf + 3467500 18.762 * * [simplify]: Extracting #12: cost 0 inf + 3419500 19.055 * * [simplify]: Extracting #13: cost 0 inf + 3403180 19.426 * [simplify]: Simplified to: (*.p16 (/.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))) (*.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 (real->posit16 1) x) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))) (*.p16 (/.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))) (*.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 (real->posit16 1) x) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))) (*.p16 x (+.p16 (real->posit16 1) (*.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))))) (*.p16 (real->posit16 0.0001789971) (*.p16 x x)) (*.p16 (real->posit16 0.0005064034) x) (*.p16 (real->posit16 0.0001789971) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 2) (real->posit16 0.0001789971)) x) (/.p16 (*.p16 x (+.p16 (real->posit16 1) (*.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))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))) (/.p16 (*.p16 x (+.p16 (real->posit16 1) (*.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))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))) (/.p16 (*.p16 x (+.p16 (real->posit16 1) (*.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))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))) (/.p16 (*.p16 x (+.p16 (real->posit16 1) (*.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))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))) 19.430 * * * [progress]: adding candidates to table 22.547 * * [progress]: iteration 3 / 4 22.547 * * * [progress]: picking best candidate 23.471 * * * * [pick]: Picked #posit16 1) (*.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))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))))> 23.472 * * * [progress]: localizing error 24.428 * * * [progress]: generating rewritten candidates 24.428 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 24.432 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2 2 1 1 1 2 2 2) 24.435 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2 2 1 1 1 2 1 2) 24.439 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 1 2 1 2 1 1 2) 24.449 * * * [progress]: generating series expansions 24.449 * * * * [progress]: [ 1 / 4 ] generating series at (2) 24.449 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2 2 1 1 1 2 2 2) 24.449 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2 2 1 1 1 2 1 2) 24.449 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 1 2 1 2 1 1 2) 24.449 * * * [progress]: simplifying candidates 24.449 * * * * [progress]: [ 1 / 11 ] simplifiying candidate #posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1)) (+.p16 (real->posit16 1) (*.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)))))))> 24.449 * * * * [progress]: [ 2 / 11 ] simplifiying candidate #posit16 1) (*.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))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 x (*.p16 x (real->posit16 0.0008327945)))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))))> 24.449 * * * * [progress]: [ 3 / 11 ] simplifiying candidate #posit16 1) (*.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))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (real->posit16 0.0008327945) (*.p16 x x))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))))> 24.449 * * * * [progress]: [ 4 / 11 ] simplifiying candidate #posit16 1) (*.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))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (*.p16 (real->posit16 0.0001789971) x) x)) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))))> 24.449 * * * * [progress]: [ 5 / 11 ] simplifiying candidate #posit16 1) (*.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))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))))> 24.450 * * * * [progress]: [ 6 / 11 ] simplifiying candidate #posit16 1) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 (real->posit16 0.0001789971) x) x)) (*.p16 x x)) (real->posit16 0.0072644182))) (real->posit16 0.0424060604))) (real->posit16 0.1049934947))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))))> 24.450 * * * * [progress]: [ 7 / 11 ] simplifiying candidate #posit16 1) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.p16 x x)) (real->posit16 0.0072644182))) (real->posit16 0.0424060604))) (real->posit16 0.1049934947))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))))> 24.450 * * * * [progress]: [ 8 / 11 ] simplifiying candidate #posit16 1) (*.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))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))))> 24.450 * * * * [progress]: [ 9 / 11 ] simplifiying candidate #posit16 1) (*.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))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))))> 24.450 * * * * [progress]: [ 10 / 11 ] simplifiying candidate #posit16 1) (*.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))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))))> 24.450 * * * * [progress]: [ 11 / 11 ] simplifiying candidate #posit16 1) (*.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))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))))> 24.450 * [simplify]: Simplifying: (/.p16 (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1)) (+.p16 (real->posit16 1) (*.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))))) (*.p16 x (real->posit16 0.0008327945)) (*.p16 (real->posit16 0.0001789971) x) (*.p16 (real->posit16 0.0001789971) x) (/.p16 (*.p16 x (+.p16 (real->posit16 1) (*.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))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))) (/.p16 (*.p16 x (+.p16 (real->posit16 1) (*.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))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))) (/.p16 (*.p16 x (+.p16 (real->posit16 1) (*.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))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))) (/.p16 (*.p16 x (+.p16 (real->posit16 1) (*.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))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))) 24.451 * * [simplify]: iteration 1: (54 enodes) 24.465 * * [simplify]: iteration 2: (159 enodes) 24.501 * * [simplify]: iteration 3: (445 enodes) 24.647 * * [simplify]: iteration 4: (1375 enodes) 25.709 * * [simplify]: Extracting #0: cost 4 inf + 0 25.709 * * [simplify]: Extracting #1: cost 19 inf + 0 25.709 * * [simplify]: Extracting #2: cost 119 inf + 1 25.710 * * [simplify]: Extracting #3: cost 351 inf + 1289 25.713 * * [simplify]: Extracting #4: cost 642 inf + 10310 25.718 * * [simplify]: Extracting #5: cost 740 inf + 39203 25.724 * * [simplify]: Extracting #6: cost 714 inf + 85602 25.744 * * [simplify]: Extracting #7: cost 567 inf + 299143 25.793 * * [simplify]: Extracting #8: cost 243 inf + 910402 25.876 * * [simplify]: Extracting #9: cost 63 inf + 1280246 25.982 * * [simplify]: Extracting #10: cost 1 inf + 1512306 26.090 * * [simplify]: Extracting #11: cost 0 inf + 1514596 26.213 * * [simplify]: Extracting #12: cost 0 inf + 1514276 26.371 * [simplify]: Simplified to: (/.p16 (+.p16 (*.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 (real->posit16 2) (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (*.p16 x x)))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945)))) (*.p16 (*.p16 x x) (*.p16 x x))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1))) (+.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.1049934947))) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 x x) (*.p16 x x))) (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (*.p16 x x))) (real->posit16 0.0072644182)))) (real->posit16 0.0424060604)) (*.p16 (*.p16 x x) (*.p16 x x))))) (*.p16 x (real->posit16 0.0008327945)) (*.p16 x (real->posit16 0.0001789971)) (*.p16 x (real->posit16 0.0001789971)) (/.p16 (*.p16 (+.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.1049934947))) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 x x) (*.p16 x x))) (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (*.p16 x x))) (real->posit16 0.0072644182)))) (real->posit16 0.0424060604)) (*.p16 (*.p16 x x) (*.p16 x x)))) x) (+.p16 (*.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 (real->posit16 2) (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (*.p16 x x)))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945)))) (*.p16 (*.p16 x x) (*.p16 x x))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))) (/.p16 (*.p16 (+.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.1049934947))) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 x x) (*.p16 x x))) (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (*.p16 x x))) (real->posit16 0.0072644182)))) (real->posit16 0.0424060604)) (*.p16 (*.p16 x x) (*.p16 x x)))) x) (+.p16 (*.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 (real->posit16 2) (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (*.p16 x x)))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945)))) (*.p16 (*.p16 x x) (*.p16 x x))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))) (/.p16 (*.p16 (+.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.1049934947))) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 x x) (*.p16 x x))) (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (*.p16 x x))) (real->posit16 0.0072644182)))) (real->posit16 0.0424060604)) (*.p16 (*.p16 x x) (*.p16 x x)))) x) (+.p16 (*.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 (real->posit16 2) (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (*.p16 x x)))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945)))) (*.p16 (*.p16 x x) (*.p16 x x))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))) (/.p16 (*.p16 (+.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.1049934947))) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 x x) (*.p16 x x))) (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (*.p16 x x))) (real->posit16 0.0072644182)))) (real->posit16 0.0424060604)) (*.p16 (*.p16 x x) (*.p16 x x)))) x) (+.p16 (*.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 (real->posit16 2) (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (*.p16 x x)))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945)))) (*.p16 (*.p16 x x) (*.p16 x x))))) (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)))) 26.373 * * * [progress]: adding candidates to table 28.357 * * [progress]: iteration 4 / 4 28.357 * * * [progress]: picking best candidate 28.788 * * * * [pick]: Picked #posit16 1) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 (real->posit16 0.0001789971) x) x)) (*.p16 x x)) (real->posit16 0.0072644182))) (real->posit16 0.0424060604))) (real->posit16 0.1049934947))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))))> 28.788 * * * [progress]: localizing error 29.828 * * * [progress]: generating rewritten candidates 29.828 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 29.836 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2 2 1 1 1 2 2 2) 29.842 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2 2 1 1 1 2 1 2) 29.849 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 2 2 1 1 1 2 1) 29.863 * * * [progress]: generating series expansions 29.863 * * * * [progress]: [ 1 / 4 ] generating series at (2) 29.863 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2 2 1 1 1 2 2 2) 29.863 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2 2 1 1 1 2 1 2) 29.863 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 2 2 1 1 1 2 1) 29.863 * * * [progress]: simplifying candidates 29.863 * * * * [progress]: [ 1 / 12 ] simplifiying candidate #posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1)) (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 (real->posit16 0.0001789971) x) x)) (*.p16 x x)) (real->posit16 0.0072644182))) (real->posit16 0.0424060604))) (real->posit16 0.1049934947)))))))> 29.863 * * * * [progress]: [ 2 / 12 ] simplifiying candidate #posit16 1) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 (real->posit16 0.0001789971) x) x)) (*.p16 x x)) (real->posit16 0.0072644182))) (real->posit16 0.0424060604))) (real->posit16 0.1049934947))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 x (*.p16 x (real->posit16 0.0008327945)))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))))> 29.863 * * * * [progress]: [ 3 / 12 ] simplifiying candidate #posit16 1) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 (real->posit16 0.0001789971) x) x)) (*.p16 x x)) (real->posit16 0.0072644182))) (real->posit16 0.0424060604))) (real->posit16 0.1049934947))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (real->posit16 0.0008327945) (*.p16 x x))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))))> 29.863 * * * * [progress]: [ 4 / 12 ] simplifiying candidate #posit16 1) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 (real->posit16 0.0001789971) x) x)) (*.p16 x x)) (real->posit16 0.0072644182))) (real->posit16 0.0424060604))) (real->posit16 0.1049934947))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (*.p16 (real->posit16 0.0001789971) x) x)) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))))> 29.863 * * * * [progress]: [ 5 / 12 ] simplifiying candidate #posit16 1) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 (real->posit16 0.0001789971) x) x)) (*.p16 x x)) (real->posit16 0.0072644182))) (real->posit16 0.0424060604))) (real->posit16 0.1049934947))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))))> 29.863 * * * * [progress]: [ 6 / 12 ] simplifiying candidate #posit16 1) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 (real->posit16 0.0001789971) x) x)) (*.p16 x x)) (real->posit16 0.0072644182))) (real->posit16 0.0424060604))) (real->posit16 0.1049934947))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (real->posit16 0.0001789971)) (*.p16 x x)) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))))> 29.863 * * * * [progress]: [ 7 / 12 ] simplifiying candidate #posit16 1) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 (real->posit16 0.0001789971) x) x)) (*.p16 x x)) (real->posit16 0.0072644182))) (real->posit16 0.0424060604))) (real->posit16 0.1049934947))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (*.p16 (real->posit16 2) (*.p16 (real->posit16 0.0001789971) (*.p16 x x)))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))))> 29.863 * * * * [progress]: [ 8 / 12 ] simplifiying candidate #posit16 1) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 (real->posit16 0.0001789971) x) x)) (*.p16 x x)) (real->posit16 0.0072644182))) (real->posit16 0.0424060604))) (real->posit16 0.1049934947))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 x x)) (*.p16 (*.p16 x x) (real->posit16 2))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))))> 29.864 * * * * [progress]: [ 9 / 12 ] simplifiying candidate #posit16 1) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 (real->posit16 0.0001789971) x) x)) (*.p16 x x)) (real->posit16 0.0072644182))) (real->posit16 0.0424060604))) (real->posit16 0.1049934947))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))))> 29.864 * * * * [progress]: [ 10 / 12 ] simplifiying candidate #posit16 1) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 (real->posit16 0.0001789971) x) x)) (*.p16 x x)) (real->posit16 0.0072644182))) (real->posit16 0.0424060604))) (real->posit16 0.1049934947))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))))> 29.864 * * * * [progress]: [ 11 / 12 ] simplifiying candidate #posit16 1) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 (real->posit16 0.0001789971) x) x)) (*.p16 x x)) (real->posit16 0.0072644182))) (real->posit16 0.0424060604))) (real->posit16 0.1049934947))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))))> 29.864 * * * * [progress]: [ 12 / 12 ] simplifiying candidate #posit16 1) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 (real->posit16 0.0001789971) x) x)) (*.p16 x x)) (real->posit16 0.0072644182))) (real->posit16 0.0424060604))) (real->posit16 0.1049934947))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))))> 29.864 * [simplify]: Simplifying: (/.p16 (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1)) (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 (real->posit16 0.0001789971) x) x)) (*.p16 x x)) (real->posit16 0.0072644182))) (real->posit16 0.0424060604))) (real->posit16 0.1049934947))))) (*.p16 x (real->posit16 0.0008327945)) (*.p16 (real->posit16 0.0001789971) x) (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (real->posit16 0.0001789971)) (*.p16 (real->posit16 2) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (*.p16 (real->posit16 0.0001789971) x) (*.p16 (real->posit16 0.0001789971) x) (*.p16 (real->posit16 0.0001789971) x) (*.p16 (real->posit16 0.0001789971) x) 29.864 * * [simplify]: iteration 1: (55 enodes) 29.879 * * [simplify]: iteration 2: (155 enodes) 29.946 * * [simplify]: iteration 3: (428 enodes) 30.124 * * [simplify]: iteration 4: (1265 enodes) 31.083 * * [simplify]: Extracting #0: cost 4 inf + 0 31.083 * * [simplify]: Extracting #1: cost 16 inf + 0 31.083 * * [simplify]: Extracting #2: cost 57 inf + 322 31.084 * * [simplify]: Extracting #3: cost 196 inf + 2256 31.088 * * [simplify]: Extracting #4: cost 500 inf + 8032 31.098 * * [simplify]: Extracting #5: cost 565 inf + 72941 31.133 * * [simplify]: Extracting #6: cost 435 inf + 271861 31.197 * * [simplify]: Extracting #7: cost 197 inf + 670982 31.310 * * [simplify]: Extracting #8: cost 23 inf + 1016049 31.434 * * [simplify]: Extracting #9: cost 0 inf + 1059123 31.558 * * [simplify]: Extracting #10: cost 0 inf + 1057843 31.678 * [simplify]: Simplified to: (/.p16 (+.p16 (+.p16 (*.p16 (real->posit16 0.7715471019) (*.p16 x x)) (real->posit16 1)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (real->posit16 0.2909738639) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0694555761) (*.p16 (+.p16 (*.p16 (*.p16 (real->posit16 2) (real->posit16 0.0001789971)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945)))) (*.p16 x x))))))) (+.p16 (real->posit16 1) (*.p16 (+.p16 (*.p16 (+.p16 (*.p16 (+.p16 (*.p16 (+.p16 (real->posit16 0.0005064034) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (*.p16 x x)) (real->posit16 0.0072644182)) (*.p16 x x)) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947)) (*.p16 x x)))) (*.p16 x (real->posit16 0.0008327945)) (*.p16 x (real->posit16 0.0001789971)) (*.p16 (*.p16 x (real->posit16 0.0001789971)) (*.p16 x (real->posit16 2))) (*.p16 (*.p16 x (real->posit16 0.0001789971)) (*.p16 x (real->posit16 2))) (*.p16 x (real->posit16 0.0001789971)) (*.p16 x (real->posit16 0.0001789971)) (*.p16 x (real->posit16 0.0001789971)) (*.p16 x (real->posit16 0.0001789971)) 31.683 * * * [progress]: adding candidates to table 33.555 * [progress]: [Phase 3 of 3] Extracting. 33.555 * * [regime]: Finding splitpoints for: (#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.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))))))> #posit16 1) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 (real->posit16 0.0001789971) x) x)) (*.p16 x x)) (real->posit16 0.0072644182))) (real->posit16 0.0424060604))) (real->posit16 0.1049934947))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))))> #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))))))))))> #posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1)) (+.p16 (real->posit16 1) (*.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)))))))> #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))))>) 33.566 * * * [regime-changes]: Trying 1 branch expressions: (x) 33.566 * * * * [regimes]: Trying to branch on x from (#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.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))))))> #posit16 1) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 (real->posit16 0.0001789971) x) x)) (*.p16 x x)) (real->posit16 0.0072644182))) (real->posit16 0.0424060604))) (real->posit16 0.1049934947))))) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1))))> #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))))))))))> #posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (*.p16 (real->posit16 0.0001789971) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (real->posit16 0.0008327945))))) (real->posit16 0.0694555761)) (*.p16 x x)) (real->posit16 0.2909738639)))) (*.p16 x x)) (real->posit16 1)) (+.p16 (real->posit16 1) (*.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)))))))> #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))))>) 34.089 * * * [regime]: Found split indices: #