1552480349.372 * [progress]: [Phase 1 of 3] Setting up. 1552480349.372 * * * [progress]: [1/2] Preparing points 1552480349.372 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 1552480349.373 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 1552480349.377 * * * * [points]: Setting MPFR precision to 64 1552480349.378 * * * * [points]: Setting MPFR precision to 320 1552480349.381 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 1552480349.386 * * * * [points]: Setting MPFR precision to 64 1552480349.389 * * * * [points]: Setting MPFR precision to 320 1552480349.393 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 1552480349.398 * * * * [points]: Setting MPFR precision to 64 1552480349.401 * * * * [points]: Setting MPFR precision to 320 1552480349.405 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 1552480349.407 * * * * [points]: Setting MPFR precision to 64 1552480349.412 * * * * [points]: Setting MPFR precision to 320 1552480349.418 * * * * [points]: Computing exacts for 256 points 1552480349.421 * * * * [points]: Setting MPFR precision to 64 1552480349.434 * * * * [points]: Setting MPFR precision to 320 1552480349.463 * * * * [points]: Filtering points with unrepresentable outputs 1552480349.474 * * * * [points]: Sampled 256 points with exact outputs 1552480349.474 * * * [progress]: [2/2] Setting up program. 1552480349.530 * [progress]: [Phase 2 of 3] Improving. 1552480349.530 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))> 1552480349.530 * [simplify]: Simplifying (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) 1552480349.531 * * [simplify]: iters left: 5 (12 enodes) 1552480349.535 * * [simplify]: iters left: 4 (35 enodes) 1552480349.542 * * [simplify]: iters left: 3 (83 enodes) 1552480349.559 * * [simplify]: iters left: 2 (233 enodes) 1552480349.664 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480349.664 * * [simplify]: Extracting #1: cost 29 inf + 0 1552480349.664 * * [simplify]: Extracting #2: cost 123 inf + 0 1552480349.666 * * [simplify]: Extracting #3: cost 244 inf + 1 1552480349.670 * * [simplify]: Extracting #4: cost 308 inf + 32857 1552480349.695 * * [simplify]: Extracting #5: cost 149 inf + 308686 1552480349.723 * * [simplify]: Extracting #6: cost 4 inf + 549893 1552480349.751 * * [simplify]: Extracting #7: cost 0 inf + 561504 1552480349.776 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x))) 1552480349.776 * [simplify]: Simplified (2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x)))) 1552480349.816 * * [progress]: iteration 1 / 4 1552480349.816 * * * [progress]: picking best candidate 1552480349.862 * * * * [pick]: Picked #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))> 1552480349.862 * * * [progress]: localizing error 1552480350.258 * * * [progress]: generating rewritten candidates 1552480350.258 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1552480350.271 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1552480350.274 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 1552480350.276 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 1552480350.278 * * * [progress]: generating series expansions 1552480350.278 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1552480350.278 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1552480350.278 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 1552480350.278 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 1552480350.278 * * * [progress]: simplifying candidates 1552480350.278 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> 1552480350.278 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552480350.278 * * [simplify]: iters left: 3 (5 enodes) 1552480350.287 * * [simplify]: iters left: 2 (11 enodes) 1552480350.289 * * [simplify]: iters left: 1 (13 enodes) 1552480350.291 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480350.291 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480350.291 * * [simplify]: Extracting #2: cost 5 inf + 0 1552480350.291 * * [simplify]: Extracting #3: cost 3 inf + 2 1552480350.291 * * [simplify]: Extracting #4: cost 0 inf + 527 1552480350.291 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552480350.291 * [simplify]: Simplified (2 1) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) 1552480350.291 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> 1552480350.292 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552480350.292 * * [simplify]: iters left: 3 (5 enodes) 1552480350.293 * * [simplify]: iters left: 2 (11 enodes) 1552480350.295 * * [simplify]: iters left: 1 (13 enodes) 1552480350.297 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480350.297 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480350.297 * * [simplify]: Extracting #2: cost 5 inf + 0 1552480350.297 * * [simplify]: Extracting #3: cost 3 inf + 2 1552480350.297 * * [simplify]: Extracting #4: cost 0 inf + 527 1552480350.297 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552480350.297 * [simplify]: Simplified (2 1) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) 1552480350.297 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))> 1552480350.297 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 2) x))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))> 1552480350.298 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))> 1552480350.298 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))> 1552480350.298 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1552480350.298 * * [simplify]: iters left: 2 (4 enodes) 1552480350.299 * * [simplify]: iters left: 1 (10 enodes) 1552480350.300 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480350.301 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480350.301 * * [simplify]: Extracting #2: cost 3 inf + 1 1552480350.301 * * [simplify]: Extracting #3: cost 0 inf + 45 1552480350.301 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1552480350.301 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (real->posit16 1) x)))) 1552480350.301 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))> 1552480350.301 * [simplify]: Simplifying (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) 1552480350.301 * * [simplify]: iters left: 5 (12 enodes) 1552480350.304 * * [simplify]: iters left: 4 (35 enodes) 1552480350.311 * * [simplify]: iters left: 3 (83 enodes) 1552480350.327 * * [simplify]: iters left: 2 (233 enodes) 1552480350.409 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480350.409 * * [simplify]: Extracting #1: cost 29 inf + 0 1552480350.410 * * [simplify]: Extracting #2: cost 123 inf + 0 1552480350.410 * * [simplify]: Extracting #3: cost 244 inf + 1 1552480350.412 * * [simplify]: Extracting #4: cost 308 inf + 32857 1552480350.424 * * [simplify]: Extracting #5: cost 149 inf + 308686 1552480350.464 * * [simplify]: Extracting #6: cost 4 inf + 549893 1552480350.502 * * [simplify]: Extracting #7: cost 0 inf + 561504 1552480350.549 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x))) 1552480350.549 * [simplify]: Simplified (2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x)))) 1552480350.549 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))> 1552480350.549 * [simplify]: Simplifying (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) 1552480350.549 * * [simplify]: iters left: 5 (12 enodes) 1552480350.552 * * [simplify]: iters left: 4 (35 enodes) 1552480350.559 * * [simplify]: iters left: 3 (83 enodes) 1552480350.576 * * [simplify]: iters left: 2 (233 enodes) 1552480350.645 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480350.645 * * [simplify]: Extracting #1: cost 29 inf + 0 1552480350.645 * * [simplify]: Extracting #2: cost 123 inf + 0 1552480350.646 * * [simplify]: Extracting #3: cost 244 inf + 1 1552480350.651 * * [simplify]: Extracting #4: cost 308 inf + 32857 1552480350.663 * * [simplify]: Extracting #5: cost 149 inf + 308686 1552480350.685 * * [simplify]: Extracting #6: cost 4 inf + 549893 1552480350.709 * * [simplify]: Extracting #7: cost 0 inf + 561504 1552480350.740 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x))) 1552480350.740 * [simplify]: Simplified (2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x)))) 1552480350.740 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))> 1552480350.740 * [simplify]: Simplifying (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) 1552480350.741 * * [simplify]: iters left: 5 (12 enodes) 1552480350.747 * * [simplify]: iters left: 4 (35 enodes) 1552480350.761 * * [simplify]: iters left: 3 (83 enodes) 1552480350.790 * * [simplify]: iters left: 2 (233 enodes) 1552480350.862 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480350.862 * * [simplify]: Extracting #1: cost 29 inf + 0 1552480350.862 * * [simplify]: Extracting #2: cost 123 inf + 0 1552480350.863 * * [simplify]: Extracting #3: cost 244 inf + 1 1552480350.865 * * [simplify]: Extracting #4: cost 308 inf + 32857 1552480350.877 * * [simplify]: Extracting #5: cost 149 inf + 308686 1552480350.899 * * [simplify]: Extracting #6: cost 4 inf + 549893 1552480350.933 * * [simplify]: Extracting #7: cost 0 inf + 561504 1552480350.976 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x))) 1552480350.976 * [simplify]: Simplified (2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x)))) 1552480350.976 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))> 1552480350.976 * [simplify]: Simplifying (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) 1552480350.976 * * [simplify]: iters left: 5 (12 enodes) 1552480350.981 * * [simplify]: iters left: 4 (35 enodes) 1552480350.992 * * [simplify]: iters left: 3 (83 enodes) 1552480351.021 * * [simplify]: iters left: 2 (233 enodes) 1552480351.146 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480351.146 * * [simplify]: Extracting #1: cost 29 inf + 0 1552480351.147 * * [simplify]: Extracting #2: cost 123 inf + 0 1552480351.148 * * [simplify]: Extracting #3: cost 244 inf + 1 1552480351.153 * * [simplify]: Extracting #4: cost 308 inf + 32857 1552480351.176 * * [simplify]: Extracting #5: cost 149 inf + 308686 1552480351.225 * * [simplify]: Extracting #6: cost 4 inf + 549893 1552480351.274 * * [simplify]: Extracting #7: cost 0 inf + 561504 1552480351.321 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x))) 1552480351.321 * [simplify]: Simplified (2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x)))) 1552480351.321 * * * [progress]: adding candidates to table 1552480352.143 * * [progress]: iteration 2 / 4 1552480352.143 * * * [progress]: picking best candidate 1552480352.281 * * * * [pick]: Picked #posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> 1552480352.281 * * * [progress]: localizing error 1552480352.394 * * * [progress]: generating rewritten candidates 1552480352.394 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1552480352.401 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 1552480352.406 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1552480352.411 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 1552480352.415 * * * [progress]: generating series expansions 1552480352.415 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1552480352.415 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 1552480352.415 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1552480352.415 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 1552480352.415 * * * [progress]: simplifying candidates 1552480352.415 * * * * [progress]: [ 1 / 11 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (neg.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> 1552480352.415 * [simplify]: Simplifying (neg.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) 1552480352.415 * * [simplify]: iters left: 4 (6 enodes) 1552480352.419 * * [simplify]: iters left: 3 (18 enodes) 1552480352.425 * * [simplify]: iters left: 2 (32 enodes) 1552480352.437 * * [simplify]: iters left: 1 (80 enodes) 1552480352.489 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480352.489 * * [simplify]: Extracting #1: cost 2 inf + 0 1552480352.489 * * [simplify]: Extracting #2: cost 23 inf + 0 1552480352.490 * * [simplify]: Extracting #3: cost 71 inf + 0 1552480352.490 * * [simplify]: Extracting #4: cost 96 inf + 405 1552480352.492 * * [simplify]: Extracting #5: cost 67 inf + 28805 1552480352.500 * * [simplify]: Extracting #6: cost 13 inf + 98338 1552480352.509 * * [simplify]: Extracting #7: cost 1 inf + 114359 1552480352.518 * * [simplify]: Extracting #8: cost 0 inf + 115761 1552480352.527 * [simplify]: Simplified to (neg.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) 1552480352.527 * [simplify]: Simplified (2 2) to (λ (x) (-.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (neg.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) 1552480352.527 * * * * [progress]: [ 2 / 11 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))> 1552480352.527 * [simplify]: Simplifying (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) 1552480352.527 * * [simplify]: iters left: 3 (5 enodes) 1552480352.530 * * [simplify]: iters left: 2 (17 enodes) 1552480352.536 * * [simplify]: iters left: 1 (31 enodes) 1552480352.548 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480352.548 * * [simplify]: Extracting #1: cost 11 inf + 0 1552480352.548 * * [simplify]: Extracting #2: cost 28 inf + 0 1552480352.549 * * [simplify]: Extracting #3: cost 29 inf + 324 1552480352.549 * * [simplify]: Extracting #4: cost 22 inf + 6266 1552480352.551 * * [simplify]: Extracting #5: cost 3 inf + 23256 1552480352.553 * * [simplify]: Extracting #6: cost 0 inf + 26382 1552480352.555 * * [simplify]: Extracting #7: cost 0 inf + 25822 1552480352.557 * [simplify]: Simplified to (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) 1552480352.557 * [simplify]: Simplified (2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))) 1552480352.557 * * * * [progress]: [ 3 / 11 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))))> 1552480352.557 * * * * [progress]: [ 4 / 11 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))))> 1552480352.557 * * * * [progress]: [ 5 / 11 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (/.p16 (real->posit16 2) x) (neg.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))))> 1552480352.557 * * * * [progress]: [ 6 / 11 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))))> 1552480352.558 * * * * [progress]: [ 7 / 11 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))))))> 1552480352.558 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1552480352.558 * * [simplify]: iters left: 2 (4 enodes) 1552480352.560 * * [simplify]: iters left: 1 (10 enodes) 1552480352.564 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480352.564 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480352.564 * * [simplify]: Extracting #2: cost 3 inf + 1 1552480352.564 * * [simplify]: Extracting #3: cost 0 inf + 45 1552480352.564 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1552480352.564 * [simplify]: Simplified (2 2 2 2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (real->posit16 1) x))))) 1552480352.564 * * * * [progress]: [ 8 / 11 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> 1552480352.564 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552480352.564 * * [simplify]: iters left: 3 (5 enodes) 1552480352.567 * * [simplify]: iters left: 2 (11 enodes) 1552480352.570 * * [simplify]: iters left: 1 (13 enodes) 1552480352.574 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480352.574 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480352.575 * * [simplify]: Extracting #2: cost 5 inf + 0 1552480352.575 * * [simplify]: Extracting #3: cost 3 inf + 2 1552480352.575 * * [simplify]: Extracting #4: cost 0 inf + 527 1552480352.575 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552480352.575 * [simplify]: Simplified (2 1) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) 1552480352.575 * * * * [progress]: [ 9 / 11 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> 1552480352.575 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552480352.575 * * [simplify]: iters left: 3 (5 enodes) 1552480352.578 * * [simplify]: iters left: 2 (11 enodes) 1552480352.581 * * [simplify]: iters left: 1 (13 enodes) 1552480352.585 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480352.585 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480352.585 * * [simplify]: Extracting #2: cost 5 inf + 0 1552480352.585 * * [simplify]: Extracting #3: cost 3 inf + 2 1552480352.586 * * [simplify]: Extracting #4: cost 0 inf + 527 1552480352.586 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552480352.586 * [simplify]: Simplified (2 1) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) 1552480352.586 * * * * [progress]: [ 10 / 11 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> 1552480352.586 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552480352.586 * * [simplify]: iters left: 3 (5 enodes) 1552480352.589 * * [simplify]: iters left: 2 (11 enodes) 1552480352.593 * * [simplify]: iters left: 1 (13 enodes) 1552480352.598 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480352.598 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480352.598 * * [simplify]: Extracting #2: cost 5 inf + 0 1552480352.598 * * [simplify]: Extracting #3: cost 3 inf + 2 1552480352.598 * * [simplify]: Extracting #4: cost 0 inf + 527 1552480352.598 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552480352.598 * [simplify]: Simplified (2 1) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) 1552480352.598 * * * * [progress]: [ 11 / 11 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> 1552480352.599 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552480352.599 * * [simplify]: iters left: 3 (5 enodes) 1552480352.602 * * [simplify]: iters left: 2 (11 enodes) 1552480352.606 * * [simplify]: iters left: 1 (13 enodes) 1552480352.610 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480352.610 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480352.610 * * [simplify]: Extracting #2: cost 5 inf + 0 1552480352.610 * * [simplify]: Extracting #3: cost 3 inf + 2 1552480352.610 * * [simplify]: Extracting #4: cost 0 inf + 527 1552480352.610 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552480352.610 * [simplify]: Simplified (2 1) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) 1552480352.611 * * * [progress]: adding candidates to table 1552480353.433 * * [progress]: iteration 3 / 4 1552480353.433 * * * [progress]: picking best candidate 1552480353.624 * * * * [pick]: Picked #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))> 1552480353.625 * * * [progress]: localizing error 1552480353.931 * * * [progress]: generating rewritten candidates 1552480353.931 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1552480353.952 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 1552480353.968 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1552480353.974 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 1552480353.989 * * * [progress]: generating series expansions 1552480353.989 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1552480353.989 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 1552480353.989 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1552480353.989 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 1552480353.990 * * * [progress]: simplifying candidates 1552480353.990 * * * * [progress]: [ 1 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1))))> 1552480353.990 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1)) 1552480353.990 * * [simplify]: iters left: 5 (8 enodes) 1552480353.992 * * [simplify]: iters left: 4 (25 enodes) 1552480353.997 * * [simplify]: iters left: 3 (62 enodes) 1552480354.010 * * [simplify]: iters left: 2 (193 enodes) 1552480354.103 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480354.103 * * [simplify]: Extracting #1: cost 65 inf + 0 1552480354.103 * * [simplify]: Extracting #2: cost 241 inf + 0 1552480354.105 * * [simplify]: Extracting #3: cost 260 inf + 43096 1552480354.115 * * [simplify]: Extracting #4: cost 122 inf + 266467 1552480354.137 * * [simplify]: Extracting #5: cost 18 inf + 464771 1552480354.181 * * [simplify]: Extracting #6: cost 0 inf + 502437 1552480354.212 * * [simplify]: Extracting #7: cost 0 inf + 501277 1552480354.236 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) 1552480354.236 * [simplify]: Simplified (2 2) to (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) x)) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) 1552480354.236 * * * * [progress]: [ 2 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) x)))> 1552480354.236 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) x) 1552480354.237 * * [simplify]: iters left: 5 (8 enodes) 1552480354.239 * * [simplify]: iters left: 4 (26 enodes) 1552480354.244 * * [simplify]: iters left: 3 (65 enodes) 1552480354.259 * * [simplify]: iters left: 2 (206 enodes) 1552480354.356 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480354.356 * * [simplify]: Extracting #1: cost 77 inf + 0 1552480354.357 * * [simplify]: Extracting #2: cost 273 inf + 1 1552480354.359 * * [simplify]: Extracting #3: cost 294 inf + 40731 1552480354.368 * * [simplify]: Extracting #4: cost 159 inf + 260335 1552480354.389 * * [simplify]: Extracting #5: cost 10 inf + 531203 1552480354.417 * * [simplify]: Extracting #6: cost 0 inf + 554220 1552480354.442 * * [simplify]: Extracting #7: cost 0 inf + 554060 1552480354.466 * [simplify]: Simplified to (*.p16 (/.p16 x (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))) (real->posit16 1)) 1552480354.466 * [simplify]: Simplified (2 2) to (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1))) (*.p16 (/.p16 x (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))) (real->posit16 1)))) 1552480354.467 * * * * [progress]: [ 3 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))> 1552480354.467 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) 1552480354.467 * * [simplify]: iters left: 5 (8 enodes) 1552480354.469 * * [simplify]: iters left: 4 (25 enodes) 1552480354.474 * * [simplify]: iters left: 3 (62 enodes) 1552480354.487 * * [simplify]: iters left: 2 (193 enodes) 1552480354.606 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480354.607 * * [simplify]: Extracting #1: cost 65 inf + 0 1552480354.608 * * [simplify]: Extracting #2: cost 241 inf + 0 1552480354.612 * * [simplify]: Extracting #3: cost 260 inf + 43096 1552480354.634 * * [simplify]: Extracting #4: cost 122 inf + 266467 1552480354.672 * * [simplify]: Extracting #5: cost 18 inf + 464771 1552480354.717 * * [simplify]: Extracting #6: cost 0 inf + 502437 1552480354.763 * * [simplify]: Extracting #7: cost 0 inf + 501277 1552480354.807 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) 1552480354.807 * [simplify]: Simplified (2 2) to (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) 1552480354.807 * * * * [progress]: [ 4 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))> 1552480354.808 * [simplify]: Simplifying (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) 1552480354.808 * * [simplify]: iters left: 5 (8 enodes) 1552480354.812 * * [simplify]: iters left: 4 (26 enodes) 1552480354.823 * * [simplify]: iters left: 3 (66 enodes) 1552480354.850 * * [simplify]: iters left: 2 (207 enodes) 1552480355.019 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480355.020 * * [simplify]: Extracting #1: cost 77 inf + 0 1552480355.021 * * [simplify]: Extracting #2: cost 273 inf + 1 1552480355.031 * * [simplify]: Extracting #3: cost 303 inf + 33074 1552480355.052 * * [simplify]: Extracting #4: cost 141 inf + 297808 1552480355.093 * * [simplify]: Extracting #5: cost 22 inf + 505698 1552480355.142 * * [simplify]: Extracting #6: cost 0 inf + 553899 1552480355.189 * * [simplify]: Extracting #7: cost 0 inf + 553659 1552480355.221 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))) x) 1552480355.221 * [simplify]: Simplified (2 2) to (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))) x))) 1552480355.221 * * * * [progress]: [ 5 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))))))> 1552480355.221 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552480355.221 * * [simplify]: iters left: 3 (5 enodes) 1552480355.223 * * [simplify]: iters left: 2 (11 enodes) 1552480355.225 * * [simplify]: iters left: 1 (13 enodes) 1552480355.227 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480355.227 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480355.227 * * [simplify]: Extracting #2: cost 5 inf + 0 1552480355.227 * * [simplify]: Extracting #3: cost 3 inf + 2 1552480355.227 * * [simplify]: Extracting #4: cost 0 inf + 527 1552480355.227 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552480355.227 * [simplify]: Simplified (2 1) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))) 1552480355.227 * * * * [progress]: [ 6 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))))))> 1552480355.227 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552480355.228 * * [simplify]: iters left: 3 (5 enodes) 1552480355.229 * * [simplify]: iters left: 2 (11 enodes) 1552480355.231 * * [simplify]: iters left: 1 (13 enodes) 1552480355.233 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480355.233 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480355.233 * * [simplify]: Extracting #2: cost 5 inf + 0 1552480355.233 * * [simplify]: Extracting #3: cost 3 inf + 2 1552480355.233 * * [simplify]: Extracting #4: cost 0 inf + 527 1552480355.233 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552480355.233 * [simplify]: Simplified (2 1) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 2) x) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))) 1552480355.234 * * * * [progress]: [ 7 / 30 ] simplifiying candidate #posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))> 1552480355.234 * * * * [progress]: [ 8 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) x) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1)))))> 1552480355.234 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1)) 1552480355.234 * * [simplify]: iters left: 5 (8 enodes) 1552480355.236 * * [simplify]: iters left: 4 (25 enodes) 1552480355.242 * * [simplify]: iters left: 3 (62 enodes) 1552480355.265 * * [simplify]: iters left: 2 (193 enodes) 1552480355.380 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480355.380 * * [simplify]: Extracting #1: cost 65 inf + 0 1552480355.381 * * [simplify]: Extracting #2: cost 241 inf + 0 1552480355.386 * * [simplify]: Extracting #3: cost 260 inf + 43096 1552480355.412 * * [simplify]: Extracting #4: cost 122 inf + 266467 1552480355.441 * * [simplify]: Extracting #5: cost 18 inf + 464771 1552480355.469 * * [simplify]: Extracting #6: cost 0 inf + 502437 1552480355.499 * * [simplify]: Extracting #7: cost 0 inf + 501277 1552480355.542 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) 1552480355.542 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))) 1552480355.543 * * * * [progress]: [ 9 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) x))))> 1552480355.543 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) x) 1552480355.543 * * [simplify]: iters left: 5 (8 enodes) 1552480355.549 * * [simplify]: iters left: 4 (26 enodes) 1552480355.559 * * [simplify]: iters left: 3 (65 enodes) 1552480355.586 * * [simplify]: iters left: 2 (206 enodes) 1552480355.674 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480355.674 * * [simplify]: Extracting #1: cost 77 inf + 0 1552480355.675 * * [simplify]: Extracting #2: cost 273 inf + 1 1552480355.677 * * [simplify]: Extracting #3: cost 294 inf + 40731 1552480355.686 * * [simplify]: Extracting #4: cost 159 inf + 260335 1552480355.711 * * [simplify]: Extracting #5: cost 10 inf + 531203 1552480355.736 * * [simplify]: Extracting #6: cost 0 inf + 554220 1552480355.762 * * [simplify]: Extracting #7: cost 0 inf + 554060 1552480355.796 * [simplify]: Simplified to (*.p16 (/.p16 x (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))) (real->posit16 1)) 1552480355.796 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1)) (*.p16 (/.p16 x (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))) (real->posit16 1))))) 1552480355.796 * * * * [progress]: [ 10 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))))> 1552480355.796 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) 1552480355.796 * * [simplify]: iters left: 5 (8 enodes) 1552480355.799 * * [simplify]: iters left: 4 (25 enodes) 1552480355.804 * * [simplify]: iters left: 3 (62 enodes) 1552480355.819 * * [simplify]: iters left: 2 (193 enodes) 1552480355.928 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480355.928 * * [simplify]: Extracting #1: cost 65 inf + 0 1552480355.929 * * [simplify]: Extracting #2: cost 241 inf + 0 1552480355.934 * * [simplify]: Extracting #3: cost 260 inf + 43096 1552480355.954 * * [simplify]: Extracting #4: cost 122 inf + 266467 1552480355.994 * * [simplify]: Extracting #5: cost 18 inf + 464771 1552480356.041 * * [simplify]: Extracting #6: cost 0 inf + 502437 1552480356.073 * * [simplify]: Extracting #7: cost 0 inf + 501277 1552480356.095 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) 1552480356.095 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))) 1552480356.095 * * * * [progress]: [ 11 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))))> 1552480356.095 * [simplify]: Simplifying (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) 1552480356.095 * * [simplify]: iters left: 5 (8 enodes) 1552480356.098 * * [simplify]: iters left: 4 (26 enodes) 1552480356.103 * * [simplify]: iters left: 3 (66 enodes) 1552480356.118 * * [simplify]: iters left: 2 (207 enodes) 1552480356.225 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480356.225 * * [simplify]: Extracting #1: cost 77 inf + 0 1552480356.227 * * [simplify]: Extracting #2: cost 273 inf + 1 1552480356.231 * * [simplify]: Extracting #3: cost 303 inf + 33074 1552480356.252 * * [simplify]: Extracting #4: cost 141 inf + 297808 1552480356.276 * * [simplify]: Extracting #5: cost 22 inf + 505698 1552480356.311 * * [simplify]: Extracting #6: cost 0 inf + 553899 1552480356.750 * * [simplify]: Extracting #7: cost 0 inf + 553659 1552480356.796 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))) x) 1552480356.796 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))) x)))) 1552480356.796 * * * * [progress]: [ 12 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (*.p16 (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) (+.p16 x (real->posit16 1))))))> 1552480356.797 * [simplify]: Simplifying (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) 1552480356.797 * * [simplify]: iters left: 5 (9 enodes) 1552480356.802 * * [simplify]: iters left: 4 (32 enodes) 1552480356.814 * * [simplify]: iters left: 3 (76 enodes) 1552480356.848 * * [simplify]: iters left: 2 (239 enodes) 1552480357.014 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480357.014 * * [simplify]: Extracting #1: cost 46 inf + 0 1552480357.014 * * [simplify]: Extracting #2: cost 215 inf + 0 1552480357.016 * * [simplify]: Extracting #3: cost 259 inf + 37842 1552480357.028 * * [simplify]: Extracting #4: cost 141 inf + 336186 1552480357.053 * * [simplify]: Extracting #5: cost 28 inf + 595296 1552480357.087 * * [simplify]: Extracting #6: cost 1 inf + 655569 1552480357.120 * * [simplify]: Extracting #7: cost 0 inf + 659011 1552480357.152 * [simplify]: Simplified to (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) 1552480357.152 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (*.p16 (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) (+.p16 x (real->posit16 1)))))) 1552480357.152 * * * * [progress]: [ 13 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))> 1552480357.152 * [simplify]: Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552480357.153 * * [simplify]: iters left: 3 (5 enodes) 1552480357.154 * * [simplify]: iters left: 2 (17 enodes) 1552480357.157 * * [simplify]: iters left: 1 (21 enodes) 1552480357.160 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480357.160 * * [simplify]: Extracting #1: cost 5 inf + 0 1552480357.160 * * [simplify]: Extracting #2: cost 7 inf + 0 1552480357.160 * * [simplify]: Extracting #3: cost 5 inf + 2 1552480357.160 * * [simplify]: Extracting #4: cost 0 inf + 1050 1552480357.160 * [simplify]: Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552480357.160 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) 1552480357.160 * * * * [progress]: [ 14 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1)))))> 1552480357.161 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) 1552480357.161 * * [simplify]: iters left: 4 (6 enodes) 1552480357.162 * * [simplify]: iters left: 3 (21 enodes) 1552480357.166 * * [simplify]: iters left: 2 (39 enodes) 1552480357.172 * * [simplify]: iters left: 1 (46 enodes) 1552480357.178 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480357.178 * * [simplify]: Extracting #1: cost 8 inf + 0 1552480357.178 * * [simplify]: Extracting #2: cost 14 inf + 1 1552480357.178 * * [simplify]: Extracting #3: cost 11 inf + 4 1552480357.178 * * [simplify]: Extracting #4: cost 4 inf + 2016 1552480357.179 * * [simplify]: Extracting #5: cost 0 inf + 4584 1552480357.179 * [simplify]: Simplified to (real->posit16 1) 1552480357.179 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))) 1552480357.179 * * * * [progress]: [ 15 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1)))))> 1552480357.179 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) 1552480357.179 * * [simplify]: iters left: 4 (6 enodes) 1552480357.181 * * [simplify]: iters left: 3 (21 enodes) 1552480357.186 * * [simplify]: iters left: 2 (39 enodes) 1552480357.192 * * [simplify]: iters left: 1 (46 enodes) 1552480357.198 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480357.198 * * [simplify]: Extracting #1: cost 8 inf + 0 1552480357.198 * * [simplify]: Extracting #2: cost 14 inf + 1 1552480357.198 * * [simplify]: Extracting #3: cost 11 inf + 4 1552480357.199 * * [simplify]: Extracting #4: cost 4 inf + 2016 1552480357.199 * * [simplify]: Extracting #5: cost 0 inf + 4584 1552480357.199 * [simplify]: Simplified to (real->posit16 1) 1552480357.199 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))) 1552480357.199 * * * * [progress]: [ 16 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1)))))> 1552480357.199 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) 1552480357.200 * * [simplify]: iters left: 4 (6 enodes) 1552480357.201 * * [simplify]: iters left: 3 (21 enodes) 1552480357.205 * * [simplify]: iters left: 2 (39 enodes) 1552480357.211 * * [simplify]: iters left: 1 (46 enodes) 1552480357.217 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480357.217 * * [simplify]: Extracting #1: cost 8 inf + 0 1552480357.217 * * [simplify]: Extracting #2: cost 14 inf + 1 1552480357.217 * * [simplify]: Extracting #3: cost 11 inf + 4 1552480357.218 * * [simplify]: Extracting #4: cost 4 inf + 2016 1552480357.218 * * [simplify]: Extracting #5: cost 0 inf + 4584 1552480357.218 * [simplify]: Simplified to (real->posit16 1) 1552480357.218 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))) 1552480357.218 * * * * [progress]: [ 17 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1)))))> 1552480357.218 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) 1552480357.218 * * [simplify]: iters left: 4 (6 enodes) 1552480357.220 * * [simplify]: iters left: 3 (21 enodes) 1552480357.224 * * [simplify]: iters left: 2 (39 enodes) 1552480357.231 * * [simplify]: iters left: 1 (46 enodes) 1552480357.237 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480357.237 * * [simplify]: Extracting #1: cost 8 inf + 0 1552480357.237 * * [simplify]: Extracting #2: cost 14 inf + 1 1552480357.237 * * [simplify]: Extracting #3: cost 11 inf + 4 1552480357.237 * * [simplify]: Extracting #4: cost 4 inf + 2016 1552480357.237 * * [simplify]: Extracting #5: cost 0 inf + 4584 1552480357.238 * [simplify]: Simplified to (real->posit16 1) 1552480357.238 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))) 1552480357.238 * * * * [progress]: [ 18 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (+.p16 x (real->posit16 1)) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))> 1552480357.238 * * * * [progress]: [ 19 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 2) x))) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))> 1552480357.238 * * * * [progress]: [ 20 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))> 1552480357.238 * * * * [progress]: [ 21 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1)))))> 1552480357.238 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1552480357.238 * * [simplify]: iters left: 2 (4 enodes) 1552480357.239 * * [simplify]: iters left: 1 (10 enodes) 1552480357.241 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480357.241 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480357.241 * * [simplify]: Extracting #2: cost 3 inf + 1 1552480357.241 * * [simplify]: Extracting #3: cost 0 inf + 45 1552480357.241 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1552480357.241 * [simplify]: Simplified (2 2 1 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))))) 1552480357.241 * [simplify]: Simplifying (-.p16 x (real->posit16 1)) 1552480357.241 * * [simplify]: iters left: 2 (4 enodes) 1552480357.242 * * [simplify]: iters left: 1 (16 enodes) 1552480357.245 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480357.245 * * [simplify]: Extracting #1: cost 6 inf + 0 1552480357.245 * * [simplify]: Extracting #2: cost 11 inf + 1 1552480357.245 * * [simplify]: Extracting #3: cost 11 inf + 323 1552480357.245 * * [simplify]: Extracting #4: cost 5 inf + 1491 1552480357.246 * * [simplify]: Extracting #5: cost 1 inf + 3657 1552480357.246 * * [simplify]: Extracting #6: cost 0 inf + 5019 1552480357.246 * [simplify]: Simplified to (-.p16 x (real->posit16 1)) 1552480357.246 * [simplify]: Simplified (2 2 1 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))))) 1552480357.246 * * * * [progress]: [ 22 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1)))))> 1552480357.246 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1552480357.246 * * [simplify]: iters left: 2 (4 enodes) 1552480357.247 * * [simplify]: iters left: 1 (10 enodes) 1552480357.249 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480357.249 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480357.249 * * [simplify]: Extracting #2: cost 3 inf + 1 1552480357.249 * * [simplify]: Extracting #3: cost 0 inf + 45 1552480357.249 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1552480357.249 * [simplify]: Simplified (2 2 1 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))))) 1552480357.249 * [simplify]: Simplifying (-.p16 x (real->posit16 1)) 1552480357.249 * * [simplify]: iters left: 2 (4 enodes) 1552480357.251 * * [simplify]: iters left: 1 (16 enodes) 1552480357.254 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480357.254 * * [simplify]: Extracting #1: cost 6 inf + 0 1552480357.254 * * [simplify]: Extracting #2: cost 11 inf + 1 1552480357.254 * * [simplify]: Extracting #3: cost 11 inf + 323 1552480357.254 * * [simplify]: Extracting #4: cost 5 inf + 1491 1552480357.254 * * [simplify]: Extracting #5: cost 1 inf + 3657 1552480357.255 * * [simplify]: Extracting #6: cost 0 inf + 5019 1552480357.255 * [simplify]: Simplified to (-.p16 x (real->posit16 1)) 1552480357.255 * [simplify]: Simplified (2 2 1 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))))) 1552480357.255 * * * * [progress]: [ 23 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1)))))> 1552480357.255 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1552480357.255 * * [simplify]: iters left: 2 (4 enodes) 1552480357.256 * * [simplify]: iters left: 1 (10 enodes) 1552480357.258 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480357.258 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480357.258 * * [simplify]: Extracting #2: cost 3 inf + 1 1552480357.258 * * [simplify]: Extracting #3: cost 0 inf + 45 1552480357.258 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1552480357.258 * [simplify]: Simplified (2 2 1 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))))) 1552480357.258 * [simplify]: Simplifying (-.p16 x (real->posit16 1)) 1552480357.258 * * [simplify]: iters left: 2 (4 enodes) 1552480357.259 * * [simplify]: iters left: 1 (16 enodes) 1552480357.263 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480357.264 * * [simplify]: Extracting #1: cost 6 inf + 0 1552480357.264 * * [simplify]: Extracting #2: cost 11 inf + 1 1552480357.264 * * [simplify]: Extracting #3: cost 11 inf + 323 1552480357.264 * * [simplify]: Extracting #4: cost 5 inf + 1491 1552480357.264 * * [simplify]: Extracting #5: cost 1 inf + 3657 1552480357.264 * * [simplify]: Extracting #6: cost 0 inf + 5019 1552480357.264 * [simplify]: Simplified to (-.p16 x (real->posit16 1)) 1552480357.264 * [simplify]: Simplified (2 2 1 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))))) 1552480357.264 * * * * [progress]: [ 24 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1)))))> 1552480357.265 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1552480357.265 * * [simplify]: iters left: 2 (4 enodes) 1552480357.266 * * [simplify]: iters left: 1 (10 enodes) 1552480357.267 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480357.267 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480357.267 * * [simplify]: Extracting #2: cost 3 inf + 1 1552480357.268 * * [simplify]: Extracting #3: cost 0 inf + 45 1552480357.268 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1552480357.268 * [simplify]: Simplified (2 2 1 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))))) 1552480357.268 * [simplify]: Simplifying (-.p16 x (real->posit16 1)) 1552480357.268 * * [simplify]: iters left: 2 (4 enodes) 1552480357.269 * * [simplify]: iters left: 1 (16 enodes) 1552480357.272 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480357.272 * * [simplify]: Extracting #1: cost 6 inf + 0 1552480357.272 * * [simplify]: Extracting #2: cost 11 inf + 1 1552480357.272 * * [simplify]: Extracting #3: cost 11 inf + 323 1552480357.272 * * [simplify]: Extracting #4: cost 5 inf + 1491 1552480357.272 * * [simplify]: Extracting #5: cost 1 inf + 3657 1552480357.272 * * [simplify]: Extracting #6: cost 0 inf + 5019 1552480357.273 * [simplify]: Simplified to (-.p16 x (real->posit16 1)) 1552480357.273 * [simplify]: Simplified (2 2 1 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))))) 1552480357.273 * * * * [progress]: [ 25 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 (*.p16 x x) (neg.p16 (*.p16 (real->posit16 1) (real->posit16 1))))) (+.p16 x (real->posit16 1)))))> 1552480357.273 * * * * [progress]: [ 26 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (/.p16 (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) (+.p16 x (real->posit16 1)))))> 1552480357.273 * * * * [progress]: [ 27 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))> 1552480357.273 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1552480357.273 * * [simplify]: iters left: 2 (4 enodes) 1552480357.274 * * [simplify]: iters left: 1 (10 enodes) 1552480357.276 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480357.276 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480357.276 * * [simplify]: Extracting #2: cost 3 inf + 1 1552480357.276 * * [simplify]: Extracting #3: cost 0 inf + 45 1552480357.276 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1552480357.276 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (real->posit16 1) x)))) 1552480357.276 * * * * [progress]: [ 28 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))> 1552480357.276 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1552480357.276 * * [simplify]: iters left: 2 (4 enodes) 1552480357.277 * * [simplify]: iters left: 1 (10 enodes) 1552480357.279 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480357.279 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480357.279 * * [simplify]: Extracting #2: cost 3 inf + 1 1552480357.279 * * [simplify]: Extracting #3: cost 0 inf + 45 1552480357.279 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1552480357.279 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (real->posit16 1) x)))) 1552480357.279 * * * * [progress]: [ 29 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))> 1552480357.279 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1552480357.279 * * [simplify]: iters left: 2 (4 enodes) 1552480357.280 * * [simplify]: iters left: 1 (10 enodes) 1552480357.282 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480357.282 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480357.282 * * [simplify]: Extracting #2: cost 3 inf + 1 1552480357.282 * * [simplify]: Extracting #3: cost 0 inf + 45 1552480357.282 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1552480357.283 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (real->posit16 1) x)))) 1552480357.283 * * * * [progress]: [ 30 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))> 1552480357.283 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1552480357.283 * * [simplify]: iters left: 2 (4 enodes) 1552480357.284 * * [simplify]: iters left: 1 (10 enodes) 1552480357.286 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480357.286 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480357.286 * * [simplify]: Extracting #2: cost 3 inf + 1 1552480357.286 * * [simplify]: Extracting #3: cost 0 inf + 45 1552480357.286 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1552480357.286 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (real->posit16 1) x)))) 1552480357.286 * * * [progress]: adding candidates to table 1552480359.356 * * [progress]: iteration 4 / 4 1552480359.356 * * * [progress]: picking best candidate 1552480359.583 * * * * [pick]: Picked #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))> 1552480359.583 * * * [progress]: localizing error 1552480359.744 * * * [progress]: generating rewritten candidates 1552480359.744 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1552480359.781 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 1552480359.808 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1552480359.814 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 1552480359.826 * * * [progress]: generating series expansions 1552480359.826 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1552480359.826 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 1552480359.826 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1552480359.826 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 1552480359.826 * * * [progress]: simplifying candidates 1552480359.826 * * * * [progress]: [ 1 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))> 1552480359.827 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552480359.827 * * [simplify]: iters left: 3 (5 enodes) 1552480359.829 * * [simplify]: iters left: 2 (11 enodes) 1552480359.833 * * [simplify]: iters left: 1 (13 enodes) 1552480359.838 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480359.838 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480359.838 * * [simplify]: Extracting #2: cost 5 inf + 0 1552480359.838 * * [simplify]: Extracting #3: cost 3 inf + 2 1552480359.838 * * [simplify]: Extracting #4: cost 0 inf + 527 1552480359.838 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552480359.838 * [simplify]: Simplified (2 1) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))) 1552480359.838 * * * * [progress]: [ 2 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))> 1552480359.839 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552480359.839 * * [simplify]: iters left: 3 (5 enodes) 1552480359.841 * * [simplify]: iters left: 2 (11 enodes) 1552480359.845 * * [simplify]: iters left: 1 (13 enodes) 1552480359.850 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480359.850 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480359.850 * * [simplify]: Extracting #2: cost 5 inf + 0 1552480359.850 * * [simplify]: Extracting #3: cost 3 inf + 2 1552480359.850 * * [simplify]: Extracting #4: cost 0 inf + 527 1552480359.850 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552480359.850 * [simplify]: Simplified (2 1) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))) 1552480359.850 * * * * [progress]: [ 3 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))> 1552480359.850 * * * * [progress]: [ 4 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1)))))> 1552480359.851 * [simplify]: Simplifying (-.p16 x (real->posit16 1)) 1552480359.851 * * [simplify]: iters left: 2 (4 enodes) 1552480359.853 * * [simplify]: iters left: 1 (16 enodes) 1552480359.859 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480359.859 * * [simplify]: Extracting #1: cost 6 inf + 0 1552480359.859 * * [simplify]: Extracting #2: cost 11 inf + 1 1552480359.860 * * [simplify]: Extracting #3: cost 11 inf + 323 1552480359.860 * * [simplify]: Extracting #4: cost 5 inf + 1491 1552480359.860 * * [simplify]: Extracting #5: cost 1 inf + 3657 1552480359.861 * * [simplify]: Extracting #6: cost 0 inf + 5019 1552480359.861 * [simplify]: Simplified to (-.p16 x (real->posit16 1)) 1552480359.861 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))))) 1552480359.861 * * * * [progress]: [ 5 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1)))))> 1552480359.861 * [simplify]: Simplifying (-.p16 x (real->posit16 1)) 1552480359.862 * * [simplify]: iters left: 2 (4 enodes) 1552480359.864 * * [simplify]: iters left: 1 (16 enodes) 1552480359.870 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480359.870 * * [simplify]: Extracting #1: cost 6 inf + 0 1552480359.870 * * [simplify]: Extracting #2: cost 11 inf + 1 1552480359.870 * * [simplify]: Extracting #3: cost 11 inf + 323 1552480359.870 * * [simplify]: Extracting #4: cost 5 inf + 1491 1552480359.871 * * [simplify]: Extracting #5: cost 1 inf + 3657 1552480359.871 * * [simplify]: Extracting #6: cost 0 inf + 5019 1552480359.874 * [simplify]: Simplified to (-.p16 x (real->posit16 1)) 1552480359.874 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))))) 1552480359.875 * * * * [progress]: [ 6 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1)))))> 1552480359.875 * [simplify]: Simplifying (-.p16 x (real->posit16 1)) 1552480359.875 * * [simplify]: iters left: 2 (4 enodes) 1552480359.878 * * [simplify]: iters left: 1 (16 enodes) 1552480359.883 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480359.883 * * [simplify]: Extracting #1: cost 6 inf + 0 1552480359.884 * * [simplify]: Extracting #2: cost 11 inf + 1 1552480359.884 * * [simplify]: Extracting #3: cost 11 inf + 323 1552480359.884 * * [simplify]: Extracting #4: cost 5 inf + 1491 1552480359.884 * * [simplify]: Extracting #5: cost 1 inf + 3657 1552480359.885 * * [simplify]: Extracting #6: cost 0 inf + 5019 1552480359.885 * [simplify]: Simplified to (-.p16 x (real->posit16 1)) 1552480359.885 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))))) 1552480359.885 * * * * [progress]: [ 7 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1)))))> 1552480359.886 * [simplify]: Simplifying (-.p16 x (real->posit16 1)) 1552480359.886 * * [simplify]: iters left: 2 (4 enodes) 1552480359.888 * * [simplify]: iters left: 1 (16 enodes) 1552480359.894 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480359.894 * * [simplify]: Extracting #1: cost 6 inf + 0 1552480359.894 * * [simplify]: Extracting #2: cost 11 inf + 1 1552480359.894 * * [simplify]: Extracting #3: cost 11 inf + 323 1552480359.894 * * [simplify]: Extracting #4: cost 5 inf + 1491 1552480359.895 * * [simplify]: Extracting #5: cost 1 inf + 3657 1552480359.895 * * [simplify]: Extracting #6: cost 0 inf + 5019 1552480359.896 * [simplify]: Simplified to (-.p16 x (real->posit16 1)) 1552480359.896 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))))) 1552480359.896 * * * * [progress]: [ 8 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (/.p16 (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) (+.p16 x (real->posit16 1))))))> 1552480359.896 * [simplify]: Simplifying (real->posit16 1) 1552480359.896 * * [simplify]: iters left: 1 (2 enodes) 1552480359.898 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480359.898 * * [simplify]: Extracting #1: cost 2 inf + 0 1552480359.898 * * [simplify]: Extracting #2: cost 1 inf + 1 1552480359.898 * * [simplify]: Extracting #3: cost 0 inf + 2 1552480359.898 * [simplify]: Simplified to (real->posit16 1) 1552480359.898 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (/.p16 (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) (+.p16 x (real->posit16 1)))))) 1552480359.898 * * * * [progress]: [ 9 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (+.p16 x (real->posit16 1)) (/.p16 (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) (real->posit16 1)))))> 1552480359.899 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1552480359.899 * * [simplify]: iters left: 2 (4 enodes) 1552480359.901 * * [simplify]: iters left: 1 (10 enodes) 1552480359.905 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480359.905 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480359.905 * * [simplify]: Extracting #2: cost 3 inf + 1 1552480359.905 * * [simplify]: Extracting #3: cost 0 inf + 45 1552480359.905 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1552480359.905 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (+.p16 (real->posit16 1) x) (/.p16 (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) (real->posit16 1))))) 1552480359.905 * * * * [progress]: [ 10 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))> 1552480359.905 * [simplify]: Simplifying (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) 1552480359.905 * * [simplify]: iters left: 3 (6 enodes) 1552480359.909 * * [simplify]: iters left: 2 (12 enodes) 1552480359.911 * * [simplify]: iters left: 1 (14 enodes) 1552480359.914 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480359.914 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480359.914 * * [simplify]: Extracting #2: cost 5 inf + 0 1552480359.914 * * [simplify]: Extracting #3: cost 5 inf + 1 1552480359.914 * * [simplify]: Extracting #4: cost 0 inf + 1327 1552480359.914 * [simplify]: Simplified to (+.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 x x)) 1552480359.914 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (+.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 x x))))) 1552480359.914 * * * * [progress]: [ 11 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))))))> 1552480359.915 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552480359.915 * * [simplify]: iters left: 3 (5 enodes) 1552480359.916 * * [simplify]: iters left: 2 (11 enodes) 1552480359.918 * * [simplify]: iters left: 1 (13 enodes) 1552480359.920 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480359.920 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480359.920 * * [simplify]: Extracting #2: cost 5 inf + 0 1552480359.920 * * [simplify]: Extracting #3: cost 3 inf + 2 1552480359.920 * * [simplify]: Extracting #4: cost 0 inf + 527 1552480359.921 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552480359.921 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))))) 1552480359.921 * [simplify]: Simplifying (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))) 1552480359.921 * * [simplify]: iters left: 3 (6 enodes) 1552480359.922 * * [simplify]: iters left: 2 (18 enodes) 1552480359.926 * * [simplify]: iters left: 1 (31 enodes) 1552480359.932 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480359.932 * * [simplify]: Extracting #1: cost 10 inf + 0 1552480359.932 * * [simplify]: Extracting #2: cost 26 inf + 0 1552480359.932 * * [simplify]: Extracting #3: cost 31 inf + 1 1552480359.932 * * [simplify]: Extracting #4: cost 35 inf + 323 1552480359.933 * * [simplify]: Extracting #5: cost 17 inf + 8069 1552480359.934 * * [simplify]: Extracting #6: cost 0 inf + 25900 1552480359.935 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1))) 1552480359.935 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))))) 1552480359.935 * * * * [progress]: [ 12 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))))))> 1552480359.935 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552480359.935 * * [simplify]: iters left: 3 (5 enodes) 1552480359.937 * * [simplify]: iters left: 2 (11 enodes) 1552480359.939 * * [simplify]: iters left: 1 (13 enodes) 1552480359.941 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480359.941 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480359.941 * * [simplify]: Extracting #2: cost 5 inf + 0 1552480359.941 * * [simplify]: Extracting #3: cost 3 inf + 2 1552480359.941 * * [simplify]: Extracting #4: cost 0 inf + 527 1552480359.941 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552480359.941 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))))) 1552480359.941 * [simplify]: Simplifying (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))) 1552480359.942 * * [simplify]: iters left: 3 (6 enodes) 1552480359.943 * * [simplify]: iters left: 2 (18 enodes) 1552480359.948 * * [simplify]: iters left: 1 (31 enodes) 1552480359.960 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480359.960 * * [simplify]: Extracting #1: cost 10 inf + 0 1552480359.960 * * [simplify]: Extracting #2: cost 26 inf + 0 1552480359.960 * * [simplify]: Extracting #3: cost 31 inf + 1 1552480359.961 * * [simplify]: Extracting #4: cost 35 inf + 323 1552480359.961 * * [simplify]: Extracting #5: cost 17 inf + 8069 1552480359.963 * * [simplify]: Extracting #6: cost 0 inf + 25900 1552480359.965 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1))) 1552480359.965 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))))) 1552480359.965 * * * * [progress]: [ 13 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))))))> 1552480359.965 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552480359.966 * * [simplify]: iters left: 3 (5 enodes) 1552480359.968 * * [simplify]: iters left: 2 (11 enodes) 1552480359.972 * * [simplify]: iters left: 1 (13 enodes) 1552480359.976 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480359.976 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480359.976 * * [simplify]: Extracting #2: cost 5 inf + 0 1552480359.976 * * [simplify]: Extracting #3: cost 3 inf + 2 1552480359.976 * * [simplify]: Extracting #4: cost 0 inf + 527 1552480359.976 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552480359.976 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))))) 1552480359.976 * [simplify]: Simplifying (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))) 1552480359.977 * * [simplify]: iters left: 3 (6 enodes) 1552480359.980 * * [simplify]: iters left: 2 (18 enodes) 1552480359.986 * * [simplify]: iters left: 1 (31 enodes) 1552480359.997 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480359.997 * * [simplify]: Extracting #1: cost 10 inf + 0 1552480359.998 * * [simplify]: Extracting #2: cost 26 inf + 0 1552480359.998 * * [simplify]: Extracting #3: cost 31 inf + 1 1552480359.998 * * [simplify]: Extracting #4: cost 35 inf + 323 1552480359.999 * * [simplify]: Extracting #5: cost 17 inf + 8069 1552480360.001 * * [simplify]: Extracting #6: cost 0 inf + 25900 1552480360.005 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1))) 1552480360.005 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))))) 1552480360.005 * * * * [progress]: [ 14 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))))))> 1552480360.006 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552480360.006 * * [simplify]: iters left: 3 (5 enodes) 1552480360.009 * * [simplify]: iters left: 2 (11 enodes) 1552480360.012 * * [simplify]: iters left: 1 (13 enodes) 1552480360.015 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480360.016 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480360.016 * * [simplify]: Extracting #2: cost 5 inf + 0 1552480360.016 * * [simplify]: Extracting #3: cost 3 inf + 2 1552480360.016 * * [simplify]: Extracting #4: cost 0 inf + 527 1552480360.016 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552480360.016 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))))) 1552480360.016 * [simplify]: Simplifying (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))) 1552480360.016 * * [simplify]: iters left: 3 (6 enodes) 1552480360.019 * * [simplify]: iters left: 2 (18 enodes) 1552480360.025 * * [simplify]: iters left: 1 (31 enodes) 1552480360.036 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480360.036 * * [simplify]: Extracting #1: cost 10 inf + 0 1552480360.036 * * [simplify]: Extracting #2: cost 26 inf + 0 1552480360.036 * * [simplify]: Extracting #3: cost 31 inf + 1 1552480360.036 * * [simplify]: Extracting #4: cost 35 inf + 323 1552480360.037 * * [simplify]: Extracting #5: cost 17 inf + 8069 1552480360.038 * * [simplify]: Extracting #6: cost 0 inf + 25900 1552480360.040 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1))) 1552480360.040 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))))) 1552480360.040 * * * * [progress]: [ 15 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> 1552480360.040 * [simplify]: Simplifying (/.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))) 1552480360.040 * * [simplify]: iters left: 3 (5 enodes) 1552480360.043 * * [simplify]: iters left: 2 (13 enodes) 1552480360.047 * * [simplify]: iters left: 1 (16 enodes) 1552480360.051 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480360.051 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480360.052 * * [simplify]: Extracting #2: cost 4 inf + 1 1552480360.052 * * [simplify]: Extracting #3: cost 3 inf + 3 1552480360.052 * * [simplify]: Extracting #4: cost 0 inf + 47 1552480360.052 * [simplify]: Simplified to (real->posit16 1.0) 1552480360.052 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (real->posit16 1.0) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) 1552480360.052 * [simplify]: Simplifying (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) 1552480360.052 * * [simplify]: iters left: 3 (5 enodes) 1552480360.054 * * [simplify]: iters left: 2 (17 enodes) 1552480360.060 * * [simplify]: iters left: 1 (31 enodes) 1552480360.070 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480360.070 * * [simplify]: Extracting #1: cost 11 inf + 0 1552480360.070 * * [simplify]: Extracting #2: cost 28 inf + 0 1552480360.071 * * [simplify]: Extracting #3: cost 29 inf + 324 1552480360.071 * * [simplify]: Extracting #4: cost 22 inf + 6266 1552480360.072 * * [simplify]: Extracting #5: cost 3 inf + 23256 1552480360.074 * * [simplify]: Extracting #6: cost 0 inf + 26382 1552480360.076 * * [simplify]: Extracting #7: cost 0 inf + 25822 1552480360.077 * [simplify]: Simplified to (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) 1552480360.078 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (real->posit16 1.0) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) 1552480360.078 * * * * [progress]: [ 16 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> 1552480360.078 * [simplify]: Simplifying (/.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))) 1552480360.078 * * [simplify]: iters left: 3 (5 enodes) 1552480360.081 * * [simplify]: iters left: 2 (13 enodes) 1552480360.085 * * [simplify]: iters left: 1 (16 enodes) 1552480360.090 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480360.090 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480360.090 * * [simplify]: Extracting #2: cost 4 inf + 1 1552480360.090 * * [simplify]: Extracting #3: cost 3 inf + 3 1552480360.090 * * [simplify]: Extracting #4: cost 0 inf + 47 1552480360.091 * [simplify]: Simplified to (real->posit16 1.0) 1552480360.091 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (real->posit16 1.0) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) 1552480360.091 * [simplify]: Simplifying (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) 1552480360.091 * * [simplify]: iters left: 3 (5 enodes) 1552480360.094 * * [simplify]: iters left: 2 (17 enodes) 1552480360.099 * * [simplify]: iters left: 1 (31 enodes) 1552480360.104 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480360.105 * * [simplify]: Extracting #1: cost 11 inf + 0 1552480360.105 * * [simplify]: Extracting #2: cost 28 inf + 0 1552480360.105 * * [simplify]: Extracting #3: cost 29 inf + 324 1552480360.105 * * [simplify]: Extracting #4: cost 22 inf + 6266 1552480360.106 * * [simplify]: Extracting #5: cost 3 inf + 23256 1552480360.107 * * [simplify]: Extracting #6: cost 0 inf + 26382 1552480360.108 * * [simplify]: Extracting #7: cost 0 inf + 25822 1552480360.109 * [simplify]: Simplified to (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) 1552480360.109 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (real->posit16 1.0) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) 1552480360.109 * * * * [progress]: [ 17 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> 1552480360.109 * [simplify]: Simplifying (/.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))) 1552480360.109 * * [simplify]: iters left: 3 (5 enodes) 1552480360.110 * * [simplify]: iters left: 2 (13 enodes) 1552480360.113 * * [simplify]: iters left: 1 (16 enodes) 1552480360.115 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480360.115 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480360.115 * * [simplify]: Extracting #2: cost 4 inf + 1 1552480360.115 * * [simplify]: Extracting #3: cost 3 inf + 3 1552480360.115 * * [simplify]: Extracting #4: cost 0 inf + 47 1552480360.115 * [simplify]: Simplified to (real->posit16 1.0) 1552480360.115 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (real->posit16 1.0) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) 1552480360.116 * [simplify]: Simplifying (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) 1552480360.116 * * [simplify]: iters left: 3 (5 enodes) 1552480360.117 * * [simplify]: iters left: 2 (17 enodes) 1552480360.120 * * [simplify]: iters left: 1 (31 enodes) 1552480360.127 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480360.127 * * [simplify]: Extracting #1: cost 11 inf + 0 1552480360.127 * * [simplify]: Extracting #2: cost 28 inf + 0 1552480360.127 * * [simplify]: Extracting #3: cost 29 inf + 324 1552480360.128 * * [simplify]: Extracting #4: cost 22 inf + 6266 1552480360.128 * * [simplify]: Extracting #5: cost 3 inf + 23256 1552480360.129 * * [simplify]: Extracting #6: cost 0 inf + 26382 1552480360.130 * * [simplify]: Extracting #7: cost 0 inf + 25822 1552480360.131 * [simplify]: Simplified to (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) 1552480360.131 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (real->posit16 1.0) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) 1552480360.132 * * * * [progress]: [ 18 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> 1552480360.132 * [simplify]: Simplifying (/.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))) 1552480360.132 * * [simplify]: iters left: 3 (5 enodes) 1552480360.133 * * [simplify]: iters left: 2 (13 enodes) 1552480360.136 * * [simplify]: iters left: 1 (16 enodes) 1552480360.138 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480360.138 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480360.138 * * [simplify]: Extracting #2: cost 4 inf + 1 1552480360.138 * * [simplify]: Extracting #3: cost 3 inf + 3 1552480360.138 * * [simplify]: Extracting #4: cost 0 inf + 47 1552480360.138 * [simplify]: Simplified to (real->posit16 1.0) 1552480360.138 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (real->posit16 1.0) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) 1552480360.138 * [simplify]: Simplifying (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) 1552480360.138 * * [simplify]: iters left: 3 (5 enodes) 1552480360.140 * * [simplify]: iters left: 2 (17 enodes) 1552480360.143 * * [simplify]: iters left: 1 (31 enodes) 1552480360.148 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480360.148 * * [simplify]: Extracting #1: cost 11 inf + 0 1552480360.149 * * [simplify]: Extracting #2: cost 28 inf + 0 1552480360.149 * * [simplify]: Extracting #3: cost 29 inf + 324 1552480360.149 * * [simplify]: Extracting #4: cost 22 inf + 6266 1552480360.150 * * [simplify]: Extracting #5: cost 3 inf + 23256 1552480360.151 * * [simplify]: Extracting #6: cost 0 inf + 26382 1552480360.152 * * [simplify]: Extracting #7: cost 0 inf + 25822 1552480360.153 * [simplify]: Simplified to (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) 1552480360.153 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (real->posit16 1.0) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) 1552480360.153 * * * * [progress]: [ 19 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 2) x))) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))> 1552480360.153 * * * * [progress]: [ 20 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))> 1552480360.153 * * * * [progress]: [ 21 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))))))> 1552480360.153 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1552480360.153 * * [simplify]: iters left: 2 (4 enodes) 1552480360.154 * * [simplify]: iters left: 1 (10 enodes) 1552480360.156 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480360.156 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480360.156 * * [simplify]: Extracting #2: cost 3 inf + 1 1552480360.156 * * [simplify]: Extracting #3: cost 0 inf + 45 1552480360.156 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1552480360.156 * [simplify]: Simplified (2 2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))))) 1552480360.156 * [simplify]: Simplifying (-.p16 x (real->posit16 1)) 1552480360.156 * * [simplify]: iters left: 2 (4 enodes) 1552480360.157 * * [simplify]: iters left: 1 (16 enodes) 1552480360.160 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480360.160 * * [simplify]: Extracting #1: cost 6 inf + 0 1552480360.160 * * [simplify]: Extracting #2: cost 11 inf + 1 1552480360.160 * * [simplify]: Extracting #3: cost 11 inf + 323 1552480360.160 * * [simplify]: Extracting #4: cost 5 inf + 1491 1552480360.160 * * [simplify]: Extracting #5: cost 1 inf + 3657 1552480360.161 * * [simplify]: Extracting #6: cost 0 inf + 5019 1552480360.161 * [simplify]: Simplified to (-.p16 x (real->posit16 1)) 1552480360.161 * [simplify]: Simplified (2 2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))))) 1552480360.161 * * * * [progress]: [ 22 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))))))> 1552480360.161 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1552480360.161 * * [simplify]: iters left: 2 (4 enodes) 1552480360.162 * * [simplify]: iters left: 1 (10 enodes) 1552480360.164 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480360.164 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480360.164 * * [simplify]: Extracting #2: cost 3 inf + 1 1552480360.164 * * [simplify]: Extracting #3: cost 0 inf + 45 1552480360.164 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1552480360.164 * [simplify]: Simplified (2 2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))))) 1552480360.164 * [simplify]: Simplifying (-.p16 x (real->posit16 1)) 1552480360.164 * * [simplify]: iters left: 2 (4 enodes) 1552480360.165 * * [simplify]: iters left: 1 (16 enodes) 1552480360.168 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480360.168 * * [simplify]: Extracting #1: cost 6 inf + 0 1552480360.168 * * [simplify]: Extracting #2: cost 11 inf + 1 1552480360.168 * * [simplify]: Extracting #3: cost 11 inf + 323 1552480360.168 * * [simplify]: Extracting #4: cost 5 inf + 1491 1552480360.168 * * [simplify]: Extracting #5: cost 1 inf + 3657 1552480360.169 * * [simplify]: Extracting #6: cost 0 inf + 5019 1552480360.169 * [simplify]: Simplified to (-.p16 x (real->posit16 1)) 1552480360.169 * [simplify]: Simplified (2 2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))))) 1552480360.169 * * * * [progress]: [ 23 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))))))> 1552480360.169 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1552480360.169 * * [simplify]: iters left: 2 (4 enodes) 1552480360.170 * * [simplify]: iters left: 1 (10 enodes) 1552480360.172 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480360.172 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480360.172 * * [simplify]: Extracting #2: cost 3 inf + 1 1552480360.172 * * [simplify]: Extracting #3: cost 0 inf + 45 1552480360.172 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1552480360.172 * [simplify]: Simplified (2 2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))))) 1552480360.172 * [simplify]: Simplifying (-.p16 x (real->posit16 1)) 1552480360.172 * * [simplify]: iters left: 2 (4 enodes) 1552480360.174 * * [simplify]: iters left: 1 (16 enodes) 1552480360.176 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480360.176 * * [simplify]: Extracting #1: cost 6 inf + 0 1552480360.176 * * [simplify]: Extracting #2: cost 11 inf + 1 1552480360.177 * * [simplify]: Extracting #3: cost 11 inf + 323 1552480360.177 * * [simplify]: Extracting #4: cost 5 inf + 1491 1552480360.177 * * [simplify]: Extracting #5: cost 1 inf + 3657 1552480360.177 * * [simplify]: Extracting #6: cost 0 inf + 5019 1552480360.177 * [simplify]: Simplified to (-.p16 x (real->posit16 1)) 1552480360.177 * [simplify]: Simplified (2 2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))))) 1552480360.177 * * * * [progress]: [ 24 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))))))> 1552480360.177 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1552480360.178 * * [simplify]: iters left: 2 (4 enodes) 1552480360.179 * * [simplify]: iters left: 1 (10 enodes) 1552480360.180 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480360.180 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480360.180 * * [simplify]: Extracting #2: cost 3 inf + 1 1552480360.180 * * [simplify]: Extracting #3: cost 0 inf + 45 1552480360.180 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1552480360.180 * [simplify]: Simplified (2 2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))))) 1552480360.181 * [simplify]: Simplifying (-.p16 x (real->posit16 1)) 1552480360.181 * * [simplify]: iters left: 2 (4 enodes) 1552480360.182 * * [simplify]: iters left: 1 (16 enodes) 1552480360.185 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480360.185 * * [simplify]: Extracting #1: cost 6 inf + 0 1552480360.185 * * [simplify]: Extracting #2: cost 11 inf + 1 1552480360.185 * * [simplify]: Extracting #3: cost 11 inf + 323 1552480360.185 * * [simplify]: Extracting #4: cost 5 inf + 1491 1552480360.185 * * [simplify]: Extracting #5: cost 1 inf + 3657 1552480360.185 * * [simplify]: Extracting #6: cost 0 inf + 5019 1552480360.186 * [simplify]: Simplified to (-.p16 x (real->posit16 1)) 1552480360.186 * [simplify]: Simplified (2 2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))))) 1552480360.186 * * * * [progress]: [ 25 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (*.p16 x x) (neg.p16 (*.p16 (real->posit16 1) (real->posit16 1)))))))> 1552480360.186 * * * * [progress]: [ 26 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))> 1552480360.186 * * * * [progress]: [ 27 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))> 1552480360.186 * [simplify]: Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552480360.186 * * [simplify]: iters left: 3 (5 enodes) 1552480360.188 * * [simplify]: iters left: 2 (17 enodes) 1552480360.191 * * [simplify]: iters left: 1 (21 enodes) 1552480360.194 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480360.194 * * [simplify]: Extracting #1: cost 5 inf + 0 1552480360.194 * * [simplify]: Extracting #2: cost 7 inf + 0 1552480360.194 * * [simplify]: Extracting #3: cost 5 inf + 2 1552480360.194 * * [simplify]: Extracting #4: cost 0 inf + 1050 1552480360.194 * [simplify]: Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552480360.194 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) 1552480360.194 * * * * [progress]: [ 28 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))> 1552480360.194 * [simplify]: Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552480360.194 * * [simplify]: iters left: 3 (5 enodes) 1552480360.195 * * [simplify]: iters left: 2 (17 enodes) 1552480360.198 * * [simplify]: iters left: 1 (21 enodes) 1552480360.201 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480360.201 * * [simplify]: Extracting #1: cost 5 inf + 0 1552480360.201 * * [simplify]: Extracting #2: cost 7 inf + 0 1552480360.201 * * [simplify]: Extracting #3: cost 5 inf + 2 1552480360.201 * * [simplify]: Extracting #4: cost 0 inf + 1050 1552480360.202 * [simplify]: Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552480360.202 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) 1552480360.202 * * * * [progress]: [ 29 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))> 1552480360.202 * [simplify]: Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552480360.202 * * [simplify]: iters left: 3 (5 enodes) 1552480360.205 * * [simplify]: iters left: 2 (17 enodes) 1552480360.208 * * [simplify]: iters left: 1 (21 enodes) 1552480360.210 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480360.210 * * [simplify]: Extracting #1: cost 5 inf + 0 1552480360.210 * * [simplify]: Extracting #2: cost 7 inf + 0 1552480360.210 * * [simplify]: Extracting #3: cost 5 inf + 2 1552480360.211 * * [simplify]: Extracting #4: cost 0 inf + 1050 1552480360.211 * [simplify]: Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552480360.211 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) 1552480360.211 * * * * [progress]: [ 30 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))> 1552480360.211 * [simplify]: Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552480360.211 * * [simplify]: iters left: 3 (5 enodes) 1552480360.212 * * [simplify]: iters left: 2 (17 enodes) 1552480360.215 * * [simplify]: iters left: 1 (21 enodes) 1552480360.218 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480360.218 * * [simplify]: Extracting #1: cost 5 inf + 0 1552480360.218 * * [simplify]: Extracting #2: cost 7 inf + 0 1552480360.218 * * [simplify]: Extracting #3: cost 5 inf + 2 1552480360.218 * * [simplify]: Extracting #4: cost 0 inf + 1050 1552480360.218 * [simplify]: Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552480360.218 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) 1552480360.218 * * * [progress]: adding candidates to table 1552480361.884 * [progress]: [Phase 3 of 3] Extracting. 1552480361.884 * * [regime]: Finding splitpoints for: (#posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))> #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))))> #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))))> #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (*.p16 (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) (+.p16 x (real->posit16 1))))))> #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))))> #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))> #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))))))> #posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))>) 1552480361.886 * * * [regime-changes]: Trying 1 branch expressions: (x) 1552480361.886 * * * * [regimes]: Trying to branch on x from (#posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))> #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))))> #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))))> #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (*.p16 (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) (+.p16 x (real->posit16 1))))))> #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))))> #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))> #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))))))> #posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))>) 1552480362.376 * * * [regime]: Found split indices: #