Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
  2.1.8 Mupad
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 4, 7, 8, 9 }

B grade: { 3 }

C grade: { }

F grade: { 5, 6 }

2.1.2 Mathematica

A grade: { 1, 3, 4, 5, 8, 9 }

B grade: { 2, 6, 7 }

C grade: { }

F grade: { }

2.1.3 Maple

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9 }

B grade: { }

C grade: { }

F grade: { }

2.1.4 Maxima

A grade: { 1, 5, 7, 8 }

B grade: { 3, 4, 6 }

C grade: { }

F grade: { 2, 9 }

2.1.5 FriCAS

A grade: { 1, 5, 6, 7, 8, 9 }

B grade: { 2, 3, 4 }

C grade: { }

F grade: { }

2.1.6 Sympy

A grade: { 1, 4, 8 }

B grade: { 7 }

C grade: { 2 }

F grade: { 3, 5, 6, 9 }

2.1.7 Giac

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9 }

B grade: { }

C grade: { }

F grade: { }

2.1.8 Mupad

A grade: { }

B grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9 }

C grade: { }

F grade: { }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\)











Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 11 10 13 15 22 14 18
normalized size 1 1.00 0.69 0.62 0.81 0.94 1.38 0.88 1.12
time (sec) N/A 0.013 0.015 0.020 1.074 0.448 0.253 1.001 0.266




















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B A F B C A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 19 38 46 13 0 48 94 18 12
normalized size 1 2.00 2.42 0.68 0.00 2.53 4.95 0.95 0.63
time (sec) N/A 3.086 0.136 0.184 0.000 0.466 47.006 1.231 0.307




















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A B A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 19 42 19 35 53 43 0 36 32
normalized size 1 2.21 1.00 1.84 2.79 2.26 0.00 1.89 1.68
time (sec) N/A 0.630 0.098 0.132 1.480 0.473 0.000 1.258 0.848




















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A B B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 19 31 19 26 39 41 24 26 23
normalized size 1 1.63 1.00 1.37 2.05 2.16 1.26 1.37 1.21
time (sec) N/A 2.062 0.181 0.169 1.514 0.447 1.100 1.019 0.549




















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A F A A A A F(-1) A B
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 43 0 61 17 63 31 0 18 27
normalized size 1 0.00 1.42 0.40 1.47 0.72 0.00 0.42 0.63
time (sec) N/A 0.804 0.130 0.099 11.092 0.451 0.000 0.963 0.304




















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A F B A B A F(-1) A B
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 25 0 63 19 63 37 0 16 25
normalized size 1 0.00 2.52 0.76 2.52 1.48 0.00 0.64 1.00
time (sec) N/A 0.785 0.136 0.117 11.019 0.458 0.000 1.089 0.303




















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 79 12 15 13 27 25 20
normalized size 1 1.00 5.64 0.86 1.07 0.93 1.93 1.79 1.43
time (sec) N/A 0.011 0.016 0.026 1.135 0.447 0.272 1.139 0.221




















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 34 34 15 13 12 31 60 45 24
normalized size 1 1.00 0.44 0.38 0.35 0.91 1.76 1.32 0.71
time (sec) N/A 0.015 0.020 0.028 1.434 0.475 0.769 0.847 0.209




















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A F(-2) A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 54 54 50 53 0 364 0 72 68
normalized size 1 1.00 0.93 0.98 0.00 6.74 0.00 1.33 1.26
time (sec) N/A 0.068 0.086 0.084 0.000 0.504 0.000 0.909 0.319










2.3 Detailed conclusion table specific for Rubi results

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

Table 2.1:Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac {\text {number of rules}}{\text {integrand leaf size}}\)







1 A 2 2 1.00 10 0.200







2 A 43 12 2.00 27 0.444







3 B 25 7 2.21 31 0.226







4 A 32 9 1.63 35 0.257







5 F 0 0 N/A 0 N/A







6 F 0 0 N/A 0 N/A







7 A 2 2 1.00 10 0.200







8 A 3 3 1.00 10 0.300







9 A 3 3 1.00 12 0.250