[next] [prev] [prev-tail] [tail] [up]

Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  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.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

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, 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 }

B grade: { }

C grade: { }

F grade: { 61}

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 47, 48, 53, 54, 55, 58, 59, 60, 62, 63, 64, 66, 67, 68, 71, 72, 73, 75, 76, 77, 78, 81, 82, 83, 84, 85, 86, 87, 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, 126, 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, 158, 159, 160, 161, 163, 164, 169, 171, 173, 174, 175, 176, 178, 179, 180, 181, 182, 184, 185, 186, 187, 188, 190, 191, 192, 193, 194, 196, 197, 206, 207, 208, 209, 210, 211, 212, 213, 214, 216, 217, 218, 219, 220, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 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, 272, 273, 275, 276, 277, 284, 285, 286, 287, 288, 289, 290, 292, 293, 295, 296 }

B grade: { 125, 127, 128, 129, 157, 162, 165, 166, 167, 168, 170, 172, 177, 183, 189, 195, 239, 278, 291, 294 }

C grade: { 7, 12, 13, 20, 25, 26, 46, 49, 50, 51, 52, 56, 57, 61, 65, 69, 70, 74, 88, 89, 90, 198, 199, 200, 201, 202, 203, 204, 205, 279, 280, 281, 282, 283 }

F grade: { 79, 80, 215, 221, 269, 270, 271, 274}

2.1.3 Maple

A grade: { 3, 4, 5, 8, 9, 10, 12, 16, 17, 18, 23, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39, 40, 41, 42, 43, 44, 47, 48, 53, 56, 58, 59, 60, 61, 62, 63, 64, 68, 69, 78, 82, 85, 86, 88, 93, 95, 97, 98, 99, 100, 101, 102, 103, 104, 106, 108, 109, 110, 112, 113, 115, 117, 130, 131, 132, 133, 134, 135, 139, 140, 141, 145, 146, 147, 151, 152, 153, 159, 164, 169, 173, 179, 185, 191, 197, 199, 201, 203, 205, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 230, 232, 233, 234, 235, 236, 237, 238, 239, 243, 250, 268, 270, 271, 272, 273, 274, 288, 289, 290, 292, 294 }

B grade: { 1, 2, 6, 7, 13, 14, 15, 19, 20, 21, 22, 26, 54, 55, 57, 65, 66, 67, 70, 71, 72, 73, 74, 83, 84, 87, 89, 90, 94, 96, 105, 107, 111, 114, 116, 118, 120, 122, 123, 124, 125, 126, 128, 136, 137, 138, 142, 143, 144, 148, 149, 150, 269, 278, 281, 282, 283, 291 }

C grade: { 45, 46, 198, 200, 202, 204, 275, 276, 277, 279, 280 }

F grade: { 11, 24, 38, 49, 50, 51, 52, 75, 76, 77, 79, 80, 81, 91, 92, 119, 121, 127, 129, 154, 155, 156, 157, 158, 160, 161, 162, 163, 165, 166, 167, 168, 170, 171, 172, 174, 175, 176, 177, 178, 180, 181, 182, 183, 184, 186, 187, 188, 189, 190, 192, 193, 194, 195, 196, 206, 207, 208, 209, 210, 211, 212, 213, 228, 229, 231, 240, 241, 242, 244, 245, 246, 247, 248, 249, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 284, 285, 286, 287, 293, 295, 296 }

2.1.4 Maxima

A grade: { 1, 2, 3, 14, 15, 16, 30, 31, 34, 35, 39, 40, 41, 42, 43, 44, 78, 82, 86, 97, 135, 141, 159, 164, 169, 173, 179, 185, 191, 197, 230, 232, 233, 234, 236, 237, 242, 243, 249, 250, 268, 272, 273, 288, 289, 292, 293

B grade: { 100, 102, 111, 238 }

C grade: { }

F grade: { 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 32, 33, 36, 37, 38, 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, 79, 80, 81, 83, 84, 85, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 98, 99, 101, 103, 104, 105, 106, 107, 108, 109, 110, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 136, 137, 138, 139, 140, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 160, 161, 162, 163, 165, 166, 167, 168, 170, 171, 172, 174, 175, 176, 177, 178, 180, 181, 182, 183, 184, 186, 187, 188, 189, 190, 192, 193, 194, 195, 196, 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, 231, 235, 239, 240, 241, 244, 245, 246, 247, 248, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 269, 270, 271, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 290, 291, 294, 295, 296 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 8, 9, 10, 14, 15, 16, 21, 22, 23, 30, 31, 34, 35, 36, 37, 39, 40, 41, 42, 43, 44, 47, 48, 49, 78, 82, 83, 84, 85, 86, 96, 97, 135, 141, 147, 153, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 230, 232, 233, 234, 236, 237, 241, 242, 243, 249, 268, 272, 273, 275, 276, 277, 278, 279, 280, 281, 282, 283, 288, 289, 292, 296 }

B grade: { 5, 6, 7, 18, 19, 20, 50, 51, 52, 88, 89, 90, 93, 94, 95, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 111, 113, 114, 115, 116, 117, 122, 123, 124, 125, 238, 240, 247, 248, 250, 293, 294, 295 }

C grade: { }

F grade: { 4, 11, 12, 13, 17, 24, 25, 26, 27, 28, 29, 32, 33, 38, 45, 46, 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, 79, 80, 81, 87, 91, 92, 98, 109, 110, 112, 118, 119, 120, 121, 126, 127, 128, 129, 130, 131, 132, 133, 134, 136, 137, 138, 139, 140, 142, 143, 144, 145, 146, 148, 149, 150, 151, 152, 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, 228, 229, 231, 235, 239, 244, 245, 246, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 269, 270, 271, 274, 284, 285, 286, 287, 290, 291 }

2.1.6 Sympy

A grade: { 1, 2, 3, 8, 9, 10, 14, 15, 16, 21, 22, 23, 30, 31, 34, 35, 36, 37, 39, 40, 41, 42, 43, 44, 47, 48, 82, 83, 84, 85, 86, 93, 94, 95, 96, 97, 104, 105, 106, 107, 108, 113, 114, 115, 116, 117, 122, 123, 124, 125, 135, 141, 147, 159, 164, 179, 185, 191, 215, 216, 217, 218, 221, 222, 223, 224, 227, 230, 234, 288, 289, 292 }

B grade: { }

C grade: { }

F grade: { 4, 5, 6, 7, 11, 12, 13, 17, 18, 19, 20, 24, 25, 26, 27, 28, 29, 32, 33, 38, 45, 46, 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, 87, 88, 89, 90, 91, 92, 98, 99, 100, 101, 102, 103, 109, 110, 111, 112, 118, 119, 120, 121, 126, 127, 128, 129, 130, 131, 132, 133, 134, 136, 137, 138, 139, 140, 142, 143, 144, 145, 146, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 160, 161, 162, 163, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 180, 181, 182, 183, 184, 186, 187, 188, 189, 190, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 219, 220, 225, 226, 228, 229, 231, 232, 233, 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, 290, 291, 293, 294, 295, 296 }

2.1.7 Giac

A grade: { 1, 2, 3, 14, 15, 16, 30, 31, 34, 35, 36, 37, 39, 40, 41, 42, 43, 44, 47, 48, 49, 78, 82, 83, 84, 85, 88, 89, 135, 141, 147, 153, 159, 179, 185, 191, 197, 214, 215, 217, 219, 220, 221, 223, 225, 226, 227, 230, 232, 233, 234, 236, 237, 243, 275, 276, 277, 278, 279, 288, 289 }

B grade: { 5, 18, 86, 90, 93, 94, 95, 96, 97, 238, 250, 280, 281, 282, 283, 292, 293, 294 }

C grade: { }

F grade: { 4, 6, 7, 8, 9, 10, 11, 12, 13, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 32, 33, 38, 45, 46, 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, 79, 80, 81, 87, 91, 92, 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, 136, 137, 138, 139, 140, 142, 143, 144, 145, 146, 148, 149, 150, 151, 152, 154, 155, 156, 157, 158, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 180, 181, 182, 183, 184, 186, 187, 188, 189, 190, 192, 193, 194, 195, 196, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 216, 218, 222, 224, 228, 229, 231, 235, 239, 240, 241, 242, 244, 245, 246, 247, 248, 249, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 284, 285, 286, 287, 290, 291, 295, 296 }

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 defined 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 A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 183 183 153 351 333 329 258 225
normalized size 1 1. 0.84 1.92 1.82 1.8 1.41 1.23
time (sec) N/A 0.153 0.249 0.032 1.199 1.921 1.791 1.2
Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 123 123 113 233 201 230 155 174
normalized size 1 1. 0.92 1.89 1.63 1.87 1.26 1.41
time (sec) N/A 0.103 0.168 0.013 1.087 2.002 0.832 1.167
Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 97 97 73 107 123 143 80 117
normalized size 1 1. 0.75 1.1 1.27 1.47 0.82 1.21
time (sec) N/A 0.042 0.073 0.012 1.168 2.023 0.368 1.177
Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 178 178 176 295 0 0 0 0
normalized size 1 1. 0.99 1.66 0. 0. 0. 0.
time (sec) N/A 0.271 0.012 0.075 0. 0. 0. 0.
Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 83 92 126 0 903 0 286
normalized size 1 1. 1.11 1.52 0. 10.88 0. 3.45
time (sec) N/A 0.088 0.095 0.041 0. 2.312 0. 1.389
Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 132 132 190 338 0 2040 0 0
normalized size 1 1. 1.44 2.56 0. 15.45 0. 0.
time (sec) N/A 0.135 0.185 0.025 0. 2.959 0. 0.
Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F(-2) B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 195 195 244 1108 0 3479 0 0
normalized size 1 1. 1.25 5.68 0. 17.84 0. 0.
time (sec) N/A 0.237 0.551 0.023 0. 6.393 0. 0.
Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 334 334 191 329 0 513 371 0
normalized size 1 1. 0.57 0.99 0. 1.54 1.11 0.
time (sec) N/A 1.464 0.256 0.072 0. 1.985 3.555 0.
Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 215 215 131 207 0 358 223 0
normalized size 1 1. 0.61 0.96 0. 1.67 1.04 0.
time (sec) N/A 0.996 0.187 0.06 0. 1.985 1.5 0.
Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 122 122 105 100 0 220 110 0
normalized size 1 1. 0.86 0.82 0. 1.8 0.9 0.
time (sec) N/A 0.651 0.077 0.042 0. 1.941 0.717 0.
Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 272 272 252 0 0 0 0 0
normalized size 1 1. 0.93 0. 0. 0. 0. 0.
time (sec) N/A 0.426 0.157 0.135 0. 0. 0. 0.
Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) F F F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 259 259 848 374 0 0 0 0
normalized size 1 1. 3.27 1.44 0. 0. 0. 0.
time (sec) N/A 0.582 3.3 0.1 0. 0. 0. 0.
Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F(-2) F F F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 352 352 936 766 0 0 0 0
normalized size 1 1. 2.66 2.18 0. 0. 0. 0.
time (sec) N/A 0.694 4.457 0.185 0. 0. 0. 0.
Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 191 191 193 408 382 468 323 401
normalized size 1 1. 1.01 2.14 2. 2.45 1.69 2.1
time (sec) N/A 0.145 0.291 0.006 1.19 2.368 2.06 1.465
Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 132 132 142 274 238 324 197 266
normalized size 1 1. 1.08 2.08 1.8 2.45 1.49 2.02
time (sec) N/A 0.105 0.199 0.006 1.11 2.315 1.028 1.359
Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 106 106 117 123 146 197 105 170
normalized size 1 1. 1.1 1.16 1.38 1.86 0.99 1.6
time (sec) N/A 0.044 0.093 0.006 1.154 2.273 0.417 1.263
Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 195 195 183 314 0 0 0 0
normalized size 1 1. 0.94 1.61 0. 0. 0. 0.
time (sec) N/A 0.264 0.133 0.038 0. 0. 0. 0.
Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 88 88 121 145 0 1008 0 308
normalized size 1 1. 1.38 1.65 0. 11.45 0. 3.5
time (sec) N/A 0.056 0.192 0.004 0. 2.5 0. 1.354
Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 138 138 184 361 0 2261 0 0
normalized size 1 1. 1.33 2.62 0. 16.38 0. 0.
time (sec) N/A 0.102 0.372 0.004 0. 3.42 0. 0.
Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 202 202 259 1137 0 3889 0 0
normalized size 1 1. 1.28 5.63 0. 19.25 0. 0.
time (sec) N/A 0.164 0.939 0.004 0. 7.67 0. 0.
Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 398 398 386 791 0 1010 750 0
normalized size 1 1. 0.97 1.99 0. 2.54 1.88 0.
time (sec) N/A 1.689 0.824 0.065 0. 2.525 5.14 0.
Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 259 259 360 517 0 687 461 0
normalized size 1 1. 1.39 2. 0. 2.65 1.78 0.
time (sec) N/A 1.148 0.612 0.052 0. 2.331 2.453 0.
Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 150 150 174 245 0 406 240 0
normalized size 1 1. 1.16 1.63 0. 2.71 1.6 0.
time (sec) N/A 0.756 0.39 0.043 0. 2.301 1.028 0.
Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 303 303 285 0 0 0 0 0
normalized size 1 1. 0.94 0. 0. 0. 0. 0.
time (sec) N/A 0.456 0.242 0.03 0. 0. 0. 0.
Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 279 279 959 536 0 0 0 0
normalized size 1 1. 3.44 1.92 0. 0. 0. 0.
time (sec) N/A 0.61 4.463 0.063 0. 0. 0. 0.
Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 380 380 1089 1170 0 0 0 0
normalized size 1 1. 2.87 3.08 0. 0. 0. 0.
time (sec) N/A 0.747 8.402 0.112 0. 0. 0. 0.
Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 394 394 287 394 0 0 0 0
normalized size 1 1. 0.73 1. 0. 0. 0. 0.
time (sec) N/A 1.17 0.568 0.141 0. 0. 0. 0.
Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 245 245 187 254 0 0 0 0
normalized size 1 1. 0.76 1.04 0. 0. 0. 0.
time (sec) N/A 0.704 0.317 0.1 0. 0. 0. 0.
Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 98 120 0 0 0 0
normalized size 1 1. 0.84 1.03 0. 0. 0. 0.
time (sec) N/A 0.338 0.137 0.066 0. 0. 0. 0.
Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.034 0.206 0.198 0. 0. 0. 0.
Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.031 0.376 0.221 0. 0. 0. 0.
Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 374 366 304 649 0 0 0 0
normalized size 1 0.98 0.81 1.74 0. 0. 0. 0.
time (sec) N/A 0.751 2.306 0.174 0. 0. 0. 0.
Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 190 186 157 285 0 0 0 0
normalized size 1 0.98 0.83 1.5 0. 0. 0. 0.
time (sec) N/A 0.475 2.43 0.106 0. 0. 0. 0.
Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.031 9.89 0.208 0. 0. 0. 0.
Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.032 98.74 0.227 0. 0. 0. 0.
Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-2) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 81 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.383 6.279 3.002 0. 0. 0. 0.
Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-2) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 79 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.322 0.184 3.13 0. 0. 0. 0.
Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 125 125 177 0 0 0 0 0
normalized size 1 1. 1.42 0. 0. 0. 0. 0.
time (sec) N/A 0.081 0.224 3.666 0. 0. 0. 0.
Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.03 0.359 1.266 0. 0. 0. 0.
Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.029 0.775 1.105 0. 0. 0. 0.
Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 370 370 216 255 520 590 503 478
normalized size 1 1. 0.58 0.69 1.41 1.59 1.36 1.29
time (sec) N/A 0.459 0.282 0.03 1.137 2.335 25.8 1.159
Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 267 267 154 176 347 406 328 325
normalized size 1 1. 0.58 0.66 1.3 1.52 1.23 1.22
time (sec) N/A 0.35 0.196 0.012 1.117 2.221 9.391 1.134
Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 181 181 103 113 208 269 199 203
normalized size 1 1. 0.57 0.62 1.15 1.49 1.1 1.12
time (sec) N/A 0.189 0.146 0.011 1.121 2.176 2.935 1.117
Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 60 62 100 154 90 107
normalized size 1 1. 0.71 0.74 1.19 1.83 1.07 1.27
time (sec) N/A 0.071 0.06 0.009 1.15 2.357 0.743 1.132
Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 481 481 375 214 0 0 0 0
normalized size 1 1. 0.78 0.44 0. 0. 0. 0.
time (sec) N/A 0.758 0.373 0.623 0. 0. 0. 0.
Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 774 774 687 1632 0 0 0 0
normalized size 1 1. 0.89 2.11 0. 0. 0. 0.
time (sec) N/A 1.101 1.223 1.255 0. 0. 0. 0.
Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-2) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.031 3.042 0.256 0. 0. 0. 0.
Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-2) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.027 1.896 0.224 0. 0. 0. 0.
Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 96 96 551 0 0 649 0 111
normalized size 1 1. 5.74 0. 0. 6.76 0. 1.16
time (sec) N/A 0.193 2.966 0.146 0. 2.48 0. 1.197
Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F(-2) B F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 180 180 609 0 0 1270 0 0
normalized size 1 1. 3.38 0. 0. 7.06 0. 0.
time (sec) N/A 0.176 1.977 0.151 0. 2.73 0. 0.
Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F(-2) B F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 269 269 655 0 0 2221 0 0
normalized size 1 1. 2.43 0. 0. 8.26 0. 0.
time (sec) N/A 0.805 3.214 0.153 0. 3.537 0. 0.
Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F(-2) B F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 369 369 723 0 0 3546 0 0
normalized size 1 1. 1.96 0. 0. 9.61 0. 0.
time (sec) N/A 1.014 6.17 0.145 0. 5.566 0. 0.
Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) F F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 713 713 491 1213 0 0 0 0
normalized size 1 1. 0.69 1.7 0. 0. 0. 0.
time (sec) N/A 1.484 1.997 0.544 0. 0. 0. 0.
Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 479 479 356 855 0 0 0 0
normalized size 1 1. 0.74 1.78 0. 0. 0. 0.
time (sec) N/A 1.176 1.208 0.425 0. 0. 0. 0.
Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 255 255 251 461 0 0 0 0
normalized size 1 1. 0.98 1.81 0. 0. 0. 0.
time (sec) N/A 0.546 1.055 0.389 0. 0. 0. 0.
Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 785 785 1121 1072 0 0 0 0
normalized size 1 1. 1.43 1.37 0. 0. 0. 0.
time (sec) N/A 3.379 4.05 0.347 0. 0. 0. 0.
Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 918 918 1139 1956 0 0 0 0
normalized size 1 1. 1.24 2.13 0. 0. 0. 0.
time (sec) N/A 3.561 7.052 0.309 0. 0. 0. 0.
Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) F F(-1) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 1029 1029 901 1638 0 0 0 0
normalized size 1 1. 0.88 1.59 0. 0. 0. 0.
time (sec) N/A 2.057 4.536 0.52 0. 0. 0. 0.
Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) F F(-1) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 725 725 623 1177 0 0 0 0
normalized size 1 1. 0.86 1.62 0. 0. 0. 0.
time (sec) N/A 1.693 2.865 0.44 0. 0. 0. 0.
Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) F F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 398 398 432 656 0 0 0 0
normalized size 1 1. 1.09 1.65 0. 0. 0. 0.
time (sec) N/A 0.757 1.701 0.373 0. 0. 0. 0.
Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A F C A F(-2) F F F
verified N/A N/A NO TBD TBD TBD TBD TBD
size 1270 0 3068 1965 0 0 0 0
normalized size 1 0. 2.42 1.55 0. 0. 0. 0.
time (sec) N/A 3.853 11.717 0.27 0. 0. 0. 0.
Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) F F(-1) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 1385 1385 1802 2116 0 0 0 0
normalized size 1 1. 1.3 1.53 0. 0. 0. 0.
time (sec) N/A 2.518 7.974 0.622 0. 0. 0. 0.
Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) F F(-1) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 1015 1015 1282 1540 0 0 0 0
normalized size 1 1. 1.26 1.52 0. 0. 0. 0.
time (sec) N/A 2.106 7.348 0.526 0. 0. 0. 0.
Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) F F(-1) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 568 568 644 877 0 0 0 0
normalized size 1 1. 1.13 1.54 0. 0. 0. 0.
time (sec) N/A 0.905 6.303 0.465 0. 0. 0. 0.
Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F(-2) F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 1744 1744 6244 4234 0 0 0 0
normalized size 1 1. 3.58 2.43 0. 0. 0. 0.
time (sec) N/A 4.779 20.71 0.368 0. 0. 0. 0.
Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 478 478 405 859 0 0 0 0
normalized size 1 1. 0.85 1.8 0. 0. 0. 0.
time (sec) N/A 1.288 2.054 0.323 0. 0. 0. 0.
Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 288 288 267 559 0 0 0 0
normalized size 1 1. 0.93 1.94 0. 0. 0. 0.
time (sec) N/A 0.914 1.582 0.258 0. 0. 0. 0.
Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 136 136 172 239 0 0 0 0
normalized size 1 1. 1.26 1.76 0. 0. 0. 0.
time (sec) N/A 0.472 0.667 0.225 0. 0. 0. 0.
Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 365 365 932 754 0 0 0 0
normalized size 1 1. 2.55 2.07 0. 0. 0. 0.
time (sec) N/A 0.703 1.866 0.153 0. 0. 0. 0.
Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 523 523 1115 1978 0 0 0 0
normalized size 1 1. 2.13 3.78 0. 0. 0. 0.
time (sec) N/A 0.836 5.8 0.223 0. 0. 0. 0.
Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 549 549 353 1238 0 0 0 0
normalized size 1 1. 0.64 2.26 0. 0. 0. 0.
time (sec) N/A 1.599 1.853 0.319 0. 0. 0. 0.
Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 459 459 281 879 0 0 0 0
normalized size 1 1. 0.61 1.92 0. 0. 0. 0.
time (sec) N/A 1.267 1.078 0.276 0. 0. 0. 0.
Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 142 178 123 498 0 0 0 0
normalized size 1 1.25 0.87 3.51 0. 0. 0. 0.
time (sec) N/A 0.307 0.376 0.227 0. 0. 0. 0.
Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 773 773 1203 2484 0 0 0 0
normalized size 1 1. 1.56 3.21 0. 0. 0. 0.
time (sec) N/A 1.857 9.715 0.255 0. 0. 0. 0.
Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 239 239 204 0 0 0 0 0
normalized size 1 1. 0.85 0. 0. 0. 0. 0.
time (sec) N/A 0.471 0.632 0.322 0. 0. 0. 0.
Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A NO NO TBD TBD TBD TBD TBD
size 200 242 204 0 0 0 0 0
normalized size 1 1.21 1.02 0. 0. 0. 0. 0.
time (sec) N/A 0.625 0.132 0.376 0. 0. 0. 0.
Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A NO NO TBD TBD TBD TBD TBD
size 260 248 219 0 0 0 0 0
normalized size 1 0.95 0.84 0. 0. 0. 0. 0.
time (sec) N/A 0.695 2.06 0.439 0. 0. 0. 0.
Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 74 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.955 0.17 1.755 0. 0. 0. 0.
Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F F F F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 774 774 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 1.599 4.248 1.726 0. 0. 0. 0.
Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 600 600 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 1.129 1.842 1.412 0. 0. 0. 0.
Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 237 237 246 0 0 0 0 0
normalized size 1 1. 1.04 0. 0. 0. 0. 0.
time (sec) N/A 0.346 0.02 0.192 0. 0. 0. 0.
Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 74 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 1.063 0.279 0.925 0. 0. 0. 0.
Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 152 152 121 308 0 262 255 220
normalized size 1 1. 0.8 2.03 0. 1.72 1.68 1.45
time (sec) N/A 0.187 0.176 0.033 0. 2.273 1.932 1.203
Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 104 104 101 207 0 216 170 178
normalized size 1 1. 0.97 1.99 0. 2.08 1.63 1.71
time (sec) N/A 0.119 0.114 0.01 0. 2.343 0.887 1.207
Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 87 120 0 178 104 151
normalized size 1 1. 0.97 1.33 0. 1.98 1.16 1.68
time (sec) N/A 0.064 0.073 0.01 0. 2.26 0.384 1.208
Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 56 36 41 135 46 126
normalized size 1 1. 1.37 0.88 1. 3.29 1.12 3.07
time (sec) N/A 0.016 0.036 0.001 1.174 2.315 0.226 1.176
Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 131 131 153 436 0 0 0 0
normalized size 1 1. 1.17 3.33 0. 0. 0. 0.
time (sec) N/A 0.249 0.013 0.081 0. 0. 0. 0.
Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 83 97 0 771 0 99
normalized size 1 1. 1.3 1.52 0. 12.05 0. 1.55
time (sec) N/A 0.083 0.107 0.014 0. 2.612 0. 1.201
Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 106 106 136 181 0 1091 0 230
normalized size 1 1. 1.28 1.71 0. 10.29 0. 2.17
time (sec) N/A 0.102 0.264 0.02 0. 2.673 0. 1.191
Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F(-2) B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 154 154 162 397 0 1305 0 459
normalized size 1 1. 1.05 2.58 0. 8.47 0. 2.98
time (sec) N/A 0.172 0.296 0.02 0. 2.716 0. 1.197
Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 92 92 110 0 0 0 0 0
normalized size 1 1. 1.2 0. 0. 0. 0. 0.
time (sec) N/A 0.136 0.161 0.151 0. 0. 0. 0.
Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 94 94 111 0 0 0 0 0
normalized size 1 1. 1.18 0. 0. 0. 0. 0.
time (sec) N/A 0.129 0.1 0.134 0. 0. 0. 0.
Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 135 135 103 78 0 608 527 1110
normalized size 1 1. 0.76 0.58 0. 4.5 3.9 8.22
time (sec) N/A 0.086 0.118 0.013 0. 2.466 4.696 2.843
Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B A B
verified N/A Yes NO TBD TBD TBD TBD TBD
size 119 119 115 359 0 495 394 807
normalized size 1 1. 0.97 3.02 0. 4.16 3.31 6.78
time (sec) N/A 0.071 0.125 0.004 0. 2.425 2.357 2.458
Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 71 67 0 365 258 548
normalized size 1 1. 0.73 0.69 0. 3.76 2.66 5.65
time (sec) N/A 0.063 0.072 0.007 0. 2.42 1.101 2.139
Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A A B
verified N/A Yes NO TBD TBD TBD TBD TBD
size 75 75 81 162 0 257 148 331
normalized size 1 1. 1.08 2.16 0. 3.43 1.97 4.41
time (sec) N/A 0.039 0.155 0.004 0. 2.418 0.454 1.804
Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 61 41 47 154 51 135
normalized size 1 1. 1.33 0.89 1.02 3.35 1.11 2.93
time (sec) N/A 0.024 0.049 0.003 1.223 2.16 0.197 1.142
Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) F F F
verified N/A NO NO TBD TBD TBD TBD TBD
size 81 81 69 111 0 0 0 0
normalized size 1 1. 0.85 1.37 0. 0. 0. 0.
time (sec) N/A 0.107 0.062 0.031 0. 0. 0. 0.
Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 76 88 0 312 0 0
normalized size 1 1. 1.36 1.57 0. 5.57 0. 0.
time (sec) N/A 0.052 0.108 0.006 0. 2.53 0. 0.
Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 66 66 55 65 159 257 0 0
normalized size 1 1. 0.83 0.98 2.41 3.89 0. 0.
time (sec) N/A 0.054 0.056 0.011 1.761 2.413 0. 0.
Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 99 99 101 120 0 610 0 0
normalized size 1 1. 1.02 1.21 0. 6.16 0. 0.
time (sec) N/A 0.065 0.207 0.004 0. 2.781 0. 0.
Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 104 104 86 76 351 448 0 0
normalized size 1 1. 0.83 0.73 3.38 4.31 0. 0.
time (sec) N/A 0.069 0.08 0.004 1.314 2.595 0. 0.
Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 137 137 136 152 0 909 0 0
normalized size 1 1. 0.99 1.11 0. 6.64 0. 0.
time (sec) N/A 0.087 0.265 0.005 0. 3.226 0. 0.
Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 218 218 220 294 0 1331 1268 0
normalized size 1 1. 1.01 1.35 0. 6.11 5.82 0.
time (sec) N/A 0.485 0.323 0.044 0. 2.64 10.204 0.
Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 186 186 212 822 0 1034 916 0
normalized size 1 1. 1.14 4.42 0. 5.56 4.92 0.
time (sec) N/A 0.436 0.266 0.042 0. 2.506 6.3 0.
Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 150 150 168 202 0 767 610 0
normalized size 1 1. 1.12 1.35 0. 5.11 4.07 0.
time (sec) N/A 0.323 0.227 0.038 0. 2.342 2.668 0.
Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 110 167 334 0 533 335 0
normalized size 1 1. 1.52 3.04 0. 4.85 3.05 0.
time (sec) N/A 0.251 0.217 0.036 0. 2.384 1.189 0.
Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 105 100 0 333 143 0
normalized size 1 1. 1.64 1.56 0. 5.2 2.23 0.
time (sec) N/A 0.125 0.084 0.003 0. 2.374 0.479 0.
Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) F F F
verified N/A NO NO TBD TBD TBD TBD TBD
size 118 117 140 263 0 0 0 0
normalized size 1 0.99 1.19 2.23 0. 0. 0. 0.
time (sec) N/A 0.19 0.393 0.031 0. 0. 0. 0.
Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) F F F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 110 110 161 290 0 0 0 0
normalized size 1 1. 1.46 2.64 0. 0. 0. 0.
time (sec) N/A 0.243 0.721 0.049 0. 0. 0. 0.
Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 92 92 81 194 309 713 0 0
normalized size 1 1. 0.88 2.11 3.36 7.75 0. 0.
time (sec) N/A 0.214 0.205 0.063 1.774 2.761 0. 0.
Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 186 186 251 381 0 0 0 0
normalized size 1 1. 1.35 2.05 0. 0. 0. 0.
time (sec) N/A 0.387 0.956 0.086 0. 0. 0. 0.
Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 382 382 404 602 0 2325 2518 0
normalized size 1 1. 1.06 1.58 0. 6.09 6.59 0.
time (sec) N/A 0.723 0.586 0.05 0. 2.776 23.048 0.
Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 307 307 359 1554 0 1773 1828 0
normalized size 1 1. 1.17 5.06 0. 5.78 5.95 0.
time (sec) N/A 0.625 0.526 0.044 0. 2.66 13.486 0.
Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 262 262 296 396 0 1285 1173 0
normalized size 1 1. 1.13 1.51 0. 4.9 4.48 0.
time (sec) N/A 0.472 0.393 0.043 0. 2.548 6.599 0.
Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 175 175 244 605 0 891 685 0
normalized size 1 1. 1.39 3.46 0. 5.09 3.91 0.
time (sec) N/A 0.359 0.302 0.036 0. 2.514 2.931 0.
Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 114 114 168 180 0 548 282 0
normalized size 1 1. 1.47 1.58 0. 4.81 2.47 0.
time (sec) N/A 0.184 0.173 0.056 0. 2.43 1.162 0.
Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F F F
verified N/A NO NO TBD TBD TBD TBD TBD
size 159 159 217 471 0 0 0 0
normalized size 1 1. 1.36 2.96 0. 0. 0. 0.
time (sec) N/A 0.216 0.531 0.035 0. 0. 0. 0.
Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) F F F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 186 186 327 0 0 0 0 0
normalized size 1 1. 1.76 0. 0. 0. 0. 0.
time (sec) N/A 0.362 1.096 0.092 0. 0. 0. 0.
Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F F F
verified N/A NO NO TBD TBD TBD TBD TBD
size 164 164 266 375 0 0 0 0
normalized size 1 1. 1.62 2.29 0. 0. 0. 0.
time (sec) N/A 0.369 1.043 0.067 0. 0. 0. 0.
Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 297 297 504 0 0 0 0 0
normalized size 1 1. 1.7 0. 0. 0. 0. 0.
time (sec) N/A 0.594 2.167 0.184 0. 0. 0. 0.
Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 377 377 562 2465 0 2631 2876 0
normalized size 1 1. 1.49 6.54 0. 6.98 7.63 0.
time (sec) N/A 1.174 0.806 0.05 0. 2.879 27.364 0.
Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 309 309 475 632 0 1894 1889 0
normalized size 1 1. 1.54 2.05 0. 6.13 6.11 0.
time (sec) N/A 0.835 0.588 0.045 0. 2.639 12.776 0.
Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 209 209 360 933 0 1287 1027 0
normalized size 1 1. 1.72 4.46 0. 6.16 4.91 0.
time (sec) N/A 0.562 0.469 0.04 0. 2.61 6.278 0.
Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F(-2) B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 129 129 261 275 0 784 444 0
normalized size 1 1. 2.02 2.13 0. 6.08 3.44 0.
time (sec) N/A 0.284 0.252 0.033 0. 2.384 2.426 0.
Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F F F
verified N/A NO NO TBD TBD TBD TBD TBD
size 192 192 308 727 0 0 0 0
normalized size 1 1. 1.6 3.79 0. 0. 0. 0.
time (sec) N/A 0.266 0.762 0.033 0. 0. 0. 0.
Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F(-2) F F F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 264 264 872 0 0 0 0 0
normalized size 1 1. 3.3 0. 0. 0. 0. 0.
time (sec) N/A 0.413 2.345 0.086 0. 0. 0. 0.
Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F(-2) F F F
verified N/A NO NO TBD TBD TBD TBD TBD
size 195 195 398 605 0 0 0 0
normalized size 1 1. 2.04 3.1 0. 0. 0. 0.
time (sec) N/A 0.426 2.218 0.066 0. 0. 0. 0.
Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 432 432 1213 0 0 0 0 0
normalized size 1 1. 2.81 0. 0. 0. 0. 0.
time (sec) N/A 0.842 8.805 0.187 0. 0. 0. 0.
Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 213 209 151 194 0 0 0 0
normalized size 1 0.98 0.71 0.91 0. 0. 0. 0.
time (sec) N/A 0.429 0.25 0.155 0. 0. 0. 0.
Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 145 145 109 134 0 0 0 0
normalized size 1 1. 0.75 0.92 0. 0. 0. 0.
time (sec) N/A 0.334 0.179 0.079 0. 0. 0. 0.
Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 141 137 102 130 0 0 0 0
normalized size 1 0.97 0.72 0.92 0. 0. 0. 0.
time (sec) N/A 0.298 0.155 0.066 0. 0. 0. 0.
Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 61 66 0 0 0 0
normalized size 1 1. 0.88 0.96 0. 0. 0. 0.
time (sec) N/A 0.16 0.079 0.032 0. 0. 0. 0.
Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 49 60 0 0 0 0
normalized size 1 1. 0.84 1.03 0. 0. 0. 0.
time (sec) N/A 0.09 0.113 0.027 0. 0. 0. 0.
Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.064 0.861 0.18 0. 0. 0. 0.
Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 263 259 293 665 0 0 0 0
normalized size 1 0.98 1.11 2.53 0. 0. 0. 0.
time (sec) N/A 0.394 2.054 0.204 0. 0. 0. 0.
Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 195 195 230 418 0 0 0 0
normalized size 1 1. 1.18 2.14 0. 0. 0. 0.
time (sec) N/A 0.298 2.166 0.115 0. 0. 0. 0.
Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 191 187 150 374 0 0 0 0
normalized size 1 0.98 0.79 1.96 0. 0. 0. 0.
time (sec) N/A 0.276 1.702 0.099 0. 0. 0. 0.
Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 110 110 110 170 0 0 0 0
normalized size 1 1. 1. 1.55 0. 0. 0. 0.
time (sec) N/A 0.148 0.799 0.048 0. 0. 0. 0.
Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 98 94 143 139 0 0 0 0
normalized size 1 0.96 1.46 1.42 0. 0. 0. 0.
time (sec) N/A 0.252 0.991 0.041 0. 0. 0. 0.
Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.062 7.333 0.167 0. 0. 0. 0.
Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 327 323 323 993 0 0 0 0
normalized size 1 0.99 0.99 3.04 0. 0. 0. 0.
time (sec) N/A 1.111 1.271 0.237 0. 0. 0. 0.
Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-1) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 254 254 186 624 0 0 0 0
normalized size 1 1. 0.73 2.46 0. 0. 0. 0.
time (sec) N/A 0.899 0.563 0.138 0. 0. 0. 0.
Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-1) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 252 311 223 557 0 0 0 0
normalized size 1 1.23 0.88 2.21 0. 0. 0. 0.
time (sec) N/A 0.799 0.664 0.116 0. 0. 0. 0.
Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-1) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 163 163 127 254 0 0 0 0
normalized size 1 1. 0.78 1.56 0. 0. 0. 0.
time (sec) N/A 0.509 0.325 0.056 0. 0. 0. 0.
Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-1) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 132 132 109 207 0 0 0 0
normalized size 1 1. 0.83 1.57 0. 0. 0. 0.
time (sec) N/A 0.26 0.409 0.059 0. 0. 0. 0.
Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.064 1.68 0.172 0. 0. 0. 0.
Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 431 427 424 1375 0 0 0 0
normalized size 1 0.99 0.98 3.19 0. 0. 0. 0.
time (sec) N/A 1.104 1.996 0.272 0. 0. 0. 0.
Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 360 360 330 860 0 0 0 0
normalized size 1 1. 0.92 2.39 0. 0. 0. 0.
time (sec) N/A 0.887 1.313 0.164 0. 0. 0. 0.
Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 352 348 272 777 0 0 0 0
normalized size 1 0.99 0.77 2.21 0. 0. 0. 0.
time (sec) N/A 0.965 1.291 0.141 0. 0. 0. 0.
Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 218 218 195 353 0 0 0 0
normalized size 1 1. 0.89 1.62 0. 0. 0. 0.
time (sec) N/A 0.511 0.994 0.066 0. 0. 0. 0.
Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 174 170 144 295 0 0 0 0
normalized size 1 0.98 0.83 1.7 0. 0. 0. 0.
time (sec) N/A 0.445 0.635 0.073 0. 0. 0. 0.
Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.061 14. 0.184 0. 0. 0. 0.
Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 361 361 342 0 0 0 0 0
normalized size 1 1. 0.95 0. 0. 0. 0. 0.
time (sec) N/A 0.951 0.707 0.346 0. 0. 0. 0.
Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 272 272 223 0 0 0 0 0
normalized size 1 1. 0.82 0. 0. 0. 0. 0.
time (sec) N/A 0.793 0.506 0.254 0. 0. 0. 0.
Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 245 245 237 0 0 0 0 0
normalized size 1 1. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.759 0.482 0.244 0. 0. 0. 0.
Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 164 164 437 0 0 0 0 0
normalized size 1 1. 2.66 0. 0. 0. 0. 0.
time (sec) N/A 0.575 2.369 0.128 0. 0. 0. 0.
Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 115 115 110 0 0 0 0 0
normalized size 1 1. 0.96 0. 0. 0. 0. 0.
time (sec) N/A 0.35 0.182 0.118 0. 0. 0. 0.
Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A F(-2) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.087 2.042 0.189 0. 0. 0. 0.
Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 374 374 558 0 0 0 0 0
normalized size 1 1. 1.49 0. 0. 0. 0. 0.
time (sec) N/A 1.412 3.727 0.249 0. 0. 0. 0.
Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 342 342 592 0 0 0 0 0
normalized size 1 1. 1.73 0. 0. 0. 0. 0.
time (sec) N/A 1.11 2.418 0.241 0. 0. 0. 0.
Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 212 212 1144 0 0 0 0 0
normalized size 1 1. 5.4 0. 0. 0. 0. 0.
time (sec) N/A 0.687 7.854 0.127 0. 0. 0. 0.
Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 157 157 290 0 0 0 0 0
normalized size 1 1. 1.85 0. 0. 0. 0. 0.
time (sec) N/A 0.363 0.707 0.12 0. 0. 0. 0.
Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A F(-2) A F(-2)
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.102 1.408 0.201 0. 0. 0. 0.
Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F F(-2) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 469 469 968 0 0 0 0 0
normalized size 1 1. 2.06 0. 0. 0. 0. 0.
time (sec) N/A 2.239 10.863 0.252 0. 0. 0. 0.
Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F F(-2) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 408 408 1008 0 0 0 0 0
normalized size 1 1. 2.47 0. 0. 0. 0. 0.
time (sec) N/A 1.751 9.192 0.242 0. 0. 0. 0.
Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F F(-2) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 269 269 1846 0 0 0 0 0
normalized size 1 1. 6.86 0. 0. 0. 0. 0.
time (sec) N/A 1.108 9.005 0.141 0. 0. 0. 0.
Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F F(-2) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 186 186 494 0 0 0 0 0
normalized size 1 1. 2.66 0. 0. 0. 0. 0.
time (sec) N/A 0.609 3.309 0.122 0. 0. 0. 0.
Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A F(-2) F(-1) F(-2)
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.101 1.061 0.237 0. 0. 0. 0.
Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F F(-2) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 509 509 1523 0 0 0 0 0
normalized size 1 1. 2.99 0. 0. 0. 0. 0.
time (sec) N/A 2.142 13.572 0.244 0. 0. 0. 0.
Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 319 319 288 0 0 0 0 0
normalized size 1 1. 0.9 0. 0. 0. 0. 0.
time (sec) N/A 1.276 5.44 0.132 0. 0. 0. 0.
Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F F(-2) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 230 230 765 0 0 0 0 0
normalized size 1 1. 3.33 0. 0. 0. 0. 0.
time (sec) N/A 0.642 7.416 0.127 0. 0. 0. 0.
Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A F(-2) F(-1) F(-2)
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.101 1.084 0.209 0. 0. 0. 0.
Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 326 326 319 0 0 0 0 0
normalized size 1 1. 0.98 0. 0. 0. 0. 0.
time (sec) N/A 0.622 0.548 0.402 0. 0. 0. 0.
Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 217 217 205 0 0 0 0 0
normalized size 1 1. 0.94 0. 0. 0. 0. 0.
time (sec) N/A 0.456 0.39 0.267 0. 0. 0. 0.
Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 214 214 216 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 0.459 0.343 0.246 0. 0. 0. 0.
Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 113 113 306 0 0 0 0 0
normalized size 1 1. 2.71 0. 0. 0. 0. 0.
time (sec) N/A 0.237 1.329 0.13 0. 0. 0. 0.
Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 92 92 110 0 0 0 0 0
normalized size 1 1. 1.2 0. 0. 0. 0. 0.
time (sec) N/A 0.129 0.103 0. 0. 0. 0. 0.
Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A F(-2) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.094 0.075 0.188 0. 0. 0. 0.
Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 374 374 396 0 0 0 0 0
normalized size 1 1. 1.06 0. 0. 0. 0. 0.
time (sec) N/A 0.644 1.452 0.332 0. 0. 0. 0.
Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 269 269 265 0 0 0 0 0
normalized size 1 1. 0.99 0. 0. 0. 0. 0.
time (sec) N/A 0.449 0.979 0.251 0. 0. 0. 0.
Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 262 262 265 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 0.45 1.544 0.237 0. 0. 0. 0.
Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 155 155 314 0 0 0 0 0
normalized size 1 1. 2.03 0. 0. 0. 0. 0.
time (sec) N/A 0.225 6.382 0.129 0. 0. 0. 0.
Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 128 128 145 0 0 0 0 0
normalized size 1 1. 1.13 0. 0. 0. 0. 0.
time (sec) N/A 0.354 0.469 0.118 0. 0. 0. 0.
Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A F(-2) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.104 0.083 0.224 0. 0. 0. 0.
Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 444 444 615 0 0 0 0 0
normalized size 1 1. 1.39 0. 0. 0. 0. 0.
time (sec) N/A 1.765 3.233 0.331 0. 0. 0. 0.
Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 333 333 391 0 0 0 0 0
normalized size 1 1. 1.17 0. 0. 0. 0. 0.
time (sec) N/A 1.441 2.345 0.251 0. 0. 0. 0.
Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 328 328 391 0 0 0 0 0
normalized size 1 1. 1.19 0. 0. 0. 0. 0.
time (sec) N/A 1.237 2.936 0.234 0. 0. 0. 0.
Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 216 216 687 0 0 0 0 0
normalized size 1 1. 3.18 0. 0. 0. 0. 0.
time (sec) N/A 0.78 5.478 0.128 0. 0. 0. 0.
Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 165 165 219 0 0 0 0 0
normalized size 1 1. 1.33 0. 0. 0. 0. 0.
time (sec) N/A 0.409 0.169 0.119 0. 0. 0. 0.
Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A F(-2) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.108 0.088 0.227 0. 0. 0. 0.
Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 552 552 654 0 0 0 0 0
normalized size 1 1. 1.18 0. 0. 0. 0. 0.
time (sec) N/A 1.776 4.659 0.329 0. 0. 0. 0.
Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 441 441 445 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 1.406 3.014 0.25 0. 0. 0. 0.
Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 431 431 452 0 0 0 0 0
normalized size 1 1. 1.05 0. 0. 0. 0. 0.
time (sec) N/A 1.475 2.786 0.237 0. 0. 0. 0.
Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F F(-2) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 266 266 916 0 0 0 0 0
normalized size 1 1. 3.44 0. 0. 0. 0. 0.
time (sec) N/A 0.784 4.526 0.128 0. 0. 0. 0.
Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 209 209 243 0 0 0 0 0
normalized size 1 1. 1.16 0. 0. 0. 0. 0.
time (sec) N/A 0.627 0.747 0.121 0. 0. 0. 0.
Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A F(-2) F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.103 0.092 0.231 0. 0. 0. 0.
Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 189 189 150 277 0 0 0 0
normalized size 1 1. 0.79 1.47 0. 0. 0. 0.
time (sec) N/A 0.144 0.327 0.064 0. 0. 0. 0.
Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 169 169 180 218 0 0 0 0
normalized size 1 1. 1.07 1.29 0. 0. 0. 0.
time (sec) N/A 0.133 0.264 0.023 0. 0. 0. 0.
Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 145 145 109 254 0 0 0 0
normalized size 1 1. 0.75 1.75 0. 0. 0. 0.
time (sec) N/A 0.111 0.451 0.02 0. 0. 0. 0.
Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 127 127 131 194 0 0 0 0
normalized size 1 1. 1.03 1.53 0. 0. 0. 0.
time (sec) N/A 0.097 0.435 0.016 0. 0. 0. 0.
Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 104 104 94 138 0 0 0 0
normalized size 1 1. 0.9 1.33 0. 0. 0. 0.
time (sec) N/A 0.088 0.177 0.019 0. 0. 0. 0.
Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 92 119 0 0 0 0
normalized size 1 1. 1.1 1.42 0. 0. 0. 0.
time (sec) N/A 0.084 0.155 0.016 0. 0. 0. 0.
Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F(-2) F F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 150 150 94 269 0 0 0 0
normalized size 1 1. 0.63 1.79 0. 0. 0. 0.
time (sec) N/A 0.121 0.139 0.026 0. 0. 0. 0.
Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 130 130 94 201 0 0 0 0
normalized size 1 1. 0.72 1.55 0. 0. 0. 0.
time (sec) N/A 0.111 0.151 0.027 0. 0. 0. 0.
Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 153 165 140 0 0 0 0 0
normalized size 1 1.08 0.92 0. 0. 0. 0. 0.
time (sec) N/A 0.321 0.505 0.345 0. 0. 0. 0.
Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 153 165 140 0 0 0 0 0
normalized size 1 1.08 0.92 0. 0. 0. 0. 0.
time (sec) N/A 0.328 0.464 0.343 0. 0. 0. 0.
Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 153 165 140 0 0 0 0 0
normalized size 1 1.08 0.92 0. 0. 0. 0. 0.
time (sec) N/A 0.326 0.476 0.348 0. 0. 0. 0.
Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 153 165 140 0 0 0 0 0
normalized size 1 1.08 0.92 0. 0. 0. 0. 0.
time (sec) N/A 0.316 0.436 0.37 0. 0. 0. 0.
Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 151 163 140 0 0 0 0 0
normalized size 1 1.08 0.93 0. 0. 0. 0. 0.
time (sec) N/A 0.289 0.328 0.412 0. 0. 0. 0.
Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 149 161 140 0 0 0 0 0
normalized size 1 1.08 0.94 0. 0. 0. 0. 0.
time (sec) N/A 0.304 0.29 0.361 0. 0. 0. 0.
Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) F F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 153 165 140 0 0 0 0 0
normalized size 1 1.08 0.92 0. 0. 0. 0. 0.
time (sec) N/A 0.312 0.358 0.354 0. 0. 0. 0.
Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 153 165 140 0 0 0 0 0
normalized size 1 1.08 0.92 0. 0. 0. 0. 0.
time (sec) N/A 0.317 0.359 0.355 0. 0. 0. 0.
Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-2) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 88 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.32 100.013 0.355 0. 0. 0. 0.
Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A F A F(-2) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 86 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.311 180.002 0.384 0. 0. 0. 0.
Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-2) A A F(-1)
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 84 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.287 22.32 0.24 0. 0. 0. 0.
Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-2) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 84 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.303 30.667 0.353 0. 0. 0. 0.
Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-2) A A F(-2)
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 86 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.322 35.8 0.377 0. 0. 0. 0.
Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-2) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 88 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.324 115.254 0.399 0. 0. 0. 0.
Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-2) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 88 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.315 70.616 0.37 0. 0. 0. 0.
Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A F A F(-2) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 88 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.309 180.001 0.424 0. 0. 0. 0.
Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-2) A A F(-1)
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 84 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.28 14.431 0.256 0. 0. 0. 0.
Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-2) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 84 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.293 37.614 0.352 0. 0. 0. 0.
Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-2) A A F(-2)
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 88 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.315 36.873 0.353 0. 0. 0. 0.
Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-2) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 88 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.314 163.198 0.358 0. 0. 0. 0.
Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-2) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 93 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.29 3.736 1.961 0. 0. 0. 0.
Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-2) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 93 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.294 1.782 1.86 0. 0. 0. 0.
Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 206 218 178 0 0 0 0 0
normalized size 1 1.06 0.86 0. 0. 0. 0. 0.
time (sec) N/A 0.319 0.429 2.108 0. 0. 0. 0.
Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 118 124 106 0 0 0 0 0
normalized size 1 1.05 0.9 0. 0. 0. 0. 0.
time (sec) N/A 0.099 0.192 1.967 0. 0. 0. 0.
Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.061 1.139 0.881 0. 0. 0. 0.
Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 54 54 50 0 0 0 0 0
normalized size 1 1. 0.93 0. 0. 0. 0. 0.
time (sec) N/A 0.067 0.042 0.056 0. 0. 0. 0.
Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 117 117 79 75 76 128 0 82
normalized size 1 1. 0.68 0.64 0.65 1.09 0. 0.7
time (sec) N/A 0.07 0.054 0.035 1.021 2.179 0. 1.162
Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 86 86 74 65 62 112 0 76
normalized size 1 1. 0.86 0.76 0.72 1.3 0. 0.88
time (sec) N/A 0.05 0.038 0.005 1.021 1.957 0. 1.167
Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 50 50 64 49 45 92 29 65
normalized size 1 1. 1.28 0.98 0.9 1.84 0.58 1.3
time (sec) N/A 0.031 0.023 0.003 1.018 2.033 0.344 1.168
Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 46 46 46 65 0 0 0 0
normalized size 1 1. 1. 1.41 0. 0. 0. 0.
time (sec) N/A 0.064 0.035 0.031 0. 0. 0. 0.
Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 40 40 40 29 26 73 0 61
normalized size 1 1. 1. 0.72 0.65 1.82 0. 1.52
time (sec) N/A 0.026 0.014 0.003 1.542 2.174 0. 1.121
Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 49 35 41 97 0 84
normalized size 1 1. 0.64 0.46 0.54 1.28 0. 1.11
time (sec) N/A 0.041 0.022 0.004 1.535 1.995 0. 1.137
Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 46 38 23 173 0 30
normalized size 1 1. 1.92 1.58 0.96 7.21 0. 1.25
time (sec) N/A 0.009 0.046 0.025 1.538 2.153 0. 1.104
Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 60 60 179 91 0 0 0 0
normalized size 1 1. 2.98 1.52 0. 0. 0. 0.
time (sec) N/A 0.065 0.469 0.049 0. 0. 0. 0.
Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 145 145 264 0 0 626 0 0
normalized size 1 1. 1.82 0. 0. 4.32 0. 0.
time (sec) N/A 0.036 0.22 0.132 0. 2.083 0. 0.
Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 125 125 171 0 0 441 0 0
normalized size 1 1. 1.37 0. 0. 3.53 0. 0.
time (sec) N/A 0.063 0.118 0.112 0. 2.085 0. 0.
Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F A A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 104 0 173 277 0 0
normalized size 1 1. 1.44 0. 2.4 3.85 0. 0.
time (sec) N/A 0.014 0.061 0.125 1.296 2.029 0. 0.
Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 49 49 37 37 59 132 0 88
normalized size 1 1. 0.76 0.76 1.2 2.69 0. 1.8
time (sec) N/A 0.039 0.059 0.004 1.033 1.982 0. 1.124
Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 98 98 118 0 0 0 0 0
normalized size 1 1. 1.2 0. 0. 0. 0. 0.
time (sec) N/A 0.032 0.127 0.083 0. 0. 0. 0.
Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 150 150 130 0 0 0 0 0
normalized size 1 1. 0.87 0. 0. 0. 0. 0.
time (sec) N/A 0.022 0.881 0.066 0. 0. 0. 0.
Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 180 180 152 0 0 0 0 0
normalized size 1 1. 0.84 0. 0. 0. 0. 0.
time (sec) N/A 0.038 0.458 0.064 0. 0. 0. 0.
Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 147 147 264 0 0 626 0 0
normalized size 1 1. 1.8 0. 0. 4.26 0. 0.
time (sec) N/A 0.034 0.225 0.113 0. 2.182 0. 0.
Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 110 171 0 0 441 0 0
normalized size 1 1. 1.55 0. 0. 4.01 0. 0.
time (sec) N/A 0.046 0.12 0.117 0. 2.109 0. 0.
Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F A A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 73 73 104 0 173 277 0 0
normalized size 1 1. 1.42 0. 2.37 3.79 0. 0.
time (sec) N/A 0.014 0.061 0.121 1.326 2.235 0. 0.
Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 33 37 59 132 0 95
normalized size 1 1. 1. 1.12 1.79 4. 0. 2.88
time (sec) N/A 0.017 0.023 0.006 0.996 2.146 0. 1.114
Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 98 98 86 0 0 0 0 0
normalized size 1 1. 0.88 0. 0. 0. 0. 0.
time (sec) N/A 0.015 0.13 0.066 0. 0. 0. 0.
Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 150 150 141 0 0 0 0 0
normalized size 1 1. 0.94 0. 0. 0. 0. 0.
time (sec) N/A 0.019 0.699 0.063 0. 0. 0. 0.
Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 181 181 168 0 0 0 0 0
normalized size 1 1. 0.93 0. 0. 0. 0. 0.
time (sec) N/A 0.033 0.644 0.072 0. 0. 0. 0.
Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 280 280 311 0 0 0 0 0
normalized size 1 1. 1.11 0. 0. 0. 0. 0.
time (sec) N/A 0.109 3.306 0.075 0. 0. 0. 0.
Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 238 238 254 0 0 0 0 0
normalized size 1 1. 1.07 0. 0. 0. 0. 0.
time (sec) N/A 0.097 0.657 0.066 0. 0. 0. 0.
Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 205 205 210 0 0 0 0 0
normalized size 1 1. 1.02 0. 0. 0. 0. 0.
time (sec) N/A 0.026 0.292 0.068 0. 0. 0. 0.
Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 165 165 166 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 0.025 0.305 0.067 0. 0. 0. 0.
Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 213 213 242 0 0 0 0 0
normalized size 1 1. 1.14 0. 0. 0. 0. 0.
time (sec) N/A 0.043 1.046 0.066 0. 0. 0. 0.
Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 252 252 273 0 0 0 0 0
normalized size 1 1. 1.08 0. 0. 0. 0. 0.
time (sec) N/A 0.072 0.971 0.069 0. 0. 0. 0.
Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 301 301 291 0 0 0 0 0
normalized size 1 1. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.077 1.221 0.063 0. 0. 0. 0.
Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 281 281 277 0 0 0 0 0
normalized size 1 1. 0.99 0. 0. 0. 0. 0.
time (sec) N/A 0.059 1.569 0.065 0. 0. 0. 0.
Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 239 239 221 0 0 0 0 0
normalized size 1 1. 0.92 0. 0. 0. 0. 0.
time (sec) N/A 0.054 0.534 0.064 0. 0. 0. 0.
Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 206 206 178 0 0 0 0 0
normalized size 1 1. 0.86 0. 0. 0. 0. 0.
time (sec) N/A 0.026 0.25 0.063 0. 0. 0. 0.
Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 166 166 134 0 0 0 0 0
normalized size 1 1. 0.81 0. 0. 0. 0. 0.
time (sec) N/A 0.026 0.254 0.066 0. 0. 0. 0.
Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 212 212 209 0 0 0 0 0
normalized size 1 1. 0.99 0. 0. 0. 0. 0.
time (sec) N/A 0.027 0.973 0.067 0. 0. 0. 0.
Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 253 253 238 0 0 0 0 0
normalized size 1 1. 0.94 0. 0. 0. 0. 0.
time (sec) N/A 0.055 0.847 0.065 0. 0. 0. 0.
Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 302 302 260 0 0 0 0 0
normalized size 1 1. 0.86 0. 0. 0. 0. 0.
time (sec) N/A 0.06 1.018 0.063 0. 0. 0. 0.
Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) F(-1)
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 42 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.051 0.133 0.588 0. 0. 0. 0.
Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F B F F F(-1) F(-1)
verified N/A NO N/A TBD TBD TBD TBD TBD
size 265 265 0 870 0 0 0 0
normalized size 1 1. 0. 3.28 0. 0. 0. 0.
time (sec) N/A 0.221 0.367 0.942 0. 0. 0. 0.
Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F A F F F(-1) F(-1)
verified N/A NO N/A TBD TBD TBD TBD TBD
size 196 197 0 491 0 0 0 0
normalized size 1 1.01 0. 2.51 0. 0. 0. 0.
time (sec) N/A 0.195 0.977 0.007 0. 0. 0. 0.
Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F A F F F(-1) F(-1)
verified N/A NO N/A TBD TBD TBD TBD TBD
size 133 133 0 207 0 0 0 0
normalized size 1 1. 0. 1.56 0. 0. 0. 0.
time (sec) N/A 0.119 2.978 0.008 0. 0. 0. 0.
Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) F(-1)
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 42 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.046 0.142 0.324 0. 0. 0. 0.
Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) F(-1)
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 42 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.044 5.091 0.319 0. 0. 0. 0.
Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F A F F(-2) F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 76 76 0 115 0 0 0 0
normalized size 1 1. 0. 1.51 0. 0. 0. 0.
time (sec) N/A 0.073 0.674 0.02 0. 0. 0. 0.
Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F(-2) A F A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 165 165 138 376 0 327 0 348
normalized size 1 1. 0.84 2.28 0. 1.98 0. 2.11
time (sec) N/A 0.161 0.089 0.047 0. 1.891 0. 1.276
Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F(-2) A F A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 115 115 119 288 0 271 0 271
normalized size 1 1. 1.03 2.5 0. 2.36 0. 2.36
time (sec) N/A 0.121 0.124 0.01 0. 1.977 0. 1.264
Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F(-2) A F A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 67 67 93 194 0 217 0 176
normalized size 1 1. 1.39 2.9 0. 3.24 0. 2.63
time (sec) N/A 0.07 0.153 0.012 0. 1.99 0. 1.271
Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F(-2) A F A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 31 31 69 147 0 174 0 82
normalized size 1 1. 2.23 4.74 0. 5.61 0. 2.65
time (sec) N/A 0.017 0.027 0.007 0. 2.003 0. 1.322
Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F(-2) A F A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 100 100 141 156 0 647 0 159
normalized size 1 1. 1.41 1.56 0. 6.47 0. 1.59
time (sec) N/A 0.092 0.092 0.013 0. 2.074 0. 1.24
Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F(-2) A F B
verified N/A Yes NO TBD TBD TBD TBD TBD
size 109 109 140 237 0 852 0 317
normalized size 1 1. 1.28 2.17 0. 7.82 0. 2.91
time (sec) N/A 0.074 0.152 0.014 0. 2.224 0. 1.288
Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F(-2) A F(-1) B
verified N/A Yes NO TBD TBD TBD TBD TBD
size 138 138 142 236 0 818 0 471
normalized size 1 1. 1.03 1.71 0. 5.93 0. 3.41
time (sec) N/A 0.109 0.24 0.016 0. 2.017 0. 1.399
Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F(-2) A F(-1) B
verified N/A Yes NO TBD TBD TBD TBD TBD
size 189 189 179 374 0 1035 0 695
normalized size 1 1. 0.95 1.98 0. 5.48 0. 3.68
time (sec) N/A 0.156 0.156 0.014 0. 2.044 0. 1.643
Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F(-2) A F(-1) B
verified N/A Yes NO TBD TBD TBD TBD TBD
size 238 238 198 603 0 1337 0 1148
normalized size 1 1. 0.83 2.53 0. 5.62 0. 4.82
time (sec) N/A 0.201 0.254 0.017 0. 2.08 0. 2.062
Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 359 359 198 0 0 0 0 0
normalized size 1 1. 0.55 0. 0. 0. 0. 0.
time (sec) N/A 0.738 0.369 0.009 0. 0. 0. 0.
Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 251 251 136 0 0 0 0 0
normalized size 1 1. 0.54 0. 0. 0. 0. 0.
time (sec) N/A 0.493 0.215 0.008 0. 0. 0. 0.
Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 117 117 76 0 0 0 0 0
normalized size 1 1. 0.65 0. 0. 0. 0. 0.
time (sec) N/A 0.278 0.128 0.007 0. 0. 0. 0.
Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 42 0 0 0 0 0
normalized size 1 1. 0.65 0. 0. 0. 0. 0.
time (sec) N/A 0.054 0.035 0.005 0. 0. 0. 0.
Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 16 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.04 0.134 0.007 0. 0. 0. 0.
Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 16 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.039 0.436 0.006 0. 0. 0. 0.
Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 60 60 53 85 0 0 0 0
normalized size 1 1. 0.88 1.42 0. 0. 0. 0.
time (sec) N/A 0.09 0.043 0.039 0. 0. 0. 0.
Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 3 3 19 78 0 0 0 0
normalized size 1 1. 6.33 26. 0. 0. 0. 0.
time (sec) N/A 0.121 0.054 0.14 0. 0. 0. 0.
Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 54 54 50 45 50 151 61 143
normalized size 1 1. 0.93 0.83 0.93 2.8 1.13 2.65
time (sec) N/A 0.052 0.033 0.001 0.973 2.083 1.215 1.175
Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F A B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 55 55 50 0 53 443 0 154
normalized size 1 1. 0.91 0. 0.96 8.05 0. 2.8
time (sec) N/A 0.054 0.046 0.065 0.972 2.191 0. 1.184
Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A F B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 175 91 0 583 0 161
normalized size 1 1. 3.02 1.57 0. 10.05 0. 2.78
time (sec) N/A 0.093 0.428 0.043 0. 2.461 0. 1.765
Problem 295 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F B F(-2) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 62 0 0 282 0 0
normalized size 1 1. 1. 0. 0. 4.55 0. 0.
time (sec) N/A 0.119 0.154 0.236 0. 2.227 0. 0.
Problem 296 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 54 54 54 0 0 80 0 0
normalized size 1 1. 1. 0. 0. 1.48 0. 0.
time (sec) N/A 0.109 0.089 0.217 0. 2.12 0. 0.

2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac{\text{number of rules}}{\text{integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [65] had the largest ratio of [ 1. ]

Table 2.1Rubi specific breakdown of results for each integral
# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac{\text{number of rules}}{\text{integrand leaf size}}\)
1 A 5 5 1. 12 0.417
2 A 4 4 1. 12 0.333
3 A 4 4 1. 10 0.4
4 A 8 5 1. 12 0.417
5 A 3 3 1. 12 0.25
6 A 4 4 1. 12 0.333
7 A 6 6 1. 12 0.5
8 A 18 7 1. 14 0.5
9 A 13 7 1. 14 0.5
10 A 9 7 1. 12 0.583
11 A 10 6 1. 14 0.429
12 A 10 7 1. 14 0.5
13 A 13 10 1. 14 0.714
14 A 5 5 1. 16 0.312
15 A 4 4 1. 16 0.25
16 A 4 4 1. 14 0.286
17 A 8 5 1. 16 0.312
18 A 3 3 1. 16 0.188
19 A 4 4 1. 16 0.25
20 A 6 6 1. 16 0.375
21 A 18 7 1. 18 0.389
22 A 13 7 1. 18 0.389
23 A 9 7 1. 16 0.438
24 A 10 6 1. 18 0.333
25 A 10 7 1. 18 0.389
26 A 13 10 1. 18 0.556
27 A 27 7 1. 18 0.389
28 A 17 6 1. 18 0.333
29 A 11 7 1. 16 0.438
30 A 0 0 0. 0 0.
31 A 0 0 0. 0 0.
32 A 19 7 0.98 18 0.389
33 A 11 7 0.98 16 0.438
34 A 0 0 0. 0 0.
35 A 0 0 0. 0 0.
36 A 0 0 0. 0 0.
37 A 0 0 0. 0 0.
38 A 3 3 1. 16 0.188
39 A 0 0 0. 0 0.
40 A 0 0 0. 0 0.
41 A 6 6 1. 14 0.429
42 A 6 6 1. 14 0.429
43 A 6 6 1. 14 0.429
44 A 3 3 1. 12 0.25
45 A 18 6 1. 14 0.429
46 A 26 9 1. 14 0.643
47 A 0 0 0. 0 0.
48 A 0 0 0. 0 0.
49 A 7 8 1. 16 0.5
50 A 8 10 1. 16 0.625
51 A 9 11 1. 16 0.688
52 A 10 12 1. 16 0.75
53 A 16 12 1. 31 0.387
54 A 13 8 1. 31 0.258
55 A 8 6 1. 29 0.207
56 A 23 22 1. 31 0.71
57 A 38 22 1. 31 0.71
58 A 24 17 1. 31 0.548
59 A 20 12 1. 31 0.387
60 A 12 9 1. 29 0.31
61 F 0 0 N/A 0 N/A
62 A 30 20 1. 31 0.645
63 A 26 15 1. 31 0.484
64 A 14 10 1. 29 0.345
65 A 38 31 1. 31 1.
66 A 13 7 1. 31 0.226
67 A 9 7 1. 31 0.226
68 A 6 5 1. 29 0.172
69 A 10 7 1. 31 0.226
70 A 13 10 1. 31 0.323
71 A 19 14 1. 31 0.452
72 A 17 12 1. 31 0.387
73 A 5 6 1.25 29 0.207
74 A 25 17 1. 31 0.548
75 A 7 5 1. 30 0.167
76 A 7 5 1.21 35 0.143
77 A 7 5 0.95 37 0.135
78 A 0 0 0. 0 0.
79 A 14 11 1. 35 0.314
80 A 12 10 1. 33 0.303
81 A 9 7 1. 25 0.28
82 A 0 0 0. 0 0.
83 A 6 6 1. 10 0.6
84 A 5 5 1. 10 0.5
85 A 5 5 1. 8 0.625
86 A 3 3 1. 6 0.5
87 A 9 6 1. 10 0.6
88 A 4 4 1. 10 0.4
89 A 5 5 1. 10 0.5
90 A 7 7 1. 10 0.7
91 A 7 6 1. 14 0.429
92 A 7 6 1. 15 0.4
93 A 8 5 1. 21 0.238
94 A 7 6 1. 21 0.286
95 A 6 5 1. 21 0.238
96 A 5 5 1. 19 0.263
97 A 4 3 1. 10 0.3
98 A 7 7 1. 21 0.333
99 A 5 5 1. 21 0.238
100 A 4 4 1. 21 0.19
101 A 6 6 1. 21 0.286
102 A 6 5 1. 21 0.238
103 A 8 6 1. 21 0.286
104 A 9 7 1. 23 0.304
105 A 8 6 1. 23 0.261
106 A 7 7 1. 23 0.304
107 A 6 6 1. 21 0.286
108 A 4 4 1. 12 0.333
109 A 8 8 0.99 23 0.348
110 A 9 7 1. 23 0.304
111 A 5 5 1. 23 0.217
112 A 11 9 1. 23 0.391
113 A 19 8 1. 23 0.348
114 A 14 8 1. 23 0.348
115 A 12 8 1. 23 0.348
116 A 8 7 1. 21 0.333
117 A 6 4 1. 12 0.333
118 A 9 9 1. 23 0.391
119 A 11 8 1. 23 0.348
120 A 9 9 1. 23 0.391
121 A 15 11 1. 23 0.478
122 A 16 6 1. 23 0.261
123 A 13 8 1. 23 0.348
124 A 9 6 1. 21 0.286
125 A 6 4 1. 12 0.333
126 A 10 9 1. 23 0.391
127 A 13 9 1. 23 0.391
128 A 10 10 1. 23 0.435
129 A 21 12 1. 23 0.522
130 A 14 7 0.98 23 0.304
131 A 11 7 1. 23 0.304
132 A 11 7 0.97 23 0.304
133 A 8 7 1. 21 0.333
134 A 5 5 1. 12 0.417
135 A 0 0 0. 0 0.
136 A 13 6 0.98 23 0.261
137 A 10 6 1. 23 0.261
138 A 10 6 0.98 23 0.261
139 A 6 6 1. 21 0.286
140 A 6 6 0.96 12 0.5
141 A 0 0 0. 0 0.
142 A 26 9 0.99 23 0.391
143 A 20 9 1. 23 0.391
144 A 18 10 1.23 23 0.435
145 A 11 10 1. 21 0.476
146 A 7 7 1. 12 0.583
147 A 0 0 0. 0 0.
148 A 24 8 0.99 23 0.348
149 A 17 8 1. 23 0.348
150 A 18 10 0.99 23 0.435
151 A 9 9 1. 21 0.429
152 A 8 7 0.98 12 0.583
153 A 0 0 0. 0 0.
154 A 21 9 1. 25 0.36
155 A 16 9 1. 25 0.36
156 A 16 9 1. 25 0.36
157 A 11 9 1. 23 0.391
158 A 8 7 1. 14 0.5
159 A 0 0 0. 0 0.
160 A 27 11 1. 25 0.44
161 A 24 12 1. 25 0.48
162 A 13 11 1. 23 0.478
163 A 9 8 1. 14 0.571
164 A 0 0 0. 0 0.
165 A 29 11 1. 25 0.44
166 A 26 12 1. 25 0.48
167 A 14 11 1. 23 0.478
168 A 10 8 1. 14 0.571
169 A 0 0 0. 0 0.
170 A 35 13 1. 25 0.52
171 A 16 11 1. 23 0.478
172 A 11 8 1. 14 0.571
173 A 0 0 0. 0 0.
174 A 20 8 1. 25 0.32
175 A 15 8 1. 25 0.32
176 A 15 8 1. 25 0.32
177 A 10 8 1. 23 0.348
178 A 7 6 1. 14 0.429
179 A 0 0 0. 0 0.
180 A 19 7 1. 25 0.28
181 A 14 7 1. 25 0.28
182 A 14 7 1. 25 0.28
183 A 8 7 1. 23 0.304
184 A 8 7 1. 14 0.5
185 A 0 0 0. 0 0.
186 A 36 10 1. 25 0.4
187 A 26 10 1. 25 0.4
188 A 24 11 1. 25 0.44
189 A 13 11 1. 23 0.478
190 A 9 8 1. 14 0.571
191 A 0 0 0. 0 0.
192 A 34 9 1. 25 0.36
193 A 23 9 1. 25 0.36
194 A 24 11 1. 25 0.44
195 A 11 10 1. 23 0.435
196 A 10 8 1. 14 0.571
197 A 0 0 0. 0 0.
198 A 8 6 1. 23 0.261
199 A 8 6 1. 23 0.261
200 A 6 6 1. 23 0.261
201 A 6 6 1. 23 0.261
202 A 4 4 1. 23 0.174
203 A 4 4 1. 23 0.174
204 A 7 7 1. 23 0.304
205 A 7 7 1. 23 0.304
206 A 3 3 1.08 25 0.12
207 A 3 3 1.08 25 0.12
208 A 3 3 1.08 25 0.12
209 A 3 3 1.08 25 0.12
210 A 3 3 1.08 25 0.12
211 A 3 3 1.08 25 0.12
212 A 3 3 1.08 25 0.12
213 A 3 3 1.08 25 0.12
214 A 0 0 0. 0 0.
215 A 0 0 0. 0 0.
216 A 0 0 0. 0 0.
217 A 0 0 0. 0 0.
218 A 0 0 0. 0 0.
219 A 0 0 0. 0 0.
220 A 0 0 0. 0 0.
221 A 0 0 0. 0 0.
222 A 0 0 0. 0 0.
223 A 0 0 0. 0 0.
224 A 0 0 0. 0 0.
225 A 0 0 0. 0 0.
226 A 0 0 0. 0 0.
227 A 0 0 0. 0 0.
228 A 3 3 1.06 23 0.13
229 A 5 5 1.05 21 0.238
230 A 0 0 0. 0 0.
231 A 5 5 1. 10 0.5
232 A 7 5 1. 10 0.5
233 A 6 5 1. 8 0.625
234 A 5 5 1. 6 0.833
235 A 5 5 1. 10 0.5
236 A 3 3 1. 10 0.3
237 A 4 4 1. 10 0.4
238 A 3 3 1. 4 0.75
239 A 5 5 1. 10 0.5
240 A 3 2 1. 14 0.143
241 A 6 5 1. 14 0.357
242 A 2 2 1. 14 0.143
243 A 5 4 1. 12 0.333
244 A 1 1 1. 14 0.071
245 A 1 1 1. 14 0.071
246 A 2 2 1. 14 0.143
247 A 3 2 1. 14 0.143
248 A 5 4 1. 14 0.286
249 A 2 2 1. 14 0.143
250 A 4 3 1. 12 0.25
251 A 1 1 1. 14 0.071
252 A 1 1 1. 14 0.071
253 A 2 2 1. 14 0.143
254 A 2 2 1. 16 0.125
255 A 2 2 1. 16 0.125
256 A 1 1 1. 16 0.062
257 A 1 1 1. 16 0.062
258 A 1 1 1. 16 0.062
259 A 2 2 1. 16 0.125
260 A 2 2 1. 16 0.125
261 A 2 2 1. 16 0.125
262 A 2 2 1. 16 0.125
263 A 1 1 1. 16 0.062
264 A 1 1 1. 16 0.062
265 A 1 1 1. 16 0.062
266 A 2 2 1. 16 0.125
267 A 2 2 1. 16 0.125
268 A 0 0 0. 0 0.
269 A 8 8 1. 40 0.2
270 A 7 7 1.01 40 0.175
271 A 6 7 1. 38 0.184
272 A 0 0 0. 0 0.
273 A 0 0 0. 0 0.
274 A 6 6 1. 10 0.6
275 A 5 4 1. 12 0.333
276 A 5 4 1. 12 0.333
277 A 5 4 1. 10 0.4
278 A 5 4 1. 8 0.5
279 A 9 8 1. 12 0.667
280 A 9 8 1. 12 0.667
281 A 7 5 1. 12 0.417
282 A 8 6 1. 12 0.5
283 A 10 7 1. 12 0.583
284 A 37 8 1. 14 0.571
285 A 27 8 1. 14 0.571
286 A 17 8 1. 12 0.667
287 A 7 4 1. 10 0.4
288 A 0 0 0. 0 0.
289 A 0 0 0. 0 0.
290 A 7 7 1. 19 0.368
291 A 2 2 1. 20 0.1
292 A 4 4 1. 12 0.333
293 A 4 4 1. 14 0.286
294 A 5 5 1. 10 0.5
295 A 2 2 1. 26 0.077
296 A 2 2 1. 26 0.077

[next] [prev] [prev-tail] [front] [up]