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

2.2.4 Integrals 301 to 400

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 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 82 74 64 66 42 65 76

N.S.

1 1.00 1.39 1.25 1.08 1.12 0.71 1.10 1.29

time (sec)

N/A 0.028 0.058 6.229 2.310 0.976 0.446 0.801 0.455

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 83 76 66 79 34 67 92

N.S.

1 1.00 1.19 1.09 0.94 1.13 0.49 0.96 1.31

time (sec)

N/A 0.028 0.085 6.227 4.039 1.001 0.686 0.655 0.367

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A B C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 68 20 83 146 41 83 18

N.S.

1 1.00 1.00 0.29 1.22 2.15 0.60 1.22 0.26

time (sec)

N/A 0.016 0.137 2.437 4.007 3.332 0.506 0.701 0.423

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A C A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 82 19 130 105 41 110 -1

N.S.

1 1.00 0.88 0.20 1.40 1.13 0.44 1.18 -0.01

time (sec)

N/A 0.020 0.237 2.111 1.360 1.554 0.947 0.737 0.000

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A C A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 82 20 129 105 39 109 -1

N.S.

1 1.00 0.88 0.22 1.39 1.13 0.42 1.17 -0.01

time (sec)

N/A 0.020 0.236 2.077 2.344 1.545 1.018 0.951 0.000

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 129 137 15 0 99 0 69 29

N.S.

1 1.39 1.47 0.16 0.00 1.06 0.00 0.74 0.31

time (sec)

N/A 0.052 0.481 2.046 0.000 1.337 0.000 0.759 0.370

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 114 69 108 0 87 0 66 27

N.S.

1 0.90 0.55 0.86 0.00 0.69 0.00 0.52 0.21

time (sec)

N/A 0.077 0.138 0.063 0.000 20.246 0.000 0.958 0.286

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 41 60 0 49 0 70 35

N.S.

1 1.00 1.21 1.76 0.00 1.44 0.00 2.06 1.03

time (sec)

N/A 0.022 0.174 0.146 0.000 1.230 0.000 0.867 0.515

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 55 47 0 47 0 49 43

N.S.

1 1.00 0.95 0.81 0.00 0.81 0.00 0.84 0.74

time (sec)

N/A 0.026 0.077 0.226 0.000 0.779 0.000 1.503 0.292

Problem 310

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

71 71 57 60 52 81 0 112 -1

N.S.

1 1.00 0.80 0.85 0.73 1.14 0.00 1.58 -0.01

time (sec)

N/A 0.033 0.095 0.123 3.481 0.815 0.000 1.109 0.000

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 21 52 46 52 59 0 69 49

N.S.

1 1.00 2.48 2.19 2.48 2.81 0.00 3.29 2.33

time (sec)

N/A 0.020 0.088 0.104 1.850 1.181 0.000 0.908 0.815

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 17 75 14 13 13 36 13 21

N.S.

1 1.00 4.41 0.82 0.76 0.76 2.12 0.76 1.24

time (sec)

N/A 0.007 10.044 0.087 1.534 0.838 0.218 0.732 0.279

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 40 116 34 35 221 34 34

N.S.

1 1.00 0.87 2.52 0.74 0.76 4.80 0.74 0.74

time (sec)

N/A 0.132 0.037 0.095 1.748 0.726 5.852 0.886 0.373

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 110 904 0 232 0 0 -1

N.S.

1 1.00 1.41 11.59 0.00 2.97 0.00 0.00 -0.01

time (sec)

N/A 0.010 0.218 1.701 0.000 3.639 0.000 0.000 0.000

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 76 150 0 388 0 0 -1

N.S.

1 1.00 0.54 1.06 0.00 2.75 0.00 0.00 -0.01

time (sec)

N/A 0.045 0.182 0.746 0.000 5.160 0.000 0.000 0.000

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 90 29 94 86 71 0 -1

N.S.

1 1.00 1.43 0.46 1.49 1.37 1.13 0.00 -0.02

time (sec)

N/A 0.008 0.153 1.012 1.052 1.386 1.077 0.000 0.000

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 74 227 0 242 0 0 -1

N.S.

1 1.00 1.00 3.07 0.00 3.27 0.00 0.00 -0.01

time (sec)

N/A 0.018 0.245 1.687 0.000 6.134 0.000 0.000 0.000

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

48 59 26 23 73 40 0 0 23

N.S.

1 1.23 0.54 0.48 1.52 0.83 0.00 0.00 0.48

time (sec)

N/A 0.008 0.794 0.097 1.151 0.915 0.000 0.000 0.262

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 180 2515 0 458 0 0 -1

N.S.

1 1.00 2.00 27.94 0.00 5.09 0.00 0.00 -0.01

time (sec)

N/A 0.028 0.369 8.535 0.000 7.759 0.000 0.000 0.000

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 23 112 0 18 0 0 -1

N.S.

1 1.00 1.00 4.87 0.00 0.78 0.00 0.00 -0.04

time (sec)

N/A 0.023 0.005 0.129 0.000 1.619 0.000 0.000 0.000

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 23 112 0 42 0 0 -1

N.S.

1 1.00 1.00 4.87 0.00 1.83 0.00 0.00 -0.04

time (sec)

N/A 0.023 0.004 0.147 0.000 1.448 0.000 0.000 0.000

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 23 35 18 57 49 14 51 17

N.S.

1 1.44 2.19 1.12 3.56 3.06 0.88 3.19 1.06

time (sec)

N/A 0.018 0.188 0.109 2.632 0.956 4.532 0.772 0.152

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 23 37 18 57 47 14 51 17

N.S.

1 1.44 2.31 1.12 3.56 2.94 0.88 3.19 1.06

time (sec)

N/A 0.017 0.063 0.106 1.347 1.368 2.645 0.694 0.234

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 26 184 0 45 0 0 -1

N.S.

1 1.00 1.00 7.08 0.00 1.73 0.00 0.00 -0.04

time (sec)

N/A 0.028 0.161 0.266 0.000 1.707 0.000 0.000 0.000

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 15 188 0 13 0 0 -1

N.S.

1 1.00 1.00 12.53 0.00 0.87 0.00 0.00 -0.07

time (sec)

N/A 0.026 0.130 0.219 0.000 1.307 0.000 0.000 0.000

Problem 326

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

16 16 16 15 22 14 0 0 14

N.S.

1 1.00 1.00 0.94 1.38 0.88 0.00 0.00 0.88

time (sec)

N/A 0.012 0.282 0.043 1.161 1.404 0.000 0.000 0.058

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 65 247419 0 252 0 0 -1

N.S.

1 1.00 0.88 3343.50 0.00 3.41 0.00 0.00 -0.01

time (sec)

N/A 0.133 0.633 0.174 0.000 1.783 0.000 0.000 0.000

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 22 96 0 0 62 0 0 -1

N.S.

1 1.00 4.36 0.00 0.00 2.82 0.00 0.00 -0.05

time (sec)

N/A 0.040 0.219 0.025 0.000 2.622 0.000 0.000 0.000

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 26 0 0 0 0 0 -1

N.S.

1 1.00 1.08 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.044 0.113 0.024 0.000 0.000 0.000 0.000 0.000

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 14 14 11 10 10 10 10 10

N.S.

1 1.00 1.00 0.79 0.71 0.71 0.71 0.71 0.71

time (sec)

N/A 0.005 0.002 0.013 1.483 1.007 0.008 1.432 0.185

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

11 11 15 11 9 10 8 9 9

N.S.

1 1.00 1.36 1.00 0.82 0.91 0.73 0.82 0.82

time (sec)

N/A 0.007 0.003 0.064 2.225 0.745 0.010 1.326 0.035

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 22 18 16 19 24 16 16

N.S.

1 1.00 0.92 0.75 0.67 0.79 1.00 0.67 0.67

time (sec)

N/A 0.007 0.002 0.069 1.361 0.926 0.009 1.082 0.032

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 30 24 24 25 36 22 22

N.S.

1 1.00 0.88 0.71 0.71 0.74 1.06 0.65 0.65

time (sec)

N/A 0.018 0.003 0.078 2.418 1.283 0.008 0.811 0.038

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 38 30 30 31 48 28 28

N.S.

1 1.00 0.86 0.68 0.68 0.70 1.09 0.64 0.64

time (sec)

N/A 0.017 0.003 0.089 2.508 1.074 0.010 1.140 0.027

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 64 21 39 23 37 99 14 20

N.S.

1 3.20 1.05 1.95 1.15 1.85 4.95 0.70 1.00

time (sec)

N/A 0.015 0.017 0.091 1.933 0.981 0.147 1.243 0.273

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 31 23 23 22 39 23 22

N.S.

1 1.00 1.00 0.74 0.74 0.71 1.26 0.74 0.71

time (sec)

N/A 0.008 0.016 0.268 2.536 0.808 0.088 1.564 0.254

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 21 27 18 20 37 32 20 27

N.S.

1 1.00 1.29 0.86 0.95 1.76 1.52 0.95 1.29

time (sec)

N/A 0.006 0.003 0.079 2.850 0.837 0.010 1.572 0.196

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 95 32 54 93 60 112 44

N.S.

1 1.00 2.64 0.89 1.50 2.58 1.67 3.11 1.22

time (sec)

N/A 0.013 0.007 0.092 2.183 0.893 0.063 1.487 0.249

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 57 37 33 40 66 33 51

N.S.

1 1.00 1.39 0.90 0.80 0.98 1.61 0.80 1.24

time (sec)

N/A 0.011 0.005 0.082 1.936 1.063 0.011 1.509 0.213

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 40 40 51 70 388 53 35

N.S.

1 1.00 1.00 1.00 1.28 1.75 9.70 1.32 0.88

time (sec)

N/A 0.009 0.011 0.333 1.680 1.261 0.542 1.682 0.621

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 22 30 21 18 18 31 18 18

N.S.

1 1.00 1.36 0.95 0.82 0.82 1.41 0.82 0.82

time (sec)

N/A 0.009 0.005 0.010 2.875 1.156 0.017 1.490 0.035

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 16 26 22 40 19 37 26

N.S.

1 1.00 0.80 1.30 1.10 2.00 0.95 1.85 1.30

time (sec)

N/A 0.011 0.004 0.027 5.588 0.927 0.035 1.372 0.270

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 32 40 38 30 70 20 53 24

N.S.

1 1.00 1.25 1.19 0.94 2.19 0.62 1.66 0.75

time (sec)

N/A 0.013 0.013 0.046 5.358 1.072 0.064 1.473 0.088

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 46 42 24 37 56 34 38

N.S.

1 1.00 0.82 0.75 0.43 0.66 1.00 0.61 0.68

time (sec)

N/A 0.044 0.024 0.081 1.361 0.968 0.010 1.594 0.043

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 55 38 25 25 27 25 25

N.S.

1 1.00 1.67 1.15 0.76 0.76 0.82 0.76 0.76

time (sec)

N/A 0.021 0.031 0.032 2.199 1.052 0.013 1.283 0.196

Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 46 37 40 38 44 42 36

N.S.

1 1.00 1.00 0.80 0.87 0.83 0.96 0.91 0.78

time (sec)

N/A 0.020 0.009 0.035 1.398 0.738 0.026 0.930 0.036

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 53 56 37 55 44 26 27

N.S.

1 1.00 1.29 1.37 0.90 1.34 1.07 0.63 0.66

time (sec)

N/A 0.024 0.022 0.075 3.262 0.749 0.016 1.037 0.122

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 14 19 10 19 14 10 18

N.S.

1 1.00 0.58 0.79 0.42 0.79 0.58 0.42 0.75

time (sec)

N/A 0.021 0.006 0.026 0.865 0.768 0.013 0.809 0.044

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 22 36 16 31 31 16 32

N.S.

1 1.00 0.48 0.78 0.35 0.67 0.67 0.35 0.70

time (sec)

N/A 0.039 0.012 0.083 1.806 0.910 0.013 0.871 0.045

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 30 52 24 43 46 22 44

N.S.

1 1.00 0.44 0.76 0.35 0.63 0.68 0.32 0.65

time (sec)

N/A 0.062 0.016 0.079 1.588 0.910 0.014 0.705 0.028

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 38 68 30 55 61 28 56

N.S.

1 1.00 0.42 0.76 0.33 0.61 0.68 0.31 0.62

time (sec)

N/A 0.080 0.021 0.083 2.180 0.853 0.015 0.764 0.036

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 58 0 0 0 0 0 52

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 0.76

time (sec)

N/A 0.025 0.047 0.023 0.000 0.000 0.000 0.000 0.749

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 32 45 25 41 71 54 132 24

N.S.

1 1.00 1.41 0.78 1.28 2.22 1.69 4.12 0.75

time (sec)

N/A 0.015 0.049 0.058 1.534 0.823 0.619 0.720 0.284

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

8 8 8 11 6 14 17 6 6

N.S.

1 1.00 1.00 1.38 0.75 1.75 2.12 0.75 0.75

time (sec)

N/A 0.015 0.002 0.036 1.710 1.014 0.011 0.727 0.028

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

11 11 11 32 14 22 15 14 11

N.S.

1 1.00 1.00 2.91 1.27 2.00 1.36 1.27 1.00

time (sec)

N/A 0.011 0.006 0.069 2.280 1.001 0.027 0.662 0.317

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

8 8 8 7 6 6 7 6 6

N.S.

1 1.00 1.00 0.88 0.75 0.75 0.88 0.75 0.75

time (sec)

N/A 0.009 0.005 0.025 1.961 1.092 0.012 0.605 0.323

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 71 36 38 68 41 47 24

N.S.

1 1.00 2.73 1.38 1.46 2.62 1.58 1.81 0.92

time (sec)

N/A 0.023 0.015 0.046 2.327 1.773 0.055 0.984 0.323

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 17 17 22 14 30 15 14 13

N.S.

1 1.00 1.00 1.29 0.82 1.76 0.88 0.82 0.76

time (sec)

N/A 0.019 0.007 0.037 3.142 1.315 0.030 1.413 0.068

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 24 49 19 20 39 20 22

N.S.

1 1.00 0.77 1.58 0.61 0.65 1.26 0.65 0.71

time (sec)

N/A 0.018 0.038 0.109 1.613 1.286 16.078 1.537 1.118

Problem 360

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

21 21 22 26 13 27 0 13 32

N.S.

1 1.00 1.05 1.24 0.62 1.29 0.00 0.62 1.52

time (sec)

N/A 0.016 0.028 0.282 2.132 1.072 0.000 1.271 1.152

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 95 52 54 93 56 44 57

N.S.

1 1.00 2.50 1.37 1.42 2.45 1.47 1.16 1.50

time (sec)

N/A 0.038 0.016 0.053 1.863 1.227 0.059 1.406 0.280

Problem 362

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

76 76 74 76 74 82 0 95 75

N.S.

1 1.00 0.97 1.00 0.97 1.08 0.00 1.25 0.99

time (sec)

N/A 0.033 0.056 0.384 1.712 1.183 0.000 1.608 6.376

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 84 127 210 115 178 0 149 133

N.S.

1 0.95 1.44 2.39 1.31 2.02 0.00 1.69 1.51

time (sec)

N/A 0.395 1.441 0.335 4.121 1.488 0.000 1.288 0.381

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 74 66 54 54 148 54 94

N.S.

1 1.00 1.06 0.94 0.77 0.77 2.11 0.77 1.34

time (sec)

N/A 0.109 0.056 0.148 2.634 0.930 0.252 1.336 0.385

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 29 35 36 71 39 75 75

N.S.

1 1.00 0.88 1.06 1.09 2.15 1.18 2.27 2.27

time (sec)

N/A 0.043 0.025 0.040 1.207 0.861 0.231 1.151 0.518

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 20 21 14 26 24 14 26

N.S.

1 1.00 1.25 1.31 0.88 1.62 1.50 0.88 1.62

time (sec)

N/A 0.032 0.014 0.115 2.695 1.035 10.280 0.927 0.312

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

12 12 12 22 21 27 24 23 10

N.S.

1 1.00 1.00 1.83 1.75 2.25 2.00 1.92 0.83

time (sec)

N/A 0.017 0.009 0.084 1.522 0.945 0.830 0.928 0.269

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 17 17 14 13 18 20 13 13

N.S.

1 1.00 1.00 0.82 0.76 1.06 1.18 0.76 0.76

time (sec)

N/A 0.006 0.009 0.069 1.196 1.083 0.124 0.933 0.193

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 26 31 54 43 75 38 33

N.S.

1 1.00 1.00 1.19 2.08 1.65 2.88 1.46 1.27

time (sec)

N/A 0.023 0.038 0.109 2.321 1.614 10.063 0.915 0.234

Problem 370

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

38 38 38 29 30 31 139 28 36

N.S.

1 1.00 1.00 0.76 0.79 0.82 3.66 0.74 0.95

time (sec)

N/A 0.022 0.018 0.094 1.537 1.113 2.237 0.858 0.301

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 20 35 33 43 22 21 21

N.S.

1 1.00 1.00 1.75 1.65 2.15 1.10 1.05 1.05

time (sec)

N/A 0.034 0.010 0.085 0.876 1.037 13.623 0.876 0.067

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

12 12 12 19 19 25 14 13 35

N.S.

1 1.00 1.00 1.58 1.58 2.08 1.17 1.08 2.92

time (sec)

N/A 0.017 0.009 0.076 1.505 0.798 3.325 0.625 0.298

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

64 65 39 35 208 64 0 75 47

N.S.

1 1.02 0.61 0.55 3.25 1.00 0.00 1.17 0.73

time (sec)

N/A 0.056 0.036 0.152 2.460 1.060 0.000 0.732 0.342

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

11 17 17 27 92 17 0 24 25

N.S.

1 1.55 1.55 2.45 8.36 1.55 0.00 2.18 2.27

time (sec)

N/A 0.024 0.011 0.090 2.090 1.405 0.000 0.658 0.616

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

7 7 7 12 9 11 0 11 5

N.S.

1 1.00 1.00 1.71 1.29 1.57 0.00 1.57 0.71

time (sec)

N/A 0.027 0.031 0.102 2.114 1.253 0.000 0.628 0.266

Problem 376

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

53 83 33 43 27 38 107 78 23

N.S.

1 1.57 0.62 0.81 0.51 0.72 2.02 1.47 0.43

time (sec)

N/A 0.074 0.049 0.112 2.682 1.458 6.288 0.631 0.214

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 94 22 20 39 66 39 37 17

N.S.

1 2.85 0.67 0.61 1.18 2.00 1.18 1.12 0.52

time (sec)

N/A 0.052 0.034 0.070 2.004 1.486 0.260 0.730 0.081

Problem 378

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

27 27 9 8 7 21 219 20 16

N.S.

1 1.00 0.33 0.30 0.26 0.78 8.11 0.74 0.59

time (sec)

N/A 0.016 0.020 0.060 3.366 1.269 4.842 0.737 0.283

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 41 31 28 46 102 29 38

N.S.

1 1.00 1.46 1.11 1.00 1.64 3.64 1.04 1.36

time (sec)

N/A 0.030 0.031 0.113 2.093 1.266 0.226 0.616 0.320

Problem 380

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

67 67 58 39 38 61 0 78 120

N.S.

1 1.00 0.87 0.58 0.57 0.91 0.00 1.16 1.79

time (sec)

N/A 0.034 0.088 0.122 1.692 1.059 0.000 0.717 0.434

Problem 381

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

55 55 54 29 28 58 0 61 77

N.S.

1 1.00 0.98 0.53 0.51 1.05 0.00 1.11 1.40

time (sec)

N/A 0.025 0.066 0.078 1.526 1.469 0.000 0.709 0.386

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 70 45 44 77 252 39 48

N.S.

1 1.00 1.67 1.07 1.05 1.83 6.00 0.93 1.14

time (sec)

N/A 0.066 0.154 0.052 1.582 0.957 0.239 0.667 0.284

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

9 9 9 20 0 19 76 21 7

N.S.

1 1.00 1.00 2.22 0.00 2.11 8.44 2.33 0.78

time (sec)

N/A 0.016 0.006 0.081 0.000 1.076 2.089 0.623 0.362

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 174 13 129 33 0 49 12

N.S.

1 1.00 11.60 0.87 8.60 2.20 0.00 3.27 0.80

time (sec)

N/A 0.010 0.262 0.057 1.528 1.063 0.000 0.778 0.126

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 17 28 21 128 26 22 20 9

N.S.

1 1.00 1.65 1.24 7.53 1.53 1.29 1.18 0.53

time (sec)

N/A 0.030 0.012 0.074 1.467 1.091 0.524 1.042 0.242

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 21 21 18 81 19 0 24 15

N.S.

1 1.00 1.00 0.86 3.86 0.90 0.00 1.14 0.71

time (sec)

N/A 0.028 0.013 0.106 2.701 1.443 0.000 1.184 0.116

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 21 21 34 129 19 17 24 17

N.S.

1 1.00 1.00 1.62 6.14 0.90 0.81 1.14 0.81

time (sec)

N/A 0.017 0.007 0.083 1.768 1.319 0.545 0.873 0.260

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 218 28 171 50 294 48 27

N.S.

1 1.00 8.38 1.08 6.58 1.92 11.31 1.85 1.04

time (sec)

N/A 0.018 0.231 0.098 2.090 1.318 3.563 0.800 0.466

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 218 28 171 50 294 48 27

N.S.

1 1.00 8.38 1.08 6.58 1.92 11.31 1.85 1.04

time (sec)

N/A 0.025 0.213 0.104 2.453 0.989 8.022 1.111 0.288

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 25 22 0 34 0 17 21

N.S.

1 1.00 1.56 1.38 0.00 2.12 0.00 1.06 1.31

time (sec)

N/A 0.007 0.011 0.104 0.000 1.050 0.000 1.792 0.226

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 17 27 31 0 35 0 29 23

N.S.

1 1.00 1.59 1.82 0.00 2.06 0.00 1.71 1.35

time (sec)

N/A 0.011 0.011 0.098 0.000 0.953 0.000 1.356 0.223

Problem 392

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

27 27 47 9 41 55 0 41 13

N.S.

1 1.00 1.74 0.33 1.52 2.04 0.00 1.52 0.48

time (sec)

N/A 0.010 0.012 0.046 5.649 1.378 0.000 0.860 0.053

Problem 393

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

30 30 33 17 101 58 0 16 28

N.S.

1 1.00 1.10 0.57 3.37 1.93 0.00 0.53 0.93

time (sec)

N/A 0.011 0.013 0.076 3.440 1.091 0.000 1.079 0.245

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 61 52 433 107 0 100 -1

N.S.

1 1.00 1.15 0.98 8.17 2.02 0.00 1.89 -0.02

time (sec)

N/A 0.021 0.101 0.091 1.258 1.338 0.000 1.262 0.000

Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 76 47 0 71 0 72 -1

N.S.

1 1.00 1.04 0.64 0.00 0.97 0.00 0.99 -0.01

time (sec)

N/A 0.025 0.122 0.180 0.000 1.103 0.000 1.399 0.000

Problem 396

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

55 55 36 31 43 40 230 43 -1

N.S.

1 1.00 0.65 0.56 0.78 0.73 4.18 0.78 -0.02

time (sec)

N/A 0.103 0.058 0.691 2.272 1.073 47.112 1.192 0.000

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 24 49 80 180 0 80 65

N.S.

1 1.00 0.24 0.50 0.82 1.84 0.00 0.82 0.66

time (sec)

N/A 0.047 0.011 0.052 2.237 1.173 0.000 1.271 0.127

Problem 398

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

57 69 69 53 52 54 0 52 67

N.S.

1 1.21 1.21 0.93 0.91 0.95 0.00 0.91 1.18

time (sec)

N/A 0.042 0.036 0.059 1.811 0.655 0.000 1.823 0.687

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 73 130 3213 541 0 0 63

N.S.

1 1.00 0.84 1.49 36.93 6.22 0.00 0.00 0.72

time (sec)

N/A 0.079 0.071 0.132 2.764 0.736 0.000 0.000 0.443

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 38 219 30 82 0 31 105

N.S.

1 1.00 0.95 5.48 0.75 2.05 0.00 0.78 2.62

time (sec)

N/A 0.097 0.863 0.472 2.159 0.857 0.000 1.262 1.421

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