[tail] [up]

Integrals 1 to 23

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 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

647 372 442 1396 0 0 0 0 341 0

N.S.

1 0.57 0.68 2.16 0.00 0.00 0.00 0.00 0.53 0.00

time (sec)

N/A 1.018 0.918 1.017 0.000 0.000 0.000 0.000 0.205 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

443 263 320 973 0 0 0 0 223 0

N.S.

1 0.59 0.72 2.20 0.00 0.00 0.00 0.00 0.50 0.00

time (sec)

N/A 0.790 0.897 0.675 0.000 0.000 0.000 0.000 0.197 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

231 140 219 628 0 0 0 0 127 0

N.S.

1 0.61 0.95 2.72 0.00 0.00 0.00 0.00 0.55 0.00

time (sec)

N/A 0.525 1.000 0.762 0.000 0.000 0.000 0.000 0.187 0.000

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

725 506 1095 816 0 0 0 0 110 0

N.S.

1 0.70 1.51 1.13 0.00 0.00 0.00 0.00 0.15 0.00

time (sec)

N/A 2.324 2.493 0.809 0.000 0.000 0.000 0.000 0.192 0.000

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

851 623 1116 1939 0 0 0 0 412 0

N.S.

1 0.73 1.31 2.28 0.00 0.00 0.00 0.00 0.48 0.00

time (sec)

N/A 2.820 6.843 0.866 0.000 0.000 0.000 0.000 0.194 0.000

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

904 498 910 2146 0 0 0 0 558 0

N.S.

1 0.55 1.01 2.37 0.00 0.00 0.00 0.00 0.62 0.00

time (sec)

N/A 1.246 3.120 1.218 0.000 0.000 0.000 0.000 0.229 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

645 367 591 1533 0 0 0 0 381 0

N.S.

1 0.57 0.92 2.38 0.00 0.00 0.00 0.00 0.59 0.00

time (sec)

N/A 1.010 1.690 0.954 0.000 0.000 0.000 0.000 0.213 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

346 193 337 1012 0 0 0 0 226 0

N.S.

1 0.56 0.97 2.92 0.00 0.00 0.00 0.00 0.65 0.00

time (sec)

N/A 0.609 1.194 0.911 0.000 0.000 0.000 0.000 0.213 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

1053 700 3034 1559 0 0 0 0 298 0

N.S.

1 0.66 2.88 1.48 0.00 0.00 0.00 0.00 0.28 0.00

time (sec)

N/A 2.554 11.212 0.721 0.000 0.000 0.000 0.000 0.197 0.000

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

1188 630 1144 3019 0 0 0 0 776 0

N.S.

1 0.53 0.96 2.54 0.00 0.00 0.00 0.00 0.65 0.00

time (sec)

N/A 1.419 5.847 1.619 0.000 0.000 0.000 0.000 0.269 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

871 481 794 2204 0 0 0 0 540 0

N.S.

1 0.55 0.91 2.53 0.00 0.00 0.00 0.00 0.62 0.00

time (sec)

N/A 1.234 3.264 1.249 0.000 0.000 0.000 0.000 0.231 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

475 256 526 1419 0 0 0 0 326 0

N.S.

1 0.54 1.11 2.99 0.00 0.00 0.00 0.00 0.69 0.00

time (sec)

N/A 0.660 2.005 1.136 0.000 0.000 0.000 0.000 0.215 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

1598 1008 6216 2665 0 0 0 0 547 0

N.S.

1 0.63 3.89 1.67 0.00 0.00 0.00 0.00 0.34 0.00

time (sec)

N/A 3.098 16.707 1.071 0.000 0.000 0.000 0.000 0.216 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

422 262 342 856 0 0 0 0 234 0

N.S.

1 0.62 0.81 2.03 0.00 0.00 0.00 0.00 0.55 0.00

time (sec)

N/A 0.884 0.964 0.717 0.000 0.000 0.000 0.000 0.201 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

256 162 266 505 0 0 0 0 151 0

N.S.

1 0.63 1.04 1.97 0.00 0.00 0.00 0.00 0.59 0.00

time (sec)

N/A 0.704 0.692 0.579 0.000 0.000 0.000 0.000 0.213 0.000

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

120 88 172 247 108 0 0 0 71 0

N.S.

1 0.73 1.43 2.06 0.90 0.00 0.00 0.00 0.59 0.00

time (sec)

N/A 0.505 0.368 0.635 0.138 0.000 0.000 0.000 0.191 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

370 276 930 487 0 0 0 0 156 0

N.S.

1 0.75 2.51 1.32 0.00 0.00 0.00 0.00 0.42 0.00

time (sec)

N/A 1.144 1.479 0.444 0.000 0.000 0.000 0.000 0.186 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

489 374 1108 1420 0 0 0 0 610 0

N.S.

1 0.76 2.27 2.90 0.00 0.00 0.00 0.00 1.25 0.00

time (sec)

N/A 1.518 3.327 0.625 0.000 0.000 0.000 0.000 0.200 0.000

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

35 35 37 33 35 47 0 35 36 35

N.S.

1 1.00 1.06 0.94 1.00 1.34 0.00 1.00 1.03 1.00

time (sec)

N/A 0.358 0.106 2.338 2.176 0.111 0.000 0.284 0.226 0.446

Problem 20

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

size

496 508 2330 0 0 0 0 0 101 0

N.S.

1 1.02 4.70 0.00 0.00 0.00 0.00 0.00 0.20 0.00

time (sec)

N/A 1.857 24.426 0.000 0.000 0.000 0.000 0.000 0.215 0.000

Problem 21

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

size

374 392 1248 0 0 0 0 0 61 0

N.S.

1 1.05 3.34 0.00 0.00 0.00 0.00 0.00 0.16 0.00

time (sec)

N/A 1.344 3.662 0.000 0.000 0.000 0.000 0.000 0.205 0.000

Problem 22

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

237 238 246 0 0 0 0 0 26 0

N.S.

1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 0.11 0.00

time (sec)

N/A 0.750 0.002 0.000 0.000 0.000 0.000 0.000 0.186 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

35 35 37 33 35 57 34 35 46 35

N.S.

1 1.00 1.06 0.94 1.00 1.63 0.97 1.00 1.31 1.00

time (sec)

N/A 0.372 0.222 2.964 0.988 0.112 10.071 0.277 0.211 0.422

[front] [up]