[tail] [up]

Integrals 1 to 80

Detailed conclusion table per each integral is given by the 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 as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A C A A A A F F(-2) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

152 181 97 80 63 81 0 0 113 113

N.S.

1 1.19 0.64 0.53 0.41 0.53 0.00 0.00 0.74 0.74

time (sec)

N/A 0.470 0.135 0.150 0.046 0.087 0.000 0.000 0.149 23.514

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A C A A A A F F(-2) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

116 144 81 72 55 73 0 0 92 94

N.S.

1 1.24 0.70 0.62 0.47 0.63 0.00 0.00 0.79 0.81

time (sec)

N/A 0.462 0.115 0.104 0.051 0.094 0.000 0.000 0.159 23.710

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A C A A A A F F(-2) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

80 107 65 64 47 65 0 0 71 75

N.S.

1 1.34 0.81 0.80 0.59 0.81 0.00 0.00 0.89 0.94

time (sec)

N/A 0.420 0.095 0.099 0.050 0.081 0.000 0.000 0.149 24.115

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A C A A A A F F(-2) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

44 52 48 54 38 54 0 0 50 55

N.S.

1 1.18 1.09 1.23 0.86 1.23 0.00 0.00 1.14 1.25

time (sec)

N/A 0.365 0.076 0.079 0.045 0.097 0.000 0.000 0.142 24.198

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F B F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

52 39 79 80 0 115 0 0 113 182

N.S.

1 0.75 1.52 1.54 0.00 2.21 0.00 0.00 2.17 3.50

time (sec)

N/A 0.467 0.057 0.122 0.000 0.083 0.000 0.000 0.150 26.123

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A B F B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

53 102 93 91 0 128 71 0 143 71

N.S.

1 1.92 1.75 1.72 0.00 2.42 1.34 0.00 2.70 1.34

time (sec)

N/A 0.447 0.134 0.098 0.000 0.089 2.666 0.000 0.154 24.969

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

91 140 110 110 0 138 0 0 163 602

N.S.

1 1.54 1.21 1.21 0.00 1.52 0.00 0.00 1.79 6.62

time (sec)

N/A 0.485 0.110 0.098 0.000 0.094 0.000 0.000 0.153 50.680

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

127 174 129 132 0 148 0 0 187 878

N.S.

1 1.37 1.02 1.04 0.00 1.17 0.00 0.00 1.47 6.91

time (sec)

N/A 0.522 0.156 0.109 0.000 0.098 0.000 0.000 0.167 108.284

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

163 208 145 152 0 156 0 0 208 1155

N.S.

1 1.28 0.89 0.93 0.00 0.96 0.00 0.00 1.28 7.09

time (sec)

N/A 0.582 0.156 0.115 0.000 0.094 0.000 0.000 0.178 93.718

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C C F A F F(-2) B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

151 127 113 142 0 103 0 0 88 697

N.S.

1 0.84 0.75 0.94 0.00 0.68 0.00 0.00 0.58 4.62

time (sec)

N/A 0.447 0.253 0.103 0.000 0.107 0.000 0.000 0.149 49.767

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C C F A F F(-2) B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

115 90 97 118 0 95 0 0 67 521

N.S.

1 0.78 0.84 1.03 0.00 0.83 0.00 0.00 0.58 4.53

time (sec)

N/A 0.412 0.145 0.095 0.000 0.114 0.000 0.000 0.153 50.463

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C C F A F F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

74 53 75 92 0 79 0 0 41 303

N.S.

1 0.72 1.01 1.24 0.00 1.07 0.00 0.00 0.55 4.09

time (sec)

N/A 0.338 0.102 0.087 0.000 0.080 0.000 0.000 0.148 32.428

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C C F A F F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 75 92 0 77 0 0 41 184

N.S.

1 1.00 1.15 1.42 0.00 1.18 0.00 0.00 0.63 2.83

time (sec)

N/A 0.385 0.083 0.108 0.000 0.096 0.000 0.000 0.141 26.158

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A C A A A A F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

44 107 43 53 43 52 0 0 45 58

N.S.

1 2.43 0.98 1.20 0.98 1.18 0.00 0.00 1.02 1.32

time (sec)

N/A 0.417 0.064 0.099 0.048 0.097 0.000 0.000 0.153 24.134

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A C A A A A F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

80 141 60 63 51 60 0 0 66 76

N.S.

1 1.76 0.75 0.79 0.64 0.75 0.00 0.00 0.82 0.95

time (sec)

N/A 0.501 0.094 0.108 0.047 0.099 0.000 0.000 0.150 24.095

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A C A A A A F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

116 175 76 71 60 69 0 0 88 95

N.S.

1 1.51 0.66 0.61 0.52 0.59 0.00 0.00 0.76 0.82

time (sec)

N/A 0.508 0.143 0.112 0.047 0.103 0.000 0.000 0.153 23.959

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C C F A F F(-2) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

197 265 105 136 0 103 0 0 75 808

N.S.

1 1.35 0.53 0.69 0.00 0.52 0.00 0.00 0.38 4.10

time (sec)

N/A 1.705 0.213 0.155 0.000 0.105 0.000 0.000 0.150 60.738

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A B A A A A F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

78 171 52 72 42 62 0 0 58 63

N.S.

1 2.19 0.67 0.92 0.54 0.79 0.00 0.00 0.74 0.81

time (sec)

N/A 1.388 0.088 0.138 0.050 0.107 0.000 0.000 0.148 23.746

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C C F A F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

169 205 86 105 0 87 0 0 50 420

N.S.

1 1.21 0.51 0.62 0.00 0.51 0.00 0.00 0.30 2.49

time (sec)

N/A 1.065 0.109 0.136 0.000 0.089 0.000 0.000 0.147 34.074

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

85 116 89 98 0 124 0 0 129 56

N.S.

1 1.36 1.05 1.15 0.00 1.46 0.00 0.00 1.52 0.66

time (sec)

N/A 1.237 0.083 0.153 0.000 0.085 0.000 0.000 0.157 25.779

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F A F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

57 82 75 111 0 85 0 0 49 162

N.S.

1 1.44 1.32 1.95 0.00 1.49 0.00 0.00 0.86 2.84

time (sec)

N/A 0.743 0.130 0.135 0.000 0.133 0.000 0.000 0.151 26.676

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

86 107 86 110 0 138 82 0 152 323

N.S.

1 1.24 1.00 1.28 0.00 1.60 0.95 0.00 1.77 3.76

time (sec)

N/A 1.130 0.082 0.164 0.000 0.076 2.952 0.000 0.147 36.003

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

57 60 52 73 46 61 0 0 54 67

N.S.

1 1.05 0.91 1.28 0.81 1.07 0.00 0.00 0.95 1.18

time (sec)

N/A 1.058 0.092 0.151 0.046 0.091 0.000 0.000 0.153 23.885

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

147 141 121 131 0 146 0 0 171 885

N.S.

1 0.96 0.82 0.89 0.00 0.99 0.00 0.00 1.16 6.02

time (sec)

N/A 1.145 0.157 0.171 0.000 0.112 0.000 0.000 0.158 81.040

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

183 172 69 84 56 69 0 0 75 86

N.S.

1 0.94 0.38 0.46 0.31 0.38 0.00 0.00 0.41 0.47

time (sec)

N/A 1.178 0.115 0.168 0.046 0.079 0.000 0.000 0.151 23.973

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

267 249 137 153 0 156 0 0 195 2480

N.S.

1 0.93 0.51 0.57 0.00 0.58 0.00 0.00 0.73 9.29

time (sec)

N/A 1.250 0.201 0.166 0.000 0.092 0.000 0.000 0.166 142.603

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

301 278 85 92 65 78 0 0 96 105

N.S.

1 0.92 0.28 0.31 0.22 0.26 0.00 0.00 0.32 0.35

time (sec)

N/A 1.254 0.114 0.161 0.046 0.073 0.000 0.000 0.157 24.298

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F A F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

139 207 65 531 0 65 0 0 72 73

N.S.

1 1.49 0.47 3.82 0.00 0.47 0.00 0.00 0.52 0.53

time (sec)

N/A 1.554 0.131 0.160 0.000 0.073 0.000 0.000 0.146 24.429

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C C F A F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

163 206 97 120 0 95 0 0 68 795

N.S.

1 1.26 0.60 0.74 0.00 0.58 0.00 0.00 0.42 4.88

time (sec)

N/A 1.352 0.176 0.448 0.000 0.081 0.000 0.000 0.153 61.704

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A B A C F A F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

51 117 48 269 0 54 0 0 51 57

N.S.

1 2.29 0.94 5.27 0.00 1.06 0.00 0.00 1.00 1.12

time (sec)

N/A 1.198 0.076 0.135 0.000 0.072 0.000 0.000 0.145 23.962

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C C F A F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

94 122 75 94 0 79 0 0 43 407

N.S.

1 1.30 0.80 1.00 0.00 0.84 0.00 0.00 0.46 4.33

time (sec)

N/A 0.893 0.092 0.431 0.000 0.087 0.000 0.000 0.144 34.533

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A B F A F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

65 93 72 2616 0 115 0 0 91 47

N.S.

1 1.43 1.11 40.25 0.00 1.77 0.00 0.00 1.40 0.72

time (sec)

N/A 0.744 0.062 0.121 0.000 0.074 0.000 0.000 0.149 26.236

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C C F A F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

46 52 74 96 0 76 0 0 69 184

N.S.

1 1.13 1.61 2.09 0.00 1.65 0.00 0.00 1.50 4.00

time (sec)

N/A 0.989 0.066 0.392 0.000 0.103 0.000 0.000 0.149 25.883

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

72 79 92 96 0 128 0 0 424 323

N.S.

1 1.10 1.28 1.33 0.00 1.78 0.00 0.00 5.89 4.49

time (sec)

N/A 1.015 0.095 0.413 0.000 0.076 0.000 0.000 0.156 38.741

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

116 112 43 58 0 52 0 0 67 58

N.S.

1 0.97 0.37 0.50 0.00 0.45 0.00 0.00 0.58 0.50

time (sec)

N/A 1.072 0.070 0.457 0.000 0.091 0.000 0.000 0.159 24.258

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

200 189 110 115 0 138 0 0 357 1511

N.S.

1 0.94 0.55 0.58 0.00 0.69 0.00 0.00 1.78 7.56

time (sec)

N/A 1.207 0.152 0.470 0.000 0.087 0.000 0.000 0.163 87.931

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

233 220 60 68 0 60 0 0 107 75

N.S.

1 0.94 0.26 0.29 0.00 0.26 0.00 0.00 0.46 0.32

time (sec)

N/A 1.191 0.096 0.454 0.000 0.083 0.000 0.000 0.157 24.573

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

320 297 129 137 0 148 0 0 391 2479

N.S.

1 0.93 0.40 0.43 0.00 0.46 0.00 0.00 1.22 7.75

time (sec)

N/A 1.257 0.183 0.516 0.000 0.072 0.000 0.000 0.169 147.020

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

353 328 76 76 0 69 0 0 136 91

N.S.

1 0.93 0.22 0.22 0.00 0.20 0.00 0.00 0.39 0.26

time (sec)

N/A 1.270 0.120 0.489 0.000 0.076 0.000 0.000 0.166 25.066

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A F A F F(-2) F F F F F(-1)

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

146 0 145 0 0 0 0 0 167 0

N.S.

1 0.00 0.99 0.00 0.00 0.00 0.00 0.00 1.14 0.00

time (sec)

N/A 0.000 0.419 0.000 0.000 0.000 0.000 0.000 0.203 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A F A F F(-2) F F F F F(-1)

verified

N/A N/A No N/A TBD TBD TBD TBD TBD TBD

size

125 0 145 0 0 0 0 0 101 0

N.S.

1 0.00 1.16 0.00 0.00 0.00 0.00 0.00 0.81 0.00

time (sec)

N/A 0.000 0.343 0.000 0.000 0.000 0.000 0.000 0.183 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A C C F F F F F F F(-1)

verified

N/A No No N/A TBD TBD TBD TBD TBD TBD

size

1 91 145 0 0 0 0 0 35 0

N.S.

1 91.00 145.00 0.00 0.00 0.00 0.00 0.00 35.00 0.00

time (sec)

N/A 0.427 0.347 0.000 0.000 0.000 0.000 0.000 0.165 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A F A F F F F F F F(-1)

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

131 0 131 0 0 0 0 0 27 0

N.S.

1 0.00 1.00 0.00 0.00 0.00 0.00 0.00 0.21 0.00

time (sec)

N/A 0.000 0.399 0.000 0.000 0.000 0.000 0.000 0.182 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A F A F F F F F(-2) F F(-1)

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

155 0 137 0 0 0 0 0 40 0

N.S.

1 0.00 0.88 0.00 0.00 0.00 0.00 0.00 0.26 0.00

time (sec)

N/A 0.000 0.443 0.000 0.000 0.000 0.000 0.000 0.337 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A F A F B B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

115 95 111 137 0 116 0 202 92 521

N.S.

1 0.83 0.97 1.19 0.00 1.01 0.00 1.76 0.80 4.53

time (sec)

N/A 0.483 0.249 0.198 0.000 0.088 0.000 0.221 0.188 52.246

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A C A A A A F B B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

44 71 56 60 42 60 0 185 58 57

N.S.

1 1.61 1.27 1.36 0.95 1.36 0.00 4.20 1.32 1.30

time (sec)

N/A 0.417 0.115 0.090 0.050 0.109 0.000 0.193 0.148 24.348

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A F A F B B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

79 63 92 112 0 102 0 132 64 306

N.S.

1 0.80 1.16 1.42 0.00 1.29 0.00 1.67 0.81 3.87

time (sec)

N/A 0.417 0.125 0.111 0.000 0.087 0.000 0.149 0.172 33.092

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F B F F(-2) B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

61 68 100 127 0 133 0 0 47 182

N.S.

1 1.11 1.64 2.08 0.00 2.18 0.00 0.00 0.77 2.98

time (sec)

N/A 0.447 0.079 0.109 0.000 0.080 0.000 0.000 0.152 26.352

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F B B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

73 71 22 103 0 102 0 250 63 185

N.S.

1 0.97 0.30 1.41 0.00 1.40 0.00 3.42 0.86 2.53

time (sec)

N/A 0.442 0.106 0.115 0.000 0.079 0.000 165.249 0.152 26.910

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F B A F(-2) B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

55 97 105 129 0 146 82 0 66 71

N.S.

1 1.76 1.91 2.35 0.00 2.65 1.49 0.00 1.20 1.29

time (sec)

N/A 0.476 0.417 0.116 0.000 0.145 3.922 0.000 0.162 24.558

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A C A A A A F B B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

44 103 51 62 49 58 0 170 53 58

N.S.

1 2.34 1.16 1.41 1.11 1.32 0.00 3.86 1.20 1.32

time (sec)

N/A 0.468 0.089 0.116 0.051 0.100 0.000 0.221 0.169 24.171

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F B F F(-1) B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

93 126 121 158 0 156 0 0 90 602

N.S.

1 1.35 1.30 1.70 0.00 1.68 0.00 0.00 0.97 6.47

time (sec)

N/A 0.504 0.184 0.115 0.000 0.080 0.000 0.000 0.170 51.916

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A C A A A A F B B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

80 132 68 72 57 66 0 326 78 76

N.S.

1 1.65 0.85 0.90 0.71 0.82 0.00 4.08 0.98 0.95

time (sec)

N/A 0.524 0.113 0.129 0.046 0.088 0.000 0.225 0.172 24.241

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F A F F(-1) B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

129 155 140 188 0 166 0 0 116 878

N.S.

1 1.20 1.09 1.46 0.00 1.29 0.00 0.00 0.90 6.81

time (sec)

N/A 0.535 0.222 0.122 0.000 0.089 0.000 0.000 0.171 106.587

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A F A F F(-2) F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

156 99 143 114 0 79 0 0 92 0

N.S.

1 0.63 0.92 0.73 0.00 0.51 0.00 0.00 0.59 0.00

time (sec)

N/A 0.467 0.365 0.789 0.000 0.114 0.000 0.000 0.206 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A F A F F(-2) F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

193 91 140 136 0 91 0 0 69 0

N.S.

1 0.47 0.73 0.70 0.00 0.47 0.00 0.00 0.36 0.00

time (sec)

N/A 0.517 0.507 0.497 0.000 0.075 0.000 0.000 0.219 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A F A F F(-2) F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

100 67 112 102 0 62 0 0 61 0

N.S.

1 0.67 1.12 1.02 0.00 0.62 0.00 0.00 0.61 0.00

time (sec)

N/A 0.396 0.277 0.391 0.000 0.080 0.000 0.000 0.186 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A F F F F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

185 107 135 132 0 0 0 0 65 0

N.S.

1 0.58 0.73 0.71 0.00 0.00 0.00 0.00 0.35 0.00

time (sec)

N/A 0.560 0.356 0.565 0.000 0.000 0.000 0.000 0.196 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A F A F F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

105 94 101 104 0 64 0 0 69 0

N.S.

1 0.90 0.96 0.99 0.00 0.61 0.00 0.00 0.66 0.00

time (sec)

N/A 0.470 0.247 0.703 0.000 0.154 0.000 0.000 0.207 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B F F(-2) F F F F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD TBD

size

85 113 187 0 0 0 0 0 245 0

N.S.

1 1.33 2.20 0.00 0.00 0.00 0.00 0.00 2.88 0.00

time (sec)

N/A 0.528 0.681 0.000 0.000 0.000 0.000 0.000 0.185 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F F(-2) F F F(-2) F F(-1)

verified

N/A No No N/A TBD TBD TBD TBD TBD TBD

size

85 113 159 0 0 0 0 0 180 0

N.S.

1 1.33 1.87 0.00 0.00 0.00 0.00 0.00 2.12 0.00

time (sec)

N/A 0.482 2.205 0.000 0.000 0.000 0.000 0.000 0.265 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F F F F F F F(-1)

verified

N/A No No N/A TBD TBD TBD TBD TBD TBD

size

78 91 145 0 0 0 0 0 35 0

N.S.

1 1.17 1.86 0.00 0.00 0.00 0.00 0.00 0.45 0.00

time (sec)

N/A 0.444 0.124 0.000 0.000 0.000 0.000 0.000 0.177 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F F F F F F F(-1)

verified

N/A No No N/A TBD TBD TBD TBD TBD TBD

size

74 109 139 0 0 0 0 0 53 0

N.S.

1 1.47 1.88 0.00 0.00 0.00 0.00 0.00 0.72 0.00

time (sec)

N/A 0.568 0.762 0.000 0.000 0.000 0.000 0.000 0.174 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B F F F F F F F(-1)

verified

N/A No No N/A TBD TBD TBD TBD TBD TBD

size

78 113 161 0 0 0 0 0 135 0

N.S.

1 1.45 2.06 0.00 0.00 0.00 0.00 0.00 1.73 0.00

time (sec)

N/A 0.587 2.395 0.000 0.000 0.000 0.000 0.000 0.225 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F F(-2) F(-2) F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD TBD

size

98 133 186 0 0 0 0 0 424 0

N.S.

1 1.36 1.90 0.00 0.00 0.00 0.00 0.00 4.33 0.00

time (sec)

N/A 0.572 4.430 0.000 0.000 0.000 0.000 0.000 0.160 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F F(-2) F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD TBD

size

85 119 159 0 0 0 0 0 163 0

N.S.

1 1.40 1.87 0.00 0.00 0.00 0.00 0.00 1.92 0.00

time (sec)

N/A 0.501 0.325 0.000 0.000 0.000 0.000 0.000 0.150 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F F(-2) F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD TBD

size

109 105 164 0 0 0 0 0 157 0

N.S.

1 0.96 1.50 0.00 0.00 0.00 0.00 0.00 1.44 0.00

time (sec)

N/A 0.487 0.287 0.000 0.000 0.000 0.000 0.000 0.151 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C C F A F F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

85 76 96 116 0 102 0 0 47 0

N.S.

1 0.89 1.13 1.36 0.00 1.20 0.00 0.00 0.55 0.00

time (sec)

N/A 0.507 0.226 0.363 0.000 0.110 0.000 0.000 0.151 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F F F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD TBD

size

83 107 166 0 0 0 0 0 182 0

N.S.

1 1.29 2.00 0.00 0.00 0.00 0.00 0.00 2.19 0.00

time (sec)

N/A 0.515 0.281 0.000 0.000 0.000 0.000 0.000 0.162 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B F F F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD TBD

size

77 114 163 0 0 0 0 0 189 0

N.S.

1 1.48 2.12 0.00 0.00 0.00 0.00 0.00 2.45 0.00

time (sec)

N/A 0.511 0.288 0.000 0.000 0.000 0.000 0.000 0.168 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD TBD

size

104 89 95 0 0 0 0 0 60 0

N.S.

1 0.86 0.91 0.00 0.00 0.00 0.00 0.00 0.58 0.00

time (sec)

N/A 0.674 0.831 0.000 0.000 0.000 0.000 0.000 0.185 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

111 113 69 74 0 69 0 0 72 76

N.S.

1 1.02 0.62 0.67 0.00 0.62 0.00 0.00 0.65 0.68

time (sec)

N/A 0.758 0.238 0.288 0.000 0.073 0.000 0.000 0.170 24.840

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C C F A F F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

93 83 110 122 0 91 0 0 62 340

N.S.

1 0.89 1.18 1.31 0.00 0.98 0.00 0.00 0.67 3.66

time (sec)

N/A 0.640 0.229 0.270 0.000 0.081 0.000 0.000 0.159 33.384

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 44 52 0 49 0 0 43 44

N.S.

1 1.00 0.98 1.16 0.00 1.09 0.00 0.00 0.96 0.98

time (sec)

N/A 0.540 0.168 0.253 0.000 0.075 0.000 0.000 0.155 24.927

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C C F B F F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

32 37 68 97 0 53 0 0 41 84

N.S.

1 1.16 2.12 3.03 0.00 1.66 0.00 0.00 1.28 2.62

time (sec)

N/A 0.472 0.224 0.256 0.000 0.081 0.000 0.000 0.154 25.409

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F B F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

53 72 73 82 0 92 0 0 128 59

N.S.

1 1.36 1.38 1.55 0.00 1.74 0.00 0.00 2.42 1.11

time (sec)

N/A 0.557 0.202 0.260 0.000 0.094 0.000 0.000 0.164 25.411

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F A F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

42 46 59 65 0 62 0 0 50 37

N.S.

1 1.10 1.40 1.55 0.00 1.48 0.00 0.00 1.19 0.88

time (sec)

N/A 0.599 0.240 0.269 0.000 0.107 0.000 0.000 0.153 25.414

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F B F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

88 117 108 119 0 156 0 0 187 331

N.S.

1 1.33 1.23 1.35 0.00 1.77 0.00 0.00 2.12 3.76

time (sec)

N/A 0.781 0.237 0.274 0.000 0.078 0.000 0.000 0.167 41.490

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C F A F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

85 109 90 90 0 89 0 0 88 75

N.S.

1 1.28 1.06 1.06 0.00 1.05 0.00 0.00 1.04 0.88

time (sec)

N/A 0.723 0.448 0.294 0.000 0.084 0.000 0.000 0.162 25.748

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A B B A F A F F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

12 26 28 36 0 35 0 0 18 76

N.S.

1 2.17 2.33 3.00 0.00 2.92 0.00 0.00 1.50 6.33

time (sec)

N/A 1.644 0.442 0.207 0.000 0.070 0.000 0.000 0.154 25.297

[front] [up]