50.128 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.004 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.006 * * * * [points]: Setting MPFR precision to 64 0.009 * * * * [points]: Setting MPFR precision to 320 0.010 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.013 * * * * [points]: Setting MPFR precision to 64 0.016 * * * * [points]: Setting MPFR precision to 320 0.020 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.022 * * * * [points]: Setting MPFR precision to 64 0.028 * * * * [points]: Setting MPFR precision to 320 0.034 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.036 * * * * [points]: Setting MPFR precision to 64 0.045 * * * * [points]: Setting MPFR precision to 320 0.054 * * * * [points]: Computing exacts for 256 points 0.056 * * * * [points]: Setting MPFR precision to 64 0.084 * * * * [points]: Setting MPFR precision to 320 0.112 * * * * [points]: Filtering points with unrepresentable outputs 0.113 * * * * [points]: Sampled 256 points with exact outputs 0.113 * * * [progress]: [2/2] Setting up program. 0.120 * [progress]: [Phase 2 of 3] Improving. 0.120 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.121 * [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.121 * * [simplify]: iteration 0: 11 enodes 0.123 * * [simplify]: iteration 1: 20 enodes 0.126 * * [simplify]: iteration 2: 49 enodes 0.134 * * [simplify]: iteration 3: 107 enodes 0.169 * * [simplify]: iteration 4: 220 enodes 0.300 * * [simplify]: iteration 5: 586 enodes 0.503 * * [simplify]: iteration 6: 1308 enodes 2.041 * * [simplify]: iteration 7: 3127 enodes 3.855 * * [simplify]: iteration 8: 4615 enodes 4.364 * * [simplify]: iteration complete: 5001 enodes 4.364 * * [simplify]: Extracting #0: cost 1 inf + 0 4.364 * * [simplify]: Extracting #1: cost 109 inf + 0 4.367 * * [simplify]: Extracting #2: cost 365 inf + 82 4.374 * * [simplify]: Extracting #3: cost 360 inf + 55771 4.398 * * [simplify]: Extracting #4: cost 147 inf + 194194 4.420 * * [simplify]: Extracting #5: cost 23 inf + 305366 4.462 * * [simplify]: Extracting #6: cost 0 inf + 329843 4.489 * * [simplify]: Extracting #7: cost 0 inf + 329685 4.513 * [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.519 * * [progress]: iteration 1 / 4 4.519 * * * [progress]: picking best candidate 4.527 * * * * [pick]: Picked # 4.527 * * * [progress]: localizing error 4.711 * * * [progress]: generating rewritten candidates 4.711 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 4.715 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 4.718 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 4.729 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 4.732 * * * [progress]: generating series expansions 4.732 * * * * [progress]: [ 1 / 4 ] generating series at (2) 4.732 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 4.732 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 4.732 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 4.732 * * * [progress]: simplifying candidates 4.732 * * * * [progress]: [ 1 / 68 ] simplifiying candidate #posit16 0.0)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.732 * * * * [progress]: [ 2 / 68 ] simplifiying candidate #posit16 0.0)))> 4.732 * * * * [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.732 * * * * [progress]: [ 4 / 68 ] simplifiying candidate #posit16 0.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 4.732 * * * * [progress]: [ 5 / 68 ] simplifiying candidate #posit16 0.0)))> 4.732 * * * * [progress]: [ 6 / 68 ] simplifiying candidate #posit16 0.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 4.732 * * * * [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.732 * * * * [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.732 * * * * [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.732 * * * * [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.732 * * * * [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.732 * * * * [progress]: [ 12 / 68 ] simplifiying candidate #posit16 0.0)))> 4.732 * * * * [progress]: [ 13 / 68 ] simplifiying candidate #posit16 0.0)))> 4.732 * * * * [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.732 * * * * [progress]: [ 15 / 68 ] simplifiying candidate #posit16 1.0)))> 4.733 * * * * [progress]: [ 16 / 68 ] simplifiying candidate #posit16 1.0)))> 4.733 * * * * [progress]: [ 17 / 68 ] simplifiying candidate # 4.733 * * * * [progress]: [ 18 / 68 ] simplifiying candidate # 4.733 * * * * [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.733 * * * * [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.733 * * * * [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.733 * * * * [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.733 * * * * [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.733 * * * * [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.733 * * * * [progress]: [ 25 / 68 ] simplifiying candidate # 4.733 * * * * [progress]: [ 26 / 68 ] simplifiying candidate # 4.733 * * * * [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.733 * * * * [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.733 * * * * [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.733 * * * * [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.733 * * * * [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.733 * * * * [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.733 * * * * [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.733 * * * * [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.733 * * * * [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.733 * * * * [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.733 * * * * [progress]: [ 37 / 68 ] simplifiying candidate # 4.733 * * * * [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.733 * * * * [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.733 * * * * [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.733 * * * * [progress]: [ 41 / 68 ] simplifiying candidate # 4.733 * * * * [progress]: [ 42 / 68 ] simplifiying candidate #posit16 1.0)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.734 * * * * [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.734 * * * * [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.734 * * * * [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.734 * * * * [progress]: [ 46 / 68 ] simplifiying candidate #posit16 0.0)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.734 * * * * [progress]: [ 47 / 68 ] simplifiying candidate #posit16 0.0)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.734 * * * * [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.734 * * * * [progress]: [ 49 / 68 ] simplifiying candidate #posit16 1.0)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.734 * * * * [progress]: [ 50 / 68 ] simplifiying candidate #posit16 1.0)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 4.734 * * * * [progress]: [ 51 / 68 ] simplifiying candidate # 4.734 * * * * [progress]: [ 52 / 68 ] simplifiying candidate #posit16 1.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 4.734 * * * * [progress]: [ 53 / 68 ] simplifiying candidate #posit16 1.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 4.734 * * * * [progress]: [ 54 / 68 ] simplifiying candidate #posit16 1.0) x.re))))> 4.734 * * * * [progress]: [ 55 / 68 ] simplifiying candidate #posit16 1.0))))> 4.734 * * * * [progress]: [ 56 / 68 ] simplifiying candidate #posit16 1.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 4.734 * * * * [progress]: [ 57 / 68 ] simplifiying candidate #posit16 (posit16->quire16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))))> 4.734 * * * * [progress]: [ 58 / 68 ] simplifiying candidate #posit16 0.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 4.734 * * * * [progress]: [ 59 / 68 ] simplifiying candidate #posit16 0.0))))> 4.734 * * * * [progress]: [ 60 / 68 ] simplifiying candidate #posit16 0.0))))> 4.734 * * * * [progress]: [ 61 / 68 ] simplifiying candidate #posit16 1.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 4.734 * * * * [progress]: [ 62 / 68 ] simplifiying candidate #posit16 1.0))))> 4.734 * * * * [progress]: [ 63 / 68 ] simplifiying candidate #posit16 1.0))))> 4.734 * * * * [progress]: [ 64 / 68 ] simplifiying candidate # 4.734 * * * * [progress]: [ 65 / 68 ] simplifiying candidate # 4.734 * * * * [progress]: [ 66 / 68 ] simplifiying candidate # 4.734 * * * * [progress]: [ 67 / 68 ] simplifiying candidate # 4.734 * * * * [progress]: [ 68 / 68 ] simplifiying candidate # 4.735 * [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.735 * * [simplify]: iteration 0: 41 enodes 4.745 * * [simplify]: iteration 1: 79 enodes 4.759 * * [simplify]: iteration 2: 258 enodes 4.929 * * [simplify]: iteration 3: 1200 enodes 5.516 * * [simplify]: iteration complete: 5008 enodes 5.516 * * [simplify]: Extracting #0: cost 26 inf + 0 5.519 * * [simplify]: Extracting #1: cost 679 inf + 1045 5.536 * * [simplify]: Extracting #2: cost 1804 inf + 150542 5.609 * * [simplify]: Extracting #3: cost 823 inf + 1167765 5.725 * * [simplify]: Extracting #4: cost 43 inf + 1910789 5.880 * * [simplify]: Extracting #5: cost 0 inf + 1950575 6.039 * [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.046 * * * [progress]: adding candidates to table 6.977 * * [progress]: iteration 2 / 4 6.977 * * * [progress]: picking best candidate 7.050 * * * * [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.050 * * * [progress]: localizing error 7.367 * * * [progress]: generating rewritten candidates 7.367 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 7.368 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 7.373 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2) 7.376 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 7.380 * * * [progress]: generating series expansions 7.380 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 7.380 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 7.380 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2) 7.380 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 7.380 * * * [progress]: simplifying candidates 7.380 * * * * [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)))> 7.380 * * * * [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)))> 7.380 * * * * [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)))> 7.380 * * * * [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)))> 7.380 * * * * [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)))> 7.380 * * * * [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)))> 7.380 * * * * [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)))> 7.380 * * * * [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)))> 7.380 * * * * [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)))> 7.381 * * * * [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)))> 7.381 * * * * [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)))> 7.381 * * * * [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)))> 7.381 * * * * [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)))> 7.381 * * * * [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)))> 7.381 * * * * [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)))> 7.381 * * * * [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)))> 7.381 * * * * [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)))> 7.381 * * * * [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)))> 7.381 * * * * [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)))> 7.381 * * * * [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)))> 7.381 * * * * [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)))> 7.381 * * * * [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)))> 7.381 * * * * [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)))> 7.381 * * * * [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)))> 7.381 * * * * [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)))> 7.381 * * * * [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)))> 7.381 * * * * [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)))> 7.381 * * * * [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)))> 7.381 * * * * [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)))> 7.381 * * * * [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)))> 7.381 * * * * [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)))> 7.381 * * * * [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)))> 7.381 * * * * [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)))> 7.381 * * * * [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)))> 7.381 * * * * [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)))> 7.382 * * * * [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)))> 7.382 * * * * [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)))> 7.382 * * * * [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)))> 7.382 * * * * [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)))> 7.382 * * * * [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)))> 7.382 * * * * [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)))> 7.382 * * * * [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)))> 7.382 * * * * [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)))> 7.382 * * * * [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)))> 7.382 * * * * [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)))> 7.382 * * * * [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)))> 7.382 * * * * [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)))> 7.382 * * * * [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)))> 7.382 * * * * [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)))> 7.382 * * * * [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)))> 7.382 * * * * [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)))> 7.382 * * * * [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)))> 7.382 * * * * [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)))> 7.382 * * * * [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)))> 7.382 * * * * [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)))> 7.382 * * * * [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)))> 7.382 * * * * [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)))> 7.382 * * * * [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)))> 7.383 * [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)) 7.383 * * [simplify]: iteration 0: 35 enodes 7.399 * * [simplify]: iteration 1: 73 enodes 7.415 * * [simplify]: iteration 2: 223 enodes 7.659 * * [simplify]: iteration 3: 1244 enodes 7.900 * * [simplify]: iteration complete: 5061 enodes 7.901 * * [simplify]: Extracting #0: cost 18 inf + 0 7.902 * * [simplify]: Extracting #1: cost 580 inf + 42 7.908 * * [simplify]: Extracting #2: cost 1899 inf + 76085 7.944 * * [simplify]: Extracting #3: cost 932 inf + 1247786 8.008 * * [simplify]: Extracting #4: cost 54 inf + 2137492 8.080 * * [simplify]: Extracting #5: cost 0 inf + 2196052 8.151 * [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)) 8.154 * * * [progress]: adding candidates to table 8.706 * * [progress]: iteration 3 / 4 8.706 * * * [progress]: picking best candidate 8.739 * * * * [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)))> 8.739 * * * [progress]: localizing error 8.978 * * * [progress]: generating rewritten candidates 8.978 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 8.978 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 8.982 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 8.984 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 8.987 * * * [progress]: generating series expansions 8.988 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 8.988 * * * * [progress]: [ 2 / 4 ] generating series at (2) 8.988 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 8.988 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 8.988 * * * [progress]: simplifying candidates 8.988 * * * * [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)))> 8.988 * * * * [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)))> 8.988 * * * * [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))))> 8.988 * * * * [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))))> 8.988 * * * * [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)))> 8.988 * * * * [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))))> 8.988 * * * * [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))))> 8.988 * * * * [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)))))> 8.988 * * * * [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))))> 8.988 * * * * [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)))> 8.988 * * * * [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))))> 8.988 * * * * [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)))> 8.988 * * * * [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)))> 8.988 * * * * [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))))> 8.988 * * * * [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)))> 8.988 * * * * [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)))> 8.988 * * * * [progress]: [ 17 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)))> 8.988 * * * * [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)))> 8.988 * * * * [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)))> 8.988 * * * * [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)))> 8.988 * * * * [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)))> 8.989 * * * * [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)))> 8.989 * * * * [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)))> 8.989 * * * * [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)))> 8.989 * * * * [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)))> 8.989 * * * * [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)))> 8.989 * * * * [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)))> 8.989 * * * * [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)))> 8.989 * * * * [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)))> 8.989 * * * * [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)))> 8.989 * * * * [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))))> 8.989 * * * * [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))))> 8.989 * * * * [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))))> 8.989 * * * * [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))))> 8.989 * * * * [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))))> 8.989 * * * * [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)))))> 8.989 * * * * [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))))> 8.989 * * * * [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))))> 8.989 * * * * [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))))> 8.989 * * * * [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))))> 8.989 * * * * [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))))> 8.989 * * * * [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))))> 8.989 * * * * [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)))))> 8.989 * * * * [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)))> 8.989 * * * * [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)))> 8.989 * * * * [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)))> 8.989 * * * * [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)))> 8.990 * [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) 8.990 * * [simplify]: iteration 0: 26 enodes 8.995 * * [simplify]: iteration 1: 39 enodes 9.008 * * [simplify]: iteration 2: 73 enodes 9.028 * * [simplify]: iteration 3: 187 enodes 9.055 * * [simplify]: iteration 4: 363 enodes 9.241 * * [simplify]: iteration 5: 873 enodes 9.800 * * [simplify]: iteration 6: 1761 enodes 10.259 * * [simplify]: iteration 7: 2348 enodes 11.925 * * [simplify]: iteration complete: 5004 enodes 11.925 * * [simplify]: Extracting #0: cost 14 inf + 0 11.932 * * [simplify]: Extracting #1: cost 887 inf + 2 11.941 * * [simplify]: Extracting #2: cost 991 inf + 25179 11.962 * * [simplify]: Extracting #3: cost 733 inf + 203956 12.002 * * [simplify]: Extracting #4: cost 562 inf + 322582 12.052 * * [simplify]: Extracting #5: cost 350 inf + 567591 12.130 * * [simplify]: Extracting #6: cost 143 inf + 819315 12.215 * * [simplify]: Extracting #7: cost 16 inf + 932809 12.329 * * [simplify]: Extracting #8: cost 0 inf + 948697 12.486 * [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) 12.488 * * * [progress]: adding candidates to table 13.834 * * [progress]: iteration 4 / 4 13.834 * * * [progress]: picking best candidate 13.905 * * * * [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)))> 13.905 * * * [progress]: localizing error 14.260 * * * [progress]: generating rewritten candidates 14.260 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 14.260 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1) 14.261 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 14.263 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 14.266 * * * [progress]: generating series expansions 14.266 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 14.266 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1) 14.266 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 14.266 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 14.266 * * * [progress]: simplifying candidates 14.266 * * * * [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)))> 14.266 * * * * [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)))> 14.266 * * * * [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)))> 14.266 * * * * [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)))> 14.266 * * * * [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)))> 14.266 * * * * [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)))> 14.266 * * * * [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)))> 14.266 * * * * [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)))> 14.266 * * * * [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)))> 14.266 * * * * [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)))> 14.266 * * * * [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)))> 14.266 * * * * [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)))> 14.266 * * * * [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)))> 14.266 * * * * [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)))> 14.267 * * * * [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)))> 14.267 * * * * [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)))> 14.267 * * * * [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)))> 14.267 * * * * [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)))> 14.267 * * * * [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)))> 14.267 * * * * [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)))> 14.267 * * * * [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)))> 14.267 * * * * [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)))> 14.267 * * * * [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)))> 14.267 * * * * [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)))> 14.267 * * * * [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)))> 14.267 * * * * [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)))> 14.267 * * * * [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)))> 14.267 * * * * [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)))> 14.267 * * * * [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)))> 14.267 * * * * [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)))> 14.267 * * * * [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)))> 14.267 * * * * [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)))> 14.267 * [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)) 14.268 * * [simplify]: iteration 0: 21 enodes 14.274 * * [simplify]: iteration 1: 27 enodes 14.282 * * [simplify]: iteration 2: 36 enodes 14.291 * * [simplify]: iteration 3: 38 enodes 14.297 * * [simplify]: iteration 4: 45 enodes 14.302 * * [simplify]: iteration 5: 46 enodes 14.306 * * [simplify]: iteration 6: 53 enodes 14.316 * * [simplify]: iteration 7: 60 enodes 14.321 * * [simplify]: iteration 8: 62 enodes 14.331 * * [simplify]: iteration 9: 69 enodes 14.341 * * [simplify]: iteration 10: 70 enodes 14.352 * * [simplify]: iteration 11: 77 enodes 14.364 * * [simplify]: iteration 12: 84 enodes 14.377 * * [simplify]: iteration 13: 86 enodes 14.384 * * [simplify]: iteration 14: 93 enodes 14.390 * * [simplify]: iteration 15: 94 enodes 14.396 * * [simplify]: iteration 16: 101 enodes 14.403 * * [simplify]: iteration 17: 108 enodes 14.410 * * [simplify]: iteration 18: 110 enodes 14.417 * * [simplify]: iteration 19: 117 enodes 14.425 * * [simplify]: iteration 20: 118 enodes 14.432 * * [simplify]: iteration 21: 125 enodes 14.439 * * [simplify]: iteration 22: 132 enodes 14.448 * * [simplify]: iteration 23: 134 enodes 14.457 * * [simplify]: iteration 24: 141 enodes 14.464 * * [simplify]: iteration 25: 142 enodes 14.472 * * [simplify]: iteration 26: 149 enodes 14.480 * * [simplify]: iteration 27: 156 enodes 14.491 * * [simplify]: iteration 28: 158 enodes 14.500 * * [simplify]: iteration 29: 165 enodes 14.508 * * [simplify]: iteration 30: 166 enodes 14.518 * * [simplify]: iteration 31: 173 enodes 14.527 * * [simplify]: iteration 32: 180 enodes 14.538 * * [simplify]: iteration 33: 182 enodes 14.551 * * [simplify]: iteration 34: 189 enodes 14.559 * * [simplify]: iteration 35: 190 enodes 14.571 * * [simplify]: iteration 36: 197 enodes 14.581 * * [simplify]: iteration 37: 204 enodes 14.594 * * [simplify]: iteration 38: 206 enodes 14.608 * * [simplify]: iteration 39: 213 enodes 14.618 * * [simplify]: iteration 40: 214 enodes 14.631 * * [simplify]: iteration 41: 221 enodes 14.642 * * [simplify]: iteration 42: 228 enodes 14.657 * * [simplify]: iteration 43: 230 enodes 14.673 * * [simplify]: iteration 44: 237 enodes 14.684 * * [simplify]: iteration 45: 238 enodes 14.697 * * [simplify]: iteration 46: 245 enodes 14.708 * * [simplify]: iteration 47: 252 enodes 14.722 * * [simplify]: iteration 48: 254 enodes 14.737 * * [simplify]: iteration 49: 261 enodes 14.747 * * [simplify]: iteration 50: 262 enodes 14.762 * * [simplify]: iteration 51: 269 enodes 14.773 * * [simplify]: iteration 52: 276 enodes 14.789 * * [simplify]: iteration 53: 278 enodes 14.806 * * [simplify]: iteration 54: 285 enodes 14.817 * * [simplify]: iteration 55: 286 enodes 14.834 * * [simplify]: iteration 56: 293 enodes 14.847 * * [simplify]: iteration 57: 300 enodes 14.865 * * [simplify]: iteration 58: 302 enodes 14.882 * * [simplify]: iteration 59: 309 enodes 14.894 * * [simplify]: iteration 60: 310 enodes 14.913 * * [simplify]: iteration 61: 317 enodes 14.926 * * [simplify]: iteration 62: 324 enodes 14.945 * * [simplify]: iteration 63: 326 enodes 14.964 * * [simplify]: iteration 64: 333 enodes 14.978 * * [simplify]: iteration 65: 334 enodes 14.997 * * [simplify]: iteration 66: 341 enodes 15.010 * * [simplify]: iteration 67: 348 enodes 15.032 * * [simplify]: iteration 68: 350 enodes 15.060 * * [simplify]: iteration 69: 357 enodes 15.087 * * [simplify]: iteration 70: 358 enodes 15.135 * * [simplify]: iteration 71: 365 enodes 15.164 * * [simplify]: iteration 72: 372 enodes 15.211 * * [simplify]: iteration 73: 374 enodes 15.261 * * [simplify]: iteration 74: 381 enodes 15.289 * * [simplify]: iteration 75: 382 enodes 15.338 * * [simplify]: iteration 76: 389 enodes 15.371 * * [simplify]: iteration 77: 396 enodes 15.421 * * [simplify]: iteration 78: 398 enodes 15.474 * * [simplify]: iteration 79: 405 enodes 15.504 * * [simplify]: iteration 80: 406 enodes 15.549 * * [simplify]: iteration 81: 413 enodes 15.565 * * [simplify]: iteration 82: 420 enodes 15.593 * * [simplify]: iteration 83: 422 enodes 15.620 * * [simplify]: iteration 84: 429 enodes 15.635 * * [simplify]: iteration 85: 430 enodes 15.664 * * [simplify]: iteration 86: 437 enodes 15.681 * * [simplify]: iteration 87: 444 enodes 15.709 * * [simplify]: iteration 88: 446 enodes 15.748 * * [simplify]: iteration 89: 453 enodes 15.767 * * [simplify]: iteration 90: 454 enodes 15.795 * * [simplify]: iteration 91: 461 enodes 15.813 * * [simplify]: iteration 92: 468 enodes 15.860 * * [simplify]: iteration 93: 470 enodes 15.899 * * [simplify]: iteration 94: 477 enodes 15.917 * * [simplify]: iteration 95: 478 enodes 15.960 * * [simplify]: iteration 96: 485 enodes 15.997 * * [simplify]: iteration 97: 492 enodes 16.034 * * [simplify]: iteration 98: 494 enodes 16.087 * * [simplify]: iteration 99: 501 enodes 16.104 * * [simplify]: iteration 100: 502 enodes 16.138 * * [simplify]: iteration 101: 509 enodes 16.157 * * [simplify]: iteration 102: 516 enodes 16.205 * * [simplify]: iteration 103: 518 enodes 16.275 * * [simplify]: iteration 104: 525 enodes 16.292 * * [simplify]: iteration 105: 526 enodes 16.351 * * [simplify]: iteration 106: 533 enodes 16.393 * * [simplify]: iteration 107: 540 enodes 16.444 * * [simplify]: iteration 108: 542 enodes 16.489 * * [simplify]: iteration 109: 549 enodes 16.525 * * [simplify]: iteration 110: 550 enodes 16.582 * * [simplify]: iteration 111: 557 enodes 16.604 * * [simplify]: iteration 112: 564 enodes 16.647 * * [simplify]: iteration 113: 566 enodes 16.733 * * [simplify]: iteration 114: 573 enodes 16.768 * * [simplify]: iteration 115: 574 enodes 16.813 * * [simplify]: iteration 116: 581 enodes 16.840 * * [simplify]: iteration 117: 588 enodes 16.902 * * [simplify]: iteration 118: 590 enodes 16.950 * * [simplify]: iteration 119: 597 enodes 16.969 * * [simplify]: iteration 120: 598 enodes 17.050 * * [simplify]: iteration 121: 605 enodes 17.092 * * [simplify]: iteration 122: 612 enodes 17.157 * * [simplify]: iteration 123: 614 enodes 17.227 * * [simplify]: iteration 124: 621 enodes 17.256 * * [simplify]: iteration 125: 622 enodes 17.321 * * [simplify]: iteration 126: 629 enodes 17.343 * * [simplify]: iteration 127: 636 enodes 17.434 * * [simplify]: iteration 128: 638 enodes 17.536 * * [simplify]: iteration 129: 645 enodes 17.568 * * [simplify]: iteration 130: 646 enodes 17.619 * * [simplify]: iteration 131: 653 enodes 17.645 * * [simplify]: iteration 132: 660 enodes 17.720 * * [simplify]: iteration 133: 662 enodes 17.785 * * [simplify]: iteration 134: 669 enodes 17.829 * * [simplify]: iteration 135: 670 enodes 17.935 * * [simplify]: iteration 136: 677 enodes 17.958 * * [simplify]: iteration 137: 684 enodes 18.016 * * [simplify]: iteration 138: 686 enodes 18.077 * * [simplify]: iteration 139: 693 enodes 18.100 * * [simplify]: iteration 140: 694 enodes 18.167 * * [simplify]: iteration 141: 701 enodes 18.205 * * [simplify]: iteration 142: 708 enodes 18.281 * * [simplify]: iteration 143: 710 enodes 18.383 * * [simplify]: iteration 144: 717 enodes 18.421 * * [simplify]: iteration 145: 718 enodes 18.489 * * [simplify]: iteration 146: 725 enodes 18.527 * * [simplify]: iteration 147: 732 enodes 18.623 * * [simplify]: iteration 148: 734 enodes 18.723 * * [simplify]: iteration 149: 741 enodes 18.761 * * [simplify]: iteration 150: 742 enodes 18.825 * * [simplify]: iteration 151: 749 enodes 18.853 * * [simplify]: iteration 152: 756 enodes 18.919 * * [simplify]: iteration 153: 758 enodes 18.986 * * [simplify]: iteration 154: 765 enodes 19.012 * * [simplify]: iteration 155: 766 enodes 19.084 * * [simplify]: iteration 156: 773 enodes 19.112 * * [simplify]: iteration 157: 780 enodes 19.180 * * [simplify]: iteration 158: 782 enodes 19.270 * * [simplify]: iteration 159: 789 enodes 19.314 * * [simplify]: iteration 160: 790 enodes 19.413 * * [simplify]: iteration 161: 797 enodes 19.457 * * [simplify]: iteration 162: 804 enodes 19.585 * * [simplify]: iteration 163: 806 enodes 19.712 * * [simplify]: iteration 164: 813 enodes 19.748 * * [simplify]: iteration 165: 814 enodes 19.874 * * [simplify]: iteration 166: 821 enodes 19.924 * * [simplify]: iteration 167: 828 enodes 20.027 * * [simplify]: iteration 168: 830 enodes 20.158 * * [simplify]: iteration 169: 837 enodes 20.204 * * [simplify]: iteration 170: 838 enodes 20.287 * * [simplify]: iteration 171: 845 enodes 20.318 * * [simplify]: iteration 172: 852 enodes 20.404 * * [simplify]: iteration 173: 854 enodes 20.515 * * [simplify]: iteration 174: 861 enodes 20.545 * * [simplify]: iteration 175: 862 enodes 20.635 * * [simplify]: iteration 176: 869 enodes 20.667 * * [simplify]: iteration 177: 876 enodes 20.821 * * [simplify]: iteration 178: 878 enodes 20.911 * * [simplify]: iteration 179: 885 enodes 20.952 * * [simplify]: iteration 180: 886 enodes 21.041 * * [simplify]: iteration 181: 893 enodes 21.085 * * [simplify]: iteration 182: 900 enodes 21.174 * * [simplify]: iteration 183: 902 enodes 21.302 * * [simplify]: iteration 184: 909 enodes 21.349 * * [simplify]: iteration 185: 910 enodes 21.449 * * [simplify]: iteration 186: 917 enodes 21.482 * * [simplify]: iteration 187: 924 enodes 21.574 * * [simplify]: iteration 188: 926 enodes 21.677 * * [simplify]: iteration 189: 933 enodes 21.725 * * [simplify]: iteration 190: 934 enodes 21.841 * * [simplify]: iteration 191: 941 enodes 21.882 * * [simplify]: iteration 192: 948 enodes 22.052 * * [simplify]: iteration 193: 950 enodes 22.230 * * [simplify]: iteration 194: 957 enodes 22.275 * * [simplify]: iteration 195: 958 enodes 22.402 * * [simplify]: iteration 196: 965 enodes 22.436 * * [simplify]: iteration 197: 972 enodes 22.563 * * [simplify]: iteration 198: 974 enodes 22.710 * * [simplify]: iteration 199: 981 enodes 22.747 * * [simplify]: iteration 200: 982 enodes 22.886 * * [simplify]: iteration 201: 989 enodes 22.933 * * [simplify]: iteration 202: 996 enodes 23.073 * * [simplify]: iteration 203: 998 enodes 23.223 * * [simplify]: iteration 204: 1005 enodes 23.279 * * [simplify]: iteration 205: 1006 enodes 23.439 * * [simplify]: iteration 206: 1013 enodes 23.504 * * [simplify]: iteration 207: 1020 enodes 23.637 * * [simplify]: iteration 208: 1022 enodes 23.751 * * [simplify]: iteration 209: 1029 enodes 23.785 * * [simplify]: iteration 210: 1030 enodes 23.897 * * [simplify]: iteration 211: 1037 enodes 23.932 * * [simplify]: iteration 212: 1044 enodes 24.057 * * [simplify]: iteration 213: 1046 enodes 24.202 * * [simplify]: iteration 214: 1053 enodes 24.235 * * [simplify]: iteration 215: 1054 enodes 24.405 * * [simplify]: iteration 216: 1061 enodes 24.465 * * [simplify]: iteration 217: 1068 enodes 24.665 * * [simplify]: iteration 218: 1070 enodes 24.783 * * [simplify]: iteration 219: 1077 enodes 24.825 * * [simplify]: iteration 220: 1078 enodes 24.983 * * [simplify]: iteration 221: 1085 enodes 25.021 * * [simplify]: iteration 222: 1092 enodes 25.204 * * [simplify]: iteration 223: 1094 enodes 25.386 * * [simplify]: iteration 224: 1101 enodes 25.442 * * [simplify]: iteration 225: 1102 enodes 25.629 * * [simplify]: iteration 226: 1109 enodes 25.704 * * [simplify]: iteration 227: 1116 enodes 25.898 * * [simplify]: iteration 228: 1118 enodes 26.070 * * [simplify]: iteration 229: 1125 enodes 26.119 * * [simplify]: iteration 230: 1126 enodes 26.338 * * [simplify]: iteration 231: 1133 enodes 26.392 * * [simplify]: iteration 232: 1140 enodes 26.585 * * [simplify]: iteration 233: 1142 enodes 26.726 * * [simplify]: iteration 234: 1149 enodes 26.767 * * [simplify]: iteration 235: 1150 enodes 26.964 * * [simplify]: iteration 236: 1157 enodes 27.003 * * [simplify]: iteration 237: 1164 enodes 27.166 * * [simplify]: iteration 238: 1166 enodes 27.353 * * [simplify]: iteration 239: 1173 enodes 27.414 * * [simplify]: iteration 240: 1174 enodes 27.583 * * [simplify]: iteration 241: 1181 enodes 27.625 * * [simplify]: iteration 242: 1188 enodes 27.802 * * [simplify]: iteration 243: 1190 enodes 27.980 * * [simplify]: iteration 244: 1197 enodes 28.043 * * [simplify]: iteration 245: 1198 enodes 28.260 * * [simplify]: iteration 246: 1205 enodes 28.306 * * [simplify]: iteration 247: 1212 enodes 28.508 * * [simplify]: iteration 248: 1214 enodes 28.687 * * [simplify]: iteration 249: 1221 enodes 28.733 * * [simplify]: iteration 250: 1222 enodes 28.916 * * [simplify]: iteration 251: 1229 enodes 28.979 * * [simplify]: iteration 252: 1236 enodes 29.204 * * [simplify]: iteration 253: 1238 enodes 29.401 * * [simplify]: iteration 254: 1245 enodes 29.453 * * [simplify]: iteration 255: 1246 enodes 29.640 * * [simplify]: iteration 256: 1253 enodes 29.684 * * [simplify]: iteration 257: 1260 enodes 29.910 * * [simplify]: iteration 258: 1262 enodes 30.100 * * [simplify]: iteration 259: 1269 enodes 30.170 * * [simplify]: iteration 260: 1270 enodes 30.391 * * [simplify]: iteration 261: 1277 enodes 30.462 * * [simplify]: iteration 262: 1284 enodes 30.660 * * [simplify]: iteration 263: 1286 enodes 30.870 * * [simplify]: iteration 264: 1293 enodes 30.920 * * [simplify]: iteration 265: 1294 enodes 31.190 * * [simplify]: iteration 266: 1301 enodes 31.254 * * [simplify]: iteration 267: 1308 enodes 31.462 * * [simplify]: iteration 268: 1310 enodes 31.758 * * [simplify]: iteration 269: 1317 enodes 31.834 * * [simplify]: iteration 270: 1318 enodes 32.075 * * [simplify]: iteration 271: 1325 enodes 32.134 * * [simplify]: iteration 272: 1332 enodes 32.414 * * [simplify]: iteration 273: 1334 enodes 32.637 * * [simplify]: iteration 274: 1341 enodes 32.718 * * [simplify]: iteration 275: 1342 enodes 32.962 * * [simplify]: iteration 276: 1349 enodes 33.047 * * [simplify]: iteration 277: 1356 enodes 33.289 * * [simplify]: iteration 278: 1358 enodes 33.518 * * [simplify]: iteration 279: 1365 enodes 33.585 * * [simplify]: iteration 280: 1366 enodes 33.912 * * [simplify]: iteration 281: 1373 enodes 33.976 * * [simplify]: iteration 282: 1380 enodes 34.261 * * [simplify]: iteration 283: 1382 enodes 34.540 * * [simplify]: iteration 284: 1389 enodes 34.603 * * [simplify]: iteration 285: 1390 enodes 34.907 * * [simplify]: iteration 286: 1397 enodes 34.967 * * [simplify]: iteration 287: 1404 enodes 35.249 * * [simplify]: iteration 288: 1406 enodes 35.544 * * [simplify]: iteration 289: 1413 enodes 35.621 * * [simplify]: iteration 290: 1414 enodes 35.860 * * [simplify]: iteration 291: 1421 enodes 35.940 * * [simplify]: iteration 292: 1428 enodes 36.250 * * [simplify]: iteration 293: 1430 enodes 36.481 * * [simplify]: iteration 294: 1437 enodes 36.539 * * [simplify]: iteration 295: 1438 enodes 36.871 * * [simplify]: iteration 296: 1445 enodes 36.937 * * [simplify]: iteration 297: 1452 enodes 37.185 * * [simplify]: iteration 298: 1454 enodes 37.556 * * [simplify]: iteration 299: 1461 enodes 37.619 * * [simplify]: iteration 300: 1462 enodes 37.960 * * [simplify]: iteration 301: 1469 enodes 38.027 * * [simplify]: iteration 302: 1476 enodes 38.330 * * [simplify]: iteration 303: 1478 enodes 38.706 * * [simplify]: iteration 304: 1485 enodes 38.762 * * [simplify]: iteration 305: 1486 enodes 39.051 * * [simplify]: iteration 306: 1493 enodes 39.114 * * [simplify]: iteration 307: 1500 enodes 39.403 * * [simplify]: iteration 308: 1502 enodes 39.656 * * [simplify]: iteration 309: 1509 enodes 39.748 * * [simplify]: iteration 310: 1510 enodes 40.062 * * [simplify]: iteration 311: 1517 enodes 40.157 * * [simplify]: iteration 312: 1524 enodes 40.475 * * [simplify]: iteration 313: 1526 enodes 40.800 * * [simplify]: iteration 314: 1533 enodes 40.878 * * [simplify]: iteration 315: 1534 enodes 41.200 * * [simplify]: iteration 316: 1541 enodes 41.275 * * [simplify]: iteration 317: 1548 enodes 41.568 * * [simplify]: iteration 318: 1550 enodes 41.877 * * [simplify]: iteration 319: 1557 enodes 41.982 * * [simplify]: iteration 320: 1558 enodes 42.397 * * [simplify]: iteration 321: 1565 enodes 42.467 * * [simplify]: iteration 322: 1572 enodes 42.892 * * [simplify]: iteration 323: 1574 enodes 43.235 * * [simplify]: iteration 324: 1581 enodes 43.312 * * [simplify]: iteration 325: 1582 enodes 43.731 * * [simplify]: iteration 326: 1589 enodes 43.849 * * [simplify]: iteration 327: 1596 enodes 44.254 * * [simplify]: iteration 328: 1598 enodes 44.626 * * [simplify]: iteration 329: 1605 enodes 44.705 * * [simplify]: iteration 330: 1606 enodes 45.105 * * [simplify]: iteration 331: 1613 enodes 45.202 * * [simplify]: iteration 332: 1620 enodes 45.548 * * [simplify]: iteration 333: 1622 enodes 45.872 * * [simplify]: iteration 334: 1629 enodes 45.961 * * [simplify]: iteration 335: 1630 enodes 46.320 * * [simplify]: iteration 336: 1637 enodes 46.384 * * [simplify]: iteration 337: 1644 enodes 46.789 * * [simplify]: iteration 338: 1646 enodes 47.114 * * [simplify]: iteration 339: 1653 enodes 47.229 * * [simplify]: iteration 340: 1654 enodes 47.652 * * [simplify]: iteration 341: 1661 enodes 47.716 * * [simplify]: iteration 342: 1668 enodes 48.073 * * [simplify]: iteration 343: 1670 enodes 48.531 * * [simplify]: iteration 344: 1677 enodes 48.612 * * [simplify]: iteration 345: 1678 enodes 49.047 * * [simplify]: iteration 346: 1685 enodes 49.174 * * [simplify]: iteration 347: 1692 enodes 49.604 * * [simplify]: iteration 348: 1694 enodes 50.029 * * [simplify]: iteration 349: 1701 enodes 50.101 * * [simplify]: iteration 350: 1702 enodes 50.503 * * [simplify]: iteration 351: 1709 enodes 50.608 * * [simplify]: iteration 352: 1716 enodes 51.058 * * [simplify]: iteration 353: 1718 enodes 51.476 * * [simplify]: iteration 354: 1725 enodes 51.546 * * [simplify]: iteration 355: 1726 enodes 51.935 * * [simplify]: iteration 356: 1733 enodes 52.009 * * [simplify]: iteration 357: 1740 enodes 52.575 * * [simplify]: iteration 358: 1742 enodes 53.082 * * [simplify]: iteration 359: 1749 enodes 53.156 * * [simplify]: iteration 360: 1750 enodes 53.608 * * [simplify]: iteration 361: 1757 enodes 53.690 * * [simplify]: iteration 362: 1764 enodes 54.123 * * [simplify]: iteration 363: 1766 enodes 54.555 * * [simplify]: iteration 364: 1773 enodes 54.659 * * [simplify]: iteration 365: 1774 enodes 55.147 * * [simplify]: iteration 366: 1781 enodes 55.230 * * [simplify]: iteration 367: 1788 enodes 55.769 * * [simplify]: iteration 368: 1790 enodes 56.287 * * [simplify]: iteration 369: 1797 enodes 56.380 * * [simplify]: iteration 370: 1798 enodes 56.910 * * [simplify]: iteration 371: 1805 enodes 57.040 * * [simplify]: iteration 372: 1812 enodes 57.469 * * [simplify]: iteration 373: 1814 enodes 57.916 * * [simplify]: iteration 374: 1821 enodes 58.005 * * [simplify]: iteration 375: 1822 enodes 58.527 * * [simplify]: iteration 376: 1829 enodes 58.640 * * [simplify]: iteration 377: 1836 enodes 59.097 * * [simplify]: iteration 378: 1838 enodes 59.503 * * [simplify]: iteration 379: 1845 enodes 59.626 * * [simplify]: iteration 380: 1846 enodes 60.092 * * [simplify]: iteration 381: 1853 enodes 60.209 * * [simplify]: iteration 382: 1860 enodes 60.751 * * [simplify]: iteration 383: 1862 enodes 61.278 * * [simplify]: iteration 384: 1869 enodes 61.348 * * [simplify]: iteration 385: 1870 enodes 61.877 * * [simplify]: iteration 386: 1877 enodes 61.974 * * [simplify]: iteration 387: 1884 enodes 62.409 * * [simplify]: iteration 388: 1886 enodes 62.834 * * [simplify]: iteration 389: 1893 enodes 62.893 * * [simplify]: iteration 390: 1894 enodes 63.474 * * [simplify]: iteration 391: 1901 enodes 63.547 * * [simplify]: iteration 392: 1908 enodes 63.994 * * [simplify]: iteration 393: 1910 enodes 64.495 * * [simplify]: iteration 394: 1917 enodes 64.599 * * [simplify]: iteration 395: 1918 enodes 65.071 * * [simplify]: iteration 396: 1925 enodes 65.171 * * [simplify]: iteration 397: 1932 enodes 65.601 * * [simplify]: iteration 398: 1934 enodes 66.071 * * [simplify]: iteration 399: 1941 enodes 66.173 * * [simplify]: iteration 400: 1942 enodes 66.635 * * [simplify]: iteration 401: 1949 enodes 66.728 * * [simplify]: iteration 402: 1956 enodes 67.282 * * [simplify]: iteration 403: 1958 enodes 67.835 * * [simplify]: iteration 404: 1965 enodes 67.945 * * [simplify]: iteration 405: 1966 enodes 68.454 * * [simplify]: iteration 406: 1973 enodes 68.558 * * [simplify]: iteration 407: 1980 enodes 69.145 * * [simplify]: iteration 408: 1982 enodes 69.678 * * [simplify]: iteration 409: 1989 enodes 69.765 * * [simplify]: iteration 410: 1990 enodes 70.293 * * [simplify]: iteration 411: 1997 enodes 70.410 * * [simplify]: iteration 412: 2004 enodes 70.943 * * [simplify]: iteration 413: 2006 enodes 71.591 * * [simplify]: iteration 414: 2013 enodes 71.662 * * [simplify]: iteration 415: 2014 enodes 72.173 * * [simplify]: iteration 416: 2021 enodes 72.289 * * [simplify]: iteration 417: 2028 enodes 72.825 * * [simplify]: iteration 418: 2030 enodes 73.348 * * [simplify]: iteration 419: 2037 enodes 73.466 * * [simplify]: iteration 420: 2038 enodes 74.071 * * [simplify]: iteration 421: 2045 enodes 74.165 * * [simplify]: iteration 422: 2052 enodes 74.656 * * [simplify]: iteration 423: 2054 enodes 75.265 * * [simplify]: iteration 424: 2061 enodes 75.396 * * [simplify]: iteration 425: 2062 enodes 75.983 * * [simplify]: iteration 426: 2069 enodes 76.094 * * [simplify]: iteration 427: 2076 enodes 76.638 * * [simplify]: iteration 428: 2078 enodes 77.304 * * [simplify]: iteration 429: 2085 enodes 77.413 * * [simplify]: iteration 430: 2086 enodes 78.098 * * [simplify]: iteration 431: 2093 enodes 78.205 * * [simplify]: iteration 432: 2100 enodes 79.309 * * [simplify]: iteration 433: 2102 enodes 79.964 * * [simplify]: iteration 434: 2109 enodes 80.097 * * [simplify]: iteration 435: 2110 enodes 80.682 * * [simplify]: iteration 436: 2117 enodes 80.813 * * [simplify]: iteration 437: 2124 enodes 81.332 * * [simplify]: iteration 438: 2126 enodes 81.774 * * [simplify]: iteration 439: 2133 enodes 81.868 * * [simplify]: iteration 440: 2134 enodes 82.440 * * [simplify]: iteration 441: 2141 enodes 82.544 * * [simplify]: iteration 442: 2148 enodes 83.199 * * [simplify]: iteration 443: 2150 enodes 83.785 * * [simplify]: iteration 444: 2157 enodes 83.852 * * [simplify]: iteration 445: 2158 enodes 84.396 * * [simplify]: iteration 446: 2165 enodes 84.487 * * [simplify]: iteration 447: 2172 enodes 84.937 * * [simplify]: iteration 448: 2174 enodes 85.447 * * [simplify]: iteration 449: 2181 enodes 85.542 * * [simplify]: iteration 450: 2182 enodes 86.147 * * [simplify]: iteration 451: 2189 enodes 86.243 * * [simplify]: iteration 452: 2196 enodes 86.926 * * [simplify]: iteration 453: 2198 enodes 87.589 * * [simplify]: iteration 454: 2205 enodes 87.713 * * [simplify]: iteration 455: 2206 enodes 88.419 * * [simplify]: iteration 456: 2213 enodes 88.556 * * [simplify]: iteration 457: 2220 enodes 89.314 * * [simplify]: iteration 458: 2222 enodes 90.105 * * [simplify]: iteration 459: 2229 enodes 90.186 * * [simplify]: iteration 460: 2230 enodes 90.908 * * [simplify]: iteration 461: 2237 enodes 91.007 * * [simplify]: iteration 462: 2244 enodes 91.673 * * [simplify]: iteration 463: 2246 enodes 92.354 * * [simplify]: iteration 464: 2253 enodes 92.512 * * [simplify]: iteration 465: 2254 enodes 93.305 * * [simplify]: iteration 466: 2261 enodes 93.429 * * [simplify]: iteration 467: 2268 enodes 94.178 * * [simplify]: iteration 468: 2270 enodes 94.944 * * [simplify]: iteration 469: 2277 enodes 95.041 * * [simplify]: iteration 470: 2278 enodes 95.678 * * [simplify]: iteration 471: 2285 enodes 95.777 * * [simplify]: iteration 472: 2292 enodes 96.538 * * [simplify]: iteration 473: 2294 enodes 97.302 * * [simplify]: iteration 474: 2301 enodes 97.429 * * [simplify]: iteration 475: 2302 enodes 98.134 * * [simplify]: iteration 476: 2309 enodes 98.266 * * [simplify]: iteration 477: 2316 enodes 99.155 * * [simplify]: iteration 478: 2318 enodes 100.053 * * [simplify]: iteration 479: 2325 enodes 100.142 * * [simplify]: iteration 480: 2326 enodes 100.876 * * [simplify]: iteration 481: 2333 enodes 100.972 * * [simplify]: iteration 482: 2340 enodes 101.802 * * [simplify]: iteration 483: 2342 enodes 102.551 * * [simplify]: iteration 484: 2349 enodes 102.637 * * [simplify]: iteration 485: 2350 enodes 103.362 * * [simplify]: iteration 486: 2357 enodes 103.503 * * [simplify]: iteration 487: 2364 enodes 104.296 * * [simplify]: iteration 488: 2366 enodes 105.297 * * [simplify]: iteration 489: 2373 enodes 105.406 * * [simplify]: iteration 490: 2374 enodes 106.200 * * [simplify]: iteration 491: 2381 enodes 106.336 * * [simplify]: iteration 492: 2388 enodes 107.069 * * [simplify]: iteration 493: 2390 enodes 107.918 * * [simplify]: iteration 494: 2397 enodes 108.005 * * [simplify]: iteration 495: 2398 enodes 108.873 * * [simplify]: iteration 496: 2405 enodes 109.008 * * [simplify]: iteration 497: 2412 enodes 109.869 * * [simplify]: iteration 498: 2414 enodes 110.694 * * [simplify]: iteration 499: 2421 enodes 110.806 * * [simplify]: iteration 500: 2422 enodes 111.565 * * [simplify]: iteration 501: 2429 enodes 111.669 * * [simplify]: iteration 502: 2436 enodes 112.421 * * [simplify]: iteration 503: 2438 enodes 113.306 * * [simplify]: iteration 504: 2445 enodes 113.461 * * [simplify]: iteration 505: 2446 enodes 114.264 * * [simplify]: iteration 506: 2453 enodes 114.351 * * [simplify]: iteration 507: 2460 enodes 115.045 * * [simplify]: iteration 508: 2462 enodes 115.909 * * [simplify]: iteration 509: 2469 enodes 116.029 * * [simplify]: iteration 510: 2470 enodes 116.942 * * [simplify]: iteration 511: 2477 enodes 117.068 * * [simplify]: iteration 512: 2484 enodes 118.084 * * [simplify]: iteration 513: 2486 enodes 119.052 * * [simplify]: iteration 514: 2493 enodes 119.167 * * [simplify]: iteration 515: 2494 enodes 120.006 * * [simplify]: iteration 516: 2501 enodes 120.153 * * [simplify]: iteration 517: 2508 enodes 121.012 * * [simplify]: iteration 518: 2510 enodes 121.981 * * [simplify]: iteration 519: 2517 enodes 122.081 * * [simplify]: iteration 520: 2518 enodes 123.018 * * [simplify]: iteration 521: 2525 enodes 123.145 * * [simplify]: iteration 522: 2532 enodes 124.147 * * [simplify]: iteration 523: 2534 enodes 125.028 * * [simplify]: iteration 524: 2541 enodes 125.193 * * [simplify]: iteration 525: 2542 enodes 126.167 * * [simplify]: iteration 526: 2549 enodes 126.314 * * [simplify]: iteration 527: 2556 enodes 127.183 * * [simplify]: iteration 528: 2558 enodes 128.077 * * [simplify]: iteration 529: 2565 enodes 128.234 * * [simplify]: iteration 530: 2566 enodes 129.318 * * [simplify]: iteration 531: 2573 enodes 129.501 * * [simplify]: iteration 532: 2580 enodes 130.548 * * [simplify]: iteration 533: 2582 enodes 131.561 * * [simplify]: iteration 534: 2589 enodes 131.730 * * [simplify]: iteration 535: 2590 enodes 132.795 * * [simplify]: iteration 536: 2597 enodes 132.964 * * [simplify]: iteration 537: 2604 enodes 133.773 * * [simplify]: iteration 538: 2606 enodes 134.843 * * [simplify]: iteration 539: 2613 enodes 135.005 * * [simplify]: iteration 540: 2614 enodes 135.854 * * [simplify]: iteration 541: 2621 enodes 136.012 * * [simplify]: iteration 542: 2628 enodes 137.218 * * [simplify]: iteration 543: 2630 enodes 138.090 * * [simplify]: iteration 544: 2637 enodes 138.231 * * [simplify]: iteration 545: 2638 enodes 139.210 * * [simplify]: iteration 546: 2645 enodes 139.329 * * [simplify]: iteration 547: 2652 enodes 140.188 * * [simplify]: iteration 548: 2654 enodes 141.172 * * [simplify]: iteration 549: 2661 enodes 141.311 * * [simplify]: iteration 550: 2662 enodes 142.309 * * [simplify]: iteration 551: 2669 enodes 142.461 * * [simplify]: iteration 552: 2676 enodes 143.445 * * [simplify]: iteration 553: 2678 enodes 144.450 * * [simplify]: iteration 554: 2685 enodes 144.560 * * [simplify]: iteration 555: 2686 enodes 145.450 * * [simplify]: iteration 556: 2693 enodes 145.577 * * [simplify]: iteration 557: 2700 enodes 146.564 * * [simplify]: iteration 558: 2702 enodes 147.514 * * [simplify]: iteration 559: 2709 enodes 147.658 * * [simplify]: iteration 560: 2710 enodes 148.477 * * [simplify]: iteration 561: 2717 enodes 148.592 * * [simplify]: iteration 562: 2724 enodes 149.530 * * [simplify]: iteration 563: 2726 enodes 150.492 * * [simplify]: iteration 564: 2733 enodes 150.645 * * [simplify]: iteration 565: 2734 enodes 151.614 * * [simplify]: iteration 566: 2741 enodes 151.733 * * [simplify]: iteration 567: 2748 enodes 152.775 * * [simplify]: iteration 568: 2750 enodes 153.695 * * [simplify]: iteration 569: 2757 enodes 153.795 * * [simplify]: iteration 570: 2758 enodes 154.840 * * [simplify]: iteration 571: 2765 enodes 154.982 * * [simplify]: iteration 572: 2772 enodes 155.935 * * [simplify]: iteration 573: 2774 enodes 156.779 * * [simplify]: iteration 574: 2781 enodes 156.880 * * [simplify]: iteration 575: 2782 enodes 157.926 * * [simplify]: iteration 576: 2789 enodes 158.047 * * [simplify]: iteration 577: 2796 enodes 159.064 * * [simplify]: iteration 578: 2798 enodes 159.939 * * [simplify]: iteration 579: 2805 enodes 160.046 * * [simplify]: iteration 580: 2806 enodes 160.947 * * [simplify]: iteration 581: 2813 enodes 161.058 * * [simplify]: iteration 582: 2820 enodes 162.084 * * [simplify]: iteration 583: 2822 enodes 162.998 * * [simplify]: iteration 584: 2829 enodes 163.136 * * [simplify]: iteration 585: 2830 enodes 164.148 * * [simplify]: iteration 586: 2837 enodes 164.300 * * [simplify]: iteration 587: 2844 enodes 165.432 * * [simplify]: iteration 588: 2846 enodes 166.543 * * [simplify]: iteration 589: 2853 enodes 166.717 * * [simplify]: iteration 590: 2854 enodes 167.760 * * [simplify]: iteration 591: 2861 enodes 167.893 * * [simplify]: iteration 592: 2868 enodes 168.816 * * [simplify]: iteration 593: 2870 enodes 170.021 * * [simplify]: iteration 594: 2877 enodes 170.140 * * [simplify]: iteration 595: 2878 enodes 171.348 * * [simplify]: iteration 596: 2885 enodes 171.546 * * [simplify]: iteration 597: 2892 enodes 172.643 * * [simplify]: iteration 598: 2894 enodes 173.467 * * [simplify]: iteration 599: 2901 enodes 173.559 * * [simplify]: iteration 600: 2902 enodes 174.587 * * [simplify]: iteration 601: 2909 enodes 174.685 * * [simplify]: iteration 602: 2916 enodes 175.788 * * [simplify]: iteration 603: 2918 enodes 176.864 * * [simplify]: iteration 604: 2925 enodes 177.021 * * [simplify]: iteration 605: 2926 enodes 178.119 * * [simplify]: iteration 606: 2933 enodes 178.271 * * [simplify]: iteration 607: 2940 enodes 179.373 * * [simplify]: iteration 608: 2942 enodes 180.370 * * [simplify]: iteration 609: 2949 enodes 180.492 * * [simplify]: iteration 610: 2950 enodes 181.547 * * [simplify]: iteration 611: 2957 enodes 181.684 * * [simplify]: iteration 612: 2964 enodes 182.768 * * [simplify]: iteration 613: 2966 enodes 184.308 * * [simplify]: iteration 614: 2973 enodes 184.442 * * [simplify]: iteration 615: 2974 enodes 185.400 * * [simplify]: iteration 616: 2981 enodes 185.533 * * [simplify]: iteration 617: 2988 enodes 186.542 * * [simplify]: iteration 618: 2990 enodes 187.591 * * [simplify]: iteration 619: 2997 enodes 187.716 * * [simplify]: iteration 620: 2998 enodes 188.817 * * [simplify]: iteration 621: 3005 enodes 188.995 * * [simplify]: iteration 622: 3012 enodes 190.206 * * [simplify]: iteration 623: 3014 enodes 191.436 * * [simplify]: iteration 624: 3021 enodes 191.579 * * [simplify]: iteration 625: 3022 enodes 192.578 * * [simplify]: iteration 626: 3029 enodes 192.722 * * [simplify]: iteration 627: 3036 enodes 193.861 * * [simplify]: iteration 628: 3038 enodes 195.055 * * [simplify]: iteration 629: 3045 enodes 195.203 * * [simplify]: iteration 630: 3046 enodes 196.455 * * [simplify]: iteration 631: 3053 enodes 196.626 * * [simplify]: iteration 632: 3060 enodes 197.701 * * [simplify]: iteration 633: 3062 enodes 198.889 * * [simplify]: iteration 634: 3069 enodes 199.050 * * [simplify]: iteration 635: 3070 enodes 200.289 * * [simplify]: iteration 636: 3077 enodes 200.435 * * [simplify]: iteration 637: 3084 enodes 201.659 * * [simplify]: iteration 638: 3086 enodes 202.900 * * [simplify]: iteration 639: 3093 enodes 203.060 * * [simplify]: iteration 640: 3094 enodes 204.327 * * [simplify]: iteration 641: 3101 enodes 204.457 * * [simplify]: iteration 642: 3108 enodes 205.727 * * [simplify]: iteration 643: 3110 enodes 207.042 * * [simplify]: iteration 644: 3117 enodes 207.139 * * [simplify]: iteration 645: 3118 enodes 208.416 * * [simplify]: iteration 646: 3125 enodes 208.568 * * [simplify]: iteration 647: 3132 enodes 209.937 * * [simplify]: iteration 648: 3134 enodes 211.326 * * [simplify]: iteration 649: 3141 enodes 211.483 * * [simplify]: iteration 650: 3142 enodes 212.817 * * [simplify]: iteration 651: 3149 enodes 212.965 * * [simplify]: iteration 652: 3156 enodes 214.161 * * [simplify]: iteration 653: 3158 enodes 215.442 * * [simplify]: iteration 654: 3165 enodes 215.611 * * [simplify]: iteration 655: 3166 enodes 216.799 * * [simplify]: iteration 656: 3173 enodes 216.909 * * [simplify]: iteration 657: 3180 enodes 218.066 * * [simplify]: iteration 658: 3182 enodes 219.371 * * [simplify]: iteration 659: 3189 enodes 219.577 * * [simplify]: iteration 660: 3190 enodes 220.792 * * [simplify]: iteration 661: 3197 enodes 220.991 * * [simplify]: iteration 662: 3204 enodes 222.311 * * [simplify]: iteration 663: 3206 enodes 223.547 * * [simplify]: iteration 664: 3213 enodes 223.752 * * [simplify]: iteration 665: 3214 enodes 224.890 * * [simplify]: iteration 666: 3221 enodes 225.075 * * [simplify]: iteration 667: 3228 enodes 226.776 * * [simplify]: iteration 668: 3230 enodes 227.997 * * [simplify]: iteration 669: 3237 enodes 228.193 * * [simplify]: iteration 670: 3238 enodes 229.427 * * [simplify]: iteration 671: 3245 enodes 229.557 * * [simplify]: iteration 672: 3252 enodes 230.931 * * [simplify]: iteration 673: 3254 enodes 232.255 * * [simplify]: iteration 674: 3261 enodes 232.394 * * [simplify]: iteration 675: 3262 enodes 233.715 * * [simplify]: iteration 676: 3269 enodes 233.877 * * [simplify]: iteration 677: 3276 enodes 235.059 * * [simplify]: iteration 678: 3278 enodes 236.513 * * [simplify]: iteration 679: 3285 enodes 236.672 * * [simplify]: iteration 680: 3286 enodes 237.994 * * [simplify]: iteration 681: 3293 enodes 238.212 * * [simplify]: iteration 682: 3300 enodes 239.740 * * [simplify]: iteration 683: 3302 enodes 241.276 * * [simplify]: iteration 684: 3309 enodes 241.486 * * [simplify]: iteration 685: 3310 enodes 242.790 * * [simplify]: iteration 686: 3317 enodes 242.949 * * [simplify]: iteration 687: 3324 enodes 244.373 * * [simplify]: iteration 688: 3326 enodes 245.813 * * [simplify]: iteration 689: 3333 enodes 245.985 * * [simplify]: iteration 690: 3334 enodes 247.435 * * [simplify]: iteration 691: 3341 enodes 247.591 * * [simplify]: iteration 692: 3348 enodes 248.933 * * [simplify]: iteration 693: 3350 enodes 250.149 * * [simplify]: iteration 694: 3357 enodes 250.295 * * [simplify]: iteration 695: 3358 enodes 251.793 * * [simplify]: iteration 696: 3365 enodes 251.938 * * [simplify]: iteration 697: 3372 enodes 253.281 * * [simplify]: iteration 698: 3374 enodes 254.828 * * [simplify]: iteration 699: 3381 enodes 255.036 * * [simplify]: iteration 700: 3382 enodes 256.650 * * [simplify]: iteration 701: 3389 enodes 256.806 * * [simplify]: iteration 702: 3396 enodes 258.299 * * [simplify]: iteration 703: 3398 enodes 259.884 * * [simplify]: iteration 704: 3405 enodes 260.072 * * [simplify]: iteration 705: 3406 enodes 261.525 * * [simplify]: iteration 706: 3413 enodes 261.717 * * [simplify]: iteration 707: 3420 enodes 263.080 * * [simplify]: iteration 708: 3422 enodes 264.653 * * [simplify]: iteration 709: 3429 enodes 264.864 * * [simplify]: iteration 710: 3430 enodes 266.323 * * [simplify]: iteration 711: 3437 enodes 266.466 * * [simplify]: iteration 712: 3444 enodes 267.929 * * [simplify]: iteration 713: 3446 enodes 269.855 * * [simplify]: iteration 714: 3453 enodes 270.016 * * [simplify]: iteration 715: 3454 enodes 271.422 * * [simplify]: iteration 716: 3461 enodes 271.583 * * [simplify]: iteration 717: 3468 enodes 272.967 * * [simplify]: iteration 718: 3470 enodes 274.474 * * [simplify]: iteration 719: 3477 enodes 274.630 * * [simplify]: iteration 720: 3478 enodes 275.871 * * [simplify]: iteration 721: 3485 enodes 276.032 * * [simplify]: iteration 722: 3492 enodes 277.470 * * [simplify]: iteration 723: 3494 enodes 278.999 * * [simplify]: iteration 724: 3501 enodes 279.213 * * [simplify]: iteration 725: 3502 enodes 280.665 * * [simplify]: iteration 726: 3509 enodes 280.818 * * [simplify]: iteration 727: 3516 enodes 282.295 * * [simplify]: iteration 728: 3518 enodes 283.861 * * [simplify]: iteration 729: 3525 enodes 283.978 * * [simplify]: iteration 730: 3526 enodes 285.484 * * [simplify]: iteration 731: 3533 enodes 285.687 * * [simplify]: iteration 732: 3540 enodes 287.312 * * [simplify]: iteration 733: 3542 enodes 288.863 * * [simplify]: iteration 734: 3549 enodes 289.016 * * [simplify]: iteration 735: 3550 enodes 290.603 * * [simplify]: iteration 736: 3557 enodes 290.758 * * [simplify]: iteration 737: 3564 enodes 292.488 * * [simplify]: iteration 738: 3566 enodes 293.928 * * [simplify]: iteration 739: 3573 enodes 294.052 * * [simplify]: iteration 740: 3574 enodes 295.496 * * [simplify]: iteration 741: 3581 enodes 295.681 * * [simplify]: iteration 742: 3588 enodes 297.317 * * [simplify]: iteration 743: 3590 enodes 298.929 * * [simplify]: iteration 744: 3597 enodes 299.082 * * [simplify]: iteration 745: 3598 enodes 300.753 * * [simplify]: iteration 746: 3605 enodes 300.999 * * [simplify]: iteration 747: 3612 enodes 302.817 * * [simplify]: iteration 748: 3614 enodes 304.134 * * [simplify]: iteration 749: 3621 enodes 304.249 * * [simplify]: iteration 750: 3622 enodes 305.673 * * [simplify]: iteration 751: 3629 enodes 305.822 * * [simplify]: iteration 752: 3636 enodes 307.751 * * [simplify]: iteration 753: 3638 enodes 309.252 * * [simplify]: iteration 754: 3645 enodes 309.468 * * [simplify]: iteration 755: 3646 enodes 310.862 * * [simplify]: iteration 756: 3653 enodes 311.074 * * [simplify]: iteration 757: 3660 enodes 312.767 * * [simplify]: iteration 758: 3662 enodes 314.215 * * [simplify]: iteration 759: 3669 enodes 314.335 * * [simplify]: iteration 760: 3670 enodes 315.992 * * [simplify]: iteration 761: 3677 enodes 316.170 * * [simplify]: iteration 762: 3684 enodes 317.740 * * [simplify]: iteration 763: 3686 enodes 319.629 * * [simplify]: iteration 764: 3693 enodes 319.848 * * [simplify]: iteration 765: 3694 enodes 321.464 * * [simplify]: iteration 766: 3701 enodes 321.651 * * [simplify]: iteration 767: 3708 enodes 323.386 * * [simplify]: iteration 768: 3710 enodes 324.935 * * [simplify]: iteration 769: 3717 enodes 325.136 * * [simplify]: iteration 770: 3718 enodes 326.956 * * [simplify]: iteration 771: 3725 enodes 327.144 * * [simplify]: iteration 772: 3732 enodes 328.980 * * [simplify]: iteration 773: 3734 enodes 330.773 * * [simplify]: iteration 774: 3741 enodes 330.928 * * [simplify]: iteration 775: 3742 enodes 332.776 * * [simplify]: iteration 776: 3749 enodes 332.943 * * [simplify]: iteration 777: 3756 enodes 334.657 * * [simplify]: iteration 778: 3758 enodes 336.408 * * [simplify]: iteration 779: 3765 enodes 336.609 * * [simplify]: iteration 780: 3766 enodes 338.280 * * [simplify]: iteration 781: 3773 enodes 338.457 * * [simplify]: iteration 782: 3780 enodes 340.349 * * [simplify]: iteration 783: 3782 enodes 342.332 * * [simplify]: iteration 784: 3789 enodes 342.487 * * [simplify]: iteration 785: 3790 enodes 344.562 * * [simplify]: iteration 786: 3797 enodes 344.777 * * [simplify]: iteration 787: 3804 enodes 346.958 * * [simplify]: iteration 788: 3806 enodes 348.677 * * [simplify]: iteration 789: 3813 enodes 348.846 * * [simplify]: iteration 790: 3814 enodes 350.582 * * [simplify]: iteration 791: 3821 enodes 350.766 * * [simplify]: iteration 792: 3828 enodes 352.376 * * [simplify]: iteration 793: 3830 enodes 354.130 * * [simplify]: iteration 794: 3837 enodes 354.301 * * [simplify]: iteration 795: 3838 enodes 356.180 * * [simplify]: iteration 796: 3845 enodes 356.364 * * [simplify]: iteration 797: 3852 enodes 358.137 * * [simplify]: iteration 798: 3854 enodes 359.798 * * [simplify]: iteration 799: 3861 enodes 359.980 * * [simplify]: iteration 800: 3862 enodes 361.677 * * [simplify]: iteration 801: 3869 enodes 361.871 * * [simplify]: iteration 802: 3876 enodes 363.695 * * [simplify]: iteration 803: 3878 enodes 365.642 * * [simplify]: iteration 804: 3885 enodes 365.827 * * [simplify]: iteration 805: 3886 enodes 367.576 * * [simplify]: iteration 806: 3893 enodes 367.800 * * [simplify]: iteration 807: 3900 enodes 369.733 * * [simplify]: iteration 808: 3902 enodes 371.574 * * [simplify]: iteration 809: 3909 enodes 371.798 * * [simplify]: iteration 810: 3910 enodes 373.669 * * [simplify]: iteration 811: 3917 enodes 373.900 * * [simplify]: iteration 812: 3924 enodes 375.838 * * [simplify]: iteration 813: 3926 enodes 377.967 * * [simplify]: iteration 814: 3933 enodes 378.141 * * [simplify]: iteration 815: 3934 enodes 380.109 * * [simplify]: iteration 816: 3941 enodes 380.290 * * [simplify]: iteration 817: 3948 enodes 381.844 * * [simplify]: iteration 818: 3950 enodes 384.253 * * [simplify]: iteration 819: 3957 enodes 384.423 * * [simplify]: iteration 820: 3958 enodes 386.230 * * [simplify]: iteration 821: 3965 enodes 386.382 * * [simplify]: iteration 822: 3972 enodes 388.238 * * [simplify]: iteration 823: 3974 enodes 390.027 * * [simplify]: iteration 824: 3981 enodes 390.175 * * [simplify]: iteration 825: 3982 enodes 392.141 * * [simplify]: iteration 826: 3989 enodes 392.387 * * [simplify]: iteration 827: 3996 enodes 394.297 * * [simplify]: iteration 828: 3998 enodes 396.535 * * [simplify]: iteration 829: 4005 enodes 396.711 * * [simplify]: iteration 830: 4006 enodes 398.746 * * [simplify]: iteration 831: 4013 enodes 398.898 * * [simplify]: iteration 832: 4020 enodes 400.689 * * [simplify]: iteration 833: 4022 enodes 402.461 * * [simplify]: iteration 834: 4029 enodes 402.662 * * [simplify]: iteration 835: 4030 enodes 404.709 * * [simplify]: iteration 836: 4037 enodes 404.922 * * [simplify]: iteration 837: 4044 enodes 406.819 * * [simplify]: iteration 838: 4046 enodes 408.995 * * [simplify]: iteration 839: 4053 enodes 409.139 * * [simplify]: iteration 840: 4054 enodes 410.978 * * [simplify]: iteration 841: 4061 enodes 411.159 * * [simplify]: iteration 842: 4068 enodes 413.517 * * [simplify]: iteration 843: 4070 enodes 415.476 * * [simplify]: iteration 844: 4077 enodes 415.617 * * [simplify]: iteration 845: 4078 enodes 417.474 * * [simplify]: iteration 846: 4085 enodes 417.638 * * [simplify]: iteration 847: 4092 enodes 419.374 * * [simplify]: iteration 848: 4094 enodes 420.773 * * [simplify]: iteration 849: 4101 enodes 420.898 * * [simplify]: iteration 850: 4102 enodes 422.306 * * [simplify]: iteration 851: 4109 enodes 422.438 * * [simplify]: iteration 852: 4116 enodes 423.809 * * [simplify]: iteration 853: 4118 enodes 425.196 * * [simplify]: iteration 854: 4125 enodes 425.323 * * [simplify]: iteration 855: 4126 enodes 426.715 * * [simplify]: iteration 856: 4133 enodes 426.850 * * [simplify]: iteration 857: 4140 enodes 428.252 * * [simplify]: iteration 858: 4142 enodes 429.647 * * [simplify]: iteration 859: 4149 enodes 429.774 * * [simplify]: iteration 860: 4150 enodes 431.176 * * [simplify]: iteration 861: 4157 enodes 431.311 * * [simplify]: iteration 862: 4164 enodes 432.716 * * [simplify]: iteration 863: 4166 enodes 434.140 * * [simplify]: iteration 864: 4173 enodes 434.269 * * [simplify]: iteration 865: 4174 enodes 435.694 * * [simplify]: iteration 866: 4181 enodes 435.832 * * [simplify]: iteration 867: 4188 enodes 437.264 * * [simplify]: iteration 868: 4190 enodes 438.716 * * [simplify]: iteration 869: 4197 enodes 438.846 * * [simplify]: iteration 870: 4198 enodes 440.296 * * [simplify]: iteration 871: 4205 enodes 440.435 * * [simplify]: iteration 872: 4212 enodes 441.879 * * [simplify]: iteration 873: 4214 enodes 443.619 * * [simplify]: iteration 874: 4221 enodes 443.749 * * [simplify]: iteration 875: 4222 enodes 445.199 * * [simplify]: iteration 876: 4229 enodes 445.339 * * [simplify]: iteration 877: 4236 enodes 446.805 * * [simplify]: iteration 878: 4238 enodes 448.287 * * [simplify]: iteration 879: 4245 enodes 448.418 * * [simplify]: iteration 880: 4246 enodes 449.890 * * [simplify]: iteration 881: 4253 enodes 450.028 * * [simplify]: iteration 882: 4260 enodes 451.517 * * [simplify]: iteration 883: 4262 enodes 453.009 * * [simplify]: iteration 884: 4269 enodes 453.139 * * [simplify]: iteration 885: 4270 enodes 454.635 * * [simplify]: iteration 886: 4277 enodes 454.774 * * [simplify]: iteration 887: 4284 enodes 456.276 * * [simplify]: iteration 888: 4286 enodes 457.795 * * [simplify]: iteration 889: 4293 enodes 457.930 * * [simplify]: iteration 890: 4294 enodes 459.443 * * [simplify]: iteration 891: 4301 enodes 459.583 * * [simplify]: iteration 892: 4308 enodes 461.113 * * [simplify]: iteration 893: 4310 enodes 461.248 * * [simplify]: iteration 894: 4317 enodes 462.783 * * [simplify]: iteration 895: 4319 enodes 462.919 * * [simplify]: iteration 896: 4326 enodes 464.467 * * [simplify]: iteration 897: 4328 enodes 466.327 * * [simplify]: iteration 898: 4335 enodes 466.458 * * [simplify]: iteration 899: 4336 enodes 467.993 * * [simplify]: iteration 900: 4343 enodes 468.136 * * [simplify]: iteration 901: 4350 enodes 469.679 * * [simplify]: iteration 902: 4352 enodes 469.829 * * [simplify]: iteration 903: 4359 enodes 471.376 * * [simplify]: iteration 904: 4361 enodes 471.512 * * [simplify]: iteration 905: 4368 enodes 473.077 * * [simplify]: iteration 906: 4370 enodes 473.213 * * [simplify]: iteration 907: 4377 enodes 474.791 * * [simplify]: iteration 908: 4379 enodes 474.926 * * [simplify]: iteration 909: 4386 enodes 476.602 * * [simplify]: iteration 910: 4388 enodes 478.339 * * [simplify]: iteration 911: 4395 enodes 478.476 * * [simplify]: iteration 912: 4396 enodes 480.220 * * [simplify]: iteration 913: 4403 enodes 480.369 * * [simplify]: iteration 914: 4410 enodes 482.125 * * [simplify]: iteration 915: 4412 enodes 482.264 * * [simplify]: iteration 916: 4419 enodes 484.035 * * [simplify]: iteration 917: 4421 enodes 485.841 * * [simplify]: iteration 918: 4428 enodes 485.983 * * [simplify]: iteration 919: 4429 enodes 487.775 * * [simplify]: iteration 920: 4436 enodes 487.927 * * [simplify]: iteration 921: 4443 enodes 490.010 * * [simplify]: iteration 922: 4445 enodes 490.148 * * [simplify]: iteration 923: 4452 enodes 491.941 * * [simplify]: iteration 924: 4454 enodes 493.732 * * [simplify]: iteration 925: 4461 enodes 493.871 * * [simplify]: iteration 926: 4462 enodes 495.681 * * [simplify]: iteration 927: 4469 enodes 495.831 * * [simplify]: iteration 928: 4476 enodes 497.652 * * [simplify]: iteration 929: 4478 enodes 497.794 * * [simplify]: iteration 930: 4485 enodes 499.627 * * [simplify]: iteration 931: 4487 enodes 499.769 * * [simplify]: iteration 932: 4494 enodes 501.629 * * [simplify]: iteration 933: 4496 enodes 503.493 * * [simplify]: iteration 934: 4503 enodes 503.634 * * [simplify]: iteration 935: 4504 enodes 505.512 * * [simplify]: iteration 936: 4511 enodes 505.665 * * [simplify]: iteration 937: 4518 enodes 507.576 * * [simplify]: iteration 938: 4520 enodes 509.493 * * [simplify]: iteration 939: 4527 enodes 509.636 * * [simplify]: iteration 940: 4528 enodes 511.549 * * [simplify]: iteration 941: 4535 enodes 511.702 * * [simplify]: iteration 942: 4542 enodes 513.941 * * [simplify]: iteration 943: 4544 enodes 514.085 * * [simplify]: iteration 944: 4551 enodes 515.980 * * [simplify]: iteration 945: 4553 enodes 516.124 * * [simplify]: iteration 946: 4560 enodes 518.043 * * [simplify]: iteration 947: 4562 enodes 519.970 * * [simplify]: iteration 948: 4569 enodes 520.114 * * [simplify]: iteration 949: 4570 enodes 522.040 * * [simplify]: iteration 950: 4577 enodes 522.195 * * [simplify]: iteration 951: 4584 enodes 524.156 * * [simplify]: iteration 952: 4586 enodes 526.085 * * [simplify]: iteration 953: 4593 enodes 526.228 * * [simplify]: iteration 954: 4594 enodes 528.152 * * [simplify]: iteration 955: 4601 enodes 528.308 * * [simplify]: iteration 956: 4608 enodes 530.246 * * [simplify]: iteration 957: 4610 enodes 532.192 * * [simplify]: iteration 958: 4617 enodes 532.345 * * [simplify]: iteration 959: 4618 enodes 534.300 * * [simplify]: iteration 960: 4625 enodes 534.470 * * [simplify]: iteration 961: 4632 enodes 536.757 * * [simplify]: iteration 962: 4634 enodes 536.915 * * [simplify]: iteration 963: 4641 enodes 538.893 * * [simplify]: iteration 964: 4643 enodes 539.053 * * [simplify]: iteration 965: 4650 enodes 541.035 * * [simplify]: iteration 966: 4652 enodes 541.191 * * [simplify]: iteration 967: 4659 enodes 543.175 * * [simplify]: iteration 968: 4661 enodes 543.330 * * [simplify]: iteration 969: 4668 enodes 545.334 * * [simplify]: iteration 970: 4670 enodes 545.492 * * [simplify]: iteration 971: 4677 enodes 547.501 * * [simplify]: iteration 972: 4679 enodes 547.658 * * [simplify]: iteration 973: 4686 enodes 549.660 * * [simplify]: iteration 974: 4688 enodes 549.811 * * [simplify]: iteration 975: 4695 enodes 551.732 * * [simplify]: iteration 976: 4697 enodes 551.883 * * [simplify]: iteration 977: 4704 enodes 553.818 * * [simplify]: iteration 978: 4706 enodes 555.771 * * [simplify]: iteration 979: 4713 enodes 555.924 * * [simplify]: iteration 980: 4714 enodes 557.864 * * [simplify]: iteration 981: 4721 enodes 558.030 * * [simplify]: iteration 982: 4728 enodes 560.248 * * [simplify]: iteration 983: 4730 enodes 560.400 * * [simplify]: iteration 984: 4737 enodes 562.351 * * [simplify]: iteration 985: 4739 enodes 562.504 * * [simplify]: iteration 986: 4746 enodes 564.467 * * [simplify]: iteration 987: 4748 enodes 564.622 * * [simplify]: iteration 988: 4755 enodes 566.609 * * [simplify]: iteration 989: 4757 enodes 566.764 * * [simplify]: iteration 990: 4764 enodes 568.758 * * [simplify]: iteration 991: 4766 enodes 568.912 * * [simplify]: iteration 992: 4773 enodes 570.907 * * [simplify]: iteration 993: 4775 enodes 571.061 * * [simplify]: iteration 994: 4782 enodes 573.065 * * [simplify]: iteration 995: 4784 enodes 573.219 * * [simplify]: iteration 996: 4791 enodes 575.245 * * [simplify]: iteration 997: 4793 enodes 575.401 * * [simplify]: iteration 998: 4800 enodes 577.438 * * [simplify]: iteration 999: 4802 enodes 577.605 * * [simplify]: iteration 1000: 4809 enodes 579.641 * * [simplify]: iteration 1001: 4811 enodes 579.804 * * [simplify]: iteration 1002: 4818 enodes 582.118 * * [simplify]: iteration 1003: 4820 enodes 582.284 * * [simplify]: iteration 1004: 4827 enodes 584.325 * * [simplify]: iteration 1005: 4829 enodes 584.492 * * [simplify]: iteration 1006: 4836 enodes 586.547 * * [simplify]: iteration 1007: 4838 enodes 586.715 * * [simplify]: iteration 1008: 4845 enodes 588.777 * * [simplify]: iteration 1009: 4847 enodes 588.944 * * [simplify]: iteration 1010: 4854 enodes 591.029 * * [simplify]: iteration 1011: 4856 enodes 591.197 * * [simplify]: iteration 1012: 4863 enodes 593.296 * * [simplify]: iteration 1013: 4865 enodes 593.474 * * [simplify]: iteration 1014: 4872 enodes 595.596 * * [simplify]: iteration 1015: 4874 enodes 595.775 * * [simplify]: iteration 1016: 4881 enodes 597.919 * * [simplify]: iteration 1017: 4883 enodes 598.098 * * [simplify]: iteration 1018: 4890 enodes