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

Integrals 101 to 200

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 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

64 67 63 73 0 504 0 61 177 294

N.S.

1 1.05 0.98 1.14 0.00 7.88 0.00 0.95 2.77 4.59

time (sec)

N/A 0.560 0.117 0.348 0.000 0.105 0.000 0.125 0.203 4.556

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

87 97 82 109 0 1444 0 89 365 476

N.S.

1 1.11 0.94 1.25 0.00 16.60 0.00 1.02 4.20 5.47

time (sec)

N/A 0.797 0.183 0.545 0.000 0.162 0.000 0.125 0.198 5.559

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

48 57 60 75 93 686 0 69 169 143

N.S.

1 1.19 1.25 1.56 1.94 14.29 0.00 1.44 3.52 2.98

time (sec)

N/A 0.686 0.254 0.682 0.125 0.086 0.000 0.130 0.225 2.431

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

36 26 38 25 74 437 0 61 138 96

N.S.

1 0.72 1.06 0.69 2.06 12.14 0.00 1.69 3.83 2.67

time (sec)

N/A 0.436 0.053 0.454 0.119 0.083 0.000 0.121 0.207 2.444

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 35 41 59 51 210 0 42 83 67

N.S.

1 1.13 1.32 1.90 1.65 6.77 0.00 1.35 2.68 2.16

time (sec)

N/A 0.516 0.150 0.318 0.109 0.088 0.000 0.125 0.204 2.293

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 15 10 34 33 85 0 35 52 33

N.S.

1 1.07 0.71 2.43 2.36 6.07 0.00 2.50 3.71 2.36

time (sec)

N/A 0.390 0.026 0.217 0.125 0.084 0.000 0.123 0.237 2.207

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 15 15 31 16 14 0 14 12 25

N.S.

1 1.07 1.07 2.21 1.14 1.00 0.00 1.00 0.86 1.79

time (sec)

N/A 0.394 0.167 0.168 0.111 0.086 0.000 0.126 0.209 0.077

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

9 9 12 17 18 16 19 17 16 14

N.S.

1 1.00 1.33 1.89 2.00 1.78 2.11 1.89 1.78 1.56

time (sec)

N/A 0.289 0.002 0.107 0.027 0.079 0.093 0.120 0.196 0.056

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

40 36 44 38 52 136 0 56 106 65

N.S.

1 0.90 1.10 0.95 1.30 3.40 0.00 1.40 2.65 1.62

time (sec)

N/A 0.262 0.036 0.154 0.044 0.094 0.000 0.126 0.197 2.244

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

38 42 33 36 47 46 0 40 65 94

N.S.

1 1.11 0.87 0.95 1.24 1.21 0.00 1.05 1.71 2.47

time (sec)

N/A 0.411 0.207 0.151 0.034 0.082 0.000 0.124 0.237 2.224

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

68 57 66 56 108 773 0 94 294 160

N.S.

1 0.84 0.97 0.82 1.59 11.37 0.00 1.38 4.32 2.35

time (sec)

N/A 0.283 0.110 0.210 0.044 0.110 0.000 0.113 0.203 2.292

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

55 64 69 63 105 151 0 64 153 264

N.S.

1 1.16 1.25 1.15 1.91 2.75 0.00 1.16 2.78 4.80

time (sec)

N/A 0.501 0.181 0.244 0.038 0.097 0.000 0.117 7.277 2.457

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

121 126 121 246 332 4077 0 267 1355 316

N.S.

1 1.04 1.00 2.03 2.74 33.69 0.00 2.21 11.20 2.61

time (sec)

N/A 0.366 0.202 2.530 0.127 0.154 0.000 0.117 0.223 2.860

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

187 187 185 266 0 4914 0 250 1097 1001

N.S.

1 1.00 0.99 1.42 0.00 26.28 0.00 1.34 5.87 5.35

time (sec)

N/A 0.637 0.504 1.746 0.000 0.386 0.000 0.118 0.192 8.728

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

72 77 76 158 164 1280 0 152 609 155

N.S.

1 1.07 1.06 2.19 2.28 17.78 0.00 2.11 8.46 2.15

time (sec)

N/A 0.300 0.133 1.004 0.119 0.116 0.000 0.119 0.261 2.712

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

94 114 113 152 0 1254 0 111 398 700

N.S.

1 1.21 1.20 1.62 0.00 13.34 0.00 1.18 4.23 7.45

time (sec)

N/A 0.930 0.354 0.720 0.000 0.214 0.000 0.127 0.242 7.563

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

35 43 38 75 67 200 0 73 162 260

N.S.

1 1.23 1.09 2.14 1.91 5.71 0.00 2.09 4.63 7.43

time (sec)

N/A 0.456 0.075 0.383 0.155 0.111 0.000 0.115 0.210 2.467

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

62 74 62 84 0 193 0 52 51 273

N.S.

1 1.19 1.00 1.35 0.00 3.11 0.00 0.84 0.82 4.40

time (sec)

N/A 1.119 0.087 0.301 0.000 0.106 0.000 0.115 0.215 4.495

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 22 11 21 26 27 41 19 24 23

N.S.

1 1.16 0.58 1.11 1.37 1.42 2.16 1.00 1.26 1.21

time (sec)

N/A 0.360 0.003 0.165 0.039 0.086 0.157 0.118 0.179 0.097

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

66 81 63 78 67 81 0 67 87 271

N.S.

1 1.23 0.95 1.18 1.02 1.23 0.00 1.02 1.32 4.11

time (sec)

N/A 0.409 0.119 0.292 0.036 0.111 0.000 0.115 0.209 2.518

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

114 104 81 104 0 646 0 82 230 383

N.S.

1 0.91 0.71 0.91 0.00 5.67 0.00 0.72 2.02 3.36

time (sec)

N/A 0.747 0.328 0.411 0.000 0.101 0.000 0.120 0.212 2.540

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

113 139 107 113 164 1222 0 193 701 339

N.S.

1 1.23 0.95 1.00 1.45 10.81 0.00 1.71 6.20 3.00

time (sec)

N/A 0.430 0.334 0.658 0.054 0.146 0.000 0.125 0.232 3.078

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

207 181 166 153 0 3530 0 190 691 713

N.S.

1 0.87 0.80 0.74 0.00 17.05 0.00 0.92 3.34 3.44

time (sec)

N/A 1.393 0.587 1.075 0.000 0.128 0.000 0.131 19.313 2.728

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

178 211 164 162 366 5181 0 380 15 623

N.S.

1 1.19 0.92 0.91 2.06 29.11 0.00 2.13 0.08 3.50

time (sec)

N/A 0.550 0.692 1.739 0.052 0.201 0.000 0.123 200.021 3.552

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

169 132 153 0 0 4363 0 0 173 0

N.S.

1 0.78 0.91 0.00 0.00 25.82 0.00 0.00 1.02 0.00

time (sec)

N/A 0.609 1.709 0.000 0.000 0.654 0.000 0.000 0.272 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

100 81 87 0 0 1589 0 0 113 0

N.S.

1 0.81 0.87 0.00 0.00 15.89 0.00 0.00 1.13 0.00

time (sec)

N/A 0.317 0.629 0.000 0.000 0.513 0.000 0.000 0.274 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

51 50 50 43 0 605 0 0 53 47

N.S.

1 0.98 0.98 0.84 0.00 11.86 0.00 0.00 1.04 0.92

time (sec)

N/A 0.274 0.155 0.141 0.000 0.488 0.000 0.000 0.223 2.724

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

106 118 100 0 0 9170 0 0 20 0

N.S.

1 1.11 0.94 0.00 0.00 86.51 0.00 0.00 0.19 0.00

time (sec)

N/A 0.409 0.216 0.000 0.000 0.452 0.000 0.000 0.236 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

153 268 223 0 0 17083 0 0 22 0

N.S.

1 1.75 1.46 0.00 0.00 111.65 0.00 0.00 0.14 0.00

time (sec)

N/A 0.601 2.619 0.000 0.000 1.027 0.000 0.000 0.269 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

344 345 0 0 0 0 0 0 22 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.06 0.00

time (sec)

N/A 2.224 0.000 0.000 0.000 0.000 0.000 0.000 0.217 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

125 125 0 0 0 0 0 0 13 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.10 0.00

time (sec)

N/A 0.256 0.000 0.000 0.000 0.000 0.000 0.000 0.241 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

246 246 539 0 0 0 0 0 22 0

N.S.

1 1.00 2.19 0.00 0.00 0.00 0.00 0.00 0.09 0.00

time (sec)

N/A 0.774 15.184 0.000 0.000 0.000 0.000 0.000 0.258 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

148 123 112 0 0 2813 0 0 34 0

N.S.

1 0.83 0.76 0.00 0.00 19.01 0.00 0.00 0.23 0.00

time (sec)

N/A 0.366 1.062 0.000 0.000 0.540 0.000 0.000 0.229 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

79 71 66 0 0 925 0 0 34 0

N.S.

1 0.90 0.84 0.00 0.00 11.71 0.00 0.00 0.43 0.00

time (sec)

N/A 0.526 0.438 0.000 0.000 0.693 0.000 0.000 0.212 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 31 31 26 0 558 0 0 32 27

N.S.

1 1.00 1.00 0.84 0.00 18.00 0.00 0.00 1.03 0.87

time (sec)

N/A 0.252 0.119 0.155 0.000 0.663 0.000 0.000 0.259 2.709

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

106 118 100 0 0 9458 0 0 32 0

N.S.

1 1.11 0.94 0.00 0.00 89.23 0.00 0.00 0.30 0.00

time (sec)

N/A 0.395 0.282 0.000 0.000 0.827 0.000 0.000 0.258 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

175 272 280 0 0 20851 0 0 34 0

N.S.

1 1.55 1.60 0.00 0.00 119.15 0.00 0.00 0.19 0.00

time (sec)

N/A 0.523 1.976 0.000 0.000 4.994 0.000 0.000 0.281 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

610 610 0 0 0 0 0 0 34 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.06 0.00

time (sec)

N/A 1.554 0.000 0.000 0.000 0.000 0.000 0.000 0.245 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

310 310 0 0 0 0 0 0 34 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.11 0.00

time (sec)

N/A 1.718 0.000 0.000 0.000 0.000 0.000 0.000 0.234 0.000

Problem 140

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

106 106 168 0 0 0 0 0 26 0

N.S.

1 1.00 1.58 0.00 0.00 0.00 0.00 0.00 0.25 0.00

time (sec)

N/A 0.246 0.378 0.000 0.000 0.000 0.000 0.000 0.255 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

362 362 0 0 0 0 0 0 34 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.09 0.00

time (sec)

N/A 1.110 0.000 0.000 0.000 0.000 0.000 0.000 0.315 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

148 119 117 0 0 3745 0 0 50 0

N.S.

1 0.80 0.79 0.00 0.00 25.30 0.00 0.00 0.34 0.00

time (sec)

N/A 0.393 0.589 0.000 0.000 0.520 0.000 0.000 0.265 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

88 79 66 0 0 1107 0 0 50 0

N.S.

1 0.90 0.75 0.00 0.00 12.58 0.00 0.00 0.57 0.00

time (sec)

N/A 0.588 0.323 0.000 0.000 0.494 0.000 0.000 0.244 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

54 53 43 46 0 917 0 0 48 50

N.S.

1 0.98 0.80 0.85 0.00 16.98 0.00 0.00 0.89 0.93

time (sec)

N/A 0.269 0.155 0.128 0.000 0.502 0.000 0.000 0.249 2.820

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

142 0 212 0 0 14962 0 0 48 0

N.S.

1 0.00 1.49 0.00 0.00 105.37 0.00 0.00 0.34 0.00

time (sec)

N/A 0.000 0.704 0.000 0.000 3.585 0.000 0.000 0.291 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

217 310 315 0 0 53763 0 0 50 0

N.S.

1 1.43 1.45 0.00 0.00 247.76 0.00 0.00 0.23 0.00

time (sec)

N/A 0.867 1.106 0.000 0.000 6.474 0.000 0.000 0.342 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

907 907 0 0 0 0 0 0 50 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.06 0.00

time (sec)

N/A 2.505 0.000 0.000 0.000 0.000 0.000 0.000 0.274 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

344 381 0 0 0 0 0 0 50 0

N.S.

1 1.11 0.00 0.00 0.00 0.00 0.00 0.00 0.15 0.00

time (sec)

N/A 1.438 0.000 0.000 0.000 0.000 0.000 0.000 0.257 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

347 376 0 0 0 0 0 0 42 0

N.S.

1 1.08 0.00 0.00 0.00 0.00 0.00 0.00 0.12 0.00

time (sec)

N/A 1.273 0.000 0.000 0.000 0.000 0.000 0.000 0.260 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

665 665 0 0 0 0 0 0 50 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.08 0.00

time (sec)

N/A 2.359 0.000 0.000 0.000 0.000 0.000 0.000 0.739 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

191 105 84 86 386 589 0 64 138 405

N.S.

1 0.55 0.44 0.45 2.02 3.08 0.00 0.34 0.72 2.12

time (sec)

N/A 0.451 0.064 148.546 0.042 0.081 0.000 0.116 0.246 0.144

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

141 87 72 65 209 315 0 51 96 91

N.S.

1 0.62 0.51 0.46 1.48 2.23 0.00 0.36 0.68 0.65

time (sec)

N/A 0.336 0.051 141.811 0.049 0.185 0.000 0.118 0.269 2.316

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

56 56 44 38 84 120 0 38 50 78

N.S.

1 1.00 0.79 0.68 1.50 2.14 0.00 0.68 0.89 1.39

time (sec)

N/A 0.297 0.045 0.256 0.057 0.180 0.000 0.112 0.234 0.119

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

44 44 42 66 21 42 0 21 22 0

N.S.

1 1.00 0.95 1.50 0.48 0.95 0.00 0.48 0.50 0.00

time (sec)

N/A 0.276 0.030 0.530 0.125 0.158 0.000 0.109 0.221 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

74 59 48 106 29 66 0 25 26 0

N.S.

1 0.80 0.65 1.43 0.39 0.89 0.00 0.34 0.35 0.00

time (sec)

N/A 0.311 0.037 0.564 0.044 0.173 0.000 0.110 0.263 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

162 74 81 216 74 126 0 71 67 0

N.S.

1 0.46 0.50 1.33 0.46 0.78 0.00 0.44 0.41 0.00

time (sec)

N/A 0.334 0.073 0.572 0.042 0.194 0.000 0.115 0.268 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

250 102 109 326 112 218 530 99 97 0

N.S.

1 0.41 0.44 1.30 0.45 0.87 2.12 0.40 0.39 0.00

time (sec)

N/A 0.366 0.105 0.573 0.038 0.206 79.386 0.111 0.267 0.000

Problem 158

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

108 149 77 130 0 81 0 0 23 0

N.S.

1 1.38 0.71 1.20 0.00 0.75 0.00 0.00 0.21 0.00

time (sec)

N/A 0.518 0.130 0.359 0.000 0.203 0.000 0.000 0.218 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 27 44 39 30 48 0 0 23 42

N.S.

1 0.96 1.57 1.39 1.07 1.71 0.00 0.00 0.82 1.50

time (sec)

N/A 0.245 0.035 0.092 0.179 0.163 0.000 0.000 0.270 2.405

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

203 241 65 134 0 120 0 0 23 0

N.S.

1 1.19 0.32 0.66 0.00 0.59 0.00 0.00 0.11 0.00

time (sec)

N/A 0.494 0.089 0.322 0.000 0.113 0.000 0.000 0.248 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

67 72 77 97 0 90 0 0 23 0

N.S.

1 1.07 1.15 1.45 0.00 1.34 0.00 0.00 0.34 0.00

time (sec)

N/A 0.264 0.104 0.099 0.000 0.184 0.000 0.000 0.229 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

87 121 58 114 0 71 0 0 21 0

N.S.

1 1.39 0.67 1.31 0.00 0.82 0.00 0.00 0.24 0.00

time (sec)

N/A 0.284 0.108 0.269 0.000 0.225 0.000 0.000 0.249 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

59 64 75 0 0 100 0 0 20 0

N.S.

1 1.08 1.27 0.00 0.00 1.69 0.00 0.00 0.34 0.00

time (sec)

N/A 0.259 0.088 0.000 0.000 0.202 0.000 0.000 0.248 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

36 36 36 167 0 27 0 0 14 0

N.S.

1 1.00 1.00 4.64 0.00 0.75 0.00 0.00 0.39 0.00

time (sec)

N/A 0.278 0.069 0.325 0.000 0.101 0.000 0.000 0.227 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

40 40 55 0 0 57 0 0 14 0

N.S.

1 1.00 1.38 0.00 0.00 1.42 0.00 0.00 0.35 0.00

time (sec)

N/A 0.261 0.094 0.000 0.000 0.161 0.000 0.000 0.218 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

137 190 59 134 0 94 0 0 14 0

N.S.

1 1.39 0.43 0.98 0.00 0.69 0.00 0.00 0.10 0.00

time (sec)

N/A 0.359 0.090 0.339 0.000 0.113 0.000 0.000 0.277 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 28 33 38 42 37 0 0 14 58

N.S.

1 1.22 1.43 1.65 1.83 1.61 0.00 0.00 0.61 2.52

time (sec)

N/A 0.244 0.029 0.112 0.119 0.176 0.000 0.000 0.234 2.170

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

80 119 65 117 0 67 0 0 14 0

N.S.

1 1.49 0.81 1.46 0.00 0.84 0.00 0.00 0.18 0.00

time (sec)

N/A 0.299 0.078 0.293 0.000 0.212 0.000 0.000 0.223 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

122 126 98 121 0 109 0 0 23 0

N.S.

1 1.03 0.80 0.99 0.00 0.89 0.00 0.00 0.19 0.00

time (sec)

N/A 0.316 0.140 0.128 0.000 0.232 0.000 0.000 0.252 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

141 177 77 138 0 89 0 0 23 0

N.S.

1 1.26 0.55 0.98 0.00 0.63 0.00 0.00 0.16 0.00

time (sec)

N/A 0.345 0.131 0.269 0.000 0.112 0.000 0.000 0.237 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 27 44 47 30 56 0 0 23 42

N.S.

1 0.96 1.57 1.68 1.07 2.00 0.00 0.00 0.82 1.50

time (sec)

N/A 0.255 0.035 0.103 0.159 0.194 0.000 0.000 0.223 2.220

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

251 269 65 147 0 129 0 0 23 0

N.S.

1 1.07 0.26 0.59 0.00 0.51 0.00 0.00 0.09 0.00

time (sec)

N/A 0.453 0.094 0.332 0.000 0.111 0.000 0.000 0.227 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

92 100 90 113 0 101 0 0 23 0

N.S.

1 1.09 0.98 1.23 0.00 1.10 0.00 0.00 0.25 0.00

time (sec)

N/A 0.284 0.124 0.098 0.000 0.246 0.000 0.000 0.289 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

111 149 61 129 0 79 0 0 23 0

N.S.

1 1.34 0.55 1.16 0.00 0.71 0.00 0.00 0.21 0.00

time (sec)

N/A 0.342 0.085 0.279 0.000 0.314 0.000 0.000 0.233 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

88 87 88 0 0 109 0 0 23 0

N.S.

1 0.99 1.00 0.00 0.00 1.24 0.00 0.00 0.26 0.00

time (sec)

N/A 0.298 0.123 0.000 0.000 0.205 0.000 0.000 0.216 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

214 244 65 159 0 0 0 0 21 0

N.S.

1 1.14 0.30 0.74 0.00 0.00 0.00 0.00 0.10 0.00

time (sec)

N/A 0.391 0.128 0.337 0.000 0.000 0.000 0.000 0.230 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

92 92 64 131 0 106 0 0 20 0

N.S.

1 1.00 0.70 1.42 0.00 1.15 0.00 0.00 0.22 0.00

time (sec)

N/A 0.263 0.081 0.098 0.000 0.104 0.000 0.000 0.254 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

56 56 45 127 0 82 0 0 21 0

N.S.

1 1.00 0.80 2.27 0.00 1.46 0.00 0.00 0.38 0.00

time (sec)

N/A 0.352 0.099 0.467 0.000 0.177 0.000 0.000 0.233 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 30 32 0 39 28 0 0 21 28

N.S.

1 1.20 1.28 0.00 1.56 1.12 0.00 0.00 0.84 1.12

time (sec)

N/A 0.243 0.027 0.000 0.113 0.096 0.000 0.000 0.221 2.248

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

92 121 65 0 0 56 0 0 21 0

N.S.

1 1.32 0.71 0.00 0.00 0.61 0.00 0.00 0.23 0.00

time (sec)

N/A 0.317 0.089 0.000 0.000 0.102 0.000 0.000 0.312 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

66 64 51 0 0 93 0 0 21 0

N.S.

1 0.97 0.77 0.00 0.00 1.41 0.00 0.00 0.32 0.00

time (sec)

N/A 0.289 0.085 0.000 0.000 0.213 0.000 0.000 0.231 0.000

Problem 182

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

71 63 64 0 0 0 0 0 13 0

N.S.

1 0.89 0.90 0.00 0.00 0.00 0.00 0.00 0.18 0.00

time (sec)

N/A 0.347 0.538 0.000 0.000 0.000 0.000 0.000 0.236 0.000

Problem 183

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

71 69 126 0 0 0 0 0 60 0

N.S.

1 0.97 1.77 0.00 0.00 0.00 0.00 0.00 0.85 0.00

time (sec)

N/A 0.326 3.576 0.000 0.000 0.000 0.000 0.000 0.306 0.000

Problem 184

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

71 70 101 0 0 0 0 0 78 0

N.S.

1 0.99 1.42 0.00 0.00 0.00 0.00 0.00 1.10 0.00

time (sec)

N/A 0.326 1.015 0.000 0.000 0.000 0.000 0.000 0.229 0.000

Problem 185

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 Yes Yes N/A TBD TBD TBD TBD TBD TBD

size

71 69 192 0 0 0 0 0 0 0

N.S.

1 0.97 2.70 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.330 8.900 0.000 0.000 0.000 0.000 0.000 0.243 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

40 139 29 30 96 189 0 215 95 66

N.S.

1 3.48 0.72 0.75 2.40 4.72 0.00 5.38 2.38 1.65

time (sec)

N/A 0.621 0.286 28.712 0.242 0.110 0.000 0.271 0.251 2.310

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 26 62 0 74 48 0 38 42 49

N.S.

1 1.04 2.48 0.00 2.96 1.92 0.00 1.52 1.68 1.96

time (sec)

N/A 0.253 0.138 0.000 0.040 0.134 0.000 0.117 0.273 2.412

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 25 64 0 49 49 0 37 39 36

N.S.

1 1.00 2.56 0.00 1.96 1.96 0.00 1.48 1.56 1.44

time (sec)

N/A 0.267 0.071 0.000 0.043 0.178 0.000 0.113 0.242 2.367

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

89 96 114 0 0 474 0 0 30 0

N.S.

1 1.08 1.28 0.00 0.00 5.33 0.00 0.00 0.34 0.00

time (sec)

N/A 0.359 1.589 0.000 0.000 0.249 0.000 0.000 0.260 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

65 106 108 0 0 538 0 0 31 0

N.S.

1 1.63 1.66 0.00 0.00 8.28 0.00 0.00 0.48 0.00

time (sec)

N/A 0.364 0.928 0.000 0.000 0.239 0.000 0.000 0.277 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 19 20 20 19 34 44 27 21 41

N.S.

1 1.00 1.05 1.05 1.00 1.79 2.32 1.42 1.11 2.16

time (sec)

N/A 0.219 0.038 0.723 0.027 0.183 0.785 0.120 0.249 2.309

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 18 18 19 28 70 0 28 45 24

N.S.

1 1.00 1.00 1.06 1.56 3.89 0.00 1.56 2.50 1.33

time (sec)

N/A 0.243 0.059 1.198 0.045 0.172 0.000 0.110 0.226 2.329

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

55 53 55 45 0 452 0 115 151 139

N.S.

1 0.96 1.00 0.82 0.00 8.22 0.00 2.09 2.75 2.53

time (sec)

N/A 0.302 0.041 17.402 0.000 0.088 0.000 0.121 0.227 2.487

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

42 45 42 36 91 272 0 47 85 55

N.S.

1 1.07 1.00 0.86 2.17 6.48 0.00 1.12 2.02 1.31

time (sec)

N/A 0.248 0.041 16.915 0.051 0.178 0.000 0.119 0.270 2.325

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

89 89 89 64 0 1326 0 152 290 314

N.S.

1 1.00 1.00 0.72 0.00 14.90 0.00 1.71 3.26 3.53

time (sec)

N/A 0.392 0.046 187.708 0.000 0.209 0.000 0.119 0.252 2.364

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

97 95 74 258 0 315 0 0 31 0

N.S.

1 0.98 0.76 2.66 0.00 3.25 0.00 0.00 0.32 0.00

time (sec)

N/A 0.399 0.116 94.312 0.000 0.126 0.000 0.000 0.243 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

93 91 72 141 0 159 0 0 29 0

N.S.

1 0.98 0.77 1.52 0.00 1.71 0.00 0.00 0.31 0.00

time (sec)

N/A 0.407 0.073 0.618 0.000 0.168 0.000 0.000 0.250 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

58 58 58 183 0 39 0 0 18 0

N.S.

1 1.00 1.00 3.16 0.00 0.67 0.00 0.00 0.31 0.00

time (sec)

N/A 0.290 0.046 0.475 0.000 0.107 0.000 0.000 0.224 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

58 58 58 183 0 248 0 0 31 0

N.S.

1 1.00 1.00 3.16 0.00 4.28 0.00 0.00 0.53 0.00

time (sec)

N/A 0.294 0.053 0.965 0.000 0.241 0.000 0.000 0.218 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

97 95 76 237 0 370 0 0 31 0

N.S.

1 0.98 0.78 2.44 0.00 3.81 0.00 0.00 0.32 0.00

time (sec)

N/A 0.389 0.081 1.559 0.000 0.116 0.000 0.000 0.258 0.000

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