## 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, 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, 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, 929, 930, 932, 933, 934, 935 }

C grade: { 172, 542, 928, 931 }

#### 2.1.2 Mathematica

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, 62, 63, 65, 66, 68, 69, 70, 71, 77, 78, 80, 81, 83, 84, 86, 87, 89, 95, 96, 98, 99, 101, 102, 104, 105, 107, 113, 114, 121, 122, 124, 127, 132, 134, 137, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 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, 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, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 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, 427, 428, 433, 434, 435, 436, 437, 438, 439, 440, 441, 442, 443, 444, 445, 446, 447, 448, 449, 450, 455, 456, 457, 459, 460, 461, 462, 463, 464, 465, 466, 467, 468, 469, 470, 471, 472, 473, 474, 475, 476, 484, 489, 490, 491, 492, 493, 494, 495, 496, 497, 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, 550, 552, 555, 556, 557, 558, 559, 560, 561, 562, 563, 564, 565, 566, 567, 568, 570, 571, 572, 573, 574, 575, 576, 577, 578, 579, 580, 581, 582, 583, 585, 586, 587, 588, 589, 590, 591, 592, 593, 594, 595, 596, 597, 598, 599, 600, 601, 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, 732, 733, 735, 738, 739, 740, 741, 742, 743, 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 }

B grade: { 365, 381, 398, 426, 584, 736, 737, 744 }

C grade: { 61, 64, 67, 72, 73, 74, 75, 76, 79, 82, 85, 88, 90, 91, 92, 93, 94, 97, 100, 103, 106, 108, 109, 110, 111, 112, 115, 116, 117, 118, 119, 120, 123, 125, 126, 128, 129, 130, 131, 133, 135, 136, 138, 172, 267, 268, 269, 429, 430, 431, 432, 451, 452, 453, 454, 458, 477, 478, 479, 480, 481, 482, 483, 485, 486, 487, 488, 498, 499, 569, 602, 731, 734 }

F grade: { 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 545, 546, 547, 548, 549, 551, 553, 554, 933, 934, 935}

#### 2.1.3 Maple

A grade: { 10, 11, 12, 13, 14, 15, 16, 17, 25, 26, 27, 28, 29, 30, 31, 32, 42, 43, 44, 45, 46, 47, 48, 49, 158, 159, 160, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 175, 176, 179, 180, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 198, 202, 203, 204, 205, 207, 208, 209, 210, 211, 213, 214, 215, 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, 292, 294, 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, 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, 369, 370, 371, 387, 388, 389, 390, 391, 392, 393, 394, 395, 397, 404, 405, 406, 407, 408, 409, 410, 411, 412, 417, 421, 422, 423, 424, 425, 426, 427, 428, 435, 438, 439, 440, 441, 442, 443, 444, 445, 446, 447, 448, 449, 455, 456, 457, 458, 459, 460, 461, 462, 463, 464, 465, 466, 467, 468, 469, 470, 475, 476, 480, 481, 482, 483, 484, 485, 486, 487, 488, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499, 503, 504, 505, 506, 507, 508, 509, 510, 511, 512, 513, 514, 515, 517, 518, 519, 520, 521, 522, 523, 524, 525, 533, 534, 535, 536, 537, 538, 539, 540, 541, 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, 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, 627, 628, 629, 630, 631, 632, 633, 634, 635, 636, 637, 638, 639, 640, 641, 642, 643, 644, 645, 646, 647, 648, 649, 650, 652, 653, 654, 655, 656, 657, 658, 659, 660, 661, 662, 663, 664, 665, 666, 667, 668, 669, 670, 671, 672, 673, 676, 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, 715, 716, 721, 722, 723, 724, 725, 726, 727, 728, 729, 732, 733, 740, 741, 742, 743, 747, 748, 749, 750, 753, 754, 757, 758, 759, 760, 763, 764, 772, 773, 774, 775, 780, 781, 782, 783, 784, 785, 786, 787, 788, 789, 790, 791, 797, 798, 799, 800, 801, 802, 803, 804, 805, 806, 807, 808, 809, 814, 815, 816, 817, 818, 819, 820, 821, 822, 823, 824, 830, 831, 832, 833, 834, 835, 836, 837, 841, 842, 846, 847, 848, 849, 850, 851, 852, 853, 854, 855, 856, 857, 858, 859, 860, 861, 862, 866, 867, 871, 872, 873, 874, 875, 876, 877, 878, 879, 880, 881, 882, 883, 884, 885, 886, 887, 888, 889, 895, 896, 897, 898, 899, 900, 901, 902, 903, 904, 905, 906, 907, 908, 909, 910, 911, 912, 913, 919, 920, 921, 922, 923, 924, 925, 926, 927 }

B grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 18, 19, 20, 21, 22, 23, 24, 33, 34, 35, 36, 37, 38, 39, 40, 41, 50, 51, 52, 53, 54, 55, 56, 57, 58, 161, 162, 174, 178, 181, 182, 199, 200, 201, 212, 217, 218, 219, 220, 289, 290, 291, 293, 379, 380, 381, 382, 383, 384, 385, 386, 396, 398, 399, 400, 401, 402, 403, 413, 414, 415, 416, 418, 419, 420, 429, 430, 431, 432, 433, 434, 436, 437, 450, 451, 452, 453, 454, 471, 472, 473, 474, 477, 478, 479, 500, 501, 502, 526, 527, 528, 529, 530, 531, 532, 586, 623, 624, 625, 626, 651, 674, 675, 677, 678, 679, 680, 681, 714, 717, 718, 719, 720, 776, 777, 778, 779, 792, 793, 794, 795, 796, 810, 811, 812, 813, 825, 826, 827, 828, 829, 838, 839, 840, 843, 844, 845, 863, 864, 865, 868, 869, 870, 890, 891, 892, 893, 894, 914, 915, 916, 917, 918 }

C grade: { 132, 134, 137 }

F grade: { 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, 133, 135, 136, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 177, 197, 206, 216, 295, 335, 362, 363, 364, 365, 366, 367, 368, 372, 373, 374, 375, 376, 377, 378, 489, 516, 542, 543, 544, 545, 546, 547, 548, 549, 550, 551, 552, 553, 554, 555, 730, 731, 734, 735, 736, 737, 738, 739, 744, 745, 746, 751, 752, 755, 756, 761, 762, 765, 766, 767, 768, 769, 770, 771, 928, 929, 930, 931, 932, 933, 934, 935 }

#### 2.1.4 Maxima

A grade: { 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 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, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 182, 183, 184, 185, 186, 188, 189, 190, 191, 192, 193, 195, 196, 202, 203, 204, 205, 207, 208, 209, 210, 211, 213, 214, 215, 217, 218, 219, 220, 221, 223, 224, 225, 226, 227, 228, 229, 230, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 252, 253, 254, 255, 256, 257, 270, 271, 272, 273, 274, 275, 276, 279, 280, 283, 284, 287, 288, 289, 290, 291, 292, 293, 294, 296, 297, 298, 301, 302, 303, 304, 319, 320, 323, 324, 327, 328, 336, 337, 338, 350, 351, 352, 353, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 415, 418, 419, 420, 421, 422, 423, 424, 425, 426, 427, 428, 429, 430, 431, 432, 433, 434, 436, 437, 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, 585, 586, 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, 633, 634, 635, 659, 660, 661, 732, 733, 740, 763, 764, 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, 880, 904

B grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 21, 33, 34, 35, 36, 37, 38, 39, 40, 41, 53, 54, 158, 159, 160, 161, 178, 179, 180, 181, 187, 194, 198, 199, 200, 201, 212, 222, 281, 282, 285, 286, 379, 380, 381, 382, 396, 397, 398, 399, 414, 416, 417, 435, 584, 587, 636, 662 }

C grade: { 321, 322, 325, 326 }

F grade: { 116, 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, 177, 197, 206, 216, 231, 232, 233, 234, 247, 248, 249, 250, 251, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 277, 278, 295, 299, 300, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 329, 330, 331, 332, 333, 334, 335, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 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, 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, 614, 615, 616, 617, 618, 619, 620, 621, 622, 623, 624, 625, 626, 627, 628, 629, 630, 631, 632, 637, 638, 639, 640, 641, 642, 643, 644, 645, 646, 647, 648, 649, 650, 651, 652, 653, 654, 655, 656, 657, 658, 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, 734, 735, 736, 737, 738, 739, 741, 742, 743, 744, 745, 746, 747, 748, 749, 750, 751, 752, 753, 754, 755, 756, 757, 758, 759, 760, 761, 762, 765, 766, 767, 768, 769, 770, 771, 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, 881, 882, 883, 884, 885, 886, 887, 888, 889, 890, 891, 892, 893, 894, 895, 896, 897, 898, 899, 900, 901, 902, 903, 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 }

#### 2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 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, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 178, 179, 180, 181, 182, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 195, 196, 198, 199, 200, 202, 203, 204, 205, 207, 208, 209, 210, 211, 212, 213, 214, 215, 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, 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, 291, 292, 293, 294, 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, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 369, 370, 371, 379, 380, 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, 443, 446, 447, 448, 449, 450, 451, 452, 453, 454, 455, 456, 457, 458, 461, 462, 463, 464, 465, 469, 470, 471, 472, 473, 474, 475, 476, 477, 478, 479, 480, 481, 482, 483, 484, 485, 486, 488, 490, 491, 494, 495, 496, 497, 498, 499, 500, 501, 502, 503, 504, 505, 506, 507, 509, 512, 513, 514, 515, 517, 518, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 531, 532, 533, 534, 535, 536, 537, 538, 539, 540, 541, 556, 557, 558, 559, 560, 561, 562, 563, 564, 565, 566, 567, 568, 569, 570, 571, 573, 574, 575, 576, 578, 579, 580, 581, 582, 583, 585, 586, 588, 589, 590, 591, 592, 593, 594, 595, 596, 597, 598, 599, 600, 601, 602, 603, 604, 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, 732, 733, 740, 741, 742, 743, 747, 748, 749, 750, 753, 754, 757, 758, 759, 760, 763, 764, 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 }

B grade: { 5, 6, 21, 37, 38, 129, 130, 131, 183, 194, 201, 242, 290, 381, 442, 466, 467, 492, 493, 519, 520, 572, 577, 584, 587, 605 }

F grade: { 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, 177, 197, 206, 216, 295, 335, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 372, 373, 374, 375, 376, 377, 378, 444, 445, 459, 460, 468, 487, 489, 508, 510, 511, 516, 542, 543, 544, 545, 546, 547, 548, 549, 550, 551, 552, 553, 554, 555, 730, 731, 734, 735, 736, 737, 738, 739, 744, 745, 746, 751, 752, 755, 756, 761, 762, 765, 766, 767, 768, 769, 770, 771, 928, 929, 930, 931, 932, 933, 934, 935 }

#### 2.1.6 Sympy

A grade: { 10, 11, 12, 13, 14, 15, 16, 17, 25, 26, 27, 28, 29, 30, 31, 32, 42, 43, 44, 45, 46, 47, 48, 49, 167, 169, 170, 171, 172, 173, 174, 175, 187, 188, 189, 190, 191, 192, 193, 195, 196, 207, 208, 209, 210, 211, 212, 213, 214, 215, 235, 236, 237, 238, 239, 240, 241, 242, 262, 263, 264, 265, 266, 267, 268, 269, 288, 292, 301, 302, 303, 304, 305, 324, 327, 328, 341, 342, 343, 344, 345, 387, 388, 389, 390, 391, 392, 393, 394, 395, 404, 405, 406, 407, 408, 409, 410, 411, 412, 421, 422, 423, 424, 425, 427, 428, 502, 528, 564, 565, 566, 567, 568, 569, 570, 571, 572, 585, 588, 589, 598, 599, 600, 601, 602, 603, 604, 605, 780, 781, 782, 783, 784, 785, 786, 787, 788, 797, 798, 799, 800, 801, 802, 803, 804, 805, 814, 815, 816, 817, 818, 819, 820, 821 }

B grade: { 134, 168, 176, 194, 306, 307, 308, 309, 346, 347, 348, 349, 426, 581, 582, 583, 584, 586, 587 }

C grade: { 137, 323, 325, 326, 338, 447, 552, 624, 625, 626, 651, 652, 767, 770, 838, 839, 840, 863, 864, 865 }

F grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 18, 19, 20, 21, 22, 23, 24, 33, 34, 35, 36, 37, 38, 39, 40, 41, 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, 135, 136, 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, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 289, 290, 291, 293, 294, 295, 296, 297, 298, 299, 300, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 329, 330, 331, 332, 333, 334, 335, 336, 337, 339, 340, 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, 396, 397, 398, 399, 400, 401, 402, 403, 413, 414, 415, 416, 417, 418, 419, 420, 429, 430, 431, 432, 433, 434, 435, 436, 437, 438, 439, 440, 441, 442, 443, 444, 445, 446, 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, 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, 529, 530, 531, 532, 533, 534, 535, 536, 537, 538, 539, 540, 541, 542, 543, 544, 545, 546, 547, 548, 549, 550, 551, 553, 554, 555, 556, 557, 558, 559, 560, 561, 562, 563, 573, 574, 575, 576, 577, 578, 579, 580, 590, 591, 592, 593, 594, 595, 596, 597, 606, 607, 608, 609, 610, 611, 612, 613, 614, 615, 616, 617, 618, 619, 620, 621, 622, 623, 627, 628, 629, 630, 631, 632, 633, 634, 635, 636, 637, 638, 639, 640, 641, 642, 643, 644, 645, 646, 647, 648, 649, 650, 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, 768, 769, 771, 772, 773, 774, 775, 776, 777, 778, 779, 789, 790, 791, 792, 793, 794, 795, 796, 806, 807, 808, 809, 810, 811, 812, 813, 822, 823, 824, 825, 826, 827, 828, 829, 830, 831, 832, 833, 834, 835, 836, 837, 841, 842, 843, 844, 845, 846, 847, 848, 849, 850, 851, 852, 853, 854, 855, 856, 857, 858, 859, 860, 861, 862, 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 }

#### 2.1.7 Giac

A grade: { 1, 4, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 42, 43, 44, 45, 46, 47, 48, 49, 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, 162, 163, 164, 165, 166, 168, 169, 170, 171, 172, 173, 175, 176, 182, 183, 184, 185, 186, 188, 189, 190, 192, 193, 195, 196, 198, 199, 200, 201, 203, 204, 205, 207, 208, 209, 210, 211, 213, 214, 215, 222, 226, 227, 228, 229, 230, 232, 233, 234, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 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, 283, 284, 287, 288, 290, 291, 292, 293, 294, 296, 297, 298, 301, 302, 303, 304, 305, 306, 307, 308, 309, 333, 334, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 400, 401, 402, 403, 409, 410, 411, 412, 415, 416, 417, 419, 420, 421, 422, 423, 424, 425, 427, 428, 435, 452, 453, 454, 475, 476, 477, 478, 479, 498, 499, 500, 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, 585, 587, 588, 589, 590, 591, 592, 593, 598, 599, 600, 601, 602, 603, 604, 605, 606, 607, 608, 609, 611, 623, 624, 625, 626, 627, 651, 652, 653, 673, 674, 675, 676, 677, 678, 712, 713, 714, 715, 716, 717, 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, 801, 802, 803, 804, 805, 806, 807, 808, 809, 814, 815, 816, 817, 818, 819, 820, 821, 822, 823, 824, 825, 826, 827, 838, 839, 840, 841, 863, 864, 865, 866, 886, 887, 888, 889, 890, 892, 910, 911, 912, 913, 914, 916 }

B grade: { 2, 3, 5, 6, 7, 8, 9, 20, 21, 29, 37, 38, 39, 40, 41, 158, 159, 160, 161, 174, 178, 179, 180, 181, 191, 194, 212, 235, 236, 281, 282, 285, 286, 289, 379, 380, 381, 382, 383, 396, 397, 398, 399, 404, 405, 406, 407, 408, 413, 414, 426, 450, 451, 501, 530, 531, 532, 583, 584, 586, 610, 629, 655, 679, 680, 681, 718, 719, 720, 799, 800, 891, 893, 894, 915, 917, 918 }

C grade: { 231, 247, 299, 300, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328 }

F grade: { 50, 51, 52, 53, 54, 55, 56, 57, 58, 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, 167, 177, 187, 197, 202, 206, 216, 217, 218, 219, 220, 221, 223, 224, 225, 295, 329, 330, 331, 332, 335, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 418, 429, 430, 431, 432, 433, 434, 436, 437, 438, 439, 440, 441, 442, 443, 444, 445, 446, 447, 448, 449, 455, 456, 457, 458, 459, 460, 461, 462, 463, 464, 465, 466, 467, 468, 469, 470, 471, 472, 473, 474, 480, 481, 482, 483, 484, 485, 486, 487, 488, 489, 490, 491, 492, 493, 494, 495, 496, 497, 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, 533, 534, 535, 536, 537, 538, 539, 540, 541, 542, 543, 544, 545, 546, 547, 548, 549, 550, 551, 552, 553, 554, 555, 594, 595, 596, 597, 612, 613, 614, 615, 616, 617, 618, 619, 620, 621, 622, 628, 630, 631, 632, 633, 634, 635, 636, 637, 638, 639, 640, 641, 642, 643, 644, 645, 646, 647, 648, 649, 650, 654, 656, 657, 658, 659, 660, 661, 662, 663, 664, 665, 666, 667, 668, 669, 670, 671, 672, 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, 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, 810, 811, 812, 813, 828, 829, 830, 831, 832, 833, 834, 835, 836, 837, 842, 843, 844, 845, 846, 847, 848, 849, 850, 851, 852, 853, 854, 855, 856, 857, 858, 859, 860, 861, 862, 867, 868, 869, 870, 871, 872, 873, 874, 875, 876, 877, 878, 879, 880, 881, 882, 883, 884, 885, 895, 896, 897, 898, 899, 900, 901, 902, 903, 904, 905, 906, 907, 908, 909, 919, 920, 921, 922, 923, 924, 925, 926, 927, 928, 929, 930, 931, 932, 933, 934, 935 }

### 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 A B B A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 114 114 68 193 274 227 0 246 normalized size 1 1. 0.6 1.69 2.4 1.99 0. 2.16 time (sec) N/A 0.123 0.069 0.187 1.03 1.686 0. 1.181
 Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B B A F B veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 90 90 60 173 224 204 0 204 normalized size 1 1. 0.67 1.92 2.49 2.27 0. 2.27 time (sec) N/A 0.093 0.047 0.128 1.088 1.691 0. 1.197
 Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B B A F B veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 63 63 49 152 173 180 0 159 normalized size 1 1. 0.78 2.41 2.75 2.86 0. 2.52 time (sec) N/A 0.064 0.036 0.123 0.982 1.569 0. 1.163
 Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B B A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 36 36 41 97 122 155 0 77 normalized size 1 1. 1.14 2.69 3.39 4.31 0. 2.14 time (sec) N/A 0.036 0.022 0.12 1.025 1.569 0. 1.157
 Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B B B F B veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 22 22 36 132 93 150 0 95 normalized size 1 1. 1.64 6. 4.23 6.82 0. 4.32 time (sec) N/A 0.043 0.013 0.128 1.563 1.531 0. 1.174
 Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B B B F B veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 24 24 27 220 72 112 0 72 normalized size 1 1. 1.12 9.17 3. 4.67 0. 3. time (sec) N/A 0.025 0.019 0.13 1.543 1.635 0. 1.154
 Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B B A F B veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 38 38 42 257 123 144 0 117 normalized size 1 1. 1.11 6.76 3.24 3.79 0. 3.08 time (sec) N/A 0.031 0.042 0.126 1.525 1.728 0. 1.136
 Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B B A F B veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 75 75 51 284 184 161 0 176 normalized size 1 1. 0.68 3.79 2.45 2.15 0. 2.35 time (sec) N/A 0.062 0.078 0.135 1.552 1.559 0. 1.173
 Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B B A F(-1) B veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 88 88 59 308 232 185 0 221 normalized size 1 1. 0.67 3.5 2.64 2.1 0. 2.51 time (sec) N/A 0.083 0.094 0.138 1.561 1.966 0. 1.159
 Problem 10 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 43 43 43 39 58 100 37 63 normalized size 1 1. 1. 0.91 1.35 2.33 0.86 1.47 time (sec) N/A 0.053 0.019 0.042 1.018 1.872 1.905 1.165
 Problem 11 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 33 33 33 31 46 76 27 51 normalized size 1 1. 1. 0.94 1.39 2.3 0.82 1.55 time (sec) N/A 0.049 0.014 0.039 1.009 1.802 0.72 1.139
 Problem 12 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 26 26 26 24 35 59 20 41 normalized size 1 1. 1. 0.92 1.35 2.27 0.77 1.58 time (sec) N/A 0.033 0.012 0.037 1.167 1.825 1.214 1.141
 Problem 13 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 14 14 14 14 18 35 10 19 normalized size 1 1. 1. 1. 1.29 2.5 0.71 1.36 time (sec) N/A 0.014 0.011 0.042 1.018 1.785 0.098 1.127
 Problem 14 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 14 14 14 14 18 34 10 20 normalized size 1 1. 1. 1. 1.29 2.43 0.71 1.43 time (sec) N/A 0.04 0.009 0.043 1.007 1.793 0.179 1.164
 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 19 19 19 19 24 58 15 27 normalized size 1 1. 1. 1. 1.26 3.05 0.79 1.42 time (sec) N/A 0.045 0.011 0.044 1.13 1.942 2.053 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 33 33 33 31 41 88 26 43 normalized size 1 1. 1. 0.94 1.24 2.67 0.79 1.3 time (sec) N/A 0.047 0.014 0.047 0.983 1.837 2.127 1.148
 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 40 40 40 38 51 104 34 54 normalized size 1 1. 1. 0.95 1.27 2.6 0.85 1.35 time (sec) N/A 0.051 0.015 0.044 0.983 1.973 1.614 1.123
 Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 118 118 75 471 246 267 0 231 normalized size 1 1. 0.64 3.99 2.08 2.26 0. 1.96 time (sec) N/A 1.071 0.08 0.166 1. 1.982 0. 1.177
 Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 92 92 66 421 196 243 0 189 normalized size 1 1. 0.72 4.58 2.13 2.64 0. 2.05 time (sec) N/A 0.872 0.063 0.165 1.007 1.956 0. 1.189
 Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B A A F B veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 62 62 54 247 149 217 0 161 normalized size 1 1. 0.87 3.98 2.4 3.5 0. 2.6 time (sec) N/A 0.811 0.047 0.136 1.009 1.841 0. 1.167
 Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B B B F B veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 46 46 53 363 122 262 0 123 normalized size 1 1. 1.15 7.89 2.65 5.7 0. 2.67 time (sec) N/A 0.783 0.059 0.173 1.483 1.861 0. 1.207
 Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 51 51 41 593 97 162 0 115 normalized size 1 1. 0.8 11.63 1.9 3.18 0. 2.25 time (sec) N/A 0.074 0.082 0.169 1.473 1.9 0. 1.186
 Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 91 91 56 642 149 194 0 146 normalized size 1 1. 0.62 7.05 1.64 2.13 0. 1.6 time (sec) N/A 0.453 0.093 0.171 1.528 1.945 0. 1.189
 Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B A A F(-1) A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 93 93 66 666 208 213 0 203 normalized size 1 1. 0.71 7.16 2.24 2.29 0. 2.18 time (sec) N/A 0.743 0.112 0.171 1.493 1.95 0. 1.214
 Problem 25 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 57 57 57 52 78 155 49 105 normalized size 1 1. 1. 0.91 1.37 2.72 0.86 1.84 time (sec) N/A 0.066 0.046 0.047 0.985 1.706 0.353 1.21
 Problem 26 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 47 47 47 44 66 130 39 93 normalized size 1 1. 1. 0.94 1.4 2.77 0.83 1.98 time (sec) N/A 0.06 0.036 0.043 1.072 1.712 0.32 1.118
 Problem 27 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 39 39 39 36 55 109 31 86 normalized size 1 1. 1. 0.92 1.41 2.79 0.79 2.21 time (sec) N/A 0.041 0.028 0.045 1.082 1.84 0.327 1.129
 Problem 28 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 27 27 26 26 35 81 19 62 normalized size 1 1. 0.96 0.96 1.3 3. 0.7 2.3 time (sec) N/A 0.019 0.019 0.046 0.998 1.712 0.319 1.124
 Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A A A A A B veriﬁed N/A Yes Yes TBD TBD TBD TBD TBD size 13 13 13 13 16 46 8 77 normalized size 1 1. 1. 1. 1.23 3.54 0.62 5.92 time (sec) N/A 0.039 0.01 0.046 1.02 1.787 0.356 1.12
 Problem 30 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 32 32 32 31 46 116 26 54 normalized size 1 1. 1. 0.97 1.44 3.62 0.81 1.69 time (sec) N/A 0.051 0.024 0.047 0.97 1.786 0.412 1.138
 Problem 31 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 46 43 65 155 41 84 normalized size 1 1. 1. 0.93 1.41 3.37 0.89 1.83 time (sec) N/A 0.054 0.03 0.053 1.019 1.813 0.459 1.157
 Problem 32 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 54 54 54 51 76 173 49 100 normalized size 1 1. 1. 0.94 1.41 3.2 0.91 1.85 time (sec) N/A 0.061 0.042 0.049 1.002 1.893 0.463 1.182
 Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B B A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 114 114 68 193 274 220 0 136 normalized size 1 1. 0.6 1.69 2.4 1.93 0. 1.19 time (sec) N/A 0.127 0.067 0.125 1.052 1.963 0. 1.16
 Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B B A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 90 90 60 173 224 198 0 116 normalized size 1 1. 0.67 1.92 2.49 2.2 0. 1.29 time (sec) N/A 0.1 0.049 0.128 1.015 1.927 0. 1.197
 Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B B A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 64 64 49 152 176 177 0 96 normalized size 1 1. 0.77 2.38 2.75 2.77 0. 1.5 time (sec) N/A 0.068 0.035 0.128 1.002 1.84 0. 1.211
 Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B B A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 37 37 42 98 122 155 0 70 normalized size 1 1. 1.14 2.65 3.3 4.19 0. 1.89 time (sec) N/A 0.039 0.024 0.118 1.048 1.859 0. 1.155
 Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B B B F B veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 20 20 34 130 95 151 0 80 normalized size 1 1. 1.7 6.5 4.75 7.55 0. 4. time (sec) N/A 0.048 0.015 0.125 1.599 1.848 0. 1.161
 Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B B B F B veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 25 25 26 220 74 112 0 84 normalized size 1 1. 1.04 8.8 2.96 4.48 0. 3.36 time (sec) N/A 0.027 0.02 0.128 1.505 1.864 0. 1.152
 Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B B A F B veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 40 40 41 260 126 143 0 212 normalized size 1 1. 1.02 6.5 3.15 3.58 0. 5.3 time (sec) N/A 0.037 0.046 0.138 1.574 1.854 0. 1.194
 Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B B A F B veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 76 76 52 284 185 155 0 219 normalized size 1 1. 0.68 3.74 2.43 2.04 0. 2.88 time (sec) N/A 0.066 0.079 0.13 1.57 1.854 0. 1.169
 Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B B A F B veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 88 88 59 308 234 180 0 348 normalized size 1 1. 0.67 3.5 2.66 2.05 0. 3.95 time (sec) N/A 0.09 0.094 0.138 1.519 1.937 0. 1.188
 Problem 42 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 42 42 42 39 58 100 37 63 normalized size 1 1. 1. 0.93 1.38 2.38 0.88 1.5 time (sec) N/A 0.057 0.019 0.039 0.986 1.746 0.277 1.137
 Problem 43 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 33 33 33 32 46 76 27 51 normalized size 1 1. 1. 0.97 1.39 2.3 0.82 1.55 time (sec) N/A 0.051 0.014 0.039 1.02 1.585 0.271 1.147
 Problem 44 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 25 25 25 24 35 59 20 41 normalized size 1 1. 1. 0.96 1.4 2.36 0.8 1.64 time (sec) N/A 0.032 0.012 0.039 1.052 1.841 0.261 1.118
 Problem 45 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 13 13 13 14 18 35 10 19 normalized size 1 1. 1. 1.08 1.38 2.69 0.77 1.46 time (sec) N/A 0.013 0.011 0.039 1.013 1.732 0.094 1.149
 Problem 46 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 13 13 13 14 18 34 10 20 normalized size 1 1. 1. 1.08 1.38 2.62 0.77 1.54 time (sec) N/A 0.04 0.007 0.043 1.011 1.754 0.136 1.14
 Problem 47 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 18 18 18 19 24 59 15 27 normalized size 1 1. 1. 1.06 1.33 3.28 0.83 1.5 time (sec) N/A 0.043 0.009 0.045 1.001 1.522 0.319 1.145
 Problem 48 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 32 32 32 31 41 88 26 43 normalized size 1 1. 1. 0.97 1.28 2.75 0.81 1.34 time (sec) N/A 0.046 0.012 0.043 1.021 1.537 0.34 1.144
 Problem 49 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 40 40 40 39 51 105 34 54 normalized size 1 1. 1. 0.98 1.27 2.62 0.85 1.35 time (sec) N/A 0.05 0.013 0.046 0.985 1.472 0.361 1.151
 Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B A A F(-1) F veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 136 136 83 539 301 227 0 0 normalized size 1 1. 0.61 3.96 2.21 1.67 0. 0. time (sec) N/A 1.019 0.088 0.138 1.043 1.476 0. 0.
 Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B A A F(-1) F veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 116 116 75 471 251 209 0 0 normalized size 1 1. 0.65 4.06 2.16 1.8 0. 0. time (sec) N/A 0.869 0.076 0.132 1.015 1.698 0. 0.
 Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B A A F F veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 90 90 66 421 204 186 0 0 normalized size 1 1. 0.73 4.68 2.27 2.07 0. 0. time (sec) N/A 0.842 0.062 0.128 0.996 1.729 0. 0.
 Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B B A F F veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 60 60 54 248 150 161 0 0 normalized size 1 1. 0.9 4.13 2.5 2.68 0. 0. time (sec) N/A 0.779 0.047 0.129 1.032 1.701 0. 0.
 Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B B A F F veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 46 46 55 369 120 192 0 0 normalized size 1 1. 1.2 8.02 2.61 4.17 0. 0. time (sec) N/A 0.761 0.052 0.132 1.555 1.583 0. 0.
 Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B A A F F veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 53 53 41 592 97 116 0 0 normalized size 1 1. 0.77 11.17 1.83 2.19 0. 0. time (sec) N/A 0.078 0.067 0.131 1.545 1.511 0. 0.
 Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B A A F F veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 87 87 56 642 151 147 0 0 normalized size 1 1. 0.64 7.38 1.74 1.69 0. 0. time (sec) N/A 0.445 0.137 0.131 1.499 1.594 0. 0.
 Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B A A F(-1) F veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 96 96 66 666 212 166 0 0 normalized size 1 1. 0.69 6.94 2.21 1.73 0. 0. time (sec) N/A 0.766 0.101 0.147 1.523 1.619 0. 0.
 Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A B A A F(-1) F veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 133 133 75 690 261 184 0 0 normalized size 1 1. 0.56 5.19 1.96 1.38 0. 0. time (sec) N/A 0.839 0.05 0.138 1.53 1.515 0. 0.
 Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A F A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 253 253 173 0 350 331 0 316 normalized size 1 1. 0.68 0. 1.38 1.31 0. 1.25 time (sec) N/A 0.154 5.216 0.18 1.534 1.63 0. 1.178
 Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A F A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 216 216 149 0 302 302 0 274 normalized size 1 1. 0.69 0. 1.4 1.4 0. 1.27 time (sec) N/A 0.119 5.174 0.132 1.523 1.682 0. 1.216
 Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 179 179 399 0 252 275 0 232 normalized size 1 1. 2.23 0. 1.41 1.54 0. 1.3 time (sec) N/A 0.095 5.133 0.135 1.484 1.762 0. 1.217
 Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A F A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 142 142 66 0 201 247 0 188 normalized size 1 1. 0.46 0. 1.42 1.74 0. 1.32 time (sec) N/A 0.06 0.163 0.132 1.485 1.721 0. 1.196
 Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A F A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 96 96 51 0 150 225 0 146 normalized size 1 1. 0.53 0. 1.56 2.34 0. 1.52 time (sec) N/A 0.037 0.088 0.138 1.473 1.609 0. 1.24
 Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 291 291 30 0 302 807 0 313 normalized size 1 1. 0.1 0. 1.04 2.77 0. 1.08 time (sec) N/A 0.246 0.04 0.124 1.568 1.733 0. 1.187
 Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A F A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 267 267 148 0 251 1027 0 251 normalized size 1 1. 0.55 0. 0.94 3.85 0. 0.94 time (sec) N/A 0.225 0.24 0.138 1.56 1.798 0. 1.203
 Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A F A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 319 319 173 0 305 1067 0 301 normalized size 1 1. 0.54 0. 0.96 3.34 0. 0.94 time (sec) N/A 0.249 0.216 0.137 1.486 1.773 0. 1.156
 Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 356 356 93 0 365 1160 0 366 normalized size 1 1. 0.26 0. 1.03 3.26 0. 1.03 time (sec) N/A 0.292 0.106 0.137 1.493 1.67 0. 1.174
 Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A F A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 253 253 173 0 350 333 0 316 normalized size 1 1. 0.68 0. 1.38 1.32 0. 1.25 time (sec) N/A 0.14 5.236 0.158 1.471 1.682 0. 1.217
 Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A F A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 216 216 149 0 302 302 0 274 normalized size 1 1. 0.69 0. 1.4 1.4 0. 1.27 time (sec) N/A 0.118 5.209 0.148 1.484 1.711 0. 1.221
 Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A F A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 179 179 125 0 252 279 0 232 normalized size 1 1. 0.7 0. 1.41 1.56 0. 1.3 time (sec) N/A 0.094 5.16 0.138 1.503 1.703 0. 1.208
 Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A F A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 142 142 70 0 205 254 0 190 normalized size 1 1. 0.49 0. 1.44 1.79 0. 1.34 time (sec) N/A 0.059 0.172 0.13 1.504 1.766 0. 1.214
 Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 98 98 56 0 151 231 0 147 normalized size 1 1. 0.57 0. 1.54 2.36 0. 1.5 time (sec) N/A 0.037 0.06 0.126 1.518 1.586 0. 1.162
 Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 291 291 30 0 302 807 0 313 normalized size 1 1. 0.1 0. 1.04 2.77 0. 1.08 time (sec) N/A 0.228 0.045 0.122 1.579 1.825 0. 1.157
 Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 268 268 46 0 252 1014 0 252 normalized size 1 1. 0.17 0. 0.94 3.78 0. 0.94 time (sec) N/A 0.215 0.07 0.136 1.568 1.683 0. 1.137
 Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 319 319 76 0 309 1072 0 304 normalized size 1 1. 0.24 0. 0.97 3.36 0. 0.95 time (sec) N/A 0.246 0.081 0.132 1.531 1.767 0. 1.161
 Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F A A F(-1) A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 356 356 93 0 374 1133 0 366 normalized size 1 1. 0.26 0. 1.05 3.18 0. 1.03 time (sec) N/A 0.282 0.117 0.135 1.496 1.784 0. 1.135
 Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A F A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 287 287 198 0 371 423 0 343 normalized size 1 1. 0.69 0. 1.29 1.47 0. 1.2 time (sec) N/A 0.165 5.25 0.319 1.546 1.705 0. 1.204
 Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A F A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 250 250 161 0 321 389 0 301 normalized size 1 1. 0.64 0. 1.28 1.56 0. 1.2 time (sec) N/A 0.136 5.239 0.325 1.494 1.704 0. 1.207
 Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 213 213 441 0 274 358 0 259 normalized size 1 1. 2.07 0. 1.29 1.68 0. 1.22 time (sec) N/A 0.112 9.056 0.322 1.552 1.585 0. 1.182
 Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A F A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 176 176 80 0 224 332 0 217 normalized size 1 1. 0.45 0. 1.27 1.89 0. 1.23 time (sec) N/A 0.068 0.212 0.325 1.487 1.679 0. 1.169
 Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A F A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 130 130 67 0 177 304 0 190 normalized size 1 1. 0.52 0. 1.36 2.34 0. 1.46 time (sec) N/A 0.044 0.133 0.322 1.485 1.601 0. 1.209
 Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 320 320 30 0 329 975 0 340 normalized size 1 1. 0.09 0. 1.03 3.05 0. 1.06 time (sec) N/A 0.297 0.071 0.135 1.535 1.676 0. 1.194
 Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A F A A F(-1) A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 299 299 173 0 275 1169 0 293 normalized size 1 1. 0.58 0. 0.92 3.91 0. 0.98 time (sec) N/A 0.257 0.373 0.355 1.559 1.814 0. 1.209
 Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A F A A F(-1) A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 351 351 186 0 329 1247 0 328 normalized size 1 1. 0.53 0. 0.94 3.55 0. 0.93 time (sec) N/A 0.285 0.262 0.336 1.526 1.76 0. 1.189
 Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F A A F(-1) A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 385 385 104 0 389 1319 0 393 normalized size 1 1. 0.27 0. 1.01 3.43 0. 1.02 time (sec) N/A 0.313 0.143 0.336 1.678 1.71 0. 1.214
 Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A F A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 253 253 173 0 350 323 0 316 normalized size 1 1. 0.68 0. 1.38 1.28 0. 1.25 time (sec) N/A 0.14 5.28 0.137 1.51 1.607 0. 1.231
 Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A F A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 216 216 149 0 302 296 0 274 normalized size 1 1. 0.69 0. 1.4 1.37 0. 1.27 time (sec) N/A 0.115 5.229 0.131 1.632 1.657 0. 1.293
 Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 179 179 389 0 252 270 0 232 normalized size 1 1. 2.17 0. 1.41 1.51 0. 1.3 time (sec) N/A 0.092 8.387 0.128 1.538 1.67 0. 1.204
 Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A F A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 142 142 66 0 204 244 0 189 normalized size 1 1. 0.46 0. 1.44 1.72 0. 1.33 time (sec) N/A 0.06 0.155 0.128 1.533 1.636 0. 1.192
 Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 97 97 33 0 150 225 0 146 normalized size 1 1. 0.34 0. 1.55 2.32 0. 1.51 time (sec) N/A 0.036 0.043 0.123 1.484 1.658 0. 1.15
 Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 291 291 30 0 302 806 0 313 normalized size 1 1. 0.1 0. 1.04 2.77 0. 1.08 time (sec) N/A 0.228 0.044 0.124 1.548 1.607 0. 1.174
 Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 268 268 33 0 251 990 0 251 normalized size 1 1. 0.12 0. 0.94 3.69 0. 0.94 time (sec) N/A 0.218 0.05 0.141 1.504 1.722 0. 1.172
 Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 319 319 56 0 306 1035 0 301 normalized size 1 1. 0.18 0. 0.96 3.24 0. 0.94 time (sec) N/A 0.25 0.069 0.137 1.541 1.723 0. 1.147
 Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 356 356 93 0 374 1106 0 366 normalized size 1 1. 0.26 0. 1.05 3.11 0. 1.03 time (sec) N/A 0.277 0.127 0.138 1.487 1.668 0. 1.193
 Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A F A A F(-1) A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 253 253 173 0 350 331 0 316 normalized size 1 1. 0.68 0. 1.38 1.31 0. 1.25 time (sec) N/A 0.14 5.313 0.141 1.503 1.643 0. 1.252
 Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A F A A F(-1) A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 216 216 149 0 302 300 0 274 normalized size 1 1. 0.69 0. 1.4 1.39 0. 1.27 time (sec) N/A 0.116 5.255 0.135 1.52 1.646 0. 1.23
 Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A C F A A F(-1) A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 179 179 389 0 252 277 0 232 normalized size 1 1. 2.17 0. 1.41 1.55 0. 1.3 time (sec) N/A 0.092 8.141 0.138 1.503 1.617 0. 1.23
 Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A F A A F(-1) A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 142 142 70 0 205 254 0 190 normalized size 1 1. 0.49 0. 1.44 1.79 0. 1.34 time (sec) N/A 0.059 0.187 0.134 1.503 1.646 0. 1.202
 Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac grade A A A F A A F A veriﬁed N/A Yes NO TBD TBD TBD TBD TBD size 98 98 55 0 151 231 0 147 normalized size 1 1. 0.56 0. 1.54 2.36 0. 1.5 time (sec) N/A 0.035 0.11 0.128 1.505 1.669 0. 1.2
 Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy