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

Integrals 301 to 400

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 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 0 24 37 36 39 37 84 49 0

N.S.

1 0.00 1.00 1.54 1.50 1.62 1.54 3.50 2.04 0.00

time (sec)

N/A 0.000 0.062 0.227 0.090 0.095 0.108 0.119 0.223 0.000

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 0 30 21 49 56 26 49 47 49

N.S.

1 0.00 1.30 0.91 2.13 2.43 1.13 2.13 2.04 2.13

time (sec)

N/A 0.000 1.431 0.336 0.095 0.089 0.070 0.124 0.211 0.184

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 16 16 20 33 19 17 19 48 16

N.S.

1 1.00 1.00 1.25 2.06 1.19 1.06 1.19 3.00 1.00

time (sec)

N/A 0.263 0.020 0.164 0.078 0.102 0.078 0.127 0.212 2.626

Problem 304

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

9 5 5 5 4 4 3 4 5 4

N.S.

1 0.56 0.56 0.56 0.44 0.44 0.33 0.44 0.56 0.44

time (sec)

N/A 0.140 0.003 0.022 0.030 0.087 0.029 0.113 0.248 0.012

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 0 23 21 20 24 26 0 29 20

N.S.

1 0.00 1.00 0.91 0.87 1.04 1.13 0.00 1.26 0.87

time (sec)

N/A 0.000 0.102 5.088 0.195 0.086 0.627 0.000 0.253 0.393

Problem 306

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

21 26 20 20 19 19 15 19 21 19

N.S.

1 1.24 0.95 0.95 0.90 0.90 0.71 0.90 1.00 0.90

time (sec)

N/A 0.230 0.045 0.506 0.083 0.085 0.101 0.115 0.241 2.472

Problem 307

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

27 27 27 24 27 29 26 29 34 25

N.S.

1 1.00 1.00 0.89 1.00 1.07 0.96 1.07 1.26 0.93

time (sec)

N/A 0.312 0.008 0.046 0.030 0.080 0.060 0.117 0.252 0.140

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 47 47 30 170 37 26 26 45 25

N.S.

1 1.74 1.74 1.11 6.30 1.37 0.96 0.96 1.67 0.93

time (sec)

N/A 0.694 0.023 0.678 0.045 0.080 0.110 0.114 0.233 2.571

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 0 22 21 21 21 20 0 143 22

N.S.

1 0.00 0.92 0.88 0.88 0.88 0.83 0.00 5.96 0.92

time (sec)

N/A 0.000 0.226 0.870 0.132 0.087 8.068 0.000 0.258 2.607

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 30 29 26 264 22 19 18 26 24

N.S.

1 1.11 1.07 0.96 9.78 0.81 0.70 0.67 0.96 0.89

time (sec)

N/A 0.532 0.072 0.583 0.099 0.086 0.138 0.139 0.229 2.803

Problem 311

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

14 14 14 13 11 11 12 11 12 10

N.S.

1 1.00 1.00 0.93 0.79 0.79 0.86 0.79 0.86 0.71

time (sec)

N/A 0.139 0.001 0.023 0.038 0.067 0.021 0.115 0.252 0.032

Problem 312

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

22 25 22 23 19 22 22 22 23 22

N.S.

1 1.14 1.00 1.05 0.86 1.00 1.00 1.00 1.05 1.00

time (sec)

N/A 0.414 0.033 3.707 0.121 0.081 0.484 0.200 0.260 2.654

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 24 21 18 88 33 17 17 37 17

N.S.

1 1.09 0.95 0.82 4.00 1.50 0.77 0.77 1.68 0.77

time (sec)

N/A 0.351 0.067 0.131 0.218 0.086 0.052 0.117 0.216 0.118

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 0 22 28 27 23 17 33 27 24

N.S.

1 0.00 1.05 1.33 1.29 1.10 0.81 1.57 1.29 1.14

time (sec)

N/A 0.000 0.193 104.749 0.141 0.086 0.089 0.133 0.213 2.808

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 0 0 72 134 67 63 71 79 38

N.S.

1 0.00 0.00 2.25 4.19 2.09 1.97 2.22 2.47 1.19

time (sec)

N/A 0.000 0.000 11.853 0.212 0.092 0.276 4.596 0.235 2.724

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 0 21 20 63 19 63 23 21

N.S.

1 0.00 0.00 0.84 0.80 2.52 0.76 2.52 0.92 0.84

time (sec)

N/A 0.000 0.000 6.782 0.184 0.086 3.873 0.422 1.007 2.605

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 0 19 22 67 67 36 99 70 0

N.S.

1 0.00 1.00 1.16 3.53 3.53 1.89 5.21 3.68 0.00

time (sec)

N/A 0.000 0.048 13.103 0.128 0.077 0.122 0.184 0.218 0.000

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 0 25 33 22 32 31 32 33 111

N.S.

1 0.00 0.96 1.27 0.85 1.23 1.19 1.23 1.27 4.27

time (sec)

N/A 0.000 0.306 0.675 0.091 0.085 0.088 0.204 0.259 2.711

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 149 93 109 90 90 128 90 147 99

N.S.

1 4.81 3.00 3.52 2.90 2.90 4.13 2.90 4.74 3.19

time (sec)

N/A 0.365 0.035 0.325 0.031 0.092 0.036 0.114 0.250 2.475

Problem 320

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

22 25 23 18 31 21 15 23 25 21

N.S.

1 1.14 1.05 0.82 1.41 0.95 0.68 1.05 1.14 0.95

time (sec)

N/A 0.482 0.084 0.244 0.073 0.082 0.103 0.111 0.276 2.488

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 46 50 49 64 74 49 132 80 64

N.S.

1 1.59 1.72 1.69 2.21 2.55 1.69 4.55 2.76 2.21

time (sec)

N/A 0.338 0.367 7.029 0.080 0.081 0.168 0.125 0.260 3.012

Problem 322

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

22 29 27 24 25 21 22 22 30 21

N.S.

1 1.32 1.23 1.09 1.14 0.95 1.00 1.00 1.36 0.95

time (sec)

N/A 0.226 0.006 0.211 0.030 0.081 0.071 0.118 0.242 2.387

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 62 21 17 79 19 14 42 61 22

N.S.

1 3.44 1.17 0.94 4.39 1.06 0.78 2.33 3.39 1.22

time (sec)

N/A 0.576 0.046 0.201 0.184 0.084 0.085 0.114 0.229 2.500

Problem 324

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

22 42 24 22 30 30 22 30 36 19

N.S.

1 1.91 1.09 1.00 1.36 1.36 1.00 1.36 1.64 0.86

time (sec)

N/A 0.189 0.015 0.077 0.039 0.072 0.018 0.114 0.230 0.043

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 43 22 21 29 23 24 23 25 20

N.S.

1 2.26 1.16 1.11 1.53 1.21 1.26 1.21 1.32 1.05

time (sec)

N/A 0.195 0.075 0.162 0.028 0.082 0.087 0.118 0.224 2.426

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 22 22 32 23 35 32 0 29 23

N.S.

1 0.92 0.92 1.33 0.96 1.46 1.33 0.00 1.21 0.96

time (sec)

N/A 0.387 0.029 0.206 0.217 0.081 0.090 0.000 0.231 2.472

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 25 28 19 0 18 17 18 48 20

N.S.

1 1.04 1.17 0.79 0.00 0.75 0.71 0.75 2.00 0.83

time (sec)

N/A 0.529 0.089 0.204 0.000 0.092 0.123 0.125 0.233 2.492

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 91 64 57 92 75 70 91 93 92

N.S.

1 2.76 1.94 1.73 2.79 2.27 2.12 2.76 2.82 2.79

time (sec)

N/A 2.778 1.704 0.555 0.080 0.096 0.092 0.121 0.217 0.170

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 0 44 47 86 70 75 4807 0 168

N.S.

1 0.00 1.33 1.42 2.61 2.12 2.27 145.67 0.00 5.09

time (sec)

N/A 0.000 0.128 0.103 0.149 0.096 0.284 0.394 0.962 2.904

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 0 27 26 0 25 0 26 30 26

N.S.

1 0.00 1.04 1.00 0.00 0.96 0.00 1.00 1.15 1.00

time (sec)

N/A 0.000 0.089 261.683 0.000 0.087 0.000 1.642 0.258 2.750

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 14 14 11 42 10 12 42 12 10

N.S.

1 1.00 1.00 0.79 3.00 0.71 0.86 3.00 0.86 0.71

time (sec)

N/A 0.259 0.031 0.106 0.030 0.077 0.059 0.118 0.241 0.054

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 0 19 20 21 19 14 19 19 33

N.S.

1 0.00 0.79 0.83 0.88 0.79 0.58 0.79 0.79 1.38

time (sec)

N/A 0.000 0.143 0.245 0.067 0.074 0.075 0.136 0.233 2.664

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 73 24 26 0 22 26 36 29 25

N.S.

1 3.17 1.04 1.13 0.00 0.96 1.13 1.57 1.26 1.09

time (sec)

N/A 0.316 0.111 0.138 0.000 0.076 0.078 0.111 0.221 0.076

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 0 0 41 74 82 85 76 100 83

N.S.

1 0.00 0.00 1.58 2.85 3.15 3.27 2.92 3.85 3.19

time (sec)

N/A 0.000 0.000 0.039 0.570 0.097 1.438 0.507 0.666 3.189

Problem 335

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

14 16 22 15 14 14 15 14 14 14

N.S.

1 1.14 1.57 1.07 1.00 1.00 1.07 1.00 1.00 1.00

time (sec)

N/A 0.155 0.002 0.052 0.037 0.069 0.026 0.110 0.235 0.035

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 0 32 30 36 35 31 45 30 0

N.S.

1 0.00 1.23 1.15 1.38 1.35 1.19 1.73 1.15 0.00

time (sec)

N/A 0.000 0.036 0.786 0.100 0.098 0.262 0.121 0.226 0.000

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 36 36 25 269 24 24 32 47 28

N.S.

1 1.20 1.20 0.83 8.97 0.80 0.80 1.07 1.57 0.93

time (sec)

N/A 0.303 0.167 0.495 0.152 0.091 0.089 0.118 0.224 2.471

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 23 23 28 36 25 26 27 121 25

N.S.

1 1.10 1.10 1.33 1.71 1.19 1.24 1.29 5.76 1.19

time (sec)

N/A 0.569 0.206 0.323 0.153 0.083 0.088 0.130 0.218 2.435

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 26 28 29 29 0 0 33 41

N.S.

1 0.00 0.87 0.93 0.97 0.97 0.00 0.00 1.10 1.37

time (sec)

N/A 0.000 0.247 107.973 0.572 0.101 0.000 0.000 1.056 2.822

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 0 32 0 0 35 0 148 48 32

N.S.

1 0.00 1.33 0.00 0.00 1.46 0.00 6.17 2.00 1.33

time (sec)

N/A 0.000 0.076 0.000 0.000 0.096 0.000 0.499 0.324 4.533

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 0 48 63 40 47 48 44 60 103

N.S.

1 0.00 1.85 2.42 1.54 1.81 1.85 1.69 2.31 3.96

time (sec)

N/A 0.000 0.037 2.363 0.057 0.085 0.125 0.129 0.220 2.490

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 25 22 25 36 24 22 24 25 21

N.S.

1 0.83 0.73 0.83 1.20 0.80 0.73 0.80 0.83 0.70

time (sec)

N/A 0.240 0.027 0.385 0.061 0.093 0.116 0.114 0.204 2.419

Problem 343

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 No TBD TBD TBD TBD TBD TBD

size

12 10 13 14 10 15 12 13 13 14

N.S.

1 0.83 1.08 1.17 0.83 1.25 1.00 1.08 1.08 1.17

time (sec)

N/A 0.165 0.003 0.052 0.035 0.081 0.059 0.108 0.224 2.333

Problem 344

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

29 21 21 17 16 20 14 20 22 16

N.S.

1 0.72 0.72 0.59 0.55 0.69 0.48 0.69 0.76 0.55

time (sec)

N/A 0.201 0.008 0.130 0.028 0.073 0.055 0.108 0.229 2.424

Problem 345

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

15 17 17 18 17 17 19 17 14 63

N.S.

1 1.13 1.13 1.20 1.13 1.13 1.27 1.13 0.93 4.20

time (sec)

N/A 0.180 0.003 0.122 0.033 0.072 0.097 0.130 0.212 2.497

Problem 346

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

22 17 18 17 16 29 20 16 24 16

N.S.

1 0.77 0.82 0.77 0.73 1.32 0.91 0.73 1.09 0.73

time (sec)

N/A 0.420 0.097 0.089 0.042 0.082 0.102 0.111 0.219 0.111

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 0 13 13 20 13 10 12 13 11

N.S.

1 0.00 0.68 0.68 1.05 0.68 0.53 0.63 0.68 0.58

time (sec)

N/A 0.000 0.021 0.104 0.124 0.097 0.082 0.113 0.212 2.334

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 0 28 33 34 31 27 46 731 0

N.S.

1 0.00 1.00 1.18 1.21 1.11 0.96 1.64 26.11 0.00

time (sec)

N/A 0.000 0.144 63.366 0.232 0.092 0.966 0.161 0.399 0.000

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 0 31 34 29 87 0 0 32 29

N.S.

1 0.00 1.00 1.10 0.94 2.81 0.00 0.00 1.03 0.94

time (sec)

N/A 0.000 0.147 0.080 0.360 0.092 0.000 0.000 0.299 3.355

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

15 39 19 13 28 28 31 28 27 29

N.S.

1 2.60 1.27 0.87 1.87 1.87 2.07 1.87 1.80 1.93

time (sec)

N/A 0.171 0.003 0.067 0.026 0.083 0.023 0.112 0.222 2.197

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 0 0 29 236 137 63 283 388 206

N.S.

1 0.00 0.00 0.91 7.38 4.28 1.97 8.84 12.12 6.44

time (sec)

N/A 0.000 0.000 8.160 0.217 0.086 0.231 0.267 0.230 2.773

Problem 352

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

29 26 25 20 21 21 19 21 21 22

N.S.

1 0.90 0.86 0.69 0.72 0.72 0.66 0.72 0.72 0.76

time (sec)

N/A 0.279 0.001 0.044 0.031 0.068 0.021 0.115 0.224 2.185

Problem 353

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

17 12 12 11 10 10 8 10 10 10

N.S.

1 0.71 0.71 0.65 0.59 0.59 0.47 0.59 0.59 0.59

time (sec)

N/A 0.627 0.024 0.066 0.070 0.084 0.047 0.112 0.230 2.229

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 192 21 23 134 20 24 88 36 22

N.S.

1 9.14 1.00 1.10 6.38 0.95 1.14 4.19 1.71 1.05

time (sec)

N/A 0.827 0.457 0.310 0.049 0.082 0.073 0.127 0.212 0.132

Problem 355

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

22 24 24 24 22 23 22 22 24 23

N.S.

1 1.09 1.09 1.09 1.00 1.05 1.00 1.00 1.09 1.05

time (sec)

N/A 0.308 0.002 0.040 0.033 0.070 0.031 0.114 0.230 0.043

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

35 0 49 58 51 53 53 58 140 54

N.S.

1 0.00 1.40 1.66 1.46 1.51 1.51 1.66 4.00 1.54

time (sec)

N/A 0.000 0.085 0.896 0.041 0.084 4.548 0.163 0.251 2.451

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 0 39 34 33 33 19 64 40 23

N.S.

1 0.00 1.62 1.42 1.38 1.38 0.79 2.67 1.67 0.96

time (sec)

N/A 0.000 1.454 0.565 0.150 0.081 0.188 0.127 0.216 2.501

Problem 358

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

31 29 27 21 22 22 29 22 21 12

N.S.

1 0.94 0.87 0.68 0.71 0.71 0.94 0.71 0.68 0.39

time (sec)

N/A 0.168 0.004 0.049 0.025 0.076 0.020 0.112 0.205 0.037

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 38 31 49 57 45 46 57 116 66

N.S.

1 1.27 1.03 1.63 1.90 1.50 1.53 1.90 3.87 2.20

time (sec)

N/A 3.867 5.119 0.374 0.533 0.100 0.181 0.288 2.018 0.245

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 40 38 34 31 35 36 38 260 34

N.S.

1 1.54 1.46 1.31 1.19 1.35 1.38 1.46 10.00 1.31

time (sec)

N/A 0.769 0.142 0.316 0.090 0.092 0.149 0.130 0.243 2.395

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 0 20 43 50 34 42 48 41 41

N.S.

1 0.00 1.00 2.15 2.50 1.70 2.10 2.40 2.05 2.05

time (sec)

N/A 0.000 0.017 0.380 0.083 0.090 0.159 0.129 0.235 2.381

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 31 107 269 99 139 173 155 0

N.S.

1 0.00 1.24 4.28 10.76 3.96 5.56 6.92 6.20 0.00

time (sec)

N/A 0.000 0.145 0.150 0.153 0.099 17.726 0.163 0.238 0.000

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 18 24 21 20 25 17 20 34 0

N.S.

1 1.00 1.33 1.17 1.11 1.39 0.94 1.11 1.89 0.00

time (sec)

N/A 0.237 0.012 0.141 0.031 0.068 0.071 0.113 0.241 0.000

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 0 0 51 43 50 42 60 45 37

N.S.

1 0.00 0.00 2.32 1.95 2.27 1.91 2.73 2.05 1.68

time (sec)

N/A 0.000 0.000 0.282 0.205 0.097 0.111 0.136 2.058 2.509

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 0 0 39 99 23 39 38 332 42

N.S.

1 0.00 0.00 1.50 3.81 0.88 1.50 1.46 12.77 1.62

time (sec)

N/A 0.000 0.000 1.513 0.176 0.084 0.209 0.227 3.397 2.410

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 52 23 23 22 22 22 22 29 24

N.S.

1 2.48 1.10 1.10 1.05 1.05 1.05 1.05 1.38 1.14

time (sec)

N/A 0.521 0.022 4.167 0.121 0.093 0.120 0.114 0.463 2.382

Problem 367

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

30 30 23 26 28 34 27 28 41 31

N.S.

1 1.00 0.77 0.87 0.93 1.13 0.90 0.93 1.37 1.03

time (sec)

N/A 0.359 0.013 0.108 0.034 0.074 0.203 0.113 0.236 0.093

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 0 17 20 51 44 71 0 128 0

N.S.

1 0.00 0.89 1.05 2.68 2.32 3.74 0.00 6.74 0.00

time (sec)

N/A 0.000 0.132 6.391 0.175 0.075 0.165 0.000 200.023 0.000

Problem 369

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

25 20 21 16 15 15 19 15 20 18

N.S.

1 0.80 0.84 0.64 0.60 0.60 0.76 0.60 0.80 0.72

time (sec)

N/A 0.277 0.084 0.121 0.033 0.083 9.031 0.111 0.232 0.074

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 148 24 22 48 21 20 81 24 36

N.S.

1 5.92 0.96 0.88 1.92 0.84 0.80 3.24 0.96 1.44

time (sec)

N/A 0.442 0.084 0.122 0.086 0.077 0.070 0.114 0.212 2.418

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

17 0 14 14 24 13 10 13 18 13

N.S.

1 0.00 0.82 0.82 1.41 0.76 0.59 0.76 1.06 0.76

time (sec)

N/A 0.000 0.226 0.098 0.089 0.072 0.066 0.113 0.221 0.174

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 31 24 20 0 23 20 23 20 20

N.S.

1 0.97 0.75 0.62 0.00 0.72 0.62 0.72 0.62 0.62

time (sec)

N/A 1.041 0.384 0.408 0.000 0.079 0.213 0.114 0.221 0.297

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 27 27 20 25 22 20 167 0

N.S.

1 0.00 0.90 0.90 0.67 0.83 0.73 0.67 5.57 0.00

time (sec)

N/A 0.000 0.167 0.252 0.073 0.079 0.192 0.221 0.271 0.000

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 161 42 87 245 96 128 276 102 46

N.S.

1 4.88 1.27 2.64 7.42 2.91 3.88 8.36 3.09 1.39

time (sec)

N/A 0.406 0.078 2.875 0.036 0.086 0.192 0.116 0.229 2.543

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 0 41 41 0 59 0 60 63 41

N.S.

1 0.00 1.21 1.21 0.00 1.74 0.00 1.76 1.85 1.21

time (sec)

N/A 0.000 0.155 2.898 0.000 0.096 0.000 0.345 0.281 3.085

Problem 376

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

14 9 9 10 9 9 7 9 10 9

N.S.

1 0.64 0.64 0.71 0.64 0.64 0.50 0.64 0.71 0.64

time (sec)

N/A 0.151 0.001 0.057 0.024 0.064 0.039 0.111 0.271 0.049

Problem 377

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

28 21 21 22 22 22 22 22 35 22

N.S.

1 0.75 0.75 0.79 0.79 0.79 0.79 0.79 1.25 0.79

time (sec)

N/A 0.172 0.007 0.170 0.034 0.075 0.093 0.115 0.249 0.201

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 113 92 139 101 85 184 86 0

N.S.

1 0.00 4.52 3.68 5.56 4.04 3.40 7.36 3.44 0.00

time (sec)

N/A 0.000 0.224 0.050 0.233 0.092 1.332 0.645 0.270 0.000

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 25 34 0 33 0 22 129 23

N.S.

1 0.00 1.00 1.36 0.00 1.32 0.00 0.88 5.16 0.92

time (sec)

N/A 0.000 0.055 1.619 0.000 0.084 0.000 0.163 200.029 2.521

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 0 22 19 18 23 20 20 20 20

N.S.

1 0.00 0.96 0.83 0.78 1.00 0.87 0.87 0.87 0.87

time (sec)

N/A 0.000 0.115 0.076 0.062 0.084 0.084 0.107 0.226 0.105

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 76 24 48 87 47 58 0 46 21

N.S.

1 3.30 1.04 2.09 3.78 2.04 2.52 0.00 2.00 0.91

time (sec)

N/A 1.020 0.126 0.204 0.138 0.087 3.944 0.000 0.228 2.713

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 0 20 19 18 18 17 18 21 18

N.S.

1 0.00 1.05 1.00 0.95 0.95 0.89 0.95 1.11 0.95

time (sec)

N/A 0.000 5.431 0.151 0.089 0.088 0.079 0.127 0.240 2.671

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

36 0 26 29 0 31 0 0 28 24

N.S.

1 0.00 0.72 0.81 0.00 0.86 0.00 0.00 0.78 0.67

time (sec)

N/A 0.000 0.123 5.273 0.000 0.096 0.000 0.000 0.227 3.287

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 21 21 22 21 24 20 0 24 24

N.S.

1 0.88 0.88 0.92 0.88 1.00 0.83 0.00 1.00 1.00

time (sec)

N/A 0.305 0.012 0.152 0.038 0.082 0.097 0.000 0.226 0.085

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 36 37 42 0 41 46 59 46 21

N.S.

1 1.33 1.37 1.56 0.00 1.52 1.70 2.19 1.70 0.78

time (sec)

N/A 0.638 5.094 0.167 0.000 0.086 0.104 0.115 0.212 2.519

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 27 27 21 0 24 20 0 23 20

N.S.

1 1.00 1.00 0.78 0.00 0.89 0.74 0.00 0.85 0.74

time (sec)

N/A 1.367 0.522 20.249 0.000 0.083 0.347 0.000 0.199 2.970

Problem 387

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

18 28 23 21 20 19 24 20 23 20

N.S.

1 1.56 1.28 1.17 1.11 1.06 1.33 1.11 1.28 1.11

time (sec)

N/A 0.328 0.006 0.077 0.028 0.067 0.103 0.107 0.202 2.495

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 41 28 24 32 39 26 56 25 23

N.S.

1 1.37 0.93 0.80 1.07 1.30 0.87 1.87 0.83 0.77

time (sec)

N/A 0.388 0.005 0.099 0.039 0.069 0.067 0.116 0.200 0.061

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 21 21 19 35 38 32 56 35 18

N.S.

1 0.84 0.84 0.76 1.40 1.52 1.28 2.24 1.40 0.72

time (sec)

N/A 0.459 0.013 0.194 0.048 0.076 0.405 0.116 0.201 2.637

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 26 25 21 25 40 20 23 32 20

N.S.

1 0.93 0.89 0.75 0.89 1.43 0.71 0.82 1.14 0.71

time (sec)

N/A 0.227 0.070 0.181 0.074 0.078 0.075 0.111 0.189 2.628

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 65 31 48 74 39 61 53 46 22

N.S.

1 2.50 1.19 1.85 2.85 1.50 2.35 2.04 1.77 0.85

time (sec)

N/A 0.338 0.028 0.677 0.089 0.085 0.236 0.137 0.206 2.460

Problem 392

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

24 24 19 20 23 23 20 23 19 19

N.S.

1 1.00 0.79 0.83 0.96 0.96 0.83 0.96 0.79 0.79

time (sec)

N/A 0.165 0.006 0.048 0.032 0.065 0.021 0.118 0.207 0.041

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 82 37 70 70 70 68 0 70 38

N.S.

1 3.15 1.42 2.69 2.69 2.69 2.62 0.00 2.69 1.46

time (sec)

N/A 0.715 0.059 67.044 0.180 0.096 0.265 0.000 0.221 2.699

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 20 18 18 69 17 14 16 23 20

N.S.

1 1.11 1.00 1.00 3.83 0.94 0.78 0.89 1.28 1.11

time (sec)

N/A 0.651 0.248 0.329 0.400 0.092 0.131 0.136 0.212 2.606

Problem 395

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

10 9 9 10 9 9 8 10 9 9

N.S.

1 0.90 0.90 1.00 0.90 0.90 0.80 1.00 0.90 0.90

time (sec)

N/A 0.142 0.002 0.071 0.041 0.069 0.044 0.113 0.251 0.046

Problem 396

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

18 8 8 9 8 8 5 9 8 8

N.S.

1 0.44 0.44 0.50 0.44 0.44 0.28 0.50 0.44 0.44

time (sec)

N/A 0.148 0.002 0.036 0.027 0.080 0.031 0.107 0.215 0.028

Problem 397

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 17 14 12 11 11 10 11 10 9

N.S.

1 0.89 0.74 0.63 0.58 0.58 0.53 0.58 0.53 0.47

time (sec)

N/A 0.136 0.000 0.024 0.028 0.075 0.021 0.112 0.214 0.031

Problem 398

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

5 5 5 5 4 4 3 4 7 4

N.S.

1 1.00 1.00 1.00 0.80 0.80 0.60 0.80 1.40 0.80

time (sec)

N/A 0.141 0.003 0.027 0.028 0.071 0.030 0.109 0.211 0.017

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

17 14 14 15 39 18 12 19 15 19

N.S.

1 0.82 0.82 0.88 2.29 1.06 0.71 1.12 0.88 1.12

time (sec)

N/A 0.259 0.094 0.082 0.034 0.076 0.059 0.115 0.234 0.067

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 0 47 61 50 67 104 59 70 0

N.S.

1 0.00 1.47 1.91 1.56 2.09 3.25 1.84 2.19 0.00

time (sec)

N/A 0.000 0.061 1.830 0.221 0.085 0.355 0.202 0.231 0.000

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