[next] [tail] [up]

Integrals 1 to 100

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 A A A A A B B

verified

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

size

80 81 74 71 72 188 156 71 75 62

N.S.

1 1.01 0.92 0.89 0.90 2.35 1.95 0.89 0.94 0.78

time (sec)

N/A 0.368 0.048 1.009 0.111 0.089 32.310 0.121 0.170 26.401

Problem 2

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

59 65 59 57 55 57 65 97 60 51

N.S.

1 1.10 1.00 0.97 0.93 0.97 1.10 1.64 1.02 0.86

time (sec)

N/A 0.394 0.020 0.553 0.035 0.088 0.831 0.125 0.190 26.289

Problem 3

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

66 68 62 60 59 152 141 59 61 50

N.S.

1 1.03 0.94 0.91 0.89 2.30 2.14 0.89 0.92 0.76

time (sec)

N/A 0.370 0.028 0.610 0.121 0.097 7.887 0.134 0.269 26.282

Problem 4

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

35 38 34 37 44 40 51 43 44 39

N.S.

1 1.09 0.97 1.06 1.26 1.14 1.46 1.23 1.26 1.11

time (sec)

N/A 0.337 0.012 0.812 0.033 0.071 0.287 0.121 0.159 26.345

Problem 5

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

45 50 45 46 45 107 100 41 44 37

N.S.

1 1.11 1.00 1.02 1.00 2.38 2.22 0.91 0.98 0.82

time (sec)

N/A 0.301 0.015 0.442 0.113 0.077 2.020 0.121 0.167 26.385

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

44 42 43 110 80 0 0 0 50 0

N.S.

1 0.95 0.98 2.50 1.82 0.00 0.00 0.00 1.14 0.00

time (sec)

N/A 0.398 0.010 0.493 0.037 0.000 0.000 0.000 0.202 0.000

Problem 7

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

44 44 44 37 36 105 258 40 43 36

N.S.

1 1.00 1.00 0.84 0.82 2.39 5.86 0.91 0.98 0.82

time (sec)

N/A 0.282 0.012 0.431 0.121 0.082 7.537 0.125 0.180 26.175

Problem 8

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

38 47 45 42 44 43 65 58 51 41

N.S.

1 1.24 1.18 1.11 1.16 1.13 1.71 1.53 1.34 1.08

time (sec)

N/A 0.353 0.006 0.435 0.028 0.092 0.932 0.124 0.174 26.351

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

60 60 49 52 49 135 496 58 57 46

N.S.

1 1.00 0.82 0.87 0.82 2.25 8.27 0.97 0.95 0.77

time (sec)

N/A 0.320 0.006 0.829 0.115 0.103 38.137 0.122 0.165 26.395

Problem 10

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

64 62 56 54 54 58 83 132 64 56

N.S.

1 0.97 0.88 0.84 0.84 0.91 1.30 2.06 1.00 0.88

time (sec)

N/A 0.410 0.043 0.622 0.038 0.088 2.551 0.125 0.176 26.375

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

74 77 49 61 62 170 583 71 71 61

N.S.

1 1.04 0.66 0.82 0.84 2.30 7.88 0.96 0.96 0.82

time (sec)

N/A 0.337 0.006 1.292 0.114 0.095 155.888 0.122 0.250 26.215

Problem 12

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

78 76 75 66 69 71 97 191 77 68

N.S.

1 0.97 0.96 0.85 0.88 0.91 1.24 2.45 0.99 0.87

time (sec)

N/A 0.427 0.035 1.040 0.032 0.078 7.013 0.121 0.175 26.275

Problem 13

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

59 65 59 57 55 57 65 97 60 51

N.S.

1 1.10 1.00 0.97 0.93 0.97 1.10 1.64 1.02 0.86

time (sec)

N/A 0.399 0.018 1.210 0.029 0.074 2.435 0.121 0.174 26.229

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

159 162 69 139 147 161 0 162 116 157

N.S.

1 1.02 0.43 0.87 0.92 1.01 0.00 1.02 0.73 0.99

time (sec)

N/A 0.540 0.007 1.214 0.115 0.076 0.000 0.135 0.178 28.684

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

157 158 147 136 144 144 0 160 103 129

N.S.

1 1.01 0.94 0.87 0.92 0.92 0.00 1.02 0.66 0.82

time (sec)

N/A 0.494 0.068 0.984 0.117 0.090 0.000 0.121 0.181 28.734

Problem 16

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

35 38 34 37 44 40 51 43 44 39

N.S.

1 1.09 0.97 1.06 1.26 1.14 1.46 1.23 1.26 1.11

time (sec)

N/A 0.341 0.012 0.829 0.030 0.083 0.661 0.119 0.174 26.257

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

147 159 53 128 131 150 178 150 97 121

N.S.

1 1.08 0.36 0.87 0.89 1.02 1.21 1.02 0.66 0.82

time (sec)

N/A 0.567 0.006 0.741 0.122 0.083 56.025 0.131 0.171 28.551

Problem 18

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

133 142 129 122 125 110 165 143 91 134

N.S.

1 1.07 0.97 0.92 0.94 0.83 1.24 1.08 0.68 1.01

time (sec)

N/A 0.531 0.044 0.513 0.112 0.093 24.320 0.126 0.168 26.933

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

44 42 43 55 80 0 0 0 50 0

N.S.

1 0.95 0.98 1.25 1.82 0.00 0.00 0.00 1.14 0.00

time (sec)

N/A 0.390 0.011 0.694 0.032 0.000 0.000 0.000 0.314 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

133 138 47 113 119 126 165 137 88 149

N.S.

1 1.04 0.35 0.85 0.89 0.95 1.24 1.03 0.66 1.12

time (sec)

N/A 0.523 0.006 0.650 0.109 0.082 105.770 0.127 0.201 26.817

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

139 137 134 113 120 150 0 138 95 115

N.S.

1 0.99 0.96 0.81 0.86 1.08 0.00 0.99 0.68 0.83

time (sec)

N/A 0.510 0.037 0.762 0.109 0.103 0.000 0.131 0.175 28.582

Problem 22

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

45 47 45 42 44 43 65 58 51 41

N.S.

1 1.04 1.00 0.93 0.98 0.96 1.44 1.29 1.13 0.91

time (sec)

N/A 0.344 0.006 0.631 0.033 0.076 1.896 0.121 0.191 26.196

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

151 157 49 128 127 138 0 153 113 125

N.S.

1 1.04 0.32 0.85 0.84 0.91 0.00 1.01 0.75 0.83

time (sec)

N/A 0.555 0.006 1.243 0.110 0.111 0.000 0.128 0.180 28.168

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

151 154 49 128 128 172 0 149 112 156

N.S.

1 1.02 0.32 0.85 0.85 1.14 0.00 0.99 0.74 1.03

time (sec)

N/A 0.543 0.006 1.701 0.123 0.083 0.000 0.122 0.176 28.635

Problem 25

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

64 62 56 54 54 58 83 132 64 56

N.S.

1 0.97 0.88 0.84 0.84 0.91 1.30 2.06 1.00 0.88

time (sec)

N/A 0.384 0.042 1.376 0.028 0.091 7.055 0.121 0.190 26.165

Problem 26

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

89 83 85 74 74 89 100 308 99 77

N.S.

1 0.93 0.96 0.83 0.83 1.00 1.12 3.46 1.11 0.87

time (sec)

N/A 0.414 0.053 0.665 0.026 0.080 2.042 0.132 0.166 26.262

Problem 27

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

75 70 74 63 64 77 87 257 87 65

N.S.

1 0.93 0.99 0.84 0.85 1.03 1.16 3.43 1.16 0.87

time (sec)

N/A 0.393 0.035 0.325 0.036 0.082 1.207 0.126 0.260 26.118

Problem 28

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

61 57 62 52 51 64 73 210 74 53

N.S.

1 0.93 1.02 0.85 0.84 1.05 1.20 3.44 1.21 0.87

time (sec)

N/A 0.374 0.030 0.280 0.027 0.081 0.736 0.125 0.197 26.099

Problem 29

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

47 44 40 41 40 50 60 152 61 41

N.S.

1 0.94 0.85 0.87 0.85 1.06 1.28 3.23 1.30 0.87

time (sec)

N/A 0.347 0.022 0.266 0.035 0.082 0.504 0.123 0.181 26.246

Problem 30

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

27 27 37 28 27 33 36 96 45 27

N.S.

1 1.00 1.37 1.04 1.00 1.22 1.33 3.56 1.67 1.00

time (sec)

N/A 0.283 0.005 0.095 0.033 0.092 0.263 0.122 0.172 0.056

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

40 40 41 67 83 0 0 152 21 0

N.S.

1 1.00 1.02 1.68 2.08 0.00 0.00 3.80 0.52 0.00

time (sec)

N/A 0.392 0.005 0.272 0.034 0.000 0.000 0.205 0.185 0.000

Problem 32

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 36 30 37 50 36 37 63 48 40

N.S.

1 1.20 1.00 1.23 1.67 1.20 1.23 2.10 1.60 1.33

time (sec)

N/A 0.346 0.007 0.536 0.034 0.074 0.438 0.126 0.163 26.129

Problem 33

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

59 61 59 63 63 55 61 150 63 53

N.S.

1 1.03 1.00 1.07 1.07 0.93 1.03 2.54 1.07 0.90

time (sec)

N/A 0.394 0.018 0.303 0.034 0.075 0.644 0.124 0.182 25.982

Problem 34

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

73 74 73 75 74 66 75 234 76 65

N.S.

1 1.01 1.00 1.03 1.01 0.90 1.03 3.21 1.04 0.89

time (sec)

N/A 0.431 0.021 0.355 0.036 0.071 1.028 0.127 0.180 25.765

Problem 35

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

87 87 87 85 85 79 88 317 88 78

N.S.

1 1.00 1.00 0.98 0.98 0.91 1.01 3.64 1.01 0.90

time (sec)

N/A 0.453 0.026 0.435 0.032 0.068 1.619 0.128 0.185 25.998

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

72 68 49 60 59 178 148 75 73 56

N.S.

1 0.94 0.68 0.83 0.82 2.47 2.06 1.04 1.01 0.78

time (sec)

N/A 0.412 0.010 1.039 0.110 0.086 29.553 0.128 0.253 25.645

Problem 37

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

51 48 56 46 44 56 66 59 71 45

N.S.

1 0.94 1.10 0.90 0.86 1.10 1.29 1.16 1.39 0.88

time (sec)

N/A 0.375 0.024 0.441 0.034 0.080 1.217 0.128 0.186 25.503

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

58 57 47 49 48 141 133 63 58 44

N.S.

1 0.98 0.81 0.84 0.83 2.43 2.29 1.09 1.00 0.76

time (sec)

N/A 0.327 0.006 0.463 0.118 0.085 10.134 0.120 0.172 25.545

Problem 39

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

37 37 45 34 33 42 53 47 57 33

N.S.

1 1.00 1.22 0.92 0.89 1.14 1.43 1.27 1.54 0.89

time (sec)

N/A 0.301 0.006 0.317 0.034 0.077 0.591 0.125 0.195 25.532

Problem 40

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

41 41 43 34 33 107 95 42 46 33

N.S.

1 1.00 1.05 0.83 0.80 2.61 2.32 1.02 1.12 0.80

time (sec)

N/A 0.298 0.011 0.172 0.114 0.080 3.288 0.133 0.170 0.090

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

44 44 45 126 89 0 0 0 25 0

N.S.

1 1.00 1.02 2.86 2.02 0.00 0.00 0.00 0.57 0.00

time (sec)

N/A 0.383 0.006 0.263 0.034 0.000 0.000 0.000 0.178 0.000

Problem 42

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

50 56 52 52 49 119 97 54 54 42

N.S.

1 1.12 1.04 1.04 0.98 2.38 1.94 1.08 1.08 0.84

time (sec)

N/A 0.329 0.017 0.352 0.116 0.084 7.725 0.125 0.171 25.510

Problem 43

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

35 38 34 37 54 41 53 57 59 47

N.S.

1 1.09 0.97 1.06 1.54 1.17 1.51 1.63 1.69 1.34

time (sec)

N/A 0.340 0.011 0.645 0.034 0.088 0.825 0.121 0.185 19.375

Problem 44

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

68 77 70 61 62 154 138 73 70 55

N.S.

1 1.13 1.03 0.90 0.91 2.26 2.03 1.07 1.03 0.81

time (sec)

N/A 0.357 0.030 0.648 0.110 0.080 23.635 0.129 0.211 15.129

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

8 8 34 9 35 11 8 110 14 8

N.S.

1 1.00 4.25 1.12 4.38 1.38 1.00 13.75 1.75 1.00

time (sec)

N/A 0.259 0.007 0.594 0.032 0.070 1.534 0.154 0.232 14.964

Problem 46

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

153 151 133 121 120 129 146 339 131 121

N.S.

1 0.99 0.87 0.79 0.78 0.84 0.95 2.22 0.86 0.79

time (sec)

N/A 0.537 0.150 0.848 0.034 0.086 9.657 0.127 0.154 15.114

Problem 47

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

123 123 112 99 98 105 119 255 105 97

N.S.

1 1.00 0.91 0.80 0.80 0.85 0.97 2.07 0.85 0.79

time (sec)

N/A 0.491 0.059 0.687 0.034 0.089 2.827 0.123 0.153 15.051

Problem 48

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

93 95 88 77 76 80 92 171 79 73

N.S.

1 1.02 0.95 0.83 0.82 0.86 0.99 1.84 0.85 0.78

time (sec)

N/A 0.461 0.043 0.652 0.030 0.082 1.000 0.117 0.181 15.116

Problem 49

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

53 58 53 52 50 51 61 97 53 47

N.S.

1 1.09 1.00 0.98 0.94 0.96 1.15 1.83 1.00 0.89

time (sec)

N/A 0.360 0.032 0.388 0.034 0.103 0.503 0.113 0.178 0.076

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

46 46 47 58 79 0 0 0 90 0

N.S.

1 1.00 1.02 1.26 1.72 0.00 0.00 0.00 1.96 0.00

time (sec)

N/A 0.397 0.006 0.636 0.035 0.000 0.000 0.000 0.173 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

63 68 55 54 53 55 352 132 57 49

N.S.

1 1.08 0.87 0.86 0.84 0.87 5.59 2.10 0.90 0.78

time (sec)

N/A 0.402 0.045 0.425 0.034 0.088 8.425 0.128 0.176 15.247

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

100 98 90 77 76 84 435 232 85 72

N.S.

1 0.98 0.90 0.77 0.76 0.84 4.35 2.32 0.85 0.72

time (sec)

N/A 0.446 0.051 0.427 0.028 0.086 73.060 0.126 0.199 15.498

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

130 126 114 99 98 109 0 324 111 97

N.S.

1 0.97 0.88 0.76 0.75 0.84 0.00 2.49 0.85 0.75

time (sec)

N/A 0.477 0.068 0.434 0.036 0.103 0.000 0.125 0.265 15.620

Problem 54

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

32 37 33 32 31 28 156 31 31 33

N.S.

1 1.16 1.03 1.00 0.97 0.88 4.88 0.97 0.97 1.03

time (sec)

N/A 0.339 0.013 0.395 0.032 0.082 0.249 0.114 0.171 15.521

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

81 81 70 0 0 0 0 0 145 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 1.79 0.00

time (sec)

N/A 0.391 0.033 0.000 0.000 0.000 0.000 0.000 0.180 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

81 81 70 0 0 0 377 0 145 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 4.65 0.00 1.79 0.00

time (sec)

N/A 0.364 0.032 0.000 0.000 0.000 34.916 0.000 0.182 0.000

Problem 57

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

69 69 56 0 0 0 0 0 185 0

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 2.68 0.00

time (sec)

N/A 0.337 0.032 0.000 0.000 0.000 0.000 0.000 0.170 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

67 67 56 0 0 0 231 0 95 0

N.S.

1 1.00 0.84 0.00 0.00 0.00 3.45 0.00 1.42 0.00

time (sec)

N/A 0.384 0.022 0.000 0.000 0.000 8.013 0.000 0.189 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

82 85 76 0 0 0 366 0 29 0

N.S.

1 1.04 0.93 0.00 0.00 0.00 4.46 0.00 0.35 0.00

time (sec)

N/A 0.415 0.035 0.000 0.000 0.000 25.767 0.000 0.168 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

85 87 76 0 0 0 0 0 29 0

N.S.

1 1.02 0.89 0.00 0.00 0.00 0.00 0.00 0.34 0.00

time (sec)

N/A 0.440 0.038 0.000 0.000 0.000 0.000 0.000 0.183 0.000

Problem 61

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

83 93 76 0 0 0 0 0 550 0

N.S.

1 1.12 0.92 0.00 0.00 0.00 0.00 0.00 6.63 0.00

time (sec)

N/A 0.383 0.041 0.000 0.000 0.000 0.000 0.000 0.269 0.000

Problem 62

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

80 70 77 0 0 0 0 0 238 0

N.S.

1 0.88 0.96 0.00 0.00 0.00 0.00 0.00 2.98 0.00

time (sec)

N/A 0.407 0.047 0.000 0.000 0.000 0.000 0.000 0.182 0.000

Problem 63

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

87 87 77 0 0 0 0 0 147 0

N.S.

1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 1.69 0.00

time (sec)

N/A 0.401 0.045 0.000 0.000 0.000 0.000 0.000 0.173 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

141 106 92 0 115 112 0 0 89 0

N.S.

1 0.75 0.65 0.00 0.82 0.79 0.00 0.00 0.63 0.00

time (sec)

N/A 0.473 0.086 0.000 0.038 0.098 0.000 0.000 0.194 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

112 91 74 0 95 92 0 0 75 0

N.S.

1 0.81 0.66 0.00 0.85 0.82 0.00 0.00 0.67 0.00

time (sec)

N/A 0.441 0.048 0.000 0.040 0.112 0.000 0.000 0.182 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

69 67 48 0 70 57 0 0 52 0

N.S.

1 0.97 0.70 0.00 1.01 0.83 0.00 0.00 0.75 0.00

time (sec)

N/A 0.404 0.037 0.000 0.038 0.096 0.000 0.000 0.178 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

50 45 46 182 0 63 0 0 58 0

N.S.

1 0.90 0.92 3.64 0.00 1.26 0.00 0.00 1.16 0.00

time (sec)

N/A 0.409 0.013 2.223 0.000 0.073 0.000 0.000 0.181 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

80 69 57 0 71 75 0 0 60 0

N.S.

1 0.86 0.71 0.00 0.89 0.94 0.00 0.00 0.75 0.00

time (sec)

N/A 0.362 0.022 0.000 0.039 0.101 0.000 0.000 0.169 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

120 88 76 0 99 104 0 0 83 0

N.S.

1 0.73 0.63 0.00 0.82 0.87 0.00 0.00 0.69 0.00

time (sec)

N/A 0.435 0.051 0.000 0.040 0.088 0.000 0.000 0.186 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

65 65 61 0 0 0 128 0 45 0

N.S.

1 1.00 0.94 0.00 0.00 0.00 1.97 0.00 0.69 0.00

time (sec)

N/A 0.346 0.038 0.000 0.000 0.000 6.190 0.000 0.230 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

65 65 61 0 0 0 128 0 43 0

N.S.

1 1.00 0.94 0.00 0.00 0.00 1.97 0.00 0.66 0.00

time (sec)

N/A 0.342 0.041 0.000 0.000 0.000 3.004 0.000 0.231 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

54 54 52 0 0 0 76 0 35 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 1.41 0.00 0.65 0.00

time (sec)

N/A 0.325 0.034 0.000 0.000 0.000 1.532 0.000 0.175 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

44 42 43 170 0 60 0 0 55 0

N.S.

1 0.95 0.98 3.86 0.00 1.36 0.00 0.00 1.25 0.00

time (sec)

N/A 0.401 0.001 1.978 0.000 0.110 0.000 0.000 0.186 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

66 66 59 0 0 0 73 0 47 0

N.S.

1 1.00 0.89 0.00 0.00 0.00 1.11 0.00 0.71 0.00

time (sec)

N/A 0.351 0.038 0.000 0.000 0.000 3.512 0.000 0.211 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

72 72 62 0 0 0 78 0 50 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 1.08 0.00 0.69 0.00

time (sec)

N/A 0.355 0.032 0.000 0.000 0.000 6.680 0.000 0.164 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

70 70 62 0 0 0 78 0 50 0

N.S.

1 1.00 0.89 0.00 0.00 0.00 1.11 0.00 0.71 0.00

time (sec)

N/A 0.350 0.032 0.000 0.000 0.000 14.004 0.000 0.179 0.000

Problem 77

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

size

215 170 127 190 145 189 182 370 165 126

N.S.

1 0.79 0.59 0.88 0.67 0.88 0.85 1.72 0.77 0.59

time (sec)

N/A 0.714 0.108 1.218 0.039 0.105 3.236 0.130 0.193 14.773

Problem 78

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

145 148 105 151 120 148 139 216 126 100

N.S.

1 1.02 0.72 1.04 0.83 1.02 0.96 1.49 0.87 0.69

time (sec)

N/A 0.588 0.064 1.748 0.038 0.084 1.311 0.118 0.181 14.778

Problem 79

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

61 64 63 105 97 96 90 96 85 70

N.S.

1 1.05 1.03 1.72 1.59 1.57 1.48 1.57 1.39 1.15

time (sec)

N/A 0.421 0.011 1.105 0.035 0.074 0.476 0.120 0.166 14.780

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

72 76 163 0 118 0 0 0 52 0

N.S.

1 1.06 2.26 0.00 1.64 0.00 0.00 0.00 0.72 0.00

time (sec)

N/A 0.685 0.154 0.000 0.055 0.000 0.000 0.000 0.164 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

80 79 93 481 118 0 0 0 109 0

N.S.

1 0.99 1.16 6.01 1.48 0.00 0.00 0.00 1.36 0.00

time (sec)

N/A 0.574 0.038 0.595 0.044 0.000 0.000 0.000 0.189 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

129 122 141 554 142 0 0 0 118 0

N.S.

1 0.95 1.09 4.29 1.10 0.00 0.00 0.00 0.91 0.00

time (sec)

N/A 0.986 0.084 0.921 0.040 0.000 0.000 0.000 0.242 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

193 198 190 607 173 0 0 0 154 0

N.S.

1 1.03 0.98 3.15 0.90 0.00 0.00 0.00 0.80 0.00

time (sec)

N/A 1.407 0.092 1.813 0.041 0.000 0.000 0.000 0.206 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

336 320 248 612 0 0 0 0 179 0

N.S.

1 0.95 0.74 1.82 0.00 0.00 0.00 0.00 0.53 0.00

time (sec)

N/A 1.086 0.192 1.237 0.000 0.000 0.000 0.000 0.157 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

294 281 223 565 0 0 0 0 139 0

N.S.

1 0.96 0.76 1.92 0.00 0.00 0.00 0.00 0.47 0.00

time (sec)

N/A 0.951 0.142 0.824 0.000 0.000 0.000 0.000 0.164 0.000

Problem 86

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 235 193 0 0 0 0 0 96 0

N.S.

1 0.99 0.81 0.00 0.00 0.00 0.00 0.00 0.41 0.00

time (sec)

N/A 0.817 0.102 0.000 0.000 0.000 0.000 0.000 0.180 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

190 192 173 446 0 0 0 0 98 0

N.S.

1 1.01 0.91 2.35 0.00 0.00 0.00 0.00 0.52 0.00

time (sec)

N/A 1.050 0.067 0.792 0.000 0.000 0.000 0.000 0.168 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

254 238 207 522 0 0 0 0 118 0

N.S.

1 0.94 0.81 2.06 0.00 0.00 0.00 0.00 0.46 0.00

time (sec)

N/A 0.870 0.107 1.019 0.000 0.000 0.000 0.000 0.180 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

296 273 294 568 0 0 0 0 134 0

N.S.

1 0.92 0.99 1.92 0.00 0.00 0.00 0.00 0.45 0.00

time (sec)

N/A 0.925 0.206 1.476 0.000 0.000 0.000 0.000 0.167 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

338 314 353 619 0 0 0 0 148 0

N.S.

1 0.93 1.04 1.83 0.00 0.00 0.00 0.00 0.44 0.00

time (sec)

N/A 1.012 0.243 2.418 0.000 0.000 0.000 0.000 0.178 0.000

Problem 91

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

334 331 178 289 239 359 289 662 264 187

N.S.

1 0.99 0.53 0.87 0.72 1.07 0.87 1.98 0.79 0.56

time (sec)

N/A 0.978 0.216 1.963 0.038 0.096 5.362 0.132 0.174 14.799

Problem 92

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

211 211 146 223 203 275 223 385 198 144

N.S.

1 1.00 0.69 1.06 0.96 1.30 1.06 1.82 0.94 0.68

time (sec)

N/A 0.678 0.132 15.150 0.040 0.105 2.087 0.125 0.167 14.758

Problem 93

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

93 90 87 151 164 176 143 169 128 103

N.S.

1 0.97 0.94 1.62 1.76 1.89 1.54 1.82 1.38 1.11

time (sec)

N/A 0.478 0.017 1.650 0.036 0.069 0.786 0.117 0.162 15.030

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

106 109 279 0 217 0 0 0 52 0

N.S.

1 1.03 2.63 0.00 2.05 0.00 0.00 0.00 0.49 0.00

time (sec)

N/A 0.809 0.227 0.000 0.046 0.000 0.000 0.000 0.171 0.000

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

119 113 302 0 202 0 0 0 172 0

N.S.

1 0.95 2.54 0.00 1.70 0.00 0.00 0.00 1.45 0.00

time (sec)

N/A 0.838 0.418 0.000 0.108 0.000 0.000 0.000 0.171 0.000

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

219 193 477 0 270 0 0 0 121 0

N.S.

1 0.88 2.18 0.00 1.23 0.00 0.00 0.00 0.55 0.00

time (sec)

N/A 1.653 0.466 0.000 0.114 0.000 0.000 0.000 0.182 0.000

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

352 319 571 0 338 0 0 0 212 0

N.S.

1 0.91 1.62 0.00 0.96 0.00 0.00 0.00 0.60 0.00

time (sec)

N/A 2.812 0.564 0.000 0.115 0.000 0.000 0.000 0.179 0.000

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 18 909 18 123 20 17 20 221 20

N.S.

1 1.00 50.50 1.00 6.83 1.11 0.94 1.11 12.28 1.11

time (sec)

N/A 1.654 5.430 0.060 0.903 0.085 3.708 0.143 0.158 25.159

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 14 789 14 111 16 14 16 150 16

N.S.

1 1.00 56.36 1.00 7.93 1.14 1.00 1.14 10.71 1.14

time (sec)

N/A 1.095 4.652 0.049 0.690 0.087 1.791 0.132 0.180 25.002

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 18 505 18 0 20 17 20 157 20

N.S.

1 1.00 28.06 1.00 0.00 1.11 0.94 1.11 8.72 1.11

time (sec)

N/A 0.417 1.721 0.057 0.000 0.145 2.795 0.143 0.158 25.061

[next] [front] [up]