## Chapter 2detailed summary tables of results

2.1.1 Rubi
2.1.2 Mathematica
2.1.3 Maple
2.1.4 Maxima
2.1.5 FriCAS
2.1.6 Sympy
2.1.7 Giac

### 2.1 List of integrals sorted by grade for each CAS

#### 2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 420, 421, 422, 423, 424, 425, 426, 427, 428, 429, 430, 431, 432, 433, 434, 435, 436, 437, 438, 439, 440, 441, 442, 443, 444, 445, 446, 447, 448, 449, 450, 451, 452, 453, 454, 455, 456, 457, 458, 459, 460, 461, 462, 463, 464, 465, 466, 467, 468, 469, 470, 471, 472, 473, 474, 475, 476, 477, 478, 479, 480, 481, 482, 483, 484, 485, 486, 487, 488, 489, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499, 500, 501, 502, 503, 504, 505, 506, 507, 508, 509, 510, 511, 512, 513, 514, 515, 516, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 531, 532, 533, 534, 535, 536, 537, 538, 539, 540, 541, 542, 543, 544, 545, 546, 547, 548, 549, 550, 551, 552, 553, 554, 555, 556, 557, 558, 559, 560, 561, 562, 563, 564, 565, 566, 567, 568, 569, 570, 571, 572, 573, 574, 575, 576, 577, 578, 579, 580, 581, 582, 583, 584, 585, 586, 587, 588, 589, 590, 591, 592, 593, 594, 595, 596, 597, 598, 599, 600, 601, 602, 603, 604, 605, 606, 607, 608, 609, 610, 611, 612, 613, 614, 615, 616, 617, 618, 619, 620, 621, 622, 623, 624, 625, 626, 627, 628, 629, 630, 631, 632, 633, 634, 635, 636, 637, 638, 639, 640, 641, 642, 643, 644, 645, 646, 647, 648, 649, 650, 651, 652, 653, 654, 655, 656, 657, 658, 659, 660, 661, 662, 663, 664, 665, 666, 667, 668, 669, 670, 671, 672, 673, 674, 675, 676, 677, 678, 679, 680, 681, 682, 683, 684, 685, 686, 687, 688, 689, 690, 691, 692, 693, 694, 695, 696, 697, 698, 699, 700, 701, 702, 703, 704, 705, 706, 707, 708, 709, 710, 711, 712, 713, 714, 715, 716, 717, 718, 719, 720, 721, 722, 723, 724, 725, 726, 727, 728, 729, 730, 731, 732, 733, 734, 735, 736, 737, 738, 739, 740, 741, 742, 743, 744, 745, 746, 747, 748, 749, 750, 751, 752, 753, 754, 755, 756, 757, 758, 759, 760, 761, 762, 763, 764, 765, 766, 767, 768, 769, 770, 771, 772, 773, 774, 775, 776, 777, 778, 779, 780, 781, 782, 783, 784, 785, 786, 787, 788, 789, 790, 791, 792, 793, 794, 795, 796, 797, 798, 799, 800, 801, 802, 803, 804, 805, 806, 807, 808, 809, 810, 811, 812, 813, 814, 815, 816, 817, 818, 819, 820, 821, 822, 823, 824, 825, 826, 827, 828, 829, 830, 831, 832, 833, 834, 835, 836, 837, 838, 839, 840, 841, 842, 843, 844, 845, 846, 847, 848, 849, 850, 851, 852, 853, 854, 855, 856, 857, 858, 859, 860, 861, 862, 863, 864, 865, 866, 867, 868, 869, 870, 871, 872, 873, 874, 875, 876, 877, 878, 879, 880, 881, 882, 883, 884, 885, 886, 887, 888, 889, 890, 891, 892, 893, 894, 895, 896, 897, 898, 899, 900, 901, 902, 903, 904, 905, 906, 907, 908, 909, 910, 911, 912, 913, 914, 915, 916, 917, 918, 919, 920, 921, 922, 923, 924, 925, 926, 927, 928, 929, 930, 931, 932, 933, 934, 935, 936, 937, 938, 939, 940, 941, 942, 943, 944, 945, 946, 947, 948, 949, 950, 951, 952, 953, 954, 955, 956, 957, 958, 959, 960, 961, 962, 963, 964, 965, 966, 967, 968, 969, 970, 971, 972, 973, 974, 975, 976, 977, 978, 979, 980, 981, 982, 983, 984, 985, 986, 987, 988, 989, 990, 991, 992, 993, 994, 995, 996, 997, 998, 999, 1000, 1001, 1002, 1003, 1004, 1005, 1006, 1007, 1008, 1009, 1010, 1011, 1012, 1013, 1014, 1015, 1016, 1017, 1018, 1019, 1020, 1021, 1022, 1023, 1024, 1025, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1033, 1034, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1042, 1043, 1044, 1045, 1046, 1047, 1048, 1049, 1050, 1051, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1059 }

#### 2.1.2 Mathematica

A grade: { 5, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 30, 32, 34, 35, 36, 37, 38, 40, 42, 44, 45, 46, 47, 48, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 145, 148, 149, 151, 152, 154, 157, 160, 161, 163, 164, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 206, 207, 208, 209, 210, 212, 214, 216, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 234, 235, 237, 240, 242, 243, 244, 245, 246, 248, 250, 251, 252, 253, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 350, 351, 352, 353, 354, 355, 356, 357, 359, 360, 361, 362, 363, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 421, 423, 424, 425, 428, 429, 430, 431, 434, 436, 437, 438, 439, 441, 442, 443, 444, 445, 447, 448, 449, 450, 451, 452, 453, 454, 455, 456, 457, 458, 459, 463, 464, 465, 466, 467, 468, 469, 471, 472, 473, 474, 475, 476, 477, 478, 479, 480, 481, 483, 484, 485, 486, 487, 488, 489, 490, 492, 493, 494, 497, 498, 499, 500, 501, 502, 503, 505, 506, 507, 510, 511, 512, 513, 514, 515, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 530, 532, 533, 534, 535, 536, 537, 538, 539, 541, 543, 544, 546, 548, 549, 550, 551, 552, 553, 554, 555, 557, 559, 560, 561, 562, 564, 565, 566, 567, 568, 569, 570, 571, 572, 573, 574, 575, 576, 577, 578, 579, 580, 581, 582, 583, 585, 586, 587, 588, 589, 596, 597, 598, 599, 600, 601, 602, 603, 604, 605, 606, 607, 608, 609, 610, 611, 612, 613, 615, 617, 618, 619, 621, 623, 624, 625, 626, 627, 628, 629, 630, 631, 632, 633, 634, 635, 636, 637, 638, 639, 640, 641, 642, 643, 644, 645, 646, 647, 648, 649, 650, 651, 652, 653, 654, 655, 657, 658, 659, 660, 661, 662, 663, 665, 667, 668, 669, 671, 673, 674, 675, 676, 678, 679, 680, 681, 682, 683, 684, 685, 686, 688, 689, 690, 691, 692, 693, 694, 695, 696, 697, 698, 699, 700, 701, 703, 705, 706, 707, 708, 709, 710, 711, 712, 713, 714, 715, 716, 717, 718, 719, 720, 721, 722, 723, 724, 725, 726, 727, 728, 729, 730, 731, 732, 733, 734, 735, 736, 737, 738, 739, 740, 741, 742, 743, 744, 746, 747, 748, 751, 753, 754, 755, 756, 757, 758, 759, 780, 781, 782, 783, 784, 785, 786, 787, 788, 789, 790, 791, 792, 793, 794, 795, 796, 797, 798, 799, 800, 801, 802, 803, 804, 805, 806, 807, 808, 809, 810, 811, 812, 813, 814, 815, 816, 817, 818, 819, 820, 821, 822, 823, 824, 825, 826, 827, 828, 829, 830, 831, 832, 833, 834, 835, 836, 837, 838, 839, 840, 841, 842, 843, 844, 845, 846, 847, 848, 849, 850, 851, 853, 854, 855, 856, 857, 858, 859, 860, 861, 862, 863, 864, 865, 866, 867, 868, 870, 871, 872, 873, 874, 875, 876, 877, 878, 879, 880, 881, 883, 884, 885, 886, 887, 888, 889, 890, 891, 892, 893, 894, 895, 896, 897, 898, 899, 900, 901, 902, 903, 904, 905, 906, 907, 908, 909, 910, 912, 913, 914, 915, 916, 917, 919, 920, 921, 922, 923, 924, 925, 926, 927, 928, 929, 931, 932, 933, 934, 936, 938, 941, 942, 945, 946, 947, 948, 950, 951, 952, 953, 954, 955, 956, 957, 958, 959, 960, 961, 962, 963, 964, 965, 967, 968, 969, 970, 971, 972, 973, 974, 975, 976, 977, 978, 979, 980, 982, 983, 984, 986, 987, 988, 990, 991, 992, 993, 995, 996, 1003, 1004, 1005, 1006, 1007, 1008, 1009, 1010, 1011, 1012, 1013, 1014, 1015, 1016, 1017, 1018, 1019, 1020, 1021, 1022, 1023, 1024, 1025, 1028, 1029, 1030, 1031, 1032, 1033, 1034, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1042, 1043, 1044, 1045, 1046, 1047, 1048, 1049, 1050, 1051, 1052, 1054, 1057, 1058, 1059 }

B grade: { 1, 2, 3, 4, 6, 8, 24, 100, 127, 143, 144, 150, 155, 156, 162, 188, 189, 205, 239, 254, 358, 426, 427, 432, 440, 460, 461, 470, 482, 495, 496, 508, 509, 516, 563, 584, 614, 616, 656, 664, 666, 677, 687, 702, 704, 745, 749, 750, 752, 760, 882, 949, 994, 998, 999, 1000, 1001, 1002, 1026, 1027, 1053, 1055, 1056 }

C grade: { 29, 31, 33, 39, 41, 43, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 146, 147, 153, 158, 159, 165, 211, 213, 215, 217, 229, 230, 231, 232, 233, 236, 238, 241, 247, 249, 337, 349, 364, 393, 420, 422, 433, 435, 446, 462, 491, 504, 529, 531, 540, 542, 545, 547, 556, 558, 590, 591, 592, 593, 594, 595, 620, 622, 670, 672, 761, 762, 763, 764, 765, 766, 767, 768, 769, 770, 771, 774, 775, 776, 777, 852, 869, 911, 918, 930, 935, 937, 939, 940, 943, 944, 966 }

F grade: { 772, 773, 778, 779, 981, 985, 989, 997}

#### 2.1.3 Maple

A grade: { 1, 8, 9, 12, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 86, 87, 90, 93, 94, 95, 98, 99, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 117, 118, 121, 122, 123, 127, 131, 132, 133, 134, 151, 154, 163, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 192, 193, 194, 195, 196, 197, 198, 199, 206, 212, 216, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 245, 246, 253, 254, 255, 256, 257, 258, 263, 264, 265, 266, 267, 271, 272, 273, 274, 275, 276, 277, 278, 279, 284, 285, 286, 287, 288, 293, 294, 295, 296, 297, 301, 302, 303, 304, 305, 306, 310, 311, 312, 313, 314, 315, 319, 320, 321, 322, 323, 324, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 401, 402, 403, 404, 405, 406, 408, 409, 410, 411, 412, 413, 415, 416, 417, 418, 419, 420, 421, 422, 423, 424, 425, 428, 429, 430, 431, 434, 435, 436, 437, 438, 439, 440, 441, 442, 443, 444, 445, 447, 448, 449, 450, 451, 452, 453, 454, 456, 457, 458, 459, 463, 464, 465, 466, 467, 470, 471, 472, 473, 476, 477, 478, 479, 480, 481, 482, 484, 485, 486, 487, 491, 492, 493, 494, 498, 499, 500, 501, 504, 505, 506, 507, 508, 509, 511, 512, 513, 514, 517, 518, 519, 520, 521, 522, 525, 526, 527, 572, 573, 578, 579, 580, 581, 583, 585, 586, 588, 590, 591, 592, 593, 594, 595, 596, 597, 598, 599, 600, 601, 602, 603, 604, 605, 606, 607, 608, 609, 610, 611, 612, 613, 614, 615, 616, 617, 618, 626, 627, 628, 630, 632, 633, 636, 637, 638, 640, 642, 643, 644, 645, 646, 647, 648, 650, 655, 657, 658, 660, 661, 662, 663, 667, 668, 670, 671, 672, 673, 674, 675, 676, 680, 681, 682, 686, 687, 688, 689, 690, 691, 692, 693, 694, 695, 696, 698, 699, 701, 702, 706, 707, 708, 709, 710, 711, 712, 713, 714, 715, 716, 717, 718, 719, 720, 721, 722, 723, 725, 726, 728, 729, 730, 731, 732, 735, 737, 738, 739, 740, 741, 742, 746, 747, 748, 749, 750, 751, 752, 754, 755, 756, 762, 764, 771, 777, 784, 786, 787, 788, 803, 805, 806, 848, 855, 856, 857, 864, 866, 870, 872, 873, 874, 875, 876, 877, 878, 879, 880, 885, 886, 887, 893, 894, 897, 898, 901, 902, 903, 904, 905, 906, 907, 909, 910, 911, 912, 914, 915, 916, 917, 918, 919, 920, 921, 922, 923, 924, 925, 926, 927, 928, 929, 930, 931, 932, 933, 934, 935, 936, 945, 946, 947, 948, 952, 953, 954, 955, 959, 960, 961, 962, 967, 968, 969, 970, 971, 972, 973, 974, 975, 976, 977, 978, 979, 982, 993, 996, 1003, 1004, 1005, 1006, 1007, 1008, 1009, 1010, 1011, 1012, 1013, 1014, 1015, 1016, 1017, 1018, 1019, 1020, 1021, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1033, 1034, 1038, 1039, 1041, 1043, 1044, 1045, 1046, 1049, 1050, 1051, 1055 }

B grade: { 2, 3, 4, 5, 6, 7, 84, 85, 88, 96, 97, 100, 115, 116, 119, 124, 125, 128, 129, 130, 135, 136, 137, 138, 139, 140, 141, 142, 146, 147, 148, 149, 152, 153, 158, 159, 160, 161, 164, 165, 207, 208, 209, 210, 211, 214, 236, 237, 238, 247, 248, 249, 251, 252, 260, 261, 262, 269, 270, 281, 282, 283, 290, 291, 292, 299, 300, 308, 309, 317, 318, 326, 327, 328, 343, 358, 372, 385, 398, 399, 400, 407, 414, 426, 427, 432, 433, 446, 455, 460, 461, 462, 468, 469, 483, 490, 495, 496, 497, 503, 510, 523, 524, 531, 540, 547, 556, 560, 563, 566, 567, 568, 569, 570, 571, 574, 575, 576, 577, 582, 584, 587, 589, 619, 620, 621, 622, 623, 624, 625, 629, 631, 634, 635, 639, 641, 649, 651, 652, 653, 654, 656, 659, 664, 665, 666, 669, 677, 683, 697, 700, 703, 704, 705, 724, 727, 733, 734, 736, 743, 744, 745, 753, 758, 759, 760, 761, 763, 765, 766, 767, 768, 769, 770, 772, 773, 774, 775, 776, 778, 779, 780, 781, 782, 783, 785, 789, 790, 791, 792, 793, 794, 795, 796, 797, 798, 799, 800, 801, 802, 804, 807, 808, 809, 810, 817, 818, 819, 820, 821, 822, 830, 832, 833, 834, 835, 836, 837, 838, 839, 842, 843, 844, 845, 846, 847, 851, 852, 853, 858, 859, 860, 861, 862, 863, 865, 867, 868, 869, 908, 913, 980, 981, 983, 984, 986, 987, 990, 991, 992, 994, 997, 1022, 1023, 1024, 1025, 1035, 1036, 1040, 1054, 1056, 1057 }

C grade: { 13, 89, 92, 120, 126, 143, 144, 145, 150, 155, 156, 157, 162, 200, 201, 202, 203, 204, 213, 215, 217, 218, 219, 220, 240, 241, 242, 243, 244, 344, 386, 757, 811, 812, 813, 814, 815, 816, 823, 824, 825, 826, 827, 828, 829, 831, 840, 841, 937, 938, 939, 940, 941, 942, 943, 944, 985, 988, 989, 995, 1037, 1052, 1053, 1058, 1059 }

F grade: { 10, 11, 14, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 91, 188, 189, 190, 191, 205, 239, 250, 259, 268, 280, 289, 298, 307, 316, 325, 342, 356, 357, 370, 371, 384, 474, 475, 488, 489, 502, 515, 516, 528, 529, 530, 532, 533, 534, 535, 536, 537, 538, 539, 541, 542, 543, 544, 545, 546, 548, 549, 550, 551, 552, 553, 554, 555, 557, 558, 559, 561, 562, 564, 565, 678, 679, 684, 685, 849, 850, 854, 871, 881, 882, 883, 884, 888, 889, 890, 891, 892, 895, 896, 899, 900, 949, 950, 951, 956, 957, 958, 963, 964, 965, 966, 998, 999, 1000, 1001, 1002, 1042, 1047, 1048 }

#### 2.1.4 Maxima

A grade: { 1, 2, 3, 4, 6, 8, 15, 16, 17, 18, 19, 20, 21, 22, 23, 29, 30, 42, 70, 75, 77, 82, 84, 85, 106, 113, 115, 116, 139, 140, 143, 149, 161, 193, 194, 197, 198, 206, 216, 222, 223, 226, 227, 235, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 278, 279, 280, 281, 282, 284, 285, 286, 287, 288, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 321, 322, 323, 324, 325, 326, 327, 328, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 344, 346, 347, 348, 349, 352, 353, 354, 355, 359, 360, 361, 362, 363, 364, 366, 367, 368, 369, 374, 375, 376, 377, 378, 379, 381, 382, 383, 386, 388, 389, 390, 391, 392, 393, 395, 396, 397, 398, 399, 400, 402, 403, 404, 405, 406, 407, 409, 410, 411, 412, 413, 414, 416, 417, 423, 424, 425, 426, 429, 430, 431, 432, 433, 435, 436, 437, 438, 439, 440, 443, 444, 445, 446, 449, 450, 451, 452, 453, 454, 455, 457, 458, 459, 460, 464, 465, 466, 467, 468, 469, 471, 472, 473, 476, 478, 479, 480, 481, 482, 483, 485, 486, 487, 491, 492, 493, 494, 496, 498, 499, 500, 501, 505, 506, 507, 508, 509, 510, 512, 513, 514, 517, 519, 520, 521, 522, 523, 524, 526, 527, 575, 576, 580, 581, 583, 586, 596, 599, 600, 601, 602, 603, 604, 605, 608, 609, 610, 611, 612, 613, 617, 618, 627, 628, 629, 630, 631, 632, 633, 637, 638, 640, 641, 642, 647, 648, 658, 660, 662, 668, 669, 670, 671, 672, 674, 675, 680, 681, 688, 690, 691, 693, 697, 700, 707, 709, 711, 713, 715, 717, 719, 721, 723, 730, 731, 732, 733, 739, 740, 741, 746, 747, 748, 753, 754, 755, 756, 783, 786, 802, 803, 804, 805, 806, 807, 809, 811, 812, 813, 814, 815, 816, 823, 824, 825, 842, 843, 844, 845, 846, 847, 848, 851, 852, 853, 855, 856, 857, 870, 872, 873, 874, 875, 876, 877, 893, 894, 897, 898, 901, 902, 903, 904, 905, 906, 907, 908, 909, 910, 911, 912, 913, 914, 915, 916, 917, 918, 919, 920, 921, 922, 923, 924, 925, 926, 927, 928, 929, 930, 931, 932, 933, 934, 935, 936, 937, 938, 939, 940, 941, 942, 943, 944, 967, 968, 969, 973, 974, 975, 979, 981, 986, 993, 994, 1013, 1014, 1015, 1016, 1017, 1019, 1026, 1027, 1028, 1031, 1037, 1038, 1043, 1044, 1045, 1046, 1050, 1051, 1055, 1056

B grade: { 5, 7, 10, 11, 13, 14, 24, 25, 26, 27, 28, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 43, 44, 45, 46, 47, 48, 67, 68, 71, 72, 73, 74, 76, 78, 79, 80, 81, 83, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 107, 108, 109, 110, 111, 112, 114, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 141, 142, 144, 145, 146, 147, 148, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 162, 163, 164, 165, 166, 192, 196, 200, 201, 207, 208, 211, 212, 217, 218, 221, 225, 229, 230, 234, 236, 240, 241, 245, 246, 247, 262, 277, 283, 302, 320, 329, 345, 350, 351, 365, 373, 380, 387, 394, 401, 408, 415, 421, 422, 427, 428, 434, 441, 442, 447, 448, 456, 461, 462, 463, 470, 477, 484, 495, 497, 504, 511, 518, 525, 560, 561, 562, 563, 564, 565, 574, 577, 582, 584, 588, 597, 598, 606, 607, 614, 615, 616, 619, 621, 623, 624, 625, 626, 634, 635, 636, 639, 643, 644, 645, 646, 649, 651, 653, 654, 655, 656, 657, 659, 661, 663, 664, 665, 666, 667, 673, 676, 677, 678, 679, 682, 683, 684, 685, 686, 687, 702, 703, 704, 705, 735, 749, 750, 751, 752, 768, 769, 770, 774, 775, 776, 808, 810, 817, 818, 819, 820, 821, 822, 840, 841, 980, 983, 984, 987, 990, 991, 992, 995, 996, 1003, 1004, 1005, 1006, 1007, 1008, 1009, 1010, 1011, 1012, 1018, 1021, 1022, 1023, 1024, 1025, 1030, 1032, 1040, 1048, 1049, 1053, 1054, 1057, 1058 }

F grade: { 9, 12, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 69, 86, 117, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 195, 199, 202, 203, 204, 205, 209, 210, 213, 214, 215, 219, 220, 224, 228, 231, 232, 233, 237, 238, 239, 242, 243, 244, 248, 249, 289, 342, 343, 356, 357, 358, 370, 371, 372, 384, 385, 418, 419, 420, 474, 475, 488, 489, 490, 502, 503, 515, 516, 528, 529, 530, 531, 532, 533, 534, 535, 536, 537, 538, 539, 540, 541, 542, 543, 544, 545, 546, 547, 548, 549, 550, 551, 552, 553, 554, 555, 556, 557, 558, 559, 566, 567, 568, 569, 570, 571, 572, 573, 578, 579, 585, 587, 589, 590, 591, 592, 593, 594, 595, 620, 622, 650, 652, 689, 692, 694, 695, 696, 698, 699, 701, 706, 708, 710, 712, 714, 716, 718, 720, 722, 724, 725, 726, 727, 728, 729, 734, 736, 737, 738, 742, 743, 744, 745, 757, 758, 759, 760, 761, 762, 763, 764, 765, 766, 767, 771, 772, 773, 777, 778, 779, 780, 781, 782, 784, 785, 787, 788, 789, 790, 791, 792, 793, 794, 795, 796, 797, 798, 799, 800, 801, 826, 827, 828, 829, 830, 831, 832, 833, 834, 835, 836, 837, 838, 839, 849, 850, 854, 858, 859, 860, 861, 862, 863, 864, 865, 866, 867, 868, 869, 871, 878, 879, 880, 881, 882, 883, 884, 885, 886, 887, 888, 889, 890, 891, 892, 895, 896, 899, 900, 945, 946, 947, 948, 949, 950, 951, 952, 953, 954, 955, 956, 957, 958, 959, 960, 961, 962, 963, 964, 965, 966, 970, 971, 972, 976, 977, 978, 982, 985, 988, 989, 997, 998, 999, 1000, 1001, 1002, 1020, 1029, 1033, 1034, 1035, 1036, 1039, 1041, 1042, 1047, 1052, 1059 }

#### 2.1.5 FriCAS

A grade: { 8, 15, 16, 17, 18, 19, 20, 21, 22, 23, 71, 75, 78, 102, 106, 109, 167, 173, 179, 182, 193, 195, 196, 199, 216, 224, 225, 226, 228, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 264, 265, 266, 267, 268, 269, 270, 271, 273, 274, 275, 276, 278, 279, 280, 281, 282, 283, 285, 286, 287, 288, 289, 293, 294, 298, 299, 300, 301, 303, 306, 307, 308, 309, 310, 312, 313, 315, 316, 317, 318, 319, 321, 322, 324, 325, 326, 330, 334, 339, 340, 341, 346, 347, 348, 353, 354, 355, 360, 361, 362, 367, 368, 369, 374, 375, 376, 381, 382, 383, 387, 388, 389, 390, 395, 396, 397, 402, 403, 404, 409, 410, 411, 416, 417, 424, 429, 430, 431, 436, 437, 438, 442, 443, 444, 445, 450, 451, 452, 457, 458, 459, 464, 465, 466, 471, 472, 473, 478, 479, 480, 485, 486, 487, 492, 493, 494, 499, 500, 501, 505, 506, 507, 512, 513, 514, 519, 520, 521, 526, 527, 572, 580, 581, 585, 596, 597, 599, 600, 603, 604, 605, 606, 608, 609, 610, 612, 613, 617, 625, 627, 628, 629, 630, 632, 635, 637, 638, 639, 640, 642, 647, 657, 658, 660, 667, 668, 669, 670, 675, 681, 688, 691, 694, 695, 724, 727, 730, 732, 733, 736, 739, 740, 741, 742, 746, 747, 748, 780, 781, 782, 783, 784, 785, 786, 787, 789, 792, 795, 798, 802, 803, 804, 805, 806, 807, 811, 812, 813, 814, 815, 816, 823, 824, 825, 838, 839, 842, 855, 856, 857, 870, 872, 879, 880, 886, 887, 893, 894, 901, 903, 910, 915, 920, 922, 927, 948, 955, 967, 968, 969, 970, 971, 972, 973, 974, 975, 976, 977, 978, 989, 1000, 1004, 1005, 1006, 1007, 1008, 1009, 1010, 1011, 1012, 1013, 1014, 1015, 1016, 1017, 1035, 1036, 1043, 1044, 1055 }

B grade: { 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 72, 73, 74, 76, 77, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 103, 104, 105, 107, 108, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 168, 169, 170, 171, 172, 174, 175, 176, 177, 178, 180, 181, 183, 184, 185, 186, 187, 192, 194, 197, 198, 200, 201, 202, 203, 204, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 217, 218, 219, 220, 221, 222, 223, 227, 229, 230, 232, 233, 234, 235, 236, 237, 238, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 263, 272, 277, 284, 290, 291, 292, 295, 296, 297, 302, 304, 305, 311, 314, 320, 323, 327, 328, 329, 331, 332, 333, 338, 343, 344, 345, 350, 351, 352, 358, 359, 365, 366, 372, 373, 380, 385, 386, 394, 400, 401, 407, 408, 414, 415, 418, 419, 421, 426, 427, 428, 433, 434, 435, 440, 441, 446, 447, 448, 449, 455, 456, 462, 463, 470, 476, 477, 484, 490, 491, 497, 498, 503, 504, 511, 517, 518, 525, 560, 561, 562, 563, 564, 565, 566, 567, 568, 569, 570, 571, 573, 574, 575, 576, 577, 578, 579, 582, 583, 584, 586, 587, 588, 589, 598, 601, 602, 607, 611, 614, 615, 616, 618, 619, 620, 621, 622, 623, 624, 626, 631, 633, 634, 636, 641, 643, 644, 645, 646, 648, 649, 650, 651, 652, 653, 654, 655, 656, 659, 661, 662, 663, 664, 665, 666, 671, 672, 673, 674, 676, 677, 678, 679, 680, 682, 683, 684, 685, 686, 687, 689, 690, 692, 693, 696, 697, 698, 699, 700, 701, 702, 703, 704, 705, 706, 707, 708, 709, 710, 711, 712, 713, 714, 715, 716, 717, 718, 719, 720, 721, 722, 723, 725, 726, 728, 729, 731, 734, 735, 737, 738, 743, 744, 749, 750, 751, 752, 753, 754, 755, 756, 757, 758, 759, 760, 768, 769, 770, 774, 775, 776, 788, 790, 791, 793, 794, 796, 797, 799, 800, 801, 808, 809, 810, 817, 818, 819, 820, 821, 822, 826, 827, 828, 829, 830, 831, 832, 833, 834, 835, 836, 837, 840, 841, 845, 848, 858, 859, 860, 869, 873, 874, 875, 876, 877, 878, 885, 897, 898, 902, 904, 905, 906, 907, 908, 909, 911, 912, 913, 914, 916, 917, 918, 919, 921, 923, 924, 925, 926, 928, 929, 930, 931, 932, 933, 934, 935, 936, 937, 938, 939, 940, 941, 942, 943, 944, 945, 946, 947, 952, 953, 954, 959, 960, 961, 962, 979, 980, 981, 982, 983, 984, 985, 986, 987, 988, 990, 991, 992, 993, 994, 995, 996, 997, 998, 999, 1001, 1002, 1003, 1018, 1019, 1020, 1021, 1022, 1023, 1024, 1025, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1033, 1034, 1037, 1038, 1039, 1040, 1041, 1045, 1046, 1047, 1048, 1049, 1050, 1051, 1052, 1053, 1054, 1056, 1057, 1058, 1059 }

C grade: { 335, 336, 337, 342, 349, 356, 357, 363, 364, 370, 371, 377, 378, 379, 384, 391, 392, 393, 398, 399, 405, 406, 412, 413, 420, 422, 423, 425, 432, 439, 453, 454, 460, 461, 467, 468, 469, 474, 475, 481, 482, 483, 488, 489, 495, 496, 502, 508, 509, 510, 515, 516, 522, 523, 524, 843, 844, 846, 847, 849, 850, 851, 852, 853, 867, 868 }

F grade: { 188, 189, 190, 191, 205, 231, 239, 528, 529, 530, 531, 532, 533, 534, 535, 536, 537, 538, 539, 540, 541, 542, 543, 544, 545, 546, 547, 548, 549, 550, 551, 552, 553, 554, 555, 556, 557, 558, 559, 590, 591, 592, 593, 594, 595, 745, 761, 762, 763, 764, 765, 766, 767, 771, 772, 773, 777, 778, 779, 854, 861, 862, 863, 864, 865, 866, 871, 881, 882, 883, 884, 888, 889, 890, 891, 892, 895, 896, 899, 900, 949, 950, 951, 956, 957, 958, 963, 964, 965, 966, 1042 }

#### 2.1.6 Sympy

A grade: { 1, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 81, 82, 83, 85, 87, 88, 96, 97, 113, 131, 132, 133, 134, 167, 168, 169, 170, 173, 174, 175, 176, 179, 180, 181, 182, 183, 185, 193, 194, 195, 196, 197, 198, 199, 222, 223, 224, 225, 226, 227, 228, 251, 252, 253, 254, 260, 261, 262, 263, 269, 270, 271, 272, 281, 282, 283, 284, 290, 291, 292, 293, 299, 300, 301, 302, 308, 309, 310, 311, 317, 318, 319, 320, 326, 327, 328, 329, 339, 340, 346, 347, 353, 354, 360, 361, 367, 368, 374, 381, 382, 388, 402, 403, 409, 429, 466, 471, 472, 473, 478, 479, 480, 485, 486, 487, 492, 493, 494, 499, 500, 501, 505, 506, 507, 512, 513, 514, 519, 520, 521, 526, 527, 566, 567, 580, 585, 586, 596, 597, 598, 599, 600, 601, 602, 605, 606, 607, 608, 609, 610, 611, 619, 623, 688, 691, 697, 700, 715, 724, 727, 730, 731, 733, 736, 739, 740, 741, 746, 747, 748, 749, 755, 756, 838, 839, 855, 856, 857, 870, 872, 873, 874, 879, 880, 886, 887, 893, 894, 897, 898, 901, 902, 903, 908, 909, 915, 919, 920, 921, 926, 927, 933, 946, 947, 948, 953, 954, 955, 962, 967, 969, 973, 975, 1003, 1014, 1015, 1016, 1017, 1018, 1028, 1031, 1032, 1043, 1045, 1050, 1051, 1055 }

B grade: { 2, 192, 221, 575, 576, 577, 581, 582, 583, 584, 629, 631, 639, 641, 753, 754, 783, 808, 809, 811, 812, 813, 840, 841, 983, 984, 1026, 1027, 1044 }

F grade: { 3, 4, 5, 6, 7, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 84, 86, 89, 90, 91, 92, 93, 94, 95, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 171, 172, 177, 178, 184, 186, 187, 188, 189, 190, 191, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 255, 256, 257, 258, 259, 264, 265, 266, 267, 268, 273, 274, 275, 276, 277, 278, 279, 280, 285, 286, 287, 288, 289, 294, 295, 296, 297, 298, 303, 304, 305, 306, 307, 312, 313, 314, 315, 316, 321, 322, 323, 324, 325, 330, 331, 332, 333, 334, 335, 336, 337, 338, 341, 342, 343, 344, 345, 348, 349, 350, 351, 352, 355, 356, 357, 358, 359, 362, 363, 364, 365, 366, 369, 370, 371, 372, 373, 375, 376, 377, 378, 379, 380, 383, 384, 385, 386, 387, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 404, 405, 406, 407, 408, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 420, 421, 422, 423, 424, 425, 426, 427, 428, 430, 431, 432, 433, 434, 435, 436, 437, 438, 439, 440, 441, 442, 443, 444, 445, 446, 447, 448, 449, 450, 451, 452, 453, 454, 455, 456, 457, 458, 459, 460, 461, 462, 463, 464, 465, 467, 468, 469, 470, 474, 475, 476, 477, 481, 482, 483, 484, 488, 489, 490, 491, 495, 496, 497, 498, 502, 503, 504, 508, 509, 510, 511, 515, 516, 517, 518, 522, 523, 524, 525, 528, 529, 530, 531, 532, 533, 534, 535, 536, 537, 538, 539, 540, 541, 542, 543, 544, 545, 546, 547, 548, 549, 550, 551, 552, 553, 554, 555, 556, 557, 558, 559, 560, 561, 562, 563, 564, 565, 568, 569, 570, 571, 572, 573, 574, 578, 579, 587, 588, 589, 590, 591, 592, 593, 594, 595, 603, 604, 612, 613, 614, 615, 616, 617, 618, 620, 621, 622, 624, 625, 626, 627, 628, 630, 632, 633, 634, 635, 636, 637, 638, 640, 642, 643, 644, 645, 646, 647, 648, 649, 650, 651, 652, 653, 654, 655, 656, 657, 658, 659, 660, 661, 662, 663, 664, 665, 666, 667, 668, 669, 670, 671, 672, 673, 674, 675, 676, 677, 678, 679, 680, 681, 682, 683, 684, 685, 686, 687, 689, 690, 692, 693, 694, 695, 696, 698, 699, 701, 702, 703, 704, 705, 706, 707, 708, 709, 710, 711, 712, 713, 714, 716, 717, 718, 719, 720, 721, 722, 723, 725, 726, 728, 729, 732, 734, 735, 737, 738, 742, 743, 744, 745, 750, 751, 752, 757, 758, 759, 760, 761, 762, 763, 764, 765, 766, 767, 768, 769, 770, 771, 772, 773, 774, 775, 776, 777, 778, 779, 780, 781, 782, 784, 785, 786, 787, 788, 789, 790, 791, 792, 793, 794, 795, 796, 797, 798, 799, 800, 801, 802, 803, 804, 805, 806, 807, 810, 814, 815, 816, 817, 818, 819, 820, 821, 822, 823, 824, 825, 826, 827, 828, 829, 830, 831, 832, 833, 834, 835, 836, 837, 842, 843, 844, 845, 846, 847, 848, 849, 850, 851, 852, 853, 854, 858, 859, 860, 861, 862, 863, 864, 865, 866, 867, 868, 869, 871, 875, 876, 877, 878, 881, 882, 883, 884, 885, 888, 889, 890, 891, 892, 895, 896, 899, 900, 904, 905, 906, 907, 910, 911, 912, 913, 914, 916, 917, 918, 922, 923, 924, 925, 928, 929, 930, 931, 932, 934, 935, 936, 937, 938, 939, 940, 941, 942, 943, 944, 945, 949, 950, 951, 952, 956, 957, 958, 959, 960, 961, 963, 964, 965, 966, 968, 970, 971, 972, 974, 976, 977, 978, 979, 980, 981, 982, 985, 986, 987, 988, 989, 990, 991, 992, 993, 994, 995, 996, 997, 998, 999, 1000, 1001, 1002, 1004, 1005, 1006, 1007, 1008, 1009, 1010, 1011, 1012, 1013, 1019, 1020, 1021, 1022, 1023, 1024, 1025, 1029, 1030, 1033, 1034, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1042, 1046, 1047, 1048, 1049, 1052, 1053, 1054, 1056, 1057, 1058, 1059 }

#### 2.1.7 Giac

A grade: { 1, 2, 8, 15, 16, 17, 18, 19, 20, 21, 22, 23, 30, 32, 40, 42, 43, 48, 70, 72, 75, 77, 79, 82, 87, 88, 90, 93, 94, 95, 97, 101, 103, 106, 110, 113, 118, 119, 121, 122, 123, 143, 144, 145, 149, 150, 151, 152, 154, 155, 156, 157, 161, 162, 163, 164, 166, 171, 177, 182, 184, 193, 194, 197, 198, 202, 203, 204, 206, 209, 216, 217, 219, 222, 223, 226, 227, 235, 237, 241, 243, 251, 252, 253, 254, 255, 256, 257, 258, 260, 261, 262, 264, 265, 266, 267, 269, 270, 271, 273, 274, 275, 276, 281, 282, 283, 285, 286, 287, 288, 290, 291, 292, 293, 294, 295, 296, 297, 299, 300, 301, 303, 304, 305, 306, 308, 309, 310, 312, 313, 314, 315, 317, 318, 319, 321, 322, 323, 324, 326, 327, 328, 329, 330, 331, 332, 333, 334, 339, 340, 341, 346, 347, 348, 352, 353, 354, 355, 359, 360, 361, 362, 367, 368, 369, 374, 375, 376, 381, 382, 383, 388, 389, 390, 395, 396, 397, 402, 403, 404, 409, 410, 411, 416, 417, 424, 429, 430, 431, 436, 437, 438, 443, 444, 445, 449, 450, 451, 452, 457, 458, 459, 464, 465, 466, 471, 472, 473, 478, 479, 480, 485, 486, 487, 492, 493, 494, 498, 499, 500, 501, 505, 506, 507, 512, 513, 514, 519, 520, 521, 526, 527, 566, 567, 568, 569, 572, 573, 575, 576, 578, 579, 585, 586, 587, 588, 597, 598, 600, 601, 602, 603, 604, 606, 607, 609, 610, 611, 612, 613, 615, 617, 618, 619, 620, 621, 622, 623, 624, 625, 626, 627, 628, 629, 630, 631, 632, 633, 634, 635, 636, 637, 638, 639, 640, 641, 642, 643, 645, 647, 649, 650, 651, 652, 653, 654, 655, 656, 657, 660, 661, 662, 663, 664, 665, 666, 667, 669, 670, 671, 672, 673, 680, 688, 689, 690, 691, 692, 693, 694, 695, 696, 697, 698, 699, 700, 701, 706, 707, 708, 709, 710, 711, 712, 713, 714, 715, 716, 717, 718, 719, 720, 721, 722, 723, 724, 725, 726, 727, 728, 729, 730, 731, 732, 733, 734, 735, 736, 737, 738, 740, 742, 743, 746, 747, 754, 755, 756, 780, 781, 782, 783, 784, 785, 786, 787, 788, 789, 790, 792, 793, 795, 796, 798, 799, 801, 802, 803, 804, 805, 806, 807, 808, 809, 811, 812, 813, 814, 815, 816, 819, 822, 823, 824, 825, 828, 830, 834, 835, 838, 839, 840, 841, 855, 856, 857, 858, 859, 860, 870, 872, 873, 874, 876, 877, 878, 879, 880, 885, 886, 887, 901, 902, 903, 904, 905, 906, 907, 908, 909, 910, 911, 912, 913, 914, 915, 916, 917, 918, 919, 920, 921, 922, 923, 924, 925, 926, 927, 928, 929, 930, 931, 932, 933, 934, 935, 936, 937, 938, 939, 940, 941, 942, 943, 944, 945, 946, 947, 948, 952, 953, 954, 955, 959, 960, 961, 962, 967, 973, 980, 981, 985, 986, 987, 989, 995, 1014, 1015, 1016, 1017, 1033, 1034, 1035, 1036, 1037, 1038, 1043, 1044, 1046, 1053, 1054, 1055, 1056, 1057, 1058 }

B grade: { 24, 25, 26, 27, 28, 29, 31, 33, 34, 35, 36, 37, 38, 39, 41, 44, 45, 46, 47, 71, 73, 74, 76, 78, 80, 81, 84, 85, 96, 98, 99, 100, 102, 104, 105, 107, 108, 109, 111, 112, 115, 116, 124, 125, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 146, 147, 148, 153, 158, 159, 160, 165, 167, 168, 169, 170, 172, 173, 174, 175, 176, 178, 179, 180, 181, 183, 185, 186, 187, 192, 195, 196, 199, 200, 201, 207, 208, 210, 211, 212, 213, 214, 215, 218, 220, 221, 224, 225, 228, 229, 230, 231, 232, 233, 234, 236, 238, 240, 242, 244, 245, 246, 247, 248, 249, 263, 272, 277, 278, 279, 284, 302, 311, 320, 338, 344, 345, 350, 351, 365, 366, 373, 380, 386, 387, 394, 401, 408, 415, 418, 427, 428, 434, 435, 441, 442, 447, 448, 456, 463, 470, 477, 484, 491, 497, 504, 511, 518, 525, 570, 571, 574, 577, 580, 581, 582, 583, 584, 589, 596, 605, 614, 616, 644, 646, 648, 658, 659, 668, 674, 675, 676, 681, 682, 686, 687, 702, 703, 704, 705, 739, 741, 744, 745, 748, 749, 750, 751, 752, 753, 768, 769, 770, 774, 775, 776, 791, 794, 797, 800, 810, 817, 818, 820, 821, 836, 875, 893, 894, 979, 983, 984, 990, 991, 992, 993, 994, 996, 997, 998, 999, 1000, 1001, 1002, 1003, 1006, 1007, 1010, 1011, 1018, 1019, 1021, 1022, 1023, 1024, 1025, 1026, 1027, 1030, 1031, 1032, 1040, 1045, 1047 }

C grade: { 897, 898, 1050, 1051 }

F grade: { 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 83, 86, 89, 91, 92, 114, 117, 120, 126, 188, 189, 190, 191, 205, 239, 250, 259, 268, 280, 289, 298, 307, 316, 325, 335, 336, 337, 342, 343, 349, 356, 357, 358, 363, 364, 370, 371, 372, 377, 378, 379, 384, 385, 391, 392, 393, 398, 399, 400, 405, 406, 407, 412, 413, 414, 419, 420, 421, 422, 423, 425, 426, 432, 433, 439, 440, 446, 453, 454, 455, 460, 461, 462, 467, 468, 469, 474, 475, 476, 481, 482, 483, 488, 489, 490, 495, 496, 502, 503, 508, 509, 510, 515, 516, 517, 522, 523, 524, 528, 529, 530, 531, 532, 533, 534, 535, 536, 537, 538, 539, 540, 541, 542, 543, 544, 545, 546, 547, 548, 549, 550, 551, 552, 553, 554, 555, 556, 557, 558, 559, 560, 561, 562, 563, 564, 565, 590, 591, 592, 593, 594, 595, 599, 608, 677, 678, 679, 683, 684, 685, 757, 758, 759, 760, 761, 762, 763, 764, 765, 766, 767, 771, 772, 773, 777, 778, 779, 826, 827, 829, 831, 832, 833, 837, 842, 843, 844, 845, 846, 847, 848, 849, 850, 851, 852, 853, 854, 861, 862, 863, 864, 865, 866, 867, 868, 869, 871, 881, 882, 883, 884, 888, 889, 890, 891, 892, 895, 896, 899, 900, 949, 950, 951, 956, 957, 958, 963, 964, 965, 966, 968, 969, 970, 971, 972, 974, 975, 976, 977, 978, 982, 988, 1004, 1005, 1008, 1009, 1012, 1013, 1020, 1028, 1029, 1039, 1041, 1042, 1048, 1049, 1052, 1059 }

### 2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is deﬁned as $$\frac{\text{antiderivative leaf size}}{\text{optimal antiderivative leaf size}}$$

 Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A B A A B A A veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 22 22 47 17 28 120 19 28 normalized size 1 1. 2.14 0.77 1.27 5.45 0.86 1.27 time (sec) N/A 0.016 0.07 0.014 1.484 2.04 0.323 1.186
 Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A B B A B B A veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 22 22 47 156 28 147 280 28 normalized size 1 1. 2.14 7.09 1.27 6.68 12.73 1.27 time (sec) N/A 0.021 0.067 0.078 1.522 2.089 9.607 1.279
 Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A B B A B F F(-1) veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 22 22 47 156 28 147 0 0 normalized size 1 1. 2.14 7.09 1.27 6.68 0. 0. time (sec) N/A 0.04 0.078 0.066 1.554 2.108 0. 0.
 Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A B B A B F F(-1) veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 22 22 47 156 28 147 0 0 normalized size 1 1. 2.14 7.09 1.27 6.68 0. 0. time (sec) N/A 0.039 0.073 0.06 1.707 2.163 0. 0.
 Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B B B F F(-2) veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 22 22 42 44 93 263 0 0 normalized size 1 1. 1.91 2. 4.23 11.95 0. 0. time (sec) N/A 0.039 0.101 0.052 1.603 2.112 0. 0.
 Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A B B A B F F(-1) veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 22 22 47 132 28 147 0 0 normalized size 1 1. 2.14 6. 1.27 6.68 0. 0. time (sec) N/A 0.04 0.105 0.093 1.647 2.102 0. 0.
 Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B B B F F(-1) veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 22 22 42 102 51 263 0 0 normalized size 1 1. 1.91 4.64 2.32 11.95 0. 0. time (sec) N/A 0.039 0.105 0.054 1.675 2.093 0. 0.
 Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A B A A A A A veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 15 15 37 14 18 58 19 32 normalized size 1 1. 2.47 0.93 1.2 3.87 1.27 2.13 time (sec) N/A 0.012 0.013 0.006 0.999 2.007 0.215 1.321
 Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A F(-2) B A F veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 19 19 19 20 0 193 49 0 normalized size 1 1. 1. 1.05 0. 10.16 2.58 0. time (sec) N/A 0.023 0.01 0.014 0. 2.203 1.669 0.
 Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A F B B A F veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 39 39 39 0 504 482 668 0 normalized size 1 1. 1. 0. 12.92 12.36 17.13 0. time (sec) N/A 0.045 0.061 0.5 1.837 2.269 14.346 0.
 Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A F B B A F veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 59 59 49 0 926 1015 2574 0 normalized size 1 1. 0.83 0. 15.69 17.2 43.63 0. time (sec) N/A 0.052 0.195 0.478 1.79 2.337 80.103 0.
 Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A F(-2) B A F veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 19 19 19 20 0 193 49 0 normalized size 1 1. 1. 1.05 0. 10.16 2.58 0. time (sec) N/A 0.027 0.009 0.012 0. 2.113 1.785 0.
 Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A C B B A F veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 40 40 44 923 396 520 678 0 normalized size 1 1. 1.1 23.08 9.9 13. 16.95 0. time (sec) N/A 0.05 0.126 0.372 1.668 2.185 14.716 0.
 Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A F B B A F veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 59 59 77 0 753 1094 2351 0 normalized size 1 1. 1.31 0. 12.76 18.54 39.85 0. time (sec) N/A 0.061 0.218 0.345 1.698 2.208 78.712 0.
 Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A A A A A veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 46 46 23 43 53 104 92 65 normalized size 1 1. 0.5 0.93 1.15 2.26 2. 1.41 time (sec) N/A 0.044 0.03 0.008 1.012 2.059 1.118 1.167
 Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A A A A A veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 69 69 40 61 119 243 136 122 normalized size 1 1. 0.58 0.88 1.72 3.52 1.97 1.77 time (sec) N/A 0.074 0.078 0.01 0.979 2.037 3.871 1.22
 Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A A A A A veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 92 92 52 79 149 382 189 154 normalized size 1 1. 0.57 0.86 1.62 4.15 2.05 1.67 time (sec) N/A 0.104 0.123 0.01 1.006 2.044 12.828 1.206
 Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A A A A A veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 67 67 40 56 119 243 136 124 normalized size 1 1. 0.6 0.84 1.78 3.63 2.03 1.85 time (sec) N/A 0.052 0.057 0.01 1.024 2.087 3.792 1.26
 Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A A A A A veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 90 90 33 74 89 263 189 92 normalized size 1 1. 0.37 0.82 0.99 2.92 2.1 1.02 time (sec) N/A 0.084 0.043 0.011 1.212 2.064 12.088 1.212
 Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A A A A A veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 113 113 62 92 178 544 231 184 normalized size 1 1. 0.55 0.81 1.58 4.81 2.04 1.63 time (sec) N/A 0.118 0.173 0.013 1.133 2.071 31.062 1.229
 Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A A A A A veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 88 88 52 66 149 382 189 154 normalized size 1 1. 0.59 0.75 1.69 4.34 2.15 1.75 time (sec) N/A 0.064 0.094 0.012 1.008 2.057 12.183 1.226
 Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A A A A A veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 111 111 62 84 178 544 231 184 normalized size 1 1. 0.56 0.76 1.6 4.9 2.08 1.66 time (sec) N/A 0.099 0.128 0.011 1.02 2.068 32.458 1.251
 Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A A A A A veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 134 134 43 102 116 498 277 124 normalized size 1 1. 0.32 0.76 0.87 3.72 2.07 0.93 time (sec) N/A 0.132 0.082 0.013 1.058 2.095 79.081 1.214
 Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A B A B B F B veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 11 11 31 12 68 154 0 47 normalized size 1 1. 2.82 1.09 6.18 14. 0. 4.27 time (sec) N/A 0.012 0.02 0.013 1.561 2.165 0. 1.163
 Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A B B F B veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 23 23 26 23 82 462 0 95 normalized size 1 1. 1.13 1. 3.57 20.09 0. 4.13 time (sec) N/A 0.026 0.031 0.013 1.019 2.087 0. 1.163
 Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A B B F B veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 27 27 36 26 119 1035 0 135 normalized size 1 1. 1.33 0.96 4.41 38.33 0. 5. time (sec) N/A 0.024 0.036 0.018 1.602 2.216 0. 1.218
 Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A B B F B veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 38 38 41 33 146 1958 0 124 normalized size 1 1. 1.08 0.87 3.84 51.53 0. 3.26 time (sec) N/A 0.029 0.027 0.016 1.042 2.087 0. 1.189
 Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A B B F B veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 40 40 46 39 177 2952 0 171 normalized size 1 1. 1.15 0.98 4.42 73.8 0. 4.28 time (sec) N/A 0.033 0.094 0.02 1.636 2.104 0. 1.226
 Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C A A B F B veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 24 24 29 27 58 305 0 78 normalized size 1 1. 1.21 1.12 2.42 12.71 0. 3.25 time (sec) N/A 0.022 0.019 0.015 1.508 2.134 0. 1.212
 Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A A B F A veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 23 23 13 32 24 213 0 24 normalized size 1 1. 0.57 1.39 1.04 9.26 0. 1.04 time (sec) N/A 0.031 0.015 0.013 1.13 1.949 0. 1.172
 Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C A B B F B veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 49 49 29 52 122 1401 0 140 normalized size 1 1. 0.59 1.06 2.49 28.59 0. 2.86 time (sec) N/A 0.041 0.015 0.019 1.529 2.08 0. 1.229
 Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A B B F A veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 38 38 46 44 127 622 0 82 normalized size 1 1. 1.21 1.16 3.34 16.37 0. 2.16 time (sec) N/A 0.035 0.038 0.019 1.155 2.068 0. 1.21
 Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C A B B F B veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 70 70 29 71 184 3312 0 174 normalized size 1 1. 0.41 1.01 2.63 47.31 0. 2.49 time (sec) N/A 0.043 0.015 0.019 1.779 2.205 0. 1.17
 Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A B B F B veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 28 28 34 27 123 1037 0 135 normalized size 1 1. 1.21 0.96 4.39 37.04 0. 4.82 time (sec) N/A 0.025 0.043 0.018 1.615 2.4 0. 1.18
 Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A B B F B veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 49 49 68 43 143 1935 0 154 normalized size 1 1. 1.39 0.88 2.92 39.49 0. 3.14 time (sec) N/A 0.046 0.033 0.02 1.084 2.466 0. 1.174
 Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A B B F B veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 43 43 47 48 138 2102 0 136 normalized size 1 1. 1.09 1.12 3.21 48.88 0. 3.16 time (sec) N/A 0.044 0.016 0.023 1.513 2.569 0. 1.216
 Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A B B F B veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 66 66 83 53 201 4433 0 182 normalized size 1 1. 1.26 0.8 3.05 67.17 0. 2.76 time (sec) N/A 0.05 0.032 0.025 1.086 2.562 0. 1.203
 Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A B B F B veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 58 58 54 61 244 5837 0 240 normalized size 1 1. 0.93 1.05 4.21 100.64 0. 4.14 time (sec) N/A 0.049 0.461 0.024 1.593 2.784 0. 1.221
 Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C A B B F B veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 37 37 33 39 122 1423 0 111 normalized size 1 1. 0.89 1.05 3.3 38.46 0. 3. time (sec) N/A 0.027 0.017 0.017 1.785 2.336 0. 1.255
 Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A B B F A veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 37 37 45 50 122 622 0 82 normalized size 1 1. 1.22 1.35 3.3 16.81 0. 2.22 time (sec) N/A 0.037 0.039 0.02 1.117 2.168 0. 1.194
 Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C A B B F B veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 66 66 33 73 178 3283 0 173 normalized size 1 1. 0.5 1.11 2.7 49.74 0. 2.62 time (sec) N/A 0.043 0.016 0.025 1.783 2.547 0. 1.165
 Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A A B F A veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 53 53 43 62 122 900 0 42 normalized size 1 1. 0.81 1.17 2.3 16.98 0. 0.79 time (sec) N/A 0.04 0.019 0.025 1.174 2.268 0. 1.161
 Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C A B B F A veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 89 89 33 92 240 6041 0 207 normalized size 1 1. 0.37 1.03 2.7 67.88 0. 2.33 time (sec) N/A 0.048 0.017 0.024 1.56 2.625 0. 1.191
 Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A B B F B veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 39 39 46 39 180 2952 0 171 normalized size 1 1. 1.18 1. 4.62 75.69 0. 4.38 time (sec) N/A 0.032 0.123 0.019 1.554 2.416 0. 1.209
 Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A B B F B veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 70 70 105 61 209 4477 0 185 normalized size 1 1. 1.5 0.87 2.99 63.96 0. 2.64 time (sec) N/A 0.05 0.035 0.019 1.033 2.505 0. 1.161
 Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A B B F B veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 58 58 56 69 242 5836 0 240 normalized size 1 1. 0.97 1.19 4.17 100.62 0. 4.14 time (sec) N/A 0.045 0.194 0.022 1.561 2.587 0. 1.192
 Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A B B F B veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 89 89 121 71 263 8095 0 215 normalized size 1 1. 1.36 0.8 2.96 90.96 0. 2.42 time (sec) N/A 0.055 0.037 0.024 1.012 2.742 0. 1.178
 Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A B B F A veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 69 69 77 81 203 6263 0 174 normalized size 1 1. 1.12 1.17 2.94 90.77 0. 2.52 time (sec) N/A 0.054 0.025 0.024 1.656 2.744 0. 1.223
 Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F F B F(-1) F veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 106 106 59 0 0 2819 0 0 normalized size 1 1. 0.56 0. 0. 26.59 0. 0. time (sec) N/A 0.116 0.058 0.079 0. 2.713 0. 0.
 Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F F B F(-1) F veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 81 81 59 0 0 1705 0 0 normalized size 1 1. 0.73 0. 0. 21.05 0. 0. time (sec) N/A 0.081 0.048 0.063 0. 2.687 0. 0.
 Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F F B F F veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 79 79 59 0 0 923 0 0 normalized size 1 1. 0.75 0. 0. 11.68 0. 0. time (sec) N/A 0.073 0.051 0.063 0. 2.552 0. 0.
 Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F F B F F veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 54 54 59 0 0 423 0 0 normalized size 1 1. 1.09 0. 0. 7.83 0. 0. time (sec) N/A 0.037 0.034 0.104 0. 2.454 0. 0.
 Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F F B F F veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 54 54 57 0 0 421 0 0 normalized size 1 1. 1.06 0. 0. 7.8 0. 0. time (sec) N/A 0.038 0.023 0.09 0. 2.478 0. 0.
 Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F F B F F veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 79 79 57 0 0 925 0 0 normalized size 1 1. 0.72 0. 0. 11.71 0. 0. time (sec) N/A 0.071 0.033 0.062 0. 2.322 0. 0.
 Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F F B F(-1) F veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 81 81 59 0 0 1705 0 0 normalized size 1 1. 0.73 0. 0. 21.05 0. 0. time (sec) N/A 0.073 0.03 0.063 0. 2.282 0. 0.
 Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F F B F(-1) F veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 106 106 59 0 0 2819 0 0 normalized size 1 1. 0.56 0. 0. 26.59 0. 0. time (sec) N/A 0.105 0.038 0.061 0. 2.387 0. 0.
 Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F F B F(-1) F veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 155 155 59 0 0 3047 0 0 normalized size 1 1. 0.38 0. 0. 19.66 0. 0. time (sec) N/A 0.182 0.054 0.042 0. 2.331 0. 0.
 Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F F B F(-1) F veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 155 155 59 0 0 2222 0 0 normalized size 1 1. 0.38 0. 0. 14.34 0. 0. time (sec) N/A 0.182 0.056 0.037 0. 2.137 0. 0.
 Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F F B F(-1) F veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 243 243 59 0 0 3081 0 0 normalized size 1 1. 0.24 0. 0. 12.68 0. 0. time (sec) N/A 0.244 0.051 0.038 0. 2.282 0. 0.
 Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F F B F F veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 218 218 59 0 0 2232 0 0 normalized size 1 1. 0.27 0. 0. 10.24 0. 0. time (sec) N/A 0.223 0.04 0.037 0. 2.218 0. 0.
 Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F F B F F veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 128 128 59 0 0 1694 0 0 normalized size 1 1. 0.46 0. 0. 13.23 0. 0. time (sec) N/A 0.092 0.034 0.059 0. 1.933 0. 0.
 Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F F B F F veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 128 128 59 0 0 1694 0 0 normalized size 1 1. 0.46 0. 0. 13.23 0. 0. time (sec) N/A 0.089 0.024 0.039 0. 1.951 0. 0.
 Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F F B F F veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 218 218 57 0 0 2232 0 0 normalized size 1 1. 0.26 0. 0. 10.24 0. 0. time (sec) N/A 0.201 0.026 0.054 0. 2.045 0. 0.
 Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F F B F(-1) F veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 243 243 57 0 0 3081 0 0 normalized size 1 1. 0.23 0. 0. 12.68 0. 0. time (sec) N/A 0.236 0.028 0.038 0. 2.133 0. 0.
 Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F F B F(-1) F veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 155 155 59 0 0 2222 0 0 normalized size 1 1. 0.38 0. 0. 14.34 0. 0. time (sec) N/A 0.125 0.035 0.038 0. 1.925 0. 0.
 Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F F B F(-1) F veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 155 155 59 0 0 3047 0 0 normalized size 1 1. 0.38 0. 0. 19.66 0. 0. time (sec) N/A 0.121 0.031 0.038 0. 2.072 0. 0.
 Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A F B B F(-1) F veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 16 16 16 0 82 335 0 0 normalized size 1 1. 1. 0. 5.12 20.94 0. 0. time (sec) N/A 0.03 0.011 0.027 1.706 1.814 0. 0.
 Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A F B B F(-1) F veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 16 16 16 0 82 333 0 0 normalized size 1 1. 1. 0. 5.12 20.81 0. 0. time (sec) N/A 0.03 0.016 0.029 1.63 1.849 0. 0.
 Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A F B F(-1) F veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 10 10 10 7 0 213 0 0 normalized size 1 1. 1. 0.7 0. 21.3 0. 0. time (sec) N/A 0.026 0.008 0.006 0. 1.829 0. 0.
 Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A A B F A veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 23 23 23 24 55 254 0 43 normalized size 1 1. 1. 1.04 2.39 11.04 0. 1.87 time (sec) N/A 0.017 0.012 0.016 1.581 1.936 0. 1.209
 Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A B A F B veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 21 21 21 32 73 85 0 62 normalized size 1 1. 1. 1.52 3.48 4.05 0. 2.95 time (sec) N/A 0.026 0.031 0.013 1.022 1.751 0. 1.188
 Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A B B F A veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 49 49 48 70 123 1289 0 88 normalized size 1 1. 0.98 1.43 2.51 26.31 0. 1.8 time (sec) N/A 0.03 0.054 0.019 1.599 1.967 0. 1.205
 Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A B B F B veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 37 37 37 67 132 257 0 96 normalized size 1 1. 1. 1.81 3.57 6.95 0. 2.59 time (sec) N/A 0.033 0.035 0.017 1.029 1.759 0. 1.277
 Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A B B F B veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 28 28 25 27 76 551 0 77 normalized size 1 1. 0.89 0.96 2.71 19.68 0. 2.75 time (sec) N/A 0.025 0.019 0.017 1.547 1.974 0. 1.233
 Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A A A F A veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 40 40 31 39 86 150 0 92 normalized size 1 1. 0.78 0.98 2.15 3.75 0. 2.3 time (sec) N/A 0.04 0.11 0.015 1.013 1.825 0. 1.301
 Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A B B F B veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 43 43 35 47 139 2049 0 130 normalized size 1 1. 0.81 1.09 3.23 47.65 0. 3.02 time (sec) N/A 0.044 0.051 0.017 1.589 1.895 0. 1.292
 Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A A B F A veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 38 38 38 38 96 836 0 85 normalized size 1 1. 1. 1. 2.53 22. 0. 2.24 time (sec) N/A 0.026 0.014 0.019 1.565 1.872 0. 1.182
 Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A B A F B veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 38 38 40 50 107 177 0 103 normalized size 1 1. 1.05 1.32 2.82 4.66 0. 2.71 time (sec) N/A 0.041 0.033 0.019 1.064 1.829 0. 1.264
 Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A B B F A veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 66 66 65 92 157 2390 0 130 normalized size 1 1. 0.98 1.39 2.38 36.21 0. 1.97 time (sec) N/A 0.042 0.103 0.02 1.631 1.941 0. 1.377
 Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A B B F B veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 40 40 34 39 109 1270 0 116 normalized size 1 1. 0.85 0.98 2.72 31.75 0. 2.9 time (sec) N/A 0.032 0.03 0.017 1.585 1.819 0. 1.191
 Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A B B A B veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 11 11 11 12 31 154 17 32 normalized size 1 1. 1. 1.09 2.82 14. 1.55 2.91 time (sec) N/A 0.013 0.007 0.007 1.134 1.69 0.321 1.164
 Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A A B A A veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 15 15 15 14 18 235 22 36 normalized size 1 1. 1. 0.93 1.2 15.67 1.47 2.4 time (sec) N/A 0.02 0.011 0.005 1.009 1.759 0.678 1.194
 Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A B B A F veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 16 16 16 17 49 338 39 0 normalized size 1 1. 1. 1.06 3.06 21.12 2.44 0. time (sec) N/A 0.03 0.038 0.007 1.772 1.851 0.678 0.
 Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B A B F B veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 15 15 15 42 18 378 0 42 normalized size 1 1. 1. 2.8 1.2 25.2 0. 2.8 time (sec) N/A 0.029 0.006 0.018 1.037 1.861 0. 1.218
 Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B A B A B veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 15 15 15 42 18 572 44 50 normalized size 1 1. 1. 2.8 1.2 38.13 2.93 3.33 time (sec) N/A 0.03 0.005 0.018 1.079 1.808 2.389 1.257
 Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A F(-2) B F F veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 19 19 19 20 0 190 0 0 normalized size 1 1. 1. 1.05 0. 10. 0. 0. time (sec) N/A 0.035 0.019 0.014 0. 2.071 0. 0.
 Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A B B A A veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 27 27 27 50 200 467 41 66 normalized size 1 1. 1. 1.85 7.41 17.3 1.52 2.44 time (sec) N/A 0.024 0.031 0.011 1.02 1.748 1.281 1.249
 Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B B B A A veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 31 31 31 68 289 946 46 70 normalized size 1 1. 1. 2.19 9.32 30.52 1.48 2.26 time (sec) N/A 0.035 0.056 0.023 1.166 1.823 4.517 1.199
 Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A C B B F(-2) F veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 36 36 32 275 466 605 0 0 normalized size 1 1. 0.89 7.64 12.94 16.81 0. 0. time (sec) N/A 0.049 0.122 0.134 2.017 1.86 0. 0.
 Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A B B F A veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 31 31 56 52 373 836 0 72 normalized size 1 1. 1.81 1.68 12.03 26.97 0. 2.32 time (sec) N/A 0.033 0.041 0.019 1.129 1.853 0. 1.254
 Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A F B B F F veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 35 35 29 0 475 1521 0 0 normalized size 1 1. 0.83 0. 13.57 43.46 0. 0. time (sec) N/A 0.037 0.105 0.194 1.804 1.899 0. 0.
 Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A C B B F F veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 40 40 73 535 680 477 0 0 normalized size 1 1. 1.82 13.38 17. 11.92 0. 0. time (sec) N/A 0.044 0.904 0.204 1.648 1.92 0. 0.
 Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A B B F A veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 34 34 34 49 89 759 0 63 normalized size 1 1. 1. 1.44 2.62 22.32 0. 1.85 time (sec) N/A 0.024 0.015 0.013 1.638 1.826 0. 1.187
 Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A B B F A veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 55 55 59 90 151 2257 0 96 normalized size 1 1. 1.07 1.64 2.75 41.04 0. 1.75 time (sec) N/A 0.044 0.166 0.013 1.746 1.866 0. 1.235
 Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A B B F A veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 55 55 55 69 149 2236 0 90 normalized size 1 1. 1. 1.25 2.71 40.65 0. 1.64 time (sec) N/A 0.045 0.02 0.017 1.849 1.874 0. 1.213
 Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas </