51.927 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.002 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.004 * * * * [points]: Setting MPFR precision to 64 0.005 * * * * [points]: Setting MPFR precision to 320 0.006 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.007 * * * * [points]: Setting MPFR precision to 64 0.009 * * * * [points]: Setting MPFR precision to 320 0.010 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.012 * * * * [points]: Setting MPFR precision to 64 0.016 * * * * [points]: Setting MPFR precision to 320 0.021 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.023 * * * * [points]: Setting MPFR precision to 64 0.032 * * * * [points]: Setting MPFR precision to 320 0.041 * * * * [points]: Computing exacts for 256 points 0.044 * * * * [points]: Setting MPFR precision to 64 0.071 * * * * [points]: Setting MPFR precision to 320 0.100 * * * * [points]: Filtering points with unrepresentable outputs 0.101 * * * * [points]: Sampled 256 points with exact outputs 0.101 * * * [progress]: [2/2] Setting up program. 0.111 * [progress]: [Phase 2 of 3] Improving. 0.111 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.111 * [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.111 * * [simplify]: iteration 0: 11 enodes 0.115 * * [simplify]: iteration 1: 20 enodes 0.123 * * [simplify]: iteration 2: 49 enodes 0.165 * * [simplify]: iteration 3: 107 enodes 0.186 * * [simplify]: iteration 4: 220 enodes 0.316 * * [simplify]: iteration 5: 586 enodes 0.553 * * [simplify]: iteration 6: 1308 enodes 1.787 * * [simplify]: iteration 7: 3127 enodes 3.270 * * [simplify]: iteration 8: 4615 enodes 3.642 * * [simplify]: iteration complete: 5001 enodes 3.643 * * [simplify]: Extracting #0: cost 1 inf + 0 3.643 * * [simplify]: Extracting #1: cost 109 inf + 0 3.644 * * [simplify]: Extracting #2: cost 365 inf + 82 3.647 * * [simplify]: Extracting #3: cost 360 inf + 55771 3.658 * * [simplify]: Extracting #4: cost 147 inf + 194194 3.680 * * [simplify]: Extracting #5: cost 23 inf + 305366 3.704 * * [simplify]: Extracting #6: cost 0 inf + 329843 3.730 * * [simplify]: Extracting #7: cost 0 inf + 329685 3.754 * [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)))) 3.759 * * [progress]: iteration 1 / 4 3.759 * * * [progress]: picking best candidate 3.768 * * * * [pick]: Picked # 3.768 * * * [progress]: localizing error 3.961 * * * [progress]: generating rewritten candidates 3.961 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 3.968 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 3.975 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 3.981 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 3.987 * * * [progress]: generating series expansions 3.987 * * * * [progress]: [ 1 / 4 ] generating series at (2) 3.988 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 3.988 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 3.988 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 3.988 * * * [progress]: simplifying candidates 3.988 * * * * [progress]: [ 1 / 68 ] simplifiying candidate #posit16 0.0)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 3.988 * * * * [progress]: [ 2 / 68 ] simplifiying candidate #posit16 0.0)))> 3.988 * * * * [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))))> 3.988 * * * * [progress]: [ 4 / 68 ] simplifiying candidate #posit16 0.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 3.988 * * * * [progress]: [ 5 / 68 ] simplifiying candidate #posit16 0.0)))> 3.988 * * * * [progress]: [ 6 / 68 ] simplifiying candidate #posit16 0.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 3.988 * * * * [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))))> 3.988 * * * * [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)))))> 3.988 * * * * [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))))> 3.988 * * * * [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)))> 3.988 * * * * [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))))> 3.989 * * * * [progress]: [ 12 / 68 ] simplifiying candidate #posit16 0.0)))> 3.989 * * * * [progress]: [ 13 / 68 ] simplifiying candidate #posit16 0.0)))> 3.989 * * * * [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))))> 3.989 * * * * [progress]: [ 15 / 68 ] simplifiying candidate #posit16 1.0)))> 3.989 * * * * [progress]: [ 16 / 68 ] simplifiying candidate #posit16 1.0)))> 3.989 * * * * [progress]: [ 17 / 68 ] simplifiying candidate # 3.989 * * * * [progress]: [ 18 / 68 ] simplifiying candidate # 3.989 * * * * [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)))> 3.989 * * * * [progress]: [ 20 / 68 ] simplifiying candidate #posit16 0.0)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 3.989 * * * * [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)))> 3.989 * * * * [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)))> 3.989 * * * * [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)))> 3.989 * * * * [progress]: [ 24 / 68 ] simplifiying candidate #posit16 0.0)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 3.989 * * * * [progress]: [ 25 / 68 ] simplifiying candidate # 3.989 * * * * [progress]: [ 26 / 68 ] simplifiying candidate # 3.990 * * * * [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)))> 3.990 * * * * [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)))> 3.990 * * * * [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)))> 3.990 * * * * [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)))> 3.990 * * * * [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)))> 3.990 * * * * [progress]: [ 32 / 68 ] simplifiying candidate #posit16 0.0)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 3.990 * * * * [progress]: [ 33 / 68 ] simplifiying candidate #posit16 0.0)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 3.990 * * * * [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)))> 3.990 * * * * [progress]: [ 35 / 68 ] simplifiying candidate #posit16 1.0)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 3.990 * * * * [progress]: [ 36 / 68 ] simplifiying candidate #posit16 1.0)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 3.990 * * * * [progress]: [ 37 / 68 ] simplifiying candidate # 3.990 * * * * [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)))> 3.990 * * * * [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)))> 3.990 * * * * [progress]: [ 40 / 68 ] simplifiying candidate #posit16 1.0) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 3.990 * * * * [progress]: [ 41 / 68 ] simplifiying candidate # 3.991 * * * * [progress]: [ 42 / 68 ] simplifiying candidate #posit16 1.0)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 3.991 * * * * [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)))> 3.991 * * * * [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)))> 3.991 * * * * [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)))> 3.991 * * * * [progress]: [ 46 / 68 ] simplifiying candidate #posit16 0.0)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 3.991 * * * * [progress]: [ 47 / 68 ] simplifiying candidate #posit16 0.0)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 3.991 * * * * [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)))> 3.991 * * * * [progress]: [ 49 / 68 ] simplifiying candidate #posit16 1.0)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 3.991 * * * * [progress]: [ 50 / 68 ] simplifiying candidate #posit16 1.0)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> 3.991 * * * * [progress]: [ 51 / 68 ] simplifiying candidate # 3.992 * * * * [progress]: [ 52 / 68 ] simplifiying candidate #posit16 1.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 3.992 * * * * [progress]: [ 53 / 68 ] simplifiying candidate #posit16 1.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 3.992 * * * * [progress]: [ 54 / 68 ] simplifiying candidate #posit16 1.0) x.re))))> 3.992 * * * * [progress]: [ 55 / 68 ] simplifiying candidate #posit16 1.0))))> 3.992 * * * * [progress]: [ 56 / 68 ] simplifiying candidate #posit16 1.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 3.992 * * * * [progress]: [ 57 / 68 ] simplifiying candidate #posit16 (posit16->quire16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))))> 3.992 * * * * [progress]: [ 58 / 68 ] simplifiying candidate #posit16 0.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 3.992 * * * * [progress]: [ 59 / 68 ] simplifiying candidate #posit16 0.0))))> 3.992 * * * * [progress]: [ 60 / 68 ] simplifiying candidate #posit16 0.0))))> 3.992 * * * * [progress]: [ 61 / 68 ] simplifiying candidate #posit16 1.0) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))))> 3.992 * * * * [progress]: [ 62 / 68 ] simplifiying candidate #posit16 1.0))))> 3.992 * * * * [progress]: [ 63 / 68 ] simplifiying candidate #posit16 1.0))))> 3.993 * * * * [progress]: [ 64 / 68 ] simplifiying candidate # 3.993 * * * * [progress]: [ 65 / 68 ] simplifiying candidate # 3.993 * * * * [progress]: [ 66 / 68 ] simplifiying candidate # 3.993 * * * * [progress]: [ 67 / 68 ] simplifiying candidate # 3.993 * * * * [progress]: [ 68 / 68 ] simplifiying candidate # 3.994 * [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)) 3.995 * * [simplify]: iteration 0: 41 enodes 4.014 * * [simplify]: iteration 1: 79 enodes 4.041 * * [simplify]: iteration 2: 258 enodes 4.301 * * [simplify]: iteration 3: 1200 enodes 4.928 * * [simplify]: iteration complete: 5008 enodes 4.929 * * [simplify]: Extracting #0: cost 26 inf + 0 4.931 * * [simplify]: Extracting #1: cost 679 inf + 1045 4.947 * * [simplify]: Extracting #2: cost 1804 inf + 150542 5.028 * * [simplify]: Extracting #3: cost 823 inf + 1167765 5.130 * * [simplify]: Extracting #4: cost 43 inf + 1910789 5.285 * * [simplify]: Extracting #5: cost 0 inf + 1950575 5.444 * [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)))) 5.452 * * * [progress]: adding candidates to table 6.452 * * [progress]: iteration 2 / 4 6.452 * * * [progress]: picking best candidate 6.501 * * * * [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)))> 6.502 * * * [progress]: localizing error 6.770 * * * [progress]: generating rewritten candidates 6.770 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 6.771 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 6.781 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2) 6.787 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 6.794 * * * [progress]: generating series expansions 6.795 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 6.795 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 6.795 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2) 6.795 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 6.795 * * * [progress]: simplifying candidates 6.795 * * * * [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)))> 6.795 * * * * [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)))> 6.795 * * * * [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)))> 6.795 * * * * [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)))> 6.795 * * * * [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)))> 6.795 * * * * [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)))> 6.795 * * * * [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)))> 6.795 * * * * [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)))> 6.795 * * * * [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)))> 6.795 * * * * [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)))> 6.795 * * * * [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)))> 6.796 * * * * [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)))> 6.796 * * * * [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)))> 6.796 * * * * [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)))> 6.796 * * * * [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)))> 6.796 * * * * [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)))> 6.796 * * * * [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)))> 6.796 * * * * [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)))> 6.796 * * * * [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)))> 6.796 * * * * [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)))> 6.796 * * * * [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)))> 6.796 * * * * [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)))> 6.796 * * * * [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)))> 6.796 * * * * [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)))> 6.796 * * * * [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)))> 6.796 * * * * [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)))> 6.796 * * * * [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)))> 6.797 * * * * [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)))> 6.797 * * * * [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)))> 6.797 * * * * [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)))> 6.797 * * * * [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)))> 6.797 * * * * [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)))> 6.797 * * * * [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)))> 6.797 * * * * [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)))> 6.797 * * * * [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)))> 6.797 * * * * [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)))> 6.797 * * * * [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)))> 6.797 * * * * [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)))> 6.797 * * * * [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)))> 6.797 * * * * [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)))> 6.797 * * * * [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)))> 6.797 * * * * [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)))> 6.797 * * * * [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)))> 6.797 * * * * [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)))> 6.798 * * * * [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)))> 6.798 * * * * [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)))> 6.798 * * * * [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)))> 6.798 * * * * [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)))> 6.798 * * * * [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)))> 6.798 * * * * [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)))> 6.798 * * * * [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)))> 6.798 * * * * [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)))> 6.798 * * * * [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)))> 6.798 * * * * [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)))> 6.798 * * * * [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)))> 6.798 * * * * [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)))> 6.798 * * * * [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)))> 6.798 * * * * [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)))> 6.799 * [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)) 6.800 * * [simplify]: iteration 0: 35 enodes 6.816 * * [simplify]: iteration 1: 73 enodes 6.848 * * [simplify]: iteration 2: 223 enodes 7.234 * * [simplify]: iteration 3: 1244 enodes 7.594 * * [simplify]: iteration complete: 5061 enodes 7.594 * * [simplify]: Extracting #0: cost 18 inf + 0 7.596 * * [simplify]: Extracting #1: cost 580 inf + 42 7.618 * * [simplify]: Extracting #2: cost 1899 inf + 76085 7.680 * * [simplify]: Extracting #3: cost 932 inf + 1247786 7.763 * * [simplify]: Extracting #4: cost 54 inf + 2137492 7.864 * * [simplify]: Extracting #5: cost 0 inf + 2196052 7.977 * [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)) 7.980 * * * [progress]: adding candidates to table 8.800 * * [progress]: iteration 3 / 4 8.800 * * * [progress]: picking best candidate 8.851 * * * * [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.851 * * * [progress]: localizing error 9.262 * * * [progress]: generating rewritten candidates 9.262 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 9.262 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 9.266 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 9.268 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 9.271 * * * [progress]: generating series expansions 9.271 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 9.271 * * * * [progress]: [ 2 / 4 ] generating series at (2) 9.271 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 9.272 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 9.272 * * * [progress]: simplifying candidates 9.272 * * * * [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)))> 9.272 * * * * [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)))> 9.272 * * * * [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))))> 9.272 * * * * [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))))> 9.272 * * * * [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)))> 9.272 * * * * [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))))> 9.272 * * * * [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))))> 9.272 * * * * [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)))))> 9.272 * * * * [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))))> 9.272 * * * * [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)))> 9.272 * * * * [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))))> 9.272 * * * * [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)))> 9.272 * * * * [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)))> 9.272 * * * * [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))))> 9.273 * * * * [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)))> 9.273 * * * * [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)))> 9.273 * * * * [progress]: [ 17 / 47 ] simplifiying candidate #posit16 (quire16-mul-sub (posit16->quire16 (*.p16 x.re x.re)) x.im x.im)) x.im)))> 9.273 * * * * [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)))> 9.273 * * * * [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)))> 9.273 * * * * [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)))> 9.273 * * * * [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)))> 9.273 * * * * [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)))> 9.273 * * * * [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)))> 9.273 * * * * [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)))> 9.273 * * * * [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)))> 9.273 * * * * [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)))> 9.273 * * * * [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)))> 9.273 * * * * [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)))> 9.273 * * * * [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)))> 9.273 * * * * [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)))> 9.273 * * * * [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))))> 9.274 * * * * [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))))> 9.274 * * * * [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))))> 9.274 * * * * [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))))> 9.274 * * * * [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))))> 9.274 * * * * [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)))))> 9.274 * * * * [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))))> 9.274 * * * * [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))))> 9.274 * * * * [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))))> 9.274 * * * * [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))))> 9.274 * * * * [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))))> 9.274 * * * * [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))))> 9.274 * * * * [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)))))> 9.274 * * * * [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)))> 9.274 * * * * [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)))> 9.274 * * * * [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)))> 9.274 * * * * [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)))> 9.275 * [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) 9.276 * * [simplify]: iteration 0: 26 enodes 9.286 * * [simplify]: iteration 1: 39 enodes 9.293 * * [simplify]: iteration 2: 73 enodes 9.319 * * [simplify]: iteration 3: 187 enodes 9.348 * * [simplify]: iteration 4: 363 enodes 9.553 * * [simplify]: iteration 5: 873 enodes 10.194 * * [simplify]: iteration 6: 1761 enodes 10.472 * * [simplify]: iteration 7: 2348 enodes 12.177 * * [simplify]: iteration complete: 5004 enodes 12.177 * * [simplify]: Extracting #0: cost 14 inf + 0 12.179 * * [simplify]: Extracting #1: cost 887 inf + 2 12.184 * * [simplify]: Extracting #2: cost 991 inf + 25179 12.195 * * [simplify]: Extracting #3: cost 733 inf + 203956 12.215 * * [simplify]: Extracting #4: cost 562 inf + 322582 12.256 * * [simplify]: Extracting #5: cost 350 inf + 567591 12.337 * * [simplify]: Extracting #6: cost 143 inf + 819315 12.433 * * [simplify]: Extracting #7: cost 16 inf + 932809 12.598 * * [simplify]: Extracting #8: cost 0 inf + 948697 12.767 * [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.772 * * * [progress]: adding candidates to table 13.750 * * [progress]: iteration 4 / 4 13.750 * * * [progress]: picking best candidate 13.831 * * * * [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.831 * * * [progress]: localizing error 14.236 * * * [progress]: generating rewritten candidates 14.236 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 14.236 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1) 14.236 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 14.239 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 14.242 * * * [progress]: generating series expansions 14.242 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 14.242 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1) 14.242 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 14.242 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 14.242 * * * [progress]: simplifying candidates 14.242 * * * * [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.242 * * * * [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.242 * * * * [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.242 * * * * [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.242 * * * * [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.242 * * * * [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.242 * * * * [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.242 * * * * [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.242 * * * * [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.242 * * * * [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.242 * * * * [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.243 * * * * [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.243 * * * * [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.243 * * * * [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.243 * * * * [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.243 * * * * [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.243 * * * * [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.243 * * * * [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.243 * * * * [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.243 * * * * [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.243 * * * * [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.243 * * * * [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.243 * * * * [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.243 * * * * [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.243 * * * * [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.243 * * * * [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.243 * * * * [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.243 * * * * [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.243 * * * * [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.243 * * * * [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.243 * * * * [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.243 * * * * [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.244 * [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.244 * * [simplify]: iteration 0: 21 enodes 14.248 * * [simplify]: iteration 1: 27 enodes 14.252 * * [simplify]: iteration 2: 36 enodes 14.261 * * [simplify]: iteration 3: 38 enodes 14.270 * * [simplify]: iteration 4: 45 enodes 14.280 * * [simplify]: iteration 5: 46 enodes 14.290 * * [simplify]: iteration 6: 53 enodes 14.301 * * [simplify]: iteration 7: 60 enodes 14.312 * * [simplify]: iteration 8: 62 enodes 14.331 * * [simplify]: iteration 9: 69 enodes 14.343 * * [simplify]: iteration 10: 70 enodes 14.353 * * [simplify]: iteration 11: 77 enodes 14.365 * * [simplify]: iteration 12: 84 enodes 14.376 * * [simplify]: iteration 13: 86 enodes 14.389 * * [simplify]: iteration 14: 93 enodes 14.402 * * [simplify]: iteration 15: 94 enodes 14.416 * * [simplify]: iteration 16: 101 enodes 14.430 * * [simplify]: iteration 17: 108 enodes 14.446 * * [simplify]: iteration 18: 110 enodes 14.461 * * [simplify]: iteration 19: 117 enodes 14.475 * * [simplify]: iteration 20: 118 enodes 14.493 * * [simplify]: iteration 21: 125 enodes 14.508 * * [simplify]: iteration 22: 132 enodes 14.524 * * [simplify]: iteration 23: 134 enodes 14.541 * * [simplify]: iteration 24: 141 enodes 14.558 * * [simplify]: iteration 25: 142 enodes 14.575 * * [simplify]: iteration 26: 149 enodes 14.593 * * [simplify]: iteration 27: 156 enodes 14.605 * * [simplify]: iteration 28: 158 enodes 14.621 * * [simplify]: iteration 29: 165 enodes 14.636 * * [simplify]: iteration 30: 166 enodes 14.656 * * [simplify]: iteration 31: 173 enodes 14.674 * * [simplify]: iteration 32: 180 enodes 14.695 * * [simplify]: iteration 33: 182 enodes 14.716 * * [simplify]: iteration 34: 189 enodes 14.734 * * [simplify]: iteration 35: 190 enodes 14.757 * * [simplify]: iteration 36: 197 enodes 14.775 * * [simplify]: iteration 37: 204 enodes 14.800 * * [simplify]: iteration 38: 206 enodes 14.825 * * [simplify]: iteration 39: 213 enodes 14.845 * * [simplify]: iteration 40: 214 enodes 14.871 * * [simplify]: iteration 41: 221 enodes 14.892 * * [simplify]: iteration 42: 228 enodes 14.920 * * [simplify]: iteration 43: 230 enodes 14.953 * * [simplify]: iteration 44: 237 enodes 14.975 * * [simplify]: iteration 45: 238 enodes 15.003 * * [simplify]: iteration 46: 245 enodes 15.028 * * [simplify]: iteration 47: 252 enodes 15.058 * * [simplify]: iteration 48: 254 enodes 15.091 * * [simplify]: iteration 49: 261 enodes 15.114 * * [simplify]: iteration 50: 262 enodes 15.147 * * [simplify]: iteration 51: 269 enodes 15.172 * * [simplify]: iteration 52: 276 enodes 15.204 * * [simplify]: iteration 53: 278 enodes 15.241 * * [simplify]: iteration 54: 285 enodes 15.265 * * [simplify]: iteration 55: 286 enodes 15.291 * * [simplify]: iteration 56: 293 enodes 15.304 * * [simplify]: iteration 57: 300 enodes 15.324 * * [simplify]: iteration 58: 302 enodes 15.343 * * [simplify]: iteration 59: 309 enodes 15.367 * * [simplify]: iteration 60: 310 enodes 15.402 * * [simplify]: iteration 61: 317 enodes 15.417 * * [simplify]: iteration 62: 324 enodes 15.449 * * [simplify]: iteration 63: 326 enodes 15.471 * * [simplify]: iteration 64: 333 enodes 15.486 * * [simplify]: iteration 65: 334 enodes 15.518 * * [simplify]: iteration 66: 341 enodes 15.535 * * [simplify]: iteration 67: 348 enodes 15.563 * * [simplify]: iteration 68: 350 enodes 15.599 * * [simplify]: iteration 69: 357 enodes 15.615 * * [simplify]: iteration 70: 358 enodes 15.653 * * [simplify]: iteration 71: 365 enodes 15.669 * * [simplify]: iteration 72: 372 enodes 15.693 * * [simplify]: iteration 73: 374 enodes 15.718 * * [simplify]: iteration 74: 381 enodes 15.732 * * [simplify]: iteration 75: 382 enodes 15.779 * * [simplify]: iteration 76: 389 enodes 15.799 * * [simplify]: iteration 77: 396 enodes 15.835 * * [simplify]: iteration 78: 398 enodes 15.865 * * [simplify]: iteration 79: 405 enodes 15.880 * * [simplify]: iteration 80: 406 enodes 15.910 * * [simplify]: iteration 81: 413 enodes 15.928 * * [simplify]: iteration 82: 420 enodes 15.956 * * [simplify]: iteration 83: 422 enodes 15.986 * * [simplify]: iteration 84: 429 enodes 16.003 * * [simplify]: iteration 85: 430 enodes 16.032 * * [simplify]: iteration 86: 437 enodes 16.051 * * [simplify]: iteration 87: 444 enodes 16.081 * * [simplify]: iteration 88: 446 enodes 16.113 * * [simplify]: iteration 89: 453 enodes 16.132 * * [simplify]: iteration 90: 454 enodes 16.164 * * [simplify]: iteration 91: 461 enodes 16.187 * * [simplify]: iteration 92: 468 enodes 16.220 * * [simplify]: iteration 93: 470 enodes 16.263 * * [simplify]: iteration 94: 477 enodes 16.280 * * [simplify]: iteration 95: 478 enodes 16.322 * * [simplify]: iteration 96: 485 enodes 16.341 * * [simplify]: iteration 97: 492 enodes 16.376 * * [simplify]: iteration 98: 494 enodes 16.414 * * [simplify]: iteration 99: 501 enodes 16.432 * * [simplify]: iteration 100: 502 enodes 16.492 * * [simplify]: iteration 101: 509 enodes 16.525 * * [simplify]: iteration 102: 516 enodes 16.570 * * [simplify]: iteration 103: 518 enodes 16.616 * * [simplify]: iteration 104: 525 enodes 16.649 * * [simplify]: iteration 105: 526 enodes 16.699 * * [simplify]: iteration 106: 533 enodes 16.721 * * [simplify]: iteration 107: 540 enodes 16.766 * * [simplify]: iteration 108: 542 enodes 16.812 * * [simplify]: iteration 109: 549 enodes 16.833 * * [simplify]: iteration 110: 550 enodes 16.880 * * [simplify]: iteration 111: 557 enodes 16.902 * * [simplify]: iteration 112: 564 enodes 16.949 * * [simplify]: iteration 113: 566 enodes 16.997 * * [simplify]: iteration 114: 573 enodes 17.018 * * [simplify]: iteration 115: 574 enodes 17.091 * * [simplify]: iteration 116: 581 enodes 17.114 * * [simplify]: iteration 117: 588 enodes 17.161 * * [simplify]: iteration 118: 590 enodes 17.211 * * [simplify]: iteration 119: 597 enodes 17.233 * * [simplify]: iteration 120: 598 enodes 17.283 * * [simplify]: iteration 121: 605 enodes 17.317 * * [simplify]: iteration 122: 612 enodes 17.378 * * [simplify]: iteration 123: 614 enodes 17.441 * * [simplify]: iteration 124: 621 enodes 17.481 * * [simplify]: iteration 125: 622 enodes 17.539 * * [simplify]: iteration 126: 629 enodes 17.570 * * [simplify]: iteration 127: 636 enodes 17.661 * * [simplify]: iteration 128: 638 enodes 17.751 * * [simplify]: iteration 129: 645 enodes 17.780 * * [simplify]: iteration 130: 646 enodes 17.864 * * [simplify]: iteration 131: 653 enodes 17.909 * * [simplify]: iteration 132: 660 enodes 17.972 * * [simplify]: iteration 133: 662 enodes 18.034 * * [simplify]: iteration 134: 669 enodes 18.057 * * [simplify]: iteration 135: 670 enodes 18.115 * * [simplify]: iteration 136: 677 enodes 18.143 * * [simplify]: iteration 137: 684 enodes 18.201 * * [simplify]: iteration 138: 686 enodes 18.260 * * [simplify]: iteration 139: 693 enodes 18.287 * * [simplify]: iteration 140: 694 enodes 18.346 * * [simplify]: iteration 141: 701 enodes 18.372 * * [simplify]: iteration 142: 708 enodes 18.440 * * [simplify]: iteration 143: 710 enodes 18.518 * * [simplify]: iteration 144: 717 enodes 18.552 * * [simplify]: iteration 145: 718 enodes 18.622 * * [simplify]: iteration 146: 725 enodes 18.659 * * [simplify]: iteration 147: 732 enodes 18.725 * * [simplify]: iteration 148: 734 enodes 18.797 * * [simplify]: iteration 149: 741 enodes 18.839 * * [simplify]: iteration 150: 742 enodes 18.911 * * [simplify]: iteration 151: 749 enodes 18.947 * * [simplify]: iteration 152: 756 enodes 19.046 * * [simplify]: iteration 153: 758 enodes 19.115 * * [simplify]: iteration 154: 765 enodes 19.143 * * [simplify]: iteration 155: 766 enodes 19.213 * * [simplify]: iteration 156: 773 enodes 19.241 * * [simplify]: iteration 157: 780 enodes 19.315 * * [simplify]: iteration 158: 782 enodes 19.397 * * [simplify]: iteration 159: 789 enodes 19.436 * * [simplify]: iteration 160: 790 enodes 19.540 * * [simplify]: iteration 161: 797 enodes 19.598 * * [simplify]: iteration 162: 804 enodes 19.691 * * [simplify]: iteration 163: 806 enodes 19.768 * * [simplify]: iteration 164: 813 enodes 19.800 * * [simplify]: iteration 165: 814 enodes 19.877 * * [simplify]: iteration 166: 821 enodes 19.909 * * [simplify]: iteration 167: 828 enodes 20.006 * * [simplify]: iteration 168: 830 enodes 20.086 * * [simplify]: iteration 169: 837 enodes 20.117 * * [simplify]: iteration 170: 838 enodes 20.217 * * [simplify]: iteration 171: 845 enodes 20.249 * * [simplify]: iteration 172: 852 enodes 20.346 * * [simplify]: iteration 173: 854 enodes 20.476 * * [simplify]: iteration 174: 861 enodes 20.518 * * [simplify]: iteration 175: 862 enodes 20.644 * * [simplify]: iteration 176: 869 enodes 20.695 * * [simplify]: iteration 177: 876 enodes 20.781 * * [simplify]: iteration 178: 878 enodes 20.870 * * [simplify]: iteration 179: 885 enodes 20.922 * * [simplify]: iteration 180: 886 enodes 21.049 * * [simplify]: iteration 181: 893 enodes 21.085 * * [simplify]: iteration 182: 900 enodes 21.249 * * [simplify]: iteration 183: 902 enodes 21.369 * * [simplify]: iteration 184: 909 enodes 21.406 * * [simplify]: iteration 185: 910 enodes 21.540 * * [simplify]: iteration 186: 917 enodes 21.573 * * [simplify]: iteration 187: 924 enodes 21.724 * * [simplify]: iteration 188: 926 enodes 21.829 * * [simplify]: iteration 189: 933 enodes 21.863 * * [simplify]: iteration 190: 934 enodes 21.986 * * [simplify]: iteration 191: 941 enodes 22.050 * * [simplify]: iteration 192: 948 enodes 22.212 * * [simplify]: iteration 193: 950 enodes 22.359 * * [simplify]: iteration 194: 957 enodes 22.394 * * [simplify]: iteration 195: 958 enodes 22.508 * * [simplify]: iteration 196: 965 enodes 22.547 * * [simplify]: iteration 197: 972 enodes 22.708 * * [simplify]: iteration 198: 974 enodes 22.837 * * [simplify]: iteration 199: 981 enodes 22.873 * * [simplify]: iteration 200: 982 enodes 23.039 * * [simplify]: iteration 201: 989 enodes 23.092 * * [simplify]: iteration 202: 996 enodes 23.206 * * [simplify]: iteration 203: 998 enodes 23.369 * * [simplify]: iteration 204: 1005 enodes 23.426 * * [simplify]: iteration 205: 1006 enodes 23.608 * * [simplify]: iteration 206: 1013 enodes 23.654 * * [simplify]: iteration 207: 1020 enodes 23.766 * * [simplify]: iteration 208: 1022 enodes 23.887 * * [simplify]: iteration 209: 1029 enodes 23.938 * * [simplify]: iteration 210: 1030 enodes 24.064 * * [simplify]: iteration 211: 1037 enodes 24.106 * * [simplify]: iteration 212: 1044 enodes 24.257 * * [simplify]: iteration 213: 1046 enodes 24.443 * * [simplify]: iteration 214: 1053 enodes 24.501 * * [simplify]: iteration 215: 1054 enodes 24.641 * * [simplify]: iteration 216: 1061 enodes 24.678 * * [simplify]: iteration 217: 1068 enodes 24.855 * * [simplify]: iteration 218: 1070 enodes 25.003 * * [simplify]: iteration 219: 1077 enodes 25.042 * * [simplify]: iteration 220: 1078 enodes 25.198 * * [simplify]: iteration 221: 1085 enodes 25.247 * * [simplify]: iteration 222: 1092 enodes 25.411 * * [simplify]: iteration 223: 1094 enodes 25.611 * * [simplify]: iteration 224: 1101 enodes 25.651 * * [simplify]: iteration 225: 1102 enodes 25.888 * * [simplify]: iteration 226: 1109 enodes 25.960 * * [simplify]: iteration 227: 1116 enodes 26.098 * * [simplify]: iteration 228: 1118 enodes 26.293 * * [simplify]: iteration 229: 1125 enodes 26.360 * * [simplify]: iteration 230: 1126 enodes 26.560 * * [simplify]: iteration 231: 1133 enodes 26.606 * * [simplify]: iteration 232: 1140 enodes 26.753 * * [simplify]: iteration 233: 1142 enodes 26.943 * * [simplify]: iteration 234: 1149 enodes 26.994 * * [simplify]: iteration 235: 1150 enodes 27.184 * * [simplify]: iteration 236: 1157 enodes 27.234 * * [simplify]: iteration 237: 1164 enodes 27.440 * * [simplify]: iteration 238: 1166 enodes 27.640 * * [simplify]: iteration 239: 1173 enodes 27.707 * * [simplify]: iteration 240: 1174 enodes 27.895 * * [simplify]: iteration 241: 1181 enodes 27.944 * * [simplify]: iteration 242: 1188 enodes 28.104 * * [simplify]: iteration 243: 1190 enodes 28.282 * * [simplify]: iteration 244: 1197 enodes 28.337 * * [simplify]: iteration 245: 1198 enodes 28.515 * * [simplify]: iteration 246: 1205 enodes 28.563 * * [simplify]: iteration 247: 1212 enodes 28.724 * * [simplify]: iteration 248: 1214 enodes 28.885 * * [simplify]: iteration 249: 1221 enodes 28.946 * * [simplify]: iteration 250: 1222 enodes 29.168 * * [simplify]: iteration 251: 1229 enodes 29.231 * * [simplify]: iteration 252: 1236 enodes 29.470 * * [simplify]: iteration 253: 1238 enodes 29.683 * * [simplify]: iteration 254: 1245 enodes 29.723 * * [simplify]: iteration 255: 1246 enodes 29.900 * * [simplify]: iteration 256: 1253 enodes 29.965 * * [simplify]: iteration 257: 1260 enodes 30.202 * * [simplify]: iteration 258: 1262 enodes 30.428 * * [simplify]: iteration 259: 1269 enodes 30.512 * * [simplify]: iteration 260: 1270 enodes 30.805 * * [simplify]: iteration 261: 1277 enodes 30.885 * * [simplify]: iteration 262: 1284 enodes 31.191 * * [simplify]: iteration 263: 1286 enodes 31.423 * * [simplify]: iteration 264: 1293 enodes 31.511 * * [simplify]: iteration 265: 1294 enodes 31.811 * * [simplify]: iteration 266: 1301 enodes 31.896 * * [simplify]: iteration 267: 1308 enodes 32.143 * * [simplify]: iteration 268: 1310 enodes 32.414 * * [simplify]: iteration 269: 1317 enodes 32.496 * * [simplify]: iteration 270: 1318 enodes 32.801 * * [simplify]: iteration 271: 1325 enodes 32.888 * * [simplify]: iteration 272: 1332 enodes 33.167 * * [simplify]: iteration 273: 1334 enodes 33.434 * * [simplify]: iteration 274: 1341 enodes 33.499 * * [simplify]: iteration 275: 1342 enodes 33.696 * * [simplify]: iteration 276: 1349 enodes 33.750 * * [simplify]: iteration 277: 1356 enodes 34.084 * * [simplify]: iteration 278: 1358 enodes 34.426 * * [simplify]: iteration 279: 1365 enodes 34.499 * * [simplify]: iteration 280: 1366 enodes 34.790 * * [simplify]: iteration 281: 1373 enodes 34.886 * * [simplify]: iteration 282: 1380 enodes 35.197 * * [simplify]: iteration 283: 1382 enodes 35.464 * * [simplify]: iteration 284: 1389 enodes 35.528 * * [simplify]: iteration 285: 1390 enodes 35.846 * * [simplify]: iteration 286: 1397 enodes 35.922 * * [simplify]: iteration 287: 1404 enodes 36.229 * * [simplify]: iteration 288: 1406 enodes 36.515 * * [simplify]: iteration 289: 1413 enodes 36.581 * * [simplify]: iteration 290: 1414 enodes 36.894 * * [simplify]: iteration 291: 1421 enodes 37.006 * * [simplify]: iteration 292: 1428 enodes 37.348 * * [simplify]: iteration 293: 1430 enodes 37.702 * * [simplify]: iteration 294: 1437 enodes 37.808 * * [simplify]: iteration 295: 1438 enodes 38.590 * * [simplify]: iteration 296: 1445 enodes 38.656 * * [simplify]: iteration 297: 1452 enodes 38.969 * * [simplify]: iteration 298: 1454 enodes 39.290 * * [simplify]: iteration 299: 1461 enodes 39.359 * * [simplify]: iteration 300: 1462 enodes 39.588 * * [simplify]: iteration 301: 1469 enodes 39.654 * * [simplify]: iteration 302: 1476 enodes 39.993 * * [simplify]: iteration 303: 1478 enodes 40.333 * * [simplify]: iteration 304: 1485 enodes 40.403 * * [simplify]: iteration 305: 1486 enodes 40.727 * * [simplify]: iteration 306: 1493 enodes 40.796 * * [simplify]: iteration 307: 1500 enodes 41.055 * * [simplify]: iteration 308: 1502 enodes 41.362 * * [simplify]: iteration 309: 1509 enodes 41.433 * * [simplify]: iteration 310: 1510 enodes 41.779 * * [simplify]: iteration 311: 1517 enodes 41.867 * * [simplify]: iteration 312: 1524 enodes 42.211 * * [simplify]: iteration 313: 1526 enodes 42.527 * * [simplify]: iteration 314: 1533 enodes 42.633 * * [simplify]: iteration 315: 1534 enodes 42.946 * * [simplify]: iteration 316: 1541 enodes 43.031 * * [simplify]: iteration 317: 1548 enodes 43.425 * * [simplify]: iteration 318: 1550 enodes 43.761 * * [simplify]: iteration 319: 1557 enodes 43.824 * * [simplify]: iteration 320: 1558 enodes 44.219 * * [simplify]: iteration 321: 1565 enodes 44.304 * * [simplify]: iteration 322: 1572 enodes 44.678 * * [simplify]: iteration 323: 1574 enodes 45.008 * * [simplify]: iteration 324: 1581 enodes 45.113 * * [simplify]: iteration 325: 1582 enodes 45.500 * * [simplify]: iteration 326: 1589 enodes 45.600 * * [simplify]: iteration 327: 1596 enodes 46.017 * * [simplify]: iteration 328: 1598 enodes 46.418 * * [simplify]: iteration 329: 1605 enodes 46.494 * * [simplify]: iteration 330: 1606 enodes 46.867 * * [simplify]: iteration 331: 1613 enodes 46.968 * * [simplify]: iteration 332: 1620 enodes 47.362 * * [simplify]: iteration 333: 1622 enodes 47.766 * * [simplify]: iteration 334: 1629 enodes 47.843 * * [simplify]: iteration 335: 1630 enodes 48.308 * * [simplify]: iteration 336: 1637 enodes 48.391 * * [simplify]: iteration 337: 1644 enodes 48.912 * * [simplify]: iteration 338: 1646 enodes 49.345 * * [simplify]: iteration 339: 1653 enodes 49.412 * * [simplify]: iteration 340: 1654 enodes 49.816 * * [simplify]: iteration 341: 1661 enodes 49.908 * * [simplify]: iteration 342: 1668 enodes 50.380 * * [simplify]: iteration 343: 1670 enodes 50.891 * * [simplify]: iteration 344: 1677 enodes 50.952 * * [simplify]: iteration 345: 1678 enodes 51.299 * * [simplify]: iteration 346: 1685 enodes 51.416 * * [simplify]: iteration 347: 1692 enodes 51.912 * * [simplify]: iteration 348: 1694 enodes 52.383 * * [simplify]: iteration 349: 1701 enodes 52.450 * * [simplify]: iteration 350: 1702 enodes 52.848 * * [simplify]: iteration 351: 1709 enodes 52.959 * * [simplify]: iteration 352: 1716 enodes 53.360 * * [simplify]: iteration 353: 1718 enodes 53.741 * * [simplify]: iteration 354: 1725 enodes 53.840 * * [simplify]: iteration 355: 1726 enodes 54.239 * * [simplify]: iteration 356: 1733 enodes 54.303 * * [simplify]: iteration 357: 1740 enodes 54.693 * * [simplify]: iteration 358: 1742 enodes 55.124 * * [simplify]: iteration 359: 1749 enodes 55.217 * * [simplify]: iteration 360: 1750 enodes 55.707 * * [simplify]: iteration 361: 1757 enodes 55.800 * * [simplify]: iteration 362: 1764 enodes 56.234 * * [simplify]: iteration 363: 1766 enodes 56.651 * * [simplify]: iteration 364: 1773 enodes 56.715 * * [simplify]: iteration 365: 1774 enodes 57.093 * * [simplify]: iteration 366: 1781 enodes 57.202 * * [simplify]: iteration 367: 1788 enodes 57.658 * * [simplify]: iteration 368: 1790 enodes 58.214 * * [simplify]: iteration 369: 1797 enodes 58.298 * * [simplify]: iteration 370: 1798 enodes 58.834 * * [simplify]: iteration 371: 1805 enodes 58.952 * * [simplify]: iteration 372: 1812 enodes 59.326 * * [simplify]: iteration 373: 1814 enodes 59.741 * * [simplify]: iteration 374: 1821 enodes 59.847 * * [simplify]: iteration 375: 1822 enodes 60.368 * * [simplify]: iteration 376: 1829 enodes 60.463 * * [simplify]: iteration 377: 1836 enodes 60.962 * * [simplify]: iteration 378: 1838 enodes 61.562 * * [simplify]: iteration 379: 1845 enodes 61.638 * * [simplify]: iteration 380: 1846 enodes 62.157 * * [simplify]: iteration 381: 1853 enodes 62.290 * * [simplify]: iteration 382: 1860 enodes 62.790 * * [simplify]: iteration 383: 1862 enodes 63.291 * * [simplify]: iteration 384: 1869 enodes 63.362 * * [simplify]: iteration 385: 1870 enodes 63.748 * * [simplify]: iteration 386: 1877 enodes 63.823 * * [simplify]: iteration 387: 1884 enodes 64.423 * * [simplify]: iteration 388: 1886 enodes 64.939 * * [simplify]: iteration 389: 1893 enodes 65.032 * * [simplify]: iteration 390: 1894 enodes 65.562 * * [simplify]: iteration 391: 1901 enodes 65.660 * * [simplify]: iteration 392: 1908 enodes 66.095 * * [simplify]: iteration 393: 1910 enodes 66.542 * * [simplify]: iteration 394: 1917 enodes 66.640 * * [simplify]: iteration 395: 1918 enodes 67.112 * * [simplify]: iteration 396: 1925 enodes 67.190 * * [simplify]: iteration 397: 1932 enodes 67.771 * * [simplify]: iteration 398: 1934 enodes 68.347 * * [simplify]: iteration 399: 1941 enodes 68.458 * * [simplify]: iteration 400: 1942 enodes 68.983 * * [simplify]: iteration 401: 1949 enodes 69.070 * * [simplify]: iteration 402: 1956 enodes 69.513 * * [simplify]: iteration 403: 1958 enodes 70.024 * * [simplify]: iteration 404: 1965 enodes 70.137 * * [simplify]: iteration 405: 1966 enodes 70.726 * * [simplify]: iteration 406: 1973 enodes 70.834 * * [simplify]: iteration 407: 1980 enodes 71.383 * * [simplify]: iteration 408: 1982 enodes 71.878 * * [simplify]: iteration 409: 1989 enodes 71.945 * * [simplify]: iteration 410: 1990 enodes 72.582 * * [simplify]: iteration 411: 1997 enodes 72.705 * * [simplify]: iteration 412: 2004 enodes 73.252 * * [simplify]: iteration 413: 2006 enodes 73.841 * * [simplify]: iteration 414: 2013 enodes 73.953 * * [simplify]: iteration 415: 2014 enodes 74.458 * * [simplify]: iteration 416: 2021 enodes 74.566 * * [simplify]: iteration 417: 2028 enodes 75.041 * * [simplify]: iteration 418: 2030 enodes 75.671 * * [simplify]: iteration 419: 2037 enodes 75.811 * * [simplify]: iteration 420: 2038 enodes 76.331 * * [simplify]: iteration 421: 2045 enodes 76.448 * * [simplify]: iteration 422: 2052 enodes 77.032 * * [simplify]: iteration 423: 2054 enodes 77.566 * * [simplify]: iteration 424: 2061 enodes 77.699 * * [simplify]: iteration 425: 2062 enodes 78.288 * * [simplify]: iteration 426: 2069 enodes 78.424 * * [simplify]: iteration 427: 2076 enodes 78.931 * * [simplify]: iteration 428: 2078 enodes 79.565 * * [simplify]: iteration 429: 2085 enodes 79.681 * * [simplify]: iteration 430: 2086 enodes 80.330 * * [simplify]: iteration 431: 2093 enodes 80.436 * * [simplify]: iteration 432: 2100 enodes 81.051 * * [simplify]: iteration 433: 2102 enodes 81.638 * * [simplify]: iteration 434: 2109 enodes 81.720 * * [simplify]: iteration 435: 2110 enodes 82.426 * * [simplify]: iteration 436: 2117 enodes 82.528 * * [simplify]: iteration 437: 2124 enodes 83.107 * * [simplify]: iteration 438: 2126 enodes 83.794 * * [simplify]: iteration 439: 2133 enodes 83.916 * * [simplify]: iteration 440: 2134 enodes 84.654 * * [simplify]: iteration 441: 2141 enodes 84.773 * * [simplify]: iteration 442: 2148 enodes 85.377 * * [simplify]: iteration 443: 2150 enodes 85.957 * * [simplify]: iteration 444: 2157 enodes 86.073 * * [simplify]: iteration 445: 2158 enodes 86.791 * * [simplify]: iteration 446: 2165 enodes 86.955 * * [simplify]: iteration 447: 2172 enodes 87.669 * * [simplify]: iteration 448: 2174 enodes 88.396 * * [simplify]: iteration 449: 2181 enodes 88.540 * * [simplify]: iteration 450: 2182 enodes 89.260 * * [simplify]: iteration 451: 2189 enodes 89.383 * * [simplify]: iteration 452: 2196 enodes 90.171 * * [simplify]: iteration 453: 2198 enodes 91.022 * * [simplify]: iteration 454: 2205 enodes 91.144 * * [simplify]: iteration 455: 2206 enodes 91.745 * * [simplify]: iteration 456: 2213 enodes 91.849 * * [simplify]: iteration 457: 2220 enodes 92.492 * * [simplify]: iteration 458: 2222 enodes 93.186 * * [simplify]: iteration 459: 2229 enodes 93.284 * * [simplify]: iteration 460: 2230 enodes 94.085 * * [simplify]: iteration 461: 2237 enodes 94.237 * * [simplify]: iteration 462: 2244 enodes 95.103 * * [simplify]: iteration 463: 2246 enodes 96.009 * * [simplify]: iteration 464: 2253 enodes 96.132 * * [simplify]: iteration 465: 2254 enodes 96.944 * * [simplify]: iteration 466: 2261 enodes 97.067 * * [simplify]: iteration 467: 2268 enodes 97.884 * * [simplify]: iteration 468: 2270 enodes 98.785 * * [simplify]: iteration 469: 2277 enodes 98.956 * * [simplify]: iteration 470: 2278 enodes 99.768 * * [simplify]: iteration 471: 2285 enodes 99.870 * * [simplify]: iteration 472: 2292 enodes 100.581 * * [simplify]: iteration 473: 2294 enodes 101.371 * * [simplify]: iteration 474: 2301 enodes 101.488 * * [simplify]: iteration 475: 2302 enodes 102.384 * * [simplify]: iteration 476: 2309 enodes 102.511 * * [simplify]: iteration 477: 2316 enodes 103.409 * * [simplify]: iteration 478: 2318 enodes 104.162 * * [simplify]: iteration 479: 2325 enodes 104.257 * * [simplify]: iteration 480: 2326 enodes 105.575 * * [simplify]: iteration 481: 2333 enodes 105.744 * * [simplify]: iteration 482: 2340 enodes 106.649 * * [simplify]: iteration 483: 2342 enodes 107.482 * * [simplify]: iteration 484: 2349 enodes 107.580 * * [simplify]: iteration 485: 2350 enodes 108.358 * * [simplify]: iteration 486: 2357 enodes 108.528 * * [simplify]: iteration 487: 2364 enodes 109.241 * * [simplify]: iteration 488: 2366 enodes 109.971 * * [simplify]: iteration 489: 2373 enodes 110.075 * * [simplify]: iteration 490: 2374 enodes 110.905 * * [simplify]: iteration 491: 2381 enodes 111.079 * * [simplify]: iteration 492: 2388 enodes 111.915 * * [simplify]: iteration 493: 2390 enodes 112.767 * * [simplify]: iteration 494: 2397 enodes 112.855 * * [simplify]: iteration 495: 2398 enodes 113.653 * * [simplify]: iteration 496: 2405 enodes 113.755 * * [simplify]: iteration 497: 2412 enodes 114.483 * * [simplify]: iteration 498: 2414 enodes 115.333 * * [simplify]: iteration 499: 2421 enodes 115.440 * * [simplify]: iteration 500: 2422 enodes 116.186 * * [simplify]: iteration 501: 2429 enodes 116.310 * * [simplify]: iteration 502: 2436 enodes 117.223 * * [simplify]: iteration 503: 2438 enodes 118.045 * * [simplify]: iteration 504: 2445 enodes 118.175 * * [simplify]: iteration 505: 2446 enodes 119.023 * * [simplify]: iteration 506: 2453 enodes 119.192 * * [simplify]: iteration 507: 2460 enodes 120.079 * * [simplify]: iteration 508: 2462 enodes 121.165 * * [simplify]: iteration 509: 2469 enodes 121.333 * * [simplify]: iteration 510: 2470 enodes 122.297 * * [simplify]: iteration 511: 2477 enodes 122.472 * * [simplify]: iteration 512: 2484 enodes 123.539 * * [simplify]: iteration 513: 2486 enodes 124.504 * * [simplify]: iteration 514: 2493 enodes 124.679 * * [simplify]: iteration 515: 2494 enodes 125.629 * * [simplify]: iteration 516: 2501 enodes 125.758 * * [simplify]: iteration 517: 2508 enodes 126.680 * * [simplify]: iteration 518: 2510 enodes 127.558 * * [simplify]: iteration 519: 2517 enodes 127.702 * * [simplify]: iteration 520: 2518 enodes 128.612 * * [simplify]: iteration 521: 2525 enodes 128.727 * * [simplify]: iteration 522: 2532 enodes 129.620 * * [simplify]: iteration 523: 2534 enodes 130.445 * * [simplify]: iteration 524: 2541 enodes 130.560 * * [simplify]: iteration 525: 2542 enodes 131.318 * * [simplify]: iteration 526: 2549 enodes 131.448 * * [simplify]: iteration 527: 2556 enodes 132.492 * * [simplify]: iteration 528: 2558 enodes 133.438 * * [simplify]: iteration 529: 2565 enodes 133.580 * * [simplify]: iteration 530: 2566 enodes 134.437 * * [simplify]: iteration 531: 2573 enodes 134.594 * * [simplify]: iteration 532: 2580 enodes 135.437 * * [simplify]: iteration 533: 2582 enodes 136.274 * * [simplify]: iteration 534: 2589 enodes 136.386 * * [simplify]: iteration 535: 2590 enodes 137.317 * * [simplify]: iteration 536: 2597 enodes 137.454 * * [simplify]: iteration 537: 2604 enodes 138.421 * * [simplify]: iteration 538: 2606 enodes 139.317 * * [simplify]: iteration 539: 2613 enodes 139.477 * * [simplify]: iteration 540: 2614 enodes 140.488 * * [simplify]: iteration 541: 2621 enodes 140.636 * * [simplify]: iteration 542: 2628 enodes 141.691 * * [simplify]: iteration 543: 2630 enodes 142.729 * * [simplify]: iteration 544: 2637 enodes 142.827 * * [simplify]: iteration 545: 2638 enodes 143.910 * * [simplify]: iteration 546: 2645 enodes 144.076 * * [simplify]: iteration 547: 2652 enodes 145.018 * * [simplify]: iteration 548: 2654 enodes 145.975 * * [simplify]: iteration 549: 2661 enodes 146.077 * * [simplify]: iteration 550: 2662 enodes 147.087 * * [simplify]: iteration 551: 2669 enodes 147.225 * * [simplify]: iteration 552: 2676 enodes 148.322 * * [simplify]: iteration 553: 2678 enodes 149.333 * * [simplify]: iteration 554: 2685 enodes 149.492 * * [simplify]: iteration 555: 2686 enodes 150.460 * * [simplify]: iteration 556: 2693 enodes 150.606 * * [simplify]: iteration 557: 2700 enodes 151.645 * * [simplify]: iteration 558: 2702 enodes 152.634 * * [simplify]: iteration 559: 2709 enodes 152.751 * * [simplify]: iteration 560: 2710 enodes 153.993 * * [simplify]: iteration 561: 2717 enodes 154.124 * * [simplify]: iteration 562: 2724 enodes 155.183 * * [simplify]: iteration 563: 2726 enodes 156.244 * * [simplify]: iteration 564: 2733 enodes 156.383 * * [simplify]: iteration 565: 2734 enodes 157.428 * * [simplify]: iteration 566: 2741 enodes 157.602 * * [simplify]: iteration 567: 2748 enodes 158.624 * * [simplify]: iteration 568: 2750 enodes 159.841 * * [simplify]: iteration 569: 2757 enodes 159.972 * * [simplify]: iteration 570: 2758 enodes 161.439 * * [simplify]: iteration 571: 2765 enodes 161.602 * * [simplify]: iteration 572: 2772 enodes 162.635 * * [simplify]: iteration 573: 2774 enodes 163.757 * * [simplify]: iteration 574: 2781 enodes 163.904 * * [simplify]: iteration 575: 2782 enodes 164.784 * * [simplify]: iteration 576: 2789 enodes 164.947 * * [simplify]: iteration 577: 2796 enodes 165.945 * * [simplify]: iteration 578: 2798 enodes 167.025 * * [simplify]: iteration 579: 2805 enodes 167.121 * * [simplify]: iteration 580: 2806 enodes 168.114 * * [simplify]: iteration 581: 2813 enodes 168.238 * * [simplify]: iteration 582: 2820 enodes 169.287 * * [simplify]: iteration 583: 2822 enodes 170.232 * * [simplify]: iteration 584: 2829 enodes 170.378 * * [simplify]: iteration 585: 2830 enodes 171.384 * * [simplify]: iteration 586: 2837 enodes 171.523 * * [simplify]: iteration 587: 2844 enodes 172.590 * * [simplify]: iteration 588: 2846 enodes 173.735 * * [simplify]: iteration 589: 2853 enodes 173.835 * * [simplify]: iteration 590: 2854 enodes 174.993 * * [simplify]: iteration 591: 2861 enodes 175.133 * * [simplify]: iteration 592: 2868 enodes 176.309 * * [simplify]: iteration 593: 2870 enodes 177.445 * * [simplify]: iteration 594: 2877 enodes 177.570 * * [simplify]: iteration 595: 2878 enodes 178.487 * * [simplify]: iteration 596: 2885 enodes 178.665 * * [simplify]: iteration 597: 2892 enodes 179.802 * * [simplify]: iteration 598: 2894 enodes 180.854 * * [simplify]: iteration 599: 2901 enodes 181.003 * * [simplify]: iteration 600: 2902 enodes 182.130 * * [simplify]: iteration 601: 2909 enodes 182.292 * * [simplify]: iteration 602: 2916 enodes 183.392 * * [simplify]: iteration 603: 2918 enodes 184.560 * * [simplify]: iteration 604: 2925 enodes 184.687 * * [simplify]: iteration 605: 2926 enodes 185.709 * * [simplify]: iteration 606: 2933 enodes 185.871 * * [simplify]: iteration 607: 2940 enodes 187.028 * * [simplify]: iteration 608: 2942 enodes 188.228 * * [simplify]: iteration 609: 2949 enodes 188.329 * * [simplify]: iteration 610: 2950 enodes 189.462 * * [simplify]: iteration 611: 2957 enodes 189.611 * * [simplify]: iteration 612: 2964 enodes 190.744 * * [simplify]: iteration 613: 2966 enodes 191.837 * * [simplify]: iteration 614: 2973 enodes 192.002 * * [simplify]: iteration 615: 2974 enodes 193.168 * * [simplify]: iteration 616: 2981 enodes 193.302 * * [simplify]: iteration 617: 2988 enodes 194.545 * * [simplify]: iteration 618: 2990 enodes 195.760 * * [simplify]: iteration 619: 2997 enodes 195.870 * * [simplify]: iteration 620: 2998 enodes 197.113 * * [simplify]: iteration 621: 3005 enodes 197.323 * * [simplify]: iteration 622: 3012 enodes 198.452 * * [simplify]: iteration 623: 3014 enodes 199.678 * * [simplify]: iteration 624: 3021 enodes 199.824 * * [simplify]: iteration 625: 3022 enodes 200.945 * * [simplify]: iteration 626: 3029 enodes 201.137 * * [simplify]: iteration 627: 3036 enodes 202.287 * * [simplify]: iteration 628: 3038 enodes 203.334 * * [simplify]: iteration 629: 3045 enodes 203.544 * * [simplify]: iteration 630: 3046 enodes 204.801 * * [simplify]: iteration 631: 3053 enodes 204.998 * * [simplify]: iteration 632: 3060 enodes 206.262 * * [simplify]: iteration 633: 3062 enodes 207.823 * * [simplify]: iteration 634: 3069 enodes 207.956 * * [simplify]: iteration 635: 3070 enodes 209.177 * * [simplify]: iteration 636: 3077 enodes 209.353 * * [simplify]: iteration 637: 3084 enodes 210.610 * * [simplify]: iteration 638: 3086 enodes 211.887 * * [simplify]: iteration 639: 3093 enodes 212.067 * * [simplify]: iteration 640: 3094 enodes 213.301 * * [simplify]: iteration 641: 3101 enodes 213.436 * * [simplify]: iteration 642: 3108 enodes 214.967 * * [simplify]: iteration 643: 3110 enodes 216.048 * * [simplify]: iteration 644: 3117 enodes 216.188 * * [simplify]: iteration 645: 3118 enodes 217.359 * * [simplify]: iteration 646: 3125 enodes 217.509 * * [simplify]: iteration 647: 3132 enodes 218.889 * * [simplify]: iteration 648: 3134 enodes 220.246 * * [simplify]: iteration 649: 3141 enodes 220.419 * * [simplify]: iteration 650: 3142 enodes 221.568 * * [simplify]: iteration 651: 3149 enodes 221.730 * * [simplify]: iteration 652: 3156 enodes 223.013 * * [simplify]: iteration 653: 3158 enodes 224.545 * * [simplify]: iteration 654: 3165 enodes 224.699 * * [simplify]: iteration 655: 3166 enodes 226.078 * * [simplify]: iteration 656: 3173 enodes 226.268 * * [simplify]: iteration 657: 3180 enodes 227.517 * * [simplify]: iteration 658: 3182 enodes 228.735 * * [simplify]: iteration 659: 3189 enodes 228.918 * * [simplify]: iteration 660: 3190 enodes 230.157 * * [simplify]: iteration 661: 3197 enodes 230.361 * * [simplify]: iteration 662: 3204 enodes 231.807 * * [simplify]: iteration 663: 3206 enodes 233.003 * * [simplify]: iteration 664: 3213 enodes 233.211 * * [simplify]: iteration 665: 3214 enodes 234.486 * * [simplify]: iteration 666: 3221 enodes 234.672 * * [simplify]: iteration 667: 3228 enodes 236.023 * * [simplify]: iteration 668: 3230 enodes 237.265 * * [simplify]: iteration 669: 3237 enodes 237.434 * * [simplify]: iteration 670: 3238 enodes 238.770 * * [simplify]: iteration 671: 3245 enodes 238.925 * * [simplify]: iteration 672: 3252 enodes 240.280 * * [simplify]: iteration 673: 3254 enodes 241.621 * * [simplify]: iteration 674: 3261 enodes 241.749 * * [simplify]: iteration 675: 3262 enodes 242.891 * * [simplify]: iteration 676: 3269 enodes 243.094 * * [simplify]: iteration 677: 3276 enodes 244.397 * * [simplify]: iteration 678: 3278 enodes 245.731 * * [simplify]: iteration 679: 3285 enodes 245.918 * * [simplify]: iteration 680: 3286 enodes 247.303 * * [simplify]: iteration 681: 3293 enodes 247.465 * * [simplify]: iteration 682: 3300 enodes 248.934 * * [simplify]: iteration 683: 3302 enodes 250.855 * * [simplify]: iteration 684: 3309 enodes 251.022 * * [simplify]: iteration 685: 3310 enodes 252.398 * * [simplify]: iteration 686: 3317 enodes 252.592 * * [simplify]: iteration 687: 3324 enodes 254.121 * * [simplify]: iteration 688: 3326 enodes 255.488 * * [simplify]: iteration 689: 3333 enodes 255.704 * * [simplify]: iteration 690: 3334 enodes 257.213 * * [simplify]: iteration 691: 3341 enodes 257.371 * * [simplify]: iteration 692: 3348 enodes 258.836 * * [simplify]: iteration 693: 3350 enodes 260.134 * * [simplify]: iteration 694: 3357 enodes 260.266 * * [simplify]: iteration 695: 3358 enodes 261.768 * * [simplify]: iteration 696: 3365 enodes 261.999 * * [simplify]: iteration 697: 3372 enodes 263.503 * * [simplify]: iteration 698: 3374 enodes 264.825 * * [simplify]: iteration 699: 3381 enodes 264.989 * * [simplify]: iteration 700: 3382 enodes 266.377 * * [simplify]: iteration 701: 3389 enodes 266.581 * * [simplify]: iteration 702: 3396 enodes 268.173 * * [simplify]: iteration 703: 3398 enodes 269.477 * * [simplify]: iteration 704: 3405 enodes 269.608 * * [simplify]: iteration 705: 3406 enodes 270.987 * * [simplify]: iteration 706: 3413 enodes 271.181 * * [simplify]: iteration 707: 3420 enodes 272.724 * * [simplify]: iteration 708: 3422 enodes 274.205 * * [simplify]: iteration 709: 3429 enodes 274.400 * * [simplify]: iteration 710: 3430 enodes 275.911 * * [simplify]: iteration 711: 3437 enodes 276.122 * * [simplify]: iteration 712: 3444 enodes 277.549 * * [simplify]: iteration 713: 3446 enodes 279.169 * * [simplify]: iteration 714: 3453 enodes 279.372 * * [simplify]: iteration 715: 3454 enodes 280.916 * * [simplify]: iteration 716: 3461 enodes 281.110 * * [simplify]: iteration 717: 3468 enodes 282.507 * * [simplify]: iteration 718: 3470 enodes 284.094 * * [simplify]: iteration 719: 3477 enodes 284.245 * * [simplify]: iteration 720: 3478 enodes 286.025 * * [simplify]: iteration 721: 3485 enodes 286.202 * * [simplify]: iteration 722: 3492 enodes 287.615 * * [simplify]: iteration 723: 3494 enodes 289.142 * * [simplify]: iteration 724: 3501 enodes 289.338 * * [simplify]: iteration 725: 3502 enodes 290.965 * * [simplify]: iteration 726: 3509 enodes 291.185 * * [simplify]: iteration 727: 3516 enodes 293.290 * * [simplify]: iteration 728: 3518 enodes 294.883 * * [simplify]: iteration 729: 3525 enodes 295.093 * * [simplify]: iteration 730: 3526 enodes 296.672 * * [simplify]: iteration 731: 3533 enodes 296.819 * * [simplify]: iteration 732: 3540 enodes 298.354 * * [simplify]: iteration 733: 3542 enodes 299.665 * * [simplify]: iteration 734: 3549 enodes 299.848 * * [simplify]: iteration 735: 3550 enodes 301.051 * * [simplify]: iteration 736: 3557 enodes 301.223 * * [simplify]: iteration 737: 3564 enodes 302.826 * * [simplify]: iteration 738: 3566 enodes 304.499 * * [simplify]: iteration 739: 3573 enodes 304.706 * * [simplify]: iteration 740: 3574 enodes 306.139 * * [simplify]: iteration 741: 3581 enodes 306.381 * * [simplify]: iteration 742: 3588 enodes 308.099 * * [simplify]: iteration 743: 3590 enodes 309.602 * * [simplify]: iteration 744: 3597 enodes 309.720 * * [simplify]: iteration 745: 3598 enodes 311.158 * * [simplify]: iteration 746: 3605 enodes 311.285 * * [simplify]: iteration 747: 3612 enodes 312.644 * * [simplify]: iteration 748: 3614 enodes 314.186 * * [simplify]: iteration 749: 3621 enodes 314.333 * * [simplify]: iteration 750: 3622 enodes 315.926 * * [simplify]: iteration 751: 3629 enodes 316.109 * * [simplify]: iteration 752: 3636 enodes 317.624 * * [simplify]: iteration 753: 3638 enodes 319.035 * * [simplify]: iteration 754: 3645 enodes 319.246 * * [simplify]: iteration 755: 3646 enodes 320.785 * * [simplify]: iteration 756: 3653 enodes 321.052 * * [simplify]: iteration 757: 3660 enodes 322.657 * * [simplify]: iteration 758: 3662 enodes 324.311 * * [simplify]: iteration 759: 3669 enodes 324.468 * * [simplify]: iteration 760: 3670 enodes 326.114 * * [simplify]: iteration 761: 3677 enodes 326.322 * * [simplify]: iteration 762: 3684 enodes 328.265 * * [simplify]: iteration 763: 3686 enodes 329.908 * * [simplify]: iteration 764: 3693 enodes 330.111 * * [simplify]: iteration 765: 3694 enodes 332.236 * * [simplify]: iteration 766: 3701 enodes 332.486 * * [simplify]: iteration 767: 3708 enodes 334.243 * * [simplify]: iteration 768: 3710 enodes 335.665 * * [simplify]: iteration 769: 3717 enodes 335.864 * * [simplify]: iteration 770: 3718 enodes 337.645 * * [simplify]: iteration 771: 3725 enodes 337.887 * * [simplify]: iteration 772: 3732 enodes 339.276 * * [simplify]: iteration 773: 3734 enodes 340.872 * * [simplify]: iteration 774: 3741 enodes 341.084 * * [simplify]: iteration 775: 3742 enodes 342.800 * * [simplify]: iteration 776: 3749 enodes 343.021 * * [simplify]: iteration 777: 3756 enodes 344.697 * * [simplify]: iteration 778: 3758 enodes 346.549 * * [simplify]: iteration 779: 3765 enodes 346.783 * * [simplify]: iteration 780: 3766 enodes 348.591 * * [simplify]: iteration 781: 3773 enodes 348.779 * * [simplify]: iteration 782: 3780 enodes 350.491 * * [simplify]: iteration 783: 3782 enodes 352.247 * * [simplify]: iteration 784: 3789 enodes 352.376 * * [simplify]: iteration 785: 3790 enodes 354.227 * * [simplify]: iteration 786: 3797 enodes 354.503 * * [simplify]: iteration 787: 3804 enodes 356.395 * * [simplify]: iteration 788: 3806 enodes 358.115 * * [simplify]: iteration 789: 3813 enodes 358.283 * * [simplify]: iteration 790: 3814 enodes 360.168 * * [simplify]: iteration 791: 3821 enodes 360.374 * * [simplify]: iteration 792: 3828 enodes 362.150 * * [simplify]: iteration 793: 3830 enodes 364.061 * * [simplify]: iteration 794: 3837 enodes 364.250 * * [simplify]: iteration 795: 3838 enodes 366.199 * * [simplify]: iteration 796: 3845 enodes 366.371 * * [simplify]: iteration 797: 3852 enodes 368.056 * * [simplify]: iteration 798: 3854 enodes 370.459 * * [simplify]: iteration 799: 3861 enodes 370.656 * * [simplify]: iteration 800: 3862 enodes 372.483 * * [simplify]: iteration 801: 3869 enodes 372.689 * * [simplify]: iteration 802: 3876 enodes 374.730 * * [simplify]: iteration 803: 3878 enodes 376.725 * * [simplify]: iteration 804: 3885 enodes 376.927 * * [simplify]: iteration 805: 3886 enodes 378.783 * * [simplify]: iteration 806: 3893 enodes 379.009 * * [simplify]: iteration 807: 3900 enodes 380.974 * * [simplify]: iteration 808: 3902 enodes 382.894 * * [simplify]: iteration 809: 3909 enodes 383.158 * * [simplify]: iteration 810: 3910 enodes 385.137 * * [simplify]: iteration 811: 3917 enodes 385.329 * * [simplify]: iteration 812: 3924 enodes 387.399 * * [simplify]: iteration 813: 3926 enodes 389.493 * * [simplify]: iteration 814: 3933 enodes 389.684 * * [simplify]: iteration 815: 3934 enodes 391.481 * * [simplify]: iteration 816: 3941 enodes 391.653 * * [simplify]: iteration 817: 3948 enodes 393.328 * * [simplify]: iteration 818: 3950 enodes 395.357 * * [simplify]: iteration 819: 3957 enodes 395.538 * * [simplify]: iteration 820: 3958 enodes 397.271 * * [simplify]: iteration 821: 3965 enodes 397.429 * * [simplify]: iteration 822: 3972 enodes 399.137 * * [simplify]: iteration 823: 3974 enodes 400.645 * * [simplify]: iteration 824: 3981 enodes 400.780 * * [simplify]: iteration 825: 3982 enodes 402.155 * * [simplify]: iteration 826: 3989 enodes 402.302 * * [simplify]: iteration 827: 3996 enodes 403.681 * * [simplify]: iteration 828: 3998 enodes 405.093 * * [simplify]: iteration 829: 4005 enodes 405.545 * * [simplify]: iteration 830: 4006 enodes 406.916 * * [simplify]: iteration 831: 4013 enodes 407.061 * * [simplify]: iteration 832: 4020 enodes 408.432 * * [simplify]: iteration 833: 4022 enodes 409.806 * * [simplify]: iteration 834: 4029 enodes 409.943 * * [simplify]: iteration 835: 4030 enodes 411.276 * * [simplify]: iteration 836: 4037 enodes 411.416 * * [simplify]: iteration 837: 4044 enodes 412.742 * * [simplify]: iteration 838: 4046 enodes 414.079 * * [simplify]: iteration 839: 4053 enodes 414.215 * * [simplify]: iteration 840: 4054 enodes 415.550 * * [simplify]: iteration 841: 4061 enodes 415.693 * * [simplify]: iteration 842: 4068 enodes 417.040 * * [simplify]: iteration 843: 4070 enodes 418.394 * * [simplify]: iteration 844: 4077 enodes 418.530 * * [simplify]: iteration 845: 4078 enodes 419.895 * * [simplify]: iteration 846: 4085 enodes 420.038 * * [simplify]: iteration 847: 4092 enodes 421.413 * * [simplify]: iteration 848: 4094 enodes 422.797 * * [simplify]: iteration 849: 4101 enodes 422.930 * * [simplify]: iteration 850: 4102 enodes 424.342 * * [simplify]: iteration 851: 4109 enodes 424.485 * * [simplify]: iteration 852: 4116 enodes 425.894 * * [simplify]: iteration 853: 4118 enodes 427.289 * * [simplify]: iteration 854: 4125 enodes 427.422 * * [simplify]: iteration 855: 4126 enodes 428.824 * * [simplify]: iteration 856: 4133 enodes 428.968 * * [simplify]: iteration 857: 4140 enodes 430.657 * * [simplify]: iteration 858: 4142 enodes 432.067 * * [simplify]: iteration 859: 4149 enodes 432.200 * * [simplify]: iteration 860: 4150 enodes 433.614 * * [simplify]: iteration 861: 4157 enodes 433.759 * * [simplify]: iteration 862: 4164 enodes 435.183 * * [simplify]: iteration 863: 4166 enodes 436.617 * * [simplify]: iteration 864: 4173 enodes 436.750 * * [simplify]: iteration 865: 4174 enodes 438.174 * * [simplify]: iteration 866: 4181 enodes 438.322 * * [simplify]: iteration 867: 4188 enodes 439.758 * * [simplify]: iteration 868: 4190 enodes 441.203 * * [simplify]: iteration 869: 4197 enodes 441.341 * * [simplify]: iteration 870: 4198 enodes 442.794 * * [simplify]: iteration 871: 4205 enodes 442.941 * * [simplify]: iteration 872: 4212 enodes 444.397 * * [simplify]: iteration 873: 4214 enodes 445.873 * * [simplify]: iteration 874: 4221 enodes 446.013 * * [simplify]: iteration 875: 4222 enodes 447.481 * * [simplify]: iteration 876: 4229 enodes 447.630 * * [simplify]: iteration 877: 4236 enodes 449.137 * * [simplify]: iteration 878: 4238 enodes 450.632 * * [simplify]: iteration 879: 4245 enodes 450.771 * * [simplify]: iteration 880: 4246 enodes 452.259 * * [simplify]: iteration 881: 4253 enodes 452.413 * * [simplify]: iteration 882: 4260 enodes 454.231 * * [simplify]: iteration 883: 4262 enodes 455.701 * * [simplify]: iteration 884: 4269 enodes 455.842 * * [simplify]: iteration 885: 4270 enodes 457.319 * * [simplify]: iteration 886: 4277 enodes 457.468 * * [simplify]: iteration 887: 4284 enodes 458.952 * * [simplify]: iteration 888: 4286 enodes 460.455 * * [simplify]: iteration 889: 4293 enodes 460.600 * * [simplify]: iteration 890: 4294 enodes 462.123 * * [simplify]: iteration 891: 4301 enodes 462.278 * * [simplify]: iteration 892: 4308 enodes 463.803 * * [simplify]: iteration 893: 4310 enodes 463.941 * * [simplify]: iteration 894: 4317 enodes 465.448 * * [simplify]: iteration 895: 4319 enodes 465.591 * * [simplify]: iteration 896: 4326 enodes 467.130 * * [simplify]: iteration 897: 4328 enodes 468.689 * * [simplify]: iteration 898: 4335 enodes 468.836 * * [simplify]: iteration 899: 4336 enodes 470.375 * * [simplify]: iteration 900: 4343 enodes 470.526 * * [simplify]: iteration 901: 4350 enodes 472.069 * * [simplify]: iteration 902: 4352 enodes 472.210 * * [simplify]: iteration 903: 4359 enodes 473.791 * * [simplify]: iteration 904: 4361 enodes 473.935 * * [simplify]: iteration 905: 4368 enodes 475.522 * * [simplify]: iteration 906: 4370 enodes 475.670 * * [simplify]: iteration 907: 4377 enodes 477.270 * * [simplify]: iteration 908: 4379 enodes 477.701 * * [simplify]: iteration 909: 4386 enodes 479.412 * * [simplify]: iteration 910: 4388 enodes 481.195 * * [simplify]: iteration 911: 4395 enodes 481.346 * * [simplify]: iteration 912: 4396 enodes 483.151 * * [simplify]: iteration 913: 4403 enodes 483.313 * * [simplify]: iteration 914: 4410 enodes 485.136 * * [simplify]: iteration 915: 4412 enodes 485.284 * * [simplify]: iteration 916: 4419 enodes 487.120 * * [simplify]: iteration 917: 4421 enodes 488.950 * * [simplify]: iteration 918: 4428 enodes 489.100 * * [simplify]: iteration 919: 4429 enodes 490.909 * * [simplify]: iteration 920: 4436 enodes 491.067 * * [simplify]: iteration 921: 4443 enodes 492.898 * * [simplify]: iteration 922: 4445 enodes 493.054 * * [simplify]: iteration 923: 4452 enodes 494.899 * * [simplify]: iteration 924: 4454 enodes 496.762 * * [simplify]: iteration 925: 4461 enodes 496.913 * * [simplify]: iteration 926: 4462 enodes 498.785 * * [simplify]: iteration 927: 4469 enodes 498.948 * * [simplify]: iteration 928: 4476 enodes 500.824 * * [simplify]: iteration 929: 4478 enodes 500.977 * * [simplify]: iteration 930: 4485 enodes 503.163 * * [simplify]: iteration 931: 4487 enodes 503.314 * * [simplify]: iteration 932: 4494 enodes 505.199 * * [simplify]: iteration 933: 4496 enodes 507.107 * * [simplify]: iteration 934: 4503 enodes 507.258 * * [simplify]: iteration 935: 4504 enodes 509.191 * * [simplify]: iteration 936: 4511 enodes 509.361 * * [simplify]: iteration 937: 4518 enodes 511.324 * * [simplify]: iteration 938: 4520 enodes 513.284 * * [simplify]: iteration 939: 4527 enodes 513.438 * * [simplify]: iteration 940: 4528 enodes 515.408 * * [simplify]: iteration 941: 4535 enodes 515.577 * * [simplify]: iteration 942: 4542 enodes 517.569 * * [simplify]: iteration 943: 4544 enodes 517.728 * * [simplify]: iteration 944: 4551 enodes 519.719 * * [simplify]: iteration 945: 4553 enodes 519.878 * * [simplify]: iteration 946: 4560 enodes 521.879 * * [simplify]: iteration 947: 4562 enodes 523.848 * * [simplify]: iteration 948: 4569 enodes 524.002 * * [simplify]: iteration 949: 4570 enodes 526.278 * * [simplify]: iteration 950: 4577 enodes 526.444 * * [simplify]: iteration 951: 4584 enodes 528.437 * * [simplify]: iteration 952: 4586 enodes 530.392 * * [simplify]: iteration 953: 4593 enodes 530.555 * * [simplify]: iteration 954: 4594 enodes 532.541 * * [simplify]: iteration 955: 4601 enodes 532.708 * * [simplify]: iteration 956: 4608 enodes 534.698 * * [simplify]: iteration 957: 4610 enodes 536.682 * * [simplify]: iteration 958: 4617 enodes 536.855 * * [simplify]: iteration 959: 4618 enodes 538.883 * * [simplify]: iteration 960: 4625 enodes 539.068 * * [simplify]: iteration 961: 4632 enodes 541.104 * * [simplify]: iteration 962: 4634 enodes 541.272 * * [simplify]: iteration 963: 4641 enodes 543.311 * * [simplify]: iteration 964: 4643 enodes 543.484 * * [simplify]: iteration 965: 4650 enodes 545.513 * * [simplify]: iteration 966: 4652 enodes 545.681 * * [simplify]: iteration 967: 4659 enodes 547.723 * * [simplify]: iteration 968: 4661 enodes 547.895 * * [simplify]: iteration 969: 4668 enodes 550.142 * * [simplify]: iteration 970: 4670 enodes 550.306 * * [simplify]: iteration 971: 4677 enodes 552.220 * * [simplify]: iteration 972: 4679 enodes 552.383 * * [simplify]: iteration 973: 4686 enodes 554.336 * * [simplify]: iteration 974: 4688 enodes 554.499 * * [simplify]: iteration 975: 4695 enodes 556.446 * * [simplify]: iteration 976: 4697 enodes 556.608 * * [simplify]: iteration 977: 4704 enodes 558.582 * * [simplify]: iteration 978: 4706 enodes 560.557 * * [simplify]: iteration 979: 4713 enodes 560.722 * * [simplify]: iteration 980: 4714 enodes 562.720 * * [simplify]: iteration 981: 4721 enodes 562.896 * * [simplify]: iteration 982: 4728 enodes 564.870 * * [simplify]: iteration 983: 4730 enodes 565.037 * * [simplify]: iteration 984: 4737 enodes 566.996 * * [simplify]: iteration 985: 4739 enodes 567.157 * * [simplify]: iteration 986: 4746 enodes 569.128 * * [simplify]: iteration 987: 4748 enodes 569.293 * * [simplify]: iteration 988: 4755 enodes 571.282 * * [simplify]: iteration 989: 4757 enodes 571.449 * * [simplify]: iteration 990: 4764 enodes 573.702 * * [simplify]: iteration 991: 4766 enodes 573.869 * * [simplify]: iteration 992: 4773 enodes 575.882 * * [simplify]: iteration 993: 4775 enodes 576.051 * * [simplify]: iteration 994: 4782 enodes 578.072 * * [simplify]: iteration 995: 4784 enodes 578.238 * * [simplify]: iteration 996: 4791 enodes 580.300 * * [simplify]: iteration 997: 4793 enodes 580.465 * * [simplify]: iteration 998: 4800 enodes 582.495 * * [simplify]: iteration 999: 4802 enodes 582.670 * * [simplify]: iteration 1000: 4809 enodes 584.715 * * [simplify]: iteration 1001: 4811 enodes 584.892 * * [simplify]: iteration 1002: 4818 enodes 586.941 * * [simplify]: iteration 1003: 4820 enodes 587.116 * * [simplify]: iteration 1004: 4827 enodes 589.173 * * [simplify]: iteration 1005: 4829 enodes 589.348 * * [simplify]: iteration 1006: 4836 enodes 591.428 * * [simplify]: iteration 1007: 4838 enodes 591.606 * * [simplify]: iteration 1008: 4845 enodes 593.694 * * [simplify]: iteration 1009: 4847 enodes 594.156 * * [simplify]: iteration 1010: 4854 enodes 596.225 * * [simplify]: iteration 1011: 4856 enodes 596.402 * * [simplify]: iteration 1012: 4863 enodes 598.501 * * [simplify]: iteration 1013: 4865 enodes 598.691 * * [simplify]: iteration 1014: 4872 enodes