2 detailed summary tables of results

 2.1 Detailed conclusion table per each integral for all CAS systems
 2.2 Detailed conclusion table specific for Rubi results

2.1 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 Rubi in Sympy










grade A A A C F A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 77 77 143 43 0 105 60 73 0
normalized size 1 1. 1.86 0.56 0. 1.36 0.78 0.95 0.
time (sec) N/A 0.131 0.07 0.009 0. 0.287 1.755 0.28 0.




















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A F(-2) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 30 30 23 46 34 58 0 104 80
normalized size 1 1. 0.77 1.53 1.13 1.93 0. 3.47 2.67
time (sec) N/A 0.036 0.019 0.002 0.784 0.301 0. 0.264 19.648




















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 14 98 292 1 107 131 8
normalized size 1 1. 1. 7. 20.86 0.07 7.64 9.36 0.57
time (sec) N/A 0.017 0.002 0.002 0.788 0.252 0.15 0.26 15.695




















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 14 65 134 1 66 86 8
normalized size 1 1. 1. 4.64 9.57 0.07 4.71 6.14 0.57
time (sec) N/A 0.017 0.002 0.001 0.776 0.249 0.126 0.262 15.622




















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 35 35 35 32 42 1 32 42 0
normalized size 1 1. 1. 0.91 1.2 0.03 0.91 1.2 0.
time (sec) N/A 0.018 0. 0.001 0.758 0.238 0.085 0.26 0.




















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 14 13 32 32 26 16 12
normalized size 1 1. 1. 0.93 2.29 2.29 1.86 1.14 0.86
time (sec) N/A 0.019 0.005 0.006 0.76 0.273 1.253 0.26 15.719




















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 14 13 77 77 61 16 12
normalized size 1 1. 1. 0.93 5.5 5.5 4.36 1.14 0.86
time (sec) N/A 0.018 0.007 0.004 0.779 0.274 1.866 0.26 15.686




















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 14 13 122 122 97 16 12
normalized size 1 1. 1. 0.93 8.71 8.71 6.93 1.14 0.86
time (sec) N/A 0.018 0.005 0.004 0.788 0.269 2.701 0.259 15.688




















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 84 84 159 295 275 1 175 224 83
normalized size 1 1. 1.89 3.51 3.27 0.01 2.08 2.67 0.99
time (sec) N/A 0.248 0.035 0.001 0.794 0.253 0.195 0.258 34.021




















Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 82 84 126 1 87 112 0
normalized size 1 1. 1.46 1.5 2.25 0.02 1.55 2. 0.
time (sec) N/A 0.139 0.016 0.001 0.767 0.265 0.127 0.26 0.




















Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 32 29 38 1 31 38 0
normalized size 1 1. 1. 0.91 1.19 0.03 0.97 1.19 0.
time (sec) N/A 0.017 0. 0.001 0.771 0.279 0.091 0.259 0.




















Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 188 188 63 57 0 351 53 0 184
normalized size 1 1. 0.34 0.3 0. 1.87 0.28 0. 0.98
time (sec) N/A 0.652 0.026 0.004 0. 0.276 1.178 0. 74.946




















Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 245 245 112 136 0 610 192 0 228
normalized size 1 1. 0.46 0.56 0. 2.49 0.78 0. 0.93
time (sec) N/A 0.612 0.095 0.013 0. 0.29 5.623 0. 92.298




















Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 305 305 149 276 0 1160 474 0 280
normalized size 1 1. 0.49 0.9 0. 3.8 1.55 0. 0.92
time (sec) N/A 0.76 0.142 0.023 0. 0.288 23.604 0. 112.989




















Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 361 361 653 861 622 1 1018 1 0
normalized size 1 1. 1.81 2.39 1.72 0. 2.82 0. 0.
time (sec) N/A 1.798 0.47 0.002 0.779 0.257 0.657 0.258 0.




















Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 193 193 241 188 243 1 345 467 0
normalized size 1 1. 1.25 0.97 1.26 0.01 1.79 2.42 0.
time (sec) N/A 0.606 0.146 0.001 0.776 0.268 0.31 0.263 0.




















Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 76 51 68 1 63 73 0
normalized size 1 1. 1.36 0.91 1.21 0.02 1.12 1.3 0.
time (sec) N/A 0.046 0. 0.001 0.768 0.278 0.11 0.263 0.




















Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A F(-1) F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 86 86 80 87 151 151 0 0 0
normalized size 1 1. 0.93 1.01 1.76 1.76 0. 0. 0.
time (sec) N/A 0.147 0.088 0.012 0.784 5.575 0. 0. 0.




















Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A F(-1) F(-1) A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 234 234 232 398 2830 0 0 1 0
normalized size 1 1. 0.99 1.7 12.09 0. 0. 0. 0.
time (sec) N/A 0.888 1.33 0.066 0.865 0. 0. 0.28 0.




















Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B A F(-1) F(-1) A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 495 495 490 1076 14857 0 0 1 0
normalized size 1 1. 0.99 2.17 30.01 0. 0. 0. 0.
time (sec) N/A 3.587 2.831 0.047 1.389 0. 0. 0.38 0.




















Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 25 25 20 26 26 19 27 31
normalized size 1 1. 1. 0.8 1.04 1.04 0.76 1.08 1.24
time (sec) N/A 0.033 0.009 0.006 0.855 0.32 0.255 0.262 128.344




















Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 31 31 31 26 34 34 24 35 34
normalized size 1 1. 1. 0.84 1.1 1.1 0.77 1.13 1.1
time (sec) N/A 0.043 0.01 0.01 0.859 0.321 0.291 0.261 32.079




















Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 10 10 10 9 11 11 8 11 8
normalized size 1 1. 1. 0.9 1.1 1.1 0.8 1.1 0.8
time (sec) N/A 0.005 0.001 0.001 0.77 0.298 0.072 0.261 1.55




















Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 28 28 28 29 38 35 19 41 24
normalized size 1 1. 1. 1.04 1.36 1.25 0.68 1.46 0.86
time (sec) N/A 0.033 0.008 0.014 0.765 0.317 1.274 0.26 14.178




















Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 22 22 22 21 27 24 15 32 19
normalized size 1 1. 1. 0.95 1.23 1.09 0.68 1.45 0.86
time (sec) N/A 0.03 0.007 0.007 0.778 0.31 0.493 0.26 156.994




















Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 62 62 61 62 0 1 564 84 54
normalized size 1 1. 0.98 1. 0. 0.02 9.1 1.35 0.87
time (sec) N/A 0.112 0.132 0.013 0. 0.305 6.673 0.264 20.222




















Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 115 115 89 91 0 120 20 151 109
normalized size 1 1. 0.77 0.79 0. 1.04 0.17 1.31 0.95
time (sec) N/A 0.133 0.046 0.007 0. 0.328 0.357 0.263 25.01




















Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A F(-2) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 16 17 23 22 0 24 22
normalized size 1 1. 1. 1.06 1.44 1.38 0. 1.5 1.38
time (sec) N/A 0.011 0.004 0.003 0.8 0.336 0. 0.261 1.904




















Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A F F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 53 0 0 0 0 0 53
normalized size 1 1. 0.96 0. 0. 0. 0. 0. 0.96
time (sec) N/A 0.052 0.044 0.053 0. 0. 0. 0. 8.255




















Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A F F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 59 61 0 0 0 0 0 53
normalized size 1 1.11 1.15 0. 0. 0. 0. 0. 1.
time (sec) N/A 0.058 0.047 0.053 0. 0. 0. 0. 9.851




















Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B F F F F(-1) F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 132 132 438 0 0 0 0 0 117
normalized size 1 1. 3.32 0. 0. 0. 0. 0. 0.89
time (sec) N/A 0.392 4.46 0.03 0. 0. 0. 0. 29.702




















Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F A F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 35 44 196 0 0 0 34 0 34
normalized size 1 1.26 5.6 0. 0. 0. 0.97 0. 0.97
time (sec) N/A 0.024 0.304 0.048 0. 0. 68.839 0. 3.717




















Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 270 270 285 392 502 1 299 374 0
normalized size 1 1. 1.06 1.45 1.86 0. 1.11 1.39 0.
time (sec) N/A 1.049 0.064 0.002 0.789 0.243 0.257 0.262 0.




















Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 171 171 171 231 277 1 180 224 0
normalized size 1 1. 1. 1.35 1.62 0.01 1.05 1.31 0.
time (sec) N/A 0.193 0.032 0.001 0.782 0.23 0.187 0.259 0.




















Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 92 92 92 84 127 1 95 112 0
normalized size 1 1. 1. 0.91 1.38 0.01 1.03 1.22 0.
time (sec) N/A 0.089 0.014 0.001 0.768 0.246 0.133 0.263 0.




















Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 32 29 38 1 31 38 31
normalized size 1 1. 1. 0.91 1.19 0.03 0.97 1.19 0.97
time (sec) N/A 0.017 0. 0.001 0.766 0.228 0.081 0.262 3.246




















Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F A A F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 529 529 71 64 0 1222 88 0 0
normalized size 1 1. 0.13 0.12 0. 2.31 0.17 0. 0.
time (sec) N/A 1.998 0.045 0.056 0. 0.3 3.144 0. 0.




















Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F A A F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 746 746 182 232 0 4350 427 0 0
normalized size 1 1. 0.24 0.31 0. 5.83 0.57 0. 0.
time (sec) N/A 4.064 0.173 0.045 0. 0.347 20.224 0. 0.




















Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 295 295 345 500 517 1 366 436 262
normalized size 1 1. 1.17 1.69 1.75 0. 1.24 1.48 0.89
time (sec) N/A 1.027 0.092 0.003 0.786 0.255 0.288 0.26 111.56




















Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 203 203 207 288 289 1 218 252 0
normalized size 1 1. 1.02 1.42 1.42 0. 1.07 1.24 0.
time (sec) N/A 0.254 0.046 0.002 0.788 0.231 0.208 0.261 0.




















Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 107 107 109 100 136 1 112 122 0
normalized size 1 1. 1.02 0.93 1.27 0.01 1.05 1.14 0.
time (sec) N/A 0.108 0.021 0.001 0.767 0.236 0.143 0.26 0.




















Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 37 37 37 34 45 1 36 41 0
normalized size 1 1. 1. 0.92 1.22 0.03 0.97 1.11 0.
time (sec) N/A 0.021 0. 0.001 0.797 0.229 0.095 0.261 0.




















Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 153 153 71 67 0 1505 122 0 148
normalized size 1 1. 0.46 0.44 0. 9.84 0.8 0. 0.97
time (sec) N/A 0.578 0.038 0.093 0. 0.282 5.017 0. 78.714




















Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F A A F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 342 342 234 288 0 5785 580 0 0
normalized size 1 1. 0.68 0.84 0. 16.92 1.7 0. 0.
time (sec) N/A 1.437 0.282 0.051 0. 0.417 44.809 0. 0.




















Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 96 96 96 85 113 1 94 113 94
normalized size 1 1. 1. 0.89 1.18 0.01 0.98 1.18 0.98
time (sec) N/A 0.063 0.002 0.003 0.774 0.256 0.111 0.263 47.027




















Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 74 74 74 65 86 1 71 86 71
normalized size 1 1. 1. 0.88 1.16 0.01 0.96 1.16 0.96
time (sec) N/A 0.047 0.002 0.002 0.773 0.289 0.095 0.257 34.932




















Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 54 54 54 45 59 1 49 59 49
normalized size 1 1. 1. 0.83 1.09 0.02 0.91 1.09 0.91
time (sec) N/A 0.033 0.002 0.001 0.762 0.239 0.079 0.26 23.629




















Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 23 20 26 1 19 26 0
normalized size 1 1. 1. 0.87 1.13 0.04 0.83 1.13 0.
time (sec) N/A 0.01 0. 0.001 0.777 0.256 0.059 0.263 0.




















Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 268 268 45 41 0 0 41 0 382
normalized size 1 1. 0.17 0.15 0. 0. 0.15 0. 1.43
time (sec) N/A 0.868 0.014 0.007 0. 0. 3.041 0. 65.258




















Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 357 357 113 83 0 0 71 0 439
normalized size 1 1. 0.32 0.23 0. 0. 0.2 0. 1.23
time (sec) N/A 1.016 0.027 0.012 0. 0. 3.391 0. 80.7




















Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 97 78 104 1 94 104 94
normalized size 1 1. 1. 0.8 1.07 0.01 0.97 1.07 0.97
time (sec) N/A 0.059 0.002 0.002 0.803 0.227 0.105 0.259 41.489




















Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 69 58 77 1 66 77 66
normalized size 1 1. 1. 0.84 1.12 0.01 0.96 1.12 0.96
time (sec) N/A 0.042 0.001 0.002 0.789 0.228 0.093 0.26 31.77




















Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 45 45 45 38 50 1 42 50 42
normalized size 1 1. 1. 0.84 1.11 0.02 0.93 1.11 0.93
time (sec) N/A 0.03 0.002 0.001 0.785 0.223 0.077 0.26 24.129




















Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 21 21 21 18 23 1 19 23 0
normalized size 1 1. 1. 0.86 1.1 0.05 0.9 1.1 0.
time (sec) N/A 0.009 0. 0.001 0.809 0.237 0.059 0.26 0.




















Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 234 234 47 41 0 0 36 0 345
normalized size 1 1. 0.2 0.18 0. 0. 0.15 0. 1.47
time (sec) N/A 0.704 0.024 0.007 0. 0. 2.769 0. 62.878




















Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 317 317 108 79 0 0 71 0 393
normalized size 1 1. 0.34 0.25 0. 0. 0.22 0. 1.24
time (sec) N/A 0.871 0.04 0.013 0. 0. 3.39 0. 77.583




















Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 104 104 104 85 113 1 100 113 100
normalized size 1 1. 1. 0.82 1.09 0.01 0.96 1.09 0.96
time (sec) N/A 0.067 0.003 0.002 0.808 0.224 0.134 0.262 74.742




















Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 76 65 86 1 73 86 73
normalized size 1 1. 1. 0.86 1.13 0.01 0.96 1.13 0.96
time (sec) N/A 0.05 0.002 0.002 0.806 0.237 0.111 0.262 61.257




















Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 52 52 52 45 59 1 49 59 49
normalized size 1 1. 1. 0.87 1.13 0.02 0.94 1.13 0.94
time (sec) N/A 0.035 0.002 0.002 0.8 0.224 0.086 0.26 50.015




















Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 30 30 30 25 32 1 27 32 0
normalized size 1 1. 1. 0.83 1.07 0.03 0.9 1.07 0.
time (sec) N/A 0.012 0. 0. 0.8 0.233 0.063 0.261 0.




















Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 263 263 55 49 0 0 41 0 372
normalized size 1 1. 0.21 0.19 0. 0. 0.16 0. 1.41
time (sec) N/A 1.147 0.016 0.007 0. 0. 3.046 0. 89.264




















Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 366 366 128 96 0 0 76 0 428
normalized size 1 1. 0.35 0.26 0. 0. 0.21 0. 1.17
time (sec) N/A 1.414 0.031 0.012 0. 0. 3.841 0. 103.641




















Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 14 164 799 1 185 220 0
normalized size 1 1. 1. 11.71 57.07 0.07 13.21 15.71 0.
time (sec) N/A 0.035 0.003 0.002 0.814 0.239 0.233 0.26 0.




















Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 14 109 308 1 114 146 0
normalized size 1 1. 1. 7.79 22. 0.07 8.14 10.43 0.
time (sec) N/A 0.032 0.002 0.002 0.812 0.228 0.172 0.261 0.




















Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A B B B A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 61 61 54 72 1 60 72 0
normalized size 1 4.36 4.36 3.86 5.14 0.07 4.29 5.14 0.
time (sec) N/A 0.034 0. 0.001 0.795 0.237 0.105 0.259 0.




















Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 14 13 62 62 49 16 0
normalized size 1 1. 1. 0.93 4.43 4.43 3.5 1.14 0.
time (sec) N/A 0.035 0.006 0.006 0.832 0.271 1.684 0.259 0.




















Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 14 13 136 136 109 16 0
normalized size 1 1. 1. 0.93 9.71 9.71 7.79 1.14 0.
time (sec) N/A 0.033 0.005 0.004 0.824 0.247 3.076 0.258 0.




















Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 14 13 211 211 168 16 0
normalized size 1 1. 1. 0.93 15.07 15.07 12. 1.14 0.
time (sec) N/A 0.033 0.006 0.004 0.82 0.271 5.72 0.261 0.




















Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 38 31 41 41 29 42 0
normalized size 1 1. 1. 0.82 1.08 1.08 0.76 1.11 0.
time (sec) N/A 0.049 0.011 0.01 0.909 0.257 0.319 0.263 0.




















Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 84 84 84 65 86 1 80 86 0
normalized size 1 1. 1. 0.77 1.02 0.01 0.95 1.02 0.
time (sec) N/A 0.331 0.002 0.003 0.816 0.241 0.12 0.26 0.




















Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 63 50 66 1 60 66 0
normalized size 1 1. 1. 0.79 1.05 0.02 0.95 1.05 0.
time (sec) N/A 0.293 0.003 0.002 0.811 0.256 0.101 0.261 0.




















Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 44 44 44 35 46 1 41 46 0
normalized size 1 1. 1. 0.8 1.05 0.02 0.93 1.05 0.
time (sec) N/A 0.233 0.001 0.002 0.819 0.23 0.085 0.26 0.




















Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 25 25 20 26 1 22 26 22
normalized size 1 1. 1. 0.8 1.04 0.04 0.88 1.04 0.88
time (sec) N/A 0.01 0. 0.001 0.824 0.23 0.065 0.261 1.918




















Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 31 31 62 42 73 88 63 84 0
normalized size 1 1. 2. 1.35 2.35 2.84 2.03 2.71 0.
time (sec) N/A 0.049 0.024 0.015 0.885 0.254 0.322 0.262 0.




















Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 103 84 120 266 104 131 0
normalized size 1 1. 1.16 0.94 1.35 2.99 1.17 1.47 0.
time (sec) N/A 0.123 0.088 0.031 0.895 0.26 3.853 0.263 0.




















Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 161 161 137 126 161 408 134 151 0
normalized size 1 1. 0.85 0.78 1. 2.53 0.83 0.94 0.
time (sec) N/A 0.244 0.155 0.035 0.917 0.274 4.311 0.262 0.




















Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A B A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 91 205 132 116 162 324 296 181 0
normalized size 1 2.25 1.45 1.27 1.78 3.56 3.25 1.99 0.
time (sec) N/A 0.265 0.146 0.028 0.888 0.291 4.001 0.269 0.




















Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 73 127 0 1 209 104 0
normalized size 1 1. 0.94 1.63 0. 0.01 2.68 1.33 0.
time (sec) N/A 0.14 0.085 0.011 0. 0.258 2.843 0.263 0.




















Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 50 50 54 89 0 1 153 73 49
normalized size 1 1. 1.08 1.78 0. 0.02 3.06 1.46 0.98
time (sec) N/A 0.092 0.046 0.004 0. 0.28 2.182 0.263 13.093




















Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 38 54 0 1 124 58 36
normalized size 1 1. 0.93 1.32 0. 0.02 3.02 1.41 0.88
time (sec) N/A 0.053 0.022 0.004 0. 0.257 0.645 0.267 7.569




















Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 21 21 21 28 0 1 54 23 17
normalized size 1 1. 1. 1.33 0. 0.05 2.57 1.1 0.81
time (sec) N/A 0.02 0.006 0.002 0. 0.274 0.444 0.26 2.476




















Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 59 59 48 72 0 1 738 84 53
normalized size 1 1. 0.81 1.22 0. 0.02 12.51 1.42 0.9
time (sec) N/A 0.082 0.057 0.008 0. 0.274 5.978 0.261 10.961




















Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 79 79 81 123 0 1 1620 158 76
normalized size 1 1. 1.03 1.56 0. 0.01 20.51 2. 0.96
time (sec) N/A 0.191 0.075 0.011 0. 0.278 15.447 0.266 24.022




















Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 121 121 106 198 0 1 3284 263 112
normalized size 1 1. 0.88 1.64 0. 0.01 27.14 2.17 0.93
time (sec) N/A 0.277 0.225 0.012 0. 0.295 24.795 0.265 37.117




















Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 31 31 31 34 0 1 61 32 27
normalized size 1 1. 1. 1.1 0. 0.03 1.97 1.03 0.87
time (sec) N/A 0.037 0.015 0.008 0. 0.259 0.632 0.262 4.631




















Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 60 86 0 1 117 88 49
normalized size 1 1. 0.95 1.37 0. 0.02 1.86 1.4 0.78
time (sec) N/A 0.065 0.042 0.005 0. 0.275 2.956 0.263 6.905




















Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 91 91 75 147 0 1 257 139 78
normalized size 1 1. 0.82 1.62 0. 0.01 2.82 1.53 0.86
time (sec) N/A 0.094 0.111 0.007 0. 0.297 6.45 0.26 9.713




















Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 35 35 35 42 89 1 92 41 31
normalized size 1 1. 1. 1.2 2.54 0.03 2.63 1.17 0.89
time (sec) N/A 0.067 0.024 0.012 0.888 0.285 0.552 0.261 10.251




















Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 10 10 10 11 24 14 24 14 7
normalized size 1 1. 1. 1.1 2.4 1.4 2.4 1.4 0.7
time (sec) N/A 0.009 0.006 0.005 0.903 0.252 0.385 0.26 1.627




















Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 37 37 31 59 69 74 56 55 26
normalized size 1 1. 0.84 1.59 1.86 2. 1.51 1.49 0.7
time (sec) N/A 0.024 0.019 0.008 0.907 0.254 2.312 0.263 2.461




















Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 60 60 52 94 155 207 146 99 49
normalized size 1 1. 0.87 1.57 2.58 3.45 2.43 1.65 0.82
time (sec) N/A 0.037 0.025 0.005 0.902 0.258 4.928 0.261 3.207




















Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 10 10 32 26 34 30 22 36 7
normalized size 1 1. 3.2 2.6 3.4 3. 2.2 3.6 0.7
time (sec) N/A 0.009 0.008 0.01 0.816 0.272 0.4 0.262 1.686




















Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 45 52 76 115 53 76 26
normalized size 1 1. 1.15 1.33 1.95 2.95 1.36 1.95 0.67
time (sec) N/A 0.029 0.033 0.014 0.804 0.258 2.279 0.265 2.6




















Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 65 78 165 297 141 119 49
normalized size 1 1. 1.02 1.22 2.58 4.64 2.2 1.86 0.77
time (sec) N/A 0.049 0.045 0.015 0.826 0.269 4.881 0.263 3.413




















Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 4 4 15 12 15 15 10 18 3
normalized size 1 1. 3.75 3. 3.75 3.75 2.5 4.5 0.75
time (sec) N/A 0.006 0.004 0.007 0.805 0.257 0.178 0.262 0.343




















Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 27 27 26 24 34 53 22 36 17
normalized size 1 1. 0.96 0.89 1.26 1.96 0.81 1.33 0.63
time (sec) N/A 0.017 0.03 0.013 0.797 0.274 0.237 0.262 1.379




















Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 45 45 37 36 59 96 44 53 34
normalized size 1 1. 0.82 0.8 1.31 2.13 0.98 1.18 0.76
time (sec) N/A 0.03 0.029 0.013 0.807 0.266 0.339 0.262 1.661




















Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 59 59 64 64 73 73 58 84 0
normalized size 1 1. 1.08 1.08 1.24 1.24 0.98 1.42 0.
time (sec) N/A 0.115 0.037 0.002 0.797 0.272 1.272 0.262 0.




















Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 10 10 11 12 15 15 10 15 10
normalized size 1 1. 1.1 1.2 1.5 1.5 1. 1.5 1.
time (sec) N/A 0.029 0.011 0.003 0.802 0.289 0.148 0.265 5.572




















Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A F A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 44 44 51 35 49 47 0 31 34
normalized size 1 1. 1.16 0.8 1.11 1.07 0. 0.7 0.77
time (sec) N/A 0.066 0.033 0.006 0.89 0.28 0. 0.266 8.278




















Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F(-2) A F A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 55 152 0 100 0 74 54
normalized size 1 1. 0.82 2.27 0. 1.49 0. 1.1 0.81
time (sec) N/A 0.121 0.075 0.022 0. 0.276 0. 0.281 14.127




















Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F(-2) A F A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 51 146 0 369 0 95 54
normalized size 1 1. 0.81 2.32 0. 5.86 0. 1.51 0.86
time (sec) N/A 0.101 0.066 0.013 0. 0.269 0. 0.274 11.261




















Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 234 234 132 108 0 0 238 0 0
normalized size 1 1. 0.56 0.46 0. 0. 1.02 0. 0.
time (sec) N/A 0.699 0.076 0.007 0. 0. 8.967 0. 0.




















Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 210 210 81 74 0 0 158 0 204
normalized size 1 1. 0.39 0.35 0. 0. 0.75 0. 0.97
time (sec) N/A 0.473 0.045 0.006 0. 0. 3.167 0. 52.289




















Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 180 180 79 72 0 0 83 0 175
normalized size 1 1. 0.44 0.4 0. 0. 0.46 0. 0.97
time (sec) N/A 0.332 0.037 0.004 0. 0. 2.214 0. 39.679




















Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A C F A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 140 140 116 71 0 161 26 0 134
normalized size 1 1. 0.83 0.51 0. 1.15 0.19 0. 0.96
time (sec) N/A 0.225 0.054 0.003 0. 0.268 0.695 0. 30.099




















Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 224 238 119 105 0 0 559 0 219
normalized size 1 1.06 0.53 0.47 0. 0. 2.5 0. 0.98
time (sec) N/A 0.609 0.077 0.009 0. 0. 52.142 0. 74.278




















Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 314 312 173 144 0 0 0 0 314
normalized size 1 0.99 0.55 0.46 0. 0. 0. 0. 1.
time (sec) N/A 1.091 0.141 0.014 0. 0. 0. 0. 133.834




















Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) F(-1) F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 393 393 244 217 0 0 0 0 0
normalized size 1 1. 0.62 0.55 0. 0. 0. 0. 0.
time (sec) N/A 1.211 0.23 0.017 0. 0. 0. 0. 0.




















Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 356 356 106 97 0 0 374 0 338
normalized size 1 1. 0.3 0.27 0. 0. 1.05 0. 0.95
time (sec) N/A 0.83 0.067 0.019 0. 0. 11.154 0. 91.503




















Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 318 318 106 97 0 0 274 0 301
normalized size 1 1. 0.33 0.31 0. 0. 0.86 0. 0.95
time (sec) N/A 0.654 0.053 0.005 0. 0. 8.282 0. 80.479




















Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 261 261 104 95 0 0 131 0 250
normalized size 1 1. 0.4 0.36 0. 0. 0.5 0. 0.96
time (sec) N/A 0.543 0.043 0.006 0. 0. 2.924 0. 67.394




















Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A C F A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 221 221 161 94 0 215 26 0 202
normalized size 1 1. 0.73 0.43 0. 0.97 0.12 0. 0.91
time (sec) N/A 0.373 0.136 0.004 0. 0.264 0.838 0. 52.5




















Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 393 393 163 139 0 0 0 0 360
normalized size 1 1. 0.41 0.35 0. 0. 0. 0. 0.92
time (sec) N/A 0.985 0.106 0.011 0. 0. 0. 0. 115.583




















Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) F(-1) F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 496 496 238 188 0 0 0 0 0
normalized size 1 1. 0.48 0.38 0. 0. 0. 0. 0.
time (sec) N/A 1.923 0.195 0.017 0. 0. 0. 0. 0.




















Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 123 123 195 264 259 1 199 296 0
normalized size 1 1. 1.59 2.15 2.11 0.01 1.62 2.41 0.
time (sec) N/A 0.424 0.047 0.002 0.82 0.226 0.23 0.26 0.




















Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 120 120 114 138 161 1 114 173 0
normalized size 1 1. 0.95 1.15 1.34 0.01 0.95 1.44 0.
time (sec) N/A 0.119 0.026 0.002 0.799 0.239 0.164 0.259 0.




















Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 66 63 88 1 65 88 0
normalized size 1 1. 0.92 0.88 1.22 0.01 0.9 1.22 0.
time (sec) N/A 0.06 0.014 0.001 0.803 0.26 0.107 0.263 0.




















Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 26 26 26 23 30 1 22 30 0
normalized size 1 1. 1. 0.88 1.15 0.04 0.85 1.15 0.
time (sec) N/A 0.012 0. 0.001 0.803 0.248 0.067 0.262 0.




















Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 57 49 0 617 66 0 73
normalized size 1 1. 0.64 0.55 0. 6.93 0.74 0. 0.82
time (sec) N/A 0.175 0.023 0.023 0. 0.271 2.28 0. 31.268




















Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 169 169 150 158 0 2630 292 0 143
normalized size 1 1. 0.89 0.93 0. 15.56 1.73 0. 0.85
time (sec) N/A 0.627 0.08 0.029 0. 0.287 14.985 0. 58.933




















Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F A F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 252 252 254 398 0 5361 0 0 226
normalized size 1 1. 1.01 1.58 0. 21.27 0. 0. 0.9
time (sec) N/A 1.414 0.188 0.045 0. 0.286 0. 0. 120.835




















Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 210 210 204 267 246 1 212 300 0
normalized size 1 1. 0.97 1.27 1.17 0. 1.01 1.43 0.
time (sec) N/A 0.483 0.048 0.002 0.815 0.226 0.249 0.26 0.




















Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 134 134 130 143 153 1 128 180 0
normalized size 1 1. 0.97 1.07 1.14 0.01 0.96 1.34 0.
time (sec) N/A 0.295 0.032 0.002 0.802 0.232 0.177 0.259 0.




















Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 79 79 75 66 80 1 70 92 0
normalized size 1 1. 0.95 0.84 1.01 0.01 0.89 1.16 0.
time (sec) N/A 0.164 0.015 0.002 0.805 0.226 0.114 0.259 0.




















Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 35 35 35 28 36 1 29 36 0
normalized size 1 1. 1. 0.8 1.03 0.03 0.83 1.03 0.
time (sec) N/A 0.027 0.002 0.001 0.809 0.239 0.065 0.261 0.




















Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 116 116 59 50 0 0 155 0 99
normalized size 1 1. 0.51 0.43 0. 0. 1.34 0. 0.85
time (sec) N/A 0.241 0.028 0.004 0. 0. 8.243 0. 43.048




















Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 231 231 166 162 0 0 539 0 184
normalized size 1 1. 0.72 0.7 0. 0. 2.33 0. 0.8
time (sec) N/A 0.74 0.099 0.025 0. 0. 45.002 0. 82.061




















Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 349 349 284 405 0 0 0 0 292
normalized size 1 1. 0.81 1.16 0. 0. 0. 0. 0.84
time (sec) N/A 1.513 0.208 0.036 0. 0. 0. 0. 161.775




















Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 210 210 204 267 246 1 219 300 0
normalized size 1 1. 0.97 1.27 1.17 0. 1.04 1.43 0.
time (sec) N/A 0.505 0.051 0.002 0.788 0.23 0.257 0.26 0.




















Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 138 138 132 143 153 1 134 180 0
normalized size 1 1. 0.96 1.04 1.11 0.01 0.97 1.3 0.
time (sec) N/A 0.324 0.03 0.002 0.803 0.237 0.177 0.262 0.




















Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 79 79 73 66 80 1 73 92 0
normalized size 1 1. 0.92 0.84 1.01 0.01 0.92 1.16 0.
time (sec) N/A 0.19 0.019 0.001 0.803 0.228 0.116 0.26 0.




















Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 35 35 35 28 36 1 29 36 0
normalized size 1 1. 1. 0.8 1.03 0.03 0.83 1.03 0.
time (sec) N/A 0.026 0.002 0.001 0.782 0.236 0.072 0.259 0.




















Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 99 99 61 52 0 0 172 0 85
normalized size 1 1. 0.62 0.53 0. 0. 1.74 0. 0.86
time (sec) N/A 0.22 0.029 0.004 0. 0. 11.916 0. 54.805




















Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 225 225 182 160 0 0 559 0 180
normalized size 1 1. 0.81 0.71 0. 0. 2.48 0. 0.8
time (sec) N/A 0.536 0.102 0.015 0. 0. 49.138 0. 78.192




















Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) F(-1) F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 545 545 99 93 0 0 0 0 0
normalized size 1 1. 0.18 0.17 0. 0. 0. 0. 0.
time (sec) N/A 4.493 0.095 0.014 0. 0. 0. 0. 0.




















Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) F(-1) F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 487 487 99 93 0 0 0 0 0
normalized size 1 1. 0.2 0.19 0. 0. 0. 0. 0.
time (sec) N/A 3.088 0.078 0.005 0. 0. 0. 0. 0.




















Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 334 334 97 93 0 0 167 0 0
normalized size 1 1. 0.29 0.28 0. 0. 0.5 0. 0.
time (sec) N/A 2.268 0.067 0.006 0. 0. 81.725 0. 0.




















Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) F(-1) F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 469 469 95 91 0 0 0 0 0
normalized size 1 1. 0.2 0.19 0. 0. 0. 0. 0.
time (sec) N/A 2.964 0.068 0.005 0. 0. 0. 0. 0.




















Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) F(-1) F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 522 522 99 90 0 0 0 0 0
normalized size 1 1. 0.19 0.17 0. 0. 0. 0. 0.
time (sec) N/A 3.523 0.09 0.005 0. 0. 0. 0. 0.




















Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) F(-1) F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 563 563 157 134 0 0 0 0 0
normalized size 1 1. 0.28 0.24 0. 0. 0. 0. 0.
time (sec) N/A 3.91 0.147 0.013 0. 0. 0. 0. 0.




















Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-1) F(-1) F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 645 640 163 133 0 0 0 0 0
normalized size 1 0.99 0.25 0.21 0. 0. 0. 0. 0.
time (sec) N/A 5.037 0.195 0.011 0. 0. 0. 0. 0.




















Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 395 395 61 56 0 0 70 0 0
normalized size 1 1. 0.15 0.14 0. 0. 0.18 0. 0.
time (sec) N/A 3.49 0.024 0.009 0. 0. 0.607 0. 0.




















Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 377 377 61 56 0 0 65 0 0
normalized size 1 1. 0.16 0.15 0. 0. 0.17 0. 0.
time (sec) N/A 2.742 0.02 0.007 0. 0. 0.711 0. 0.




















Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 361 361 61 56 0 0 61 0 0
normalized size 1 1. 0.17 0.16 0. 0. 0.17 0. 0.
time (sec) N/A 1.905 0.02 0.007 0. 0. 0.673 0. 0.




















Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 248 248 59 56 0 0 48 0 0
normalized size 1 1. 0.24 0.23 0. 0. 0.19 0. 0.
time (sec) N/A 1.323 0.019 0.008 0. 0. 0.485 0. 0.




















Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 361 361 57 54 0 0 61 0 0
normalized size 1 1. 0.16 0.15 0. 0. 0.17 0. 0.
time (sec) N/A 2.005 0.019 0.007 0. 0. 0.692 0. 0.




















Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 377 377 62 53 0 0 65 0 0
normalized size 1 1. 0.16 0.14 0. 0. 0.17 0. 0.
time (sec) N/A 2.734 0.018 0.007 0. 0. 0.689 0. 0.




















Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 415 415 103 75 0 0 82 0 0
normalized size 1 1. 0.25 0.18 0. 0. 0.2 0. 0.
time (sec) N/A 3.066 0.029 0.013 0. 0. 1.063 0. 0.




















Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 448 448 109 74 0 0 70 0 0
normalized size 1 1. 0.24 0.17 0. 0. 0.16 0. 0.
time (sec) N/A 3.689 0.029 0.012 0. 0. 0.81 0. 0.




















Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 1064 1064 167 122 0 0 112 0 0
normalized size 1 1. 0.16 0.11 0. 0. 0.11 0. 0.
time (sec) N/A 8.291 0.058 0.016 0. 0. 1.189 0. 0.




















Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 1005 1005 167 122 0 0 112 0 0
normalized size 1 1. 0.17 0.12 0. 0. 0.11 0. 0.
time (sec) N/A 8.294 0.04 0.016 0. 0. 1.201 0. 0.




















Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 675 675 167 122 0 0 112 0 0
normalized size 1 1. 0.25 0.18 0. 0. 0.17 0. 0.
time (sec) N/A 5.068 0.055 0.016 0. 0. 1.173 0. 0.




















Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F F(-1)
verified N/A NO Yes TBD TBD TBD TBD TBD TBD
size 682 682 167 122 0 0 104 0 0
normalized size 1 1. 0.24 0.18 0. 0. 0.15 0. 0.
time (sec) N/A 4.233 0.043 0.015 0. 0. 0.872 0. 0.




















Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F F(-1)
verified N/A NO Yes TBD TBD TBD TBD TBD TBD
size 850 850 167 122 0 0 112 0 0
normalized size 1 1. 0.2 0.14 0. 0. 0.13 0. 0.
time (sec) N/A 5.221 0.054 0.015 0. 0. 1.182 0. 0.




















Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F F(-1)
verified N/A NO Yes TBD TBD TBD TBD TBD TBD
size 873 873 167 122 0 0 112 0 0
normalized size 1 1. 0.19 0.14 0. 0. 0.13 0. 0.
time (sec) N/A 6.346 0.042 0.014 0. 0. 1.207 0. 0.




















Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F F(-1)
verified N/A NO Yes TBD TBD TBD TBD TBD TBD
size 986 986 167 122 0 0 112 0 0
normalized size 1 1. 0.17 0.12 0. 0. 0.11 0. 0.
time (sec) N/A 7.463 0.054 0.015 0. 0. 1.192 0. 0.




















Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 25 25 22 28 28 22 28 0
normalized size 1 1. 1. 0.88 1.12 1.12 0.88 1.12 0.
time (sec) N/A 0.034 0.003 0.001 0.808 0.242 0.141 0.26 0.




















Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 94 94 79 114 142 142 90 493 0
normalized size 1 1. 0.84 1.21 1.51 1.51 0.96 5.24 0.
time (sec) N/A 0.234 0.062 0.005 0.82 0.248 1.683 0.264 0.




















Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 15 15 172 155 18 1 175 208 10
normalized size 1 1. 11.47 10.33 1.2 0.07 11.67 13.87 0.67
time (sec) N/A 0.015 0.01 0. 0.807 0.232 0.273 0.261 3.164




















Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 18 18 182 157 211 1 182 211 12
normalized size 1 1. 10.11 8.72 11.72 0.06 10.11 11.72 0.67
time (sec) N/A 0.024 0.009 0.003 0.804 0.236 0.274 0.26 12.872




















Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 18 18 186 157 211 1 185 211 12
normalized size 1 1. 10.33 8.72 11.72 0.06 10.28 11.72 0.67
time (sec) N/A 0.025 0.01 0.003 0.814 0.229 0.288 0.262 12.339




















Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F(-2) A F(-1) A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 21 21 21 230 0 354 0 275 0
normalized size 1 1. 1. 10.95 0. 16.86 0. 13.1 0.
time (sec) N/A 0.07 0.059 0.062 0. 0.286 0. 0.39 0.




















Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 10 10 9 9 14 14 8 15 8
normalized size 1 1. 0.9 0.9 1.4 1.4 0.8 1.5 0.8
time (sec) N/A 0.01 0.006 0.001 0.805 0.25 1.074 0.26 3.224




















Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 15 15 15 14 18 18 12 24 15
normalized size 1 1. 1. 0.93 1.2 1.2 0.8 1.6 1.
time (sec) N/A 0.065 0.009 0.007 0.791 0.25 1.216 0.262 11.159




















Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 15 15 15 14 18 18 12 20 15
normalized size 1 1. 1. 0.93 1.2 1.2 0.8 1.33 1.
time (sec) N/A 0.063 0.011 0.006 0.81 0.247 1.278 0.261 10.284




















Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 15 15 15 18 63 31 29 0 15
normalized size 1 1. 1. 1.2 4.2 2.07 1.93 0. 1.
time (sec) N/A 0.062 0.017 0.022 0.817 0.267 4.519 0. 11.065




















Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 15 15 14 177 18 109 87 18 14
normalized size 1 1. 0.93 11.8 1.2 7.27 5.8 1.2 0.93
time (sec) N/A 0.01 0.034 0. 0.808 0.263 17.678 0.263 3.153




















Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B A A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 18 18 16 197 109 109 0 20 15
normalized size 1 1. 0.89 10.94 6.06 6.06 0. 1.11 0.83
time (sec) N/A 0.015 0.048 0.021 0.833 0.258 0. 0.264 12.589




















Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B A A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 18 18 16 197 109 109 0 20 15
normalized size 1 1. 0.89 10.94 6.06 6.06 0. 1.11 0.83
time (sec) N/A 0.014 0.06 0.019 0.814 0.278 0. 0.267 12.802




















Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B B A A F(-1) F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 21 21 127 203 826 193 0 0 0
normalized size 1 1. 6.05 9.67 39.33 9.19 0. 0. 0.
time (sec) N/A 0.069 0.08 0.09 0.859 0.462 0. 0. 0.




















Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 19 19 17 24 0 35 46 55 14
normalized size 1 1. 0.89 1.26 0. 1.84 2.42 2.89 0.74
time (sec) N/A 0.015 0.033 0. 0. 0.267 1.675 0.266 3.504




















Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 27 27 27 31 47 43 0 73 20
normalized size 1 1. 1. 1.15 1.74 1.59 0. 2.7 0.74
time (sec) N/A 0.019 0.051 0.006 0.93 0.275 0. 0.269 11.5




















Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A C A C A A F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 27 116 27 142 47 45 0 0 102
normalized size 1 4.3 1. 5.26 1.74 1.67 0. 0. 3.78
time (sec) N/A 0.222 0.029 0.173 0.921 0.274 0. 0. 32.265




















Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 29 29 29 33 47 46 0 78 22
normalized size 1 1. 1. 1.14 1.62 1.59 0. 2.69 0.76
time (sec) N/A 0.02 0.053 0.006 0.925 0.282 0. 0.274 11.231




















Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A F A A F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 36 36 31 0 53 57 0 0 26
normalized size 1 1. 0.86 0. 1.47 1.58 0. 0. 0.72
time (sec) N/A 0.145 0.109 0.113 1.132 0.274 0. 0. 12.878




















Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 32 27 35 35 29 35 0
normalized size 1 1. 1. 0.84 1.09 1.09 0.91 1.09 0.
time (sec) N/A 0.037 0.003 0.002 0.794 0.245 0.149 0.26 0.




















Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 12 12 12 11 14 14 8 14 0
normalized size 1 1. 1. 0.92 1.17 1.17 0.67 1.17 0.
time (sec) N/A 0.035 0.001 0.001 0.816 0.244 0.158 0.263 0.




















Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 42 32 0 1 124 42 37
normalized size 1 1. 1. 0.76 0. 0.02 2.95 1. 0.88
time (sec) N/A 0.068 0.025 0.006 0. 0.256 0.813 0.266 34.432




















Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 25 23 26 0 51 0 132 20
normalized size 1 1. 0.92 1.04 0. 2.04 0. 5.28 0.8
time (sec) N/A 0.018 0.049 0.006 0. 0.297 0. 0.289 7.834




















Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 24 24 21 34 0 49 0 100 19
normalized size 1 1. 0.88 1.42 0. 2.04 0. 4.17 0.79
time (sec) N/A 0.016 0.052 0.006 0. 0.27 0. 0.27 7.362




















Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 25 24 26 53 47 0 104 20
normalized size 1 1. 0.96 1.04 2.12 1.88 0. 4.16 0.8
time (sec) N/A 0.019 0.051 0.005 0.917 0.286 0. 0.27 12.587




















Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 20 20 20 21 0 38 0 80 15
normalized size 1 1. 1. 1.05 0. 1.9 0. 4. 0.75
time (sec) N/A 0.014 0.03 0.005 0. 0.274 0. 0.266 4.493




















Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 19 19 19 26 0 35 73 55 14
normalized size 1 1. 1. 1.37 0. 1.84 3.84 2.89 0.74
time (sec) N/A 0.013 0.039 0.005 0. 0.271 42.401 0.272 4.023




















Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 22 22 22 23 42 36 0 63 17
normalized size 1 1. 1. 1.05 1.91 1.64 0. 2.86 0.77
time (sec) N/A 0.016 0.035 0.004 0.913 0.281 0. 0.275 6.37




















Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 22 22 21 23 0 43 0 90 17
normalized size 1 1. 0.95 1.05 0. 1.95 0. 4.09 0.77
time (sec) N/A 0.015 0.035 0.004 0. 0.271 0. 0.275 7.303




















Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 21 21 19 28 0 41 53 63 15
normalized size 1 1. 0.9 1.33 0. 1.95 2.52 3. 0.71
time (sec) N/A 0.015 0.038 0.005 0. 0.279 2.426 0.277 6.416




















Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 24 24 22 28 43 42 56 63 124
normalized size 1 1. 0.92 1.17 1.79 1.75 2.33 2.62 5.17
time (sec) N/A 0.018 0.041 0.004 0.912 0.271 18.302 0.275 40.988




















Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 22 22 22 23 43 39 53 63 31
normalized size 1 1. 1. 1.05 1.95 1.77 2.41 2.86 1.41
time (sec) N/A 0.017 0.036 0.004 0.895 0.281 17.763 0.266 17.106




















Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 22 22 21 23 43 43 0 90 17
normalized size 1 1. 0.95 1.05 1.95 1.95 0. 4.09 0.77
time (sec) N/A 0.015 0.021 0.004 0.865 0.268 0. 0.272 4.937




















Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 21 21 19 28 43 41 53 63 15
normalized size 1 1. 0.9 1.33 2.05 1.95 2.52 3. 0.71
time (sec) N/A 0.015 0.03 0.004 0.907 0.276 2.405 0.267 4.429




















Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 21 21 143 25686 26 1 1771 1 17
normalized size 1 1. 6.81 1223.14 1.24 0.05 84.33 0.05 0.81
time (sec) N/A 0.043 0.243 0.006 0.789 0.236 1.172 0.268 14.439




















Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 20 20 18 5596 24 1 469 670 15
normalized size 1 1. 0.9 279.8 1.2 0.05 23.45 33.5 0.75
time (sec) N/A 0.023 0.047 0.004 0.814 0.239 0.447 0.267 19.124




















Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 19 19 18 5596 595 1 469 670 15
normalized size 1 1. 0.95 294.53 31.32 0.05 24.68 35.26 0.79
time (sec) N/A 0.026 0.02 0.002 0.821 0.235 0.408 0.26 15.275




















Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 127 2185 19 1 483 656 12
normalized size 1 1. 7.94 136.56 1.19 0.06 30.19 41. 0.75
time (sec) N/A 0.02 0.106 0.004 0.81 0.234 0.411 0.26 5.268




















Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 98 89 119 1 97 119 12
normalized size 1 1. 6.12 5.56 7.44 0.06 6.06 7.44 0.75
time (sec) N/A 0.014 0.006 0.002 0.819 0.23 0.162 0.261 10.471




















Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 15 15 98 89 18 1 97 119 12
normalized size 1 1. 6.53 5.93 1.2 0.07 6.47 7.93 0.8
time (sec) N/A 0.014 0.004 0.002 0.839 0.236 0.182 0.261 12.06




















Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 18 18 115 2205 22 1 484 659 14
normalized size 1 1. 6.39 122.5 1.22 0.06 26.89 36.61 0.78
time (sec) N/A 0.021 0.111 0.004 0.803 0.231 0.432 0.262 7.85




















Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 98 89 20 1 97 119 10
normalized size 1 1. 5.76 5.24 1.18 0.06 5.71 7. 0.59
time (sec) N/A 0.015 0.006 0.003 0.791 0.256 0.19 0.258 8.




















Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 18 18 98 89 119 1 97 119 10
normalized size 1 1. 5.44 4.94 6.61 0.06 5.39 6.61 0.56
time (sec) N/A 0.016 0.005 0.003 0.793 0.229 0.188 0.26 8.207




















Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 98 89 119 1 97 119 10
normalized size 1 1. 7. 6.36 8.5 0.07 6.93 8.5 0.71
time (sec) N/A 0.014 0.004 0.003 0.793 0.226 0.188 0.259 6.15




















Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 18 18 115 2205 618 1 484 659 14
normalized size 1 1. 6.39 122.5 34.33 0.06 26.89 36.61 0.78
time (sec) N/A 0.033 0.024 0.003 0.802 0.242 0.398 0.261 4.597




















Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 98 89 119 1 97 119 10
normalized size 1 1. 5.76 5.24 7. 0.06 5.71 7. 0.59
time (sec) N/A 0.018 0.004 0.002 0.791 0.23 0.182 0.261 6.208




















Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 18 18 98 89 119 1 97 119 10
normalized size 1 1. 5.44 4.94 6.61 0.06 5.39 6.61 0.56
time (sec) N/A 0.02 0.004 0.002 0.792 0.24 0.183 0.258 6.175




















Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 98 89 119 1 97 119 10
normalized size 1 1. 7. 6.36 8.5 0.07 6.93 8.5 0.71
time (sec) N/A 0.013 0.004 0.002 0.818 0.233 0.157 0.258 4.277




















Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 28 28 80 67 89 89 70 89 22
normalized size 1 1. 2.86 2.39 3.18 3.18 2.5 3.18 0.79
time (sec) N/A 0.026 0.008 0.001 0.816 0.256 0.16 0.259 2.463




















Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 31 31 108 325 252 252 194 281 26
normalized size 1 1. 3.48 10.48 8.13 8.13 6.26 9.06 0.84
time (sec) N/A 0.037 0.057 0.001 0.822 0.255 0.238 0.26 2.982




















Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 34 34 34 31 70 65 0 41 26
normalized size 1 1. 1. 0.91 2.06 1.91 0. 1.21 0.76
time (sec) N/A 0.019 0.03 0.002 0.991 0.291 0. 0.261 2.348




















Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B A A A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 35 35 73 33 73 70 0 115 29
normalized size 1 1. 2.09 0.94 2.09 2. 0. 3.29 0.83
time (sec) N/A 0.02 0.066 0.003 0.968 0.273 0. 0.27 2.385




















Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 30 30 93 78 104 104 87 104 22
normalized size 1 1. 3.1 2.6 3.47 3.47 2.9 3.47 0.73
time (sec) N/A 0.03 0.009 0.005 0.804 0.257 0.174 0.259 4.072




















Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 31 31 140 618 378 378 314 393 26
normalized size 1 1. 4.52 19.94 12.19 12.19 10.13 12.68 0.84
time (sec) N/A 0.049 0.075 0.004 0.814 0.268 0.309 0.259 6.824




















Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 34 34 98 81 108 108 90 108 29
normalized size 1 1. 2.88 2.38 3.18 3.18 2.65 3.18 0.85
time (sec) N/A 0.031 0.012 0.003 0.791 0.248 0.18 0.261 4.682




















Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 146 646 390 390 321 402 32
normalized size 1 1. 3.56 15.76 9.51 9.51 7.83 9.8 0.78
time (sec) N/A 0.052 0.087 0.003 0.809 0.248 0.328 0.262 6.777




















Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 46 46 244 1523 390 390 323 417 36
normalized size 1 1. 5.3 33.11 8.48 8.48 7.02 9.07 0.78
time (sec) N/A 0.05 0.136 0.004 0.81 0.251 0.347 0.261 9.874




















Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 47 47 248 4284 1044 1044 930 1253 39
normalized size 1 1. 5.28 91.15 22.21 22.21 19.79 26.66 0.83
time (sec) N/A 0.101 0.221 0.004 0.818 0.256 0.676 0.265 21.764




















Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 34 34 36 31 73 65 0 41 26
normalized size 1 1. 1.06 0.91 2.15 1.91 0. 1.21 0.76
time (sec) N/A 0.02 0.034 0.003 0.999 0.29 0. 0.259 2.505




















Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 44 44 42 37 96 77 0 49 32
normalized size 1 1. 0.95 0.84 2.18 1.75 0. 1.11 0.73
time (sec) N/A 0.021 0.037 0.004 0.993 0.28 0. 0.26 3.324




















Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 50 50 49 43 112 97 0 57 39
normalized size 1 1. 0.98 0.86 2.24 1.94 0. 1.14 0.78
time (sec) N/A 0.021 0.058 0.003 1.018 0.275 0. 0.26 3.157




















Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 19 19 33 30 23 1 29 39 0
normalized size 1 1. 1.74 1.58 1.21 0.05 1.53 2.05 0.
time (sec) N/A 0.012 0.002 0.001 0.785 0.231 0.073 0.26 0.




















Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 21 18 19 1 17 23 0
normalized size 1 1. 1.31 1.12 1.19 0.06 1.06 1.44 0.
time (sec) N/A 0.01 0.002 0.001 0.841 0.237 0.064 0.258 0.




















Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A B B B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 96 96 87 116 1 94 116 94
normalized size 1 2.91 2.91 2.64 3.52 0.03 2.85 3.52 2.85
time (sec) N/A 0.318 0.009 0.002 0.831 0.233 0.133 0.257 27.512




















Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A B B B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 96 96 87 116 1 94 116 94
normalized size 1 2.91 2.91 2.64 3.52 0.03 2.85 3.52 2.85
time (sec) N/A 0.266 0.008 0.002 0.897 0.231 0.158 0.259 27.909




















Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 14 13 16 77 56 16 12
normalized size 1 1. 1. 0.93 1.14 5.5 4. 1.14 0.86
time (sec) N/A 0.009 0.008 0.002 0.811 0.245 0.667 0.26 2.939




















Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 15 15 15 14 18 18 12 19 12
normalized size 1 1. 1. 0.93 1.2 1.2 0.8 1.27 0.8
time (sec) N/A 0.01 0.007 0.002 0.849 0.251 0.158 0.261 3.952




















Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 20 14 20 20 14 24 12
normalized size 1 1. 1.18 0.82 1.18 1.18 0.82 1.41 0.71
time (sec) N/A 0.01 0.009 0.002 0.823 0.247 0.202 0.263 14.967




















Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 40 40 23 28 31 31 19 32 34
normalized size 1 1. 0.57 0.7 0.78 0.78 0.48 0.8 0.85
time (sec) N/A 0.143 0.101 0.014 0.842 0.254 111.918 0.263 64.648




















Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C B F F(-1) F(-1) F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 605 605 98 2105 0 0 0 0 0
normalized size 1 1. 0.16 3.48 0. 0. 0. 0. 0.
time (sec) N/A 10.699 0.118 0.071 0. 0. 0. 0. 0.




















Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 55 82 0 112 58 78 53
normalized size 1 1. 0.87 1.3 0. 1.78 0.92 1.24 0.84
time (sec) N/A 0.132 0.04 0.036 0. 0.264 0.255 0.275 37.282




















Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 14 13 30 51 20 18 12
normalized size 1 1. 1. 0.93 2.14 3.64 1.43 1.29 0.86
time (sec) N/A 0.061 0.011 0.009 0.837 0.266 0.195 0.259 34.368




















Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 28 28 24 27 43 62 29 31 0
normalized size 1 1. 0.86 0.96 1.54 2.21 1.04 1.11 0.
time (sec) N/A 0.051 0.02 0.01 0.831 0.265 0.232 0.26 0.




















Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 59 59 28 30 51 51 34 38 53
normalized size 1 1. 0.47 0.51 0.86 0.86 0.58 0.64 0.9
time (sec) N/A 0.131 0.019 0.01 0.855 0.258 0.548 0.263 35.486




















Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 11 11 11 41 15 15 8 15 8
normalized size 1 1. 1. 3.73 1.36 1.36 0.73 1.36 0.73
time (sec) N/A 0.008 0.011 0.013 0.857 0.259 0.332 0.259 6.795




















Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A B A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 91 205 132 116 162 324 272 181 0
normalized size 1 2.25 1.45 1.27 1.78 3.56 2.99 1.99 0.
time (sec) N/A 0.345 0.153 0.026 0.894 0.275 3.891 0.266 0.




















Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A F(-1) A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 25 23 26 59 54 0 155 0
normalized size 1 1. 0.92 1.04 2.36 2.16 0. 6.2 0.
time (sec) N/A 0.03 0.138 0.011 0.994 0.506 0. 0.415 0.




















Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A F(-1) A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 21 24 53 53 0 131 0
normalized size 1 1. 0.91 1.04 2.3 2.3 0. 5.7 0.
time (sec) N/A 0.023 0.064 0.011 0.939 0.294 0. 0.469 0.




















Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A F(-1) A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 21 24 53 53 0 131 0
normalized size 1 1. 0.91 1.04 2.3 2.3 0. 5.7 0.
time (sec) N/A 0.021 0.059 0.009 0.901 0.291 0. 0.328 0.




















Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A F(-1) A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 21 21 19 22 50 50 0 128 0
normalized size 1 1. 0.9 1.05 2.38 2.38 0. 6.1 0.
time (sec) N/A 0.016 0.053 0.009 0.891 0.291 0. 0.321 0.




















Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 19 19 17 20 45 45 0 0 17
normalized size 1 1. 0.89 1.05 2.37 2.37 0. 0. 0.89
time (sec) N/A 0.022 0.04 0.007 0.923 0.29 0. 0. 17.551




















Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A F(-1) F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 21 24 49 49 0 0 0
normalized size 1 1. 0.91 1.04 2.13 2.13 0. 0. 0.
time (sec) N/A 0.021 0.072 0.009 0.901 0.32 0. 0. 0.




















Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A F(-1) F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 21 24 49 49 0 0 0
normalized size 1 1. 0.91 1.04 2.13 2.13 0. 0. 0.
time (sec) N/A 0.021 0.078 0.008 0.907 0.357 0. 0. 0.




















Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A F(-1) F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 21 24 49 49 0 0 0
normalized size 1 1. 0.91 1.04 2.13 2.13 0. 0. 0.
time (sec) N/A 0.021 0.096 0.009 0.942 0.353 0. 0. 0.




















Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 83 74 99 122 97 99 0
normalized size 1 1. 0.86 0.76 1.02 1.26 1. 1.02 0.
time (sec) N/A 0.265 0.057 0.012 0.904 0.274 0.723 0.264 0.




















Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 90 90 78 69 92 115 92 92 0
normalized size 1 1. 0.87 0.77 1.02 1.28 1.02 1.02 0.
time (sec) N/A 0.236 0.041 0.009 0.914 0.274 0.684 0.262 0.




















Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 77 77 72 62 82 105 78 82 0
normalized size 1 1. 0.94 0.81 1.06 1.36 1.01 1.06 0.
time (sec) N/A 0.237 0.049 0.008 0.915 0.276 0.807 0.261 0.




















Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 69 57 76 96 75 76 0
normalized size 1 1. 0.96 0.79 1.06 1.33 1.04 1.06 0.
time (sec) N/A 0.187 0.037 0.005 0.914 0.272 0.731 0.263 0.




















Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 71 71 65 56 74 89 75 74 0
normalized size 1 1. 0.92 0.79 1.04 1.25 1.06 1.04 0.
time (sec) N/A 0.166 0.028 0.006 0.896 0.276 0.663 0.263 0.




















Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 75 75 69 60 80 99 78 81 0
normalized size 1 1. 0.92 0.8 1.07 1.32 1.04 1.08 0.
time (sec) N/A 0.292 0.032 0.01 0.919 0.274 0.901 0.263 0.




















Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 84 84 78 65 86 116 87 88 0
normalized size 1 1. 0.93 0.77 1.02 1.38 1.04 1.05 0.
time (sec) N/A 0.32 0.057 0.012 0.893 0.276 0.943 0.262 0.




















Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 91 91 82 70 93 136 94 95 0
normalized size 1 1. 0.9 0.77 1.02 1.49 1.03 1.04 0.
time (sec) N/A 0.331 0.102 0.012 0.918 0.276 1.016 0.264 0.




















Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 307 307 109 74 0 0 61 0 0
normalized size 1 1. 0.36 0.24 0. 0. 0.2 0. 0.
time (sec) N/A 1.303 0.033 0.01 0. 0. 3.407 0. 0.




















Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 269 269 101 67 0 0 53 0 0
normalized size 1 1. 0.38 0.25 0. 0. 0.2 0. 0.
time (sec) N/A 1.046 0.027 0.009 0. 0. 2.979 0. 0.




















Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 230 230 94 62 0 0 48 0 0
normalized size 1 1. 0.41 0.27 0. 0. 0.21 0. 0.
time (sec) N/A 0.95 0.025 0.009 0. 0. 2.838 0. 0.




















Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 198 198 90 58 0 0 46 0 216
normalized size 1 1. 0.45 0.29 0. 0. 0.23 0. 1.09
time (sec) N/A 0.56 0.022 0.007 0. 0. 2.851 0. 84.751




















Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 245 245 101 67 0 0 60 0 253
normalized size 1 1. 0.41 0.27 0. 0. 0.24 0. 1.03
time (sec) N/A 1.194 0.028 0.012 0. 0. 30.542 0. 115.025




















Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 281 281 109 72 0 0 65 0 284
normalized size 1 1. 0.39 0.26 0. 0. 0.23 0. 1.01
time (sec) N/A 1.303 0.029 0.012 0. 0. 9.647 0. 133.822




















Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 317 317 116 77 0 0 70 0 318
normalized size 1 1. 0.37 0.24 0. 0. 0.22 0. 1.
time (sec) N/A 1.467 0.03 0.015 0. 0. 6.68 0. 137.984




















Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 19 19 87 75 0 112 44 0 14
normalized size 1 1. 4.58 3.95 0. 5.89 2.32 0. 0.74
time (sec) N/A 0.175 0.072 0.428 0. 0.264 4.119 0. 53.019




















Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 43 43 57 34 45 63 36 46 0
normalized size 1 1. 1.33 0.79 1.05 1.47 0.84 1.07 0.
time (sec) N/A 0.115 0.037 0.013 0.903 0.275 0.421 0.262 0.




















Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 17 16 20 20 14 24 14
normalized size 1 1. 1. 0.94 1.18 1.18 0.82 1.41 0.82
time (sec) N/A 0.053 0.009 0.011 0.997 0.258 0.271 0.263 9.158




















Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 25 25 22 28 28 20 32 20
normalized size 1 1. 1. 0.88 1.12 1.12 0.8 1.28 0.8
time (sec) N/A 0.052 0.009 0.01 0.824 0.259 0.277 0.26 12.61




















Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 22 22 20 19 24 32 14 38 14
normalized size 1 1. 0.91 0.86 1.09 1.45 0.64 1.73 0.64
time (sec) N/A 0.042 0.013 0.011 0.944 0.245 0.225 0.26 4.404




















Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 27 27 38 22 28 28 26 30 26
normalized size 1 1. 1.41 0.81 1.04 1.04 0.96 1.11 0.96
time (sec) N/A 0.074 0.017 0.008 0.982 0.257 0.313 0.265 8.094




















Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 21 21 21 18 23 23 15 23 0
normalized size 1 1. 1. 0.86 1.1 1.1 0.71 1.1 0.
time (sec) N/A 0.025 0.007 0.004 0.898 0.257 0.136 0.26 0.




















Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 27 27 27 24 31 31 22 31 22
normalized size 1 1. 1. 0.89 1.15 1.15 0.81 1.15 0.81
time (sec) N/A 0.049 0.012 0.006 0.865 0.273 0.203 0.26 36.65




















Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 39 26 34 34 26 39 0
normalized size 1 1. 1. 0.67 0.87 0.87 0.67 1. 0.
time (sec) N/A 0.045 0.01 0.012 0.8 0.263 0.655 0.266 0.




















Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 22 22 23 19 24 24 17 26 0
normalized size 1 1. 1.05 0.86 1.09 1.09 0.77 1.18 0.
time (sec) N/A 0.032 0.006 0.003 0.814 0.262 0.114 0.259 0.




















Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 15 15 15 14 18 18 14 18 0
normalized size 1 1. 1. 0.93 1.2 1.2 0.93 1.2 0.
time (sec) N/A 0.04 0.007 0.004 0.905 0.253 0.17 0.258 0.




















Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 12 12 24 21 27 35 17 30 7
normalized size 1 1. 2. 1.75 2.25 2.92 1.42 2.5 0.58
time (sec) N/A 0.04 0.016 0.011 0.79 0.248 0.187 0.265 15.438




















Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 25 25 22 28 30 19 31 0
normalized size 1 1. 1. 0.88 1.12 1.2 0.76 1.24 0.
time (sec) N/A 0.044 0.01 0.011 0.825 0.252 0.201 0.261 0.




















Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 13 13 13 12 15 15 10 15 10
normalized size 1 1. 1. 0.92 1.15 1.15 0.77 1.15 0.77
time (sec) N/A 0.041 0.011 0.007 0.865 0.248 0.243 0.261 17.337




















Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 35 35 35 31 47 84 36 41 46
normalized size 1 1. 1. 0.89 1.34 2.4 1.03 1.17 1.31
time (sec) N/A 0.057 0.026 0.008 0.886 0.249 0.364 0.262 23.983




















Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 23 18 23 23 17 27 17
normalized size 1 1. 1. 0.78 1. 1. 0.74 1.17 0.74
time (sec) N/A 0.055 0.009 0.011 0.806 0.254 0.302 0.262 11.425




















Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 23 20 26 26 19 27 19
normalized size 1 1. 1. 0.87 1.13 1.13 0.83 1.17 0.83
time (sec) N/A 0.064 0.013 0.007 0.801 0.248 0.212 0.261 30.173




















Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 29 29 25 24 31 43 20 31 20
normalized size 1 1. 0.86 0.83 1.07 1.48 0.69 1.07 0.69
time (sec) N/A 0.033 0.015 0.007 0.899 0.245 0.264 0.261 7.915




















Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 44 44 44 42 55 93 49 58 46
normalized size 1 1. 1. 0.95 1.25 2.11 1.11 1.32 1.05
time (sec) N/A 0.422 0.038 0.013 0.889 0.254 0.606 0.263 148.204




















Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 46 46 46 41 51 62 51 51 48
normalized size 1 1. 1. 0.89 1.11 1.35 1.11 1.11 1.04
time (sec) N/A 0.257 0.035 0.009 0.876 0.261 0.588 0.261 47.228




















Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 33 34 59 97 39 59 0
normalized size 1 1. 1. 1.03 1.79 2.94 1.18 1.79 0.
time (sec) N/A 0.303 0.032 0.015 0.794 0.265 0.515 0.263 0.




















Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 17 12 15 15 10 15 10
normalized size 1 1. 1. 0.71 0.88 0.88 0.59 0.88 0.59
time (sec) N/A 0.023 0.01 0.01 0.898 0.263 0.401 0.262 5.121




















Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 24 24 22 21 27 27 34 27 0
normalized size 1 1. 0.92 0.88 1.12 1.12 1.42 1.12 0.
time (sec) N/A 0.042 0.015 0.003 0.879 0.258 1.295 0.26 0.




















Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 15 15 23 18 23 23 17 27 10
normalized size 1 1. 1.53 1.2 1.53 1.53 1.13 1.8 0.67
time (sec) N/A 0.085 0.009 0.012 0.88 0.276 0.291 0.262 34.099




















Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 20 20 20 18 23 23 19 23 19
normalized size 1 1. 1. 0.9 1.15 1.15 0.95 1.15 0.95
time (sec) N/A 0.041 0.015 0.009 0.889 0.261 0.405 0.262 8.126




















Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 37 37 33 28 36 59 29 81 29
normalized size 1 1. 0.89 0.76 0.97 1.59 0.78 2.19 0.78
time (sec) N/A 0.078 0.039 0.011 0.888 0.256 0.382 0.263 34.322




















Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 26 26 26 22 28 35 26 28 26
normalized size 1 1. 1. 0.85 1.08 1.35 1. 1.08 1.
time (sec) N/A 0.031 0.015 0.003 0.892 0.263 0.171 0.259 7.057




















Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 12 12 12 11 14 22 10 15 10
normalized size 1 1. 1. 0.92 1.17 1.83 0.83 1.25 0.83
time (sec) N/A 0.036 0.007 0.007 0.787 0.246 0.19 0.262 8.435




















Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 21 21 21 18 23 23 15 27 0
normalized size 1 1. 1. 0.86 1.1 1.1 0.71 1.29 0.
time (sec) N/A 0.055 0.011 0.011 0.796 0.25 0.285 0.262 0.




















Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 22 22 22 21 27 46 17 27 17
normalized size 1 1. 1. 0.95 1.23 2.09 0.77 1.23 0.77
time (sec) N/A 0.033 0.014 0.007 0.873 0.249 0.235 0.261 9.507




















Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 24 24 24 21 27 43 19 27 20
normalized size 1 1. 1. 0.88 1.12 1.79 0.79 1.12 0.83
time (sec) N/A 0.035 0.017 0.007 0.881 0.247 0.241 0.261 12.894




















Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 36 36 36 34 45 59 39 45 39
normalized size 1 1. 1. 0.94 1.25 1.64 1.08 1.25 1.08
time (sec) N/A 0.085 0.025 0.005 0.867 0.252 0.515 0.261 17.354




















Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 37 37 37 28 36 36 29 36 29
normalized size 1 1. 1. 0.76 0.97 0.97 0.78 0.97 0.78
time (sec) N/A 0.08 0.012 0.005 0.894 0.252 0.481 0.262 17.107




















Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 29 29 29 22 28 28 22 31 0
normalized size 1 1. 1. 0.76 0.97 0.97 0.76 1.07 0.
time (sec) N/A 0.039 0.009 0.009 0.803 0.25 0.214 0.265 0.




















Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 19 19 19 16 20 20 14 22 0
normalized size 1 1. 1. 0.84 1.05 1.05 0.74 1.16 0.
time (sec) N/A 0.036 0.006 0.003 0.801 0.245 0.13 0.261 0.




















Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 41 35 46 57 46 46 42
normalized size 1 1. 1. 0.85 1.12 1.39 1.12 1.12 1.02
time (sec) N/A 0.063 0.025 0.004 0.881 0.249 0.231 0.262 22.93




















Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 39 32 42 42 34 42 0
normalized size 1 1. 0.95 0.78 1.02 1.02 0.83 1.02 0.
time (sec) N/A 0.058 0.011 0.006 0.874 0.255 0.237 0.261 0.




















Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 30 30 24 21 27 27 24 31 0
normalized size 1 1. 0.8 0.7 0.9 0.9 0.8 1.03 0.
time (sec) N/A 0.102 0.018 0.011 0.801 0.253 0.328 0.262 0.




















Problem 295 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 35 35 35 28 36 36 31 41 0
normalized size 1 1. 1. 0.8 1.03 1.03 0.89 1.17 0.
time (sec) N/A 0.074 0.013 0.013 0.797 0.255 0.324 0.262 0.




















Problem 296 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 34 34 32 25 32 46 27 46 0
normalized size 1 1. 0.94 0.74 0.94 1.35 0.79 1.35 0.
time (sec) N/A 0.089 0.025 0.013 0.804 0.254 0.336 0.262 0.




















Problem 297 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 42 35 45 68 36 45 39
normalized size 1 1. 1. 0.83 1.07 1.62 0.86 1.07 0.93
time (sec) N/A 0.045 0.031 0.007 0.871 0.253 0.292 0.263 8.942




















Problem 298 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 49 49 49 38 50 50 46 50 46
normalized size 1 1. 1. 0.78 1.02 1.02 0.94 1.02 0.94
time (sec) N/A 0.29 0.023 0.009 0.887 0.255 0.627 0.262 82.318




















Problem 299 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 29 29 29 20 26 26 24 30 0
normalized size 1 1. 1. 0.69 0.9 0.9 0.83 1.03 0.
time (sec) N/A 0.094 0.012 0.011 0.815 0.257 0.309 0.258 0.




















Problem 300 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 46 46 43 34 45 45 41 46 0
normalized size 1 1. 0.93 0.74 0.98 0.98 0.89 1. 0.
time (sec) N/A 0.083 0.026 0.008 0.89 0.255 0.315 0.262 0.




















Problem 301 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 14 15 19 23 10 20 0
normalized size 1 1. 0.88 0.94 1.19 1.44 0.62 1.25 0.
time (sec) N/A 0.05 0.012 0.008 0.787 0.252 0.186 0.263 0.




















Problem 302 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 21 21 14 16 23 23 15 16 17
normalized size 1 1. 0.67 0.76 1.1 1.1 0.71 0.76 0.81
time (sec) N/A 0.04 0.004 0.007 0.807 0.239 0.166 0.259 13.196




















Problem 303 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 15 15 15 16 31 31 19 41 0
normalized size 1 1. 1. 1.07 2.07 2.07 1.27 2.73 0.
time (sec) N/A 0.037 0.019 0.008 0.797 0.242 0.274 0.263 0.




















Problem 304 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 31 31 31 29 38 51 3 39 0
normalized size 1 1. 1. 0.94 1.23 1.65 0.1 1.26 0.
time (sec) N/A 0.089 0.022 0.008 0.883 0.259 0.27 0.262 0.




















Problem 305 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 25 25 20 26 26 19 30 19
normalized size 1 1. 1. 0.8 1.04 1.04 0.76 1.2 0.76
time (sec) N/A 0.062 0.01 0.01 0.815 0.275 0.297 0.26 13.789




















Problem 306 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 30 30 29 25 32 49 20 35 0
normalized size 1 1. 0.97 0.83 1.07 1.63 0.67 1.17 0.
time (sec) N/A 0.061 0.026 0.01 0.798 0.253 0.194 0.26 0.




















Problem 307 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 23 18 23 23 17 24 17
normalized size 1 1. 1. 0.78 1. 1. 0.74 1.04 0.74
time (sec) N/A 0.059 0.009 0.007 0.871 0.256 0.303 0.262 8.875




















Problem 308 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 103 103 93 73 104 211 88 100 0
normalized size 1 1. 0.9 0.71 1.01 2.05 0.85 0.97 0.
time (sec) N/A 0.942 0.072 0.017 0.887 0.264 1.663 0.264 0.




















Problem 309 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 30 28 34 49 24 34 27
normalized size 1 1. 0.91 0.85 1.03 1.48 0.73 1.03 0.82
time (sec) N/A 0.037 0.018 0.007 0.884 0.256 0.281 0.261 11.737




















Problem 310 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 33 28 39 59 27 41 29
normalized size 1 1. 1. 0.85 1.18 1.79 0.82 1.24 0.88
time (sec) N/A 0.083 0.037 0.011 0.885 0.254 0.359 0.261 16.797




















Problem 311 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 25 25 24 31 26 17 35 0
normalized size 1 1. 1. 0.96 1.24 1.04 0.68 1.4 0.
time (sec) N/A 0.054 0.009 0.01 0.801 0.252 0.178 0.26 0.




















Problem 312 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 36 36 36 32 42 42 36 42 36
normalized size 1 1. 1. 0.89 1.17 1.17 1. 1.17 1.
time (sec) N/A 0.217 0.026 0.005 0.897 0.253 0.547 0.265 35.115




















Problem 313 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 29 29 29 22 28 45 22 28 22
normalized size 1 1. 1. 0.76 0.97 1.55 0.76 0.97 0.76
time (sec) N/A 0.193 0.027 0.013 0.884 0.252 0.51 0.261 30.839




















Problem 314 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 46 46 46 36 47 66 46 49 42
normalized size 1 1. 1. 0.78 1.02 1.43 1. 1.07 0.91
time (sec) N/A 0.1 0.046 0.01 0.903 0.255 0.379 0.262 21.526




















Problem 315 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 22 26 26 19 24 24 17 27 0
normalized size 1 1.18 1.18 0.86 1.09 1.09 0.77 1.23 0.
time (sec) N/A 0.03 0.008 0.008 0.792 0.251 0.173 0.261 0.




















Problem 316 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 17 16 20 20 15 24 15
normalized size 1 1. 1. 0.94 1.18 1.18 0.88 1.41 0.88
time (sec) N/A 0.056 0.01 0.01 0.799 0.252 0.287 0.259 13.59




















Problem 317 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 14 15 19 24 14 22 14
normalized size 1 1. 1. 1.07 1.36 1.71 1. 1.57 1.
time (sec) N/A 0.048 0.006 0.01 0.792 0.247 0.237 0.26 7.065




















Problem 318 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 19 19 25 18 23 23 17 27 0
normalized size 1 1. 1.32 0.95 1.21 1.21 0.89 1.42 0.
time (sec) N/A 0.054 0.011 0.011 0.789 0.255 0.274 0.262 0.




















Problem 319 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 23 18 23 23 19 23 19
normalized size 1 1. 1. 0.78 1. 1. 0.83 1. 0.83
time (sec) N/A 0.056 0.014 0.006 0.892 0.255 0.494 0.262 22.507




















Problem 320 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 57 51 68 86 68 72 0
normalized size 1 1. 0.9 0.81 1.08 1.37 1.08 1.14 0.
time (sec) N/A 0.167 0.041 0.016 0.893 0.26 1.085 0.262 0.




















Problem 321 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 86 67 54 80 155 63 80 0
normalized size 1 1.25 0.97 0.78 1.16 2.25 0.91 1.16 0.
time (sec) N/A 0.199 0.075 0.02 0.875 0.266 0.566 0.262 0.




















Problem 322 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 17 14 18 26 12 18 12
normalized size 1 1. 1. 0.82 1.06 1.53 0.71 1.06 0.71
time (sec) N/A 0.042 0.009 0.009 0.884 0.253 0.209 0.26 6.983




















Problem 323 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 19 19 19 18 23 23 15 23 15
normalized size 1 1. 1. 0.95 1.21 1.21 0.79 1.21 0.79
time (sec) N/A 0.042 0.008 0.003 0.923 0.246 0.184 0.26 9.739




















Problem 324 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 9 9 9 8 9 9 7 38 7
normalized size 1 1. 1. 0.89 1. 1. 0.78 4.22 0.78
time (sec) N/A 0.104 0.01 0.006 0.901 0.256 0.37 0.264 34.798




















Problem 325 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 12 12 12 13 16 16 12 16 12
normalized size 1 1. 1. 1.08 1.33 1.33 1. 1.33 1.
time (sec) N/A 0.024 0.009 0.003 0.81 0.247 0.148 0.264 21.666




















Problem 326 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 65 65 58 41 69 104 99 74 75
normalized size 1 1. 0.89 0.63 1.06 1.6 1.52 1.14 1.15
time (sec) N/A 0.123 0.059 0.01 0.892 0.256 2.003 0.26 24.109




















Problem 327 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 28 28 28 29 38 62 24 38 32
normalized size 1 1. 1. 1.04 1.36 2.21 0.86 1.36 1.14
time (sec) N/A 0.046 0.016 0.009 0.9 0.253 0.301 0.26 18.268




















Problem 328 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 32 27 35 35 29 35 29
normalized size 1 1. 1. 0.84 1.09 1.09 0.91 1.09 0.91
time (sec) N/A 0.063 0.037 0.004 0.902 0.283 0.18 0.259 5.004




















Problem 329 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 31 41 39 24 31 31 26 36 32
normalized size 1 1.32 1.26 0.77 1. 1. 0.84 1.16 1.03
time (sec) N/A 0.088 0.011 0.013 0.817 0.258 0.543 0.261 21.913




















Problem 330 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 24 24 24 23 30 35 19 31 19
normalized size 1 1. 1. 0.96 1.25 1.46 0.79 1.29 0.79
time (sec) N/A 0.315 0.014 0.01 0.893 0.275 0.355 0.261 85.723




















Problem 331 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 23 19 32 47 20 26 22
normalized size 1 1. 1. 0.83 1.39 2.04 0.87 1.13 0.96
time (sec) N/A 0.041 0.019 0.007 0.894 0.253 0.322 0.261 15.598




















Problem 332 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 23 19 32 47 20 26 0
normalized size 1 1. 1. 0.83 1.39 2.04 0.87 1.13 0.
time (sec) N/A 0.072 0.009 0.004 0.903 0.246 0.306 0.258 0.




















Problem 333 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 13 13 13 14 18 20 10 18 10
normalized size 1 1. 1. 1.08 1.38 1.54 0.77 1.38 0.77
time (sec) N/A 0.055 0.01 0.006 0.798 0.247 0.209 0.258 22.148




















Problem 334 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) F(-2) A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 206 206 193 236 0 0 138 302 0
normalized size 1 1. 0.94 1.15 0. 0. 0.67 1.47 0.
time (sec) N/A 0.56 0.186 0.009 0. 0. 4.954 0.267 0.




















Problem 335 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 45 45 45 41 51 72 44 51 41
normalized size 1 1. 1. 0.91 1.13 1.6 0.98 1.13 0.91
time (sec) N/A 0.111 0.042 0.013 0.924 0.267 0.398 0.262 23.412




















Problem 336 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 59 59 44 41 70 101 46 57 48
normalized size 1 1. 0.75 0.69 1.19 1.71 0.78 0.97 0.81
time (sec) N/A 0.111 0.035 0.019 0.879 0.261 0.559 0.259 16.458




















Problem 337 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F F(-2) F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 209 209 234 616 0 0 0 1 221
normalized size 1 1. 1.12 2.95 0. 0. 0. 0. 1.06
time (sec) N/A 0.87 0.425 0.073 0. 0. 0. 1.025 60.401




















Problem 338 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F F(-2) F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 224 224 245 633 0 0 0 1 235
normalized size 1 1. 1.09 2.83 0. 0. 0. 0. 1.05
time (sec) N/A 0.668 0.454 0.039 0. 0. 0. 1.041 61.612




















Problem 339 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 56 57 81 88 190 0 0
normalized size 1 1. 1. 1.02 1.45 1.57 3.39 0. 0.
time (sec) N/A 0.11 0.043 0.009 0.818 0.296 4.043 0. 0.




















Problem 340 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 96 96 73 87 0 1 1355 115 82
normalized size 1 1. 0.76 0.91 0. 0.01 14.11 1.2 0.85
time (sec) N/A 0.203 0.056 0.009 0. 0.292 22.451 0.264 23.694




















Problem 341 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) F(-2) F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 264 264 228 336 0 0 0 432 231
normalized size 1 1. 0.86 1.27 0. 0. 0. 1.64 0.88
time (sec) N/A 0.961 0.17 0.008 0. 0. 0. 0.271 113.591




















Problem 342 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) F(-2) F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 417 417 370 422 0 0 0 575 381
normalized size 1 1. 0.89 1.01 0. 0. 0. 1.38 0.91
time (sec) N/A 1.177 0.486 0.019 0. 0. 0. 0.294 148.362




















Problem 343 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 24 21 27 35 19 28 10
normalized size 1 1. 1.5 1.31 1.69 2.19 1.19 1.75 0.62
time (sec) N/A 0.029 0.014 0.01 0.831 0.243 0.224 0.259 4.714




















Problem 344 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 19 19 27 24 31 46 20 41 12
normalized size 1 1. 1.42 1.26 1.63 2.42 1.05 2.16 0.63
time (sec) N/A 0.044 0.018 0.014 0.804 0.255 0.28 0.261 8.291




















Problem 345 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 85 90 101 159 92 104 85
normalized size 1 1. 0.88 0.93 1.04 1.64 0.95 1.07 0.88
time (sec) N/A 0.184 0.083 0.019 0.906 0.261 1.158 0.264 25.717




















Problem 346 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 15 15 15 14 18 18 12 18 12
normalized size 1 1. 1. 0.93 1.2 1.2 0.8 1.2 0.8
time (sec) N/A 0.19 0.012 0.006 0.902 0.263 0.264 0.264 32.741




















Problem 347 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 13 13 13 12 15 15 10 15 10
normalized size 1 1. 1. 0.92 1.15 1.15 0.77 1.15 0.77
time (sec) N/A 0.167 0.01 0.005 0.89 0.255 0.274 0.261 28.978




















Problem 348 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 29 29 29 25 32 32 29 32 29
normalized size 1 1. 1. 0.86 1.1 1.1 1. 1.1 1.
time (sec) N/A 0.217 0.025 0.006 0.884 0.256 0.526 0.261 40.59




















Problem 349 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 14 15 19 23 10 19 10
normalized size 1 1. 1. 1.07 1.36 1.64 0.71 1.36 0.71
time (sec) N/A 0.03 0.013 0.007 0.884 0.248 0.304 0.259 9.025




















Problem 350 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 12 12 12 11 14 16 7 15 7
normalized size 1 1. 1. 0.92 1.17 1.33 0.58 1.25 0.58
time (sec) N/A 0.034 0.005 0.008 0.813 0.25 0.175 0.261 4.454




















Problem 351 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 11 11 11 10 12 12 8 14 8
normalized size 1 1. 1. 0.91 1.09 1.09 0.73 1.27 0.73
time (sec) N/A 0.048 0.007 0.007 0.877 0.29 0.391 0.263 7.836




















Problem 352 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 12 12 12 11 14 18 8 15 8
normalized size 1 1. 1. 0.92 1.17 1.5 0.67 1.25 0.67
time (sec) N/A 0.043 0.006 0.007 0.813 0.25 0.169 0.262 7.




















Problem 353 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 12 12 12 13 16 16 12 19 12
normalized size 1 1. 1. 1.08 1.33 1.33 1. 1.58 1.
time (sec) N/A 0.038 0.005 0.008 0.817 0.251 0.199 0.259 6.113




















Problem 354 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 17 16 20 20 15 22 15
normalized size 1 1. 1. 0.94 1.18 1.18 0.88 1.29 0.88
time (sec) N/A 0.056 0.007 0.007 0.891 0.254 0.295 0.259 8.409




















Problem 355 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 13 13 13 14 18 18 10 19 10
normalized size 1 1. 1. 1.08 1.38 1.38 0.77 1.46 0.77
time (sec) N/A 0.057 0.013 0.008 0.902 0.255 0.366 0.263 8.377




















Problem 356 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 28 28 22 21 27 35 20 30 20
normalized size 1 1. 0.79 0.75 0.96 1.25 0.71 1.07 0.71
time (sec) N/A 0.036 0.021 0.011 0.802 0.253 0.236 0.26 6.785




















Problem 357 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 32 27 35 50 26 58 26
normalized size 1 1. 1. 0.84 1.09 1.56 0.81 1.81 0.81
time (sec) N/A 0.064 0.025 0.011 0.812 0.249 0.317 0.262 8.42




















Problem 358 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 28 20 26 26 19 27 19
normalized size 1 1. 1.22 0.87 1.13 1.13 0.83 1.17 0.83
time (sec) N/A 0.064 0.012 0.007 0.885 0.254 0.31 0.264 9.049




















Problem 359 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 24 24 22 21 27 49 20 63 20
normalized size 1 1. 0.92 0.88 1.12 2.04 0.83 2.62 0.83
time (sec) N/A 0.061 0.022 0.009 0.907 0.259 0.336 0.263 9.071




















Problem 360 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 49 49 49 40 53 50 44 53 46
normalized size 1 1. 1. 0.82 1.08 1.02 0.9 1.08 0.94
time (sec) N/A 0.258 0.023 0.01 0.883 0.277 0.635 0.26 54.723




















Problem 361 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 25 19 20 26 26 19 30 19
normalized size 1 1. 0.76 0.8 1.04 1.04 0.76 1.2 0.76
time (sec) N/A 0.096 0.013 0.01 0.805 0.262 0.309 0.262 10.398




















Problem 362 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 60 60 54 48 63 99 63 81 60
normalized size 1 1. 0.9 0.8 1.05 1.65 1.05 1.35 1.
time (sec) N/A 0.457 0.09 0.014 0.901 0.295 0.762 0.264 164.427




















Problem 363 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 11 11 11 10 12 12 5 12 0
normalized size 1 1. 1. 0.91 1.09 1.09 0.45 1.09 0.
time (sec) N/A 0.012 0.001 0.001 0.832 0.247 0.072 0.26 0.




















Problem 364 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 29 29 29 22 28 28 22 31 0
normalized size 1 1. 1. 0.76 0.97 0.97 0.76 1.07 0.
time (sec) N/A 0.036 0.009 0.008 0.825 0.253 0.213 0.261 0.




















Problem 365 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 45 45 45 37 50 70 37 50 34
normalized size 1 1. 1. 0.82 1.11 1.56 0.82 1.11 0.76
time (sec) N/A 0.053 0.02 0.009 0.89 0.258 0.325 0.26 13.982




















Problem 366 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 32 29 38 70 29 39 0
normalized size 1 1. 1. 0.91 1.19 2.19 0.91 1.22 0.
time (sec) N/A 0.464 0.029 0.013 0.898 0.327 0.784 0.264 0.




















Problem 367 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 148 148 159 110 178 257 146 165 136
normalized size 1 1. 1.07 0.74 1.2 1.74 0.99 1.11 0.92
time (sec) N/A 0.272 0.102 0.017 0.875 0.296 1.795 0.273 40.943




















Problem 368 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A F(-2) A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 112 112 101 79 134 0 61 124 0
normalized size 1 1. 0.9 0.71 1.2 0. 0.54 1.11 0.
time (sec) N/A 0.233 0.078 0.01 0.878 0. 3.129 0.262 0.




















Problem 369 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 14 13 16 16 10 19 10
normalized size 1 1. 1. 0.93 1.14 1.14 0.71 1.36 0.71
time (sec) N/A 0.038 0.005 0.007 0.796 0.27 0.188 0.259 4.67




















Problem 370 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 12 12 12 11 14 14 8 16 8
normalized size 1 1. 1. 0.92 1.17 1.17 0.67 1.33 0.67
time (sec) N/A 0.046 0.007 0.008 0.805 0.259 0.186 0.26 7.054




















Problem 371 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 17 16 20 28 14 23 14
normalized size 1 1. 1. 0.94 1.18 1.65 0.82 1.35 0.82
time (sec) N/A 0.036 0.006 0.01 0.825 0.27 0.214 0.259 7.941




















Problem 372 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 17 16 20 20 14 23 14
normalized size 1 1. 1. 0.94 1.18 1.18 0.82 1.35 0.82
time (sec) N/A 0.045 0.007 0.008 0.791 0.262 0.185 0.259 12.582




















Problem 373 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 18 18 18 17 22 34 15 31 19
normalized size 1 1. 1. 0.94 1.22 1.89 0.83 1.72 1.06
time (sec) N/A 0.072 0.007 0.009 0.888 0.258 0.23 0.26 9.387




















Problem 374 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 10 10 10 11 14 19 7 15 7
normalized size 1 1. 1. 1.1 1.4 1.9 0.7 1.5 0.7
time (sec) N/A 0.038 0.008 0.008 0.801 0.287 0.165 0.26 7.471




















Problem 375 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 42 31 41 41 36 45 0
normalized size 1 1. 1. 0.74 0.98 0.98 0.86 1.07 0.
time (sec) N/A 0.061 0.01 0.011 0.816 0.256 0.339 0.26 0.




















Problem 376 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 46 46 46 41 51 62 51 51 48
normalized size 1 1. 1. 0.89 1.11 1.35 1.11 1.11 1.04
time (sec) N/A 0.246 0.034 0.001 0.883 0.259 0.608 0.26 47.856




















Problem 377 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 19 19 19 16 20 20 14 23 14
normalized size 1 1. 1. 0.84 1.05 1.05 0.74 1.21 0.74
time (sec) N/A 0.11 0.005 0.008 0.804 0.276 0.21 0.262 14.709




















Problem 378 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 40 40 40 31 41 41 34 43 0
normalized size 1 1. 1. 0.78 1.02 1.02 0.85 1.08 0.
time (sec) N/A 0.062 0.009 0.009 0.8 0.267 0.262 0.261 0.




















Problem 379 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 33 26 34 34 27 36 0
normalized size 1 1. 1. 0.79 1.03 1.03 0.82 1.09 0.
time (sec) N/A 0.058 0.007 0.008 0.83 0.267 0.241 0.262 0.




















Problem 380 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 26 26 26 21 27 27 20 30 20
normalized size 1 1. 1. 0.81 1.04 1.04 0.77 1.15 0.77
time (sec) N/A 0.044 0.007 0.008 0.815 0.263 0.231 0.263 10.956




















Problem 381 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 21 21 21 18 23 23 17 26 17
normalized size 1 1. 1. 0.86 1.1 1.1 0.81 1.24 0.81
time (sec) N/A 0.023 0.005 0.007 0.816 0.263 0.212 0.26 4.018




















Problem 382 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 21 21 21 18 23 23 15 26 15
normalized size 1 1. 1. 0.86 1.1 1.1 0.71 1.24 0.71
time (sec) N/A 0.029 0.004 0.007 0.805 0.281 0.202 0.26 6.877




















Problem 383 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 27 27 27 22 28 28 24 32 24
normalized size 1 1. 1. 0.81 1.04 1.04 0.89 1.19 0.89
time (sec) N/A 0.046 0.007 0.009 0.82 0.271 0.311 0.264 12.101




















Problem 384 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 34 34 34 27 35 41 31 39 31
normalized size 1 1. 1. 0.79 1.03 1.21 0.91 1.15 0.91
time (sec) N/A 0.078 0.006 0.012 0.813 0.274 0.355 0.264 16.261




















Problem 385 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 41 32 42 53 36 46 37
normalized size 1 1. 1. 0.78 1.02 1.29 0.88 1.12 0.9
time (sec) N/A 0.085 0.007 0.013 0.808 0.259 0.399 0.262 16.934




















Problem 386 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 48 48 48 37 49 59 41 53 44
normalized size 1 1. 1. 0.77 1.02 1.23 0.85 1.1 0.92
time (sec) N/A 0.099 0.008 0.013 0.789 0.272 0.441 0.263 17.492




















Problem 387 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 157 157 61 54 0 0 41 0 158
normalized size 1 1. 0.39 0.34 0. 0. 0.26 0. 1.01
time (sec) N/A 0.344 0.026 0.013 0. 0. 0.666 0. 38.692




















Problem 388 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 157 157 61 56 0 0 41 0 163
normalized size 1 1. 0.39 0.36 0. 0. 0.26 0. 1.04
time (sec) N/A 0.267 0.025 0.013 0. 0. 0.666 0. 39.029




















Problem 389 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 188 188 61 54 0 0 39 0 236
normalized size 1 1. 0.32 0.29 0. 0. 0.21 0. 1.26
time (sec) N/A 0.575 0.019 0.009 0. 0. 0.592 0. 83.554




















Problem 390 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 188 188 61 56 0 0 39 0 236
normalized size 1 1. 0.32 0.3 0. 0. 0.21 0. 1.26
time (sec) N/A 0.379 0.019 0.009 0. 0. 0.601 0. 86.226




















Problem 391 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 663 663 63 69 0 0 133 0 0
normalized size 1 1. 0.1 0.1 0. 0. 0.2 0. 0.
time (sec) N/A 3.075 0.053 0.095 0. 0. 11.21 0. 0.




















Problem 392 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 663 663 63 69 0 0 133 0 216
normalized size 1 1. 0.1 0.1 0. 0. 0.2 0. 0.33
time (sec) N/A 2.694 0.043 0.002 0. 0. 11.29 0. 117.049




















Problem 393 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A F C C F F(-2) A F F(-1)
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 168 0 95 67 0 0 42 0 0
normalized size 1 0. 0.57 0.4 0. 0. 0.25 0. 0.
time (sec) N/A 0.676 0.096 0.235 0. 0. 6.133 0. 0.




















Problem 394 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 320 320 322 314 0 0 384 420 306
normalized size 1 1. 1.01 0.98 0. 0. 1.2 1.31 0.96
time (sec) N/A 0.583 0.541 0.011 0. 0. 13.53 0.274 85.503




















Problem 395 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 291 291 243 292 0 0 277 385 272
normalized size 1 1. 0.84 1. 0. 0. 0.95 1.32 0.93
time (sec) N/A 0.467 0.199 0.005 0. 0. 10.086 0.271 79.4




















Problem 396 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 219 219 184 151 0 0 124 290 207
normalized size 1 1. 0.84 0.69 0. 0. 0.57 1.32 0.95
time (sec) N/A 0.36 0.101 0.005 0. 0. 2.915 0.269 60.161




















Problem 397 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 185 185 134 128 0 142 20 242 172
normalized size 1 1. 0.72 0.69 0. 0.77 0.11 1.31 0.93
time (sec) N/A 0.226 0.033 0.002 0. 0.26 0.385 0.264 47.674




















Problem 398 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) F(-2) F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 416 416 404 433 0 0 0 520 379
normalized size 1 1. 0.97 1.04 0. 0. 0. 1.25 0.91
time (sec) N/A 0.946 0.286 0.012 0. 0. 0. 0.292 133.876




















Problem 399 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) F(-1) F(-1) F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 552 552 524 866 0 0 0 0 0
normalized size 1 1. 0.95 1.57 0. 0. 0. 0. 0.
time (sec) N/A 1.822 1.377 0.016 0. 0. 0. 0. 0.




















Problem 400 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F(-2) F(-1) F(-1) A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 680 680 738 1201 0 0 0 1 0
normalized size 1 1. 1.09 1.77 0. 0. 0. 0. 0.
time (sec) N/A 2.133 1.967 0.019 0. 0. 0. 0.365 0.




















Problem 401 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 349 349 347 390 0 0 350 462 333
normalized size 1 1. 0.99 1.12 0. 0. 1. 1.32 0.95
time (sec) N/A 0.713 0.726 0.008 0. 0. 22.832 0.27 145.379




















Problem 402 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 322 322 321 362 0 0 318 436 299
normalized size 1 1. 1. 1.12 0. 0. 0.99 1.35 0.93
time (sec) N/A 0.58 0.654 0.007 0. 0. 13.061 0.271 98.979




















Problem 403 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 241 241 224 188 0 0 155 325 231
normalized size 1 1. 0.93 0.78 0. 0. 0.64 1.35 0.96
time (sec) N/A 0.424 0.352 0.006 0. 0. 4.999 0.27 82.947




















Problem 404 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 202 202 183 143 0 213 39 262 190
normalized size 1 1. 0.91 0.71 0. 1.05 0.19 1.3 0.94
time (sec) N/A 0.255 0.242 0.002 0. 0.282 2.018 0.262 55.095




















Problem 405 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) F(-1) F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 855 855 558 1126 0 0 0 1038 0
normalized size 1 1. 0.65 1.32 0. 0. 0. 1.21 0.
time (sec) N/A 1.992 0.722 0.038 0. 0. 0. 0.322 0.




















Problem 406 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) F(-1) F(-1) A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 1141 1141 807 1644 0 0 0 1 0
normalized size 1 1. 0.71 1.44 0. 0. 0. 0. 0.
time (sec) N/A 3.953 1.733 0.032 0. 0. 0. 0.362 0.




















Problem 407 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) F(-1) F(-1) A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 1384 1384 996 2133 0 0 0 1 0
normalized size 1 1. 0.72 1.54 0. 0. 0. 0. 0.
time (sec) N/A 4.67 2.436 0.037 0. 0. 0. 0.43 0.




















Problem 408 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 394 394 388 470 0 0 413 525 386
normalized size 1 1. 0.98 1.19 0. 0. 1.05 1.33 0.98
time (sec) N/A 0.781 0.835 0.01 0. 0. 30.204 0.276 121.822




















Problem 409 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 360 360 358 419 0 0 374 481 343
normalized size 1 1. 0.99 1.16 0. 0. 1.04 1.34 0.95
time (sec) N/A 0.697 0.601 0.007 0. 0. 16.814 0.274 119.628




















Problem 410 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 266 266 249 222 0 0 192 351 257
normalized size 1 1. 0.94 0.83 0. 0. 0.72 1.32 0.97
time (sec) N/A 0.521 0.353 0.007 0. 0. 8.866 0.272 90.524




















Problem 411 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 219 219 200 158 0 293 63 275 207
normalized size 1 1. 0.91 0.72 0. 1.34 0.29 1.26 0.95
time (sec) N/A 0.314 0.181 0.006 0. 0.301 5.048 0.267 59.989




















Problem 412 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) F(-1) F(-1) A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 1352 1352 835 2106 0 0 0 1 0
normalized size 1 1. 0.62 1.56 0. 0. 0. 0. 0.
time (sec) N/A 3.21 1.522 0.035 0. 0. 0. 0.389 0.




















Problem 413 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) F(-1) F(-1) A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 1830 1830 1115 2781 0 0 0 1 0
normalized size 1 1. 0.61 1.52 0. 0. 0. 0. 0.
time (sec) N/A 6.584 3.036 0.042 0. 0. 0. 0.41 0.




















Problem 414 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) F(-1) F(-1) A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 2204 2204 1338 3352 0 0 0 1 0
normalized size 1 1. 0.61 1.52 0. 0. 0. 0. 0.
time (sec) N/A 7.568 5.713 0.048 0. 0. 0. 0.531 0.




















Problem 415 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 33 29 38 43 34 38 31
normalized size 1 1. 1.03 0.91 1.19 1.34 1.06 1.19 0.97
time (sec) N/A 0.046 0.016 0.002 0.889 0.273 0.209 0.259 5.621




















Problem 416 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 33 29 38 43 34 38 31
normalized size 1 1. 1.03 0.91 1.19 1.34 1.06 1.19 0.97
time (sec) N/A 0.045 0.008 0.002 0.882 0.269 0.226 0.261 6.696




















Problem 417 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 31 29 35 42 36 35 32
normalized size 1 1. 0.97 0.91 1.09 1.31 1.12 1.09 1.
time (sec) N/A 0.041 0.015 0.007 0.874 0.275 0.22 0.261 5.835




















Problem 418 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 31 29 35 42 36 35 32
normalized size 1 1. 0.97 0.91 1.09 1.31 1.12 1.09 1.
time (sec) N/A 0.044 0.007 0.002 0.911 0.27 0.235 0.262 7.997




















Problem 419 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 45 45 42 29 51 65 39 59 46
normalized size 1 1. 0.93 0.64 1.13 1.44 0.87 1.31 1.02
time (sec) N/A 0.045 0.035 0.003 0.896 0.272 0.206 0.262 4.656




















Problem 420 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 45 45 42 29 51 65 39 59 46
normalized size 1 1. 0.93 0.64 1.13 1.44 0.87 1.31 1.02
time (sec) N/A 0.033 0.008 0.003 0.918 0.276 0.228 0.26 6.59




















Problem 421 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 6 6 23 18 23 23 15 20 5
normalized size 1 1. 3.83 3. 3.83 3.83 2.5 3.33 0.83
time (sec) N/A 0.008 0.005 0.008 0.79 0.267 0.16 0.258 2.062




















Problem 422 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 21 21 23 18 23 23 15 26 15
normalized size 1 1. 1.1 0.86 1.1 1.1 0.71 1.24 0.71
time (sec) N/A 0.013 0.004 0.002 0.841 0.269 0.177 0.264 1.93




















Problem 423 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 13 13 11 10 12 32 22 12 8
normalized size 1 1. 0.85 0.77 0.92 2.46 1.69 0.92 0.62
time (sec) N/A 0.008 0.004 0.001 0.783 0.263 0.321 0.259 1.921




















Problem 424 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A B A B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 13 81 11 58 77 32 22 77 63
normalized size 1 6.23 0.85 4.46 5.92 2.46 1.69 5.92 4.85
time (sec) N/A 0.031 0.002 0.004 0.797 0.266 0.834 0.259 5.528




















Problem 425 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 78 67 89 109 85 92 71
normalized size 1 1. 1.13 0.97 1.29 1.58 1.23 1.33 1.03
time (sec) N/A 0.233 0.024 0.015 0.861 0.286 0.721 0.263 45.504




















Problem 426 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 78 67 89 109 85 92 71
normalized size 1 1. 1.13 0.97 1.29 1.58 1.23 1.33 1.03
time (sec) N/A 0.243 0.008 0.003 0.861 0.285 0.736 0.261 47.45




















Problem 427 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 24 24 31 21 27 27 20 28 0
normalized size 1 1. 1.29 0.88 1.12 1.12 0.83 1.17 0.
time (sec) N/A 0.041 0.009 0.004 0.796 0.273 0.124 0.261 0.




















Problem 428 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 26 26 25 21 27 27 19 28 0
normalized size 1 1. 0.96 0.81 1.04 1.04 0.73 1.08 0.
time (sec) N/A 0.035 0.007 0.003 0.793 0.269 0.116 0.26 0.




















Problem 429 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 22 16 20 1 15 20 0
normalized size 1 1. 1.29 0.94 1.18 0.06 0.88 1.18 0.
time (sec) N/A 0.019 0. 0.001 0.783 0.248 0.069 0.258 0.




















Problem 430 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 24 24 22 20 27 1 15 27 0
normalized size 1 1. 0.92 0.83 1.12 0.04 0.62 1.12 0.
time (sec) N/A 0.017 0.002 0.001 0.791 0.249 0.075 0.257 0.




















Problem 431 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 22 22 24 23 30 34 20 31 20
normalized size 1 1. 1.09 1.05 1.36 1.55 0.91 1.41 0.91
time (sec) N/A 0.055 0.008 0.01 0.859 0.281 0.281 0.261 7.06




















Problem 432 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 27 16 20 20 15 24 15
normalized size 1 1. 1.59 0.94 1.18 1.18 0.88 1.41 0.88
time (sec) N/A 0.041 0.01 0.01 0.797 0.28 0.265 0.259 5.614




















Problem 433 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 19 19 19 14 18 18 12 22 14
normalized size 1 1. 1. 0.74 0.95 0.95 0.63 1.16 0.74
time (sec) N/A 0.05 0.006 0.007 0.788 0.259 0.178 0.259 8.205




















Problem 434 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 12 12 17 11 14 14 8 20 14
normalized size 1 1. 1.42 0.92 1.17 1.17 0.67 1.67 1.17
time (sec) N/A 0.009 0.005 0.002 0.801 0.266 0.159 0.261 8.121




















Problem 435 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 10 10 11 11 14 14 8 22 14
normalized size 1 1. 1.1 1.1 1.4 1.4 0.8 2.2 1.4
time (sec) N/A 0.01 0.009 0.002 0.789 0.26 1.112 0.261 12.469




















Problem 436 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 17 16 20 20 15 24 15
normalized size 1 1. 1. 0.94 1.18 1.18 0.88 1.41 0.88
time (sec) N/A 0.044 0.009 0.01 0.795 0.264 0.252 0.26 6.573




















Problem 437 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 23 18 23 23 17 24 17
normalized size 1 1. 1. 0.78 1. 1. 0.74 1.04 0.74
time (sec) N/A 0.048 0.007 0.007 0.872 0.263 0.272 0.261 6.974




















Problem 438 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 15 15 15 14 18 18 10 18 10
normalized size 1 1. 1. 0.93 1.2 1.2 0.67 1.2 0.67
time (sec) N/A 0.01 0.008 0.002 0.8 0.267 0.194 0.261 5.06




















Problem 439 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 21 21 21 18 23 23 20 27 20
normalized size 1 1. 1. 0.86 1.1 1.1 0.95 1.29 0.95
time (sec) N/A 0.048 0.009 0.01 0.785 0.271 0.276 0.26 12.617




















Problem 440 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 10 10 9 14 12 12 7 12 7
normalized size 1 1. 0.9 1.4 1.2 1.2 0.7 1.2 0.7
time (sec) N/A 0.016 0.009 0.007 0.791 0.251 0.162 0.259 6.909




















Problem 441 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 25 25 18 23 23 20 27 20
normalized size 1 1. 1. 0.72 0.92 0.92 0.8 1.08 0.8
time (sec) N/A 0.047 0.008 0.01 0.793 0.258 0.299 0.264 9.823




















Problem 442 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 14 15 19 19 12 19 12
normalized size 1 1. 1. 1.07 1.36 1.36 0.86 1.36 0.86
time (sec) N/A 0.044 0.006 0.003 0.871 0.265 0.197 0.261 7.141




















Problem 443 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 13 13 14 30 15 22 17 15 14
normalized size 1 1. 1.08 2.31 1.15 1.69 1.31 1.15 1.08
time (sec) N/A 0.008 0.01 0.017 0.788 0.245 0.368 0.26 8.477




















Problem 444 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 26 26 25 32 35 34 20 36 0
normalized size 1 1. 0.96 1.23 1.35 1.31 0.77 1.38 0.
time (sec) N/A 0.07 0.011 0.004 0.789 0.272 1.241 0.263 0.




















Problem 445 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 6 6 4 5 5 5 3 7 3
normalized size 1 1. 0.67 0.83 0.83 0.83 0.5 1.17 0.5
time (sec) N/A 0.025 0.001 0.001 0.782 0.252 0.084 0.261 6.117




















Problem 446 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 20 20 20 19 27 34 19 36 20
normalized size 1 1. 1. 0.95 1.35 1.7 0.95 1.8 1.
time (sec) N/A 0.052 0.007 0.009 0.782 0.254 0.23 0.259 8.09




















Problem 447 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 40 28 36 36 31 38 31
normalized size 1 1. 1.05 0.74 0.95 0.95 0.82 1. 0.82
time (sec) N/A 0.07 0.017 0.008 0.881 0.253 0.307 0.266 6.351




















Problem 448 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 18 16 20 20 14 22 0
normalized size 1 1. 1.06 0.94 1.18 1.18 0.82 1.29 0.
time (sec) N/A 0.024 0.005 0.003 0.784 0.251 0.118 0.258 0.




















Problem 449 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 31 31 36 22 28 28 22 30 22
normalized size 1 1. 1.16 0.71 0.9 0.9 0.71 0.97 0.71
time (sec) N/A 0.036 0.008 0.007 0.871 0.253 0.318 0.261 5.006




















Problem 450 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 19 19 19 16 23 20 17 23 17
normalized size 1 1. 1. 0.84 1.21 1.05 0.89 1.21 0.89
time (sec) N/A 0.053 0.008 0.008 0.789 0.254 0.258 0.266 8.065




















Problem 451 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 11 11 9 9 12 12 8 15 8
normalized size 1 1. 0.82 0.82 1.09 1.09 0.73 1.36 0.73
time (sec) N/A 0.022 0.005 0.002 0.801 0.249 0.165 0.261 3.474




















Problem 452 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 18 18 18 13 16 16 14 16 14
normalized size 1 1. 1. 0.72 0.89 0.89 0.78 0.89 0.78
time (sec) N/A 0.04 0.011 0.009 0.865 0.258 0.427 0.259 15.173




















Problem 453 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 46 46 44 39 62 112 46 70 41
normalized size 1 1. 0.96 0.85 1.35 2.43 1. 1.52 0.89
time (sec) N/A 0.06 0.027 0.016 0.78 0.275 0.508 0.261 7.235




















Problem 454 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 12 12 10 14 11 11 7 12 7
normalized size 1 1. 0.83 1.17 0.92 0.92 0.58 1. 0.58
time (sec) N/A 0.007 0.002 0.003 0.775 0.259 0.122 0.26 1.7




















Problem 455 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 21 21 27 28 31 46 20 34 12
normalized size 1 1. 1.29 1.33 1.48 2.19 0.95 1.62 0.57
time (sec) N/A 0.011 0.012 0.013 0.805 0.265 0.219 0.26 1.184




















Problem 456 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 19 19 19 16 20 28 12 20 12
normalized size 1 1. 1. 0.84 1.05 1.47 0.63 1.05 0.63
time (sec) N/A 0.016 0.012 0.009 0.869 0.26 0.204 0.26 3.287




















Problem 457 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 10 10 10 9 11 11 7 12 7
normalized size 1 1. 1. 0.9 1.1 1.1 0.7 1.2 0.7
time (sec) N/A 0.006 0.001 0.001 0.782 0.268 0.062 0.263 1.08




















Problem 458 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 10 10 10 11 14 14 20 14 5
normalized size 1 1. 1. 1.1 1.4 1.4 2. 1.4 0.5
time (sec) N/A 0.009 0.003 0.005 0.871 0.266 0.244 0.26 1.548




















Problem 459 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 24 24 24 16 0 1 53 20 22
normalized size 1 1. 1. 0.67 0. 0.04 2.21 0.83 0.92
time (sec) N/A 0.019 0.007 0.001 0. 0.259 0.3 0.259 2.476




















Problem 460 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 19 19 19 17 22 22 26 22 22
normalized size 1 1. 1. 0.89 1.16 1.16 1.37 1.16 1.16
time (sec) N/A 0.032 0.009 0.004 0.872 0.271 0.212 0.259 1.405




















Problem 461 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 22 22 22 17 22 1 17 22 17
normalized size 1 1. 1. 0.77 1. 0.05 0.77 1. 0.77
time (sec) N/A 0.024 0.001 0.001 0.817 0.236 0.067 0.259 4.292




















Problem 462 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 22 22 22 17 22 1 15 22 0
normalized size 1 1. 1. 0.77 1. 0.05 0.68 1. 0.
time (sec) N/A 0.02 0.001 0.001 0.81 0.23 0.065 0.258 0.




















Problem 463 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 16 15 19 20 10 19 0
normalized size 1 1. 1. 0.94 1.19 1.25 0.62 1.19 0.
time (sec) N/A 0.014 0.002 0.005 0.82 0.253 0.108 0.261 0.




















Problem 464 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 37 37 37 31 41 46 39 41 34
normalized size 1 1. 1. 0.84 1.11 1.24 1.05 1.11 0.92
time (sec) N/A 0.05 0.019 0.006 0.888 0.253 0.233 0.26 6.371




















Problem 465 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 14 13 16 1 10 16 10
normalized size 1 1. 1. 0.93 1.14 0.07 0.71 1.14 0.71
time (sec) N/A 0.012 0.001 0.001 0.806 0.224 0.06 0.257 1.566




















Problem 466 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 11 11 11 10 12 12 7 12 0
normalized size 1 1. 1. 0.91 1.09 1.09 0.64 1.09 0.
time (sec) N/A 0.011 0.001 0.001 0.807 0.254 0.063 0.261 0.




















Problem 467 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 25 25 20 26 26 20 27 20
normalized size 1 1. 1. 0.8 1.04 1.04 0.8 1.08 0.8
time (sec) N/A 0.032 0.009 0.008 0.889 0.261 0.287 0.262 4.815




















Problem 468 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 25 25 20 26 26 19 27 19
normalized size 1 1. 1. 0.8 1.04 1.04 0.76 1.08 0.76
time (sec) N/A 0.031 0.008 0.006 0.884 0.267 0.261 0.26 5.124




















Problem 469 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 25 25 20 26 26 19 27 19
normalized size 1 1. 1. 0.8 1.04 1.04 0.76 1.08 0.76
time (sec) N/A 0.053 0.009 0.007 0.881 0.282 0.265 0.261 5.401




















Problem 470 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 9 9 7 8 9 16 5 11 5
normalized size 1 1. 0.78 0.89 1. 1.78 0.56 1.22 0.56
time (sec) N/A 0.007 0.005 0.005 0.776 0.255 0.124 0.259 3.01




















Problem 471 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 22 22 22 17 22 30 20 22 20
normalized size 1 1. 1. 0.77 1. 1.36 0.91 1. 0.91
time (sec) N/A 0.032 0.02 0.01 0.858 0.265 0.411 0.26 8.636




















Problem 472 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 37 37 37 31 41 47 44 41 37
normalized size 1 1. 1. 0.84 1.11 1.27 1.19 1.11 1.
time (sec) N/A 0.053 0.021 0.006 0.855 0.265 0.253 0.262 6.567




















Problem 473 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 15 15 15 14 20 26 14 22 0
normalized size 1 1. 1. 0.93 1.33 1.73 0.93 1.47 0.
time (sec) N/A 0.013 0.003 0.008 0.781 0.263 0.169 0.261 0.




















Problem 474 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 15 15 15 14 18 20 10 19 0
normalized size 1 1. 1. 0.93 1.2 1.33 0.67 1.27 0.
time (sec) N/A 0.011 0.001 0.005 0.803 0.265 0.125 0.26 0.




















Problem 475 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 11 11 11 12 18 15 8 18 12
normalized size 1 1. 1. 1.09 1.64 1.36 0.73 1.64 1.09
time (sec) N/A 0.041 0.005 0.006 0.793 0.257 0.189 0.261 6.694




















Problem 476 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 22 22 19 18 23 1 17 23 0
normalized size 1 1. 0.86 0.82 1.05 0.05 0.77 1.05 0.
time (sec) N/A 0.018 0.002 0.001 0.782 0.246 0.059 0.261 0.




















Problem 477 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 11 11 11 10 26 1 19 12 7
normalized size 1 1. 1. 0.91 2.36 0.09 1.73 1.09 0.64
time (sec) N/A 0.007 0.002 0.001 0.778 0.224 0.066 0.258 1.056




















Problem 478 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 13 13 16 14 18 18 12 19 0
normalized size 1 1. 1.23 1.08 1.38 1.38 0.92 1.46 0.
time (sec) N/A 0.026 0.006 0.003 0.782 0.261 0.123 0.261 0.




















Problem 479 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 16 15 19 24 14 22 14
normalized size 1 1. 1. 0.94 1.19 1.5 0.88 1.38 0.88
time (sec) N/A 0.025 0.004 0.009 0.772 0.26 0.194 0.263 3.269




















Problem 480 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 31 26 24 34 53 22 36 22
normalized size 1 1.24 1.04 0.96 1.36 2.12 0.88 1.44 0.88
time (sec) N/A 0.027 0.031 0.013 0.781 0.276 0.236 0.26 15.594




















Problem 481 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 18 16 20 20 12 22 0
normalized size 1 1. 1.06 0.94 1.18 1.18 0.71 1.29 0.
time (sec) N/A 0.024 0.005 0.003 0.781 0.253 0.108 0.26 0.




















Problem 482 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 18 18 18 17 22 27 15 23 0
normalized size 1 1. 1. 0.94 1.22 1.5 0.83 1.28 0.
time (sec) N/A 0.016 0.002 0.008 0.781 0.25 0.13 0.26 0.




















Problem 483 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A F(-2) A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 18 18 18 28 19 0 14 19 0
normalized size 1 1. 1. 1.56 1.06 0. 0.78 1.06 0.
time (sec) N/A 0.031 0.001 0.001 0.869 0. 0.066 0.258 0.




















Problem 484 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 23 22 46 62 31 34 19
normalized size 1 1. 1. 0.96 2. 2.7 1.35 1.48 0.83
time (sec) N/A 0.037 0.018 0.009 0.794 0.249 0.249 0.261 7.274




















Problem 485 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 12 13 16 20 10 43 10
normalized size 1 1. 0.75 0.81 1. 1.25 0.62 2.69 0.62
time (sec) N/A 0.037 0.011 0.006 0.876 0.249 0.243 0.265 4.705




















Problem 486 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 29 29 30 26 34 34 24 35 0
normalized size 1 1. 1.03 0.9 1.17 1.17 0.83 1.21 0.
time (sec) N/A 0.043 0.013 0.003 0.795 0.25 0.139 0.26 0.




















Problem 487 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 16 13 16 16 10 16 0
normalized size 1 1. 1. 0.81 1. 1. 0.62 1. 0.
time (sec) N/A 0.012 0.001 0.001 0.785 0.245 0.073 0.259 0.




















Problem 488 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 17 16 23 34 14 16 14
normalized size 1 1. 1. 0.94 1.35 2. 0.82 0.94 0.82
time (sec) N/A 0.045 0.019 0.009 0.855 0.263 0.308 0.261 5.937




















Problem 489 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 47 47 47 43 0 1 151 65 54
normalized size 1 1. 1. 0.91 0. 0.02 3.21 1.38 1.15
time (sec) N/A 0.128 0.04 0.009 0. 0.283 0.83 0.261 8.438




















Problem 490 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 57 57 61 61 0 1 294 81 68
normalized size 1 1. 1.07 1.07 0. 0.02 5.16 1.42 1.19
time (sec) N/A 0.159 0.048 0.009 0. 0.276 1.046 0.26 11.858




















Problem 491 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C B F A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 188 188 39 308 0 630 24 0 185
normalized size 1 1. 0.21 1.64 0. 3.35 0.13 0. 0.98
time (sec) N/A 0.397 0.046 0.047 0. 0.289 1.766 0. 36.341




















Problem 492 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 60 60 27 28 88 88 61 41 60
normalized size 1 1. 0.45 0.47 1.47 1.47 1.02 0.68 1.
time (sec) N/A 0.232 0.023 0.012 0.799 0.256 0.823 0.26 57.896




















Problem 493 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A F A C A A A F F(-1)
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 27 0 27 250 88 88 61 0 0
normalized size 1 0. 1. 9.26 3.26 3.26 2.26 0. 0.
time (sec) N/A 0.549 0.014 0.04 0.813 0.258 1.067 0. 0.




















Problem 494 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A F A B A A A A F(-1)
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 27 0 27 112 88 88 61 150 0
normalized size 1 0. 1. 4.15 3.26 3.26 2.26 5.56 0.
time (sec) N/A 0.787 0.014 0.024 0.811 0.277 0.952 0.262 0.










2.2 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 [412] had the largest ratio of [ 0.8235 ]

Table 1: Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac{\text{number of rules}}{\text{integrand leaf size}}\)







1 A 3 2 1. 24 0.083







2 A 3 3 1. 29 0.103







3 A 2 2 1. 29 0.069







4 A 2 2 1. 29 0.069







5 A 1 0 1. 27 0.







6 A 2 2 1. 29 0.069







7 A 2 2 1. 29 0.069







8 A 2 2 1. 29 0.069







9 A 3 2 1. 27 0.074







10 A 3 2 1. 27 0.074







11 A 1 0 1. 25 0.







12 A 7 7 1. 27 0.259







13 A 8 8 1. 27 0.296







14 A 9 8 1. 27 0.296







15 A 3 2 1. 46 0.043







16 A 3 2 1. 46 0.043







17 A 1 0 1. 44 0.







18 A 2 1 1. 46 0.022







19 A 2 1 1. 46 0.022







20 A 2 1 1. 46 0.022







21 A 5 4 1. 11 0.364







22 A 5 4 1. 17 0.235







23 A 2 2 1. 7 0.286







24 A 3 2 1. 13 0.154







25 A 5 5 1. 11 0.454







26 A 7 7 1. 16 0.438







27 A 6 6 1. 9 0.667







28 A 2 2 1. 7 0.286







29 A 3 3 1. 13 0.231







30 A 3 3 1.11 11 0.273







31 A 3 3 1. 16 0.188







32 A 2 2 1.26 9 0.222







33 A 3 2 1. 29 0.069







34 A 2 1 1. 29 0.034







35 A 2 1 1. 29 0.034







36 A 1 0 1. 27 0.







37 A 10 6 1. 29 0.207







38 A 11 7 1. 29 0.241







39 A 3 2 1. 32 0.062







40 A 2 1 1. 32 0.031







41 A 2 1 1. 32 0.031







42 A 1 0 1. 30 0.







43 A 4 3 1. 32 0.094







44 A 5 4 1. 32 0.125







45 A 2 1 1. 17 0.059







46 A 2 1 1. 17 0.059







47 A 2 1 1. 17 0.059







48 A 1 0 1. 15 0.







49 A 16 9 1. 17 0.529







50 A 18 11 1. 17 0.647







51 A 2 1 1. 17 0.059







52 A 2 1 1. 17 0.059







53 A 2 1 1. 17 0.059







54 A 1 0 1. 15 0.







55 A 15 9 1. 17 0.529







56 A 17 11 1. 17 0.647







57 A 2 1 1. 22 0.045







58 A 2 1 1. 22 0.045







59 A 2 1 1. 22 0.045







60 A 1 0 1. 20 0.







61 A 16 9 1. 22 0.409







62 A 18 11 1. 22 0.5







63 A 2 2 1. 51 0.039







64 A 2 2 1. 51 0.039







65 B 1 0 4.36 49 0.







66 A 2 2 1. 51 0.039







67 A 2 2 1. 51 0.039







68 A 2 2 1. 51 0.039







69 A 6 4 1. 13 0.308







70 A 3 2 1. 19 0.105







71 A 3 2 1. 19 0.105







72 A 3 2 1. 19 0.105







73 A 1 0 1. 17 0.







74 A 5 2 1. 19 0.105







75 A 7 3 1. 19 0.158







76 A 10 3 1. 19 0.158







77 B 15 7 2.25 17 0.412







78 A 6 5 1. 15 0.333







79 A 6 5 1. 15 0.333







80 A 4 4 1. 13 0.308







81 A 2 2 1. 11 0.182







82 A 6 6 1. 15 0.4







83 A 7 6 1. 15 0.4







84 A 7 6 1. 15 0.4







85 A 2 2 1. 13 0.154







86 A 3 3 1. 13 0.231







87 A 4 3 1. 13 0.231







88 A 2 2 1. 19 0.105







89 A 2 2 1. 11 0.182







90 A 3 3 1. 11 0.273







91 A 4 3 1. 11 0.273







92 A 2 2 1. 13 0.154







93 A 3 3 1. 13 0.231







94 A 4 3 1. 13 0.231







95 A 2 2 1. 11 0.182







96 A 3 3 1. 11 0.273







97 A 4 3 1. 11 0.273







98 A 3 2 1. 15 0.133







99 A 4 3 1. 13 0.231







100 A 4 4 1. 17 0.235







101 A 4 4 1. 19 0.21







102 A 4 4 1. 17 0.235







103 A 11 9 1. 17 0.529







104 A 9 8 1. 17 0.471







105 A 7 7 1. 15 0.467







106 A 7 7 1. 13 0.538







107 A 11 9 1.06 17 0.529







108 A 11 9 0.99 17 0.529







109 A 11 9 1. 17 0.529







110 A 16 11 1. 17 0.647







111 A 14 10 1. 17 0.588







112 A 14 10 1. 15 0.667







113 A 10 7 1. 13 0.538







114 A 18 12 1. 17 0.706







115 A 18 12 1. 17 0.706







116 A 3 2 1. 22 0.091







117 A 2 1 1. 22 0.045







118 A 2 1 1. 22 0.045







119 A 1 0 1. 20 0.







120 A 4 3 1. 22 0.136







121 A 5 4 1. 22 0.182







122 A 6 5 1. 22 0.227







123 A 2 1 1. 24 0.042







124 A 2 1 1. 24 0.042







125 A 2 1 1. 24 0.042







126 A 2 1 1. 22 0.045







127 A 8 7 1. 24 0.292







128 A 10 9 1. 24 0.375







129 A 12 10 1. 24 0.417







130 A 2 1 1. 26 0.038







131 A 2 1 1. 26 0.038







132 A 2 1 1. 26 0.038







133 A 2 1 1. 24 0.042







134 A 9 8 1. 26 0.308







135 A 11 10 1. 26 0.385







136 A 14 5 1. 46 0.109







137 A 14 5 1. 46 0.109







138 A 8 3 1. 46 0.065







139 A 14 5 1. 44 0.114







140 A 14 5 1. 42 0.119







141 A 14 5 1. 46 0.109







142 A 14 5 0.99 46 0.109







143 A 14 6 1. 26 0.231







144 A 14 6 1. 26 0.231







145 A 14 6 1. 26 0.231







146 A 8 4 1. 26 0.154







147 A 14 6 1. 24 0.25







148 A 14 6 1. 22 0.273







149 A 14 6 1. 26 0.231







150 A 14 6 1. 26 0.231







151 A 23 7 1. 26 0.269







152 A 23 7 1. 26 0.269







153 A 14 6 1. 26 0.231







154 A 17 5 1. 26 0.192







155 A 23 7 1. 26 0.269







156 A 23 7 1. 26 0.269







157 A 23 7 1. 26 0.269







158 A 2 1 1. 52 0.019







159 A 4 3 1. 52 0.058







160 A 1 1 1. 18 0.056







161 A 1 1 1. 23 0.043







162 A 1 1 1. 23 0.043







163 A 3 3 1. 29 0.103







164 A 1 1 1. 18 0.056







165 A 4 3 1. 20 0.15







166 A 4 3 1. 20 0.15







167 A 4 3 1. 22 0.136







168 A 1 1 1. 18 0.056







169 A 1 1 1. 23 0.043







170 A 1 1 1. 23 0.043







171 A 3 3 1. 29 0.103







172 A 1 1 1. 18 0.056







173 A 1 1 1. 25 0.04







174 C 7 3 4.3 38 0.079







175 A 1 1 1. 27 0.037







176 A 1 1 1. 31 0.032







177 A 2 1 1. 54 0.019







178 A 3 1 1. 54 0.019







179 A 5 4 1. 54 0.074







180 A 1 1 1. 30 0.033







181 A 1 1 1. 29 0.034







182 A 1 1 1. 28 0.036







183 A 1 1 1. 21 0.048







184 A 1 1 1. 20 0.05







185 A 1 1 1. 21 0.048







186 A 1 1 1. 26 0.038







187 A 1 1 1. 25 0.04







188 A 1 1 1. 26 0.038







189 A 1 1 1. 24 0.042







190 A 1 1 1. 24 0.042







191 A 1 1 1. 23 0.043







192 A 1 1 1. 30 0.033







193 A 1 1 1. 29 0.034







194 A 1 1 1. 28 0.036







195 A 1 1 1. 21 0.048







196 A 1 1 1. 21 0.048







197 A 1 1 1. 20 0.05







198 A 1 1 1. 26 0.038







199 A 1 1 1. 25 0.04







200 A 1 1 1. 26 0.038







201 A 1 1 1. 22 0.045







202 A 1 1 1. 24 0.042







203 A 1 1 1. 23 0.043







204 A 1 1 1. 23 0.043







205 A 1 1 1. 19 0.053







206 A 2 1 1. 22 0.045







207 A 2 1 1. 23 0.043







208 A 2 1 1. 22 0.045







209 A 2 1 1. 23 0.043







210 A 2 1 1. 24 0.042







211 A 2 1 1. 25 0.04







212 A 2 1 1. 31 0.032







213 A 2 1 1. 32 0.031







214 A 2 1 1. 35 0.029







215 A 2 1 1. 36 0.028







216 A 2 1 1. 24 0.042







217 A 2 1 1. 31 0.032







218 A 2 1 1. 35 0.029







219 A 1 1 1. 22 0.045







220 A 1 1 1. 18 0.056







221 B 3 2 2.91 26 0.077







222 B 2 1 2.91 28 0.036







223 A 1 1 1. 18 0.056







224 A 1 1 1. 20 0.05







225 A 1 1 1. 21 0.048







226 A 3 3 1. 52 0.058







227 A 9 5 1. 38 0.132







228 A 3 2 1. 32 0.062







229 A 4 3 1. 33 0.091







230 A 3 2 1. 34 0.059







231 A 6 6 1. 43 0.14







232 A 1 1 1. 16 0.062







233 B 15 7 2.25 25 0.28







234 A 1 1 1. 56 0.018







235 A 1 1 1. 51 0.02







236 A 1 1 1. 49 0.02







237 A 1 1 1. 46 0.022







238 A 1 1 1. 48 0.021







239 A 1 1 1. 49 0.02







240 A 1 1 1. 48 0.021







241 A 1 1 1. 48 0.021







242 A 10 5 1. 35 0.143







243 A 10 5 1. 35 0.143







244 A 10 5 1. 35 0.143







245 A 10 5 1. 33 0.152







246 A 10 5 1. 32 0.156







247 A 13 6 1. 35 0.171







248 A 13 6 1. 35 0.171







249 A 13 6 1. 35 0.171







250 A 13 6 1. 35 0.171







251 A 13 6 1. 35 0.171







252 A 11 6 1. 33 0.182







253 A 9 5 1. 32 0.156







254 A 13 6 1. 35 0.171







255 A 13 6 1. 35 0.171







256 A 13 6 1. 35 0.171







257 A 2 2 1. 40 0.05







258 A 6 5 1. 20 0.25







259 A 3 2 1. 20 0.1







260 A 3 2 1. 20 0.1







261 A 2 1 1. 16 0.062







262 A 5 4 1. 22 0.182







263 A 3 2 1. 21 0.095







264 A 6 5 1. 26 0.192







265 A 2 1 1. 20 0.05







266 A 2 1 1. 11 0.091







267 A 4 3 1. 22 0.136







268 A 3 2 1. 21 0.095







269 A 3 2 1. 25 0.08







270 A 5 4 1. 22 0.182







271 A 5 5 1. 31 0.161







272 A 3 2 1. 21 0.095







273 A 4 3 1. 33 0.091







274 A 4 4 1. 14 0.286







275 A 7 6 1. 33 0.182







276 A 7 6 1. 29 0.207







277 A 6 3 1. 44 0.068







278 A 3 2 1. 15 0.133







279 A 5 4 1. 15 0.267







280 A 4 3 1. 18 0.167







281 A 3 2 1. 20 0.1







282 A 5 4 1. 26 0.154







283 A 3 2 1. 13 0.154







284 A 3 2 1. 18 0.111







285 A 2 1 1. 26 0.038







286 A 5 5 1. 19 0.263







287 A 5 5 1. 24 0.208







288 A 8 6 1. 20 0.3







289 A 8 6 1. 18 0.333







290 A 5 3 1. 19 0.158







291 A 3 2 1. 13 0.154







292 A 6 5 1. 22 0.227







293 A 6 5 1. 24 0.208







294 A 2 1 1. 29 0.034







295 A 2 1 1. 30 0.033







296 A 2 1 1. 19 0.053







297 A 4 4 1. 16 0.25







298 A 10 5 1. 36 0.139







299 A 2 1 1. 21 0.048







300 A 5 4 1. 16 0.25







301 A 2 1 1. 24 0.042







302 A 2 1 1. 21 0.048







303 A 2 1 1. 24 0.042







304 A 6 5 1. 26 0.192







305 A 3 2 1. 25 0.08







306 A 2 1 1. 29 0.034







307 A 6 5 1. 20 0.25







308 A 14 9 1. 32 0.281







309 A 4 4 1. 23 0.174







310 A 6 5 1. 26 0.192







311 A 4 3 1. 26 0.115







312 A 8 4 1. 25 0.16







313 A 6 3 1. 23 0.13







314 A 7 6 1. 23 0.261







315 A 5 3 1.18 20 0.15







316 A 3 2 1. 25 0.08







317 A 3 2 1. 22 0.091







318 A 2 1 1. 24 0.042







319 A 6 5 1. 24 0.208







320 A 6 5 1. 43 0.116







321 A 7 5 1.25 50 0.1







322 A 3 2 1. 16 0.125







323 A 6 5 1. 15 0.333







324 A 6 4 1. 20 0.2







325 A 3 2 1. 24 0.083







326 A 5 3 1. 27 0.111







327 A 5 5 1. 26 0.192







328 A 3 2 1. 16 0.125







329 A 11 8 1.32 22 0.364







330 A 5 4 1. 24 0.167







331 A 4 3 1. 26 0.115







332 A 5 3 1. 36 0.083







333 A 4 3 1. 26 0.115







334 A 10 8 1. 20 0.4







335 A 6 6 1. 27 0.222







336 A 7 7 1. 20 0.35







337 A 8 7 1. 25 0.28







338 A 8 7 1. 22 0.318







339 A 2 1 1. 18 0.056







340 A 5 4 1. 20 0.2







341 A 10 8 1. 20 0.4







342 A 16 11 1. 20 0.55







343 A 3 2 1. 14 0.143







344 A 2 2 1. 20 0.1







345 A 14 8 1. 20 0.4







346 A 4 3 1. 26 0.115







347 A 4 3 1. 24 0.125







348 A 6 4 1. 30 0.133







349 A 4 4 1. 21 0.19







350 A 2 1 1. 15 0.067







351 A 4 3 1. 18 0.167







352 A 3 2 1. 22 0.091







353 A 3 2 1. 16 0.125







354 A 6 5 1. 16 0.312







355 A 3 2 1. 25 0.08







356 A 3 2 1. 19 0.105







357 A 2 1 1. 23 0.043







358 A 5 4 1. 23 0.174







359 A 5 4 1. 21 0.19







360 A 10 6 1. 28 0.214







361 A 2 1 1. 24 0.042







362 A 6 5 1. 26 0.192







363 A 2 1 1. 14 0.071







364 A 5 3 1. 16 0.188







365 A 5 5 1. 16 0.312







366 A 7 5 1. 43 0.116







367 A 17 12 1. 26 0.462







368 A 18 12 1. 16 0.75







369 A 3 2 1. 15 0.133







370 A 4 3 1. 15 0.2







371 A 3 2 1. 17 0.118







372 A 4 3 1. 15 0.2







373 A 4 3 1. 15 0.2







374 A 4 3 1. 18 0.167







375 A 3 2 1. 20 0.1







376 A 7 6 1. 29 0.207







377 A 4 3 1. 22 0.136







378 A 6 4 1. 16 0.25







379 A 6 4 1. 16 0.25







380 A 5 4 1. 14 0.286







381 A 4 3 1. 12 0.25







382 A 4 3 1. 16 0.188







383 A 6 5 1. 16 0.312







384 A 4 3 1. 16 0.188







385 A 4 3 1. 16 0.188







386 A 4 3 1. 16 0.188







387 A 8 5 1. 17 0.294







388 A 8 5 1. 19 0.263







389 A 8 5 1. 15 0.333







390 A 8 5 1. 17 0.294







391 A 16 10 1. 23 0.435







392 A 17 10 1. 21 0.476







393 F 0 0 N/A 0 N/A







394 A 15 10 1. 17 0.588







395 A 13 9 1. 17 0.529







396 A 13 9 1. 15 0.6







397 A 9 6 1. 9 0.667







398 A 17 11 1. 17 0.647







399 A 17 11 1. 17 0.647







400 A 17 11 1. 17 0.647







401 A 16 12 1. 17 0.706







402 A 14 10 1. 17 0.588







403 A 14 10 1. 15 0.667







404 A 10 7 1. 9 0.778







405 A 31 13 1. 17 0.765







406 A 31 13 1. 17 0.765







407 A 31 13 1. 17 0.765







408 A 15 11 1. 17 0.647







409 A 15 10 1. 17 0.588







410 A 15 10 1. 15 0.667







411 A 11 7 1. 9 0.778







412 A 46 14 1. 17 0.824







413 A 46 14 1. 17 0.824







414 A 46 14 1. 17 0.824







415 A 4 4 1. 14 0.286







416 A 5 5 1. 13 0.385







417 A 4 4 1. 16 0.25







418 A 5 5 1. 18 0.278







419 A 3 2 1. 14 0.143







420 A 4 3 1. 16 0.188







421 A 2 2 1. 11 0.182







422 A 1 0 1. 17 0.







423 A 1 1 1. 11 0.091







424 B 1 0 6.23 73 0.







425 A 11 7 1. 13 0.538







426 A 13 8 1. 19 0.421







427 A 3 2 1. 15 0.133







428 A 3 2 1. 11 0.182







429 A 1 0 1. 11 0.







430 A 1 0 1. 11 0.







431 A 5 4 1. 16 0.25







432 A 2 1 1. 16 0.062







433 A 4 3 1. 15 0.2







434 A 1 1 1. 15 0.067







435 A 1 1 1. 20 0.05







436 A 3 2 1. 15 0.133







437 A 6 5 1. 13 0.385







438 A 1 1 1. 22 0.045







439 A 3 2 1. 18 0.111







440 A 3 3 1. 20 0.15







441 A 3 2 1. 16 0.125







442 A 6 5 1. 17 0.294







443 A 1 1 1. 17 0.059







444 A 4 2 1. 25 0.08







445 A 4 4 1. 20 0.2







446 A 3 2 1. 18 0.111







447 A 6 5 1. 15 0.333







448 A 2 1 1. 11 0.091







449 A 5 5 1. 13 0.385







450 A 3 2 1. 20 0.1







451 A 2 1 1. 16 0.062







452 A 4 3 1. 16 0.188







453 A 2 1 1. 16 0.062







454 A 1 1 1. 9 0.111







455 A 2 2 1. 7 0.286







456 A 2 2 1. 11 0.182







457 A 1 1 1. 7 0.143







458 A 1 1 1. 9 0.111







459 A 1 1 1. 9 0.111







460 A 2 2 1. 10 0.2







461 A 2 1 1. 13 0.077







462 A 2 1 1. 11 0.091







463 A 2 1 1. 14 0.071







464 A 4 4 1. 16 0.25







465 A 2 1 1. 7 0.143







466 A 2 1 1. 11 0.091







467 A 5 5 1. 13 0.385







468 A 5 5 1. 13 0.385







469 A 5 4 1. 14 0.286







470 A 1 1 1. 13 0.077







471 A 3 2 1. 20 0.1







472 A 4 4 1. 18 0.222







473 A 2 1 1. 12 0.083







474 A 2 1 1. 10 0.1







475 A 3 2 1. 16 0.125







476 A 2 1 1. 11 0.091







477 A 1 1 1. 7 0.143







478 A 2 1 1. 15 0.067







479 A 2 1 1. 12 0.083







480 A 4 3 1.24 16 0.188







481 A 2 1 1. 11 0.091







482 A 2 1 1. 17 0.059







483 A 2 1 1. 29 0.034







484 A 2 1 1. 18 0.056







485 A 3 2 1. 14 0.143







486 A 2 1 1. 24 0.042







487 A 2 1 1. 11 0.091







488 A 3 2 1. 18 0.111







489 A 3 3 1. 15 0.2







490 A 3 3 1. 16 0.188







491 A 10 7 1. 15 0.467







492 A 5 2 1. 50 0.04







493 F 0 0 N/A 0 N/A







494 F 0 0 N/A 0 N/A