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 A F A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 28 28 28 29 0 65 0 46 24
normalized size 1 1. 1. 1.04 0. 2.32 0. 1.64 0.86
time (sec) N/A 0.072 0.04 0.132 0. 0.204 0. 0.199 4.724




















Problem 2 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 2 2 2 3 3 3 2 3 2
normalized size 1 1. 1. 1.5 1.5 1.5 1. 1.5 1.
time (sec) N/A 0.003 0.004 0.001 1.558 0.193 0.072 0.196 0.062




















Problem 3 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 19 34 34 8 34 12
normalized size 1 1. 1. 1.36 2.43 2.43 0.57 2.43 0.86
time (sec) N/A 0.019 0.014 0. 1.425 0.204 1.533 0.199 1.516




















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










grade A A C A F F A F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 252 252 122 158 0 0 31 0 202
normalized size 1 1. 0.48 0.63 0. 0. 0.12 0. 0.8
time (sec) N/A 0.136 0.065 0.11 0. 0. 0.828 0. 5.087




















Problem 5 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 13 39 39 31 41 14
normalized size 1 1. 1. 0.81 2.44 2.44 1.94 2.56 0.88
time (sec) N/A 0.026 0.017 0.029 1.437 0.216 1.592 0.199 1.799




















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










grade A F C C F A F F F
verified N/A N/A NO TBD TBD TBD TBD TBD TBD
size 78 0 1226 1290 0 97 0 0 0
normalized size 1 0. 15.72 16.54 0. 1.24 0. 0. 0.
time (sec) N/A 0.076 2.869 1.283 0. 0.287 0. 0. 0.




















Problem 7 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 13 17 194 22 10 22 0
normalized size 1 1. 1. 1.31 14.92 1.69 0.77 1.69 0.
time (sec) N/A 0.112 0.024 0.019 1.441 0.217 0.192 0.201 0.




















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










grade A A A A A A F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 42 43 196 72 0 0 34
normalized size 1 1. 1. 1.02 4.67 1.71 0. 0. 0.81
time (sec) N/A 0.083 0.02 0.045 1.953 0.23 0. 0. 4.8




















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










grade A A A A A F A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 2 2 2 3 18 0 2 3 2
normalized size 1 1. 1. 1.5 9. 0. 1. 1.5 1.
time (sec) N/A 0.017 0.006 0.007 1.571 0. 0.832 0.198 0.621




















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










grade A A A F A F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 17 0 28 0 0 0 0
normalized size 1 1. 1. 0. 1.65 0. 0. 0. 0.
time (sec) N/A 1.015 0.124 0.024 1.517 0. 0. 0. 0.




















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










grade A A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 13 13 13 12 15 0 12 0 12
normalized size 1 1. 1. 0.92 1.15 0. 0.92 0. 0.92
time (sec) N/A 0.045 0.033 0.007 1.429 0. 2.308 0. 2.503




















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










grade A F A F F F(-2) F(-2) F F(-1)
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 13 0 13 0 0 0 0 0 0
normalized size 1 0. 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 1.01 0.033 0.036 0. 0. 0. 0. 0.




















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










grade A A A F A F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 23 0 27 0 0 32 0
normalized size 1 1. 1. 0. 1.17 0. 0. 1.39 0.
time (sec) N/A 0.397 0.033 0.052 1.625 0. 0. 0.211 0.




















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










grade A A A A F A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 41 23 0 30 24 0 36
normalized size 1 1. 1.05 0.59 0. 0.77 0.62 0. 0.92
time (sec) N/A 0.048 0.018 0.024 0. 0.218 0.142 0. 8.637










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 [8] had the largest ratio of [ 0.6 ]

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 6 6 1. 29 0.207







2 A 1 1 1. 7 0.143







3 A 3 3 1. 13 0.231







4 A 3 3 1. 13 0.231







5 A 3 3 1. 15 0.2







6 F 0 0 N/A 0 N/A







7 A 6 4 1. 11 0.364







8 A 7 6 1. 10 0.6







9 A 1 1 1. 6 0.167







10 A 8 4 1. 43 0.093







11 A 2 1 1. 18 0.056







12 F 0 0 N/A 0 N/A







13 A 6 4 1. 31 0.129







14 A 1 1 1. 28 0.036