[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

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 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

64 64 63 73 0 504 0 61 294

N.S.

1 1.00 0.98 1.14 0.00 7.88 0.00 0.95 4.59

time (sec)

N/A 0.107 0.072 0.603 0.000 0.411 0.000 0.398 3.881

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 82 109 0 1444 0 89 476

N.S.

1 1.00 0.94 1.25 0.00 16.60 0.00 1.02 5.47

time (sec)

N/A 0.177 0.147 0.744 0.000 0.461 0.000 0.396 5.079

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

48 48 60 75 93 686 0 69 143

N.S.

1 1.00 1.25 1.56 1.94 14.29 0.00 1.44 2.98

time (sec)

N/A 0.067 0.081 0.694 0.485 0.385 0.000 0.388 1.461

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 38 26 74 437 0 61 96

N.S.

1 1.00 1.06 0.72 2.06 12.14 0.00 1.69 2.67

time (sec)

N/A 0.042 0.050 0.663 0.475 0.400 0.000 0.383 1.429

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 41 59 51 210 0 42 67

N.S.

1 1.00 1.32 1.90 1.65 6.77 0.00 1.35 2.16

time (sec)

N/A 0.050 0.041 0.672 0.482 0.378 0.000 0.384 1.438

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 14 10 48 33 85 0 35 33

N.S.

1 1.00 0.71 3.43 2.36 6.07 0.00 2.50 2.36

time (sec)

N/A 0.034 0.025 0.659 0.460 0.366 0.000 0.386 1.357

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 14 15 32 16 14 0 14 25

N.S.

1 1.00 1.07 2.29 1.14 1.00 0.00 1.00 1.79

time (sec)

N/A 0.030 0.021 0.596 0.472 0.373 0.000 0.392 1.321

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

9 9 12 17 18 16 19 17 14

N.S.

1 1.00 1.33 1.89 2.00 1.78 2.11 1.89 1.56

time (sec)

N/A 0.018 0.007 0.579 0.272 0.355 0.069 0.403 1.305

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 44 38 52 136 0 56 65

N.S.

1 1.00 1.10 0.95 1.30 3.40 0.00 1.40 1.62

time (sec)

N/A 0.042 0.035 0.789 0.255 0.349 0.000 0.399 1.368

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 33 47 47 46 0 40 94

N.S.

1 1.00 0.87 1.24 1.24 1.21 0.00 1.05 2.47

time (sec)

N/A 0.073 0.053 1.076 0.279 0.375 0.000 0.392 1.352

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 66 56 108 773 0 94 160

N.S.

1 1.00 0.97 0.82 1.59 11.37 0.00 1.38 2.35

time (sec)

N/A 0.058 0.127 1.024 0.280 0.384 0.000 0.387 1.429

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 69 63 105 151 0 64 264

N.S.

1 1.00 1.25 1.15 1.91 2.75 0.00 1.16 4.80

time (sec)

N/A 0.081 0.072 0.830 0.275 0.387 0.000 0.395 1.535

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 132 246 332 4077 0 267 316

N.S.

1 1.00 1.09 2.03 2.74 33.69 0.00 2.21 2.61

time (sec)

N/A 0.105 0.220 0.741 0.494 0.445 0.000 0.412 1.988

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

187 187 185 266 0 4914 0 250 1001

N.S.

1 1.00 0.99 1.42 0.00 26.28 0.00 1.34 5.35

time (sec)

N/A 0.210 0.415 1.142 0.000 0.579 0.000 0.385 8.505

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 85 158 164 1280 0 152 155

N.S.

1 1.00 1.18 2.19 2.28 17.78 0.00 2.11 2.15

time (sec)

N/A 0.068 0.121 0.707 0.506 0.369 0.000 0.385 1.797

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 113 152 0 1254 0 111 700

N.S.

1 1.00 1.20 1.62 0.00 13.34 0.00 1.18 7.45

time (sec)

N/A 0.210 0.281 1.025 0.000 0.455 0.000 0.388 7.263

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 37 92 67 200 0 73 260

N.S.

1 1.00 1.06 2.63 1.91 5.71 0.00 2.09 7.43

time (sec)

N/A 0.050 0.060 0.682 0.485 0.379 0.000 0.384 1.598

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 62 84 0 193 0 52 273

N.S.

1 1.00 1.00 1.35 0.00 3.11 0.00 0.84 4.40

time (sec)

N/A 0.120 0.058 0.668 0.000 0.390 0.000 0.414 3.921

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 19 11 21 26 27 41 19 23

N.S.

1 1.00 0.58 1.11 1.37 1.42 2.16 1.00 1.21

time (sec)

N/A 0.023 0.014 0.545 0.271 0.371 0.247 0.399 0.109

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 66 44 78 67 81 0 67 271

N.S.

1 1.00 0.67 1.18 1.02 1.23 0.00 1.02 4.11

time (sec)

N/A 0.072 0.060 0.909 0.262 0.379 0.000 0.394 1.721

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 81 104 0 646 0 82 383

N.S.

1 1.00 0.71 0.91 0.00 5.67 0.00 0.72 3.36

time (sec)

N/A 0.149 0.236 0.879 0.000 0.378 0.000 0.397 1.667

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 112 113 164 1222 0 193 339

N.S.

1 1.00 0.99 1.00 1.45 10.81 0.00 1.71 3.00

time (sec)

N/A 0.135 0.214 0.944 0.269 0.422 0.000 0.397 2.218

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

207 207 166 153 0 3530 0 190 713

N.S.

1 1.00 0.80 0.74 0.00 17.05 0.00 0.92 3.44

time (sec)

N/A 0.243 0.514 0.924 0.000 0.431 0.000 0.386 1.833

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

178 178 167 162 366 5181 0 380 623

N.S.

1 1.00 0.94 0.91 2.06 29.11 0.00 2.13 3.50

time (sec)

N/A 0.225 0.680 1.265 0.302 0.490 0.000 0.392 2.746

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

169 169 160 0 0 4363 0 0 -1

N.S.

1 1.00 0.95 0.00 0.00 25.82 0.00 0.00 -0.01

time (sec)

N/A 0.138 3.551 3.495 0.000 0.832 0.000 0.000 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 108 0 0 1589 0 0 -1

N.S.

1 1.00 1.08 0.00 0.00 15.89 0.00 0.00 -0.01

time (sec)

N/A 0.088 0.670 2.747 0.000 0.792 0.000 0.000 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 90 43 0 605 0 0 47

N.S.

1 1.00 1.76 0.84 0.00 11.86 0.00 0.00 0.92

time (sec)

N/A 0.038 0.104 1.671 0.000 0.790 0.000 0.000 1.692

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 211 0 0 8620 0 0 -1

N.S.

1 1.00 1.99 0.00 0.00 81.32 0.00 0.00 -0.01

time (sec)

N/A 0.122 1.292 2.893 0.000 0.735 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F B F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

217 217 456 0 0 16532 0 0 -1

N.S.

1 1.00 2.10 0.00 0.00 76.18 0.00 0.00 -0.00

time (sec)

N/A 0.231 18.141 3.093 0.000 1.130 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

344 344 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.282 180.002 2.125 0.000 0.000 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

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

size

125 125 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.017 5.457 2.369 0.000 0.000 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

246 246 539 0 0 0 0 0 -1

N.S.

1 1.00 2.19 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.149 16.035 2.647 0.000 0.000 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

148 148 167 0 0 2813 0 0 -1

N.S.

1 1.00 1.13 0.00 0.00 19.01 0.00 0.00 -0.01

time (sec)

N/A 0.111 3.841 3.219 0.000 0.795 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 111 0 0 925 0 0 -1

N.S.

1 1.00 1.41 0.00 0.00 11.71 0.00 0.00 -0.01

time (sec)

N/A 0.076 0.444 2.667 0.000 0.799 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 73 26 0 558 0 0 27

N.S.

1 1.00 2.35 0.84 0.00 18.00 0.00 0.00 0.87

time (sec)

N/A 0.033 0.096 1.615 0.000 0.766 0.000 0.000 1.635

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 226 0 0 8908 0 0 -1

N.S.

1 1.00 2.13 0.00 0.00 84.04 0.00 0.00 -0.01

time (sec)

N/A 0.103 2.496 2.799 0.000 0.969 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F B F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

262 262 505 0 0 20300 0 0 -1

N.S.

1 1.00 1.93 0.00 0.00 77.48 0.00 0.00 -0.00

time (sec)

N/A 0.216 5.415 3.453 0.000 4.405 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

610 610 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.556 180.004 3.186 0.000 0.000 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

310 310 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.177 180.002 2.020 0.000 0.000 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 168 0 0 0 0 0 -1

N.S.

1 1.00 1.58 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.016 0.449 0.031 0.000 0.000 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

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

size

362 362 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.311 90.927 2.862 0.000 0.000 0.000 0.000 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

148 148 155 0 0 3745 0 0 -1

N.S.

1 1.00 1.05 0.00 0.00 25.30 0.00 0.00 -0.01

time (sec)

N/A 0.136 2.177 3.273 0.000 0.830 0.000 0.000 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 103 0 0 1107 0 0 -1

N.S.

1 1.00 1.17 0.00 0.00 12.58 0.00 0.00 -0.01

time (sec)

N/A 0.095 0.458 2.576 0.000 0.779 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 79 46 0 917 0 0 50

N.S.

1 1.00 1.46 0.85 0.00 16.98 0.00 0.00 0.93

time (sec)

N/A 0.042 0.174 1.543 0.000 0.822 0.000 0.000 1.770

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F B F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

142 142 483 0 0 14412 0 0 -1

N.S.

1 1.00 3.40 0.00 0.00 101.49 0.00 0.00 -0.01

time (sec)

N/A 0.156 4.423 2.565 0.000 3.846 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F B F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

316 316 1084 0 0 53212 0 0 -1

N.S.

1 1.00 3.43 0.00 0.00 168.39 0.00 0.00 -0.00

time (sec)

N/A 0.310 6.787 3.313 0.000 6.470 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

907 907 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.938 180.005 3.099 0.000 0.000 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

344 344 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.284 180.002 2.059 0.000 0.000 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

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

size

347 347 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.231 72.367 2.420 0.000 0.000 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

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

size

665 665 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.680 150.719 2.837 0.000 0.000 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

191 191 84 91 386 589 0 64 405

N.S.

1 1.00 0.44 0.48 2.02 3.08 0.00 0.34 2.12

time (sec)

N/A 0.200 0.061 4.204 0.291 0.368 0.000 0.393 0.167

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 72 80 209 315 0 51 91

N.S.

1 1.00 0.51 0.57 1.48 2.23 0.00 0.36 0.65

time (sec)

N/A 0.121 0.048 4.089 0.282 0.366 0.000 0.370 1.429

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 44 69 84 120 0 38 78

N.S.

1 1.00 0.79 1.23 1.50 2.14 0.00 0.68 1.39

time (sec)

N/A 0.080 0.041 4.060 0.272 0.354 0.000 0.394 0.138

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 42 66 21 42 0 20 -1

N.S.

1 1.00 0.95 1.50 0.48 0.95 0.00 0.45 -0.02

time (sec)

N/A 0.059 0.028 4.217 0.500 0.360 0.000 0.391 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 48 106 29 66 0 33 -1

N.S.

1 1.00 0.65 1.43 0.39 0.89 0.00 0.45 -0.01

time (sec)

N/A 0.081 0.037 4.743 0.257 0.358 0.000 0.398 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

162 162 78 216 74 126 0 82 -1

N.S.

1 1.00 0.48 1.33 0.46 0.78 0.00 0.51 -0.01

time (sec)

N/A 0.107 0.046 4.927 0.266 0.355 0.000 0.397 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

250 250 106 326 112 218 532 110 -1

N.S.

1 1.00 0.42 1.30 0.45 0.87 2.13 0.44 -0.00

time (sec)

N/A 0.137 0.075 4.543 0.273 0.364 129.760 0.390 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 77 130 0 80 0 0 -1

N.S.

1 1.00 0.71 1.20 0.00 0.74 0.00 0.00 -0.01

time (sec)

N/A 0.058 0.124 1.432 0.000 0.106 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 44 39 30 48 0 0 42

N.S.

1 1.00 1.57 1.39 1.07 1.71 0.00 0.00 1.50

time (sec)

N/A 0.029 0.032 1.210 0.507 0.371 0.000 0.000 1.471

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

203 203 65 134 0 0 0 0 -1

N.S.

1 1.00 0.32 0.66 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.089 0.086 1.269 0.000 0.000 0.000 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 77 97 0 90 0 0 -1

N.S.

1 1.00 1.15 1.45 0.00 1.34 0.00 0.00 -0.01

time (sec)

N/A 0.037 0.105 1.428 0.000 0.378 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 58 114 0 70 0 0 -1

N.S.

1 1.00 0.67 1.31 0.00 0.80 0.00 0.00 -0.01

time (sec)

N/A 0.040 0.077 1.287 0.000 0.103 0.000 0.000 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 77 0 0 100 0 0 -1

N.S.

1 1.00 1.31 0.00 0.00 1.69 0.00 0.00 -0.02

time (sec)

N/A 0.024 0.067 0.923 0.000 0.368 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 36 167 0 26 0 0 -1

N.S.

1 1.00 1.00 4.64 0.00 0.72 0.00 0.00 -0.03

time (sec)

N/A 0.020 0.047 2.471 0.000 0.099 0.000 0.000 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 55 0 0 57 0 0 -1

N.S.

1 1.00 1.38 0.00 0.00 1.42 0.00 0.00 -0.02

time (sec)

N/A 0.034 0.087 0.876 0.000 0.348 0.000 0.000 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 59 134 0 0 0 0 -1

N.S.

1 1.00 0.43 0.98 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.072 0.085 1.250 0.000 0.000 0.000 0.000 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 33 38 42 37 0 0 58

N.S.

1 1.00 1.43 1.65 1.83 1.61 0.00 0.00 2.52

time (sec)

N/A 0.026 0.028 1.196 0.467 0.370 0.000 0.000 1.352

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 65 117 0 66 0 0 -1

N.S.

1 1.00 0.81 1.46 0.00 0.82 0.00 0.00 -0.01

time (sec)

N/A 0.048 0.073 1.226 0.000 0.104 0.000 0.000 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 98 121 0 109 0 0 -1

N.S.

1 1.00 0.80 0.99 0.00 0.89 0.00 0.00 -0.01

time (sec)

N/A 0.053 0.138 1.495 0.000 0.389 0.000 0.000 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 77 138 0 88 0 0 -1

N.S.

1 1.00 0.55 0.98 0.00 0.62 0.00 0.00 -0.01

time (sec)

N/A 0.070 0.132 1.166 0.000 0.093 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 44 47 30 56 0 0 42

N.S.

1 1.00 1.57 1.68 1.07 2.00 0.00 0.00 1.50

time (sec)

N/A 0.027 0.036 1.178 0.505 0.378 0.000 0.000 1.453

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

251 251 65 147 0 0 0 0 -1

N.S.

1 1.00 0.26 0.59 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.104 0.090 1.234 0.000 0.000 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 90 113 0 101 0 0 -1

N.S.

1 1.00 0.98 1.23 0.00 1.10 0.00 0.00 -0.01

time (sec)

N/A 0.046 0.118 1.427 0.000 0.389 0.000 0.000 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 61 129 0 78 0 0 -1

N.S.

1 1.00 0.55 1.16 0.00 0.70 0.00 0.00 -0.01

time (sec)

N/A 0.060 0.080 1.231 0.000 0.114 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 88 0 0 109 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 1.24 0.00 0.00 -0.01

time (sec)

N/A 0.049 0.117 0.875 0.000 0.440 0.000 0.000 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

214 214 65 159 0 0 0 0 -1

N.S.

1 1.00 0.30 0.74 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.086 0.085 1.544 0.000 0.000 0.000 0.000 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 64 131 0 106 0 0 -1

N.S.

1 1.00 0.70 1.42 0.00 1.15 0.00 0.00 -0.01

time (sec)

N/A 0.030 0.067 1.414 0.000 0.414 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 45 127 0 0 0 0 -1

N.S.

1 1.00 0.80 2.27 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.029 0.087 2.615 0.000 0.000 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 32 0 39 28 0 0 28

N.S.

1 1.00 1.28 0.00 1.56 1.12 0.00 0.00 1.12

time (sec)

N/A 0.027 0.022 0.737 0.470 0.357 0.000 0.000 1.334

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 65 0 0 55 0 0 -1

N.S.

1 1.00 0.71 0.00 0.00 0.60 0.00 0.00 -0.01

time (sec)

N/A 0.050 0.084 0.732 0.000 0.109 0.000 0.000 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 66 51 0 0 93 0 0 -1

N.S.

1 1.00 0.77 0.00 0.00 1.41 0.00 0.00 -0.02

time (sec)

N/A 0.039 0.081 0.744 0.000 0.350 0.000 0.000 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 64 0 0 0 0 0 -1

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.045 0.569 0.288 0.000 0.000 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 126 0 0 0 0 0 -1

N.S.

1 1.00 1.83 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.049 3.710 1.507 0.000 0.000 0.000 0.000 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 101 0 0 0 0 0 -1

N.S.

1 1.00 1.44 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.051 1.074 1.772 0.000 0.000 0.000 0.000 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 192 0 0 0 0 0 -1

N.S.

1 1.00 2.78 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.051 9.342 1.678 0.000 0.000 0.000 0.000 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A C A C B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 139 29 509 96 189 0 215 66

N.S.

1 3.48 0.72 12.72 2.40 4.72 0.00 5.38 1.65

time (sec)

N/A 0.097 0.227 5.797 0.450 0.379 0.000 0.804 1.400

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 62 0 74 48 0 38 49

N.S.

1 1.00 2.48 0.00 2.96 1.92 0.00 1.52 1.96

time (sec)

N/A 0.028 0.090 2.574 0.276 0.367 0.000 0.410 1.531

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 64 0 49 49 0 37 36

N.S.

1 1.00 2.56 0.00 1.96 1.96 0.00 1.48 1.44

time (sec)

N/A 0.031 0.071 3.647 0.283 0.385 0.000 0.399 1.449

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 114 0 0 474 0 0 -1

N.S.

1 1.00 1.28 0.00 0.00 5.33 0.00 0.00 -0.01

time (sec)

N/A 0.065 3.672 1.669 0.000 0.381 0.000 0.000 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

65 65 108 0 0 538 0 0 -1

N.S.

1 1.00 1.66 0.00 0.00 8.28 0.00 0.00 -0.02

time (sec)

N/A 0.054 3.571 1.740 0.000 0.376 0.000 0.000 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 19 19 20 19 34 0 27 41

N.S.

1 1.00 1.00 1.05 1.00 1.79 0.00 1.42 2.16

time (sec)

N/A 0.011 0.046 2.599 0.262 0.364 0.000 0.395 1.407

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 18 116 28 70 0 28 24

N.S.

1 1.00 1.00 6.44 1.56 3.89 0.00 1.56 1.33

time (sec)

N/A 0.020 0.048 3.758 0.285 0.355 0.000 0.411 1.328

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 55 538 0 452 0 115 139

N.S.

1 1.00 1.00 9.78 0.00 8.22 0.00 2.09 2.53

time (sec)

N/A 0.027 0.043 3.999 0.000 0.369 0.000 0.389 1.403

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 42 222 91 272 0 47 55

N.S.

1 1.00 1.00 5.29 2.17 6.48 0.00 1.12 1.31

time (sec)

N/A 0.024 0.039 3.991 0.324 0.346 0.000 0.406 1.341

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 75 748 0 1326 0 152 314

N.S.

1 1.00 0.84 8.40 0.00 14.90 0.00 1.71 3.53

time (sec)

N/A 0.039 0.067 4.450 0.000 0.399 0.000 0.407 1.348

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 74 295 0 315 0 0 -1

N.S.

1 1.00 0.76 3.04 0.00 3.25 0.00 0.00 -0.01

time (sec)

N/A 0.042 0.122 5.252 0.000 0.138 0.000 0.000 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 72 141 0 159 0 0 -1

N.S.

1 1.00 0.77 1.52 0.00 1.71 0.00 0.00 -0.01

time (sec)

N/A 0.041 0.069 4.986 0.000 0.143 0.000 0.000 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 58 183 0 39 0 0 -1

N.S.

1 1.00 1.00 3.16 0.00 0.67 0.00 0.00 -0.02

time (sec)

N/A 0.032 0.052 4.709 0.000 0.082 0.000 0.000 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 58 183 0 248 0 0 -1

N.S.

1 1.00 1.00 3.16 0.00 4.28 0.00 0.00 -0.02

time (sec)

N/A 0.031 0.054 4.744 0.000 0.127 0.000 0.000 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 76 237 0 370 0 0 -1

N.S.

1 1.00 0.78 2.44 0.00 3.81 0.00 0.00 -0.01

time (sec)

N/A 0.045 0.083 5.212 0.000 0.131 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]