Thu Oct 01 14:09 2009 Time and Allocation Profiling Report (Final) TestGen-Arith +RTS -p -RTS total time = 9.60 secs (480 ticks @ 20 ms) total alloc = 3,657,372,520 bytes (excludes profiling overheads) COST CENTRE MODULE %time %alloc match Common.GuardedRewriting 16.0 14.2 match'_a1Vb Common.GuardedRewriting 14.6 22.0 match'_a1W3 Common.GuardedRewriting 9.6 1.5 rewriteM Common.GuardedRewriting 7.7 12.7 +++ Common.GuardedRewriting 7.3 9.6 applyOne Common.Arith 6.7 0.4 exprGen Common.Arith 6.5 7.6 propGen Common.Arith 5.4 4.4 synthesise_a1GC Common.GuardedRewriting 3.8 4.3 rules Gen.Arith.Rules 2.1 0.0 subst'_a1SP Common.GuardedRewriting 2.1 2.2 from_aaRe Common.Arith 2.1 7.1 subst Common.GuardedRewriting 1.9 1.2 subst'_a1TI Common.GuardedRewriting 1.5 2.0 hasDivisionByZero Common.Arith 1.5 0.5 applyBin Common.Arith 1.3 0.4 update Common.GuardedRewriting 1.0 1.5 rewriteM' Common.GuardedRewriting 1.0 0.0 somewhereProp Common.Arith 1.0 0.0 from_aaPF Common.Arith 1.0 2.4 from_aaPU Common.Arith 0.0 1.2 individual inherited COST CENTRE MODULE no. entries %time %alloc %time %alloc MAIN MAIN 1 0 0.0 0.0 100.0 100.0 CAF Gen.Arith.Test 194 4 0.0 0.0 87.7 87.2 main Gen.Arith.Test 200 1 0.2 0.0 87.7 87.2 solve Common.Arith 205 10000 0.0 0.0 87.1 87.1 applyOne Common.Arith 206 937466 6.7 0.4 87.1 87.1 rewriteM' Common.GuardedRewriting 470 887544 0.2 0.0 12.1 11.9 rewriteM Common.GuardedRewriting 471 887544 0.8 1.5 11.9 11.9 subst Common.GuardedRewriting 588 153855 0.2 0.3 1.5 1.7 to_a22b Common.GuardedRewriting 690 511 0.0 0.0 0.0 0.0 subst'_a1TT Common.GuardedRewriting 674 5923 0.0 0.0 0.0 0.0 to_aaRi Common.Arith 671 16131 0.0 0.0 0.0 0.0 to_aaPJ Common.Arith 597 41239 0.0 0.0 0.0 0.0 to_aaPY Common.Arith 596 20450 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 592 183462 0.6 0.6 0.8 1.0 subst'_a1SP Common.GuardedRewriting 593 94691 0.2 0.4 0.2 0.4 subst'_a1Sh Common.GuardedRewriting 594 61723 0.0 0.0 0.0 0.0 total Common.GuardedRewriting 590 64656 0.0 0.1 0.0 0.1 !!! Common.GuardedRewriting 591 129312 0.0 0.0 0.0 0.0 subst'_a1SP Common.GuardedRewriting 589 43104 0.4 0.2 0.4 0.2 subst'_a1Sh Common.GuardedRewriting 595 21552 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 581 0 0.4 0.5 0.6 0.6 coverPowerEven Gen.Arith.Rules 705 0 0.0 0.0 0.0 0.0 isEven Common.Arith 709 253 0.0 0.0 0.0 0.0 hasVaria Common.Arith 708 733 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 707 253 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 706 253 0.0 0.0 0.0 0.0 timesZeroLeft Gen.Arith.Rules 702 0 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 703 214 0.0 0.0 0.0 0.0 isEven Common.Arith 628 12329 0.2 0.0 0.2 0.0 noVaria Common.Arith 586 0 0.0 0.0 0.0 0.0 hasVaria Common.Arith 587 10133 0.0 0.0 0.0 0.0 hasVaria Common.Arith 585 92553 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 584 32522 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 583 32522 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 582 0 0.0 0.0 0.0 0.0 test_a1RR Common.GuardedRewriting 579 98573 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 710 0 0.0 0.0 0.0 0.0 noVaria Common.Arith 735 0 0.0 0.0 0.0 0.0 hasVaria Common.Arith 736 3 0.0 0.0 0.0 0.0 isEven Common.Arith 715 5 0.0 0.0 0.0 0.0 hasVaria Common.Arith 714 40 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 713 11 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 712 11 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 711 0 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 580 33001 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 472 1561346 1.7 1.9 9.0 8.0 from_a226 Common.GuardedRewriting 649 2893 0.0 0.0 0.0 0.0 match'_a1Wp Common.GuardedRewriting 648 2893 0.0 0.0 0.0 0.0 singleton Common.GuardedRewriting 571 98575 0.0 0.1 0.0 0.2 update Common.GuardedRewriting 574 196935 0.0 0.2 0.0 0.2 from_aaPF Common.Arith 488 671720 0.6 0.8 0.6 0.8 from_aaPU Common.Arith 486 348915 0.0 0.2 0.0 0.2 match'_a1Vb Common.GuardedRewriting 485 381702 1.5 1.7 2.1 2.2 +++ Common.GuardedRewriting 576 262296 0.4 0.5 0.4 0.5 match'_a1Ut Common.GuardedRewriting 575 32787 0.2 0.0 0.2 0.0 from_aaRe Common.Arith 474 439243 0.6 0.5 0.6 0.5 match'_a1W3 Common.GuardedRewriting 473 2323958 2.7 0.2 4.0 2.2 match'_a1Vb Common.GuardedRewriting 484 292100 1.3 1.4 1.3 2.0 +++ Common.GuardedRewriting 573 364286 0.0 0.6 0.0 0.6 match'_a1Ut Common.GuardedRewriting 572 58392 0.0 0.0 0.0 0.0 rules Gen.Arith.Rules 451 0 2.1 0.0 68.3 74.9 somewhereExpr Common.Arith 646 59162 0.4 0.0 0.4 0.0 applyD Common.Arith 704 130 0.0 0.0 0.0 0.0 applyBin Common.Arith 647 119524 0.0 0.0 0.0 0.0 liftToEq Common.Arith 645 29581 0.0 0.0 0.0 0.0 liftToProp Common.Arith 528 50673 0.8 0.3 1.0 0.6 applyBin Common.Arith 529 134848 0.2 0.3 0.2 0.3 rewriteM' Common.GuardedRewriting 475 6657356 0.8 0.0 62.7 74.1 rewriteM Common.GuardedRewriting 476 6657356 6.9 11.2 61.9 74.1 test_a1S6 Common.GuardedRewriting 655 2559 0.0 0.0 0.0 0.0 subst Common.GuardedRewriting 516 445099 1.7 0.9 4.4 4.3 to_a22b Common.GuardedRewriting 727 39 0.0 0.0 0.0 0.0 subst'_a1TT Common.GuardedRewriting 687 182 0.0 0.0 0.0 0.0 to_aaRi Common.Arith 657 12375 0.0 0.0 0.0 0.0 to_aaPJ Common.Arith 620 120612 0.2 0.0 0.2 0.0 to_aaPY Common.Arith 619 75530 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 617 448102 0.8 1.4 1.5 2.4 subst'_a1Sh Common.GuardedRewriting 656 12487 0.0 0.0 0.0 0.0 subst'_a1SP Common.GuardedRewriting 626 196190 0.6 0.9 0.6 0.9 subst'_a1Sh Common.GuardedRewriting 627 120661 0.0 0.0 0.0 0.0 subst'_a1SP Common.GuardedRewriting 616 151060 0.8 0.7 0.8 0.7 subst'_a1Sh Common.GuardedRewriting 618 75530 0.0 0.0 0.0 0.0 total Common.GuardedRewriting 517 236238 0.2 0.3 0.2 0.3 !!! Common.GuardedRewriting 518 462825 0.0 0.0 0.0 0.0 synthesise' Common.GuardedRewriting 508 0 0.0 0.0 2.7 2.9 synthesise_a1GC Common.GuardedRewriting 509 0 1.9 2.1 2.7 2.9 coverPowerOdd Gen.Arith.Rules 716 0 0.0 0.0 0.0 0.0 isOdd Common.Arith 720 83 0.0 0.0 0.0 0.0 hasVaria Common.Arith 719 284 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 718 83 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 717 83 0.0 0.0 0.0 0.0 coverDivRight Gen.Arith.Rules 698 0 0.0 0.0 0.0 0.0 hasVaria Common.Arith 701 977 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 700 299 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 699 299 0.0 0.0 0.0 0.0 coverDivLeft Gen.Arith.Rules 694 0 0.0 0.0 0.0 0.0 hasVaria Common.Arith 697 573 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 696 159 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 695 159 0.0 0.0 0.0 0.0 timesZeroRight Gen.Arith.Rules 692 0 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 693 181 0.0 0.0 0.0 0.0 orTrueLeft Gen.Arith.Rules 688 0 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 689 2734 0.0 0.0 0.0 0.0 orTrueRight Gen.Arith.Rules 681 0 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 682 2400 0.0 0.0 0.0 0.0 andTrueRight Gen.Arith.Rules 675 0 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 676 2422 0.0 0.0 0.0 0.0 orFalseRight Gen.Arith.Rules 662 0 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 663 2033 0.0 0.0 0.0 0.0 andFalseLeft Gen.Arith.Rules 660 0 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 661 2427 0.0 0.0 0.0 0.0 andFalseRight Gen.Arith.Rules 658 0 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 659 1990 0.0 0.0 0.0 0.0 noVaria Common.Arith 634 0 0.0 0.0 0.0 0.0 hasVaria Common.Arith 635 30571 0.0 0.0 0.0 0.0 isOdd Common.Arith 633 4813 0.0 0.0 0.0 0.0 hasVaria Common.Arith 632 201377 0.0 0.1 0.0 0.1 orFalseLeft Gen.Arith.Rules 526 0 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 527 2423 0.0 0.0 0.0 0.0 eqSame Gen.Arith.Rules 522 0 0.2 0.0 0.2 0.0 ==_aaEk Common.Arith 525 2913 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 524 2659 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 523 2659 0.0 0.0 0.0 0.0 ==_aaEk Common.Arith 513 207386 0.2 0.0 0.2 0.0 +-> Common.GuardedRewriting 512 255527 0.2 0.1 0.2 0.1 // Common.GuardedRewriting 511 255527 0.2 0.1 0.2 0.1 synthesise_a1Ig Common.GuardedRewriting 510 0 0.0 0.4 0.0 0.4 synthesise_a1GC Common.GuardedRewriting 501 0 1.5 1.7 3.3 2.7 coverTimesLeft Gen.Arith.Rules 683 0 0.0 0.0 0.0 0.0 hasVaria Common.Arith 686 538 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 685 144 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 684 144 0.0 0.0 0.0 0.0 coverTimesRight Gen.Arith.Rules 677 0 0.0 0.0 0.0 0.0 hasVaria Common.Arith 680 859 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 679 267 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 678 267 0.0 0.0 0.0 0.0 divisionByZero Gen.Arith.Rules 664 0 0.0 0.0 0.0 0.0 hasDivisionByZero Common.Arith 667 24222 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 666 2473 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 665 2473 0.0 0.0 0.0 0.0 hasVaria Common.Arith 631 70720 0.4 0.0 0.4 0.0 andTrueLeft Gen.Arith.Rules 520 0 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 521 2769 0.0 0.0 0.0 0.0 hasDivisionByZero Common.Arith 505 1890338 1.5 0.5 1.5 0.5 +-> Common.GuardedRewriting 504 211475 0.0 0.1 0.0 0.1 // Common.GuardedRewriting 503 211475 0.0 0.1 0.0 0.1 synthesise_a1Ig Common.GuardedRewriting 502 0 0.0 0.3 0.0 0.3 test_a1RR Common.GuardedRewriting 499 1052860 0.8 0.5 1.0 0.5 synthesise_a1GC Common.GuardedRewriting 729 0 0.0 0.0 0.0 0.0 hasDivisionByZero Common.Arith 733 254 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 732 26 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 731 26 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 730 0 0.0 0.0 0.0 0.0 synthesise' Common.GuardedRewriting 721 0 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 722 0 0.0 0.0 0.0 0.0 andTrueRight Gen.Arith.Rules 739 0 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 740 1 0.0 0.0 0.0 0.0 noVaria Common.Arith 737 0 0.0 0.0 0.0 0.0 hasVaria Common.Arith 738 7 0.0 0.0 0.0 0.0 isOdd Common.Arith 734 1 0.0 0.0 0.0 0.0 hasVaria Common.Arith 728 57 0.0 0.0 0.0 0.0 ==_aaEk Common.Arith 726 30 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 725 43 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 724 43 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 723 0 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 500 492544 0.2 0.0 0.2 0.0 match Common.GuardedRewriting 477 10501083 14.4 12.3 43.5 52.5 from_a226 Common.GuardedRewriting 651 11739 0.0 0.0 0.0 0.0 match'_a1Wp Common.GuardedRewriting 650 11739 0.0 0.0 0.0 0.0 from_aaPF Common.Arith 514 1407785 0.4 1.6 0.4 1.6 singleton Common.GuardedRewriting 493 1053139 0.2 0.8 1.3 2.1 update Common.GuardedRewriting 496 1700613 1.0 1.3 1.0 1.3 from_aaPU Common.Arith 492 1415632 0.0 0.9 0.0 0.9 match'_a1Vb Common.GuardedRewriting 491 1889069 6.3 9.4 10.2 14.5 +++ Common.GuardedRewriting 495 3013274 3.8 5.0 3.8 5.0 match'_a1Ut Common.GuardedRewriting 494 473160 0.2 0.1 0.2 0.1 from_aaRe Common.Arith 479 6271838 1.5 6.6 1.5 6.6 match'_a1W3 Common.GuardedRewriting 478 17597485 6.9 1.3 15.8 14.5 match'_a1Ut Common.GuardedRewriting 515 21762 0.0 0.0 0.0 0.0 match'_a1Vb Common.GuardedRewriting 490 1954658 5.6 9.5 9.0 13.1 +++ Common.GuardedRewriting 498 2122147 3.1 3.5 3.1 3.5 match'_a1Ut Common.GuardedRewriting 497 541998 0.2 0.1 0.2 0.1 somewhereProp Common.Arith 452 49921 1.0 0.0 2.1 0.1 applyD Common.Arith 519 36833 0.0 0.0 0.0 0.0 applyBin Common.Arith 483 165106 1.0 0.0 1.0 0.0 isSolved Common.Arith 204 56853 0.0 0.0 0.4 0.1 isSolvedEq Common.Arith 652 27438 0.2 0.0 0.4 0.1 noVaria Common.Arith 653 0 0.0 0.0 0.2 0.1 hasVaria Common.Arith 654 249005 0.2 0.1 0.2 0.1 CAF GHC.ConsoleHandler 192 2 0.0 0.0 0.0 0.0 CAF Data.Typeable 180 5 0.0 0.0 0.0 0.0 CAF GHC.Float 165 1 0.0 0.0 0.0 0.0 CAF GHC.Int 154 1 0.0 0.0 0.0 0.0 CAF Data.HashTable 145 2 0.0 0.0 0.0 0.0 CAF GHC.Handle 139 2 0.0 0.0 0.0 0.0 CAF Common.Arith 114 80 0.0 0.0 12.1 12.8 subst'_a1SP Common.GuardedRewriting 564 3 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 568 2 0.0 0.0 0.0 0.0 subst Common.GuardedRewriting 565 3 0.0 0.0 0.0 0.0 total Common.GuardedRewriting 566 3 0.0 0.0 0.0 0.0 !!! Common.GuardedRewriting 567 6 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 563 8 0.0 0.0 0.0 0.0 subst'_a1SP Common.GuardedRewriting 607 5 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 611 3 0.0 0.0 0.0 0.0 subst Common.GuardedRewriting 608 5 0.0 0.0 0.0 0.0 to_aaPJ Common.Arith 615 2 0.0 0.0 0.0 0.0 total Common.GuardedRewriting 609 3 0.0 0.0 0.0 0.0 !!! Common.GuardedRewriting 610 8 0.0 0.0 0.0 0.0 noVaria Common.Arith 556 1 0.0 0.0 0.0 0.0 hasVaria Common.Arith 557 1 0.0 0.0 0.0 0.0 match'_a1Vb Common.GuardedRewriting 544 3 0.0 0.0 0.0 0.0 +++ Common.GuardedRewriting 548 12 0.0 0.0 0.0 0.0 match'_a1Ut Common.GuardedRewriting 547 2 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 545 3 0.0 0.0 0.0 0.0 singleton Common.GuardedRewriting 546 3 0.0 0.0 0.0 0.0 update Common.GuardedRewriting 549 5 0.0 0.0 0.0 0.0 constGen Common.Arith 333 1 0.0 0.0 0.0 0.0 match'_a1W3 Common.GuardedRewriting 307 6 0.0 0.0 0.0 0.0 right'_a1PR Common.GuardedRewriting 271 1 0.0 0.0 0.0 0.0 left'_a1P2 Common.GuardedRewriting 253 2 0.0 0.0 0.0 0.0 left Common.GuardedRewriting 258 2 0.0 0.0 0.0 0.0 to_a22m Common.GuardedRewriting 296 1 0.0 0.0 0.0 0.0 to_a22b Common.GuardedRewriting 259 1 0.0 0.0 0.0 0.0 left'_a1PK Common.GuardedRewriting 252 2 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 244 4 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 264 4 0.0 0.0 0.0 0.0 toScheme Common.GuardedRewriting 246 4 0.0 0.0 0.0 0.0 from_a22h Common.GuardedRewriting 295 1 0.0 0.0 0.0 0.0 toExt_a1YB Common.GuardedRewriting 294 1 0.0 0.0 0.0 0.0 from_a226 Common.GuardedRewriting 257 2 0.0 0.0 0.0 0.0 toExt_a1Yw Common.GuardedRewriting 256 2 0.0 0.0 0.0 0.0 from_aaPF Common.Arith 249 2 0.0 0.0 0.0 0.0 toExt_a1Yr Common.GuardedRewriting 248 2 0.0 0.0 0.0 0.0 diff'_a1JS Common.GuardedRewriting 243 5 0.0 0.0 0.0 0.0 diff'_a1IV Common.GuardedRewriting 263 4 0.0 0.0 0.0 0.0 diff Common.GuardedRewriting 245 5 0.0 0.0 0.0 0.0 diff'_a1Os Common.GuardedRewriting 293 1 0.0 0.0 0.0 0.0 diff'_a1Lp Common.GuardedRewriting 255 2 0.0 0.0 0.0 0.0 diff'_a1L8 Common.GuardedRewriting 247 2 0.0 0.0 0.0 0.0 toExt_a1Yr Common.GuardedRewriting 240 6 0.0 0.0 0.0 0.0 diff'_a1L8 Common.GuardedRewriting 239 6 0.0 0.0 0.0 0.0 repeatM Common.Arith 203 1 0.0 0.1 12.1 12.8 formula Common.Arith 481 0 0.0 0.0 12.1 12.6 propGen Common.Arith 482 56163 5.4 4.4 12.1 12.6 eqGen Common.Arith 487 33697 0.2 0.5 6.7 8.3 constGen Common.Arith 507 0 0.0 0.0 0.0 0.0 exprGen Common.Arith 489 157451 6.5 7.6 6.5 7.7 constGen Common.Arith 506 0 0.0 0.1 0.0 0.1 formula Common.Arith 202 1 0.0 0.0 0.0 0.0 propGen Common.Arith 209 9 0.0 0.0 0.0 0.0 eqGen Common.Arith 306 5 0.0 0.0 0.0 0.0 constGen Common.Arith 438 0 0.0 0.0 0.0 0.0 exprGen Common.Arith 309 18 0.0 0.0 0.0 0.0 constGen Common.Arith 437 0 0.0 0.0 0.0 0.0 formulas Common.Arith 201 1 0.0 0.0 0.0 0.0 CAF Common.GuardedRewriting 113 9 0.0 0.0 0.0 0.0 empty_a1XJ Common.GuardedRewriting 325 1 0.0 0.0 0.0 0.0 left'_a1Qo Common.GuardedRewriting 297 1 0.0 0.0 0.0 0.0 right'_a1Qj Common.GuardedRewriting 287 1 0.0 0.0 0.0 0.0 left'_a1Q6 Common.GuardedRewriting 260 1 0.0 0.0 0.0 0.0 left'_a1OL Common.GuardedRewriting 254 1 0.0 0.0 0.0 0.0 CAF System.CPUTime 106 1 0.0 0.0 0.0 0.0 CAF Gen.Arith.Rules 101 113 0.0 0.0 0.2 0.0 timesZeroRight Gen.Arith.Rules 641 1 0.0 0.0 0.0 0.0 timesZeroLeft Gen.Arith.Rules 638 1 0.0 0.0 0.0 0.0 coverPowerOdd Gen.Arith.Rules 629 1 0.0 0.0 0.0 0.0 coverDivRight Gen.Arith.Rules 621 1 0.0 0.0 0.0 0.0 coverDivLeft Gen.Arith.Rules 605 1 0.0 0.0 0.0 0.0 coverTimesRight Gen.Arith.Rules 604 1 0.0 0.0 0.0 0.0 coverTimesLeft Gen.Arith.Rules 603 1 0.0 0.0 0.0 0.0 coverMinRight Gen.Arith.Rules 599 1 0.0 0.0 0.0 0.0 coverMinLeft Gen.Arith.Rules 598 1 0.0 0.0 0.0 0.0 to_aaPY Common.Arith 570 1 0.0 0.0 0.0 0.0 subst'_a1SP Common.GuardedRewriting 559 19 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 569 12 0.0 0.0 0.0 0.0 subst Common.GuardedRewriting 560 19 0.0 0.0 0.0 0.0 to_aaPY Common.Arith 673 2 0.0 0.0 0.0 0.0 to_aaRi Common.Arith 672 2 0.0 0.0 0.0 0.0 subst'_a1TT Common.GuardedRewriting 670 1 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 669 21 0.0 0.0 0.0 0.0 to_aaPJ Common.Arith 578 7 0.0 0.0 0.0 0.0 total Common.GuardedRewriting 561 7 0.0 0.0 0.0 0.0 !!! Common.GuardedRewriting 562 14 0.0 0.0 0.0 0.0 coverPlusRight Gen.Arith.Rules 555 1 0.0 0.0 0.0 0.0 coverPlusLeft Gen.Arith.Rules 530 1 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 449 4 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 450 1 0.0 0.0 0.0 0.0 notFalse Gen.Arith.Rules 421 1 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 422 1 0.0 0.0 0.0 0.0 notTrue Gen.Arith.Rules 415 1 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 417 1 0.0 0.0 0.0 0.0 orFalseRight Gen.Arith.Rules 412 1 0.0 0.0 0.0 0.0 orFalseLeft Gen.Arith.Rules 409 1 0.0 0.0 0.0 0.0 orTrueRight Gen.Arith.Rules 406 1 0.0 0.0 0.0 0.0 orTrueLeft Gen.Arith.Rules 403 1 0.0 0.0 0.0 0.0 andFalseRight Gen.Arith.Rules 400 1 0.0 0.0 0.0 0.0 andFalseLeft Gen.Arith.Rules 397 1 0.0 0.0 0.0 0.0 andTrueRight Gen.Arith.Rules 388 1 0.0 0.0 0.0 0.0 typeOf_aaDw Common.Arith 385 1 0.0 0.0 0.0 0.0 typeOf1_aaDD Common.Arith 384 1 0.0 0.0 0.0 0.0 typeOf1_aaDK Common.Arith 383 1 0.0 0.0 0.0 0.0 right'_a1PR Common.GuardedRewriting 382 1 0.0 0.0 0.0 0.0 left'_a1P2 Common.GuardedRewriting 380 1 0.0 0.0 0.0 0.0 left'_a1PK Common.GuardedRewriting 379 2 0.0 0.0 0.0 0.0 to_aaRi Common.Arith 378 1 0.0 0.0 0.0 0.0 andTrueLeft Gen.Arith.Rules 371 1 0.0 0.0 0.0 0.0 eqDifferent Gen.Arith.Rules 369 1 0.0 0.0 0.0 0.0 eqSame Gen.Arith.Rules 334 1 0.0 0.0 0.0 0.0 test_a1RR Common.GuardedRewriting 330 14 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 331 6 0.0 0.0 0.0 0.0 empty_a1Xo Common.GuardedRewriting 324 9 0.0 0.0 0.0 0.0 divisionByZero Gen.Arith.Rules 311 1 0.0 0.0 0.0 0.0 match'_a1Vb Common.GuardedRewriting 303 5 0.0 0.0 0.0 0.0 +++ Common.GuardedRewriting 322 3 0.0 0.0 0.0 0.0 match'_a1Ut Common.GuardedRewriting 321 1 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 304 5 0.0 0.0 0.0 0.0 from_aaRe Common.Arith 446 2 0.0 0.0 0.0 0.0 match'_a1W3 Common.GuardedRewriting 445 3 0.0 0.0 0.0 0.0 singleton Common.GuardedRewriting 320 1 0.0 0.0 0.0 0.0 update Common.GuardedRewriting 323 2 0.0 0.0 0.0 0.0 from_aaPF Common.Arith 308 1 0.0 0.0 0.0 0.0 from_aaPU Common.Arith 305 1 0.0 0.0 0.0 0.0 match'_a1W3 Common.GuardedRewriting 301 5 0.0 0.0 0.0 0.0 from_aaPU Common.Arith 236 1 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 232 5 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 276 3 0.0 0.0 0.0 0.0 toScheme Common.GuardedRewriting 235 5 0.0 0.0 0.0 0.0 from_aaRe Common.Arith 374 2 0.0 0.0 0.0 0.0 toExt_a1Yr Common.GuardedRewriting 268 4 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 376 1 0.0 0.0 0.0 0.0 from_aaPF Common.Arith 241 2 0.0 0.0 0.0 0.0 diff'_a1JS Common.GuardedRewriting 231 5 0.0 0.0 0.0 0.0 diff'_a1IV Common.GuardedRewriting 275 3 0.0 0.0 0.0 0.0 diff Common.GuardedRewriting 234 5 0.0 0.0 0.0 0.0 typeOf1_aaDD Common.Arith 387 1 0.0 0.0 0.0 0.0 typeOf1_aaDK Common.Arith 386 1 0.0 0.0 0.0 0.0 typeOf_aaDw Common.Arith 274 2 0.0 0.0 0.0 0.0 scast Common.GuardedRewriting 272 2 0.0 0.0 0.0 0.0 diff'_a1L8 Common.GuardedRewriting 267 4 0.0 0.0 0.0 0.0 diff'_a1IV Common.GuardedRewriting 375 1 0.0 0.0 0.0 0.0 from_aaRe Common.Arith 228 1 0.0 0.0 0.0 0.0 toExt_a1Yr Common.GuardedRewriting 227 5 0.0 0.0 0.0 0.0 diff'_a1L8 Common.GuardedRewriting 226 5 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 220 3 0.0 0.0 0.0 0.0 toScheme Common.GuardedRewriting 223 3 0.0 0.0 0.0 0.0 from_aaRe Common.Arith 668 3 0.0 0.0 0.0 0.0 from_a226 Common.GuardedRewriting 537 11 0.0 0.0 0.0 0.0 toExt_a1Yw Common.GuardedRewriting 536 11 0.0 0.0 0.0 0.0 from_aaPF Common.Arith 534 22 0.0 0.0 0.0 0.0 toExt_a1Yr Common.GuardedRewriting 533 50 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 535 0 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 538 20 0.0 0.0 0.0 0.0 from_aaPU Common.Arith 532 4 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 531 0 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 539 4 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 217 14 0.0 0.0 0.2 0.0 timesZeroLeft Gen.Arith.Rules 639 0 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 640 3 0.0 0.0 0.0 0.0 isEven Common.Arith 577 1 0.0 0.0 0.0 0.0 hasVaria Common.Arith 554 14 0.0 0.0 0.0 0.0 andTrueLeft Gen.Arith.Rules 372 0 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 373 3 0.0 0.0 0.0 0.0 hasDivisionByZero Common.Arith 332 2 0.0 0.0 0.0 0.0 coverPowerEven Gen.Arith.Rules 278 0 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 280 1 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 279 1 0.0 0.0 0.0 0.0 typeOf_aaDw Common.Arith 273 7 0.0 0.0 0.0 0.0 right Common.GuardedRewriting 269 14 0.0 0.0 0.0 0.0 to_aaRi Common.Arith 381 1 0.0 0.0 0.0 0.0 to_a22b Common.GuardedRewriting 286 5 0.0 0.0 0.0 0.0 to_aaPJ Common.Arith 270 8 0.0 0.0 0.0 0.0 left Common.GuardedRewriting 250 14 0.0 0.0 0.0 0.0 to_a22b Common.GuardedRewriting 266 5 0.0 0.0 0.0 0.0 to_aaPJ Common.Arith 251 8 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 224 0 0.0 0.0 0.0 0.0 toScheme Common.GuardedRewriting 225 0 0.0 0.0 0.0 0.0 from_a22h Common.GuardedRewriting 299 45 0.0 0.0 0.0 0.0 toExt_a1YB Common.GuardedRewriting 298 45 0.0 0.0 0.0 0.0 from_a226 Common.GuardedRewriting 262 109 0.0 0.0 0.0 0.0 toExt_a1Yw Common.GuardedRewriting 261 109 0.0 0.0 0.0 0.0 from_aaPF Common.Arith 242 302 0.0 0.0 0.0 0.0 from_aaPU Common.Arith 238 75 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 237 0 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 277 75 0.0 0.0 0.0 0.0 from_aaRe Common.Arith 230 50 0.0 0.0 0.0 0.0 toExt_a1Yr Common.GuardedRewriting 229 749 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 377 9 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 233 0 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 265 266 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 222 45 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 221 45 0.0 0.0 0.0 0.0 >< Common.GuardedRewriting 218 14 0.0 0.0 0.2 0.0 diff Common.GuardedRewriting 219 451 0.2 0.0 0.2 0.0 typeOf1_aaDD Common.Arith 462 1 0.0 0.0 0.0 0.0 typeOf1_aaDK Common.Arith 461 1 0.0 0.0 0.0 0.0 diff'_a1Os Common.GuardedRewriting 300 29 0.0 0.0 0.0 0.0 ==_a22X Common.GuardedRewriting 292 47 0.0 0.0 0.0 0.0 typeOf_aaDw Common.Arith 290 54 0.0 0.0 0.0 0.0 scast Common.GuardedRewriting 288 70 0.0 0.0 0.0 0.0 typeOf1_aaDD Common.Arith 460 3 0.0 0.0 0.0 0.0 typeOf1_aaDK Common.Arith 459 3 0.0 0.0 0.0 0.0 typeOf_aaDw Common.Arith 289 52 0.0 0.0 0.0 0.0 diff'_a1Lp Common.GuardedRewriting 284 86 0.0 0.0 0.0 0.0 diff'_a1JS Common.GuardedRewriting 283 136 0.0 0.0 0.0 0.0 diff'_a1IV Common.GuardedRewriting 291 68 0.0 0.0 0.0 0.0 diff'_a1L8 Common.GuardedRewriting 281 636 0.0 0.0 0.0 0.0 diff'_a1IV Common.GuardedRewriting 691 6 0.0 0.0 0.0 0.0 diff'_a1JS Common.GuardedRewriting 282 301 0.0 0.0 0.0 0.0 diff'_a1IV Common.GuardedRewriting 285 224 0.0 0.0 0.0 0.0 synthesise' Common.GuardedRewriting 214 25 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 416 0 0.0 0.0 0.0 0.0 toScheme Common.GuardedRewriting 418 0 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 466 0 0.0 0.0 0.0 0.0 from_aaRe Common.Arith 420 6 0.0 0.0 0.0 0.0 toExt_a1Yr Common.GuardedRewriting 419 20 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 467 4 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 465 0 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 468 2 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 335 0 0.0 0.0 0.0 0.0 timesZeroRight Gen.Arith.Rules 642 0 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 643 3 0.0 0.0 0.0 0.0 isOdd Common.Arith 630 1 0.0 0.0 0.0 0.0 noVaria Common.Arith 624 0 0.0 0.0 0.0 0.0 hasVaria Common.Arith 625 1 0.0 0.0 0.0 0.0 coverMinRight Gen.Arith.Rules 600 0 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 602 1 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 601 1 0.0 0.0 0.0 0.0 hasVaria Common.Arith 558 29 0.0 0.0 0.0 0.0 orFalseRight Gen.Arith.Rules 413 0 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 414 3 0.0 0.0 0.0 0.0 orFalseLeft Gen.Arith.Rules 410 0 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 411 3 0.0 0.0 0.0 0.0 orTrueRight Gen.Arith.Rules 407 0 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 408 3 0.0 0.0 0.0 0.0 orTrueLeft Gen.Arith.Rules 404 0 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 405 3 0.0 0.0 0.0 0.0 andFalseRight Gen.Arith.Rules 401 0 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 402 3 0.0 0.0 0.0 0.0 andFalseLeft Gen.Arith.Rules 398 0 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 399 3 0.0 0.0 0.0 0.0 andTrueRight Gen.Arith.Rules 389 0 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 390 3 0.0 0.0 0.0 0.0 ==_aaEk Common.Arith 368 1 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 340 58 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 339 58 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 338 0 0.0 0.0 0.0 0.0 toScheme Common.GuardedRewriting 341 0 0.0 0.0 0.0 0.0 from_a22h Common.GuardedRewriting 363 74 0.0 0.0 0.0 0.0 toExt_a1YB Common.GuardedRewriting 362 74 0.0 0.0 0.0 0.0 from_a226 Common.GuardedRewriting 353 126 0.0 0.0 0.0 0.0 toExt_a1Yw Common.GuardedRewriting 352 126 0.0 0.0 0.0 0.0 from_aaPF Common.Arith 350 400 0.0 0.0 0.0 0.0 from_aaPU Common.Arith 349 100 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 348 0 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 360 100 0.0 0.0 0.0 0.0 from_aaRe Common.Arith 344 64 0.0 0.0 0.0 0.0 toExt_a1Yr Common.GuardedRewriting 343 992 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 396 26 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 346 0 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 355 316 0.0 0.0 0.0 0.0 >< Common.GuardedRewriting 336 0 0.0 0.0 0.0 0.0 diff Common.GuardedRewriting 337 499 0.0 0.0 0.0 0.0 typeOf1_aaDD Common.Arith 394 7 0.0 0.0 0.0 0.0 typeOf1_aaDK Common.Arith 393 7 0.0 0.0 0.0 0.0 ==_a22X Common.GuardedRewriting 364 61 0.0 0.0 0.0 0.0 diff'_a1Os Common.GuardedRewriting 361 47 0.0 0.0 0.0 0.0 typeOf_aaDw Common.Arith 358 85 0.0 0.0 0.0 0.0 scast Common.GuardedRewriting 356 95 0.0 0.0 0.0 0.0 typeOf1_aaDD Common.Arith 392 11 0.0 0.0 0.0 0.0 typeOf1_aaDK Common.Arith 391 11 0.0 0.0 0.0 0.0 typeOf_aaDw Common.Arith 357 89 0.0 0.0 0.0 0.0 diff'_a1Lp Common.GuardedRewriting 351 87 0.0 0.0 0.0 0.0 diff'_a1JS Common.GuardedRewriting 347 174 0.0 0.0 0.0 0.0 diff'_a1IV Common.GuardedRewriting 359 87 0.0 0.0 0.0 0.0 diff'_a1L8 Common.GuardedRewriting 342 745 0.0 0.0 0.0 0.0 diff'_a1IV Common.GuardedRewriting 395 14 0.0 0.0 0.0 0.0 diff'_a1JS Common.GuardedRewriting 345 325 0.0 0.0 0.0 0.0 diff'_a1IV Common.GuardedRewriting 354 233 0.0 0.0 0.0 0.0 coverPowerEven Gen.Arith.Rules 213 1 0.0 0.0 0.0 0.0 rewriteM' Common.GuardedRewriting 212 3 0.0 0.0 0.0 0.0 rewriteM Common.GuardedRewriting 215 3 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 216 5 0.0 0.0 0.0 0.0 singleton Common.GuardedRewriting 550 1 0.0 0.0 0.0 0.0 update Common.GuardedRewriting 553 3 0.0 0.0 0.0 0.0 from_aaPF Common.Arith 543 2 0.0 0.0 0.0 0.0 match'_a1W3 Common.GuardedRewriting 542 5 0.0 0.0 0.0 0.0 from_aaPU Common.Arith 541 1 0.0 0.0 0.0 0.0 match'_a1Vb Common.GuardedRewriting 540 2 0.0 0.0 0.0 0.0 +++ Common.GuardedRewriting 552 8 0.0 0.0 0.0 0.0 match'_a1Ut Common.GuardedRewriting 551 1 0.0 0.0 0.0 0.0 from_aaRe Common.Arith 302 1 0.0 0.0 0.0 0.0 rules Gen.Arith.Rules 207 1 0.0 0.0 0.0 0.0 somewhereExpr Common.Arith 637 2 0.0 0.0 0.0 0.0 applyBin Common.Arith 644 5 0.0 0.0 0.0 0.0 liftToEq Common.Arith 636 1 0.0 0.0 0.0 0.0 liftToProp Common.Arith 480 2 0.0 0.0 0.0 0.0 rewriteM' Common.GuardedRewriting 310 229 0.0 0.0 0.0 0.0 rewriteM Common.GuardedRewriting 312 229 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 469 1 0.0 0.0 0.0 0.0 subst Common.GuardedRewriting 448 22 0.0 0.0 0.0 0.0 to_aaPJ Common.Arith 614 5 0.0 0.0 0.0 0.0 to_aaPY Common.Arith 613 3 0.0 0.0 0.0 0.0 subst'_a1SP Common.GuardedRewriting 606 6 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 612 3 0.0 0.0 0.0 0.0 total Common.GuardedRewriting 463 9 0.0 0.0 0.0 0.0 !!! Common.GuardedRewriting 464 15 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 457 27 0.0 0.0 0.0 0.0 subst'_a1SP Common.GuardedRewriting 622 6 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 623 4 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 458 3 0.0 0.0 0.0 0.0 to_aaRi Common.Arith 454 4 0.0 0.0 0.0 0.0 synthesise' Common.GuardedRewriting 439 0 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 440 0 0.0 0.0 0.0 0.0 andFalseRight Gen.Arith.Rules 455 0 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 456 1 0.0 0.0 0.0 0.0 ==_aaEk Common.Arith 444 4 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 443 4 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 442 4 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 441 0 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 432 0 0.0 0.0 0.0 0.0 hasDivisionByZero Common.Arith 436 34 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 435 4 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 434 4 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 433 0 0.0 0.0 0.0 0.0 test_a1RR Common.GuardedRewriting 366 31 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 367 16 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 313 330 0.0 0.0 0.0 0.0 from_aaPF Common.Arith 370 28 0.0 0.0 0.0 0.0 singleton Common.GuardedRewriting 319 36 0.0 0.0 0.0 0.0 update Common.GuardedRewriting 327 57 0.0 0.0 0.0 0.0 from_aaPU Common.Arith 318 23 0.0 0.0 0.0 0.0 match'_a1Vb Common.GuardedRewriting 317 36 0.0 0.0 0.0 0.0 match'_a1Ut Common.GuardedRewriting 365 13 0.0 0.0 0.0 0.0 +++ Common.GuardedRewriting 326 89 0.0 0.0 0.0 0.0 from_aaRe Common.Arith 315 234 0.0 0.0 0.0 0.0 match'_a1W3 Common.GuardedRewriting 314 607 0.0 0.0 0.0 0.0 match'_a1Ut Common.GuardedRewriting 447 6 0.0 0.0 0.0 0.0 match'_a1Vb Common.GuardedRewriting 316 65 0.0 0.0 0.0 0.0 +++ Common.GuardedRewriting 329 95 0.0 0.0 0.0 0.0 match'_a1Ut Common.GuardedRewriting 328 23 0.0 0.0 0.0 0.0 applyOne Common.Arith 211 31 0.0 0.0 0.0 0.0 rewriteM' Common.GuardedRewriting 423 28 0.0 0.0 0.0 0.0 rewriteM Common.GuardedRewriting 424 28 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 425 36 0.0 0.0 0.0 0.0 from_aaPF Common.Arith 431 15 0.0 0.0 0.0 0.0 from_aaPU Common.Arith 430 4 0.0 0.0 0.0 0.0 match'_a1Vb Common.GuardedRewriting 429 4 0.0 0.0 0.0 0.0 from_aaRe Common.Arith 427 17 0.0 0.0 0.0 0.0 match'_a1W3 Common.GuardedRewriting 426 58 0.0 0.0 0.0 0.0 match'_a1Vb Common.GuardedRewriting 428 4 0.0 0.0 0.0 0.0 somewhereProp Common.Arith 208 1 0.0 0.0 0.0 0.0 applyD Common.Arith 453 5 0.0 0.0 0.0 0.0 applyBin Common.Arith 210 7 0.0 0.0 0.0 0.0