* [misc]progress: [Phase 1 of 3] Setting up. * * * [misc]progress: [1/2] Preparing points * * * [misc]progress: [2/2] Setting up program. * [misc]progress: [Phase 2 of 3] Improving. * * [misc]progress: iteration 1 / 2 * * * [misc]progress: picking best candidate * * * [misc]progress: localizing error * * * [misc]progress: generating rewritten candidates * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1) * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2) * * * [misc]progress: generating series expansions * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1) * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 2 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 7 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 11 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 12 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 13 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 14 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 24 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 25 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 26 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 27 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 30 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 37 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 38 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 39 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 40 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 41 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 42 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 43 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 44 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 45 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 46 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 47 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 48 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 49 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 50 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 51 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 52 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 53 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 54 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 55 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 56 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 57 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 58 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 59 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 60 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 61 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 62 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 63 / 638 ] simplifiying candidate # * * * * [misc]progress: [ 64 / 638 ] simplifiying candidate #