51.638 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.004 * * * * [points]: Setting MPFR precision to 64 0.005 * * * * [points]: Setting MPFR precision to 320 0.006 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.008 * * * * [points]: Setting MPFR precision to 64 0.009 * * * * [points]: Setting MPFR precision to 320 0.011 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.012 * * * * [points]: Setting MPFR precision to 64 0.015 * * * * [points]: Setting MPFR precision to 320 0.018 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.020 * * * * [points]: Setting MPFR precision to 64 0.025 * * * * [points]: Setting MPFR precision to 320 0.045 * * * * [points]: Computing exacts for 256 points 0.047 * * * * [points]: Setting MPFR precision to 64 0.073 * * * * [points]: Setting MPFR precision to 320 0.099 * * * * [points]: Filtering points with unrepresentable outputs 0.099 * * * * [points]: Sampled 256 points with exact outputs 0.099 * * * [progress]: [2/2] Setting up program. 0.105 * [progress]: [Phase 2 of 3] Improving. 0.105 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.105 * [simplify]: Simplifying: (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)) 0.105 * * [simplify]: iteration 0: 11 enodes 0.107 * * [simplify]: iteration 1: 20 enodes 0.111 * * [simplify]: iteration 2: 49 enodes 0.120 * * [simplify]: iteration 3: 107 enodes 0.141 * * [simplify]: iteration 4: 220 enodes 0.240 * * [simplify]: iteration 5: 586 enodes 0.579 * * [simplify]: iteration 6: 1308 enodes 2.126 * * [simplify]: iteration 7: 3127 enodes 3.878 * * [simplify]: iteration 8: 4615 enodes 4.314 * * [simplify]: iteration complete: 5001 enodes 4.315 * * [simplify]: Extracting #0: cost 1 inf + 0 4.315 * * [simplify]: Extracting #1: cost 109 inf + 0 4.316 * * [simplify]: Extracting #2: cost 365 inf + 82 4.319 * * [simplify]: Extracting #3: cost 360 inf + 55771 4.331 * * [simplify]: Extracting #4: cost 147 inf + 194194 4.367 * * [simplify]: Extracting #5: cost 23 inf + 305366 4.400 * * [simplify]: Extracting #6: cost 0 inf + 329843 4.448 * * [simplify]: Extracting #7: cost 0 inf + 329685 4.496 * [simplify]: Simplified to: (*.p16 x.im (+.p16 (*.p16 x.re x.re) (+.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) (*.p16 x.re x.re)))) 4.508 * * [progress]: iteration 1 / 4 4.508 * * * [progress]: picking best candidate 4.526 * * * * [pick]: Picked # 4.526 * * * [progress]: localizing error 4.816 * * * [progress]: generating rewritten candidates 4.816 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 4.824 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 4.829 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 4.833 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 4.836 * * * [progress]: generating series expansions 4.836 * * * * [progress]: [ 1 / 4 ] generating series at (2) 4.836 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 4.836 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 4.836 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 4.836 * * * [progress]: simplifying candidates 4.836 * * * * [progress]: [ 1 / 68 ] simplifiying candidate #posit16 0.0)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.836 * * * * [progress]: [ 2 / 68 ] simplifiying candidate #posit16 0.0)))> 4.836 * * * * [progress]: [ 3 / 68 ] simplifiying candidate #posit16 0.0) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 4.836 * * * * [progress]: [ 4 / 68 ] simplifiying candidate #posit16 0.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 4.836 * * * * [progress]: [ 5 / 68 ] simplifiying candidate #posit16 0.0)))> 4.836 * * * * [progress]: [ 6 / 68 ] simplifiying candidate #posit16 0.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 4.836 * * * * [progress]: [ 7 / 68 ] simplifiying candidate #posit16 1.0) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 4.837 * * * * [progress]: [ 8 / 68 ] simplifiying candidate #posit16 (posit16->quire16 (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))))> 4.837 * * * * [progress]: [ 9 / 68 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re) (real->posit16 1.0))))> 4.837 * * * * [progress]: [ 10 / 68 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im)) (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.837 * * * * [progress]: [ 11 / 68 ] simplifiying candidate #posit16 0.0) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 4.837 * * * * [progress]: [ 12 / 68 ] simplifiying candidate #posit16 0.0)))> 4.837 * * * * [progress]: [ 13 / 68 ] simplifiying candidate #posit16 0.0)))> 4.837 * * * * [progress]: [ 14 / 68 ] simplifiying candidate #posit16 1.0) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 4.837 * * * * [progress]: [ 15 / 68 ] simplifiying candidate #posit16 1.0)))> 4.837 * * * * [progress]: [ 16 / 68 ] simplifiying candidate #posit16 1.0)))> 4.837 * * * * [progress]: [ 17 / 68 ] simplifiying candidate # 4.837 * * * * [progress]: [ 18 / 68 ] simplifiying candidate # 4.837 * * * * [progress]: [ 19 / 68 ] simplifiying candidate #posit16 0.0)) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.837 * * * * [progress]: [ 20 / 68 ] simplifiying candidate #posit16 0.0)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.837 * * * * [progress]: [ 21 / 68 ] simplifiying candidate #posit16 0.0) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.837 * * * * [progress]: [ 22 / 68 ] simplifiying candidate #posit16 0.0) (*.p16 x.im x.im))) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.837 * * * * [progress]: [ 23 / 68 ] simplifiying candidate #posit16 0.0) (*.p16 x.im x.im))) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.837 * * * * [progress]: [ 24 / 68 ] simplifiying candidate #posit16 0.0)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.837 * * * * [progress]: [ 25 / 68 ] simplifiying candidate # 4.837 * * * * [progress]: [ 26 / 68 ] simplifiying candidate # 4.837 * * * * [progress]: [ 27 / 68 ] simplifiying candidate #posit16 1.0) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.837 * * * * [progress]: [ 28 / 68 ] simplifiying candidate #posit16 (posit16->quire16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.837 * * * * [progress]: [ 29 / 68 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) (*.p16 x.im x.im) (real->posit16 1.0))) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.837 * * * * [progress]: [ 30 / 68 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.837 * * * * [progress]: [ 31 / 68 ] simplifiying candidate #posit16 0.0) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.837 * * * * [progress]: [ 32 / 68 ] simplifiying candidate #posit16 0.0)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.837 * * * * [progress]: [ 33 / 68 ] simplifiying candidate #posit16 0.0)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.837 * * * * [progress]: [ 34 / 68 ] simplifiying candidate #posit16 1.0) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.838 * * * * [progress]: [ 35 / 68 ] simplifiying candidate #posit16 1.0)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.838 * * * * [progress]: [ 36 / 68 ] simplifiying candidate #posit16 1.0)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.838 * * * * [progress]: [ 37 / 68 ] simplifiying candidate # 4.838 * * * * [progress]: [ 38 / 68 ] simplifiying candidate #posit16 1.0) (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.838 * * * * [progress]: [ 39 / 68 ] simplifiying candidate #posit16 1.0) (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.838 * * * * [progress]: [ 40 / 68 ] simplifiying candidate #posit16 1.0) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.838 * * * * [progress]: [ 41 / 68 ] simplifiying candidate # 4.838 * * * * [progress]: [ 42 / 68 ] simplifiying candidate #posit16 1.0)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.838 * * * * [progress]: [ 43 / 68 ] simplifiying candidate #posit16 1.0) (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.838 * * * * [progress]: [ 44 / 68 ] simplifiying candidate #posit16 (posit16->quire16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.838 * * * * [progress]: [ 45 / 68 ] simplifiying candidate #posit16 0.0) (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.838 * * * * [progress]: [ 46 / 68 ] simplifiying candidate #posit16 0.0)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.838 * * * * [progress]: [ 47 / 68 ] simplifiying candidate #posit16 0.0)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.838 * * * * [progress]: [ 48 / 68 ] simplifiying candidate #posit16 1.0) (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.838 * * * * [progress]: [ 49 / 68 ] simplifiying candidate #posit16 1.0)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.838 * * * * [progress]: [ 50 / 68 ] simplifiying candidate #posit16 1.0)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.838 * * * * [progress]: [ 51 / 68 ] simplifiying candidate # 4.838 * * * * [progress]: [ 52 / 68 ] simplifiying candidate #posit16 1.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 4.838 * * * * [progress]: [ 53 / 68 ] simplifiying candidate #posit16 1.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 4.838 * * * * [progress]: [ 54 / 68 ] simplifiying candidate #posit16 1.0) x.re))))> 4.838 * * * * [progress]: [ 55 / 68 ] simplifiying candidate #posit16 1.0))))> 4.838 * * * * [progress]: [ 56 / 68 ] simplifiying candidate #posit16 1.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 4.838 * * * * [progress]: [ 57 / 68 ] simplifiying candidate #posit16 (posit16->quire16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))))> 4.838 * * * * [progress]: [ 58 / 68 ] simplifiying candidate #posit16 0.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 4.838 * * * * [progress]: [ 59 / 68 ] simplifiying candidate #posit16 0.0))))> 4.838 * * * * [progress]: [ 60 / 68 ] simplifiying candidate #posit16 0.0))))> 4.838 * * * * [progress]: [ 61 / 68 ] simplifiying candidate #posit16 1.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 4.839 * * * * [progress]: [ 62 / 68 ] simplifiying candidate #posit16 1.0))))> 4.839 * * * * [progress]: [ 63 / 68 ] simplifiying candidate #posit16 1.0))))> 4.839 * * * * [progress]: [ 64 / 68 ] simplifiying candidate # 4.839 * * * * [progress]: [ 65 / 68 ] simplifiying candidate # 4.839 * * * * [progress]: [ 66 / 68 ] simplifiying candidate # 4.839 * * * * [progress]: [ 67 / 68 ] simplifiying candidate # 4.839 * * * * [progress]: [ 68 / 68 ] simplifiying candidate # 4.839 * [simplify]: Simplifying: (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (real->posit16 0.0)) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)) (+.p16 (real->posit16 0.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)) (-.p16 (real->posit16 0.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)) (real->posit16 1.0) (posit16->quire16 (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))) (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re) (real->posit16 1.0)) (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im)) (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 1.0) (real->posit16 1.0) (real->posit16 1.0) (+.p16 x.re x.im) (-.p16 x.re x.im) (-.p16 (*.p16 x.re x.re) (real->posit16 0.0)) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) (-.p16 (real->posit16 0.0) (*.p16 x.im x.im)) (+.p16 (real->posit16 0.0) (*.p16 x.im x.im)) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) (neg.p16 (*.p16 x.im x.im)) (-.p16 (*.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) (+.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) (real->posit16 1.0) (posit16->quire16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) (*.p16 x.im x.im) (real->posit16 1.0)) (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 1.0) (real->posit16 1.0) (real->posit16 1.0) (*.p16 (-.p16 x.re x.im) x.im) (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (real->posit16 1.0) x.im) (*.p16 (-.p16 (*.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) x.im) (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (real->posit16 1.0) (posit16->quire16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im)) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 1.0) (real->posit16 1.0) (real->posit16 1.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re) (*.p16 (real->posit16 1.0) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re) (real->posit16 1.0) (posit16->quire16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 1.0) (real->posit16 1.0) (real->posit16 1.0) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)) 4.840 * * [simplify]: iteration 0: 41 enodes 4.849 * * [simplify]: iteration 1: 79 enodes 4.871 * * [simplify]: iteration 2: 258 enodes 5.126 * * [simplify]: iteration 3: 1200 enodes 6.285 * * [simplify]: iteration complete: 5008 enodes 6.285 * * [simplify]: Extracting #0: cost 26 inf + 0 6.288 * * [simplify]: Extracting #1: cost 679 inf + 1045 6.306 * * [simplify]: Extracting #2: cost 1804 inf + 150542 6.384 * * [simplify]: Extracting #3: cost 823 inf + 1167765 6.525 * * [simplify]: Extracting #4: cost 43 inf + 1910789 6.681 * * [simplify]: Extracting #5: cost 0 inf + 1950575 6.836 * [simplify]: Simplified to: (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im)) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)))) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)))) (*.p16 x.re (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im))) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)))) (neg.p16 (*.p16 x.re (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)))) (real->posit16 1.0) (posit16->quire16 (*.p16 x.im (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))))) (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))) (*.p16 x.re (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im))) (real->posit16 1.0)) (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 1.0) (real->posit16 1.0) (real->posit16 1.0) (+.p16 x.im x.re) (-.p16 x.re x.im) (*.p16 x.re x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) (neg.p16 (*.p16 x.im x.im)) (*.p16 x.im x.im) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) (neg.p16 (*.p16 x.im x.im)) (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (+.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) (real->posit16 1.0) (posit16->quire16 (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))) (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) (*.p16 x.im x.im) (real->posit16 1.0)) (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 1.0) (real->posit16 1.0) (real->posit16 1.0) (*.p16 x.im (-.p16 x.re x.im)) (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im)) (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im)) x.im (*.p16 (*.p16 x.im (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (+.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im)) (real->posit16 1.0) (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 1.0) (real->posit16 1.0) (real->posit16 1.0) (*.p16 x.re (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im))) (*.p16 x.re (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im))) x.re (*.p16 x.re (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im))) (real->posit16 1.0) (posit16->quire16 (*.p16 x.re (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)))) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 1.0) (real->posit16 1.0) (real->posit16 1.0) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)))) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)))) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)))) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)))) 6.842 * * * [progress]: adding candidates to table 7.906 * * [progress]: iteration 2 / 4 7.906 * * * [progress]: picking best candidate 7.937 * * * * [pick]: Picked #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 7.937 * * * [progress]: localizing error 8.330 * * * [progress]: generating rewritten candidates 8.330 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 8.331 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 8.342 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2) 8.348 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 8.357 * * * [progress]: generating series expansions 8.357 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 8.357 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 8.357 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2) 8.357 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 8.357 * * * [progress]: simplifying candidates 8.357 * * * * [progress]: [ 1 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (+.p16 (*.p16 (-.p16 x.re x.im) (real->posit16 0.0)) (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im)))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.358 * * * * [progress]: [ 2 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (+.p16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im)) (*.p16 (-.p16 x.re x.im) (real->posit16 0.0)))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.358 * * * * [progress]: [ 3 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (+.p16 (*.p16 (real->posit16 0.0) (-.p16 x.re x.im)) (*.p16 (*.p16 (+.p16 x.im x.re) x.im) (-.p16 x.re x.im)))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.358 * * * * [progress]: [ 4 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) x.im) (-.p16 x.re x.im)) (*.p16 (real->posit16 0.0) (-.p16 x.re x.im)))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.358 * * * * [progress]: [ 5 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) x.im)) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.358 * * * * [progress]: [ 6 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (real->posit16 1.0) (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im)))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.358 * * * * [progress]: [ 7 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (real->posit16 1.0) (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im)))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.358 * * * * [progress]: [ 8 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (real->posit16 1.0) (*.p16 (+.p16 x.im x.re) x.im)))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.358 * * * * [progress]: [ 9 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (/.p16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im)) (real->posit16 1.0))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.358 * * * * [progress]: [ 10 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (/.p16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im)) (real->posit16 1.0))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.358 * * * * [progress]: [ 11 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (/.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) (*.p16 (+.p16 x.im x.re) x.im)) (+.p16 x.re x.im))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.358 * * * * [progress]: [ 12 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (/.p16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im)) (real->posit16 1.0))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.358 * * * * [progress]: [ 13 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (real->posit16 1.0) (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im)))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.358 * * * * [progress]: [ 14 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (quire16->posit16 (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.358 * * * * [progress]: [ 15 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (+.p16 (real->posit16 0.0) (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im)))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.359 * * * * [progress]: [ 16 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (+.p16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im)) (real->posit16 0.0))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.359 * * * * [progress]: [ 17 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (-.p16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im)) (real->posit16 0.0))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.359 * * * * [progress]: [ 18 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (real->posit16 1.0) (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im)))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.359 * * * * [progress]: [ 19 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im)) (real->posit16 1.0))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.359 * * * * [progress]: [ 20 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (/.p16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im)) (real->posit16 1.0))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.359 * * * * [progress]: [ 21 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (*.p16 (+.p16 x.im x.re) x.im) (-.p16 x.re x.im))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.359 * * * * [progress]: [ 22 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (real->posit16 1.0) (*.p16 (+.p16 x.im x.re) x.im)))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.359 * * * * [progress]: [ 23 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (real->posit16 1.0) (*.p16 (+.p16 x.im x.re) x.im)))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.359 * * * * [progress]: [ 24 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) (*.p16 (real->posit16 1.0) x.im)))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.359 * * * * [progress]: [ 25 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (/.p16 (*.p16 (+.p16 x.im x.re) x.im) (real->posit16 1.0)))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.359 * * * * [progress]: [ 26 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (real->posit16 1.0) (*.p16 (+.p16 x.im x.re) x.im)))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.359 * * * * [progress]: [ 27 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (quire16->posit16 (posit16->quire16 (*.p16 (+.p16 x.im x.re) x.im))))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.359 * * * * [progress]: [ 28 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (+.p16 (real->posit16 0.0) (*.p16 (+.p16 x.im x.re) x.im)))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.359 * * * * [progress]: [ 29 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (+.p16 (*.p16 (+.p16 x.im x.re) x.im) (real->posit16 0.0)))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.359 * * * * [progress]: [ 30 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (-.p16 (*.p16 (+.p16 x.im x.re) x.im) (real->posit16 0.0)))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.360 * * * * [progress]: [ 31 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (real->posit16 1.0) (*.p16 (+.p16 x.im x.re) x.im)))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.360 * * * * [progress]: [ 32 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (*.p16 (+.p16 x.im x.re) x.im) (real->posit16 1.0)))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.360 * * * * [progress]: [ 33 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (/.p16 (*.p16 (+.p16 x.im x.re) x.im) (real->posit16 1.0)))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.360 * * * * [progress]: [ 34 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 x.im (+.p16 x.im x.re)))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.360 * * * * [progress]: [ 35 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))) (*.p16 x.re (+.p16 x.im x.im)) x.re)))> 8.360 * * * * [progress]: [ 36 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))) (*.p16 x.im (+.p16 x.re x.re)) x.re)))> 8.360 * * * * [progress]: [ 37 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))) (+.p16 (+.p16 (*.p16 x.re x.im) (real->posit16 0.0)) (*.p16 x.re x.im)) x.re)))> 8.360 * * * * [progress]: [ 38 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))) (+.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) (real->posit16 0.0)) x.re)))> 8.360 * * * * [progress]: [ 39 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))) (+.p16 (real->posit16 0.0) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im))) x.re)))> 8.360 * * * * [progress]: [ 40 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))) (+.p16 (*.p16 x.re x.im) (+.p16 (real->posit16 0.0) (*.p16 x.re x.im))) x.re)))> 8.360 * * * * [progress]: [ 41 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))) (-.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) (real->posit16 0.0)) x.re)))> 8.360 * * * * [progress]: [ 42 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))) (-.p16 (*.p16 x.re x.im) (-.p16 (real->posit16 0.0) (*.p16 x.re x.im))) x.re)))> 8.360 * * * * [progress]: [ 43 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))) (*.p16 (real->posit16 1.0) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im))) x.re)))> 8.360 * * * * [progress]: [ 44 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))) (*.p16 x.re (+.p16 x.im x.im)) x.re)))> 8.360 * * * * [progress]: [ 45 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))) (quire16->posit16 (posit16->quire16 (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)))) x.re)))> 8.361 * * * * [progress]: [ 46 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))) (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 x.re x.im)) (*.p16 x.re x.im) (real->posit16 1.0))) x.re)))> 8.361 * * * * [progress]: [ 47 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))) (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 x.re x.im)) x.re x.im)) x.re)))> 8.361 * * * * [progress]: [ 48 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))) (+.p16 (real->posit16 0.0) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im))) x.re)))> 8.361 * * * * [progress]: [ 49 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))) (+.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) (real->posit16 0.0)) x.re)))> 8.361 * * * * [progress]: [ 50 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))) (-.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) (real->posit16 0.0)) x.re)))> 8.361 * * * * [progress]: [ 51 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))) (*.p16 (real->posit16 1.0) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im))) x.re)))> 8.361 * * * * [progress]: [ 52 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) (real->posit16 1.0)) x.re)))> 8.361 * * * * [progress]: [ 53 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))) (/.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) (real->posit16 1.0)) x.re)))> 8.361 * * * * [progress]: [ 54 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.361 * * * * [progress]: [ 55 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.361 * * * * [progress]: [ 56 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.361 * * * * [progress]: [ 57 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.361 * * * * [progress]: [ 58 / 58 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 8.362 * [simplify]: Simplifying: (*.p16 (-.p16 x.re x.im) (real->posit16 0.0)) (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im)) (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im)) (*.p16 (-.p16 x.re x.im) (real->posit16 0.0)) (*.p16 (real->posit16 0.0) (-.p16 x.re x.im)) (*.p16 (*.p16 (+.p16 x.im x.re) x.im) (-.p16 x.re x.im)) (*.p16 (*.p16 (+.p16 x.im x.re) x.im) (-.p16 x.re x.im)) (*.p16 (real->posit16 0.0) (-.p16 x.re x.im)) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im)) (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im)) (*.p16 (real->posit16 1.0) (*.p16 (+.p16 x.im x.re) x.im)) (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im)) (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im)) (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) (*.p16 (+.p16 x.im x.re) x.im)) (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im)) (real->posit16 1.0) (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 1.0) (real->posit16 1.0) (real->posit16 1.0) (*.p16 (+.p16 x.im x.re) x.im) (*.p16 (+.p16 x.im x.re) x.im) (*.p16 (real->posit16 1.0) x.im) (*.p16 (+.p16 x.im x.re) x.im) (real->posit16 1.0) (posit16->quire16 (*.p16 (+.p16 x.im x.re) x.im)) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 1.0) (real->posit16 1.0) (real->posit16 1.0) (+.p16 x.im x.im) (+.p16 x.re x.re) (+.p16 (*.p16 x.re x.im) (real->posit16 0.0)) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) (+.p16 (real->posit16 0.0) (*.p16 x.re x.im)) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) (-.p16 (real->posit16 0.0) (*.p16 x.re x.im)) (real->posit16 1.0) (+.p16 x.im x.im) (posit16->quire16 (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im))) (quire16-mul-add (posit16->quire16 (*.p16 x.re x.im)) (*.p16 x.re x.im) (real->posit16 1.0)) (quire16-mul-add (posit16->quire16 (*.p16 x.re x.im)) x.re x.im) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 1.0) (real->posit16 1.0) (real->posit16 1.0) (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)) (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)) (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)) (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 (-.p16 x.re x.im) (*.p16 (+.p16 x.im x.re) x.im))) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)) 8.363 * * [simplify]: iteration 0: 35 enodes 8.378 * * [simplify]: iteration 1: 73 enodes 8.418 * * [simplify]: iteration 2: 223 enodes 8.810 * * [simplify]: iteration 3: 1244 enodes 9.116 * * [simplify]: iteration complete: 5061 enodes 9.116 * * [simplify]: Extracting #0: cost 18 inf + 0 9.118 * * [simplify]: Extracting #1: cost 580 inf + 42 9.130 * * [simplify]: Extracting #2: cost 1899 inf + 76085 9.190 * * [simplify]: Extracting #3: cost 932 inf + 1247786 9.313 * * [simplify]: Extracting #4: cost 54 inf + 2137492 9.400 * * [simplify]: Extracting #5: cost 0 inf + 2196052 9.471 * [simplify]: Simplified to: (real->posit16 0.0) (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (real->posit16 0.0) (real->posit16 0.0) (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (real->posit16 0.0) (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 x.im x.re) x.im) (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 (*.p16 (*.p16 (+.p16 x.im x.re) x.im) (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (real->posit16 1.0) (posit16->quire16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im)) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 1.0) (real->posit16 1.0) (real->posit16 1.0) (*.p16 (+.p16 x.im x.re) x.im) (*.p16 (+.p16 x.im x.re) x.im) x.im (*.p16 (+.p16 x.im x.re) x.im) (real->posit16 1.0) (posit16->quire16 (*.p16 (+.p16 x.im x.re) x.im)) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 1.0) (real->posit16 1.0) (real->posit16 1.0) (+.p16 x.im x.im) (+.p16 x.re x.re) (*.p16 x.im x.re) (*.p16 x.im (+.p16 x.re x.re)) (*.p16 x.im (+.p16 x.re x.re)) (*.p16 x.im x.re) (*.p16 x.im (+.p16 x.re x.re)) (neg.p16 (*.p16 x.im x.re)) (real->posit16 1.0) (+.p16 x.im x.im) (posit16->quire16 (*.p16 x.im (+.p16 x.re x.re))) (quire16-mul-add (posit16->quire16 (*.p16 x.im x.re)) (*.p16 x.im x.re) (real->posit16 1.0)) (quire16-mul-add (posit16->quire16 (*.p16 x.im x.re)) x.re x.im) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 1.0) (real->posit16 1.0) (real->posit16 1.0) (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im)) (*.p16 x.im (+.p16 x.re x.re)) x.re)) (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im)) (*.p16 x.im (+.p16 x.re x.re)) x.re)) (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im)) (*.p16 x.im (+.p16 x.re x.re)) x.re)) (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im)) (*.p16 x.im (+.p16 x.re x.re)) x.re)) 9.475 * * * [progress]: adding candidates to table 10.212 * * [progress]: iteration 3 / 4 10.212 * * * [progress]: picking best candidate 10.233 * * * * [pick]: Picked #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 10.233 * * * [progress]: localizing error 10.493 * * * [progress]: generating rewritten candidates 10.493 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 10.494 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 10.497 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 10.500 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 10.502 * * * [progress]: generating series expansions 10.503 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 10.503 * * * * [progress]: [ 2 / 4 ] generating series at (2) 10.503 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 10.503 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 10.503 * * * [progress]: simplifying candidates 10.503 * * * * [progress]: [ 1 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (real->posit16 0.0)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 10.503 * * * * [progress]: [ 2 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)) (real->posit16 0.0)))> 10.503 * * * * [progress]: [ 3 / 47 ] simplifiying candidate #posit16 0.0) (+.p16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 10.503 * * * * [progress]: [ 4 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (+.p16 (real->posit16 0.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 10.503 * * * * [progress]: [ 5 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)) (real->posit16 0.0)))> 10.503 * * * * [progress]: [ 6 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (-.p16 (real->posit16 0.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 10.503 * * * * [progress]: [ 7 / 47 ] simplifiying candidate #posit16 1.0) (+.p16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 10.503 * * * * [progress]: [ 8 / 47 ] simplifiying candidate #posit16 (posit16->quire16 (+.p16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))))> 10.503 * * * * [progress]: [ 9 / 47 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re) (real->posit16 1.0))))> 10.503 * * * * [progress]: [ 10 / 47 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 10.503 * * * * [progress]: [ 11 / 47 ] simplifiying candidate #posit16 0.0) (+.p16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 10.503 * * * * [progress]: [ 12 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)) (real->posit16 0.0)))> 10.503 * * * * [progress]: [ 13 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)) (real->posit16 0.0)))> 10.503 * * * * [progress]: [ 14 / 47 ] simplifiying candidate #posit16 1.0) (+.p16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 10.503 * * * * [progress]: [ 15 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)) (real->posit16 1.0)))> 10.503 * * * * [progress]: [ 16 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)) (real->posit16 1.0)))> 10.503 * * * * [progress]: [ 17 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)))> 10.503 * * * * [progress]: [ 18 / 47 ] simplifiying candidate #posit16 1.0) (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 10.503 * * * * [progress]: [ 19 / 47 ] simplifiying candidate #posit16 1.0) (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 10.503 * * * * [progress]: [ 20 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) (*.p16 (real->posit16 1.0) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 10.503 * * * * [progress]: [ 21 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (real->posit16 1.0)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 10.504 * * * * [progress]: [ 22 / 47 ] simplifiying candidate #posit16 1.0) (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 10.504 * * * * [progress]: [ 23 / 47 ] simplifiying candidate #posit16 (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 10.504 * * * * [progress]: [ 24 / 47 ] simplifiying candidate #posit16 0.0) (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 10.504 * * * * [progress]: [ 25 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (real->posit16 0.0)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 10.504 * * * * [progress]: [ 26 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (real->posit16 0.0)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 10.504 * * * * [progress]: [ 27 / 47 ] simplifiying candidate #posit16 1.0) (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 10.504 * * * * [progress]: [ 28 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (real->posit16 1.0)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 10.504 * * * * [progress]: [ 29 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (real->posit16 1.0)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 10.504 * * * * [progress]: [ 30 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 10.504 * * * * [progress]: [ 31 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 (real->posit16 1.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 10.504 * * * * [progress]: [ 32 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 (real->posit16 1.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 10.504 * * * * [progress]: [ 33 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) (*.p16 (real->posit16 1.0) x.re))))> 10.504 * * * * [progress]: [ 34 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (/.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re) (real->posit16 1.0))))> 10.504 * * * * [progress]: [ 35 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 (real->posit16 1.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 10.504 * * * * [progress]: [ 36 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (quire16->posit16 (posit16->quire16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))))> 10.504 * * * * [progress]: [ 37 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (+.p16 (real->posit16 0.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 10.504 * * * * [progress]: [ 38 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (+.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re) (real->posit16 0.0))))> 10.504 * * * * [progress]: [ 39 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (-.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re) (real->posit16 0.0))))> 10.504 * * * * [progress]: [ 40 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 (real->posit16 1.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 10.504 * * * * [progress]: [ 41 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re) (real->posit16 1.0))))> 10.504 * * * * [progress]: [ 42 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (/.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re) (real->posit16 1.0))))> 10.504 * * * * [progress]: [ 43 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 x.re (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)))))> 10.504 * * * * [progress]: [ 44 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 10.504 * * * * [progress]: [ 45 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 10.504 * * * * [progress]: [ 46 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 10.504 * * * * [progress]: [ 47 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 10.505 * [simplify]: Simplifying: (+.p16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (real->posit16 0.0)) (+.p16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)) (+.p16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)) (+.p16 (real->posit16 0.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)) (+.p16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)) (-.p16 (real->posit16 0.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)) (real->posit16 1.0) (posit16->quire16 (+.p16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))) (quire16-mul-add (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re) (real->posit16 1.0)) (quire16-mul-add (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 1.0) (real->posit16 1.0) (real->posit16 1.0) (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 (real->posit16 1.0) x.im) (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (real->posit16 1.0) (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 1.0) (real->posit16 1.0) (real->posit16 1.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re) (*.p16 (real->posit16 1.0) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re) (real->posit16 1.0) (posit16->quire16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 1.0) (real->posit16 1.0) (real->posit16 1.0) (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im) (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im) (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im) (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im) 10.505 * * [simplify]: iteration 0: 26 enodes 10.511 * * [simplify]: iteration 1: 39 enodes 10.517 * * [simplify]: iteration 2: 73 enodes 10.543 * * [simplify]: iteration 3: 187 enodes 10.574 * * [simplify]: iteration 4: 363 enodes 10.887 * * [simplify]: iteration 5: 873 enodes 11.692 * * [simplify]: iteration 6: 1761 enodes 12.015 * * [simplify]: iteration 7: 2348 enodes 13.396 * * [simplify]: iteration complete: 5004 enodes 13.396 * * [simplify]: Extracting #0: cost 14 inf + 0 13.400 * * [simplify]: Extracting #1: cost 887 inf + 2 13.410 * * [simplify]: Extracting #2: cost 991 inf + 25179 13.430 * * [simplify]: Extracting #3: cost 733 inf + 203956 13.470 * * [simplify]: Extracting #4: cost 562 inf + 322582 13.552 * * [simplify]: Extracting #5: cost 350 inf + 567591 13.668 * * [simplify]: Extracting #6: cost 143 inf + 819315 13.776 * * [simplify]: Extracting #7: cost 16 inf + 932809 13.904 * * [simplify]: Extracting #8: cost 0 inf + 948697 14.027 * [simplify]: Simplified to: (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 x.im (+.p16 (+.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) (*.p16 x.re x.re)) (*.p16 x.re x.re))) (*.p16 x.im (+.p16 (+.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) (*.p16 x.re x.re)) (*.p16 x.re x.re))) (*.p16 (+.p16 x.re x.re) (*.p16 x.im x.re)) (*.p16 x.im (+.p16 (+.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) (*.p16 x.re x.re)) (*.p16 x.re x.re))) (neg.p16 (*.p16 (+.p16 x.re x.re) (*.p16 x.im x.re))) (real->posit16 1.0) (posit16->quire16 (*.p16 x.im (+.p16 (+.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) (*.p16 x.re x.re)) (*.p16 x.re x.re)))) (quire16-mul-add (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (*.p16 (+.p16 x.re x.re) (*.p16 x.im x.re)) (real->posit16 1.0)) (quire16-mul-add (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (*.p16 x.im (+.p16 x.re x.re)) x.re) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 1.0) (real->posit16 1.0) (real->posit16 1.0) (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) x.im (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (real->posit16 1.0) (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 1.0) (real->posit16 1.0) (real->posit16 1.0) (*.p16 (+.p16 x.re x.re) (*.p16 x.im x.re)) (*.p16 (+.p16 x.re x.re) (*.p16 x.im x.re)) x.re (*.p16 (+.p16 x.re x.re) (*.p16 x.im x.re)) (real->posit16 1.0) (posit16->quire16 (*.p16 (+.p16 x.re x.re) (*.p16 x.im x.re))) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 1.0) (real->posit16 1.0) (real->posit16 1.0) (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im) (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im) (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im) (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im) 14.032 * * * [progress]: adding candidates to table 14.985 * * [progress]: iteration 4 / 4 14.986 * * * [progress]: picking best candidate 15.021 * * * * [pick]: Picked #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (*.p16 x.im (+.p16 x.re x.re)) x.re)))> 15.021 * * * [progress]: localizing error 15.423 * * * [progress]: generating rewritten candidates 15.423 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 15.423 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1) 15.424 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 15.426 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 15.430 * * * [progress]: generating series expansions 15.430 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 15.430 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1) 15.430 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 15.430 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 15.430 * * * [progress]: simplifying candidates 15.430 * * * * [progress]: [ 1 / 32 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (real->posit16 1.0) (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im))) (*.p16 x.im (+.p16 x.re x.re)) x.re)))> 15.430 * * * * [progress]: [ 2 / 32 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (real->posit16 1.0) (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im))) (*.p16 x.im (+.p16 x.re x.re)) x.re)))> 15.430 * * * * [progress]: [ 3 / 32 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) (*.p16 (real->posit16 1.0) x.im))) (*.p16 x.im (+.p16 x.re x.re)) x.re)))> 15.430 * * * * [progress]: [ 4 / 32 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (/.p16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (real->posit16 1.0))) (*.p16 x.im (+.p16 x.re x.re)) x.re)))> 15.430 * * * * [progress]: [ 5 / 32 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (real->posit16 1.0) (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im))) (*.p16 x.im (+.p16 x.re x.re)) x.re)))> 15.430 * * * * [progress]: [ 6 / 32 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (quire16->posit16 (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)))) (*.p16 x.im (+.p16 x.re x.re)) x.re)))> 15.430 * * * * [progress]: [ 7 / 32 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (+.p16 (real->posit16 0.0) (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im))) (*.p16 x.im (+.p16 x.re x.re)) x.re)))> 15.430 * * * * [progress]: [ 8 / 32 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (+.p16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (real->posit16 0.0))) (*.p16 x.im (+.p16 x.re x.re)) x.re)))> 15.430 * * * * [progress]: [ 9 / 32 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (-.p16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (real->posit16 0.0))) (*.p16 x.im (+.p16 x.re x.re)) x.re)))> 15.430 * * * * [progress]: [ 10 / 32 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (real->posit16 1.0) (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im))) (*.p16 x.im (+.p16 x.re x.re)) x.re)))> 15.430 * * * * [progress]: [ 11 / 32 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (real->posit16 1.0))) (*.p16 x.im (+.p16 x.re x.re)) x.re)))> 15.430 * * * * [progress]: [ 12 / 32 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (/.p16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (real->posit16 1.0))) (*.p16 x.im (+.p16 x.re x.re)) x.re)))> 15.430 * * * * [progress]: [ 13 / 32 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 x.im (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)))) (*.p16 x.im (+.p16 x.re x.re)) x.re)))> 15.430 * * * * [progress]: [ 14 / 32 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (+.p16 (*.p16 x.im x.re) (*.p16 x.im x.re)) x.re)))> 15.430 * * * * [progress]: [ 15 / 32 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im)) x.re)))> 15.430 * * * * [progress]: [ 16 / 32 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (*.p16 (*.p16 x.im (real->posit16 1.0)) (+.p16 x.re x.re)) x.re)))> 15.430 * * * * [progress]: [ 17 / 32 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (*.p16 (*.p16 x.im (real->posit16 1.0)) (+.p16 x.re x.re)) x.re)))> 15.430 * * * * [progress]: [ 18 / 32 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (*.p16 (*.p16 x.im (+.p16 x.re x.re)) (real->posit16 1.0)) x.re)))> 15.430 * * * * [progress]: [ 19 / 32 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (/.p16 (*.p16 x.im (+.p16 x.re x.re)) (real->posit16 1.0)) x.re)))> 15.431 * * * * [progress]: [ 20 / 32 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (*.p16 (real->posit16 1.0) (*.p16 x.im (+.p16 x.re x.re))) x.re)))> 15.431 * * * * [progress]: [ 21 / 32 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (quire16->posit16 (posit16->quire16 (*.p16 x.im (+.p16 x.re x.re)))) x.re)))> 15.431 * * * * [progress]: [ 22 / 32 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (+.p16 (real->posit16 0.0) (*.p16 x.im (+.p16 x.re x.re))) x.re)))> 15.431 * * * * [progress]: [ 23 / 32 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (+.p16 (*.p16 x.im (+.p16 x.re x.re)) (real->posit16 0.0)) x.re)))> 15.431 * * * * [progress]: [ 24 / 32 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (-.p16 (*.p16 x.im (+.p16 x.re x.re)) (real->posit16 0.0)) x.re)))> 15.431 * * * * [progress]: [ 25 / 32 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (*.p16 (real->posit16 1.0) (*.p16 x.im (+.p16 x.re x.re))) x.re)))> 15.431 * * * * [progress]: [ 26 / 32 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (*.p16 (*.p16 x.im (+.p16 x.re x.re)) (real->posit16 1.0)) x.re)))> 15.431 * * * * [progress]: [ 27 / 32 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (/.p16 (*.p16 x.im (+.p16 x.re x.re)) (real->posit16 1.0)) x.re)))> 15.431 * * * * [progress]: [ 28 / 32 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (*.p16 (+.p16 x.re x.re) x.im) x.re)))> 15.431 * * * * [progress]: [ 29 / 32 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (*.p16 x.im (+.p16 x.re x.re)) x.re)))> 15.431 * * * * [progress]: [ 30 / 32 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (*.p16 x.im (+.p16 x.re x.re)) x.re)))> 15.431 * * * * [progress]: [ 31 / 32 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (*.p16 x.im (+.p16 x.re x.re)) x.re)))> 15.431 * * * * [progress]: [ 32 / 32 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (*.p16 x.im (+.p16 x.re x.re)) x.re)))> 15.431 * [simplify]: Simplifying: (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (*.p16 (real->posit16 1.0) x.im) (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im) (real->posit16 1.0) (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 1.0) (real->posit16 1.0) (real->posit16 1.0) (*.p16 x.im x.re) (*.p16 x.im x.re) (*.p16 x.re x.im) (*.p16 x.re x.im) (*.p16 x.im (real->posit16 1.0)) (*.p16 x.im (real->posit16 1.0)) (*.p16 x.im (+.p16 x.re x.re)) (*.p16 x.im (+.p16 x.re x.re)) (real->posit16 1.0) (posit16->quire16 (*.p16 x.im (+.p16 x.re x.re))) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 0.0) (real->posit16 1.0) (real->posit16 1.0) (real->posit16 1.0) (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (*.p16 x.im (+.p16 x.re x.re)) x.re)) (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (*.p16 x.im (+.p16 x.re x.re)) x.re)) (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (*.p16 x.im (+.p16 x.re x.re)) x.re)) (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)) (*.p16 x.im (+.p16 x.re x.re)) x.re)) 15.431 * * [simplify]: iteration 0: 21 enodes 15.438 * * [simplify]: iteration 1: 27 enodes 15.446 * * [simplify]: iteration 2: 36 enodes 15.456 * * [simplify]: iteration 3: 38 enodes 15.465 * * [simplify]: iteration 4: 45 enodes 15.476 * * [simplify]: iteration 5: 46 enodes 15.485 * * [simplify]: iteration 6: 53 enodes 15.505 * * [simplify]: iteration 7: 60 enodes 15.516 * * [simplify]: iteration 8: 62 enodes 15.527 * * [simplify]: iteration 9: 69 enodes 15.537 * * [simplify]: iteration 10: 70 enodes 15.548 * * [simplify]: iteration 11: 77 enodes 15.560 * * [simplify]: iteration 12: 84 enodes 15.573 * * [simplify]: iteration 13: 86 enodes 15.585 * * [simplify]: iteration 14: 93 enodes 15.597 * * [simplify]: iteration 15: 94 enodes 15.603 * * [simplify]: iteration 16: 101 enodes 15.610 * * [simplify]: iteration 17: 108 enodes 15.617 * * [simplify]: iteration 18: 110 enodes 15.626 * * [simplify]: iteration 19: 117 enodes 15.633 * * [simplify]: iteration 20: 118 enodes 15.640 * * [simplify]: iteration 21: 125 enodes 15.648 * * [simplify]: iteration 22: 132 enodes 15.658 * * [simplify]: iteration 23: 134 enodes 15.669 * * [simplify]: iteration 24: 141 enodes 15.676 * * [simplify]: iteration 25: 142 enodes 15.685 * * [simplify]: iteration 26: 149 enodes 15.695 * * [simplify]: iteration 27: 156 enodes 15.717 * * [simplify]: iteration 28: 158 enodes 15.729 * * [simplify]: iteration 29: 165 enodes 15.737 * * [simplify]: iteration 30: 166 enodes 15.748 * * [simplify]: iteration 31: 173 enodes 15.763 * * [simplify]: iteration 32: 180 enodes 15.786 * * [simplify]: iteration 33: 182 enodes 15.813 * * [simplify]: iteration 34: 189 enodes 15.831 * * [simplify]: iteration 35: 190 enodes 15.857 * * [simplify]: iteration 36: 197 enodes 15.877 * * [simplify]: iteration 37: 204 enodes 15.904 * * [simplify]: iteration 38: 206 enodes 15.922 * * [simplify]: iteration 39: 213 enodes 15.933 * * [simplify]: iteration 40: 214 enodes 15.955 * * [simplify]: iteration 41: 221 enodes 15.978 * * [simplify]: iteration 42: 228 enodes 15.998 * * [simplify]: iteration 43: 230 enodes 16.016 * * [simplify]: iteration 44: 237 enodes 16.031 * * [simplify]: iteration 45: 238 enodes 16.045 * * [simplify]: iteration 46: 245 enodes 16.060 * * [simplify]: iteration 47: 252 enodes 16.083 * * [simplify]: iteration 48: 254 enodes 16.099 * * [simplify]: iteration 49: 261 enodes 16.116 * * [simplify]: iteration 50: 262 enodes 16.147 * * [simplify]: iteration 51: 269 enodes 16.172 * * [simplify]: iteration 52: 276 enodes 16.206 * * [simplify]: iteration 53: 278 enodes 16.237 * * [simplify]: iteration 54: 285 enodes 16.249 * * [simplify]: iteration 55: 286 enodes 16.266 * * [simplify]: iteration 56: 293 enodes 16.283 * * [simplify]: iteration 57: 300 enodes 16.323 * * [simplify]: iteration 58: 302 enodes 16.362 * * [simplify]: iteration 59: 309 enodes 16.388 * * [simplify]: iteration 60: 310 enodes 16.410 * * [simplify]: iteration 61: 317 enodes 16.428 * * [simplify]: iteration 62: 324 enodes 16.468 * * [simplify]: iteration 63: 326 enodes 16.489 * * [simplify]: iteration 64: 333 enodes 16.504 * * [simplify]: iteration 65: 334 enodes 16.544 * * [simplify]: iteration 66: 341 enodes 16.573 * * [simplify]: iteration 67: 348 enodes 16.619 * * [simplify]: iteration 68: 350 enodes 16.666 * * [simplify]: iteration 69: 357 enodes 16.694 * * [simplify]: iteration 70: 358 enodes 16.742 * * [simplify]: iteration 71: 365 enodes 16.773 * * [simplify]: iteration 72: 372 enodes 16.814 * * [simplify]: iteration 73: 374 enodes 16.839 * * [simplify]: iteration 74: 381 enodes 16.859 * * [simplify]: iteration 75: 382 enodes 16.911 * * [simplify]: iteration 76: 389 enodes 16.945 * * [simplify]: iteration 77: 396 enodes 16.998 * * [simplify]: iteration 78: 398 enodes 17.053 * * [simplify]: iteration 79: 405 enodes 17.084 * * [simplify]: iteration 80: 406 enodes 17.140 * * [simplify]: iteration 81: 413 enodes 17.174 * * [simplify]: iteration 82: 420 enodes 17.206 * * [simplify]: iteration 83: 422 enodes 17.236 * * [simplify]: iteration 84: 429 enodes 17.265 * * [simplify]: iteration 85: 430 enodes 17.295 * * [simplify]: iteration 86: 437 enodes 17.329 * * [simplify]: iteration 87: 444 enodes 17.389 * * [simplify]: iteration 88: 446 enodes 17.453 * * [simplify]: iteration 89: 453 enodes 17.468 * * [simplify]: iteration 90: 454 enodes 17.500 * * [simplify]: iteration 91: 461 enodes 17.518 * * [simplify]: iteration 92: 468 enodes 17.565 * * [simplify]: iteration 93: 470 enodes 17.634 * * [simplify]: iteration 94: 477 enodes 17.658 * * [simplify]: iteration 95: 478 enodes 17.700 * * [simplify]: iteration 96: 485 enodes 17.719 * * [simplify]: iteration 97: 492 enodes 17.785 * * [simplify]: iteration 98: 494 enodes 17.858 * * [simplify]: iteration 99: 501 enodes 17.876 * * [simplify]: iteration 100: 502 enodes 17.935 * * [simplify]: iteration 101: 509 enodes 17.977 * * [simplify]: iteration 102: 516 enodes 18.022 * * [simplify]: iteration 103: 518 enodes 18.084 * * [simplify]: iteration 104: 525 enodes 18.115 * * [simplify]: iteration 105: 526 enodes 18.187 * * [simplify]: iteration 106: 533 enodes 18.209 * * [simplify]: iteration 107: 540 enodes 18.278 * * [simplify]: iteration 108: 542 enodes 18.363 * * [simplify]: iteration 109: 549 enodes 18.382 * * [simplify]: iteration 110: 550 enodes 18.427 * * [simplify]: iteration 111: 557 enodes 18.454 * * [simplify]: iteration 112: 564 enodes 18.508 * * [simplify]: iteration 113: 566 enodes 18.561 * * [simplify]: iteration 114: 573 enodes 18.586 * * [simplify]: iteration 115: 574 enodes 18.637 * * [simplify]: iteration 116: 581 enodes 18.669 * * [simplify]: iteration 117: 588 enodes 18.733 * * [simplify]: iteration 118: 590 enodes 18.823 * * [simplify]: iteration 119: 597 enodes 18.860 * * [simplify]: iteration 120: 598 enodes 18.912 * * [simplify]: iteration 121: 605 enodes 18.936 * * [simplify]: iteration 122: 612 enodes 19.001 * * [simplify]: iteration 123: 614 enodes 19.064 * * [simplify]: iteration 124: 621 enodes 19.084 * * [simplify]: iteration 125: 622 enodes 19.135 * * [simplify]: iteration 126: 629 enodes 19.158 * * [simplify]: iteration 127: 636 enodes 19.212 * * [simplify]: iteration 128: 638 enodes 19.277 * * [simplify]: iteration 129: 645 enodes 19.303 * * [simplify]: iteration 130: 646 enodes 19.370 * * [simplify]: iteration 131: 653 enodes 19.393 * * [simplify]: iteration 132: 660 enodes 19.502 * * [simplify]: iteration 133: 662 enodes 19.618 * * [simplify]: iteration 134: 669 enodes 19.664 * * [simplify]: iteration 135: 670 enodes 19.751 * * [simplify]: iteration 136: 677 enodes 19.789 * * [simplify]: iteration 137: 684 enodes 19.853 * * [simplify]: iteration 138: 686 enodes 19.958 * * [simplify]: iteration 139: 693 enodes 19.988 * * [simplify]: iteration 140: 694 enodes 20.092 * * [simplify]: iteration 141: 701 enodes 20.144 * * [simplify]: iteration 142: 708 enodes 20.232 * * [simplify]: iteration 143: 710 enodes 20.314 * * [simplify]: iteration 144: 717 enodes 20.341 * * [simplify]: iteration 145: 718 enodes 20.439 * * [simplify]: iteration 146: 725 enodes 20.466 * * [simplify]: iteration 147: 732 enodes 20.560 * * [simplify]: iteration 148: 734 enodes 20.675 * * [simplify]: iteration 149: 741 enodes 20.727 * * [simplify]: iteration 150: 742 enodes 20.853 * * [simplify]: iteration 151: 749 enodes 20.882 * * [simplify]: iteration 152: 756 enodes 20.962 * * [simplify]: iteration 153: 758 enodes 21.086 * * [simplify]: iteration 154: 765 enodes 21.138 * * [simplify]: iteration 155: 766 enodes 21.285 * * [simplify]: iteration 156: 773 enodes 21.317 * * [simplify]: iteration 157: 780 enodes 21.388 * * [simplify]: iteration 158: 782 enodes 21.508 * * [simplify]: iteration 159: 789 enodes 21.548 * * [simplify]: iteration 160: 790 enodes 21.635 * * [simplify]: iteration 161: 797 enodes 21.692 * * [simplify]: iteration 162: 804 enodes 21.805 * * [simplify]: iteration 163: 806 enodes 21.937 * * [simplify]: iteration 164: 813 enodes 21.964 * * [simplify]: iteration 165: 814 enodes 22.068 * * [simplify]: iteration 166: 821 enodes 22.103 * * [simplify]: iteration 167: 828 enodes 22.232 * * [simplify]: iteration 168: 830 enodes 22.398 * * [simplify]: iteration 169: 837 enodes 22.457 * * [simplify]: iteration 170: 838 enodes 22.567 * * [simplify]: iteration 171: 845 enodes 22.602 * * [simplify]: iteration 172: 852 enodes 22.715 * * [simplify]: iteration 173: 854 enodes 22.823 * * [simplify]: iteration 174: 861 enodes 22.865 * * [simplify]: iteration 175: 862 enodes 22.989 * * [simplify]: iteration 176: 869 enodes 23.034 * * [simplify]: iteration 177: 876 enodes 23.141 * * [simplify]: iteration 178: 878 enodes 23.247 * * [simplify]: iteration 179: 885 enodes 23.286 * * [simplify]: iteration 180: 886 enodes 23.415 * * [simplify]: iteration 181: 893 enodes 23.474 * * [simplify]: iteration 182: 900 enodes 23.630 * * [simplify]: iteration 183: 902 enodes 23.764 * * [simplify]: iteration 184: 909 enodes 23.819 * * [simplify]: iteration 185: 910 enodes 23.977 * * [simplify]: iteration 186: 917 enodes 24.013 * * [simplify]: iteration 187: 924 enodes 24.133 * * [simplify]: iteration 188: 926 enodes 24.231 * * [simplify]: iteration 189: 933 enodes 24.263 * * [simplify]: iteration 190: 934 enodes 24.379 * * [simplify]: iteration 191: 941 enodes 24.436 * * [simplify]: iteration 192: 948 enodes 24.573 * * [simplify]: iteration 193: 950 enodes 24.735 * * [simplify]: iteration 194: 957 enodes 24.798 * * [simplify]: iteration 195: 958 enodes 24.912 * * [simplify]: iteration 196: 965 enodes 24.948 * * [simplify]: iteration 197: 972 enodes 25.063 * * [simplify]: iteration 198: 974 enodes 25.165 * * [simplify]: iteration 199: 981 enodes 25.210 * * [simplify]: iteration 200: 982 enodes 25.371 * * [simplify]: iteration 201: 989 enodes 25.433 * * [simplify]: iteration 202: 996 enodes 25.551 * * [simplify]: iteration 203: 998 enodes 25.661 * * [simplify]: iteration 204: 1005 enodes 25.696 * * [simplify]: iteration 205: 1006 enodes 25.805 * * [simplify]: iteration 206: 1013 enodes 25.843 * * [simplify]: iteration 207: 1020 enodes 25.960 * * [simplify]: iteration 208: 1022 enodes 26.089 * * [simplify]: iteration 209: 1029 enodes 26.123 * * [simplify]: iteration 210: 1030 enodes 26.252 * * [simplify]: iteration 211: 1037 enodes 26.288 * * [simplify]: iteration 212: 1044 enodes 26.430 * * [simplify]: iteration 213: 1046 enodes 26.572 * * [simplify]: iteration 214: 1053 enodes 26.607 * * [simplify]: iteration 215: 1054 enodes 26.750 * * [simplify]: iteration 216: 1061 enodes 26.809 * * [simplify]: iteration 217: 1068 enodes 26.950 * * [simplify]: iteration 218: 1070 enodes 27.089 * * [simplify]: iteration 219: 1077 enodes 27.139 * * [simplify]: iteration 220: 1078 enodes 27.324 * * [simplify]: iteration 221: 1085 enodes 27.369 * * [simplify]: iteration 222: 1092 enodes 27.529 * * [simplify]: iteration 223: 1094 enodes 27.705 * * [simplify]: iteration 224: 1101 enodes 27.768 * * [simplify]: iteration 225: 1102 enodes 27.923 * * [simplify]: iteration 226: 1109 enodes 27.972 * * [simplify]: iteration 227: 1116 enodes 28.163 * * [simplify]: iteration 228: 1118 enodes 28.343 * * [simplify]: iteration 229: 1125 enodes 28.421 * * [simplify]: iteration 230: 1126 enodes 28.614 * * [simplify]: iteration 231: 1133 enodes 28.656 * * [simplify]: iteration 232: 1140 enodes 28.842 * * [simplify]: iteration 233: 1142 enodes 29.036 * * [simplify]: iteration 234: 1149 enodes 29.086 * * [simplify]: iteration 235: 1150 enodes 29.306 * * [simplify]: iteration 236: 1157 enodes 29.348 * * [simplify]: iteration 237: 1164 enodes 29.569 * * [simplify]: iteration 238: 1166 enodes 29.751 * * [simplify]: iteration 239: 1173 enodes 29.804 * * [simplify]: iteration 240: 1174 enodes 29.986 * * [simplify]: iteration 241: 1181 enodes 30.036 * * [simplify]: iteration 242: 1188 enodes 30.225 * * [simplify]: iteration 243: 1190 enodes 30.463 * * [simplify]: iteration 244: 1197 enodes 30.507 * * [simplify]: iteration 245: 1198 enodes 30.719 * * [simplify]: iteration 246: 1205 enodes 30.787 * * [simplify]: iteration 247: 1212 enodes 31.082 * * [simplify]: iteration 248: 1214 enodes 31.294 * * [simplify]: iteration 249: 1221 enodes 31.350 * * [simplify]: iteration 250: 1222 enodes 31.570 * * [simplify]: iteration 251: 1229 enodes 31.621 * * [simplify]: iteration 252: 1236 enodes 31.902 * * [simplify]: iteration 253: 1238 enodes 32.205 * * [simplify]: iteration 254: 1245 enodes 32.272 * * [simplify]: iteration 255: 1246 enodes 32.490 * * [simplify]: iteration 256: 1253 enodes 32.581 * * [simplify]: iteration 257: 1260 enodes 32.891 * * [simplify]: iteration 258: 1262 enodes 33.174 * * [simplify]: iteration 259: 1269 enodes 33.222 * * [simplify]: iteration 260: 1270 enodes 33.474 * * [simplify]: iteration 261: 1277 enodes 33.530 * * [simplify]: iteration 262: 1284 enodes 33.776 * * [simplify]: iteration 263: 1286 enodes 34.109 * * [simplify]: iteration 264: 1293 enodes 34.172 * * [simplify]: iteration 265: 1294 enodes 34.443 * * [simplify]: iteration 266: 1301 enodes 34.494 * * [simplify]: iteration 267: 1308 enodes 34.687 * * [simplify]: iteration 268: 1310 enodes 34.934 * * [simplify]: iteration 269: 1317 enodes 34.995 * * [simplify]: iteration 270: 1318 enodes 35.331 * * [simplify]: iteration 271: 1325 enodes 35.393 * * [simplify]: iteration 272: 1332 enodes 35.619 * * [simplify]: iteration 273: 1334 enodes 35.908 * * [simplify]: iteration 274: 1341 enodes 35.969 * * [simplify]: iteration 275: 1342 enodes 36.274 * * [simplify]: iteration 276: 1349 enodes 36.327 * * [simplify]: iteration 277: 1356 enodes 36.536 * * [simplify]: iteration 278: 1358 enodes 36.809 * * [simplify]: iteration 279: 1365 enodes 36.875 * * [simplify]: iteration 280: 1366 enodes 37.164 * * [simplify]: iteration 281: 1373 enodes 37.257 * * [simplify]: iteration 282: 1380 enodes 37.529 * * [simplify]: iteration 283: 1382 enodes 37.778 * * [simplify]: iteration 284: 1389 enodes 37.836 * * [simplify]: iteration 285: 1390 enodes 38.141 * * [simplify]: iteration 286: 1397 enodes 38.246 * * [simplify]: iteration 287: 1404 enodes 38.504 * * [simplify]: iteration 288: 1406 enodes 38.787 * * [simplify]: iteration 289: 1413 enodes 38.871 * * [simplify]: iteration 290: 1414 enodes 39.189 * * [simplify]: iteration 291: 1421 enodes 39.286 * * [simplify]: iteration 292: 1428 enodes 39.582 * * [simplify]: iteration 293: 1430 enodes 39.890 * * [simplify]: iteration 294: 1437 enodes 39.947 * * [simplify]: iteration 295: 1438 enodes 40.276 * * [simplify]: iteration 296: 1445 enodes 40.349 * * [simplify]: iteration 297: 1452 enodes 40.647 * * [simplify]: iteration 298: 1454 enodes 40.979 * * [simplify]: iteration 299: 1461 enodes 41.031 * * [simplify]: iteration 300: 1462 enodes 41.343 * * [simplify]: iteration 301: 1469 enodes 41.454 * * [simplify]: iteration 302: 1476 enodes 41.725 * * [simplify]: iteration 303: 1478 enodes 41.982 * * [simplify]: iteration 304: 1485 enodes 42.037 * * [simplify]: iteration 305: 1486 enodes 42.338 * * [simplify]: iteration 306: 1493 enodes 42.450 * * [simplify]: iteration 307: 1500 enodes 42.735 * * [simplify]: iteration 308: 1502 enodes 43.138 * * [simplify]: iteration 309: 1509 enodes 43.206 * * [simplify]: iteration 310: 1510 enodes 43.536 * * [simplify]: iteration 311: 1517 enodes 43.619 * * [simplify]: iteration 312: 1524 enodes 44.035 * * [simplify]: iteration 313: 1526 enodes 44.442 * * [simplify]: iteration 314: 1533 enodes 44.508 * * [simplify]: iteration 315: 1534 enodes 44.983 * * [simplify]: iteration 316: 1541 enodes 45.058 * * [simplify]: iteration 317: 1548 enodes 45.352 * * [simplify]: iteration 318: 1550 enodes 45.702 * * [simplify]: iteration 319: 1557 enodes 45.758 * * [simplify]: iteration 320: 1558 enodes 46.125 * * [simplify]: iteration 321: 1565 enodes 46.254 * * [simplify]: iteration 322: 1572 enodes 46.583 * * [simplify]: iteration 323: 1574 enodes 46.920 * * [simplify]: iteration 324: 1581 enodes 46.972 * * [simplify]: iteration 325: 1582 enodes 47.320 * * [simplify]: iteration 326: 1589 enodes 47.417 * * [simplify]: iteration 327: 1596 enodes 47.885 * * [simplify]: iteration 328: 1598 enodes 48.253 * * [simplify]: iteration 329: 1605 enodes 48.350 * * [simplify]: iteration 330: 1606 enodes 48.742 * * [simplify]: iteration 331: 1613 enodes 48.842 * * [simplify]: iteration 332: 1620 enodes 49.201 * * [simplify]: iteration 333: 1622 enodes 49.611 * * [simplify]: iteration 334: 1629 enodes 49.692 * * [simplify]: iteration 335: 1630 enodes 50.103 * * [simplify]: iteration 336: 1637 enodes 50.184 * * [simplify]: iteration 337: 1644 enodes 50.602 * * [simplify]: iteration 338: 1646 enodes 51.039 * * [simplify]: iteration 339: 1653 enodes 51.126 * * [simplify]: iteration 340: 1654 enodes 51.573 * * [simplify]: iteration 341: 1661 enodes 51.660 * * [simplify]: iteration 342: 1668 enodes 52.040 * * [simplify]: iteration 343: 1670 enodes 52.479 * * [simplify]: iteration 344: 1677 enodes 52.538 * * [simplify]: iteration 345: 1678 enodes 52.937 * * [simplify]: iteration 346: 1685 enodes 53.033 * * [simplify]: iteration 347: 1692 enodes 53.526 * * [simplify]: iteration 348: 1694 enodes 53.931 * * [simplify]: iteration 349: 1701 enodes 54.005 * * [simplify]: iteration 350: 1702 enodes 54.422 * * [simplify]: iteration 351: 1709 enodes 54.511 * * [simplify]: iteration 352: 1716 enodes 54.897 * * [simplify]: iteration 353: 1718 enodes 55.246 * * [simplify]: iteration 354: 1725 enodes 55.352 * * [simplify]: iteration 355: 1726 enodes 55.845 * * [simplify]: iteration 356: 1733 enodes 55.965 * * [simplify]: iteration 357: 1740 enodes 56.471 * * [simplify]: iteration 358: 1742 enodes 56.858 * * [simplify]: iteration 359: 1749 enodes 56.924 * * [simplify]: iteration 360: 1750 enodes 57.357 * * [simplify]: iteration 361: 1757 enodes 57.482 * * [simplify]: iteration 362: 1764 enodes 57.921 * * [simplify]: iteration 363: 1766 enodes 58.384 * * [simplify]: iteration 364: 1773 enodes 58.481 * * [simplify]: iteration 365: 1774 enodes 58.934 * * [simplify]: iteration 366: 1781 enodes 59.001 * * [simplify]: iteration 367: 1788 enodes 59.485 * * [simplify]: iteration 368: 1790 enodes 60.025 * * [simplify]: iteration 369: 1797 enodes 60.136 * * [simplify]: iteration 370: 1798 enodes 60.563 * * [simplify]: iteration 371: 1805 enodes 60.661 * * [simplify]: iteration 372: 1812 enodes 61.146 * * [simplify]: iteration 373: 1814 enodes 61.583 * * [simplify]: iteration 374: 1821 enodes 61.676 * * [simplify]: iteration 375: 1822 enodes 62.178 * * [simplify]: iteration 376: 1829 enodes 62.267 * * [simplify]: iteration 377: 1836 enodes 62.631 * * [simplify]: iteration 378: 1838 enodes 63.070 * * [simplify]: iteration 379: 1845 enodes 63.159 * * [simplify]: iteration 380: 1846 enodes 63.663 * * [simplify]: iteration 381: 1853 enodes 63.760 * * [simplify]: iteration 382: 1860 enodes 64.222 * * [simplify]: iteration 383: 1862 enodes 64.731 * * [simplify]: iteration 384: 1869 enodes 64.831 * * [simplify]: iteration 385: 1870 enodes 65.353 * * [simplify]: iteration 386: 1877 enodes 65.475 * * [simplify]: iteration 387: 1884 enodes 65.994 * * [simplify]: iteration 388: 1886 enodes 66.488 * * [simplify]: iteration 389: 1893 enodes 66.595 * * [simplify]: iteration 390: 1894 enodes 67.079 * * [simplify]: iteration 391: 1901 enodes 67.158 * * [simplify]: iteration 392: 1908 enodes 67.659 * * [simplify]: iteration 393: 1910 enodes 68.106 * * [simplify]: iteration 394: 1917 enodes 68.193 * * [simplify]: iteration 395: 1918 enodes 68.736 * * [simplify]: iteration 396: 1925 enodes 68.851 * * [simplify]: iteration 397: 1932 enodes 69.351 * * [simplify]: iteration 398: 1934 enodes 69.915 * * [simplify]: iteration 399: 1941 enodes 69.995 * * [simplify]: iteration 400: 1942 enodes 70.437 * * [simplify]: iteration 401: 1949 enodes 70.543 * * [simplify]: iteration 402: 1956 enodes 70.989 * * [simplify]: iteration 403: 1958 enodes 71.463 * * [simplify]: iteration 404: 1965 enodes 71.538 * * [simplify]: iteration 405: 1966 enodes 72.040 * * [simplify]: iteration 406: 1973 enodes 72.138 * * [simplify]: iteration 407: 1980 enodes 72.649 * * [simplify]: iteration 408: 1982 enodes 73.153 * * [simplify]: iteration 409: 1989 enodes 73.245 * * [simplify]: iteration 410: 1990 enodes 74.294 * * [simplify]: iteration 411: 1997 enodes 74.395 * * [simplify]: iteration 412: 2004 enodes 74.922 * * [simplify]: iteration 413: 2006 enodes 75.504 * * [simplify]: iteration 414: 2013 enodes 75.600 * * [simplify]: iteration 415: 2014 enodes 76.124 * * [simplify]: iteration 416: 2021 enodes 76.199 * * [simplify]: iteration 417: 2028 enodes 76.787 * * [simplify]: iteration 418: 2030 enodes 77.374 * * [simplify]: iteration 419: 2037 enodes 77.474 * * [simplify]: iteration 420: 2038 enodes 78.160 * * [simplify]: iteration 421: 2045 enodes 78.256 * * [simplify]: iteration 422: 2052 enodes 78.840 * * [simplify]: iteration 423: 2054 enodes 79.537 * * [simplify]: iteration 424: 2061 enodes 79.655 * * [simplify]: iteration 425: 2062 enodes 80.240 * * [simplify]: iteration 426: 2069 enodes 80.334 * * [simplify]: iteration 427: 2076 enodes 80.870 * * [simplify]: iteration 428: 2078 enodes 81.424 * * [simplify]: iteration 429: 2085 enodes 81.569 * * [simplify]: iteration 430: 2086 enodes 82.254 * * [simplify]: iteration 431: 2093 enodes 82.397 * * [simplify]: iteration 432: 2100 enodes 82.978 * * [simplify]: iteration 433: 2102 enodes 83.663 * * [simplify]: iteration 434: 2109 enodes 83.803 * * [simplify]: iteration 435: 2110 enodes 84.482 * * [simplify]: iteration 436: 2117 enodes 84.611 * * [simplify]: iteration 437: 2124 enodes 85.246 * * [simplify]: iteration 438: 2126 enodes 85.889 * * [simplify]: iteration 439: 2133 enodes 86.029 * * [simplify]: iteration 440: 2134 enodes 86.595 * * [simplify]: iteration 441: 2141 enodes 86.709 * * [simplify]: iteration 442: 2148 enodes 87.397 * * [simplify]: iteration 443: 2150 enodes 88.042 * * [simplify]: iteration 444: 2157 enodes 88.154 * * [simplify]: iteration 445: 2158 enodes 88.712 * * [simplify]: iteration 446: 2165 enodes 88.831 * * [simplify]: iteration 447: 2172 enodes 89.485 * * [simplify]: iteration 448: 2174 enodes 90.146 * * [simplify]: iteration 449: 2181 enodes 90.252 * * [simplify]: iteration 450: 2182 enodes 90.950 * * [simplify]: iteration 451: 2189 enodes 91.058 * * [simplify]: iteration 452: 2196 enodes 91.767 * * [simplify]: iteration 453: 2198 enodes 92.488 * * [simplify]: iteration 454: 2205 enodes 92.621 * * [simplify]: iteration 455: 2206 enodes 93.469 * * [simplify]: iteration 456: 2213 enodes 93.633 * * [simplify]: iteration 457: 2220 enodes 94.346 * * [simplify]: iteration 458: 2222 enodes 95.133 * * [simplify]: iteration 459: 2229 enodes 95.253 * * [simplify]: iteration 460: 2230 enodes 95.984 * * [simplify]: iteration 461: 2237 enodes 96.102 * * [simplify]: iteration 462: 2244 enodes 96.883 * * [simplify]: iteration 463: 2246 enodes 97.669 * * [simplify]: iteration 464: 2253 enodes 97.801 * * [simplify]: iteration 465: 2254 enodes 98.541 * * [simplify]: iteration 466: 2261 enodes 98.684 * * [simplify]: iteration 467: 2268 enodes 99.451 * * [simplify]: iteration 468: 2270 enodes 100.411 * * [simplify]: iteration 469: 2277 enodes 100.559 * * [simplify]: iteration 470: 2278 enodes 101.348 * * [simplify]: iteration 471: 2285 enodes 101.457 * * [simplify]: iteration 472: 2292 enodes 102.302 * * [simplify]: iteration 473: 2294 enodes 103.154 * * [simplify]: iteration 474: 2301 enodes 103.254 * * [simplify]: iteration 475: 2302 enodes 104.017 * * [simplify]: iteration 476: 2309 enodes 104.126 * * [simplify]: iteration 477: 2316 enodes 104.843 * * [simplify]: iteration 478: 2318 enodes 105.601 * * [simplify]: iteration 479: 2325 enodes 105.699 * * [simplify]: iteration 480: 2326 enodes 106.716 * * [simplify]: iteration 481: 2333 enodes 106.831 * * [simplify]: iteration 482: 2340 enodes 107.592 * * [simplify]: iteration 483: 2342 enodes 108.538 * * [simplify]: iteration 484: 2349 enodes 108.651 * * [simplify]: iteration 485: 2350 enodes 109.608 * * [simplify]: iteration 486: 2357 enodes 109.760 * * [simplify]: iteration 487: 2364 enodes 110.599 * * [simplify]: iteration 488: 2366 enodes 111.395 * * [simplify]: iteration 489: 2373 enodes 111.517 * * [simplify]: iteration 490: 2374 enodes 112.437 * * [simplify]: iteration 491: 2381 enodes 112.599 * * [simplify]: iteration 492: 2388 enodes 113.517 * * [simplify]: iteration 493: 2390 enodes 114.523 * * [simplify]: iteration 494: 2397 enodes 114.626 * * [simplify]: iteration 495: 2398 enodes 115.449 * * [simplify]: iteration 496: 2405 enodes 115.645 * * [simplify]: iteration 497: 2412 enodes 116.492 * * [simplify]: iteration 498: 2414 enodes 117.409 * * [simplify]: iteration 499: 2421 enodes 117.505 * * [simplify]: iteration 500: 2422 enodes 118.313 * * [simplify]: iteration 501: 2429 enodes 118.452 * * [simplify]: iteration 502: 2436 enodes 119.308 * * [simplify]: iteration 503: 2438 enodes 120.248 * * [simplify]: iteration 504: 2445 enodes 120.379 * * [simplify]: iteration 505: 2446 enodes 121.202 * * [simplify]: iteration 506: 2453 enodes 121.327 * * [simplify]: iteration 507: 2460 enodes 122.199 * * [simplify]: iteration 508: 2462 enodes 123.178 * * [simplify]: iteration 509: 2469 enodes 123.299 * * [simplify]: iteration 510: 2470 enodes 124.292 * * [simplify]: iteration 511: 2477 enodes 124.399 * * [simplify]: iteration 512: 2484 enodes 125.473 * * [simplify]: iteration 513: 2486 enodes 126.486 * * [simplify]: iteration 514: 2493 enodes 126.645 * * [simplify]: iteration 515: 2494 enodes 127.512 * * [simplify]: iteration 516: 2501 enodes 127.698 * * [simplify]: iteration 517: 2508 enodes 128.581 * * [simplify]: iteration 518: 2510 enodes 129.480 * * [simplify]: iteration 519: 2517 enodes 129.615 * * [simplify]: iteration 520: 2518 enodes 130.628 * * [simplify]: iteration 521: 2525 enodes 130.767 * * [simplify]: iteration 522: 2532 enodes 131.876 * * [simplify]: iteration 523: 2534 enodes 132.622 * * [simplify]: iteration 524: 2541 enodes 132.719 * * [simplify]: iteration 525: 2542 enodes 133.572 * * [simplify]: iteration 526: 2549 enodes 133.751 * * [simplify]: iteration 527: 2556 enodes 134.677 * * [simplify]: iteration 528: 2558 enodes 135.720 * * [simplify]: iteration 529: 2565 enodes 135.851 * * [simplify]: iteration 530: 2566 enodes 136.702 * * [simplify]: iteration 531: 2573 enodes 136.865 * * [simplify]: iteration 532: 2580 enodes 138.093 * * [simplify]: iteration 533: 2582 enodes 138.973 * * [simplify]: iteration 534: 2589 enodes 139.103 * * [simplify]: iteration 535: 2590 enodes 140.030 * * [simplify]: iteration 536: 2597 enodes 140.136 * * [simplify]: iteration 537: 2604 enodes 141.094 * * [simplify]: iteration 538: 2606 enodes 141.962 * * [simplify]: iteration 539: 2613 enodes 142.101 * * [simplify]: iteration 540: 2614 enodes 143.020 * * [simplify]: iteration 541: 2621 enodes 143.163 * * [simplify]: iteration 542: 2628 enodes 144.086 * * [simplify]: iteration 543: 2630 enodes 145.011 * * [simplify]: iteration 544: 2637 enodes 145.134 * * [simplify]: iteration 545: 2638 enodes 146.030 * * [simplify]: iteration 546: 2645 enodes 146.151 * * [simplify]: iteration 547: 2652 enodes 147.196 * * [simplify]: iteration 548: 2654 enodes 148.089 * * [simplify]: iteration 549: 2661 enodes 148.226 * * [simplify]: iteration 550: 2662 enodes 149.131 * * [simplify]: iteration 551: 2669 enodes 149.268 * * [simplify]: iteration 552: 2676 enodes 150.230 * * [simplify]: iteration 553: 2678 enodes 151.269 * * [simplify]: iteration 554: 2685 enodes 151.406 * * [simplify]: iteration 555: 2686 enodes 152.505 * * [simplify]: iteration 556: 2693 enodes 152.656 * * [simplify]: iteration 557: 2700 enodes 153.607 * * [simplify]: iteration 558: 2702 enodes 154.672 * * [simplify]: iteration 559: 2709 enodes 154.781 * * [simplify]: iteration 560: 2710 enodes 155.858 * * [simplify]: iteration 561: 2717 enodes 155.980 * * [simplify]: iteration 562: 2724 enodes 156.979 * * [simplify]: iteration 563: 2726 enodes 158.035 * * [simplify]: iteration 564: 2733 enodes 158.216 * * [simplify]: iteration 565: 2734 enodes 159.018 * * [simplify]: iteration 566: 2741 enodes 159.134 * * [simplify]: iteration 567: 2748 enodes 160.153 * * [simplify]: iteration 568: 2750 enodes 161.225 * * [simplify]: iteration 569: 2757 enodes 161.378 * * [simplify]: iteration 570: 2758 enodes 162.440 * * [simplify]: iteration 571: 2765 enodes 162.594 * * [simplify]: iteration 572: 2772 enodes 163.664 * * [simplify]: iteration 573: 2774 enodes 164.831 * * [simplify]: iteration 574: 2781 enodes 164.961 * * [simplify]: iteration 575: 2782 enodes 166.000 * * [simplify]: iteration 576: 2789 enodes 166.120 * * [simplify]: iteration 577: 2796 enodes 167.134 * * [simplify]: iteration 578: 2798 enodes 168.107 * * [simplify]: iteration 579: 2805 enodes 168.202 * * [simplify]: iteration 580: 2806 enodes 169.056 * * [simplify]: iteration 581: 2813 enodes 169.215 * * [simplify]: iteration 582: 2820 enodes 170.284 * * [simplify]: iteration 583: 2822 enodes 171.267 * * [simplify]: iteration 584: 2829 enodes 171.454 * * [simplify]: iteration 585: 2830 enodes 172.702 * * [simplify]: iteration 586: 2837 enodes 172.826 * * [simplify]: iteration 587: 2844 enodes 173.937 * * [simplify]: iteration 588: 2846 enodes 174.974 * * [simplify]: iteration 589: 2853 enodes 175.136 * * [simplify]: iteration 590: 2854 enodes 176.049 * * [simplify]: iteration 591: 2861 enodes 176.159 * * [simplify]: iteration 592: 2868 enodes 177.327 * * [simplify]: iteration 593: 2870 enodes 178.501 * * [simplify]: iteration 594: 2877 enodes 178.661 * * [simplify]: iteration 595: 2878 enodes 179.859 * * [simplify]: iteration 596: 2885 enodes 180.020 * * [simplify]: iteration 597: 2892 enodes 181.339 * * [simplify]: iteration 598: 2894 enodes 182.436 * * [simplify]: iteration 599: 2901 enodes 182.597 * * [simplify]: iteration 600: 2902 enodes 183.872 * * [simplify]: iteration 601: 2909 enodes 184.024 * * [simplify]: iteration 602: 2916 enodes 185.290 * * [simplify]: iteration 603: 2918 enodes 186.316 * * [simplify]: iteration 604: 2925 enodes 186.428 * * [simplify]: iteration 605: 2926 enodes 187.579 * * [simplify]: iteration 606: 2933 enodes 187.738 * * [simplify]: iteration 607: 2940 enodes 189.243 * * [simplify]: iteration 608: 2942 enodes 190.301 * * [simplify]: iteration 609: 2949 enodes 190.482 * * [simplify]: iteration 610: 2950 enodes 191.556 * * [simplify]: iteration 611: 2957 enodes 191.673 * * [simplify]: iteration 612: 2964 enodes 192.667 * * [simplify]: iteration 613: 2966 enodes 193.885 * * [simplify]: iteration 614: 2973 enodes 194.045 * * [simplify]: iteration 615: 2974 enodes 195.222 * * [simplify]: iteration 616: 2981 enodes 195.365 * * [simplify]: iteration 617: 2988 enodes 196.524 * * [simplify]: iteration 618: 2990 enodes 197.649 * * [simplify]: iteration 619: 2997 enodes 197.769 * * [simplify]: iteration 620: 2998 enodes 198.925 * * [simplify]: iteration 621: 3005 enodes 199.096 * * [simplify]: iteration 622: 3012 enodes 200.300 * * [simplify]: iteration 623: 3014 enodes 201.421 * * [simplify]: iteration 624: 3021 enodes 201.603 * * [simplify]: iteration 625: 3022 enodes 202.775 * * [simplify]: iteration 626: 3029 enodes 202.988 * * [simplify]: iteration 627: 3036 enodes 204.200 * * [simplify]: iteration 628: 3038 enodes 205.453 * * [simplify]: iteration 629: 3045 enodes 205.605 * * [simplify]: iteration 630: 3046 enodes 206.767 * * [simplify]: iteration 631: 3053 enodes 206.940 * * [simplify]: iteration 632: 3060 enodes 208.106 * * [simplify]: iteration 633: 3062 enodes 209.120 * * [simplify]: iteration 634: 3069 enodes 209.284 * * [simplify]: iteration 635: 3070 enodes 210.521 * * [simplify]: iteration 636: 3077 enodes 210.647 * * [simplify]: iteration 637: 3084 enodes 211.897 * * [simplify]: iteration 638: 3086 enodes 213.133 * * [simplify]: iteration 639: 3093 enodes 213.259 * * [simplify]: iteration 640: 3094 enodes 214.471 * * [simplify]: iteration 641: 3101 enodes 214.592 * * [simplify]: iteration 642: 3108 enodes 215.788 * * [simplify]: iteration 643: 3110 enodes 217.101 * * [simplify]: iteration 644: 3117 enodes 217.251 * * [simplify]: iteration 645: 3118 enodes 218.632 * * [simplify]: iteration 646: 3125 enodes 218.798 * * [simplify]: iteration 647: 3132 enodes 220.037 * * [simplify]: iteration 648: 3134 enodes 221.392 * * [simplify]: iteration 649: 3141 enodes 221.514 * * [simplify]: iteration 650: 3142 enodes 222.797 * * [simplify]: iteration 651: 3149 enodes 222.951 * * [simplify]: iteration 652: 3156 enodes 224.371 * * [simplify]: iteration 653: 3158 enodes 225.708 * * [simplify]: iteration 654: 3165 enodes 225.895 * * [simplify]: iteration 655: 3166 enodes 227.342 * * [simplify]: iteration 656: 3173 enodes 227.533 * * [simplify]: iteration 657: 3180 enodes 228.848 * * [simplify]: iteration 658: 3182 enodes 230.475 * * [simplify]: iteration 659: 3189 enodes 230.690 * * [simplify]: iteration 660: 3190 enodes 232.073 * * [simplify]: iteration 661: 3197 enodes 232.220 * * [simplify]: iteration 662: 3204 enodes 233.870 * * [simplify]: iteration 663: 3206 enodes 235.155 * * [simplify]: iteration 664: 3213 enodes 235.296 * * [simplify]: iteration 665: 3214 enodes 236.637 * * [simplify]: iteration 666: 3221 enodes 236.826 * * [simplify]: iteration 667: 3228 enodes 238.047 * * [simplify]: iteration 668: 3230 enodes 239.367 * * [simplify]: iteration 669: 3237 enodes 239.557 * * [simplify]: iteration 670: 3238 enodes 240.725 * * [simplify]: iteration 671: 3245 enodes 240.842 * * [simplify]: iteration 672: 3252 enodes 241.939 * * [simplify]: iteration 673: 3254 enodes 243.103 * * [simplify]: iteration 674: 3261 enodes 243.311 * * [simplify]: iteration 675: 3262 enodes 244.717 * * [simplify]: iteration 676: 3269 enodes 244.918 * * [simplify]: iteration 677: 3276 enodes 246.174 * * [simplify]: iteration 678: 3278 enodes 247.393 * * [simplify]: iteration 679: 3285 enodes 247.565 * * [simplify]: iteration 680: 3286 enodes 248.723 * * [simplify]: iteration 681: 3293 enodes 248.835 * * [simplify]: iteration 682: 3300 enodes 250.101 * * [simplify]: iteration 683: 3302 enodes 251.577 * * [simplify]: iteration 684: 3309 enodes 251.748 * * [simplify]: iteration 685: 3310 enodes 253.249 * * [simplify]: iteration 686: 3317 enodes 253.410 * * [simplify]: iteration 687: 3324 enodes 254.992 * * [simplify]: iteration 688: 3326 enodes 256.492 * * [simplify]: iteration 689: 3333 enodes 256.653 * * [simplify]: iteration 690: 3334 enodes 257.964 * * [simplify]: iteration 691: 3341 enodes 258.139 * * [simplify]: iteration 692: 3348 enodes 259.557 * * [simplify]: iteration 693: 3350 enodes 260.992 * * [simplify]: iteration 694: 3357 enodes 261.154 * * [simplify]: iteration 695: 3358 enodes 262.379 * * [simplify]: iteration 696: 3365 enodes 262.533 * * [simplify]: iteration 697: 3372 enodes 263.980 * * [simplify]: iteration 698: 3374 enodes 265.069 * * [simplify]: iteration 699: 3381 enodes 265.198 * * [simplify]: iteration 700: 3382 enodes 266.566 * * [simplify]: iteration 701: 3389 enodes 266.739 * * [simplify]: iteration 702: 3396 enodes 268.251 * * [simplify]: iteration 703: 3398 enodes 269.667 * * [simplify]: iteration 704: 3405 enodes 269.825 * * [simplify]: iteration 705: 3406 enodes 271.340 * * [simplify]: iteration 706: 3413 enodes 271.481 * * [simplify]: iteration 707: 3420 enodes 272.969 * * [simplify]: iteration 708: 3422 enodes 275.035 * * [simplify]: iteration 709: 3429 enodes 275.166 * * [simplify]: iteration 710: 3430 enodes 276.485 * * [simplify]: iteration 711: 3437 enodes 276.614 * * [simplify]: iteration 712: 3444 enodes 278.046 * * [simplify]: iteration 713: 3446 enodes 279.467 * * [simplify]: iteration 714: 3453 enodes 279.654 * * [simplify]: iteration 715: 3454 enodes 281.052 * * [simplify]: iteration 716: 3461 enodes 281.217 * * [simplify]: iteration 717: 3468 enodes 282.622 * * [simplify]: iteration 718: 3470 enodes 284.013 * * [simplify]: iteration 719: 3477 enodes 284.164 * * [simplify]: iteration 720: 3478 enodes 285.666 * * [simplify]: iteration 721: 3485 enodes 285.903 * * [simplify]: iteration 722: 3492 enodes 287.655 * * [simplify]: iteration 723: 3494 enodes 289.139 * * [simplify]: iteration 724: 3501 enodes 289.347 * * [simplify]: iteration 725: 3502 enodes 290.764 * * [simplify]: iteration 726: 3509 enodes 290.988 * * [simplify]: iteration 727: 3516 enodes 292.485 * * [simplify]: iteration 728: 3518 enodes 294.042 * * [simplify]: iteration 729: 3525 enodes 294.243 * * [simplify]: iteration 730: 3526 enodes 295.917 * * [simplify]: iteration 731: 3533 enodes 296.074 * * [simplify]: iteration 732: 3540 enodes 297.517 * * [simplify]: iteration 733: 3542 enodes 299.085 * * [simplify]: iteration 734: 3549 enodes 299.201 * * [simplify]: iteration 735: 3550 enodes 300.728 * * [simplify]: iteration 736: 3557 enodes 300.916 * * [simplify]: iteration 737: 3564 enodes 302.558 * * [simplify]: iteration 738: 3566 enodes 304.491 * * [simplify]: iteration 739: 3573 enodes 304.692 * * [simplify]: iteration 740: 3574 enodes 306.391 * * [simplify]: iteration 741: 3581 enodes 306.558 * * [simplify]: iteration 742: 3588 enodes 308.050 * * [simplify]: iteration 743: 3590 enodes 309.492 * * [simplify]: iteration 744: 3597 enodes 309.624 * * [simplify]: iteration 745: 3598 enodes 311.247 * * [simplify]: iteration 746: 3605 enodes 311.439 * * [simplify]: iteration 747: 3612 enodes 313.175 * * [simplify]: iteration 748: 3614 enodes 315.243 * * [simplify]: iteration 749: 3621 enodes 315.461 * * [simplify]: iteration 750: 3622 enodes 317.140 * * [simplify]: iteration 751: 3629 enodes 317.288 * * [simplify]: iteration 752: 3636 enodes 318.883 * * [simplify]: iteration 753: 3638 enodes 320.602 * * [simplify]: iteration 754: 3645 enodes 320.789 * * [simplify]: iteration 755: 3646 enodes 322.336 * * [simplify]: iteration 756: 3653 enodes 322.551 * * [simplify]: iteration 757: 3660 enodes 324.115 * * [simplify]: iteration 758: 3662 enodes 325.837 * * [simplify]: iteration 759: 3669 enodes 326.035 * * [simplify]: iteration 760: 3670 enodes 327.841 * * [simplify]: iteration 761: 3677 enodes 328.023 * * [simplify]: iteration 762: 3684 enodes 329.770 * * [simplify]: iteration 763: 3686 enodes 331.415 * * [simplify]: iteration 764: 3693 enodes 331.627 * * [simplify]: iteration 765: 3694 enodes 333.472 * * [simplify]: iteration 766: 3701 enodes 333.671 * * [simplify]: iteration 767: 3708 enodes 335.421 * * [simplify]: iteration 768: 3710 enodes 336.971 * * [simplify]: iteration 769: 3717 enodes 337.133 * * [simplify]: iteration 770: 3718 enodes 338.679 * * [simplify]: iteration 771: 3725 enodes 338.892 * * [simplify]: iteration 772: 3732 enodes 340.662 * * [simplify]: iteration 773: 3734 enodes 342.449 * * [simplify]: iteration 774: 3741 enodes 342.633 * * [simplify]: iteration 775: 3742 enodes 344.208 * * [simplify]: iteration 776: 3749 enodes 344.338 * * [simplify]: iteration 777: 3756 enodes 346.092 * * [simplify]: iteration 778: 3758 enodes 347.786 * * [simplify]: iteration 779: 3765 enodes 347.965 * * [simplify]: iteration 780: 3766 enodes 349.874 * * [simplify]: iteration 781: 3773 enodes 350.106 * * [simplify]: iteration 782: 3780 enodes 351.898 * * [simplify]: iteration 783: 3782 enodes 354.261 * * [simplify]: iteration 784: 3789 enodes 354.476 * * [simplify]: iteration 785: 3790 enodes 356.463 * * [simplify]: iteration 786: 3797 enodes 356.644 * * [simplify]: iteration 787: 3804 enodes 358.276 * * [simplify]: iteration 788: 3806 enodes 360.223 * * [simplify]: iteration 789: 3813 enodes 360.432 * * [simplify]: iteration 790: 3814 enodes 362.362 * * [simplify]: iteration 791: 3821 enodes 362.528 * * [simplify]: iteration 792: 3828 enodes 364.352 * * [simplify]: iteration 793: 3830 enodes 366.121 * * [simplify]: iteration 794: 3837 enodes 366.272 * * [simplify]: iteration 795: 3838 enodes 367.954 * * [simplify]: iteration 796: 3845 enodes 368.142 * * [simplify]: iteration 797: 3852 enodes 369.951 * * [simplify]: iteration 798: 3854 enodes 371.917 * * [simplify]: iteration 799: 3861 enodes 372.079 * * [simplify]: iteration 800: 3862 enodes 373.688 * * [simplify]: iteration 801: 3869 enodes 373.829 * * [simplify]: iteration 802: 3876 enodes 375.657 * * [simplify]: iteration 803: 3878 enodes 377.666 * * [simplify]: iteration 804: 3885 enodes 377.874 * * [simplify]: iteration 805: 3886 enodes 379.746 * * [simplify]: iteration 806: 3893 enodes 379.918 * * [simplify]: iteration 807: 3900 enodes 381.954 * * [simplify]: iteration 808: 3902 enodes 383.878 * * [simplify]: iteration 809: 3909 enodes 384.054 * * [simplify]: iteration 810: 3910 enodes 386.257 * * [simplify]: iteration 811: 3917 enodes 386.436 * * [simplify]: iteration 812: 3924 enodes 388.345 * * [simplify]: iteration 813: 3926 enodes 390.320 * * [simplify]: iteration 814: 3933 enodes 390.524 * * [simplify]: iteration 815: 3934 enodes 393.104 * * [simplify]: iteration 816: 3941 enodes 393.319 * * [simplify]: iteration 817: 3948 enodes 395.245 * * [simplify]: iteration 818: 3950 enodes 397.299 * * [simplify]: iteration 819: 3957 enodes 397.426 * * [simplify]: iteration 820: 3958 enodes 399.548 * * [simplify]: iteration 821: 3965 enodes 399.740 * * [simplify]: iteration 822: 3972 enodes 401.786 * * [simplify]: iteration 823: 3974 enodes 403.530 * * [simplify]: iteration 824: 3981 enodes 403.693 * * [simplify]: iteration 825: 3982 enodes 405.459 * * [simplify]: iteration 826: 3989 enodes 405.627 * * [simplify]: iteration 827: 3996 enodes 407.027 * * [simplify]: iteration 828: 3998 enodes 408.363 * * [simplify]: iteration 829: 4005 enodes 408.488 * * [simplify]: iteration 830: 4006 enodes 409.830 * * [simplify]: iteration 831: 4013 enodes 409.964 * * [simplify]: iteration 832: 4020 enodes 411.312 * * [simplify]: iteration 833: 4022 enodes 412.663 * * [simplify]: iteration 834: 4029 enodes 412.791 * * [simplify]: iteration 835: 4030 enodes 414.145 * * [simplify]: iteration 836: 4037 enodes 414.277 * * [simplify]: iteration 837: 4044 enodes 415.628 * * [simplify]: iteration 838: 4046 enodes 416.993 * * [simplify]: iteration 839: 4053 enodes 417.122 * * [simplify]: iteration 840: 4054 enodes 418.485 * * [simplify]: iteration 841: 4061 enodes 418.622 * * [simplify]: iteration 842: 4068 enodes 419.986 * * [simplify]: iteration 843: 4070 enodes 421.368 * * [simplify]: iteration 844: 4077 enodes 421.498 * * [simplify]: iteration 845: 4078 enodes 423.182 * * [simplify]: iteration 846: 4085 enodes 423.322 * * [simplify]: iteration 847: 4092 enodes 424.719 * * [simplify]: iteration 848: 4094 enodes 426.122 * * [simplify]: iteration 849: 4101 enodes 426.247 * * [simplify]: iteration 850: 4102 enodes 427.661 * * [simplify]: iteration 851: 4109 enodes 427.800 * * [simplify]: iteration 852: 4116 enodes 429.213 * * [simplify]: iteration 853: 4118 enodes 430.649 * * [simplify]: iteration 854: 4125 enodes 430.779 * * [simplify]: iteration 855: 4126 enodes 432.213 * * [simplify]: iteration 856: 4133 enodes 432.353 * * [simplify]: iteration 857: 4140 enodes 433.794 * * [simplify]: iteration 858: 4142 enodes 435.246 * * [simplify]: iteration 859: 4149 enodes 435.379 * * [simplify]: iteration 860: 4150 enodes 436.837 * * [simplify]: iteration 861: 4157 enodes 436.977 * * [simplify]: iteration 862: 4164 enodes 438.434 * * [simplify]: iteration 863: 4166 enodes 439.907 * * [simplify]: iteration 864: 4173 enodes 440.041 * * [simplify]: iteration 865: 4174 enodes 441.519 * * [simplify]: iteration 866: 4181 enodes 441.662 * * [simplify]: iteration 867: 4188 enodes 443.143 * * [simplify]: iteration 868: 4190 enodes 444.642 * * [simplify]: iteration 869: 4197 enodes 444.779 * * [simplify]: iteration 870: 4198 enodes 446.283 * * [simplify]: iteration 871: 4205 enodes 446.432 * * [simplify]: iteration 872: 4212 enodes 448.245 * * [simplify]: iteration 873: 4214 enodes 449.721 * * [simplify]: iteration 874: 4221 enodes 449.854 * * [simplify]: iteration 875: 4222 enodes 451.337 * * [simplify]: iteration 876: 4229 enodes 451.481 * * [simplify]: iteration 877: 4236 enodes 452.964 * * [simplify]: iteration 878: 4238 enodes 454.474 * * [simplify]: iteration 879: 4245 enodes 454.606 * * [simplify]: iteration 880: 4246 enodes 456.110 * * [simplify]: iteration 881: 4253 enodes 456.255 * * [simplify]: iteration 882: 4260 enodes 457.778 * * [simplify]: iteration 883: 4262 enodes 459.280 * * [simplify]: iteration 884: 4269 enodes 459.412 * * [simplify]: iteration 885: 4270 enodes 460.924 * * [simplify]: iteration 886: 4277 enodes 461.066 * * [simplify]: iteration 887: 4284 enodes 462.584 * * [simplify]: iteration 888: 4286 enodes 464.114 * * [simplify]: iteration 889: 4293 enodes 464.249 * * [simplify]: iteration 890: 4294 enodes 465.787 * * [simplify]: iteration 891: 4301 enodes 465.931 * * [simplify]: iteration 892: 4308 enodes 467.470 * * [simplify]: iteration 893: 4310 enodes 467.607 * * [simplify]: iteration 894: 4317 enodes 469.155 * * [simplify]: iteration 895: 4319 enodes 469.294 * * [simplify]: iteration 896: 4326 enodes 471.140 * * [simplify]: iteration 897: 4328 enodes 472.701 * * [simplify]: iteration 898: 4335 enodes 472.837 * * [simplify]: iteration 899: 4336 enodes 474.399 * * [simplify]: iteration 900: 4343 enodes 474.545 * * [simplify]: iteration 901: 4350 enodes 476.102 * * [simplify]: iteration 902: 4352 enodes 476.239 * * [simplify]: iteration 903: 4359 enodes 477.813 * * [simplify]: iteration 904: 4361 enodes 477.951 * * [simplify]: iteration 905: 4368 enodes 479.545 * * [simplify]: iteration 906: 4370 enodes 479.684 * * [simplify]: iteration 907: 4377 enodes 481.286 * * [simplify]: iteration 908: 4379 enodes 481.425 * * [simplify]: iteration 909: 4386 enodes 483.144 * * [simplify]: iteration 910: 4388 enodes 484.928 * * [simplify]: iteration 911: 4395 enodes 485.068 * * [simplify]: iteration 912: 4396 enodes 486.850 * * [simplify]: iteration 913: 4403 enodes 487.004 * * [simplify]: iteration 914: 4410 enodes 488.796 * * [simplify]: iteration 915: 4412 enodes 488.939 * * [simplify]: iteration 916: 4419 enodes 490.764 * * [simplify]: iteration 917: 4421 enodes 492.604 * * [simplify]: iteration 918: 4428 enodes 492.748 * * [simplify]: iteration 919: 4429 enodes 494.899 * * [simplify]: iteration 920: 4436 enodes 495.054 * * [simplify]: iteration 921: 4443 enodes 496.875 * * [simplify]: iteration 922: 4445 enodes 497.019 * * [simplify]: iteration 923: 4452 enodes 498.855 * * [simplify]: iteration 924: 4454 enodes 500.690 * * [simplify]: iteration 925: 4461 enodes 500.836 * * [simplify]: iteration 926: 4462 enodes 502.678 * * [simplify]: iteration 927: 4469 enodes 502.834 * * [simplify]: iteration 928: 4476 enodes 504.689 * * [simplify]: iteration 929: 4478 enodes 504.837 * * [simplify]: iteration 930: 4485 enodes 506.710 * * [simplify]: iteration 931: 4487 enodes 506.857 * * [simplify]: iteration 932: 4494 enodes 508.754 * * [simplify]: iteration 933: 4496 enodes 510.633 * * [simplify]: iteration 934: 4503 enodes 510.777 * * [simplify]: iteration 935: 4504 enodes 512.679 * * [simplify]: iteration 936: 4511 enodes 512.837 * * [simplify]: iteration 937: 4518 enodes 514.775 * * [simplify]: iteration 938: 4520 enodes 516.708 * * [simplify]: iteration 939: 4527 enodes 516.859 * * [simplify]: iteration 940: 4528 enodes 518.910 * * [simplify]: iteration 941: 4535 enodes 519.077 * * [simplify]: iteration 942: 4542 enodes 521.432 * * [simplify]: iteration 943: 4544 enodes 521.589 * * [simplify]: iteration 944: 4551 enodes 523.631 * * [simplify]: iteration 945: 4553 enodes 523.786 * * [simplify]: iteration 946: 4560 enodes 525.845 * * [simplify]: iteration 947: 4562 enodes 527.937 * * [simplify]: iteration 948: 4569 enodes 528.089 * * [simplify]: iteration 949: 4570 enodes 530.166 * * [simplify]: iteration 950: 4577 enodes 530.335 * * [simplify]: iteration 951: 4584 enodes 532.431 * * [simplify]: iteration 952: 4586 enodes 534.508 * * [simplify]: iteration 953: 4593 enodes 534.668 * * [simplify]: iteration 954: 4594 enodes 536.749 * * [simplify]: iteration 955: 4601 enodes 536.917 * * [simplify]: iteration 956: 4608 enodes 539.009 * * [simplify]: iteration 957: 4610 enodes 541.107 * * [simplify]: iteration 958: 4617 enodes 541.279 * * [simplify]: iteration 959: 4618 enodes 543.394 * * [simplify]: iteration 960: 4625 enodes 543.579 * * [simplify]: iteration 961: 4632 enodes 545.980 * * [simplify]: iteration 962: 4634 enodes 546.145 * * [simplify]: iteration 963: 4641 enodes 548.262 * * [simplify]: iteration 964: 4643 enodes 548.424 * * [simplify]: iteration 965: 4650 enodes 550.403 * * [simplify]: iteration 966: 4652 enodes 550.564 * * [simplify]: iteration 967: 4659 enodes 552.555 * * [simplify]: iteration 968: 4661 enodes 552.715 * * [simplify]: iteration 969: 4668 enodes 554.717 * * [simplify]: iteration 970: 4670 enodes 554.876 * * [simplify]: iteration 971: 4677 enodes 556.893 * * [simplify]: iteration 972: 4679 enodes 557.052 * * [simplify]: iteration 973: 4686 enodes 559.084 * * [simplify]: iteration 974: 4688 enodes 559.245 * * [simplify]: iteration 975: 4695 enodes 561.265 * * [simplify]: iteration 976: 4697 enodes 561.426 * * [simplify]: iteration 977: 4704 enodes 563.470 * * [simplify]: iteration 978: 4706 enodes 565.530 * * [simplify]: iteration 979: 4713 enodes 565.693 * * [simplify]: iteration 980: 4714 enodes 568.017 * * [simplify]: iteration 981: 4721 enodes 568.191 * * [simplify]: iteration 982: 4728 enodes 570.246 * * [simplify]: iteration 983: 4730 enodes 570.408 * * [simplify]: iteration 984: 4737 enodes 572.479 * * [simplify]: iteration 985: 4739 enodes 572.641 * * [simplify]: iteration 986: 4746 enodes 574.725 * * [simplify]: iteration 987: 4748 enodes 574.890 * * [simplify]: iteration 988: 4755 enodes 576.995 * * [simplify]: iteration 989: 4757 enodes 577.158 * * [simplify]: iteration 990: 4764 enodes 579.268 * * [simplify]: iteration 991: 4766 enodes 579.434 * * [simplify]: iteration 992: 4773 enodes 581.540 * * [simplify]: iteration 993: 4775 enodes 581.705 * * [simplify]: iteration 994: 4782 enodes 583.830 * * [simplify]: iteration 995: 4784 enodes 583.997 * * [simplify]: iteration 996: 4791 enodes 586.142 * * [simplify]: iteration 997: 4793 enodes 586.306 * * [simplify]: iteration 998: 4800 enodes 588.451 * * [simplify]: iteration 999: 4802 enodes 588.629 * * [simplify]: iteration 1000: 4809 enodes 591.089 * * [simplify]: iteration 1001: 4811 enodes 591.262 * * [simplify]: iteration 1002: 4818 enodes 593.424 * * [simplify]: iteration 1003: 4820 enodes 593.596 * * [simplify]: iteration 1004: 4827 enodes 595.744 * * [simplify]: iteration 1005: 4829 enodes 595.919 * * [simplify]: iteration 1006: 4836 enodes 598.250 * * [simplify]: iteration 1007: 4838 enodes 598.429 * * [simplify]: iteration 1008: 4845 enodes