Integrals 1201 to 1300

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 1201

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

25 58 25 56 49 49 114 51 44 18

N.S.

1 2.32 1.00 2.24 1.96 1.96 4.56 2.04 1.76 0.72

time (sec)

N/A 0.496 2.053 0.799 0.108 0.110 0.101 0.120 0.182 0.182

Problem 1202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 17 17 34 33 29 42 33 36 33

N.S.

1 0.63 0.63 1.26 1.22 1.07 1.56 1.22 1.33 1.22

time (sec)

N/A 0.828 0.025 1.161 0.093 0.113 9.587 0.151 0.182 3.528

Problem 1203

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 23 18 20 19 19 20 19 22 20

N.S.

1 1.28 1.00 1.11 1.06 1.06 1.11 1.06 1.22 1.11

time (sec)

N/A 0.288 0.015 0.232 0.027 0.087 0.087 0.120 0.188 3.367

Problem 1204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 0 0 26 51 25 0 25 25 67

N.S.

1 0.00 0.00 1.08 2.12 1.04 0.00 1.04 1.04 2.79

time (sec)

N/A 0.000 0.000 0.298 0.184 0.095 0.000 0.178 0.195 3.648

Problem 1205

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

22 0 21 20 19 26 15 30 31 19

N.S.

1 0.00 0.95 0.91 0.86 1.18 0.68 1.36 1.41 0.86

time (sec)

N/A 0.000 0.124 0.122 0.084 0.107 0.116 0.122 0.182 3.430

Problem 1206

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 12 11 11 15 11 12 11

N.S.

1 1.00 1.00 0.86 0.79 0.79 1.07 0.79 0.86 0.79

time (sec)

N/A 0.142 0.001 0.063 0.032 0.085 0.026 0.127 0.185 3.326

Problem 1207

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

30 0 19 22 42 42 41 114 55 62

N.S.

1 0.00 0.63 0.73 1.40 1.40 1.37 3.80 1.83 2.07

time (sec)

N/A 0.000 0.221 0.564 0.090 0.090 0.142 0.374 0.184 3.846

Problem 1208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 45 50 49 47 53 49 52 0

N.S.

1 0.00 1.50 1.67 1.63 1.57 1.77 1.63 1.73 0.00

time (sec)

N/A 0.000 0.060 0.838 0.187 0.087 0.150 0.167 0.188 0.000

Problem 1209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 0 0 86 37 80 87 0 252 138

N.S.

1 0.00 0.00 2.61 1.12 2.42 2.64 0.00 7.64 4.18

time (sec)

N/A 0.000 0.000 44.615 1.412 0.106 0.843 0.000 200.024 5.117

Problem 1210

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 8 8 8 7 7 7 7 8 7

N.S.

1 0.42 0.42 0.42 0.37 0.37 0.37 0.37 0.42 0.37

time (sec)

N/A 0.174 0.003 0.061 0.026 0.083 0.038 0.117 0.165 0.036

Problem 1211

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 32 31 29 30 31 35 33 36

N.S.

1 0.00 1.23 1.19 1.12 1.15 1.19 1.35 1.27 1.38

time (sec)

N/A 0.000 0.056 0.425 0.105 0.118 0.127 0.275 0.207 3.615

Problem 1212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 26 25 0 43 42 71 82 50

N.S.

1 0.00 0.87 0.83 0.00 1.43 1.40 2.37 2.73 1.67

time (sec)

N/A 0.000 0.089 8.064 0.000 0.110 28.140 0.586 0.189 4.018

Problem 1213

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 22 19 26 26 22 22 20 18

N.S.

1 0.00 0.92 0.79 1.08 1.08 0.92 0.92 0.83 0.75

time (sec)

N/A 0.000 0.219 0.212 0.081 0.109 0.136 0.130 0.178 3.528

Problem 1214

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

12 12 12 13 12 12 12 12 12 12

N.S.

1 1.00 1.00 1.08 1.00 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.483 0.057 0.285 0.067 0.111 0.152 0.138 0.176 3.799

Problem 1215

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

22 0 22 20 43 44 44 44 99 50

N.S.

1 0.00 1.00 0.91 1.95 2.00 2.00 2.00 4.50 2.27

time (sec)

N/A 0.000 0.279 0.506 0.088 0.092 0.100 0.132 200.014 3.641

Problem 1216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 38 40 40 44 58 53 97 64 58

N.S.

1 2.00 2.11 2.11 2.32 3.05 2.79 5.11 3.37 3.05

time (sec)

N/A 0.268 0.016 0.104 0.032 0.096 0.086 0.127 0.168 3.473

Problem 1217

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 13 11 14 13 13 14 15 13 9

N.S.

1 0.87 0.73 0.93 0.87 0.87 0.93 1.00 0.87 0.60

time (sec)

N/A 0.196 0.019 0.130 0.135 0.082 0.063 0.118 0.173 3.561

Problem 1218

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

20 60 25 26 32 23 29 23 48 21

N.S.

1 3.00 1.25 1.30 1.60 1.15 1.45 1.15 2.40 1.05

time (sec)

N/A 0.333 0.073 0.664 0.113 0.093 0.123 0.126 0.175 0.114

Problem 1219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 1101 552 25 77 23 20 23 24 23

N.S.

1 55.05 27.60 1.25 3.85 1.15 1.00 1.15 1.20 1.15

time (sec)

N/A 3.995 0.273 0.846 0.454 0.087 0.086 0.198 0.186 3.570

Problem 1220

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

17 58 17 18 18 17 20 18 20 18

N.S.

1 3.41 1.00 1.06 1.06 1.00 1.18 1.06 1.18 1.06

time (sec)

N/A 0.572 0.057 1.037 0.062 0.108 0.131 0.128 0.179 3.502

Problem 1221

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 21 14 14 24 13 14 13 12 20

N.S.

1 0.95 0.64 0.64 1.09 0.59 0.64 0.59 0.55 0.91

time (sec)

N/A 0.391 0.026 0.071 0.068 0.085 0.042 0.122 0.187 3.405

Problem 1222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 0 31 31 0 31 27 0 31 27

N.S.

1 0.00 1.00 1.00 0.00 1.00 0.87 0.00 1.00 0.87

time (sec)

N/A 0.000 0.197 48.584 0.000 0.104 8.378 0.000 0.215 4.289

Problem 1223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 0 26 25 60 29 26 102 29 50

N.S.

1 0.00 0.84 0.81 1.94 0.94 0.84 3.29 0.94 1.61

time (sec)

N/A 0.000 0.198 3.743 0.079 0.105 0.090 0.137 0.175 0.363

Problem 1224

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

22 87 22 70 59 59 78 59 72 63

N.S.

1 3.95 1.00 3.18 2.68 2.68 3.55 2.68 3.27 2.86

time (sec)

N/A 0.357 0.009 0.288 0.034 0.097 0.026 0.110 0.176 3.439

Problem 1225

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

15 20 8 8 16 7 7 7 8 7

N.S.

1 1.33 0.53 0.53 1.07 0.47 0.47 0.47 0.53 0.47

time (sec)

N/A 0.223 0.001 0.036 0.036 0.090 0.034 0.109 0.180 0.020

Problem 1226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 0 33 29 33 28 0 33 282 38

N.S.

1 0.00 1.14 1.00 1.14 0.97 0.00 1.14 9.72 1.31

time (sec)

N/A 0.000 1.981 0.436 0.193 0.098 0.000 0.149 196.035 3.719

Problem 1227

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

31 49 49 47 47 47 44 59 80 61

N.S.

1 1.58 1.58 1.52 1.52 1.52 1.42 1.90 2.58 1.97

time (sec)

N/A 0.221 0.092 0.209 0.027 0.103 0.102 0.115 0.201 0.094

Problem 1228

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

20 25 23 22 0 22 22 21 24 30

N.S.

1 1.25 1.15 1.10 0.00 1.10 1.10 1.05 1.20 1.50

time (sec)

N/A 0.735 0.031 0.994 0.000 0.098 0.211 0.140 0.191 3.547

Problem 1229

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

23 18 18 17 18 20 19 18 18 16

N.S.

1 0.78 0.78 0.74 0.78 0.87 0.83 0.78 0.78 0.70

time (sec)

N/A 0.549 0.105 0.108 0.070 0.094 0.081 0.113 0.209 3.446

Problem 1230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 27 24 50 86 49 54 53 53 49

N.S.

1 1.23 1.09 2.27 3.91 2.23 2.45 2.41 2.41 2.23

time (sec)

N/A 0.837 0.016 0.583 0.157 0.095 0.190 0.139 0.190 4.737

Problem 1231

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 17 13 16 16 12 12 13 12

N.S.

1 0.00 0.81 0.62 0.76 0.76 0.57 0.57 0.62 0.57

time (sec)

N/A 0.000 0.136 0.058 0.072 0.086 0.080 0.118 0.203 3.532

Problem 1232

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

24 160 152 82 135 77 87 94 98 35

N.S.

1 6.67 6.33 3.42 5.62 3.21 3.62 3.92 4.08 1.46

time (sec)

N/A 0.459 0.108 2.610 0.041 0.107 0.170 0.125 0.195 3.644

Problem 1233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 0 19 36 44 44 42 87 72 50

N.S.

1 0.00 1.06 2.00 2.44 2.44 2.33 4.83 4.00 2.78

time (sec)

N/A 0.000 0.058 0.151 0.108 0.115 0.086 0.125 0.262 3.402

Problem 1234

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 19 19 19 19 19 19 19 17 19

N.S.

1 0.66 0.66 0.66 0.66 0.66 0.66 0.66 0.59 0.66

time (sec)

N/A 0.167 0.000 0.034 0.024 0.083 0.022 0.129 0.193 0.032

Problem 1235

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

19 59 21 48 45 45 54 62 43 43

N.S.

1 3.11 1.11 2.53 2.37 2.37 2.84 3.26 2.26 2.26

time (sec)

N/A 0.401 0.022 1.135 0.116 0.109 0.122 0.118 0.192 3.395

Problem 1236

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

22 21 21 20 19 21 14 54 27 19

N.S.

1 0.95 0.95 0.91 0.86 0.95 0.64 2.45 1.23 0.86

time (sec)

N/A 0.652 0.112 1.350 0.092 0.103 0.092 0.128 0.190 3.471

Problem 1237

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

26 75 27 44 36 48 39 48 55 33

N.S.

1 2.88 1.04 1.69 1.38 1.85 1.50 1.85 2.12 1.27

time (sec)

N/A 0.217 0.056 0.454 0.033 0.107 0.115 0.126 0.195 0.215

Problem 1238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 0 16 34 30 48 44 149 34 153

N.S.

1 0.00 0.84 1.79 1.58 2.53 2.32 7.84 1.79 8.05

time (sec)

N/A 0.000 0.567 0.615 0.249 0.081 0.157 0.138 0.206 3.535

Problem 1239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 43 41 39 89 46 34 50 49 46

N.S.

1 1.65 1.58 1.50 3.42 1.77 1.31 1.92 1.88 1.77

time (sec)

N/A 1.516 0.264 18.770 0.082 0.079 0.111 0.138 0.194 3.598

Problem 1240

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 15 15 16 15 21 12 15 21 15

N.S.

1 0.79 0.79 0.84 0.79 1.11 0.63 0.79 1.11 0.79

time (sec)

N/A 0.516 0.007 0.198 0.076 0.079 0.045 0.121 0.189 0.126

Problem 1241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 893 535 81 196 172 207 80 226 0

N.S.

1 38.83 23.26 3.52 8.52 7.48 9.00 3.48 9.83 0.00

time (sec)

N/A 3.061 0.898 1.249 0.067 0.083 16.622 0.185 0.401 0.000

Problem 1242

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

27 0 26 23 52 56 31 60 73 54

N.S.

1 0.00 0.96 0.85 1.93 2.07 1.15 2.22 2.70 2.00

time (sec)

N/A 0.000 0.355 0.431 0.156 0.079 0.096 0.131 0.215 0.532

Problem 1243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 40 32 3018 41 42 0 44 40 36

N.S.

1 1.33 1.07 100.60 1.37 1.40 0.00 1.47 1.33 1.20

time (sec)

N/A 0.653 0.077 0.238 0.127 0.083 0.000 0.505 0.250 5.148

Problem 1244

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

27 21 21 18 23 17 19 0 17 17

N.S.

1 0.78 0.78 0.67 0.85 0.63 0.70 0.00 0.63 0.63

time (sec)

N/A 0.436 0.119 7.510 0.164 0.073 0.251 0.000 0.206 3.726

Problem 1245

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 30 31 22 33 19 20 30 59 19

N.S.

1 1.11 1.15 0.81 1.22 0.70 0.74 1.11 2.19 0.70

time (sec)

N/A 0.606 0.037 0.326 0.162 0.089 0.154 0.144 0.203 3.555

Problem 1246

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

20 13 13 13 38 12 14 12 13 12

N.S.

1 0.65 0.65 0.65 1.90 0.60 0.70 0.60 0.65 0.60

time (sec)

N/A 1.707 0.215 0.176 0.175 0.077 0.125 0.132 0.200 3.739

Problem 1247

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

20 20 20 18 28 24 31 28 22 40

N.S.

1 1.00 1.00 0.90 1.40 1.20 1.55 1.40 1.10 2.00

time (sec)

N/A 0.445 0.012 0.521 0.067 0.082 0.065 0.132 0.203 3.906

Problem 1248

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

27 42 29 40 108 55 65 56 26 57

N.S.

1 1.56 1.07 1.48 4.00 2.04 2.41 2.07 0.96 2.11

time (sec)

N/A 1.111 0.121 0.743 0.074 0.074 0.077 0.124 0.199 3.494

Problem 1249

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

30 0 32 22 35 21 19 28 47 22

N.S.

1 0.00 1.07 0.73 1.17 0.70 0.63 0.93 1.57 0.73

time (sec)

N/A 0.000 0.956 0.232 0.076 0.088 0.083 0.140 0.197 0.099

Problem 1250

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 26 27 26 26 24 26 26 26

N.S.

1 0.00 1.53 1.59 1.53 1.53 1.41 1.53 1.53 1.53

time (sec)

N/A 0.000 0.436 0.256 0.064 0.084 0.096 0.135 0.198 3.561

Problem 1251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 0 0 87 111 82 87 111 210 0

N.S.

1 0.00 0.00 3.95 5.05 3.73 3.95 5.05 9.55 0.00

time (sec)

N/A 0.000 0.000 31.738 0.464 0.083 0.391 0.188 200.034 0.000

Problem 1252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 29 29 50 52 0 29 29 29

N.S.

1 0.00 0.97 0.97 1.67 1.73 0.00 0.97 0.97 0.97

time (sec)

N/A 0.000 7.254 0.263 0.080 0.090 0.000 0.117 0.190 3.558

Problem 1253

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 18 18 18 22 19 14 19 20 19

N.S.

1 0.82 0.82 0.82 1.00 0.86 0.64 0.86 0.91 0.86

time (sec)

N/A 0.220 0.013 0.186 0.060 0.078 0.049 0.122 0.197 3.351

Problem 1254

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 20 24 30 28 24 28 23 23

N.S.

1 0.00 0.95 1.14 1.43 1.33 1.14 1.33 1.10 1.10

time (sec)

N/A 0.000 0.152 0.467 0.151 0.081 0.077 0.141 0.186 3.664

Problem 1255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 0 23 29 0 77 26 0 537 40

N.S.

1 0.00 0.79 1.00 0.00 2.66 0.90 0.00 18.52 1.38

time (sec)

N/A 0.000 4.180 12.894 0.000 0.085 0.557 0.000 0.228 3.623

Problem 1256

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

26 0 45 56 75 31 66 56 59 71

N.S.

1 0.00 1.73 2.15 2.88 1.19 2.54 2.15 2.27 2.73

time (sec)

N/A 0.000 3.863 1.188 0.174 0.077 0.472 0.167 0.194 4.287

Problem 1257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 0 24 25 291 24 0 0 26 24

N.S.

1 0.00 0.92 0.96 11.19 0.92 0.00 0.00 1.00 0.92

time (sec)

N/A 0.000 1.032 4.618 0.242 0.080 0.000 0.000 0.198 3.598

Problem 1258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 0 24 21 20 20 24 20 105 20

N.S.

1 0.00 0.92 0.81 0.77 0.77 0.92 0.77 4.04 0.77

time (sec)

N/A 0.000 0.300 34.307 0.477 0.090 0.312 0.145 0.208 3.516

Problem 1259

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

34 0 36 46 53 56 0 0 115 50

N.S.

1 0.00 1.06 1.35 1.56 1.65 0.00 0.00 3.38 1.47

time (sec)

N/A 0.000 0.230 241.663 0.283 0.085 0.000 0.000 0.198 3.794

Problem 1260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 285 32 30 32 81 54 0 46 38

N.S.

1 10.96 1.23 1.15 1.23 3.12 2.08 0.00 1.77 1.46

time (sec)

N/A 1.200 0.116 1.488 0.172 0.087 0.198 0.000 0.190 3.597

Problem 1261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 1137 15 19 86 30 12 18 37 18

N.S.

1 45.48 0.60 0.76 3.44 1.20 0.48 0.72 1.48 0.72

time (sec)

N/A 1.765 0.082 0.452 0.285 0.082 0.072 0.119 0.196 3.471

Problem 1262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 115 53 49 86 34 39 42 69 47

N.S.

1 4.42 2.04 1.88 3.31 1.31 1.50 1.62 2.65 1.81

time (sec)

N/A 0.651 0.058 1.101 0.097 0.081 0.125 0.121 0.199 3.508

Problem 1263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 0 36 31 0 50 51 57 148 143

N.S.

1 0.00 1.06 0.91 0.00 1.47 1.50 1.68 4.35 4.21

time (sec)

N/A 0.000 0.174 2.379 0.000 0.082 0.414 0.869 200.025 3.629

Problem 1264

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 14 14 13 12 12 10 12 16 12

N.S.

1 0.64 0.64 0.59 0.55 0.55 0.45 0.55 0.73 0.55

time (sec)

N/A 0.153 0.009 0.077 0.079 0.076 0.081 0.124 0.190 3.318

Problem 1265

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

32 0 32 33 36 35 29 39 39 35

N.S.

1 0.00 1.00 1.03 1.12 1.09 0.91 1.22 1.22 1.09

time (sec)

N/A 0.000 0.055 284.777 0.209 0.075 4.916 0.564 0.210 5.200

Problem 1266

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 15 15 15 17 17 14 17 16 15

N.S.

1 0.68 0.68 0.68 0.77 0.77 0.64 0.77 0.73 0.68

time (sec)

N/A 0.146 0.002 0.061 0.029 0.072 0.064 0.118 0.179 3.408

Problem 1267

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 27 26 15 14 14 27 14 14 14

N.S.

1 0.93 0.90 0.52 0.48 0.48 0.93 0.48 0.48 0.48

time (sec)

N/A 0.139 0.003 0.107 0.029 0.066 0.040 0.111 0.194 0.072

Problem 1268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 25 21 19 22 22 14 72 37 18

N.S.

1 1.14 0.95 0.86 1.00 1.00 0.64 3.27 1.68 0.82

time (sec)

N/A 0.208 0.054 0.273 0.085 0.085 0.057 0.122 0.183 3.450

Problem 1269

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 35 26 25 38 33 27 23 33 23

N.S.

1 1.46 1.08 1.04 1.58 1.38 1.12 0.96 1.38 0.96

time (sec)

N/A 0.242 0.007 0.676 0.034 0.080 0.101 0.126 0.179 3.498

Problem 1270

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

22 54 85 50 48 44 53 52 58 68

N.S.

1 2.45 3.86 2.27 2.18 2.00 2.41 2.36 2.64 3.09

time (sec)

N/A 0.342 0.045 0.166 0.030 0.069 1.953 0.119 0.190 0.176

Problem 1271

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 161 28 67 85 31 49 58 36 61

N.S.

1 6.19 1.08 2.58 3.27 1.19 1.88 2.23 1.38 2.35

time (sec)

N/A 5.506 0.054 0.219 0.096 0.083 0.451 0.137 0.186 4.018

Problem 1272

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 14 12 13 12 16 8 13 22 12

N.S.

1 0.93 0.80 0.87 0.80 1.07 0.53 0.87 1.47 0.80

time (sec)

N/A 0.183 0.007 0.031 0.038 0.071 0.042 0.118 0.184 0.051

Problem 1273

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

26 20 29 16 20 27 14 20 24 17

N.S.

1 0.77 1.12 0.62 0.77 1.04 0.54 0.77 0.92 0.65

time (sec)

N/A 0.218 0.010 0.226 0.033 0.075 0.065 0.124 0.194 3.532

Problem 1274

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

14 0 10 10 12 9 14 9 11 9

N.S.

1 0.00 0.71 0.71 0.86 0.64 1.00 0.64 0.79 0.64

time (sec)

N/A 0.000 0.017 0.177 0.101 0.083 0.099 0.118 0.185 3.568

Problem 1275

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

15 28 15 16 53 16 15 16 20 14

N.S.

1 1.87 1.00 1.07 3.53 1.07 1.00 1.07 1.33 0.93

time (sec)

N/A 0.225 0.045 0.108 0.036 0.077 0.046 0.122 0.175 0.058

Problem 1276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 26 27 84 31 29 0 144 31

N.S.

1 0.00 0.87 0.90 2.80 1.03 0.97 0.00 4.80 1.03

time (sec)

N/A 0.000 0.099 4.927 0.215 0.082 0.554 0.000 200.021 3.690

Problem 1277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 29 63 55 46 24 67 66 167

N.S.

1 0.00 0.97 2.10 1.83 1.53 0.80 2.23 2.20 5.57

time (sec)

N/A 0.000 0.070 43.533 0.094 0.092 0.474 0.349 0.181 4.061

Problem 1278

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

12 26 12 26 25 25 29 25 82 25

N.S.

1 2.17 1.00 2.17 2.08 2.08 2.42 2.08 6.83 2.08

time (sec)

N/A 0.268 0.142 0.252 0.075 0.085 0.089 0.132 0.176 3.414

Problem 1279

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

19 27 26 25 50 24 22 24 45 24

N.S.

1 1.42 1.37 1.32 2.63 1.26 1.16 1.26 2.37 1.26

time (sec)

N/A 0.526 0.028 0.382 0.056 0.077 0.089 0.127 0.197 3.393

Problem 1280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 31 37 19 347 18 15 282 19 0

N.S.

1 1.72 2.06 1.06 19.28 1.00 0.83 15.67 1.06 0.00

time (sec)

N/A 0.432 0.036 1.155 0.122 0.088 0.142 0.265 0.173 0.000

Problem 1281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 0 65 106 61 61 249 197 81

N.S.

1 0.00 0.00 2.17 3.53 2.03 2.03 8.30 6.57 2.70

time (sec)

N/A 0.000 0.000 14.072 0.612 0.086 0.707 0.264 200.027 4.211

Problem 1282

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 24 25 28 26 26 28 29 21

N.S.

1 0.00 1.00 1.04 1.17 1.08 1.08 1.17 1.21 0.88

time (sec)

N/A 0.000 0.238 0.388 0.178 0.088 0.153 0.143 0.179 3.670

Problem 1283

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

39 98 54 42 0 47 41 65 71 57

N.S.

1 2.51 1.38 1.08 0.00 1.21 1.05 1.67 1.82 1.46

time (sec)

N/A 7.158 1.069 1.665 0.000 0.081 0.207 0.127 0.183 0.142

Problem 1284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 59 45 40 53 43 39 54 64 41

N.S.

1 2.57 1.96 1.74 2.30 1.87 1.70 2.35 2.78 1.78

time (sec)

N/A 0.410 0.140 0.582 0.044 0.073 0.104 0.125 0.193 3.426

Problem 1285

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

29 0 33 38 147 145 219 199 207 0

N.S.

1 0.00 1.14 1.31 5.07 5.00 7.55 6.86 7.14 0.00

time (sec)

N/A 0.000 0.624 4.429 1.081 0.092 0.608 0.551 0.228 0.000

Problem 1286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 0 82 38 170 59 34 0 39 107

N.S.

1 0.00 2.56 1.19 5.31 1.84 1.06 0.00 1.22 3.34

time (sec)

N/A 0.000 0.300 21.665 0.370 0.095 0.615 0.000 0.202 3.862

Problem 1287

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

18 0 18 22 21 18 24 60 18 16

N.S.

1 0.00 1.00 1.22 1.17 1.00 1.33 3.33 1.00 0.89

time (sec)

N/A 0.000 0.044 15.882 0.069 0.095 0.121 0.122 0.196 3.393

Problem 1288

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

20 54 23 47 46 46 48 47 42 22

N.S.

1 2.70 1.15 2.35 2.30 2.30 2.40 2.35 2.10 1.10

time (sec)

N/A 0.227 0.046 0.605 0.028 0.090 0.060 0.124 0.193 0.076

Problem 1289

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

13 12 12 10 9 9 8 9 10 8

N.S.

1 0.92 0.92 0.77 0.69 0.69 0.62 0.69 0.77 0.62

time (sec)

N/A 0.131 0.000 0.038 0.035 0.067 0.019 0.114 0.181 0.002

Problem 1290

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 13 12 13 14 14 15 15 14 12

N.S.

1 0.68 0.63 0.68 0.74 0.74 0.79 0.79 0.74 0.63

time (sec)

N/A 0.148 0.001 0.073 0.026 0.067 0.049 0.123 0.190 0.043

Problem 1291

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 13 11 9 8 8 7 8 14 8

N.S.

1 0.93 0.79 0.64 0.57 0.57 0.50 0.57 1.00 0.57

time (sec)

N/A 0.143 0.003 0.074 0.034 0.077 0.034 0.124 0.191 0.048

Problem 1292

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 15 18 17 14 16 12 15 17 14

N.S.

1 0.60 0.72 0.68 0.56 0.64 0.48 0.60 0.68 0.56

time (sec)

N/A 0.158 0.004 0.082 0.033 0.069 0.059 0.116 0.183 0.036

Problem 1293

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

22 56 41 29 38 29 41 37 20 19

N.S.

1 2.55 1.86 1.32 1.73 1.32 1.86 1.68 0.91 0.86

time (sec)

N/A 0.183 0.005 0.117 0.042 0.095 0.074 0.122 0.191 3.390

Problem 1294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 0 33 41 162 91 58 130 131 44

N.S.

1 0.00 1.38 1.71 6.75 3.79 2.42 5.42 5.46 1.83

time (sec)

N/A 0.000 5.053 87.148 0.163 0.087 0.612 0.149 0.193 3.764

Problem 1295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 36 34 53 53 0 34 533 92

N.S.

1 0.00 1.33 1.26 1.96 1.96 0.00 1.26 19.74 3.41

time (sec)

N/A 0.000 0.035 0.833 0.178 0.088 0.000 0.147 0.265 3.800

Problem 1296

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

22 0 19 20 17 17 14 21 19 30

N.S.

1 0.00 0.86 0.91 0.77 0.77 0.64 0.95 0.86 1.36

time (sec)

N/A 0.000 0.102 1.073 0.169 0.079 0.063 0.129 0.185 3.704

Problem 1297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 54 19 20 17 26 20 0 25 17

N.S.

1 2.57 0.90 0.95 0.81 1.24 0.95 0.00 1.19 0.81

time (sec)

N/A 0.949 0.061 1.230 0.173 0.085 0.101 0.000 0.188 3.605

Problem 1298

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

17 0 16 15 22 22 22 0 323 27

N.S.

1 0.00 0.94 0.88 1.29 1.29 1.29 0.00 19.00 1.59

time (sec)

N/A 0.000 1.167 0.189 0.492 0.078 0.115 0.000 1.010 3.432

Problem 1299

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

26 58 30 42 369 63 60 76 44 22

N.S.

1 2.23 1.15 1.62 14.19 2.42 2.31 2.92 1.69 0.85

time (sec)

N/A 0.773 0.050 0.342 0.043 0.091 0.211 0.127 0.183 3.442

Problem 1300

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 12 12 11 10 12 12 10 10 10

N.S.

1 0.57 0.57 0.52 0.48 0.57 0.57 0.48 0.48 0.48

time (sec)

N/A 0.359 0.044 0.123 0.074 0.093 0.062 0.115 0.210 3.419