[next] [tail] [up]

2.2.1 Integrals 1 to 100

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 N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

145 145 148 139 0 74 0 0 -1

N.S.

1 1.00 1.02 0.96 0.00 0.51 0.00 0.00 -0.01

time (sec)

N/A 0.106 20.219 1.378 0.000 0.129 0.000 0.000 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

160 160 148 143 0 69 0 0 -1

N.S.

1 1.00 0.92 0.89 0.00 0.43 0.00 0.00 -0.01

time (sec)

N/A 0.134 20.101 1.286 0.000 0.167 0.000 0.000 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

163 163 146 143 0 0 0 0 -1

N.S.

1 1.00 0.90 0.88 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.120 20.105 1.441 0.000 0.000 0.000 0.000 0.000

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

156 156 150 139 0 0 0 0 -1

N.S.

1 1.00 0.96 0.89 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.125 20.097 1.259 0.000 0.000 0.000 0.000 0.000

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-1) F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

280 280 164 0 0 0 0 0 -1

N.S.

1 1.00 0.59 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.225 10.154 0.044 0.000 0.000 0.000 0.000 0.000

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-1) F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

288 288 166 0 0 0 0 0 -1

N.S.

1 1.00 0.58 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.224 10.156 0.049 0.000 0.000 0.000 0.000 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-1) F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

297 297 167 0 0 0 0 0 -1

N.S.

1 1.00 0.56 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.243 10.095 0.046 0.000 0.000 0.000 0.000 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-1) F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

293 293 167 0 0 0 0 0 -1

N.S.

1 1.00 0.57 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.229 10.104 0.043 0.000 0.000 0.000 0.000 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

249 249 169 495 0 349 0 0 -1

N.S.

1 1.00 0.68 1.99 0.00 1.40 0.00 0.00 -0.00

time (sec)

N/A 0.177 10.161 0.397 0.000 0.225 0.000 0.000 0.000

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

146 146 136 132 0 57 0 0 -1

N.S.

1 1.00 0.93 0.90 0.00 0.39 0.00 0.00 -0.01

time (sec)

N/A 0.138 20.153 0.892 0.000 0.175 0.000 0.000 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

164 164 136 143 0 56 0 0 -1

N.S.

1 1.00 0.83 0.87 0.00 0.34 0.00 0.00 -0.01

time (sec)

N/A 0.123 20.113 0.841 0.000 0.254 0.000 0.000 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

167 167 134 132 0 211 0 0 -1

N.S.

1 1.00 0.80 0.79 0.00 1.26 0.00 0.00 -0.01

time (sec)

N/A 0.121 20.128 0.886 0.000 0.160 0.000 0.000 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

157 157 138 139 0 203 0 0 -1

N.S.

1 1.00 0.88 0.89 0.00 1.29 0.00 0.00 -0.01

time (sec)

N/A 0.112 20.099 0.794 0.000 0.126 0.000 0.000 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

329 329 128 123 0 0 0 0 164

N.S.

1 1.00 0.39 0.37 0.00 0.00 0.00 0.00 0.50

time (sec)

N/A 0.458 20.076 0.406 0.000 0.000 0.000 0.000 0.216

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

380 380 128 133 0 0 0 0 180

N.S.

1 1.00 0.34 0.35 0.00 0.00 0.00 0.00 0.47

time (sec)

N/A 0.487 20.084 0.341 0.000 0.000 0.000 0.000 2.420

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

374 374 126 124 0 0 0 0 164

N.S.

1 1.00 0.34 0.33 0.00 0.00 0.00 0.00 0.44

time (sec)

N/A 0.390 20.064 0.370 0.000 0.000 0.000 0.000 0.050

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

340 340 130 133 0 0 0 0 179

N.S.

1 1.00 0.38 0.39 0.00 0.00 0.00 0.00 0.53

time (sec)

N/A 0.381 20.072 0.451 0.000 0.000 0.000 0.000 0.046

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

139 139 311 0 0 0 0 0 -1

N.S.

1 1.00 2.24 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.049 1.920 0.044 0.000 0.000 0.000 0.000 0.000

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F(-1) F F F

verified

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

size

186 186 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.129 7.225 0.041 0.000 0.000 0.000 0.000 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F(-1) F F F

verified

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

size

187 187 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.053 7.584 0.039 0.000 0.000 0.000 0.000 0.000

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F C F B F F F

verified

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

size

147 147 0 3064 0 712 0 0 -1

N.S.

1 1.00 0.00 20.84 0.00 4.84 0.00 0.00 -0.01

time (sec)

N/A 0.036 6.331 27.584 0.000 2.615 0.000 0.000 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F C F B F F F

verified

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

size

159 159 0 3250 0 720 0 0 -1

N.S.

1 1.00 0.00 20.44 0.00 4.53 0.00 0.00 -0.01

time (sec)

N/A 0.042 6.687 27.102 0.000 2.587 0.000 0.000 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-1) A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

387 387 163 0 0 0 212 0 -1

N.S.

1 1.00 0.42 0.00 0.00 0.00 0.55 0.00 -0.00

time (sec)

N/A 0.177 7.038 0.007 0.000 0.000 2.984 0.000 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

242 242 142 0 0 0 160 0 -1

N.S.

1 1.00 0.59 0.00 0.00 0.00 0.66 0.00 -0.00

time (sec)

N/A 0.170 6.911 0.006 0.000 0.000 1.960 0.000 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

192 192 111 0 0 0 114 0 -1

N.S.

1 1.00 0.58 0.00 0.00 0.00 0.59 0.00 -0.01

time (sec)

N/A 0.100 6.855 0.006 0.000 0.000 1.587 0.000 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

155 155 75 0 0 0 82 0 -1

N.S.

1 1.00 0.48 0.00 0.00 0.00 0.53 0.00 -0.01

time (sec)

N/A 0.065 6.204 0.004 0.000 0.000 1.322 0.000 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F(-1) F F F

verified

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

size

435 435 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.334 17.019 0.005 0.000 0.000 0.000 0.000 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F(-1) F F F

verified

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

size

818 818 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.529 17.820 0.043 0.000 0.000 0.000 0.000 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-1) A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

310 310 392 0 0 0 206 0 -1

N.S.

1 1.00 1.26 0.00 0.00 0.00 0.66 0.00 -0.00

time (sec)

N/A 0.115 10.349 0.004 0.000 0.000 2.590 0.000 0.000

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-1) A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

255 255 287 0 0 0 155 0 -1

N.S.

1 1.00 1.13 0.00 0.00 0.00 0.61 0.00 -0.00

time (sec)

N/A 0.095 10.281 0.006 0.000 0.000 2.205 0.000 0.000

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

147 147 201 0 0 0 110 0 -1

N.S.

1 1.00 1.37 0.00 0.00 0.00 0.75 0.00 -0.01

time (sec)

N/A 0.070 10.129 0.006 0.000 0.000 1.583 0.000 0.000

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 163 0 0 0 78 0 -1

N.S.

1 1.00 1.31 0.00 0.00 0.00 0.63 0.00 -0.01

time (sec)

N/A 0.044 10.094 0.022 0.000 0.000 1.075 0.000 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F(-1) F F F

verified

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

size

333 333 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.212 7.029 0.040 0.000 0.000 0.000 0.000 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F(-1) F F F

verified

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

size

761 761 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.505 20.248 0.043 0.000 0.000 0.000 0.000 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F(-1) F F F

verified

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

size

1513 1513 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.324 20.350 0.041 0.000 0.000 0.000 0.000 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-1) A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

306 306 166 0 0 0 204 0 -1

N.S.

1 1.00 0.54 0.00 0.00 0.00 0.67 0.00 -0.00

time (sec)

N/A 0.121 10.125 0.006 0.000 0.000 2.728 0.000 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

187 187 145 0 0 0 153 0 -1

N.S.

1 1.00 0.78 0.00 0.00 0.00 0.82 0.00 -0.01

time (sec)

N/A 0.125 10.083 0.007 0.000 0.000 2.123 0.000 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 95 0 0 0 109 0 -1

N.S.

1 1.00 0.67 0.00 0.00 0.00 0.77 0.00 -0.01

time (sec)

N/A 0.068 10.038 0.006 0.000 0.000 1.614 0.000 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 78 0 0 0 78 0 -1

N.S.

1 1.00 0.64 0.00 0.00 0.00 0.64 0.00 -0.01

time (sec)

N/A 0.043 10.039 0.023 0.000 0.000 1.126 0.000 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F(-1) F F F

verified

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

size

332 332 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.222 7.330 0.040 0.000 0.000 0.000 0.000 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F(-1) F F F

verified

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

size

760 760 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.519 20.223 0.040 0.000 0.000 0.000 0.000 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F(-1) F F F

verified

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

size

1357 1357 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.179 20.275 0.040 0.000 0.000 0.000 0.000 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 39 258 0 75 0 0 70

N.S.

1 1.00 1.05 6.97 0.00 2.03 0.00 0.00 1.89

time (sec)

N/A 0.069 1.249 1.329 0.000 0.439 0.000 0.000 3.593

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 41 253 0 76 0 0 74

N.S.

1 1.00 1.02 6.32 0.00 1.90 0.00 0.00 1.85

time (sec)

N/A 0.076 1.284 1.302 0.000 0.437 0.000 0.000 3.631

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 39 262 0 238 0 0 62

N.S.

1 1.00 1.03 6.89 0.00 6.26 0.00 0.00 1.63

time (sec)

N/A 0.071 1.262 1.362 0.000 0.431 0.000 0.000 2.861

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 41 249 0 241 0 0 63

N.S.

1 1.00 1.05 6.38 0.00 6.18 0.00 0.00 1.62

time (sec)

N/A 0.073 1.245 1.320 0.000 0.408 0.000 0.000 2.843

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-1) F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 65 0 0 0 0 0 106

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 1.68

time (sec)

N/A 0.124 5.138 0.212 0.000 0.000 0.000 0.000 5.812

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-1) F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 67 0 0 0 0 0 107

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 1.65

time (sec)

N/A 0.134 5.120 0.214 0.000 0.000 0.000 0.000 5.851

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-1) F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 66 68 0 0 0 0 0 102

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 1.55

time (sec)

N/A 0.138 5.129 0.054 0.000 0.000 0.000 0.000 3.677

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-1) F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 66 68 0 0 0 0 0 103

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 1.56

time (sec)

N/A 0.128 5.134 0.056 0.000 0.000 0.000 0.000 3.647

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 51 889 0 300 0 0 95

N.S.

1 1.00 1.04 18.14 0.00 6.12 0.00 0.00 1.94

time (sec)

N/A 0.079 1.021 0.248 0.000 0.445 0.000 0.000 4.731

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

158 158 336 262 0 157 0 0 -1

N.S.

1 1.00 2.13 1.66 0.00 0.99 0.00 0.00 -0.01

time (sec)

N/A 0.141 20.305 1.181 0.000 0.193 0.000 0.000 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

173 173 335 257 0 146 0 0 -1

N.S.

1 1.00 1.94 1.49 0.00 0.84 0.00 0.00 -0.01

time (sec)

N/A 0.164 20.307 2.011 0.000 0.169 0.000 0.000 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

176 176 333 266 0 0 0 0 -1

N.S.

1 1.00 1.89 1.51 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.154 20.256 1.976 0.000 0.000 0.000 0.000 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

169 169 338 253 0 415 0 0 -1

N.S.

1 1.00 2.00 1.50 0.00 2.46 0.00 0.00 -0.01

time (sec)

N/A 0.152 20.198 1.938 0.000 0.182 0.000 0.000 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

159 159 340 264 0 949 0 0 -1

N.S.

1 1.00 2.14 1.66 0.00 5.97 0.00 0.00 -0.01

time (sec)

N/A 0.157 20.312 0.294 0.000 0.259 0.000 0.000 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

175 175 340 261 0 917 0 0 -1

N.S.

1 1.00 1.94 1.49 0.00 5.24 0.00 0.00 -0.01

time (sec)

N/A 0.183 20.307 0.264 0.000 0.297 0.000 0.000 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

178 178 338 270 0 947 0 0 -1

N.S.

1 1.00 1.90 1.52 0.00 5.32 0.00 0.00 -0.01

time (sec)

N/A 0.159 20.224 0.296 0.000 0.231 0.000 0.000 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

170 170 342 255 0 0 0 0 -1

N.S.

1 1.00 2.01 1.50 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.168 20.226 0.243 0.000 0.000 0.000 0.000 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-1) F F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

316 316 336 0 0 0 0 0 -1

N.S.

1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.291 11.066 0.046 0.000 0.000 0.000 0.000 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-1) F F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

324 324 399 0 0 0 0 0 -1

N.S.

1 1.00 1.23 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.297 10.817 0.055 0.000 0.000 0.000 0.000 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-1) F F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

333 333 400 0 0 0 0 0 -1

N.S.

1 1.00 1.20 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.298 10.270 0.047 0.000 0.000 0.000 0.000 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-1) F F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

329 329 387 0 0 0 0 0 -1

N.S.

1 1.00 1.18 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.276 10.249 0.051 0.000 0.000 0.000 0.000 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

265 265 380 900 0 393 0 0 -1

N.S.

1 1.00 1.43 3.40 0.00 1.48 0.00 0.00 -0.00

time (sec)

N/A 0.216 11.001 0.258 0.000 0.346 0.000 0.000 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 207 258 0 82 0 0 -1

N.S.

1 1.00 1.43 1.78 0.00 0.57 0.00 0.00 -0.01

time (sec)

N/A 0.143 10.252 1.236 0.000 0.133 0.000 0.000 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

160 160 209 253 0 76 0 0 -1

N.S.

1 1.00 1.31 1.58 0.00 0.48 0.00 0.00 -0.01

time (sec)

N/A 0.159 10.245 1.187 0.000 0.187 0.000 0.000 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

163 163 207 262 0 245 0 0 -1

N.S.

1 1.00 1.27 1.61 0.00 1.50 0.00 0.00 -0.01

time (sec)

N/A 0.155 10.180 1.204 0.000 0.132 0.000 0.000 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 209 249 0 241 0 0 -1

N.S.

1 1.00 1.34 1.60 0.00 1.54 0.00 0.00 -0.01

time (sec)

N/A 0.154 10.230 1.091 0.000 0.136 0.000 0.000 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-1) F F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

275 275 324 0 0 0 0 0 -1

N.S.

1 1.00 1.18 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.248 10.851 0.049 0.000 0.000 0.000 0.000 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-1) F F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

283 283 388 0 0 0 0 0 -1

N.S.

1 1.00 1.37 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.266 10.595 0.046 0.000 0.000 0.000 0.000 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-1) F F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

292 292 389 0 0 0 0 0 -1

N.S.

1 1.00 1.33 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.281 10.216 0.047 0.000 0.000 0.000 0.000 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-1) F F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

288 288 375 0 0 0 0 0 -1

N.S.

1 1.00 1.30 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.277 10.182 0.046 0.000 0.000 0.000 0.000 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

246 246 372 892 0 350 0 0 -1

N.S.

1 1.00 1.51 3.63 0.00 1.42 0.00 0.00 -0.00

time (sec)

N/A 0.200 10.789 0.260 0.000 0.174 0.000 0.000 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 31 240 0 44 0 0 205

N.S.

1 1.00 1.35 10.43 0.00 1.91 0.00 0.00 8.91

time (sec)

N/A 0.040 0.656 0.383 0.000 0.374 0.000 0.000 0.225

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 33 240 0 47 0 0 221

N.S.

1 1.00 1.22 8.89 0.00 1.74 0.00 0.00 8.19

time (sec)

N/A 0.043 0.687 0.359 0.000 0.383 0.000 0.000 0.184

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 21 240 0 40 0 0 205

N.S.

1 1.00 0.84 9.60 0.00 1.60 0.00 0.00 8.20

time (sec)

N/A 0.039 0.662 0.459 0.000 0.362 0.000 0.000 2.551

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 23 240 0 38 0 0 221

N.S.

1 1.00 0.92 9.60 0.00 1.52 0.00 0.00 8.84

time (sec)

N/A 0.043 0.668 0.420 0.000 0.356 0.000 0.000 2.529

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 48 0 0 587 0 0 65

N.S.

1 1.00 0.96 0.00 0.00 11.74 0.00 0.00 1.30

time (sec)

N/A 0.090 3.695 0.054 0.000 0.834 0.000 0.000 3.444

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

52 52 50 0 0 630 0 0 67

N.S.

1 1.00 0.96 0.00 0.00 12.12 0.00 0.00 1.29

time (sec)

N/A 0.091 3.608 0.048 0.000 0.846 0.000 0.000 3.591

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 51 0 0 592 0 0 74

N.S.

1 1.00 0.96 0.00 0.00 11.17 0.00 0.00 1.40

time (sec)

N/A 0.095 3.662 0.049 0.000 0.810 0.000 0.000 5.453

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 51 0 0 641 0 0 78

N.S.

1 1.00 0.96 0.00 0.00 12.09 0.00 0.00 1.47

time (sec)

N/A 0.097 3.655 0.048 0.000 0.833 0.000 0.000 5.373

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 44 503 0 294 0 0 67

N.S.

1 1.00 0.96 10.93 0.00 6.39 0.00 0.00 1.46

time (sec)

N/A 0.078 1.382 0.381 0.000 0.441 0.000 0.000 3.126

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

139 139 273 246 0 63 0 0 327

N.S.

1 1.00 1.96 1.77 0.00 0.45 0.00 0.00 2.35

time (sec)

N/A 0.104 20.215 0.253 0.000 0.110 0.000 0.000 2.711

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

153 153 271 246 0 55 0 0 359

N.S.

1 1.00 1.77 1.61 0.00 0.36 0.00 0.00 2.35

time (sec)

N/A 0.112 20.206 0.253 0.000 0.111 0.000 0.000 0.190

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

156 156 269 246 0 59 0 0 327

N.S.

1 1.00 1.72 1.58 0.00 0.38 0.00 0.00 2.10

time (sec)

N/A 0.106 20.129 0.280 0.000 0.109 0.000 0.000 0.120

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

150 150 275 246 0 44 0 0 359

N.S.

1 1.00 1.83 1.64 0.00 0.29 0.00 0.00 2.39

time (sec)

N/A 0.115 20.147 0.250 0.000 0.122 0.000 0.000 2.543

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-1) F F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

297 297 419 0 0 0 0 0 -1

N.S.

1 1.00 1.41 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.234 10.906 0.049 0.000 0.000 0.000 0.000 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-1) F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

304 304 447 0 0 0 0 0 -1

N.S.

1 1.00 1.47 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.223 10.871 0.049 0.000 0.000 0.000 0.000 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-1) F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

313 313 448 0 0 0 0 0 -1

N.S.

1 1.00 1.43 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.231 10.724 0.049 0.000 0.000 0.000 0.000 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-1) F F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

310 310 422 0 0 0 0 0 -1

N.S.

1 1.00 1.36 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.237 10.211 0.047 0.000 0.000 0.000 0.000 0.000

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

221 221 384 521 0 400 0 0 -1

N.S.

1 1.00 1.74 2.36 0.00 1.81 0.00 0.00 -0.00

time (sec)

N/A 0.205 10.799 0.253 0.000 0.210 0.000 0.000 0.000

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

129 129 193 240 0 51 0 0 207

N.S.

1 1.00 1.50 1.86 0.00 0.40 0.00 0.00 1.60

time (sec)

N/A 0.098 10.204 0.264 0.000 0.095 0.000 0.000 0.057

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 195 240 0 47 0 0 224

N.S.

1 1.00 1.34 1.66 0.00 0.32 0.00 0.00 1.54

time (sec)

N/A 0.102 10.190 0.248 0.000 0.105 0.000 0.000 0.066

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

148 148 193 240 0 47 0 0 208

N.S.

1 1.00 1.30 1.62 0.00 0.32 0.00 0.00 1.41

time (sec)

N/A 0.097 10.136 0.296 0.000 0.109 0.000 0.000 2.534

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 195 240 0 38 0 0 223

N.S.

1 1.00 1.39 1.71 0.00 0.27 0.00 0.00 1.59

time (sec)

N/A 0.107 10.123 0.247 0.000 0.116 0.000 0.000 0.064

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-1) F F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

260 260 407 0 0 0 0 0 -1

N.S.

1 1.00 1.57 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.200 11.019 0.047 0.000 0.000 0.000 0.000 0.000

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-1) F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

268 268 371 0 0 0 0 0 -1

N.S.

1 1.00 1.38 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.202 10.532 0.047 0.000 0.000 0.000 0.000 0.000

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-1) F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

277 277 372 0 0 0 0 0 -1

N.S.

1 1.00 1.34 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.211 10.173 0.051 0.000 0.000 0.000 0.000 0.000

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-1) F F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

273 273 410 0 0 0 0 0 -1

N.S.

1 1.00 1.50 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.215 10.186 0.048 0.000 0.000 0.000 0.000 0.000

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

202 202 295 509 0 356 0 0 -1

N.S.

1 1.00 1.46 2.52 0.00 1.76 0.00 0.00 -0.00

time (sec)

N/A 0.186 10.469 0.250 0.000 0.142 0.000 0.000 0.000

[next] [front] [up]