[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, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300 }

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, 17, 18, 19, 20, 21, 22, 23, 25, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39, 40, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 67, 68, 69, 71, 72, 76, 77, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 96, 97, 99, 102, 103, 104, 105, 106, 107, 108, 110, 111, 120, 121, 122, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 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, 211, 212, 213, 214, 216, 217, 218, 219, 220, 221, 222, 223, 225, 226, 227, 228, 230, 232, 233, 234, 235, 236, 237, 239, 240, 241, 243, 244, 245, 247, 249, 250, 251, 252, 253, 254, 256, 257, 258, 260, 261, 262, 264, 266, 267, 268, 270, 271, 272, 273, 274, 278, 280, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300 }

B grade: { 41, 70, 95, 98, 100, 101, 109, 139, 150, 210, 215, 224, 229, 231, 238, 242, 246, 248, 255, 259, 263, 275, 276, 279, 281, 283 }

C grade: { 24, 26, 34, 66, 73, 74, 75, 78, 79, 112, 113, 114, 115, 116, 118, 265, 282 }

F grade: { 117, 119, 123, 124, 269, 277}

2.1.3 Maple

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15, 35, 36, 37, 38, 42, 43, 48, 49, 50, 51, 52, 53, 54, 57, 58, 60, 64, 65, 66, 67, 68, 72, 74, 75, 77, 78, 80, 81, 83, 84, 85, 87, 88, 89, 90, 91, 92, 94, 95, 97, 98, 99, 100, 101, 105, 106, 107, 108, 113, 120, 121, 122, 125, 126, 127, 133, 134, 135, 140, 151, 162, 171, 180, 189, 197, 198, 199, 200, 206, 211, 216, 220, 225, 230, 235, 239, 243, 247, 252, 256, 260, 264, 280, 282, 283, 284, 285, 286, 288, 289, 292, 293, 298 }

B grade: { 12, 14, 16, 17, 19, 20, 21, 22, 28, 39, 40, 41, 56, 59, 61, 62, 63, 69, 70, 71, 76, 82, 86, 96, 102, 103, 104, 109, 110, 111, 116, 123, 124, 129, 130, 131, 185, 186, 194, 195, 196, 205, 210, 215, 219, 224, 229, 234, 238, 242, 246, 251, 255, 259, 263, 287, 290, 291, 294 }

C grade: { 18, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 55, 73, 79, 93, 112, 114, 115, 117, 118, 128, 132, 136, 137, 138, 139, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 152, 153, 154, 155, 156, 157, 159, 160, 161, 163, 167, 168, 169, 170, 176, 177, 178, 179, 187, 188, 193, 201, 202, 203, 204, 207, 208, 209, 212, 213, 214, 217, 218, 221, 222, 223, 226, 227, 228, 231, 232, 233, 236, 237, 240, 241, 244, 245, 248, 249, 250, 253, 254, 257, 258, 261, 262, 265, 266, 267, 268, 269, 272, 273, 274, 278, 295, 296, 297, 299, 300 }

F grade: { 44, 45, 46, 47, 119, 158, 164, 165, 166, 172, 173, 174, 175, 181, 182, 183, 184, 190, 191, 192, 270, 271, 275, 276, 277, 279, 281 }

2.1.4 Maxima

A grade: { 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15, 20, 21, 23, 35, 36, 37, 38, 51, 52, 53, 57, 58, 60, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 74, 75, 77, 78, 83, 84, 85, 87, 88, 89, 90, 91, 92, 94, 96, 97, 99, 103, 104, 105, 107, 108, 110, 122, 126, 127, 129, 130, 131, 132, 133, 134, 135, 137, 138, 139, 142, 143, 144, 145, 147, 148, 149, 150, 154, 155, 156, 157, 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, 235, 239, 243, 247, 252, 256, 260, 264, 268, 280, 284, 285, 287, 288, 289, 290, 291, 292, 293, 294, 296, 297, 298, 299

B grade: { 7, 16, 17, 19, 22, 25, 27, 31, 33, 55, 56, 59, 61, 86, 93, 95, 98, 100, 101, 102, 109, 140, 151, 234, 238, 240, 241, 242, 244, 245, 246, 251, 255, 257, 258, 259, 261, 262, 263, 283, 286, 295, 300 }

C grade: { 141, 152, 153, 159, 160, 161, 162, 163, 164, 165, 167, 168, 169, 170, 171, 172, 173, 174, 176, 177, 178, 179, 180, 181, 182, 183, 185, 186, 187, 188, 189, 266, 267, 269, 272, 273, 274 }

F grade: { 18, 24, 26, 28, 29, 30, 32, 34, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 54, 73, 76, 79, 80, 81, 82, 106, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 123, 124, 125, 128, 136, 146, 158, 166, 175, 184, 190, 191, 192, 193, 231, 232, 233, 236, 237, 248, 249, 250, 253, 254, 265, 270, 271, 275, 276, 277, 278, 279, 281, 282 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 14, 16, 20, 22, 35, 36, 37, 38, 42, 43, 50, 51, 52, 55, 58, 59, 60, 61, 62, 63, 64, 65, 67, 68, 83, 84, 85, 87, 88, 89, 90, 91, 92, 94, 96, 97, 99, 104, 105, 120, 121, 122, 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, 152, 153, 154, 155, 156, 157, 159, 160, 163, 193, 194, 195, 196, 197, 198, 199, 206, 211, 216, 220, 225, 230, 235, 239, 243, 247, 252, 256, 259, 260, 263, 264, 266, 267, 268, 272, 273, 274, 280, 289, 292, 293, 296, 297, 298, 299 }

B grade: { 44, 45, 46, 47, 53, 54, 57, 95, 102, 103, 107, 108, 151, 161, 162, 164, 165, 167, 168, 169, 170, 171, 172, 173, 174, 176, 177, 178, 179, 180, 181, 182, 183, 185, 186, 187, 188, 189, 200, 205, 210, 215, 219, 224, 229, 234, 238, 242, 246, 251, 255, 283, 286, 294, 295, 300 }

C grade: { 201, 202, 203, 204, 207, 208, 209, 212, 213, 214, 217, 218, 221, 222, 223, 226, 227, 228, 231, 232, 233, 236, 237, 240, 241, 244, 245, 248, 249, 250, 253, 254, 257, 258, 261, 262, 265, 284, 285, 287, 288, 290, 291 }

F grade: { 7, 13, 15, 17, 18, 19, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 39, 40, 41, 48, 49, 56, 66, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 86, 93, 98, 100, 101, 106, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 123, 124, 125, 158, 166, 175, 184, 190, 191, 192, 269, 270, 271, 275, 276, 277, 278, 279, 281, 282 }

2.1.6 Sympy

A grade: { 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 14, 16, 20, 22, 35, 36, 37, 38, 42, 43, 53, 54, 57, 58, 63, 64, 65, 67, 68, 90, 94, 96, 97, 99, 103, 104, 105, 122, 126, 127, 129, 130, 131, 133, 134, 135, 137, 138, 139, 140, 143, 144, 145, 147, 148, 149, 150, 151, 155, 157, 162, 170, 171, 178, 179, 180, 189, 194, 195, 196, 198, 199, 211, 216, 225, 230, 235, 252, 266, 267, 268, 272, 273, 274, 292, 293, 297 }

B grade: { 60, 87, 88, 89, 91, 92, 156 }

C grade: { }

F grade: { 7, 13, 15, 17, 18, 19, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 39, 40, 41, 44, 45, 46, 47, 48, 49, 50, 51, 52, 55, 56, 59, 61, 62, 66, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 93, 95, 98, 100, 101, 102, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 123, 124, 125, 128, 132, 136, 141, 142, 146, 152, 153, 154, 158, 159, 160, 161, 163, 164, 165, 166, 167, 168, 169, 172, 173, 174, 175, 176, 177, 181, 182, 183, 184, 185, 186, 187, 188, 190, 191, 192, 193, 197, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 212, 213, 214, 215, 217, 218, 219, 220, 221, 222, 223, 224, 226, 227, 228, 229, 231, 232, 233, 234, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 269, 270, 271, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 294, 295, 296, 298, 299, 300 }

2.1.7 Giac

A grade: { 42, 43, 120, 121, 122, 126, 127, 194, 195, 196, 197, 198, 199, 206, 211, 216, 220, 225, 230, 235, 239, 243, 247, 252, 256, 260, 264, 280, 298 }

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, 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, 123, 124, 125, 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, 200, 201, 202, 203, 204, 205, 207, 208, 209, 210, 212, 213, 214, 215, 217, 218, 219, 221, 222, 223, 224, 226, 227, 228, 229, 231, 232, 233, 234, 236, 237, 238, 240, 241, 242, 244, 245, 246, 248, 249, 250, 251, 253, 254, 255, 257, 258, 259, 261, 262, 263, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 299, 300 }

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 A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 67 55 82 120 49 0
normalized size 1 1. 1.31 1.08 1.61 2.35 0.96 0.
time (sec) N/A 0.028 0.009 0.035 0.965 1.54 2.07 0.
Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 50 49 62 122 54 0
normalized size 1 1. 1. 0.98 1.24 2.44 1.08 0.
time (sec) N/A 0.037 0.008 0.035 0.958 1.576 3.798 0.
Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 57 47 70 99 41 0
normalized size 1 1. 1.39 1.15 1.71 2.41 1. 0.
time (sec) N/A 0.024 0.008 0.031 0.966 1.599 1.284 0.
Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 40 40 40 41 47 99 46 0
normalized size 1 1. 1. 1.02 1.18 2.48 1.15 0.
time (sec) N/A 0.03 0.008 0.032 0.968 1.573 2.373 0.
Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 47 39 55 78 32 0
normalized size 1 1. 1.52 1.26 1.77 2.52 1.03 0.
time (sec) N/A 0.013 0.007 0.033 0.973 1.618 0.919 0.
Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 25 23 34 77 27 0
normalized size 1 1. 1. 0.92 1.36 3.08 1.08 0.
time (sec) N/A 0.007 0.003 0.043 0.987 1.68 0.609 0.
Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 28 28 26 37 116 0 0 0
normalized size 1 1. 0.93 1.32 4.14 0. 0. 0.
time (sec) N/A 0.01 0.008 0.042 0.997 0. 0. 0.
Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 30 35 41 99 26 0
normalized size 1 1. 1. 1.17 1.37 3.3 0.87 0.
time (sec) N/A 0.021 0.008 0.036 0.974 1.7 0.611 0.
Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 47 39 49 80 24 0
normalized size 1 1. 1.52 1.26 1.58 2.58 0.77 0.
time (sec) N/A 0.016 0.008 0.039 0.973 1.519 2.571 0.
Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 47 47 47 48 54 120 46 0
normalized size 1 1. 1. 1.02 1.15 2.55 0.98 0.
time (sec) N/A 0.03 0.01 0.039 0.945 1.57 4.121 0.
Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 57 47 69 100 32 0
normalized size 1 1. 1.39 1.15 1.68 2.44 0.78 0.
time (sec) N/A 0.022 0.012 0.036 0.944 1.573 1.96 0.
Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 105 105 80 196 182 224 114 0
normalized size 1 1. 0.76 1.87 1.73 2.13 1.09 0.
time (sec) N/A 0.246 0.022 0.052 0.971 1.577 7.505 0.
Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 127 127 87 196 209 0 0 0
normalized size 1 1. 0.69 1.54 1.65 0. 0. 0.
time (sec) N/A 0.226 0.443 0.053 0.961 0. 0. 0.
Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 81 81 62 176 159 184 90 0
normalized size 1 1. 0.77 2.17 1.96 2.27 1.11 0.
time (sec) N/A 0.163 0.017 0.052 0.955 1.597 5.101 0.
Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 103 103 66 176 181 0 0 0
normalized size 1 1. 0.64 1.71 1.76 0. 0. 0.
time (sec) N/A 0.153 0.238 0.052 0.974 0. 0. 0.
Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 54 54 43 155 131 143 60 0
normalized size 1 1. 0.8 2.87 2.43 2.65 1.11 0.
time (sec) N/A 0.078 0.012 0.056 0.986 1.506 4.527 0.
Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 58 58 46 122 182 0 0 0
normalized size 1 1. 0.79 2.1 3.14 0. 0. 0.
time (sec) N/A 0.078 0.084 0.119 0.987 0. 0. 0.
Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 97 97 114 487 0 0 0 0
normalized size 1 1. 1.18 5.02 0. 0. 0. 0.
time (sec) N/A 0.232 0.063 0.381 0. 0. 0. 0.
Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 55 55 49 159 197 0 0 0
normalized size 1 1. 0.89 2.89 3.58 0. 0. 0.
time (sec) N/A 0.108 0.1 0.056 0.982 0. 0. 0.
Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 57 164 130 181 56 0
normalized size 1 1. 0.93 2.69 2.13 2.97 0.92 0.
time (sec) N/A 0.099 0.017 0.055 0.972 1.899 1.01 0.
Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 103 103 87 224 238 0 0 0
normalized size 1 1. 0.84 2.17 2.31 0. 0. 0.
time (sec) N/A 0.171 0.246 0.06 0.989 0. 0. 0.
Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 82 185 208 223 90 0
normalized size 1 1. 0.91 2.06 2.31 2.48 1. 0.
time (sec) N/A 0.172 0.022 0.06 0.983 1.838 6.423 0.
Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 186 186 117 1141 390 0 0 0
normalized size 1 1. 0.63 6.13 2.1 0. 0. 0.
time (sec) N/A 0.717 0.526 1.901 1.012 0. 0. 0.
Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 196 196 175 806 0 0 0 0
normalized size 1 1. 0.89 4.11 0. 0. 0. 0.
time (sec) N/A 0.58 0.567 1.106 0. 0. 0. 0.
Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C B F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 139 139 88 684 354 0 0 0
normalized size 1 1. 0.63 4.92 2.55 0. 0. 0.
time (sec) N/A 0.417 0.3 0.619 0.995 0. 0. 0.
Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 149 149 140 765 0 0 0 0
normalized size 1 1. 0.94 5.13 0. 0. 0. 0.
time (sec) N/A 0.333 0.353 0.57 0. 0. 0. 0.
Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C B F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 95 95 68 3070 290 0 0 0
normalized size 1 1. 0.72 32.32 3.05 0. 0. 0.
time (sec) N/A 0.183 0.141 0.404 0.999 0. 0. 0.
Problem 28 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 85 85 79 180 0 0 0 0
normalized size 1 1. 0.93 2.12 0. 0. 0. 0.
time (sec) N/A 0.165 0.098 0.115 0. 0. 0. 0.
Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 150 150 156 564 0 0 0 0
normalized size 1 1. 1.04 3.76 0. 0. 0. 0.
time (sec) N/A 0.35 0.076 0.253 0. 0. 0. 0.
Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 79 79 72 796 0 0 0 0
normalized size 1 1. 0.91 10.08 0. 0. 0. 0.
time (sec) N/A 0.199 0.132 0.342 0. 0. 0. 0.
Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C B F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 95 95 79 3673 340 0 0 0
normalized size 1 1. 0.83 38.66 3.58 0. 0. 0.
time (sec) N/A 0.219 0.167 0.422 0.992 0. 0. 0.
Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 154 154 142 895 0 0 0 0
normalized size 1 1. 0.92 5.81 0. 0. 0. 0.
time (sec) N/A 0.369 0.213 0.657 0. 0. 0. 0.
Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C B F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 141 141 118 661 462 0 0 0
normalized size 1 1. 0.84 4.69 3.28 0. 0. 0.
time (sec) N/A 0.464 0.23 0.536 1.01 0. 0. 0.
Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 164 164 741 926 0 0 0 0
normalized size 1 1. 4.52 5.65 0. 0. 0. 0.
time (sec) N/A 0.034 7.684 0.625 0. 0. 0. 0.
Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 245 245 213 334 373 558 427 0
normalized size 1 1. 0.87 1.36 1.52 2.28 1.74 0.
time (sec) N/A 0.181 0.116 0.04 0.972 1.584 25. 0.
Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 169 169 150 233 267 382 282 0
normalized size 1 1. 0.89 1.38 1.58 2.26 1.67 0.
time (sec) N/A 0.127 0.079 0.037 0.974 1.627 7.312 0.
Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 110 98 148 177 258 182 0
normalized size 1 1. 0.89 1.35 1.61 2.35 1.65 0.
time (sec) N/A 0.133 0.054 0.036 0.973 1.549 3.323 0.
Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 69 76 88 142 87 0
normalized size 1 1. 1.21 1.33 1.54 2.49 1.53 0.
time (sec) N/A 0.066 0.012 0.038 0.974 1.515 1.373 0.
Problem 39 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 390 390 671 785 0 0 0 0
normalized size 1 1. 1.72 2.01 0. 0. 0. 0.
time (sec) N/A 0.947 1.344 0.218 0. 0. 0. 0.
Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 590 590 753 2218 0 0 0 0
normalized size 1 1. 1.28 3.76 0. 0. 0. 0.
time (sec) N/A 0.87 7.815 0.41 0. 0. 0. 0.
Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F(-2) F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 657 657 1838 4128 0 0 0 0
normalized size 1 1. 2.8 6.28 0. 0. 0. 0.
time (sec) N/A 0.951 12.88 0.596 0. 0. 0. 0.
Problem 42 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.021 24.127 0.713 0. 0. 0. 0.
Problem 43 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.023 4.359 0.724 0. 0. 0. 0.
Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 119 0 0 760 0 0
normalized size 1 1. 1.92 0. 0. 12.26 0. 0.
time (sec) N/A 0.113 0.118 0.457 0. 1.747 0. 0.
Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 128 128 226 0 0 1496 0 0
normalized size 1 1. 1.77 0. 0. 11.69 0. 0.
time (sec) N/A 0.34 0.321 0.456 0. 1.985 0. 0.
Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 200 200 329 0 0 2610 0 0
normalized size 1 1. 1.64 0. 0. 13.05 0. 0.
time (sec) N/A 1.047 0.636 0.455 0. 2.245 0. 0.
Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 283 283 431 0 0 4140 0 0
normalized size 1 1. 1.52 0. 0. 14.63 0. 0.
time (sec) N/A 1.343 0.961 0.461 0. 3.193 0. 0.
Problem 48 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 186 186 125 199 0 0 0 0
normalized size 1 1. 0.67 1.07 0. 0. 0. 0.
time (sec) N/A 0.083 1.039 0.448 0. 0. 0. 0.
Problem 49 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 144 144 77 190 0 0 0 0
normalized size 1 1. 0.53 1.32 0. 0. 0. 0.
time (sec) N/A 0.05 0.112 0.368 0. 0. 0. 0.
Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 37 37 30 52 0 92 0 0
normalized size 1 1. 0.81 1.41 0. 2.49 0. 0.
time (sec) N/A 0.025 0.044 0.226 0. 1.536 0. 0.
Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 83 45 112 90 140 0 0
normalized size 1 1. 0.54 1.35 1.08 1.69 0. 0.
time (sec) N/A 0.053 0.05 0.238 1.017 1.584 0. 0.
Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 124 124 55 176 134 189 0 0
normalized size 1 1. 0.44 1.42 1.08 1.52 0. 0.
time (sec) N/A 0.082 0.061 0.261 1.026 1.679 0. 0.
Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 3 3 3 4 4 36 3 0
normalized size 1 1. 1. 1.33 1.33 12. 1. 0.
time (sec) N/A 0.023 0.025 0.043 0.976 1.507 0.411 0.
Problem 54 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 12 12 12 13 0 182 15 0
normalized size 1 1. 1. 1.08 0. 15.17 1.25 0.
time (sec) N/A 0.026 0.009 0.059 0. 1.614 4.822 0.
Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 61 707 231 165 0 0
normalized size 1 1. 0.98 11.4 3.73 2.66 0. 0.
time (sec) N/A 0.051 0.083 0.494 1.025 1.569 0. 0.
Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 37 37 34 75 103 0 0 0
normalized size 1 1. 0.92 2.03 2.78 0. 0. 0.
time (sec) N/A 0.059 0.049 0.035 0.963 0. 0. 0.
Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 8 8 8 13 8 38 5 0
normalized size 1 1. 1. 1.62 1. 4.75 0.62 0.
time (sec) N/A 0.014 0.004 0.029 0.954 1.558 0.817 0.
Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 44 39 46 74 31 0
normalized size 1 1. 1.22 1.08 1.28 2.06 0.86 0.
time (sec) N/A 0.031 0.027 0.027 0.946 1.588 0.819 0.
Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 28 99 103 111 0 0
normalized size 1 1. 0.74 2.61 2.71 2.92 0. 0.
time (sec) N/A 0.017 0.032 0.043 0.967 1.584 0. 0.
Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 50 53 63 111 88 0
normalized size 1 1. 1. 1.06 1.26 2.22 1.76 0.
time (sec) N/A 0.034 0.051 0.028 0.949 1.593 1.329 0.
Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 43 131 159 165 0 0
normalized size 1 1. 0.64 1.96 2.37 2.46 0. 0.
time (sec) N/A 0.035 0.052 0.049 0.962 1.582 0. 0.
Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 101 101 81 199 143 279 0 0
normalized size 1 1. 0.8 1.97 1.42 2.76 0. 0.
time (sec) N/A 0.126 0.039 0.035 0.96 1.551 0. 0.
Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 92 146 107 213 117 0
normalized size 1 1. 1.18 1.87 1.37 2.73 1.5 0.
time (sec) N/A 0.102 0.023 0.036 0.958 1.611 3.197 0.
Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 56 89 82 176 76 0
normalized size 1 1. 0.86 1.37 1.26 2.71 1.17 0.
time (sec) N/A 0.072 0.022 0.033 0.972 1.6 1.609 0.
Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 43 36 42 135 41 0
normalized size 1 1. 1.23 1.03 1.2 3.86 1.17 0.
time (sec) N/A 0.016 0.015 0.03 0.974 1.544 0.819 0.
Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A A F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 92 92 259 81 173 0 0 0
normalized size 1 1. 2.82 0.88 1.88 0. 0. 0.
time (sec) N/A 0.097 0.168 0.076 0.972 0. 0. 0.
Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 55 63 73 192 144 0
normalized size 1 1. 0.86 0.98 1.14 3. 2.25 0.
time (sec) N/A 0.051 0.051 0.037 0.959 1.676 2.885 0.
Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 76 82 115 279 410 0
normalized size 1 1. 0.84 0.91 1.28 3.1 4.56 0.
time (sec) N/A 0.1 0.107 0.043 0.96 1.759 3.456 0.
Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 263 263 203 967 432 0 0 0
normalized size 1 1. 0.77 3.68 1.64 0. 0. 0.
time (sec) N/A 0.349 1.564 0.056 0.988 0. 0. 0.
Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B A F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 204 204 607 729 350 0 0 0
normalized size 1 1. 2.98 3.57 1.72 0. 0. 0.
time (sec) N/A 0.278 4.527 0.055 1.002 0. 0. 0.
Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 136 136 106 365 273 0 0 0
normalized size 1 1. 0.78 2.68 2.01 0. 0. 0.
time (sec) N/A 0.209 0.247 0.053 0.985 0. 0. 0.
Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 81 81 55 151 188 0 0 0
normalized size 1 1. 0.68 1.86 2.32 0. 0. 0.
time (sec) N/A 0.09 0.07 0.102 0.978 0. 0. 0.
Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 148 148 714 985 0 0 0 0
normalized size 1 1. 4.82 6.66 0. 0. 0. 0.
time (sec) N/A 0.091 3.205 0.543 0. 0. 0. 0.
Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A A F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 251 251 206 342 329 0 0 0
normalized size 1 1. 0.82 1.36 1.31 0. 0. 0.
time (sec) N/A 0.719 1.04 0.096 1.028 0. 0. 0.
Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A A F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 370 370 291 467 486 0 0 0
normalized size 1 1. 0.79 1.26 1.31 0. 0. 0.
time (sec) N/A 0.83 2.184 0.099 1.024 0. 0. 0.
Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F F(-1) F
verified N/A NO NO TBD TBD TBD TBD TBD
size 673 597 529 1230 0 0 0 0
normalized size 1 0.89 0.79 1.83 0. 0. 0. 0.
time (sec) N/A 1.099 0.586 0.49 0. 0. 0. 0.
Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 120 120 185 176 259 0 0 0
normalized size 1 1. 1.54 1.47 2.16 0. 0. 0.
time (sec) N/A 0.127 0.067 0.137 0.987 0. 0. 0.
Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A A F F(-1) F
verified N/A NO NO TBD TBD TBD TBD TBD
size 292 360 502 297 259 0 0 0
normalized size 1 1.23 1.72 1.02 0.89 0. 0. 0.
time (sec) N/A 0.5 4.258 0.142 0.996 0. 0. 0.
Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F(-2) F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 738 738 5552 19686 0 0 0 0
normalized size 1 1. 7.52 26.67 0. 0. 0. 0.
time (sec) N/A 1.53 35.665 1.251 0. 0. 0. 0.
Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 619 619 575 738 0 0 0 0
normalized size 1 1. 0.93 1.19 0. 0. 0. 0.
time (sec) N/A 2.199 0.666 0.191 0. 0. 0. 0.
Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 738 738 719 970 0 0 0 0
normalized size 1 1. 0.97 1.31 0. 0. 0. 0.
time (sec) N/A 2.371 0.694 0.161 0. 0. 0. 0.
Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 335 335 596 2098 0 0 0 0
normalized size 1 1. 1.78 6.26 0. 0. 0. 0.
time (sec) N/A 0.749 0.898 0.586 0. 0. 0. 0.
Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 59 42 55 111 0 0
normalized size 1 1. 1.16 0.82 1.08 2.18 0. 0.
time (sec) N/A 0.015 0.018 0.036 0.961 1.606 0. 0.
Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 52 37 49 95 0 0
normalized size 1 1. 1.24 0.88 1.17 2.26 0. 0.
time (sec) N/A 0.011 0.015 0.033 0.958 1.532 0. 0.
Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 22 22 22 27 35 76 0 0
normalized size 1 1. 1. 1.23 1.59 3.45 0. 0.
time (sec) N/A 0.006 0.006 0.034 0.952 1.639 0. 0.
Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 19 33 89 0 0 0
normalized size 1 1. 1. 1.74 4.68 0. 0. 0.
time (sec) N/A 0.02 0.01 0.054 0.96 0. 0. 0.
Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 45 32 42 84 92 0
normalized size 1 1. 1.8 1.28 1.68 3.36 3.68 0.
time (sec) N/A 0.014 0.024 0.038 0.969 1.571 3.663 0.
Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 58 37 49 107 160 0
normalized size 1 1. 1.38 0.88 1.17 2.55 3.81 0.
time (sec) N/A 0.015 0.019 0.035 0.985 1.591 9.807 0.
Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 31 35 32 111 121 0
normalized size 1 1. 0.82 0.92 0.84 2.92 3.18 0.
time (sec) N/A 0.018 0.015 0.034 0.957 1.579 9.513 0.
Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 25 30 26 96 39 0
normalized size 1 1. 0.81 0.97 0.84 3.1 1.26 0.
time (sec) N/A 0.014 0.01 0.036 0.99 1.655 1.607 0.
Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 15 22 74 87 0
normalized size 1 1. 1. 0.75 1.1 3.7 4.35 0.
time (sec) N/A 0.009 0.007 0.036 0.967 1.645 0.781 0.
Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 24 29 24 99 126 0
normalized size 1 1. 1. 1.21 1. 4.12 5.25 0.
time (sec) N/A 0.01 0.016 0.04 0.986 1.64 2.157 0.
Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 28 28 26 85 140 0 0 0
normalized size 1 1. 0.93 3.04 5. 0. 0. 0.
time (sec) N/A 0.022 0.013 0.146 0.991 0. 0. 0.
Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 19 30 20 65 15 0
normalized size 1 1. 1. 1.58 1.05 3.42 0.79 0.
time (sec) N/A 0.006 0.002 0.056 0.977 1.859 0.254 0.
Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 97 61 198 421 0 0
normalized size 1 1. 2.55 1.61 5.21 11.08 0. 0.
time (sec) N/A 0.023 0.045 0.09 1.269 2.004 0. 0.
Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 66 70 84 108 56 0
normalized size 1 1. 1.69 1.79 2.15 2.77 1.44 0.
time (sec) N/A 0.022 0.032 0.036 0.966 1.924 1.738 0.
Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 54 54 42 95 109 211 97 0
normalized size 1 1. 0.78 1.76 2.02 3.91 1.8 0.
time (sec) N/A 0.048 0.035 0.034 0.956 1.872 3.133 0.
Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 35 35 286 59 151 0 0 0
normalized size 1 1. 8.17 1.69 4.31 0. 0. 0.
time (sec) N/A 0.025 0.025 0.042 0.981 0. 0. 0.
Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 48 43 54 72 171 136 0
normalized size 1 1. 0.9 1.12 1.5 3.56 2.83 0.
time (sec) N/A 0.045 0.026 0.04 0.976 1.912 4.826 0.
Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 25 25 117 34 78 0 0 0
normalized size 1 1. 4.68 1.36 3.12 0. 0. 0.
time (sec) N/A 0.023 0.013 0.029 0.979 0. 0. 0.
Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 35 35 312 59 178 0 0 0
normalized size 1 1. 8.91 1.69 5.09 0. 0. 0.
time (sec) N/A 0.03 0.023 0.044 0.99 0. 0. 0.
Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 168 168 270 786 450 856 0 0
normalized size 1 1. 1.61 4.68 2.68 5.1 0. 0.
time (sec) N/A 0.342 0.281 0.046 0.992 2.114 0. 0.
Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 120 120 174 477 279 548 369 0
normalized size 1 1. 1.45 3.98 2.32 4.57 3.08 0.
time (sec) N/A 0.204 0.162 0.04 0.971 1.965 18.117 0.
Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 138 184 147 319 173 0
normalized size 1 1. 1.42 1.9 1.52 3.29 1.78 0.
time (sec) N/A 0.171 0.043 0.04 0.961 1.892 2.626 0.
Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 40 40 48 42 49 157 46 0
normalized size 1 1. 1.2 1.05 1.22 3.92 1.15 0.
time (sec) N/A 0.025 0.015 0.033 0.971 1.913 0.761 0.
Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 130 130 206 202 0 0 0 0
normalized size 1 1. 1.58 1.55 0. 0. 0. 0.
time (sec) N/A 0.142 0.113 0.153 0. 0. 0. 0.
Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 125 141 163 583 0 0
normalized size 1 1. 1.09 1.23 1.42 5.07 0. 0.
time (sec) N/A 0.169 0.201 0.043 0.997 3.111 0. 0.
Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 167 167 174 236 393 1766 0 0
normalized size 1 1. 1.04 1.41 2.35 10.57 0. 0.
time (sec) N/A 0.234 0.346 0.052 1.045 9.186 0. 0.
Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 374 374 1054 2694 1068 0 0 0
normalized size 1 1. 2.82 7.2 2.86 0. 0. 0.
time (sec) N/A 0.637 7.236 0.069 1.972 0. 0. 0.
Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 221 220 295 857 540 0 0 0
normalized size 1 1. 1.33 3.88 2.44 0. 0. 0.
time (sec) N/A 0.443 0.594 0.062 1.961 0. 0. 0.
Problem 111 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 97 97 111 226 0 0 0 0
normalized size 1 1. 1.14 2.33 0. 0. 0. 0.
time (sec) N/A 0.116 0.148 0.111 0. 0. 0. 0.
Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 214 214 1721 1845 0 0 0 0
normalized size 1 1. 8.04 8.62 0. 0. 0. 0.
time (sec) N/A 0.153 16.684 0.855 0. 0. 0. 0.
Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 480 485 470 783 0 0 0 0
normalized size 1 1.01 0.98 1.63 0. 0. 0. 0.
time (sec) N/A 1.743 8.636 0.158 0. 0. 0. 0.
Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 546 546 2594 10477 0 0 0 0
normalized size 1 1. 4.75 19.19 0. 0. 0. 0.
time (sec) N/A 1.043 10.423 3.685 0. 0. 0. 0.
Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 326 325 600 12285 0 0 0 0
normalized size 1 1. 1.84 37.68 0. 0. 0. 0.
time (sec) N/A 0.721 1.314 1.107 0. 0. 0. 0.
Problem 116 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 132 132 208 485 0 0 0 0
normalized size 1 1. 1.58 3.67 0. 0. 0. 0.
time (sec) N/A 0.227 0.32 0.14 0. 0. 0. 0.
Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F C F F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 308 308 0 3796 0 0 0 0
normalized size 1 1. 0. 12.32 0. 0. 0. 0.
time (sec) N/A 0.187 22.435 0.71 0. 0. 0. 0.
Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 1089 1094 1899 4619 0 0 0 0
normalized size 1 1. 1.74 4.24 0. 0. 0. 0.
time (sec) N/A 2.782 17.417 0.844 0. 0. 0. 0.
Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F F F(-2) F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 162 162 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.246 2.354 1.493 0. 0. 0. 0.
Problem 120 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 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.067 2.517 1.368 0. 0. 0. 0.
Problem 121 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 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.065 0.343 1.286 0. 0. 0. 0.
Problem 122 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 42 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.048 0.098 1.043 0. 0. 0. 0.
Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F B F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 460 460 0 1492 0 0 0 0
normalized size 1 1. 0. 3.24 0. 0. 0. 0.
time (sec) N/A 0.598 0.283 2.439 0. 0. 0. 0.
Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F B F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 302 302 0 696 0 0 0 0
normalized size 1 1. 0. 2.3 0. 0. 0. 0.
time (sec) N/A 0.346 0.51 1.202 0. 0. 0. 0.
Problem 125 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 89 89 98 119 0 0 0 0
normalized size 1 1. 1.1 1.34 0. 0. 0. 0.
time (sec) N/A 0.059 0.415 0.667 0. 0. 0. 0.
Problem 126 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 42 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.045 0.09 0.983 0. 0. 0. 0.
Problem 127 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 42 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.043 0.752 0.976 0. 0. 0. 0.
Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F(-2) A F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 37 37 34 676 0 72 0 0
normalized size 1 1. 0.92 18.27 0. 1.95 0. 0.
time (sec) N/A 0.027 0.059 0.164 0. 1.64 0. 0.
Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 23 23 20 59 26 31 19 0
normalized size 1 1. 0.87 2.57 1.13 1.35 0.83 0.
time (sec) N/A 0.009 0.017 0.076 1.177 1.632 0.557 0.
Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 23 23 20 48 26 31 19 0
normalized size 1 1. 0.87 2.09 1.13 1.35 0.83 0.
time (sec) N/A 0.007 0.016 0.075 1.172 1.652 0.292 0.
Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 18 32 22 23 19 0
normalized size 1 1. 1.12 2. 1.38 1.44 1.19 0.
time (sec) N/A 0.003 0.008 0.06 1.152 1.574 0.195 0.
Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 19 354 46 22 0 0
normalized size 1 1. 0.9 16.86 2.19 1.05 0. 0.
time (sec) N/A 0.044 0.016 0.189 0.978 1.621 0. 0.
Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 18 20 23 27 14 0
normalized size 1 1. 1.06 1.18 1.35 1.59 0.82 0.
time (sec) N/A 0.009 0.016 0.069 1.175 1.723 0.314 0.
Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 23 23 18 20 26 30 19 0
normalized size 1 1. 0.78 0.87 1.13 1.3 0.83 0.
time (sec) N/A 0.01 0.014 0.074 1.171 1.594 0.773 0.
Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 23 23 20 20 26 32 20 0
normalized size 1 1. 0.87 0.87 1.13 1.39 0.87 0.
time (sec) N/A 0.009 0.015 0.075 1.179 1.668 1.277 0.
Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F(-2) A F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 62 9175 0 223 0 0
normalized size 1 1. 0.87 129.23 0. 3.14 0. 0.
time (sec) N/A 0.035 0.118 0.773 0. 1.744 0. 0.
Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 37 3418 49 72 78 0
normalized size 1 1. 0.88 81.38 1.17 1.71 1.86 0.
time (sec) N/A 0.026 0.034 0.372 1.359 1.571 3.678 0.
Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 37 3418 49 72 60 0
normalized size 1 1. 0.88 81.38 1.17 1.71 1.43 0.
time (sec) N/A 0.025 0.056 0.372 1.37 1.632 1.886 0.
Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B C A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 74 3418 49 70 37 0
normalized size 1 1. 2.18 100.53 1.44 2.06 1.09 0.
time (sec) N/A 0.025 0.082 0.368 1.368 1.525 0.586 0.
Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 16 15 45 62 20 0
normalized size 1 1. 1. 0.94 2.81 3.88 1.25 0.
time (sec) N/A 0.005 0.006 0.098 1.373 1.628 0.414 0.
Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 49 49 53 3774 51 69 0 0
normalized size 1 1. 1.08 77.02 1.04 1.41 0. 0.
time (sec) N/A 0.026 0.043 0.284 2.473 1.654 0. 0.
Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 37 1095 73 69 0 0
normalized size 1 1. 0.95 28.08 1.87 1.77 0. 0.
time (sec) N/A 0.026 0.049 0.21 1.196 1.675 0. 0.
Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 42 3213 46 73 32 0
normalized size 1 1. 1.17 89.25 1.28 2.03 0.89 0.
time (sec) N/A 0.023 0.034 0.375 1.402 1.609 0.753 0.
Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 34 3217 49 68 37 0
normalized size 1 1. 1.1 103.77 1.58 2.19 1.19 0.
time (sec) N/A 0.014 0.047 0.357 1.4 1.581 1.182 0.
Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 37 3217 49 72 39 0
normalized size 1 1. 0.58 50.27 0.77 1.12 0.61 0.
time (sec) N/A 0.035 0.031 0.362 1.407 1.611 1.925 0.
Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F(-2) A F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 110 97 63382 0 468 0 0
normalized size 1 1. 0.88 576.2 0. 4.25 0. 0.
time (sec) N/A 0.059 0.114 6.384 0. 1.717 0. 0.
Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 54 18111 73 119 56 0
normalized size 1 1. 0.89 296.9 1.2 1.95 0.92 0.
time (sec) N/A 0.041 0.031 1.102 1.545 1.592 6.056 0.
Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 54 18111 73 120 58 0
normalized size 1 1. 0.89 296.9 1.2 1.97 0.95 0.
time (sec) N/A 0.041 0.027 1.096 1.561 1.568 3.559 0.
Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 54 18111 73 120 60 0
normalized size 1 1. 1.02 341.72 1.38 2.26 1.13 0.
time (sec) N/A 0.031 0.022 1.081 1.546 1.557 3.39 0.
Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B C A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 99 18111 73 117 41 0
normalized size 1 1. 2.91 532.68 2.15 3.44 1.21 0.
time (sec) N/A 0.015 0.074 1.083 1.559 1.502 1.732 0.
Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 16 15 69 109 20 0
normalized size 1 1. 1. 0.94 4.31 6.81 1.25 0.
time (sec) N/A 0.005 0.006 0.106 1.556 1.596 0.804 0.
Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 77 77 104 21848 101 119 0 0
normalized size 1 1. 1.35 283.74 1.31 1.55 0. 0.
time (sec) N/A 0.096 0.058 0.847 2.51 1.7 0. 0.
Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 62 7683 166 115 0 0
normalized size 1 1. 0.91 112.99 2.44 1.69 0. 0.
time (sec) N/A 0.044 0.039 0.415 2.082 1.725 0. 0.
Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 66 7366 97 117 0 0
normalized size 1 1. 1.1 122.77 1.62 1.95 0. 0.
time (sec) N/A 0.041 0.036 0.426 1.403 1.619 0. 0.
Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 55 55 60 17237 70 120 51 0
normalized size 1 1. 1.09 313.4 1.27 2.18 0.93 0.
time (sec) N/A 0.038 0.024 1.385 1.597 1.659 1.212 0.
Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A A B F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 50 17235 72 112 56 0
normalized size 1 1. 1.61 555.97 2.32 3.61 1.81 0.
time (sec) N/A 0.014 0.022 1.347 1.597 1.602 2.145 0.
Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 54 17234 73 116 60 0
normalized size 1 1. 0.84 269.28 1.14 1.81 0.94 0.
time (sec) N/A 0.034 0.034 1.273 1.599 1.698 3.612 0.
Problem 158 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 53 53 51 0 0 0 0 0
normalized size 1 1. 0.96 0. 0. 0. 0. 0.
time (sec) N/A 0.028 0.084 0.346 0. 0. 0. 0.
Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 81 81 79 130774 116 293 0 0
normalized size 1 1. 0.98 1614.49 1.43 3.62 0. 0.
time (sec) N/A 0.059 0.048 4.901 1.807 1.552 0. 0.
Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 55 28786 69 225 0 0
normalized size 1 1. 0.98 514.04 1.23 4.02 0. 0.
time (sec) N/A 0.035 0.038 1.134 1.824 1.66 0. 0.
Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C C B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 31 4303 41 185 0 0
normalized size 1 1. 1. 138.81 1.32 5.97 0. 0.
time (sec) N/A 0.015 0.022 0.314 1.83 1.593 0. 0.
Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 12 13 22 63 17 0
normalized size 1 1. 1. 1.08 1.83 5.25 1.42 0.
time (sec) N/A 0.004 0.05 0.076 1.457 1.63 8.224 0.
Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 44 44 29 972 50 205 0 0
normalized size 1 1. 0.66 22.09 1.14 4.66 0. 0.
time (sec) N/A 0.028 0.018 11.445 1.812 1.696 0. 0.
Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F C B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 45 0 88 315 0 0
normalized size 1 1. 0.69 0. 1.35 4.85 0. 0.
time (sec) N/A 0.038 0.024 180. 1.793 1.727 0. 0.
Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F C B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 92 92 66 0 146 448 0 0
normalized size 1 1. 0.72 0. 1.59 4.87 0. 0.
time (sec) N/A 0.063 0.027 180. 1.796 1.713 0. 0.
Problem 166 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 51 0 0 0 0 0
normalized size 1 1. 0.78 0. 0. 0. 0. 0.
time (sec) N/A 0.039 0.521 1.83 0. 0. 0. 0.
Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C C B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 106 131085 240 729 0 0
normalized size 1 1. 1.08 1337.6 2.45 7.44 0. 0.
time (sec) N/A 0.081 0.097 6.12 2.487 1.666 0. 0.
Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C C B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 75 75 83 29109 167 544 0 0
normalized size 1 1. 1.11 388.12 2.23 7.25 0. 0.
time (sec) N/A 0.054 0.062 1.408 2.438 1.761 0. 0.
Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C C B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 56 4626 108 416 0 0
normalized size 1 1. 1.12 92.52 2.16 8.32 0. 0.
time (sec) N/A 0.031 0.068 0.366 2.443 1.635 0. 0.
Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C C B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 28 28 27 625 63 213 36 0
normalized size 1 1. 0.96 22.32 2.25 7.61 1.29 0.
time (sec) N/A 0.013 0.065 0.187 2.44 1.681 16.298 0.
Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 14 15 24 77 20 0
normalized size 1 1. 1. 1.07 1.71 5.5 1.43 0.
time (sec) N/A 0.005 0.006 0.078 1.48 1.614 16.134 0.
Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F C B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 53 0 104 691 0 0
normalized size 1 1. 0.76 0. 1.49 9.87 0. 0.
time (sec) N/A 0.048 0.071 180. 2.453 1.739 0. 0.
Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F C B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 102 102 70 0 182 1065 0 0
normalized size 1 1. 0.69 0. 1.78 10.44 0. 0.
time (sec) N/A 0.063 0.062 180. 2.451 1.815 0. 0.
Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F C B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 143 143 92 0 258 1439 0 0
normalized size 1 1. 0.64 0. 1.8 10.06 0. 0.
time (sec) N/A 0.09 0.046 180. 2.461 1.742 0. 0.
Problem 175 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 94 94 51 0 0 0 0 0
normalized size 1 1. 0.54 0. 0. 0. 0. 0.
time (sec) N/A 0.06 0.507 1.891 0. 0. 0. 0.
Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C C B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 92 92 114 29456 266 1100 0 0
normalized size 1 1. 1.24 320.17 2.89 11.96 0. 0.
time (sec) N/A 0.071 0.042 1.396 3.544 1.794 0. 0.
Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C C B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 86 4977 194 936 0 0
normalized size 1 1. 1.21 70.1 2.73 13.18 0. 0.
time (sec) N/A 0.049 0.045 0.379 3.545 1.813 0. 0.
Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C C B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 47 47 49 952 127 548 54 0
normalized size 1 1. 1.04 20.26 2.7 11.66 1.15 0.
time (sec) N/A 0.029 0.031 0.195 3.57 1.782 24.514 0.
Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C C B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 27 634 82 262 42 0
normalized size 1 1. 0.79 18.65 2.41 7.71 1.24 0.
time (sec) N/A 0.014 0.049 0.171 3.531 1.648 24.167 0.
Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 16 15 41 227 24 0
normalized size 1 1. 1. 0.94 2.56 14.19 1.5 0.
time (sec) N/A 0.005 0.006 0.074 1.471 1.61 16.46 0.
Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F C B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 74 0 234 1841 0 0
normalized size 1 1. 0.76 0. 2.41 18.98 0. 0.
time (sec) N/A 0.066 0.106 180. 3.551 1.935 0. 0.
Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F C B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 131 131 93 0 328 2475 0 0
normalized size 1 1. 0.71 0. 2.5 18.89 0. 0.
time (sec) N/A 0.087 0.05 180. 3.566 2.12 0. 0.
Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F C B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 170 170 107 0 448 3069 0 0
normalized size 1 1. 0.63 0. 2.64 18.05 0. 0.
time (sec) N/A 0.127 0.043 180. 3.54 2.24 0. 0.
Problem 184 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 79 79 71 0 0 0 0 0
normalized size 1 1. 0.9 0. 0. 0. 0. 0.
time (sec) N/A 0.049 0.132 2.566 0. 0. 0. 0.
Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B C B F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 165 165 146 2984280 513 1288 0 0
normalized size 1 1. 0.88 18086.6 3.11 7.81 0. 0.
time (sec) N/A 0.133 0.103 87.445 1.819 1.721 0. 0.
Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B C B F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 121 121 106 953037 344 917 0 0
normalized size 1 1. 0.88 7876.34 2.84 7.58 0. 0.
time (sec) N/A 0.08 0.077 36.951 1.799 1.769 0. 0.
Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C C B F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 71 252344 223 649 0 0
normalized size 1 1. 0.87 3077.37 2.72 7.91 0. 0.
time (sec) N/A 0.046 0.065 18.674 1.791 1.728 0. 0.
Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C C B F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 48 41 71611 138 489 0 0
normalized size 1 1. 0.85 1491.9 2.88 10.19 0. 0.
time (sec) N/A 0.02 0.043 15.611 1.792 1.604 0. 0.
Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 21 88 389 51 0
normalized size 1 1. 1. 1.05 4.4 19.45 2.55 0.
time (sec) N/A 0.007 0.014 0.087 1.739 1.703 1.047 0.
Problem 190 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 64 64 60 0 0 0 0 0
normalized size 1 1. 0.94 0. 0. 0. 0. 0.
time (sec) N/A 0.021 0.081 0.855 0. 0. 0. 0.
Problem 191 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 71 71 67 0 0 0 0 0
normalized size 1 1. 0.94 0. 0. 0. 0. 0.
time (sec) N/A 0.041 0.04 1.964 0. 0. 0. 0.
Problem 192 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 101 101 67 0 0 0 0 0
normalized size 1 1. 0.66 0. 0. 0. 0. 0.
time (sec) N/A 0.069 0.041 2.029 0. 0. 0. 0.
Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F(-2) A F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 37 37 34 676 0 72 0 0
normalized size 1 1. 0.92 18.27 0. 1.95 0. 0.
time (sec) N/A 0.01 0.033 0.159 0. 1.639 0. 0.
Problem 194 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 23 23 20 59 18 31 39 18
normalized size 1 1. 0.87 2.57 0.78 1.35 1.7 0.78
time (sec) N/A 0.014 0.021 0.092 0.946 1.344 91.849 1.173
Problem 195 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 23 23 20 48 18 31 60 18
normalized size 1 1. 0.87 2.09 0.78 1.35 2.61 0.78
time (sec) N/A 0.008 0.015 0.075 0.934 1.268 37.983 1.139
Problem 196 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 16 16 18 32 14 23 36 14
normalized size 1 1. 1.12 2. 0.88 1.44 2.25 0.88
time (sec) N/A 0.003 0.006 0.064 0.934 1.284 3.99 1.124
Problem 197 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 21 21 19 27 11 22 0 12
normalized size 1 1. 0.9 1.29 0.52 1.05 0. 0.57
time (sec) N/A 0.031 0.017 0.073 0.945 1.49 0. 1.137
Problem 198 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 17 17 18 20 15 27 34 16
normalized size 1 1. 1.06 1.18 0.88 1.59 2. 0.94
time (sec) N/A 0.009 0.016 0.074 0.942 1.618 12.187 1.162
Problem 199 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 23 23 18 20 15 30 39 15
normalized size 1 1. 0.78 0.87 0.65 1.3 1.7 0.65
time (sec) N/A 0.009 0.014 0.076 0.944 1.471 77.289 1.14
Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 47 21 45 213 0 0
normalized size 1 1. 1.74 0.78 1.67 7.89 0. 0.
time (sec) N/A 0.034 0.02 0.052 1.153 1.667 0. 0.
Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 81 449 76 325 0 0
normalized size 1 1. 1.59 8.8 1.49 6.37 0. 0.
time (sec) N/A 0.066 0.014 0.154 1.184 1.618 0. 0.
Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 77 77 109 471 105 435 0 0
normalized size 1 1. 1.42 6.12 1.36 5.65 0. 0.
time (sec) N/A 0.09 0.029 0.141 1.178 1.771 0. 0.
Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 307 307 345 5294 379 2587 0 0
normalized size 1 1. 1.12 17.24 1.23 8.43 0. 0.
time (sec) N/A 0.465 0.452 5.085 2.289 2.064 0. 0.
Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 231 231 259 4990 290 2114 0 0
normalized size 1 1. 1.12 21.6 1.26 9.15 0. 0.
time (sec) N/A 0.379 0.163 4.741 2.157 1.894 0. 0.
Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 150 150 131 306 192 1601 0 0
normalized size 1 1. 0.87 2.04 1.28 10.67 0. 0.
time (sec) N/A 0.232 1.246 0.164 2.111 1.851 0. 0.
Problem 206 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 17 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.066 5.265 0.331 0. 0. 0. 0.
Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 155 155 144 1726 201 1377 0 0
normalized size 1 1. 0.93 11.14 1.3 8.88 0. 0.
time (sec) N/A 0.307 0.191 34.221 3.355 1.886 0. 0.
Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 128 128 118 1667 169 1160 0 0
normalized size 1 1. 0.92 13.02 1.32 9.06 0. 0.
time (sec) N/A 0.269 0.114 37.152 3.467 1.765 0. 0.
Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 101 101 91 1584 136 953 0 0
normalized size 1 1. 0.9 15.68 1.35 9.44 0. 0.
time (sec) N/A 0.231 0.096 10.194 3.486 1.743 0. 0.
Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B A B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 69 69 201 247 97 707 0 0
normalized size 1 1. 2.91 3.58 1.41 10.25 0. 0.
time (sec) N/A 0.14 0.858 0.156 3.449 2.139 0. 0.
Problem 211 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 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.077 2.972 0.364 0. 0. 0. 0.
Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 168 168 144 1802 197 1280 0 0
normalized size 1 1. 0.86 10.73 1.17 7.62 0. 0.
time (sec) N/A 0.303 0.185 39.194 3.472 2.099 0. 0.
Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 139 139 119 1745 166 1081 0 0
normalized size 1 1. 0.86 12.55 1.19 7.78 0. 0.
time (sec) N/A 0.268 0.103 33.599 3.506 2.138 0. 0.
Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 110 93 1664 135 894 0 0
normalized size 1 1. 0.85 15.13 1.23 8.13 0. 0.
time (sec) N/A 0.238 0.091 16.123 3.501 2.064 0. 0.
Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B A B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 76 76 200 271 99 667 0 0
normalized size 1 1. 2.63 3.57 1.3 8.78 0. 0.
time (sec) N/A 0.15 0.89 0.158 3.901 1.96 0. 0.
Problem 216 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 21 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.065 3.114 0.372 0. 0. 0. 0.
Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 303 303 353 5222 374 2560 0 0
normalized size 1 1. 1.17 17.23 1.23 8.45 0. 0.
time (sec) N/A 0.465 0.397 5.121 2.281 2.327 0. 0.
Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 229 229 267 4918 288 2093 0 0
normalized size 1 1. 1.17 21.48 1.26 9.14 0. 0.
time (sec) N/A 0.382 0.158 4.785 2.226 2.238 0. 0.
Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 150 150 131 306 192 1585 0 0
normalized size 1 1. 0.87 2.04 1.28 10.57 0. 0.
time (sec) N/A 0.235 1.126 0.171 2.27 2.167 0. 0.
Problem 220 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 17 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.147 5.48 0.337 0. 0. 0. 0.
Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 152 152 141 1698 197 1280 0 0
normalized size 1 1. 0.93 11.17 1.3 8.42 0. 0.
time (sec) N/A 0.308 0.174 32.161 3.429 2.26 0. 0.
Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 126 126 116 1641 166 1081 0 0
normalized size 1 1. 0.92 13.02 1.32 8.58 0. 0.
time (sec) N/A 0.269 0.102 35.69 3.52 2.042 0. 0.
Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 90 1560 135 894 0 0
normalized size 1 1. 0.9 15.6 1.35 8.94 0. 0.
time (sec) N/A 0.24 0.093 15.664 3.714 1.971 0. 0.
Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B A B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 69 69 197 247 97 667 0 0
normalized size 1 1. 2.86 3.58 1.41 9.67 0. 0.
time (sec) N/A 0.145 0.787 0.161 3.597 2.053 0. 0.
Problem 225 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 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.061 3.149 0.372 0. 0. 0. 0.
Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 165 165 147 1830 201 1377 0 0
normalized size 1 1. 0.89 11.09 1.22 8.35 0. 0.
time (sec) N/A 0.31 0.188 37.705 3.718 2.15 0. 0.
Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 137 137 121 1771 169 1160 0 0
normalized size 1 1. 0.88 12.93 1.23 8.47 0. 0.
time (sec) N/A 0.27 0.111 37.721 3.564 2.058 0. 0.
Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 109 109 94 1688 136 953 0 0
normalized size 1 1. 0.86 15.49 1.25 8.74 0. 0.
time (sec) N/A 0.238 0.113 19.147 3.538 1.841 0. 0.
Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B A B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 76 76 208 271 99 707 0 0
normalized size 1 1. 2.74 3.57 1.3 9.3 0. 0.
time (sec) N/A 0.144 0.75 0.175 3.528 1.747 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 21 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.083 3.299 0.392 0. 0. 0. 0.
Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B C F C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 302 302 654 7429 0 4514 0 0
normalized size 1 1. 2.17 24.6 0. 14.95 0. 0.
time (sec) N/A 0.242 0.314 8.453 0. 2.596 0. 0.
Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 234 234 409 5543 0 3357 0 0
normalized size 1 1. 1.75 23.69 0. 14.35 0. 0.
time (sec) N/A 0.172 0.188 13.508 0. 2.209 0. 0.
Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F C F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 162 162 263 2543 0 2313 0 0
normalized size 1 1. 1.62 15.7 0. 14.28 0. 0.
time (sec) N/A 0.111 0.132 10.639 0. 2.28 0. 0.
Problem 234 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 79 79 78 178 246 1493 0 0
normalized size 1 1. 0.99 2.25 3.11 18.9 0. 0.
time (sec) N/A 0.048 0.023 0.158 1.815 1.896 0. 0.
Problem 235 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 17 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.041 5.064 1.157 0. 0. 0. 0.
Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 395 395 346 6820 0 5871 0 0
normalized size 1 1. 0.88 17.27 0. 14.86 0. 0.
time (sec) N/A 0.5 0.315 6.798 0. 2.656 0. 0.
Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 295 295 257 6482 0 4545 0 0
normalized size 1 1. 0.87 21.97 0. 15.41 0. 0.
time (sec) N/A 0.397 0.14 7.796 0. 2.491 0. 0.
Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 194 194 4654 612 502 3210 0 0
normalized size 1 1. 23.99 3.15 2.59 16.55 0. 0.
time (sec) N/A 0.251 13.224 0.131 2.13 2.434 0. 0.
Problem 239 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 17 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.146 0.355 0.382 0. 0. 0. 0.
Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C B C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 170 170 155 2339 460 980 0 0
normalized size 1 1. 0.91 13.76 2.71 5.76 0. 0.
time (sec) N/A 0.304 0.188 30.058 1.229 1.837 0. 0.
Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C B C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 133 133 119 2249 333 811 0 0
normalized size 1 1. 0.89 16.91 2.5 6.1 0. 0.
time (sec) N/A 0.253 0.106 17.08 1.144 1.731 0. 0.
Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 93 93 766 292 358 603 0 0
normalized size 1 1. 8.24 3.14 3.85 6.48 0. 0.
time (sec) N/A 0.155 2.858 0.175 1.554 1.71 0. 0.
Problem 243 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 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.089 0.727 0.444 0. 0. 0. 0.
Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C B C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 171 171 156 2449 459 992 0 0
normalized size 1 1. 0.91 14.32 2.68 5.8 0. 0.
time (sec) N/A 0.298 0.177 29.632 1.22 1.89 0. 0.
Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C B C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 134 134 120 2351 332 821 0 0
normalized size 1 1. 0.9 17.54 2.48 6.13 0. 0.
time (sec) N/A 0.245 0.109 13.712 1.151 1.778 0. 0.
Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 94 94 723 297 355 610 0 0
normalized size 1 1. 7.69 3.16 3.78 6.49 0. 0.
time (sec) N/A 0.156 2.825 0.178 1.596 1.667 0. 0.
Problem 247 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 23 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.085 0.72 0.44 0. 0. 0. 0.
Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B C F C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 302 302 654 7429 0 3677 0 0
normalized size 1 1. 2.17 24.6 0. 12.18 0. 0.
time (sec) N/A 0.235 0.287 6.052 0. 2.684 0. 0.
Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 234 234 409 5543 0 2646 0 0
normalized size 1 1. 1.75 23.69 0. 11.31 0. 0.
time (sec) N/A 0.171 0.175 13.674 0. 2.438 0. 0.
Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F C F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 162 162 263 2543 0 1724 0 0
normalized size 1 1. 1.62 15.7 0. 10.64 0. 0.
time (sec) N/A 0.11 0.121 10.737 0. 2.138 0. 0.
Problem 251 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 79 79 78 265 248 1029 0 0
normalized size 1 1. 0.99 3.35 3.14 13.03 0. 0.
time (sec) N/A 0.048 0.032 0.161 1.69 1.832 0. 0.
Problem 252 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 17 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.042 0.107 1.173 0. 0. 0. 0.
Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 391 391 339 6662 0 4748 0 0
normalized size 1 1. 0.87 17.04 0. 12.14 0. 0.
time (sec) N/A 0.503 0.306 6.855 0. 2.993 0. 0.
Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 293 293 253 6312 0 3838 0 0
normalized size 1 1. 0.86 21.54 0. 13.1 0. 0.
time (sec) N/A 0.403 0.125 8.394 0. 2.834 0. 0.
Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 194 194 4463 629 529 2919 0 0
normalized size 1 1. 23.01 3.24 2.73 15.05 0. 0.
time (sec) N/A 0.249 12.993 0.139 1.891 2.785 0. 0.
Problem 256 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 17 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.093 0.348 0.391 0. 0. 0. 0.
Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C B C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 168 168 155 2449 462 505 0 0
normalized size 1 1. 0.92 14.58 2.75 3.01 0. 0.
time (sec) N/A 0.306 0.177 29.797 1.174 1.773 0. 0.
Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C B C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 132 132 119 2351 335 429 0 0
normalized size 1 1. 0.9 17.81 2.54 3.25 0. 0.
time (sec) N/A 0.257 0.109 17.385 1.139 1.691 0. 0.
Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B A F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 93 93 709 299 386 339 0 0
normalized size 1 1. 7.62 3.22 4.15 3.65 0. 0.
time (sec) N/A 0.159 3.364 0.181 1.545 1.774 0. 0.
Problem 260 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 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.088 0.673 0.444 0. 0. 0. 0.
Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C B C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 169 169 155 2339 463 504 0 0
normalized size 1 1. 0.92 13.84 2.74 2.98 0. 0.
time (sec) N/A 0.295 0.197 29.139 1.378 1.689 0. 0.
Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C B C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 133 133 119 2249 336 427 0 0
normalized size 1 1. 0.89 16.91 2.53 3.21 0. 0.
time (sec) N/A 0.248 0.104 20.552 1.281 1.772 0. 0.
Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B A F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 94 94 605 304 389 335 0 0
normalized size 1 1. 6.44 3.23 4.14 3.56 0. 0.
time (sec) N/A 0.15 2.638 0.193 1.758 1.745 0. 0.
Problem 264 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 23 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.08 0.75 0.457 0. 0. 0. 0.
Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 160 160 131 920 0 979 0 0
normalized size 1 1. 0.82 5.75 0. 6.12 0. 0.
time (sec) N/A 0.574 0.315 0.47 0. 1.928 0. 0.
Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C C A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 297 297 236 4034 447 579 362 0
normalized size 1 1. 0.79 13.58 1.51 1.95 1.22 0.
time (sec) N/A 0.386 0.171 10.293 1.113 1.696 113.193 0.
Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C C A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 225 225 192 3320 366 440 286 0
normalized size 1 1. 0.85 14.76 1.63 1.96 1.27 0.
time (sec) N/A 0.256 0.145 6.22 1.076 1.681 33.845 0.
Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 140 140 129 2616 231 297 209 0
normalized size 1 1. 0.92 18.69 1.65 2.12 1.49 0.
time (sec) N/A 0.119 0.106 0.602 1.028 1.625 12.663 0.
Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F C C F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 381 381 0 864 225 0 0 0
normalized size 1 1. 0. 2.27 0.59 0. 0. 0.
time (sec) N/A 0.439 0.213 1.104 1.779 0. 0. 0.
Problem 270 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 247 247 161 0 0 0 0 0
normalized size 1 1. 0.65 0. 0. 0. 0. 0.
time (sec) N/A 0.488 0.15 2.582 0. 0. 0. 0.
Problem 271 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 339 339 307 0 0 0 0 0
normalized size 1 1. 0.91 0. 0. 0. 0. 0.
time (sec) N/A 0.717 0.145 6.231 0. 0. 0. 0.
Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C C A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 315 315 236 4194 428 587 345 0
normalized size 1 1. 0.75 13.31 1.36 1.86 1.1 0.
time (sec) N/A 0.749 0.149 1.72 1.11 1.676 43.404 0.
Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C C A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 247 247 183 3515 340 452 265 0
normalized size 1 1. 0.74 14.23 1.38 1.83 1.07 0.
time (sec) N/A 0.621 0.123 1.083 1.193 1.728 15.704 0.
Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C C A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 104 104 144 2210 240 304 155 0
normalized size 1 1. 1.38 21.25 2.31 2.92 1.49 0.
time (sec) N/A 0.198 0.017 0.566 1.141 1.699 9.844 0.
Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 105 94 332 0 0 0 0 0
normalized size 1 0.9 3.16 0. 0. 0. 0. 0.
time (sec) N/A 0.269 0.204 1.642 0. 0. 0. 0.
Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 197 191 457 0 0 0 0 0
normalized size 1 0.97 2.32 0. 0. 0. 0. 0.
time (sec) N/A 0.463 0.383 4.322 0. 0. 0. 0.
Problem 277 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 256 250 0 0 0 0 0 0
normalized size 1 0.98 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.67 0.28 4.318 0. 0. 0. 0.
Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F(-2) F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 512 512 677 8491 0 0 0 0
normalized size 1 1. 1.32 16.58 0. 0. 0. 0.
time (sec) N/A 0.767 4.252 1.996 0. 0. 0. 0.
Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 546 546 1287 0 0 0 0 0
normalized size 1 1. 2.36 0. 0. 0. 0. 0.
time (sec) N/A 1.387 3.212 1.994 0. 0. 0. 0.
Problem 280 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 100 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.252 0.273 0.74 0. 0. 0. 0.
Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F(-2) F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 560 560 1236 0 0 0 0 0
normalized size 1 1. 2.21 0. 0. 0. 0. 0.
time (sec) N/A 1.261 3.562 0.832 0. 0. 0. 0.
Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 712 712 1318 937 0 0 0 0
normalized size 1 1. 1.85 1.32 0. 0. 0. 0.
time (sec) N/A 1.113 5.571 3.198 0. 0. 0. 0.
Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 51 31 78 262 0 0
normalized size 1 1. 2.04 1.24 3.12 10.48 0. 0.
time (sec) N/A 0.012 0.034 0.052 1.119 1.776 0. 0.
Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 71 62 80 374 0 0
normalized size 1 1. 1.39 1.22 1.57 7.33 0. 0.
time (sec) N/A 0.047 0.022 0.049 1.123 1.661 0. 0.
Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 93 79 103 462 0 0
normalized size 1 1. 1.33 1.13 1.47 6.6 0. 0.
time (sec) N/A 0.073 0.019 0.046 1.109 1.778 0. 0.
Problem 286 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 41 41 68 67 144 417 0 0
normalized size 1 1. 1.66 1.63 3.51 10.17 0. 0.
time (sec) N/A 0.016 0.073 0.072 1.072 1.679 0. 0.
Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 83 113 153 146 583 0 0
normalized size 1 1. 1.36 1.84 1.76 7.02 0. 0.
time (sec) N/A 0.064 0.031 0.07 1.135 1.612 0. 0.
Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 119 119 149 185 192 730 0 0
normalized size 1 1. 1.25 1.55 1.61 6.13 0. 0.
time (sec) N/A 0.099 0.03 0.076 1.125 1.755 0. 0.
Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 168 168 108 164 284 899 0 0
normalized size 1 1. 0.64 0.98 1.69 5.35 0. 0.
time (sec) N/A 0.132 0.075 0.199 1.089 1.601 0. 0.
Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 216 216 177 590 262 1193 0 0
normalized size 1 1. 0.82 2.73 1.21 5.52 0. 0.
time (sec) N/A 2.714 0.104 0.174 1.284 1.62 0. 0.
Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 269 269 235 666 338 1453 0 0
normalized size 1 1. 0.87 2.48 1.26 5.4 0. 0.
time (sec) N/A 2.586 0.07 0.175 1.273 1.914 0. 0.
Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 19 28 57 14 0
normalized size 1 1. 1. 1.12 1.65 3.35 0.82 0.
time (sec) N/A 0.044 0.052 0.072 1.127 1.648 1.315 0.
Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 44 44 39 46 50 149 60 0
normalized size 1 1. 0.89 1.05 1.14 3.39 1.36 0.
time (sec) N/A 0.052 0.016 0.078 1.047 1.822 9.037 0.
Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 47 47 42 118 54 359 0 0
normalized size 1 1. 0.89 2.51 1.15 7.64 0. 0.
time (sec) N/A 0.055 0.036 0.119 1.065 1.859 0. 0.
Problem 295 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C B B F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 107 107 153 794 248 624 0 0
normalized size 1 1. 1.43 7.42 2.32 5.83 0. 0.
time (sec) N/A 0.155 0.164 0.329 1.614 1.744 0. 0.
Problem 296 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A A F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 49 49 60 824 86 236 0 0
normalized size 1 1. 1.22 16.82 1.76 4.82 0. 0.
time (sec) N/A 0.079 0.086 0.281 1.118 1.654 0. 0.
Problem 297 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A A A F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 45 45 46 351 58 55 63 0
normalized size 1 1. 1.02 7.8 1.29 1.22 1.4 0.
time (sec) N/A 0.06 0.075 0.25 1.058 1.707 25.793 0.
Problem 298 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 45 45 46 68 57 55 0 47
normalized size 1 1. 1.02 1.51 1.27 1.22 0. 1.04
time (sec) N/A 0.059 0.08 0.069 1.181 1.512 0. 1.183
Problem 299 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C A A F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 49 49 59 939 86 238 0 0
normalized size 1 1. 1.2 19.16 1.76 4.86 0. 0.
time (sec) N/A 0.071 0.083 0.292 1.039 1.756 0. 0.
Problem 300 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C B B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 107 107 150 920 248 625 0 0
normalized size 1 1. 1.4 8.6 2.32 5.84 0. 0.
time (sec) N/A 0.148 0.157 0.333 1.748 1.79 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 [75] had the largest ratio of [ 1.333 ]

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 4 3 1. 8 0.375
2 A 4 3 1. 8 0.375
3 A 4 3 1. 8 0.375
4 A 4 3 1. 8 0.375
5 A 3 3 1. 6 0.5
6 A 2 2 1. 4 0.5
7 A 1 1 1. 8 0.125
8 A 5 5 1. 8 0.625
9 A 3 3 1. 8 0.375
10 A 4 3 1. 8 0.375
11 A 4 3 1. 8 0.375
12 A 15 7 1. 10 0.7
13 A 14 9 1. 10 0.9
14 A 10 7 1. 10 0.7
15 A 9 8 1. 10 0.8
16 A 5 5 1. 8 0.625
17 A 5 5 1. 6 0.833
18 A 6 5 1. 10 0.5
19 A 4 4 1. 10 0.4
20 A 8 7 1. 10 0.7
21 A 8 7 1. 10 0.7
22 A 13 8 1. 10 0.8
23 A 33 11 1. 10 1.1
24 A 22 11 1. 10 1.1
25 A 18 10 1. 10 1.
26 A 11 9 1. 10 0.9
27 A 8 8 1. 8 1.
28 A 5 6 1. 6 1.
29 A 8 6 1. 10 0.6
30 A 5 6 1. 10 0.6
31 A 7 6 1. 10 0.6
32 A 14 11 1. 10 1.1
33 A 16 8 1. 10 0.8
34 A 1 1 1. 14 0.071
35 A 4 4 1. 14 0.286
36 A 4 4 1. 14 0.286
37 A 5 5 1. 14 0.357
38 A 5 4 1. 12 0.333
39 A 27 13 1. 14 0.929
40 A 25 13 1. 14 0.929
41 A 23 11 1. 14 0.786
42 A 0 0 0. 0 0.
43 A 0 0 0. 0 0.
44 A 5 6 1. 16 0.375
45 A 7 9 1. 16 0.562
46 A 8 9 1. 16 0.562
47 A 8 9 1. 16 0.562
48 A 3 3 1. 15 0.2
49 A 2 2 1. 15 0.133
50 A 1 1 1. 15 0.067
51 A 2 2 1. 15 0.133
52 A 3 2 1. 15 0.133
53 A 1 1 1. 14 0.071
54 A 1 1 1. 14 0.071
55 A 4 4 1. 14 0.286
56 A 4 4 1. 13 0.308
57 A 1 1 1. 12 0.083
58 A 3 3 1. 13 0.231
59 A 2 2 1. 12 0.167
60 A 4 3 1. 13 0.231
61 A 3 3 1. 12 0.25
62 A 7 5 1. 10 0.5
63 A 7 5 1. 10 0.5
64 A 7 5 1. 8 0.625
65 A 3 3 1. 6 0.5
66 A 5 5 1. 10 0.5
67 A 7 5 1. 10 0.5
68 A 5 4 1. 10 0.4
69 A 19 15 1. 12 1.25
70 A 15 13 1. 12 1.083
71 A 12 10 1. 10 1.
72 A 6 6 1. 8 0.75
73 A 2 2 1. 12 0.167
74 A 17 15 1. 12 1.25
75 A 21 16 1. 12 1.333
76 A 37 7 0.89 16 0.438
77 A 5 5 1. 14 0.357
78 A 37 10 1.23 16 0.625
79 A 57 11 1. 16 0.688
80 A 55 16 1. 18 0.889
81 A 65 19 1. 18 1.056
82 A 12 8 1. 19 0.421
83 A 6 4 1. 10 0.4
84 A 5 4 1. 8 0.5
85 A 4 4 1. 6 0.667
86 A 2 2 1. 10 0.2
87 A 4 4 1. 10 0.4
88 A 5 4 1. 10 0.4
89 A 3 2 1. 12 0.167
90 A 3 2 1. 12 0.167
91 A 2 2 1. 12 0.167
92 A 4 4 1. 12 0.333
93 A 2 2 1. 10 0.2
94 A 3 3 1. 4 0.75
95 A 2 2 1. 10 0.2
96 A 4 4 1. 12 0.333
97 A 5 4 1. 14 0.286
98 A 2 2 1. 14 0.143
99 A 6 6 1. 14 0.429
100 A 3 3 1. 12 0.25
101 A 3 3 1. 19 0.158
102 A 7 5 1. 18 0.278
103 A 7 5 1. 18 0.278
104 A 7 5 1. 16 0.312
105 A 4 3 1. 10 0.3
106 A 5 5 1. 18 0.278
107 A 7 5 1. 18 0.278
108 A 5 4 1. 18 0.222
109 A 16 13 1. 20 0.65
110 A 13 10 1. 18 0.556
111 A 6 6 1. 12 0.5
112 A 2 2 1. 20 0.1
113 A 21 19 1.01 20 0.95
114 A 21 14 1. 20 0.7
115 A 15 11 1. 18 0.611
116 A 6 7 1. 12 0.583
117 A 2 2 1. 20 0.1
118 A 30 18 1. 20 0.9
119 A 6 4 1. 18 0.222
120 A 0 0 0. 0 0.
121 A 0 0 0. 0 0.
122 A 0 0 0. 0 0.
123 A 9 7 1. 40 0.175
124 A 7 6 1. 40 0.15
125 A 2 3 1. 38 0.079
126 A 0 0 0. 0 0.
127 A 0 0 0. 0 0.
128 A 2 2 1. 11 0.182
129 A 2 2 1. 11 0.182
130 A 2 2 1. 9 0.222
131 A 2 2 1. 7 0.286
132 A 2 2 1. 11 0.182
133 A 2 2 1. 11 0.182
134 A 2 2 1. 11 0.182
135 A 2 2 1. 11 0.182
136 A 3 2 1. 13 0.154
137 A 3 2 1. 13 0.154
138 A 3 2 1. 13 0.154
139 A 3 3 1. 11 0.273
140 A 2 2 1. 9 0.222
141 A 3 3 1. 13 0.231
142 A 3 3 1. 13 0.231
143 A 3 2 1. 13 0.154
144 A 1 1 1. 13 0.077
145 A 2 2 1. 13 0.154
146 A 4 2 1. 13 0.154
147 A 4 2 1. 13 0.154
148 A 4 2 1. 13 0.154
149 A 4 3 1. 13 0.231
150 A 3 3 1. 11 0.273
151 A 2 2 1. 9 0.222
152 A 4 3 1. 13 0.231
153 A 4 4 1. 13 0.308
154 A 4 3 1. 13 0.231
155 A 4 2 1. 13 0.154
156 A 1 1 1. 13 0.077
157 A 2 2 1. 13 0.154
158 A 1 1 1. 13 0.077
159 A 5 4 1. 13 0.308
160 A 4 4 1. 13 0.308
161 A 3 3 1. 11 0.273
162 A 2 2 1. 9 0.222
163 A 4 3 1. 13 0.231
164 A 5 4 1. 13 0.308
165 A 6 4 1. 13 0.308
166 A 2 2 1. 13 0.154
167 A 6 5 1. 13 0.385
168 A 5 5 1. 13 0.385
169 A 4 4 1. 13 0.308
170 A 3 3 1. 11 0.273
171 A 2 2 1. 9 0.222
172 A 5 4 1. 13 0.308
173 A 6 5 1. 13 0.385
174 A 7 5 1. 13 0.385
175 A 3 2 1. 13 0.154
176 A 6 5 1. 13 0.385
177 A 5 4 1. 13 0.308
178 A 4 3 1. 13 0.231
179 A 3 3 1. 11 0.273
180 A 2 2 1. 9 0.222
181 A 6 4 1. 13 0.308
182 A 7 5 1. 13 0.385
183 A 8 5 1. 13 0.385
184 A 1 1 1. 13 0.077
185 A 6 3 1. 13 0.231
186 A 5 3 1. 13 0.231
187 A 4 3 1. 13 0.231
188 A 3 3 1. 11 0.273
189 A 2 2 1. 9 0.222
190 A 1 1 1. 13 0.077
191 A 2 2 1. 13 0.154
192 A 3 2 1. 13 0.154
193 A 2 2 1. 11 0.182
194 A 2 2 1. 11 0.182
195 A 2 2 1. 9 0.222
196 A 2 2 1. 7 0.286
197 A 2 2 1. 11 0.182
198 A 2 2 1. 11 0.182
199 A 2 2 1. 11 0.182
200 A 6 4 1. 3 1.333
201 A 8 5 1. 5 1.
202 A 10 6 1. 7 0.857
203 A 11 6 1. 15 0.4
204 A 9 5 1. 13 0.385
205 A 7 4 1. 11 0.364
206 A 0 0 0. 0 0.
207 A 8 7 1. 16 0.438
208 A 7 7 1. 16 0.438
209 A 6 6 1. 14 0.429
210 A 5 5 1. 12 0.417
211 A 0 0 0. 0 0.
212 A 8 7 1. 19 0.368
213 A 7 7 1. 19 0.368
214 A 6 6 1. 17 0.353
215 A 5 5 1. 15 0.333
216 A 0 0 0. 0 0.
217 A 11 6 1. 15 0.4
218 A 9 5 1. 13 0.385
219 A 7 4 1. 11 0.364
220 A 0 0 0. 0 0.
221 A 8 7 1. 16 0.438
222 A 7 7 1. 16 0.438
223 A 6 6 1. 14 0.429
224 A 5 5 1. 12 0.417
225 A 0 0 0. 0 0.
226 A 8 7 1. 19 0.368
227 A 7 7 1. 19 0.368
228 A 6 6 1. 17 0.353
229 A 5 5 1. 15 0.333
230 A 0 0 0. 0 0.
231 A 12 6 1. 15 0.4
232 A 10 6 1. 15 0.4
233 A 8 5 1. 13 0.385
234 A 6 4 1. 7 0.571
235 A 0 0 0. 0 0.
236 A 11 6 1. 15 0.4
237 A 9 5 1. 13 0.385
238 A 7 4 1. 11 0.364
239 A 0 0 0. 0 0.
240 A 7 7 1. 20 0.35
241 A 6 6 1. 18 0.333
242 A 5 5 1. 16 0.312
243 A 0 0 0. 0 0.
244 A 7 7 1. 21 0.333
245 A 6 6 1. 19 0.316
246 A 5 5 1. 17 0.294
247 A 0 0 0. 0 0.
248 A 12 6 1. 15 0.4
249 A 10 6 1. 15 0.4
250 A 8 5 1. 13 0.385
251 A 6 4 1. 7 0.571
252 A 0 0 0. 0 0.
253 A 11 6 1. 15 0.4
254 A 9 5 1. 13 0.385
255 A 7 4 1. 11 0.364
256 A 0 0 0. 0 0.
257 A 7 7 1. 20 0.35
258 A 6 6 1. 18 0.333
259 A 5 5 1. 16 0.312
260 A 0 0 0. 0 0.
261 A 7 7 1. 21 0.333
262 A 6 6 1. 19 0.316
263 A 5 5 1. 17 0.294
264 A 0 0 0. 0 0.
265 A 11 8 1. 24 0.333
266 A 23 11 1. 27 0.407
267 A 14 11 1. 27 0.407
268 A 7 8 1. 25 0.32
269 A 21 11 1. 27 0.407
270 A 13 13 1. 27 0.482
271 A 17 14 1. 27 0.518
272 A 26 15 1. 27 0.556
273 A 21 15 1. 27 0.556
274 A 9 8 1. 24 0.333
275 A 8 8 0.9 27 0.296
276 A 17 16 0.97 27 0.593
277 A 26 18 0.98 27 0.667
278 A 22 17 1. 22 0.773
279 A 38 20 1. 21 0.952
280 A 0 0 0. 0 0.
281 A 38 22 1. 24 0.917
282 A 32 17 1. 24 0.708
283 A 2 2 1. 4 0.5
284 A 7 4 1. 6 0.667
285 A 9 5 1. 8 0.625
286 A 2 2 1. 8 0.25
287 A 7 4 1. 10 0.4
288 A 9 5 1. 12 0.417
289 A 6 6 1. 12 0.5
290 A 25 8 1. 14 0.571
291 A 29 9 1. 16 0.562
292 A 1 1 1. 20 0.05
293 A 4 4 1. 12 0.333
294 A 4 4 1. 14 0.286
295 A 8 7 1. 20 0.35
296 A 5 5 1. 20 0.25
297 A 3 2 1. 20 0.1
298 A 3 2 1. 20 0.1
299 A 5 5 1. 20 0.25
300 A 8 7 1. 20 0.35

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