[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.1.8 Mupad
 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, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 32, 33, 34, 35, 36, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 55, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 86, 87, 96, 97, 98, 99, 100, 102, 105, 108, 111, 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, 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, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 197, 198 }

B grade: { }

C grade: { 17, 18, 30, 31, 37, 38, 52, 53, 54, 56, 57, 58, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 88, 89, 90, 91, 92, 93, 94, 95, 103, 104, 106, 107, 109, 110, 112, 113 }

F grade: { 101, 183, 196 }

2.1.3 Maple

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, 48, 55, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 96, 97, 98, 99, 100, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 128, 129, 130, 134, 138, 139, 140, 142, 143, 153, 154, 155, 159, 160, 165, 173, 180 }

B grade: { 39, 40, 41, 42, 43, 44, 137, 144 }

C grade: { 45, 46, 47, 49, 50, 51, 52, 53, 54, 56, 57, 58, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113 }

F grade: { 101, 127, 131, 132, 133, 135, 136, 141, 145, 146, 147, 148, 149, 150, 151, 152, 156, 157, 158, 161, 162, 163, 164, 166, 167, 168, 169, 170, 171, 172, 174, 175, 176, 177, 178, 179, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198 }

2.1.4 Maxima

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39, 40, 41, 42, 43, 44, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 96, 97, 98, 99, 100, 114, 115, 117, 118, 119, 120, 122, 123, 124, 125, 126, 128, 129, 130, 131, 132, 133, 134, 137, 138, 139, 140, 142, 143, 145, 146, 147, 148, 153, 154, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 180, 184, 185, 186, 189, 190, 191, 192, 193, 197, 198 }

B grade: { 144, 155 }

C grade: { }

F grade: { 22, 35, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 116, 121, 127, 135, 136, 141, 149, 150, 151, 152, 156, 157, 158, 159, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 181, 182, 183, 187, 188, 194, 195, 196 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 7, 8, 9, 10, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 48, 55, 59, 60, 61, 62, 63, 64, 72, 73, 74, 96, 97, 98, 99, 100, 114, 115, 117, 118, 119, 120, 122, 123, 124, 125, 126, 134, 137, 138, 139, 140, 150, 151, 152, 153, 154, 155, 160, 165, 180 }

B grade: { 75, 76, 77 }

C grade: { 11, 12, 13, 14, 16, 17, 18, 32, 33, 34, 36, 37, 38, 39, 40, 41, 42, 43, 44, 65, 66, 67, 68, 69, 70, 71, 78, 79, 80, 81, 82, 83, 84, 85, 131, 132, 133 }

F grade: { 6, 15, 22, 35, 45, 46, 47, 49, 50, 51, 52, 53, 54, 56, 57, 58, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 116, 121, 127, 128, 129, 130, 135, 136, 141, 142, 143, 144, 145, 146, 147, 148, 149, 156, 157, 158, 159, 161, 162, 163, 164, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198 }

2.1.6 Sympy

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 15, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 60, 96, 97, 98, 99, 100, 114, 115, 116, 117, 118, 119, 120, 122, 123, 124, 125, 126, 134, 137, 138, 139, 140, 160 }

B grade: { }

C grade: { }

F grade: { 11, 12, 13, 14, 16, 17, 18, 22, 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, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 121, 127, 128, 129, 130, 131, 132, 133, 135, 136, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 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 }

2.1.7 Giac

A grade: { 96, 97, 98, 99, 100, 114, 115, 117, 118, 119, 120, 122, 123, 134, 160, 180 }

B grade: { }

C grade: { }

F grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 116, 121, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 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, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198 }

2.1.8 Mupad

A grade: { 96, 97, 98, 99, 100, 114, 115, 117, 118, 119, 120, 122, 123, 134, 160, 180 }

B grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 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, 101, 116, 126, 133, 140, 145, 146, 153, 154, 155, 165, 173 }

C grade: { }

F grade: { 15, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 121, 124, 125, 127, 128, 129, 130, 131, 132, 135, 136, 137, 138, 139, 141, 142, 143, 144, 147, 148, 149, 150, 151, 152, 156, 157, 158, 159, 161, 162, 163, 164, 166, 167, 168, 169, 170, 171, 172, 174, 175, 176, 177, 178, 179, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198 }

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 Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 86 86 73 76 72 72 66 0 69
normalized size 1 1.00 0.85 0.88 0.84 0.84 0.77 0.00 0.80
time (sec) N/A 0.053 0.044 0.013 0.321 1.211 9.678 0.000 0.309
Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 65 68 64 64 58 0 61
normalized size 1 1.00 0.86 0.89 0.84 0.84 0.76 0.00 0.80
time (sec) N/A 0.045 0.031 0.006 0.321 1.525 5.612 0.000 0.246
Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 66 66 57 60 56 56 49 0 53
normalized size 1 1.00 0.86 0.91 0.85 0.85 0.74 0.00 0.80
time (sec) N/A 0.040 0.028 0.007 0.307 0.515 3.252 0.000 0.226
Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 48 52 48 48 41 0 46
normalized size 1 1.00 0.86 0.93 0.86 0.86 0.73 0.00 0.82
time (sec) N/A 0.028 0.024 0.010 0.317 0.565 1.806 0.000 0.341
Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 29 29 26 36 29 29 22 0 32
normalized size 1 1.00 0.90 1.24 1.00 1.00 0.76 0.00 1.10
time (sec) N/A 0.009 0.013 0.006 0.317 1.054 0.940 0.000 0.257
Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A F A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 5 5 5 6 5 0 3 0 5
normalized size 1 1.00 1.00 1.20 1.00 0.00 0.60 0.00 1.00
time (sec) N/A 0.009 0.001 0.003 0.316 0.443 0.796 0.000 0.175
Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 36 36 36 40 28 34 24 0 34
normalized size 1 1.00 1.00 1.11 0.78 0.94 0.67 0.00 0.94
time (sec) N/A 0.022 0.010 0.013 0.326 1.363 1.090 0.000 0.202
Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 50 52 40 47 42 0 51
normalized size 1 1.00 0.86 0.90 0.69 0.81 0.72 0.00 0.88
time (sec) N/A 0.033 0.023 0.019 0.328 0.547 1.970 0.000 0.298
Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 52 60 49 56 51 0 57
normalized size 1 1.00 0.76 0.88 0.72 0.82 0.75 0.00 0.84
time (sec) N/A 0.036 0.031 0.016 0.311 0.529 3.305 0.000 0.319
Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 60 68 58 65 60 0 60
normalized size 1 1.00 0.77 0.87 0.74 0.83 0.77 0.00 0.77
time (sec) N/A 0.039 0.034 0.014 0.313 0.746 5.528 0.000 0.443
Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A C F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 88 88 86 78 77 77 0 0 71
normalized size 1 1.00 0.98 0.89 0.88 0.88 0.00 0.00 0.81
time (sec) N/A 0.057 0.012 0.152 0.325 0.537 0.000 0.000 0.819
Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A C F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 78 69 69 69 0 0 63
normalized size 1 1.00 1.00 0.88 0.88 0.88 0.00 0.00 0.81
time (sec) N/A 0.051 0.011 0.137 0.325 0.950 0.000 0.000 0.949
Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A C F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 69 62 61 61 0 0 55
normalized size 1 1.00 1.01 0.91 0.90 0.90 0.00 0.00 0.81
time (sec) N/A 0.035 0.009 0.132 0.326 0.771 0.000 0.000 0.904
Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A C F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 34 34 39 41 39 39 0 0 37
normalized size 1 1.00 1.15 1.21 1.15 1.15 0.00 0.00 1.09
time (sec) N/A 0.011 0.012 0.054 0.321 0.489 0.000 0.000 0.844
Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 5 5 5 6 5 0 3 0 -1
normalized size 1 1.00 1.00 1.20 1.00 0.00 0.60 0.00 -0.20
time (sec) N/A 0.009 0.001 0.003 0.325 0.484 0.454 0.000 0.000
Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A C F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 46 46 44 57 33 39 0 0 36
normalized size 1 1.00 0.96 1.24 0.72 0.85 0.00 0.00 0.78
time (sec) N/A 0.030 0.104 0.044 0.331 0.493 0.000 0.000 0.886
Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A C F F B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 70 70 25 90 47 54 0 0 46
normalized size 1 1.00 0.36 1.29 0.67 0.77 0.00 0.00 0.66
time (sec) N/A 0.043 0.008 0.135 0.329 0.625 0.000 0.000 1.273
Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A C F F B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 80 80 25 106 56 63 0 0 62
normalized size 1 1.00 0.31 1.32 0.70 0.79 0.00 0.00 0.78
time (sec) N/A 0.048 0.009 0.144 0.332 0.707 0.000 0.000 1.502
Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 74 74 65 62 62 62 56 0 61
normalized size 1 1.00 0.88 0.84 0.84 0.84 0.76 0.00 0.82
time (sec) N/A 0.061 0.022 0.014 0.314 0.448 19.525 0.000 0.194
Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 56 54 54 54 48 0 53
normalized size 1 1.00 0.88 0.84 0.84 0.84 0.75 0.00 0.83
time (sec) N/A 0.050 0.018 0.007 0.311 0.719 7.483 0.000 0.270
Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 46 46 43 52 40 40 39 0 45
normalized size 1 1.00 0.93 1.13 0.87 0.87 0.85 0.00 0.98
time (sec) N/A 0.025 0.009 0.005 0.311 0.526 2.725 0.000 0.206
Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 11 11 11 10 0 0 0 0 9
normalized size 1 1.00 1.00 0.91 0.00 0.00 0.00 0.00 0.82
time (sec) N/A 0.009 0.001 0.058 0.000 0.495 0.000 0.000 0.173
Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 49 49 49 43 34 44 37 0 44
normalized size 1 1.00 1.00 0.88 0.69 0.90 0.76 0.00 0.90
time (sec) N/A 0.041 0.013 0.012 0.320 0.913 2.741 0.000 0.210
Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 51 54 46 55 49 0 53
normalized size 1 1.00 0.80 0.84 0.72 0.86 0.77 0.00 0.83
time (sec) N/A 0.050 0.027 0.015 0.334 1.350 7.306 0.000 0.264
Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 74 74 60 62 55 64 58 0 61
normalized size 1 1.00 0.81 0.84 0.74 0.86 0.78 0.00 0.82
time (sec) N/A 0.054 0.031 0.014 0.319 0.451 18.527 0.000 0.278
Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 73 73 65 58 80 159 94 0 60
normalized size 1 1.00 0.89 0.79 1.10 2.18 1.29 0.00 0.82
time (sec) N/A 0.045 0.069 0.010 0.422 1.305 144.625 0.000 0.413
Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 57 50 68 143 83 0 52
normalized size 1 1.00 0.90 0.79 1.08 2.27 1.32 0.00 0.83
time (sec) N/A 0.039 0.052 0.009 0.420 0.651 40.310 0.000 0.280
Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 40 40 39 37 49 107 60 0 39
normalized size 1 1.00 0.98 0.92 1.22 2.68 1.50 0.00 0.98
time (sec) N/A 0.017 0.027 0.010 0.411 0.558 9.924 0.000 0.239
Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 41 39 49 94 184 0 38
normalized size 1 1.00 0.98 0.93 1.17 2.24 4.38 0.00 0.90
time (sec) N/A 0.026 0.017 0.008 0.413 1.002 34.457 0.000 0.264
Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 47 45 57 114 275 0 47
normalized size 1 1.00 0.84 0.80 1.02 2.04 4.91 0.00 0.84
time (sec) N/A 0.032 0.014 0.013 0.417 0.599 133.625 0.000 0.326
Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 66 66 47 53 65 132 0 0 58
normalized size 1 1.00 0.71 0.80 0.98 2.00 0.00 0.00 0.88
time (sec) N/A 0.038 0.014 0.013 0.411 0.515 0.000 0.000 0.336
Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A C F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 88 88 88 80 77 77 0 0 73
normalized size 1 1.00 1.00 0.91 0.88 0.88 0.00 0.00 0.83
time (sec) N/A 0.075 0.017 0.018 0.319 0.489 0.000 0.000 0.338
Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A C F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 79 72 69 69 0 0 65
normalized size 1 1.00 1.01 0.92 0.88 0.88 0.00 0.00 0.83
time (sec) N/A 0.061 0.015 0.020 0.323 0.710 0.000 0.000 0.305
Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A C F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 60 60 52 56 53 53 0 0 57
normalized size 1 1.00 0.87 0.93 0.88 0.88 0.00 0.00 0.95
time (sec) N/A 0.030 0.011 0.013 0.322 0.481 0.000 0.000 0.378
Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 11 11 11 10 0 0 0 0 9
normalized size 1 1.00 1.00 0.91 0.00 0.00 0.00 0.00 0.82
time (sec) N/A 0.009 0.001 0.128 0.000 0.845 0.000 0.000 0.202
Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A C F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 60 68 41 51 0 0 54
normalized size 1 1.00 0.95 1.08 0.65 0.81 0.00 0.00 0.86
time (sec) N/A 0.047 0.028 0.020 0.335 0.568 0.000 0.000 0.294
Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A C F F B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 78 78 30 98 55 64 0 0 65
normalized size 1 1.00 0.38 1.26 0.71 0.82 0.00 0.00 0.83
time (sec) N/A 0.064 0.012 0.026 0.339 0.572 0.000 0.000 0.728
Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A C F F B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 88 88 30 115 64 73 0 0 73
normalized size 1 1.00 0.34 1.31 0.73 0.83 0.00 0.00 0.83
time (sec) N/A 0.065 0.012 0.027 0.337 0.584 0.000 0.000 1.025
Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A C F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 87 87 77 144 95 189 0 0 72
normalized size 1 1.00 0.89 1.66 1.09 2.17 0.00 0.00 0.83
time (sec) N/A 0.053 0.155 0.165 0.414 0.526 0.000 0.000 0.552
Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A C F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 77 77 69 136 81 173 0 0 64
normalized size 1 1.00 0.90 1.77 1.05 2.25 0.00 0.00 0.83
time (sec) N/A 0.049 0.130 0.163 0.416 0.646 0.000 0.000 0.487
Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A C F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 50 50 50 119 59 133 0 0 49
normalized size 1 1.00 1.00 2.38 1.18 2.66 0.00 0.00 0.98
time (sec) N/A 0.023 0.083 0.172 0.414 0.734 0.000 0.000 0.364
Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A C F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 54 54 50 112 58 112 0 0 53
normalized size 1 1.00 0.93 2.07 1.07 2.07 0.00 0.00 0.98
time (sec) N/A 0.036 0.077 0.164 0.412 0.547 0.000 0.000 0.554
Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A C F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 61 125 66 132 0 0 59
normalized size 1 1.00 0.87 1.79 0.94 1.89 0.00 0.00 0.84
time (sec) N/A 0.041 0.083 0.161 0.413 0.589 0.000 0.000 0.771
Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A C F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 69 138 74 150 0 0 70
normalized size 1 1.00 0.86 1.72 0.92 1.88 0.00 0.00 0.88
time (sec) N/A 0.047 0.095 0.167 1.128 0.809 0.000 0.000 1.034
Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 71 71 69 108 0 0 0 0 -1
normalized size 1 1.00 0.97 1.52 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.037 0.043 0.138 0.000 0.708 0.000 0.000 0.000
Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 71 71 69 108 0 0 0 0 -1
normalized size 1 1.00 0.97 1.52 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.032 0.037 0.121 0.000 1.036 0.000 0.000 0.000
Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 54 54 51 88 0 0 0 0 -1
normalized size 1 1.00 0.94 1.63 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.023 0.044 0.135 0.000 0.512 0.000 0.000 0.000
Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 11 11 11 12 0 11 0 0 -1
normalized size 1 1.00 1.00 1.09 0.00 1.00 0.00 0.00 -0.09
time (sec) N/A 0.010 0.001 0.003 0.000 0.564 0.000 0.000 0.000
Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 60 106 0 0 0 0 -1
normalized size 1 1.00 0.87 1.54 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.039 0.054 0.133 0.000 0.693 0.000 0.000 0.000
Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 61 108 0 0 0 0 -1
normalized size 1 1.00 0.78 1.38 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.042 0.050 0.132 0.000 0.582 0.000 0.000 0.000
Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 61 108 0 0 0 0 -1
normalized size 1 1.00 0.80 1.42 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.040 0.052 0.128 0.000 0.674 0.000 0.000 0.000
Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 88 88 41 132 0 0 0 0 -1
normalized size 1 1.00 0.47 1.50 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.052 0.009 0.269 0.000 0.648 0.000 0.000 0.000
Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 88 88 41 132 0 0 0 0 -1
normalized size 1 1.00 0.47 1.50 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.043 0.007 0.275 0.000 0.556 0.000 0.000 0.000
Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 69 69 39 105 0 0 0 0 -1
normalized size 1 1.00 0.57 1.52 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.028 0.006 0.273 0.000 0.546 0.000 0.000 0.000
Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 11 11 11 12 0 11 0 0 -1
normalized size 1 1.00 1.00 1.09 0.00 1.00 0.00 0.00 -0.09
time (sec) N/A 0.010 0.001 0.003 0.000 0.458 0.000 0.000 0.000
Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 84 84 37 129 0 0 0 0 -1
normalized size 1 1.00 0.44 1.54 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.050 0.009 0.260 0.000 0.544 0.000 0.000 0.000
Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 95 95 41 132 0 0 0 0 -1
normalized size 1 1.00 0.43 1.39 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.050 0.009 0.261 0.000 0.491 0.000 0.000 0.000
Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 93 93 41 132 0 0 0 0 -1
normalized size 1 1.00 0.44 1.42 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.051 0.009 0.259 0.000 0.587 0.000 0.000 0.000
Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 117 117 90 96 128 190 0 0 -1
normalized size 1 1.00 0.77 0.82 1.09 1.62 0.00 0.00 -0.01
time (sec) N/A 0.072 0.102 0.022 1.076 0.587 0.000 0.000 0.000
Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 102 102 75 83 109 143 119 0 -1
normalized size 1 1.00 0.74 0.81 1.07 1.40 1.17 0.00 -0.01
time (sec) N/A 0.053 0.080 0.010 1.587 0.768 67.854 0.000 0.000
Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 63 69 83 135 0 0 -1
normalized size 1 1.00 0.79 0.86 1.04 1.69 0.00 0.00 -0.01
time (sec) N/A 0.046 0.075 0.015 0.414 0.442 0.000 0.000 0.000
Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 51 63 71 132 0 0 -1
normalized size 1 1.00 0.75 0.93 1.04 1.94 0.00 0.00 -0.01
time (sec) N/A 0.043 0.067 0.010 0.503 0.677 0.000 0.000 0.000
Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 57 76 89 150 0 0 -1
normalized size 1 1.00 0.64 0.85 1.00 1.69 0.00 0.00 -0.01
time (sec) N/A 0.050 0.072 0.015 1.080 0.694 0.000 0.000 0.000
Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 106 106 65 89 108 170 0 0 -1
normalized size 1 1.00 0.61 0.84 1.02 1.60 0.00 0.00 -0.01
time (sec) N/A 0.057 0.089 0.017 1.179 0.614 0.000 0.000 0.000
Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 153 153 98 149 156 279 0 0 -1
normalized size 1 1.00 0.64 0.97 1.02 1.82 0.00 0.00 -0.01
time (sec) N/A 0.098 0.254 0.173 0.670 0.562 0.000 0.000 0.000
Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 136 136 88 141 143 229 0 0 -1
normalized size 1 1.00 0.65 1.04 1.05 1.68 0.00 0.00 -0.01
time (sec) N/A 0.083 0.208 0.020 0.647 0.527 0.000 0.000 0.000
Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 121 121 73 133 122 173 0 0 -1
normalized size 1 1.00 0.60 1.10 1.01 1.43 0.00 0.00 -0.01
time (sec) N/A 0.067 0.181 0.022 2.059 0.708 0.000 0.000 0.000
Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 57 127 94 161 0 0 -1
normalized size 1 1.00 0.59 1.31 0.97 1.66 0.00 0.00 -0.01
time (sec) N/A 0.062 0.133 0.019 0.491 0.681 0.000 0.000 0.000
Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 85 85 58 111 78 156 0 0 -1
normalized size 1 1.00 0.68 1.31 0.92 1.84 0.00 0.00 -0.01
time (sec) N/A 0.059 0.096 0.016 0.617 0.523 0.000 0.000 0.000
Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 108 108 64 122 97 175 0 0 -1
normalized size 1 1.00 0.59 1.13 0.90 1.62 0.00 0.00 -0.01
time (sec) N/A 0.066 0.091 0.021 0.478 0.537 0.000 0.000 0.000
Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 125 125 72 135 118 195 0 0 -1
normalized size 1 1.00 0.58 1.08 0.94 1.56 0.00 0.00 -0.01
time (sec) N/A 0.076 0.127 0.020 0.575 1.038 0.000 0.000 0.000
Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 140 140 101 150 160 194 0 0 -1
normalized size 1 1.00 0.72 1.07 1.14 1.39 0.00 0.00 -0.01
time (sec) N/A 0.107 0.102 0.021 0.449 0.948 0.000 0.000 0.000
Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 125 125 91 139 139 172 0 0 -1
normalized size 1 1.00 0.73 1.11 1.11 1.38 0.00 0.00 -0.01
time (sec) N/A 0.086 0.069 0.009 1.059 0.745 0.000 0.000 0.000
Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A A F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 115 115 57 137 128 156 0 0 -1
normalized size 1 1.00 0.50 1.19 1.11 1.36 0.00 0.00 -0.01
time (sec) N/A 0.080 0.066 0.016 1.363 0.587 0.000 0.000 0.000
Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 103 103 62 127 123 170 0 0 -1
normalized size 1 1.00 0.60 1.23 1.19 1.65 0.00 0.00 -0.01
time (sec) N/A 0.074 0.067 0.009 1.081 0.853 0.000 0.000 0.000
Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 111 111 62 129 125 196 0 0 -1
normalized size 1 1.00 0.56 1.16 1.13 1.77 0.00 0.00 -0.01
time (sec) N/A 0.072 0.064 0.011 1.075 0.495 0.000 0.000 0.000
Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 126 126 70 140 151 212 0 0 -1
normalized size 1 1.00 0.56 1.11 1.20 1.68 0.00 0.00 -0.01
time (sec) N/A 0.086 0.074 0.017 0.462 0.737 0.000 0.000 0.000
Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A C F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 161 161 89 155 178 237 0 0 -1
normalized size 1 1.00 0.55 0.96 1.11 1.47 0.00 0.00 -0.01
time (sec) N/A 0.127 0.096 0.177 0.414 0.622 0.000 0.000 0.000
Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A C F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 161 161 89 155 175 213 0 0 -1
normalized size 1 1.00 0.55 0.96 1.09 1.32 0.00 0.00 -0.01
time (sec) N/A 0.116 0.094 0.165 1.348 0.909 0.000 0.000 0.000
Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A C F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 146 146 68 147 153 187 0 0 -1
normalized size 1 1.00 0.47 1.01 1.05 1.28 0.00 0.00 -0.01
time (sec) N/A 0.097 0.086 0.168 0.530 1.506 0.000 0.000 0.000
Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A C F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 134 134 68 147 141 169 0 0 -1
normalized size 1 1.00 0.51 1.10 1.05 1.26 0.00 0.00 -0.01
time (sec) N/A 0.101 0.081 0.174 1.198 0.750 0.000 0.000 0.000
Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A C F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 122 122 71 131 132 184 0 0 -1
normalized size 1 1.00 0.58 1.07 1.08 1.51 0.00 0.00 -0.01
time (sec) N/A 0.093 0.084 0.174 1.415 0.483 0.000 0.000 0.000
Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A C F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 132 132 71 131 134 211 0 0 -1
normalized size 1 1.00 0.54 0.99 1.02 1.60 0.00 0.00 -0.01
time (sec) N/A 0.091 0.090 0.175 0.552 0.610 0.000 0.000 0.000
Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A C F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 147 147 79 142 163 226 0 0 -1
normalized size 1 1.00 0.54 0.97 1.11 1.54 0.00 0.00 -0.01
time (sec) N/A 0.107 0.090 0.176 0.491 0.960 0.000 0.000 0.000
Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A C F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 147 147 84 142 168 223 0 0 -1
normalized size 1 1.00 0.57 0.97 1.14 1.52 0.00 0.00 -0.01
time (sec) N/A 0.106 0.093 0.181 0.434 0.794 0.000 0.000 0.000
Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 101 101 82 121 0 0 0 0 -1
normalized size 1 1.00 0.81 1.20 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.059 0.120 0.157 0.000 0.522 0.000 0.000 0.000
Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 82 121 0 0 0 0 -1
normalized size 1 1.00 0.82 1.21 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.055 0.104 0.137 0.000 0.690 0.000 0.000 0.000
Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 93 93 48 109 0 0 0 0 -1
normalized size 1 1.00 0.52 1.17 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.054 0.021 0.132 0.000 0.887 0.000 0.000 0.000
Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 97 97 48 121 0 0 0 0 -1
normalized size 1 1.00 0.49 1.25 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.060 0.026 0.143 0.000 0.648 0.000 0.000 0.000
Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 105 105 48 121 0 0 0 0 -1
normalized size 1 1.00 0.46 1.15 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.061 0.027 0.133 0.000 0.642 0.000 0.000 0.000
Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 125 125 50 145 0 0 0 0 -1
normalized size 1 1.00 0.40 1.16 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.075 0.030 0.283 0.000 0.813 0.000 0.000 0.000
Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 124 124 50 145 0 0 0 0 -1
normalized size 1 1.00 0.40 1.17 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.070 0.025 0.283 0.000 0.514 0.000 0.000 0.000
Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 115 115 50 133 0 0 0 0 -1
normalized size 1 1.00 0.43 1.16 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.069 0.020 0.287 0.000 1.331 0.000 0.000 0.000
Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 119 119 50 145 0 0 0 0 -1
normalized size 1 1.00 0.42 1.22 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.078 0.023 0.282 0.000 0.875 0.000 0.000 0.000
Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 129 129 50 145 0 0 0 0 -1
normalized size 1 1.00 0.39 1.12 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.075 0.023 0.279 0.000 0.581 0.000 0.000 0.000
Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.008 0.006 0.006 0.000 0.863 0.000 0.000 0.000
Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.005 0.006 0.006 0.000 0.479 0.000 0.000 0.000
Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 10 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.10
time (sec) N/A 0.002 0.006 0.005 0.000 0.529 0.000 0.000 0.000
Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.005 0.007 0.004 0.000 0.804 0.000 0.000 0.000
Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.008 0.008 0.004 0.000 0.417 0.000 0.000 0.000
Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F F B
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 9 9 0 0 0 0 0 0 7
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.78
time (sec) N/A 0.008 0.007 0.013 0.000 0.560 0.000 0.000 0.370
Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 53 144 0 0 0 0 -1
normalized size 1 1.00 0.68 1.85 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.049 0.041 0.135 0.000 0.636 0.000 0.000 0.000
Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 102 102 88 173 0 0 0 0 -1
normalized size 1 1.00 0.86 1.70 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.064 0.059 0.279 0.000 0.565 0.000 0.000 0.000
Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 121 121 119 198 0 0 0 0 -1
normalized size 1 1.00 0.98 1.64 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.086 0.072 0.621 0.000 0.501 0.000 0.000 0.000
Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 94 94 72 177 0 0 0 0 -1
normalized size 1 1.00 0.77 1.88 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.055 0.044 0.156 0.000 0.489 0.000 0.000 0.000
Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 118 118 126 218 0 0 0 0 -1
normalized size 1 1.00 1.07 1.85 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.071 0.077 0.309 0.000 0.619 0.000 0.000 0.000
Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 142 142 166 259 0 0 0 0 -1
normalized size 1 1.00 1.17 1.82 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.093 0.093 0.671 0.000 0.771 0.000 0.000 0.000
Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 94 94 72 177 0 0 0 0 -1
normalized size 1 1.00 0.77 1.88 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.055 0.046 0.147 0.000 1.745 0.000 0.000 0.000
Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 118 118 126 218 0 0 0 0 -1
normalized size 1 1.00 1.07 1.85 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.071 0.079 0.332 0.000 0.869 0.000 0.000 0.000
Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 142 142 166 259 0 0 0 0 -1
normalized size 1 1.00 1.17 1.82 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.094 0.092 0.810 0.000 1.221 0.000 0.000 0.000
Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 101 101 80 148 0 0 0 0 -1
normalized size 1 1.00 0.79 1.47 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.060 0.065 0.141 0.000 1.975 0.000 0.000 0.000
Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 130 130 50 180 0 0 0 0 -1
normalized size 1 1.00 0.38 1.38 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.076 0.023 0.379 0.000 0.979 0.000 0.000 0.000
Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 154 154 52 217 0 0 0 0 -1
normalized size 1 1.00 0.34 1.41 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.102 0.020 1.700 0.000 1.269 0.000 0.000 0.000
Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 10 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.10
time (sec) N/A 0.005 0.022 0.004 0.000 0.781 0.000 0.000 0.000
Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 8 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.12
time (sec) N/A 0.002 0.001 0.006 0.000 1.065 0.000 0.000 0.000
Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 7 7 7 8 0 0 5 0 7
normalized size 1 1.00 1.00 1.14 0.00 0.00 0.71 0.00 1.00
time (sec) N/A 0.009 0.001 0.003 0.000 0.465 0.454 0.000 0.539
Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 12 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.08
time (sec) N/A 0.009 0.020 0.006 0.000 0.745 0.000 0.000 0.000
Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 12 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.08
time (sec) N/A 0.009 0.020 0.005 0.000 0.588 0.000 0.000 0.000
Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 12 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.08
time (sec) N/A 0.006 0.024 0.005 0.000 1.946 0.000 0.000 0.000
Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 10 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.10
time (sec) N/A 0.003 0.004 0.004 0.000 1.058 0.000 0.000 0.000
Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 13 13 13 14 0 0 0 0 -1
normalized size 1 1.00 1.00 1.08 0.00 0.00 0.00 0.00 -0.08
time (sec) N/A 0.010 0.001 0.003 0.000 1.029 0.000 0.000 0.000
Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 14 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.07
time (sec) N/A 0.009 0.022 0.004 0.000 0.825 0.000 0.000 0.000
Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 14 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.07
time (sec) N/A 0.009 0.022 0.006 0.000 1.459 0.000 0.000 0.000
Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 260 260 144 269 200 165 236 0 -1
normalized size 1 1.00 0.55 1.03 0.77 0.63 0.91 0.00 -0.00
time (sec) N/A 0.321 0.195 0.010 0.313 0.789 8.796 0.000 0.000
Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 152 152 96 177 145 110 153 0 -1
normalized size 1 1.00 0.63 1.16 0.95 0.72 1.01 0.00 -0.01
time (sec) N/A 0.169 0.093 0.006 0.311 1.362 4.039 0.000 0.000
Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 60 60 53 96 90 55 73 0 61
normalized size 1 1.00 0.88 1.60 1.50 0.92 1.22 0.00 1.02
time (sec) N/A 0.049 0.017 0.003 0.304 0.759 2.075 0.000 0.593
Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 401 401 422 0 0 0 0 0 -1
normalized size 1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.355 0.131 0.016 0.000 0.451 0.000 0.000 0.000
Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 84 84 73 85 114 0 0 0 -1
normalized size 1 1.00 0.87 1.01 1.36 0.00 0.00 0.00 -0.01
time (sec) N/A 0.117 0.051 0.022 0.319 0.900 0.000 0.000 0.000
Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 173 173 131 195 193 0 0 0 -1
normalized size 1 1.00 0.76 1.13 1.12 0.00 0.00 0.00 -0.01
time (sec) N/A 0.178 0.158 0.020 0.314 1.278 0.000 0.000 0.000
Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 276 276 210 376 302 0 0 0 -1
normalized size 1 1.00 0.76 1.36 1.09 0.00 0.00 0.00 -0.00
time (sec) N/A 0.273 0.286 0.026 0.319 0.815 0.000 0.000 0.000
Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 347 347 296 0 264 219 0 0 -1
normalized size 1 1.00 0.85 0.00 0.76 0.63 0.00 0.00 -0.00
time (sec) N/A 0.638 0.064 0.006 0.320 0.793 0.000 0.000 0.000
Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 198 198 198 0 193 149 0 0 -1
normalized size 1 1.00 1.00 0.00 0.97 0.75 0.00 0.00 -0.01
time (sec) N/A 0.287 0.045 0.005 0.316 1.949 0.000 0.000 0.000
Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A C F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 84 84 66 0 120 73 0 0 77
normalized size 1 1.00 0.79 0.00 1.43 0.87 0.00 0.00 0.92
time (sec) N/A 0.069 0.024 0.006 0.327 0.976 0.000 0.000 2.181
Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 17 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06
time (sec) N/A 0.038 0.036 0.005 0.000 1.217 0.000 0.000 0.000
Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 486 486 477 0 0 0 0 0 -1
normalized size 1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.560 0.697 0.006 0.000 0.952 0.000 0.000 0.000
Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 629 629 573 0 0 0 0 0 -1
normalized size 1 1.00 0.91 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.664 1.734 0.007 0.000 1.254 0.000 0.000 0.000
Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 605 605 485 1177 681 651 1028 0 -1
normalized size 1 1.00 0.80 1.95 1.13 1.08 1.70 0.00 -0.00
time (sec) N/A 0.587 0.533 0.023 0.352 0.652 36.564 0.000 0.000
Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 385 385 274 687 406 373 561 0 -1
normalized size 1 1.00 0.71 1.78 1.05 0.97 1.46 0.00 -0.00
time (sec) N/A 0.339 0.179 0.014 0.338 1.074 15.000 0.000 0.000
Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 210 210 161 292 212 176 252 0 -1
normalized size 1 1.00 0.77 1.39 1.01 0.84 1.20 0.00 -0.00
time (sec) N/A 0.197 0.082 0.006 0.333 0.631 5.457 0.000 0.000
Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 60 60 53 96 90 55 73 0 61
normalized size 1 1.00 0.88 1.60 1.50 0.92 1.22 0.00 1.02
time (sec) N/A 0.052 0.015 0.000 0.314 3.953 2.072 0.000 0.002
Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 591 591 622 0 0 0 0 0 -1
normalized size 1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.518 0.227 0.109 0.000 0.590 0.000 0.000 0.000
Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 138 138 108 189 166 0 0 0 -1
normalized size 1 1.00 0.78 1.37 1.20 0.00 0.00 0.00 -0.01
time (sec) N/A 0.184 0.131 0.031 0.319 1.918 0.000 0.000 0.000
Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 278 278 190 437 379 0 0 0 -1
normalized size 1 1.00 0.68 1.57 1.36 0.00 0.00 0.00 -0.00
time (sec) N/A 0.270 0.311 0.018 0.324 1.220 0.000 0.000 0.000
Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 448 448 313 1075 1428 0 0 0 -1
normalized size 1 1.00 0.70 2.40 3.19 0.00 0.00 0.00 -0.00
time (sec) N/A 0.426 0.530 0.040 0.384 0.671 0.000 0.000 0.000
Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 46 46 46 0 44 0 0 0 46
normalized size 1 1.00 1.00 0.00 0.96 0.00 0.00 0.00 1.00
time (sec) N/A 0.066 0.041 0.106 0.312 0.783 0.000 0.000 0.044
Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 46 46 46 0 44 0 0 0 46
normalized size 1 1.00 1.00 0.00 0.96 0.00 0.00 0.00 1.00
time (sec) N/A 0.067 0.007 0.105 0.304 0.527 0.000 0.000 0.002
Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 51 51 51 0 49 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.96 0.00 0.00 0.00 -0.02
time (sec) N/A 0.133 0.038 0.109 0.328 0.644 0.000 0.000 0.000
Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 51 51 51 0 49 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.96 0.00 0.00 0.00 -0.02
time (sec) N/A 0.134 0.014 0.106 0.311 2.348 0.000 0.000 0.000
Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 35 35 34 0 0 0 0 0 -1
normalized size 1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.071 0.019 0.115 0.000 0.645 0.000 0.000 0.000
Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 32 0 0 33 0 0 -1
normalized size 1 1.00 0.97 0.00 0.00 1.00 0.00 0.00 -0.03
time (sec) N/A 0.061 0.007 0.104 0.000 0.809 0.000 0.000 0.000
Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 32 0 0 33 0 0 -1
normalized size 1 1.00 0.97 0.00 0.00 1.00 0.00 0.00 -0.03
time (sec) N/A 0.061 0.007 0.098 0.000 0.928 0.000 0.000 0.000
Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 40 0 0 32 0 0 -1
normalized size 1 1.00 1.21 0.00 0.00 0.97 0.00 0.00 -0.03
time (sec) N/A 0.058 1.772 0.108 0.000 1.912 0.000 0.000 0.000
Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 36 36 38 37 58 35 0 0 33
normalized size 1 1.00 1.06 1.03 1.61 0.97 0.00 0.00 0.92
time (sec) N/A 0.317 0.087 0.101 0.331 1.604 0.000 0.000 0.269
Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 36 36 35 56 52 42 0 0 35
normalized size 1 1.00 0.97 1.56 1.44 1.17 0.00 0.00 0.97
time (sec) N/A 0.367 0.101 0.159 0.332 1.535 0.000 0.000 0.195
Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 52 52 52 57 211 87 0 0 81
normalized size 1 1.00 1.00 1.10 4.06 1.67 0.00 0.00 1.56
time (sec) N/A 2.025 0.249 0.284 0.375 2.095 0.000 0.000 0.252
Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 135 135 135 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.088 0.011 0.029 0.000 1.218 0.000 0.000 0.000
Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 100 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.058 0.006 0.005 0.000 1.293 0.000 0.000 0.000
Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 65 65 65 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.033 0.005 0.007 0.000 3.476 0.000 0.000 0.000
Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 31 31 31 32 0 0 0 0 -1
normalized size 1 1.00 1.00 1.03 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.018 0.004 0.013 0.000 0.948 0.000 0.000 0.000
Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 23 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.068 0.053 0.005 0.000 0.928 0.000 0.000 0.000
Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 300 300 223 0 376 0 0 0 -1
normalized size 1 1.00 0.74 0.00 1.25 0.00 0.00 0.00 -0.00
time (sec) N/A 0.523 0.561 0.012 0.347 2.259 0.000 0.000 0.000
Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 258 258 192 0 296 0 0 0 -1
normalized size 1 1.00 0.74 0.00 1.15 0.00 0.00 0.00 -0.00
time (sec) N/A 0.405 0.323 0.007 0.365 1.711 0.000 0.000 0.000
Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 262 262 160 0 222 0 0 0 -1
normalized size 1 1.00 0.61 0.00 0.85 0.00 0.00 0.00 -0.00
time (sec) N/A 0.255 0.285 0.009 0.372 0.620 0.000 0.000 0.000
Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 132 132 119 0 141 0 0 0 -1
normalized size 1 1.00 0.90 0.00 1.07 0.00 0.00 0.00 -0.01
time (sec) N/A 0.212 0.024 0.006 0.339 0.819 0.000 0.000 0.000
Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 11 11 11 10 8 8 0 0 9
normalized size 1 1.00 1.00 0.91 0.73 0.73 0.00 0.00 0.82
time (sec) N/A 0.026 0.010 0.003 0.295 1.042 0.000 0.000 0.240
Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 111 111 115 0 113 0 0 0 -1
normalized size 1 1.00 1.04 0.00 1.02 0.00 0.00 0.00 -0.01
time (sec) N/A 0.164 0.131 0.009 0.367 1.134 0.000 0.000 0.000
Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 191 191 185 0 162 0 0 0 -1
normalized size 1 1.00 0.97 0.00 0.85 0.00 0.00 0.00 -0.01
time (sec) N/A 0.282 0.264 0.009 0.449 1.870 0.000 0.000 0.000
Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 245 245 246 0 188 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.77 0.00 0.00 0.00 -0.00
time (sec) N/A 0.355 0.226 0.006 0.463 1.317 0.000 0.000 0.000
Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 287 287 277 0 214 0 0 0 -1
normalized size 1 1.00 0.97 0.00 0.75 0.00 0.00 0.00 -0.00
time (sec) N/A 0.449 0.229 0.010 0.457 1.007 0.000 0.000 0.000
Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 423 366 252 0 0 0 0 0 -1
normalized size 1 0.87 0.60 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.611 0.406 0.306 0.000 0.968 0.000 0.000 0.000
Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 330 287 211 0 0 0 0 0 -1
normalized size 1 0.87 0.64 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.449 0.313 0.277 0.000 2.040 0.000 0.000 0.000
Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 167 167 149 0 0 0 0 0 -1
normalized size 1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.211 0.068 0.249 0.000 1.310 0.000 0.000 0.000
Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 20 20 20 19 0 0 0 0 18
normalized size 1 1.00 1.00 0.95 0.00 0.00 0.00 0.00 0.90
time (sec) N/A 0.058 0.010 0.169 0.000 1.064 0.000 0.000 0.248
Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 156 165 150 0 0 0 0 0 -1
normalized size 1 1.06 0.96 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.355 0.151 0.274 0.000 0.544 0.000 0.000 0.000
Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 266 278 238 0 0 0 0 0 -1
normalized size 1 1.05 0.89 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.496 0.118 0.306 0.000 0.909 0.000 0.000 0.000
Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 340 351 301 0 0 0 0 0 -1
normalized size 1 1.03 0.89 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.651 0.268 0.319 0.000 0.724 0.000 0.000 0.000
Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 2995 2995 2610 0 0 0 0 0 -1
normalized size 1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 4.600 10.167 0.272 0.000 0.805 0.000 0.000 0.000
Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 2252 2252 1996 0 0 0 0 0 -1
normalized size 1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 2.904 6.157 0.143 0.000 2.036 0.000 0.000 0.000
Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 1653 1653 1546 0 0 0 0 0 -1
normalized size 1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 3.186 2.466 0.141 0.000 0.779 0.000 0.000 0.000
Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade N/A A A A A A F(-1) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.025 2.432 0.261 0.000 1.372 0.000 0.000 0.000
Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 2498 2498 2247 0 0 0 0 0 -1
normalized size 1 1.00 0.90 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 2.667 7.393 0.290 0.000 0.721 0.000 0.000 0.000
Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 3119 3119 2673 0 0 0 0 0 -1
normalized size 1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 3.238 14.598 0.295 0.000 0.793 0.000 0.000 0.000
Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F(-1) F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 3733 3733 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 4.308 10.471 0.311 0.000 1.473 0.000 0.000 0.000
Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 661 661 425 0 415 0 0 0 -1
normalized size 1 1.00 0.64 0.00 0.63 0.00 0.00 0.00 -0.00
time (sec) N/A 0.982 0.715 0.007 0.341 1.029 0.000 0.000 0.000
Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 546 546 362 0 345 0 0 0 -1
normalized size 1 1.00 0.66 0.00 0.63 0.00 0.00 0.00 -0.00
time (sec) N/A 0.718 0.568 0.008 0.331 1.060 0.000 0.000 0.000
Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 390 390 285 0 258 0 0 0 -1
normalized size 1 1.00 0.73 0.00 0.66 0.00 0.00 0.00 -0.00
time (sec) N/A 0.449 0.451 0.007 0.343 0.890 0.000 0.000 0.000
Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 153 153 137 0 0 0 0 0 -1
normalized size 1 1.00 0.90 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.338 0.227 0.008 0.000 0.767 0.000 0.000 0.000
Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 131 131 135 0 0 0 0 0 -1
normalized size 1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.314 0.683 0.010 0.000 2.956 0.000 0.000 0.000
Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 331 331 285 0 213 0 0 0 -1
normalized size 1 1.00 0.86 0.00 0.64 0.00 0.00 0.00 -0.00
time (sec) N/A 0.541 1.135 0.006 0.396 0.461 0.000 0.000 0.000
Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 460 460 389 0 287 0 0 0 -1
normalized size 1 1.00 0.85 0.00 0.62 0.00 0.00 0.00 -0.00
time (sec) N/A 0.672 1.359 0.009 0.399 0.734 0.000 0.000 0.000
Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 584 584 505 0 341 0 0 0 -1
normalized size 1 1.00 0.86 0.00 0.58 0.00 0.00 0.00 -0.00
time (sec) N/A 0.845 1.468 0.006 0.378 2.502 0.000 0.000 0.000
Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 900 900 583 0 518 0 0 0 -1
normalized size 1 1.00 0.65 0.00 0.58 0.00 0.00 0.00 -0.00
time (sec) N/A 1.185 1.208 0.014 0.336 0.604 0.000 0.000 0.000
Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 645 645 472 0 412 0 0 0 -1
normalized size 1 1.00 0.73 0.00 0.64 0.00 0.00 0.00 -0.00
time (sec) N/A 0.818 0.980 0.011 0.343 1.999 0.000 0.000 0.000
Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 402 402 298 0 0 0 0 0 -1
normalized size 1 1.00 0.74 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.619 0.356 0.010 0.000 1.042 0.000 0.000 0.000
Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 218 218 280 0 0 0 0 0 -1
normalized size 1 1.00 1.28 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.508 0.787 0.007 0.000 1.718 0.000 0.000 0.000
Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 343 343 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.740 1.685 0.007 0.000 3.317 0.000 0.000 0.000
Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 515 515 488 0 319 0 0 0 -1
normalized size 1 1.00 0.95 0.00 0.62 0.00 0.00 0.00 -0.00
time (sec) N/A 0.823 1.589 0.008 0.400 1.948 0.000 0.000 0.000
Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 767 767 621 0 403 0 0 0 -1
normalized size 1 1.00 0.81 0.00 0.53 0.00 0.00 0.00 -0.00
time (sec) N/A 1.125 1.912 0.012 0.393 2.993 0.000 0.000 0.000

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 [163] had the largest ratio of [1.214]

Table 2.1:Rubi 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 4 3 1.00 9 0.333
2 A 4 3 1.00 9 0.333
3 A 4 3 1.00 9 0.333
4 A 4 3 1.00 7 0.429
5 A 3 3 1.00 5 0.600
6 A 1 1 1.00 9 0.111
7 A 5 5 1.00 9 0.556
8 A 4 3 1.00 9 0.333
9 A 4 3 1.00 9 0.333
10 A 4 3 1.00 9 0.333
11 A 5 3 1.00 9 0.333
12 A 5 3 1.00 9 0.333
13 A 5 3 1.00 7 0.429
14 A 4 3 1.00 5 0.600
15 A 1 1 1.00 9 0.111
16 A 6 5 1.00 9 0.556
17 A 5 3 1.00 9 0.333
18 A 5 3 1.00 9 0.333
19 A 5 4 1.00 11 0.364
20 A 5 4 1.00 11 0.364
21 A 4 4 1.00 9 0.444
22 A 1 1 1.00 11 0.091
23 A 6 6 1.00 11 0.546
24 A 5 4 1.00 11 0.364
25 A 5 4 1.00 11 0.364
26 A 5 4 1.00 11 0.364
27 A 5 4 1.00 11 0.364
28 A 4 4 1.00 7 0.571
29 A 3 3 1.00 11 0.273
30 A 4 4 1.00 11 0.364
31 A 5 4 1.00 11 0.364
32 A 6 4 1.00 11 0.364
33 A 6 4 1.00 11 0.364
34 A 5 4 1.00 9 0.444
35 A 1 1 1.00 11 0.091
36 A 7 6 1.00 11 0.546
37 A 6 4 1.00 11 0.364
38 A 6 4 1.00 11 0.364
39 A 6 4 1.00 11 0.364
40 A 6 4 1.00 11 0.364
41 A 5 4 1.00 7 0.571
42 A 4 3 1.00 11 0.273
43 A 5 4 1.00 11 0.364
44 A 6 4 1.00 11 0.364
45 A 3 3 1.00 11 0.273
46 A 3 3 1.00 9 0.333
47 A 3 3 1.00 7 0.429
48 A 1 1 1.00 11 0.091
49 A 3 3 1.00 11 0.273
50 A 3 3 1.00 11 0.273
51 A 3 3 1.00 11 0.273
52 A 4 3 1.00 11 0.273
53 A 4 3 1.00 9 0.333
54 A 4 3 1.00 7 0.429
55 A 1 1 1.00 11 0.091
56 A 4 3 1.00 11 0.273
57 A 4 3 1.00 11 0.273
58 A 4 3 1.00 11 0.273
59 A 7 5 1.00 13 0.385
60 A 6 5 1.00 13 0.385
61 A 5 5 1.00 13 0.385
62 A 4 4 1.00 13 0.308
63 A 5 5 1.00 13 0.385
64 A 6 5 1.00 13 0.385
65 A 9 5 1.00 13 0.385
66 A 8 5 1.00 13 0.385
67 A 7 5 1.00 13 0.385
68 A 6 5 1.00 13 0.385
69 A 5 4 1.00 13 0.308
70 A 6 5 1.00 13 0.385
71 A 7 5 1.00 13 0.385
72 A 9 8 1.00 15 0.533
73 A 8 8 1.00 15 0.533
74 A 8 8 1.00 15 0.533
75 A 7 7 1.00 15 0.467
76 A 7 7 1.00 15 0.467
77 A 8 8 1.00 15 0.533
78 A 10 8 1.00 15 0.533
79 A 10 8 1.00 15 0.533
80 A 9 8 1.00 15 0.533
81 A 9 8 1.00 15 0.533
82 A 8 7 1.00 15 0.467
83 A 8 7 1.00 15 0.467
84 A 9 8 1.00 15 0.533
85 A 9 8 1.00 15 0.533
86 A 4 4 1.00 15 0.267
87 A 4 4 1.00 15 0.267
88 A 4 4 1.00 15 0.267
89 A 4 4 1.00 15 0.267
90 A 4 4 1.00 15 0.267
91 A 5 4 1.00 15 0.267
92 A 5 4 1.00 15 0.267
93 A 5 4 1.00 15 0.267
94 A 5 4 1.00 15 0.267
95 A 5 4 1.00 15 0.267
96 A 0 0 0.00 0 0.000
97 A 0 0 0.00 0 0.000
98 A 0 0 0.00 0 0.000
99 A 0 0 0.00 0 0.000
100 A 0 0 0.00 0 0.000
101 A 2 1 1.00 15 0.067
102 A 3 3 1.00 11 0.273
103 A 4 3 1.00 11 0.273
104 A 5 3 1.00 11 0.273
105 A 4 4 1.00 13 0.308
106 A 5 4 1.00 13 0.308
107 A 6 4 1.00 13 0.308
108 A 4 4 1.00 13 0.308
109 A 5 4 1.00 13 0.308
110 A 6 4 1.00 13 0.308
111 A 4 4 1.00 13 0.308
112 A 5 4 1.00 13 0.308
113 A 6 4 1.00 13 0.308
114 A 0 0 0.00 0 0.000
115 A 0 0 0.00 0 0.000
116 A 1 1 1.00 9 0.111
117 A 0 0 0.00 0 0.000
118 A 0 0 0.00 0 0.000
119 A 0 0 0.00 0 0.000
120 A 0 0 0.00 0 0.000
121 A 1 1 1.00 11 0.091
122 A 0 0 0.00 0 0.000
123 A 0 0 0.00 0 0.000
124 A 13 8 1.00 13 0.615
125 A 10 8 1.00 11 0.727
126 A 7 7 1.00 9 0.778
127 A 3 3 1.00 13 0.231
128 A 7 9 1.00 13 0.692
129 A 11 11 1.00 13 0.846
130 A 14 11 1.00 13 0.846
131 A 33 13 1.00 13 1.000
132 A 19 12 1.00 11 1.091
133 A 9 8 1.00 9 0.889
134 A 0 0 0.00 0 0.000
135 A 6 5 1.00 13 0.385
136 A 12 13 1.00 13 1.000
137 A 16 8 1.00 17 0.471
138 A 13 8 1.00 17 0.471
139 A 10 8 1.00 15 0.533
140 A 7 7 1.00 9 0.778
141 A 3 3 1.00 17 0.176
142 A 8 5 1.00 17 0.294
143 A 12 8 1.00 17 0.471
144 A 15 9 1.00 17 0.529
145 A 5 5 1.00 9 0.556
146 A 5 5 1.00 12 0.417
147 A 8 6 1.00 12 0.500
148 A 8 6 1.00 15 0.400
149 A 1 1 1.00 34 0.029
150 A 1 1 1.00 34 0.029
151 A 1 1 1.00 34 0.029
152 A 1 1 1.00 37 0.027
153 A 2 2 1.00 53 0.038
154 A 2 2 1.00 53 0.038
155 A 4 4 1.00 76 0.053
156 A 5 3 1.00 19 0.158
157 A 4 3 1.00 19 0.158
158 A 3 3 1.00 17 0.176
159 A 2 2 1.00 15 0.133
160 A 0 0 0.00 0 0.000
161 A 38 16 1.00 16 1.000
162 A 31 16 1.00 16 1.000
163 A 22 17 1.00 14 1.214
164 A 15 12 1.00 13 0.923
165 A 1 2 1.00 16 0.125
166 A 10 13 1.00 16 0.812
167 A 23 17 1.00 16 1.062
168 A 30 17 1.00 16 1.062
169 A 37 17 1.00 16 1.062
170 A 37 20 0.87 20 1.000
171 A 30 20 0.87 18 1.111
172 A 18 14 1.00 17 0.824
173 A 3 3 1.00 20 0.150
174 A 19 15 1.06 20 0.750
175 A 31 22 1.05 20 1.100
176 A 42 24 1.03 20 1.200
177 A 108 20 1.00 27 0.741
178 A 67 20 1.00 25 0.800
179 A 42 17 1.00 24 0.708
180 A 0 0 0.00 0 0.000
181 A 22 9 1.00 27 0.333
182 A 44 16 1.00 27 0.593
183 A 78 18 1.00 27 0.667
184 A 52 17 1.00 21 0.810
185 A 40 21 1.00 19 1.105
186 A 26 20 1.00 18 1.111
187 A 18 15 1.00 21 0.714
188 A 13 17 1.00 21 0.810
189 A 30 20 1.00 21 0.952
190 A 41 19 1.00 21 0.905
191 A 51 19 1.00 21 0.905
192 A 60 22 1.00 24 0.917
193 A 43 21 1.00 23 0.913
194 A 29 24 1.00 26 0.923
195 A 19 21 1.00 26 0.808
196 A 32 22 1.00 26 0.846
197 A 43 20 1.00 26 0.769
198 A 61 19 1.00 26 0.731

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