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

Integrals 701 to 800

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 701

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

111 102 89 82 107 163 114 73 189 104

N.S.

1 0.92 0.80 0.74 0.96 1.47 1.03 0.66 1.70 0.94

time (sec)

N/A 0.716 0.088 0.102 0.122 0.075 0.438 0.114 0.146 22.635

Problem 702

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

146 129 98 108 135 207 144 96 241 131

N.S.

1 0.88 0.67 0.74 0.92 1.42 0.99 0.66 1.65 0.90

time (sec)

N/A 0.763 0.130 0.110 0.091 0.083 0.658 0.119 0.146 22.640

Problem 703

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

169 163 70 161 0 176 1110 504 190 227

N.S.

1 0.96 0.41 0.95 0.00 1.04 6.57 2.98 1.12 1.34

time (sec)

N/A 0.852 0.038 0.289 0.000 0.095 13.016 0.141 0.151 22.761

Problem 704

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

136 129 70 142 0 154 692 384 152 181

N.S.

1 0.95 0.51 1.04 0.00 1.13 5.09 2.82 1.12 1.33

time (sec)

N/A 0.761 0.042 0.214 0.000 0.080 6.095 0.126 0.150 0.072

Problem 705

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

103 93 70 129 0 132 381 262 134 135

N.S.

1 0.90 0.68 1.25 0.00 1.28 3.70 2.54 1.30 1.31

time (sec)

N/A 0.689 0.040 0.174 0.000 0.075 3.659 0.130 0.143 0.052

Problem 706

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

58 55 55 97 0 85 177 128 81 76

N.S.

1 0.95 0.95 1.67 0.00 1.47 3.05 2.21 1.40 1.31

time (sec)

N/A 0.575 0.050 0.142 0.000 0.086 2.847 0.128 0.141 0.035

Problem 707

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

61 66 54 105 0 66 0 71 98 88

N.S.

1 1.08 0.89 1.72 0.00 1.08 0.00 1.16 1.61 1.44

time (sec)

N/A 0.611 0.047 0.194 0.000 0.072 0.000 0.124 0.147 22.540

Problem 708

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

94 97 78 179 0 141 0 0 114 188

N.S.

1 1.03 0.83 1.90 0.00 1.50 0.00 0.00 1.21 2.00

time (sec)

N/A 0.736 0.076 0.240 0.000 0.085 0.000 0.000 0.146 22.808

Problem 709

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

124 130 108 257 0 208 0 0 229 365

N.S.

1 1.05 0.87 2.07 0.00 1.68 0.00 0.00 1.85 2.94

time (sec)

N/A 0.936 0.102 0.303 0.000 0.079 0.000 0.000 0.144 23.018

Problem 710

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

154 161 126 331 0 281 0 0 344 614

N.S.

1 1.05 0.82 2.15 0.00 1.82 0.00 0.00 2.23 3.99

time (sec)

N/A 1.175 0.137 0.358 0.000 0.105 0.000 0.000 0.155 23.281

Problem 711

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

91 72 91 65 82 89 88 160 67 66

N.S.

1 0.79 1.00 0.71 0.90 0.98 0.97 1.76 0.74 0.73

time (sec)

N/A 0.643 0.037 0.141 0.073 0.064 0.275 0.141 0.143 22.524

Problem 712

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

78 61 78 57 71 78 76 136 59 57

N.S.

1 0.78 1.00 0.73 0.91 1.00 0.97 1.74 0.76 0.73

time (sec)

N/A 0.625 0.029 0.112 0.088 0.065 0.247 0.115 0.147 22.474

Problem 713

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

40 33 40 32 38 43 39 112 35 35

N.S.

1 0.82 1.00 0.80 0.95 1.08 0.98 2.80 0.88 0.88

time (sec)

N/A 0.567 0.022 0.096 0.058 0.065 0.102 0.112 0.149 0.051

Problem 714

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

21 22 21 21 21 27 20 88 24 24

N.S.

1 1.05 1.00 1.00 1.00 1.29 0.95 4.19 1.14 1.14

time (sec)

N/A 0.498 0.021 0.084 0.060 0.100 0.061 0.120 0.148 22.503

Problem 715

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 37 28 36 33 39 37 55 45 33

N.S.

1 1.06 0.80 1.03 0.94 1.11 1.06 1.57 1.29 0.94

time (sec)

N/A 0.598 0.045 0.076 0.105 0.076 0.086 0.142 0.143 0.053

Problem 716

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

74 69 68 61 70 92 76 101 105 68

N.S.

1 0.93 0.92 0.82 0.95 1.24 1.03 1.36 1.42 0.92

time (sec)

N/A 0.642 0.058 0.093 0.036 0.069 0.284 0.117 0.149 0.095

Problem 717

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

109 98 104 85 98 137 104 140 153 94

N.S.

1 0.90 0.95 0.78 0.90 1.26 0.95 1.28 1.40 0.86

time (sec)

N/A 0.694 0.090 0.093 0.085 0.071 0.399 0.114 0.151 22.630

Problem 718

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

144 127 121 109 146 233 158 164 277 142

N.S.

1 0.88 0.84 0.76 1.01 1.62 1.10 1.14 1.92 0.99

time (sec)

N/A 0.770 0.109 0.111 0.044 0.074 0.662 0.127 0.145 0.144

Problem 719

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

191 179 191 152 0 176 1110 506 190 229

N.S.

1 0.94 1.00 0.80 0.00 0.92 5.81 2.65 0.99 1.20

time (sec)

N/A 1.036 0.232 0.483 0.000 0.090 15.765 0.144 0.156 22.660

Problem 720

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

157 143 186 144 0 154 695 386 152 183

N.S.

1 0.91 1.18 0.92 0.00 0.98 4.43 2.46 0.97 1.17

time (sec)

N/A 0.944 0.128 0.350 0.000 0.081 8.276 0.149 0.146 22.442

Problem 721

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

125 109 128 128 0 132 384 263 134 137

N.S.

1 0.87 1.02 1.02 0.00 1.06 3.07 2.10 1.07 1.10

time (sec)

N/A 0.871 0.099 0.279 0.000 0.088 5.612 0.137 0.147 0.047

Problem 722

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

74 69 57 99 0 86 0 130 58 82

N.S.

1 0.93 0.77 1.34 0.00 1.16 0.00 1.76 0.78 1.11

time (sec)

N/A 0.765 0.077 0.209 0.000 0.109 0.000 0.140 0.149 0.041

Problem 723

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

94 97 78 139 0 101 0 0 180 129

N.S.

1 1.03 0.83 1.48 0.00 1.07 0.00 0.00 1.91 1.37

time (sec)

N/A 0.691 0.110 0.252 0.000 0.092 0.000 0.000 0.154 0.067

Problem 724

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

128 127 86 173 0 142 0 181 269 271

N.S.

1 0.99 0.67 1.35 0.00 1.11 0.00 1.41 2.10 2.12

time (sec)

N/A 1.067 0.128 0.300 0.000 0.076 0.000 0.127 0.147 22.476

Problem 725

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

158 159 94 250 0 213 0 0 230 436

N.S.

1 1.01 0.59 1.58 0.00 1.35 0.00 0.00 1.46 2.76

time (sec)

N/A 1.372 0.147 0.397 0.000 0.089 0.000 0.000 0.154 23.033

Problem 726

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

188 198 122 325 0 278 0 0 346 671

N.S.

1 1.05 0.65 1.73 0.00 1.48 0.00 0.00 1.84 3.57

time (sec)

N/A 1.668 0.191 0.503 0.000 0.104 0.000 0.000 0.153 23.507

Problem 727

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

299 97 98 102 0 544 0 110 70 0

N.S.

1 0.32 0.33 0.34 0.00 1.82 0.00 0.37 0.23 0.00

time (sec)

N/A 0.781 0.084 0.133 0.000 0.133 0.000 0.124 0.143 0.000

Problem 728

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

219 75 82 86 0 480 0 84 54 0

N.S.

1 0.34 0.37 0.39 0.00 2.19 0.00 0.38 0.25 0.00

time (sec)

N/A 0.736 0.057 0.105 0.000 0.124 0.000 0.117 0.148 0.000

Problem 729

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

146 60 72 70 0 375 0 49 36 0

N.S.

1 0.41 0.49 0.48 0.00 2.57 0.00 0.34 0.25 0.00

time (sec)

N/A 0.698 0.044 0.097 0.000 0.123 0.000 0.117 0.151 0.000

Problem 730

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

68 37 37 40 17 322 0 25 13 0

N.S.

1 0.54 0.54 0.59 0.25 4.74 0.00 0.37 0.19 0.00

time (sec)

N/A 0.633 0.043 0.091 0.096 0.104 0.000 0.132 0.139 0.000

Problem 731

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

79 52 48 50 21 366 0 0 20 0

N.S.

1 0.66 0.61 0.63 0.27 4.63 0.00 0.00 0.25 0.00

time (sec)

N/A 0.648 0.051 0.093 0.170 0.102 0.000 0.000 0.146 0.000

Problem 732

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

175 81 91 94 0 0 0 0 65 0

N.S.

1 0.46 0.52 0.54 0.00 0.00 0.00 0.00 0.37 0.00

time (sec)

N/A 0.733 0.074 0.098 0.000 0.000 0.000 0.000 0.140 0.000

Problem 733

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

267 109 87 176 0 0 0 0 148 0

N.S.

1 0.41 0.33 0.66 0.00 0.00 0.00 0.00 0.55 0.00

time (sec)

N/A 0.807 0.161 0.103 0.000 0.000 0.000 0.000 0.142 0.000

Problem 734

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

361 139 147 250 0 0 0 0 235 0

N.S.

1 0.39 0.41 0.69 0.00 0.00 0.00 0.00 0.65 0.00

time (sec)

N/A 0.873 0.151 0.108 0.000 0.000 0.000 0.000 0.146 0.000

Problem 735

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

191 181 150 251 0 425 1059 561 184 0

N.S.

1 0.95 0.79 1.31 0.00 2.23 5.54 2.94 0.96 0.00

time (sec)

N/A 0.769 0.274 0.243 0.000 0.121 17.518 0.278 0.156 0.000

Problem 736

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

157 146 134 235 0 381 500 416 148 0

N.S.

1 0.93 0.85 1.50 0.00 2.43 3.18 2.65 0.94 0.00

time (sec)

N/A 0.762 0.211 0.222 0.000 0.103 9.409 0.221 0.150 0.000

Problem 737

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

123 111 115 203 0 303 377 265 100 0

N.S.

1 0.90 0.93 1.65 0.00 2.46 3.07 2.15 0.81 0.00

time (sec)

N/A 0.616 0.200 0.186 0.000 0.099 6.431 0.192 0.149 0.000

Problem 738

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

88 71 81 195 0 255 0 0 53 0

N.S.

1 0.81 0.92 2.22 0.00 2.90 0.00 0.00 0.60 0.00

time (sec)

N/A 0.545 0.139 0.162 0.000 0.103 0.000 0.000 0.142 0.000

Problem 739

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

79 92 69 162 0 216 0 0 85 0

N.S.

1 1.16 0.87 2.05 0.00 2.73 0.00 0.00 1.08 0.00

time (sec)

N/A 0.501 0.165 0.178 0.000 0.090 0.000 0.000 0.149 0.000

Problem 740

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

118 125 95 216 0 281 0 0 142 0

N.S.

1 1.06 0.81 1.83 0.00 2.38 0.00 0.00 1.20 0.00

time (sec)

N/A 0.686 0.161 0.125 0.000 0.103 0.000 0.000 0.154 0.000

Problem 741

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

152 157 105 300 0 353 0 0 217 0

N.S.

1 1.03 0.69 1.97 0.00 2.32 0.00 0.00 1.43 0.00

time (sec)

N/A 0.897 0.167 0.138 0.000 0.116 0.000 0.000 0.162 0.000

Problem 742

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

187 189 133 384 0 497 0 0 370 0

N.S.

1 1.01 0.71 2.05 0.00 2.66 0.00 0.00 1.98 0.00

time (sec)

N/A 1.149 0.223 0.174 0.000 0.191 0.000 0.000 0.178 0.000

Problem 743

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

301 99 98 102 0 544 0 111 70 0

N.S.

1 0.33 0.33 0.34 0.00 1.81 0.00 0.37 0.23 0.00

time (sec)

N/A 0.757 0.082 0.113 0.000 0.158 0.000 0.128 0.145 0.000

Problem 744

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

220 76 90 86 0 476 0 85 54 0

N.S.

1 0.35 0.41 0.39 0.00 2.16 0.00 0.39 0.25 0.00

time (sec)

N/A 0.767 0.057 0.102 0.000 0.212 0.000 0.121 0.141 0.000

Problem 745

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

145 59 64 70 0 380 0 50 36 0

N.S.

1 0.41 0.44 0.48 0.00 2.62 0.00 0.34 0.25 0.00

time (sec)

N/A 0.701 0.050 0.105 0.000 0.157 0.000 0.118 0.139 0.000

Problem 746

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

108 47 47 51 148 0 0 41 22 0

N.S.

1 0.44 0.44 0.47 1.37 0.00 0.00 0.38 0.20 0.00

time (sec)

N/A 0.656 0.039 0.108 0.166 0.000 0.000 0.120 0.151 0.000

Problem 747

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

123 64 59 77 0 440 0 0 48 0

N.S.

1 0.52 0.48 0.63 0.00 3.58 0.00 0.00 0.39 0.00

time (sec)

N/A 0.683 0.067 0.107 0.000 0.170 0.000 0.000 0.149 0.000

Problem 748

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

174 80 87 106 0 477 0 0 76 0

N.S.

1 0.46 0.50 0.61 0.00 2.74 0.00 0.00 0.44 0.00

time (sec)

N/A 0.747 0.073 0.104 0.000 0.208 0.000 0.000 0.144 0.000

Problem 749

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

269 111 113 176 0 0 0 0 148 0

N.S.

1 0.41 0.42 0.65 0.00 0.00 0.00 0.00 0.55 0.00

time (sec)

N/A 0.804 0.106 0.109 0.000 0.000 0.000 0.000 0.148 0.000

Problem 750

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

363 141 146 241 0 0 0 0 236 0

N.S.

1 0.39 0.40 0.66 0.00 0.00 0.00 0.00 0.65 0.00

time (sec)

N/A 0.851 0.151 0.116 0.000 0.000 0.000 0.000 0.145 0.000

Problem 751

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

299 97 98 102 0 544 0 110 70 0

N.S.

1 0.32 0.33 0.34 0.00 1.82 0.00 0.37 0.23 0.00

time (sec)

N/A 0.760 0.085 0.111 0.000 0.177 0.000 0.118 0.147 0.000

Problem 752

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

220 76 82 86 0 480 0 84 54 0

N.S.

1 0.35 0.37 0.39 0.00 2.18 0.00 0.38 0.25 0.00

time (sec)

N/A 0.750 0.073 0.109 0.000 0.159 0.000 0.119 0.149 0.000

Problem 753

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

144 58 72 70 0 379 0 50 36 0

N.S.

1 0.40 0.50 0.49 0.00 2.63 0.00 0.35 0.25 0.00

time (sec)

N/A 0.685 0.045 0.107 0.000 0.166 0.000 0.137 0.149 0.000

Problem 754

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

69 38 38 41 0 323 0 27 15 0

N.S.

1 0.55 0.55 0.59 0.00 4.68 0.00 0.39 0.22 0.00

time (sec)

N/A 0.623 0.039 0.101 0.000 0.145 0.000 0.113 0.147 0.000

Problem 755

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

77 50 50 51 21 367 0 0 21 0

N.S.

1 0.65 0.65 0.66 0.27 4.77 0.00 0.00 0.27 0.00

time (sec)

N/A 0.621 0.042 0.106 0.099 0.167 0.000 0.000 0.148 0.000

Problem 756

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

175 81 91 95 0 0 0 0 67 0

N.S.

1 0.46 0.52 0.54 0.00 0.00 0.00 0.00 0.38 0.00

time (sec)

N/A 0.734 0.077 0.106 0.000 0.000 0.000 0.000 0.146 0.000

Problem 757

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

265 107 88 176 0 0 0 0 147 0

N.S.

1 0.40 0.33 0.66 0.00 0.00 0.00 0.00 0.55 0.00

time (sec)

N/A 0.793 0.156 0.111 0.000 0.000 0.000 0.000 0.152 0.000

Problem 758

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

361 139 145 250 0 0 0 0 234 0

N.S.

1 0.39 0.40 0.69 0.00 0.00 0.00 0.00 0.65 0.00

time (sec)

N/A 0.857 0.141 0.109 0.000 0.000 0.000 0.000 0.155 0.000

Problem 759

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

191 181 150 251 0 425 1059 561 184 0

N.S.

1 0.95 0.79 1.31 0.00 2.23 5.54 2.94 0.96 0.00

time (sec)

N/A 0.795 0.291 0.223 0.000 0.142 18.085 0.281 0.158 0.000

Problem 760

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

157 146 134 235 0 381 500 416 148 0

N.S.

1 0.93 0.85 1.50 0.00 2.43 3.18 2.65 0.94 0.00

time (sec)

N/A 0.748 0.227 0.201 0.000 0.130 8.965 0.217 0.146 0.000

Problem 761

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

121 109 115 203 0 304 376 265 100 0

N.S.

1 0.90 0.95 1.68 0.00 2.51 3.11 2.19 0.83 0.00

time (sec)

N/A 0.652 0.179 0.178 0.000 0.142 5.756 0.186 0.152 0.000

Problem 762

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

88 71 80 195 0 255 0 0 53 0

N.S.

1 0.81 0.91 2.22 0.00 2.90 0.00 0.00 0.60 0.00

time (sec)

N/A 0.577 0.162 0.145 0.000 0.122 0.000 0.000 0.143 0.000

Problem 763

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

81 92 69 156 0 214 0 0 85 0

N.S.

1 1.14 0.85 1.93 0.00 2.64 0.00 0.00 1.05 0.00

time (sec)

N/A 0.496 0.182 0.161 0.000 0.125 0.000 0.000 0.155 0.000

Problem 764

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

120 126 95 204 0 280 0 0 142 0

N.S.

1 1.05 0.79 1.70 0.00 2.33 0.00 0.00 1.18 0.00

time (sec)

N/A 0.739 0.149 0.112 0.000 0.128 0.000 0.000 0.152 0.000

Problem 765

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

154 158 105 288 0 352 0 0 217 0

N.S.

1 1.03 0.68 1.87 0.00 2.29 0.00 0.00 1.41 0.00

time (sec)

N/A 1.005 0.169 0.125 0.000 0.148 0.000 0.000 0.160 0.000

Problem 766

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

189 190 131 372 0 496 0 0 370 0

N.S.

1 1.01 0.69 1.97 0.00 2.62 0.00 0.00 1.96 0.00

time (sec)

N/A 1.207 0.200 0.152 0.000 0.197 0.000 0.000 0.183 0.000

Problem 767

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

301 99 98 102 0 546 0 111 70 0

N.S.

1 0.33 0.33 0.34 0.00 1.81 0.00 0.37 0.23 0.00

time (sec)

N/A 0.747 0.090 0.118 0.000 0.156 0.000 0.134 0.151 0.000

Problem 768

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

218 74 92 86 0 482 0 84 54 0

N.S.

1 0.34 0.42 0.39 0.00 2.21 0.00 0.39 0.25 0.00

time (sec)

N/A 0.754 0.058 0.113 0.000 0.200 0.000 0.121 0.147 0.000

Problem 769

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

146 60 64 70 0 378 0 51 36 0

N.S.

1 0.41 0.44 0.48 0.00 2.59 0.00 0.35 0.25 0.00

time (sec)

N/A 0.695 0.058 0.112 0.000 0.154 0.000 0.117 0.143 0.000

Problem 770

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

106 45 45 52 0 0 0 39 24 0

N.S.

1 0.42 0.42 0.49 0.00 0.00 0.00 0.37 0.23 0.00

time (sec)

N/A 0.659 0.042 0.115 0.000 0.000 0.000 0.133 0.147 0.000

Problem 771

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

122 63 58 78 53 439 0 0 47 0

N.S.

1 0.52 0.48 0.64 0.43 3.60 0.00 0.00 0.39 0.00

time (sec)

N/A 0.661 0.062 0.113 0.116 0.157 0.000 0.000 0.149 0.000

Problem 772

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

170 76 86 106 0 477 0 0 76 0

N.S.

1 0.45 0.51 0.62 0.00 2.81 0.00 0.00 0.45 0.00

time (sec)

N/A 0.753 0.078 0.106 0.000 0.182 0.000 0.000 0.143 0.000

Problem 773

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

267 109 110 176 0 0 0 0 148 0

N.S.

1 0.41 0.41 0.66 0.00 0.00 0.00 0.00 0.55 0.00

time (sec)

N/A 0.813 0.124 0.107 0.000 0.000 0.000 0.000 0.146 0.000

Problem 774

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

359 137 146 241 0 0 0 0 236 0

N.S.

1 0.38 0.41 0.67 0.00 0.00 0.00 0.00 0.66 0.00

time (sec)

N/A 0.868 0.149 0.115 0.000 0.000 0.000 0.000 0.145 0.000

Problem 775

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

54 54 54 0 0 0 0 0 41 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.76 0.00

time (sec)

N/A 0.623 0.031 0.000 0.000 0.000 0.000 0.000 0.152 0.000

Problem 776

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

53 53 53 0 0 0 0 0 43 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.81 0.00

time (sec)

N/A 0.611 0.020 0.000 0.000 0.000 0.000 0.000 0.154 0.000

Problem 777

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

331 330 229 0 0 0 0 0 367 0

N.S.

1 1.00 0.69 0.00 0.00 0.00 0.00 0.00 1.11 0.00

time (sec)

N/A 1.542 1.082 0.000 0.000 0.000 0.000 0.000 0.165 0.000

Problem 778

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

137 225 126 0 0 0 0 0 62 0

N.S.

1 1.64 0.92 0.00 0.00 0.00 0.00 0.00 0.45 0.00

time (sec)

N/A 0.818 0.313 0.000 0.000 0.000 0.000 0.000 0.147 0.000

Problem 779

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

125 1 82 0 0 0 0 0 32 0

N.S.

1 0.01 0.66 0.00 0.00 0.00 0.00 0.00 0.26 0.00

time (sec)

N/A 0.590 0.148 0.000 0.000 0.000 0.000 0.000 0.149 0.000

Problem 780

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

373 370 178 0 0 0 0 0 40 0

N.S.

1 0.99 0.48 0.00 0.00 0.00 0.00 0.00 0.11 0.00

time (sec)

N/A 1.131 0.208 0.000 0.000 0.000 0.000 0.000 0.144 0.000

Problem 781

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

430 317 190 0 0 0 0 0 62 0

N.S.

1 0.74 0.44 0.00 0.00 0.00 0.00 0.00 0.14 0.00

time (sec)

N/A 1.440 2.302 0.000 0.000 0.000 0.000 0.000 0.196 0.000

Problem 782

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

272 226 208 0 0 0 0 0 30 0

N.S.

1 0.83 0.76 0.00 0.00 0.00 0.00 0.00 0.11 0.00

time (sec)

N/A 0.925 0.216 0.000 0.000 0.000 0.000 0.000 0.180 0.000

Problem 783

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

182 154 130 0 0 0 0 0 30 0

N.S.

1 0.85 0.71 0.00 0.00 0.00 0.00 0.00 0.16 0.00

time (sec)

N/A 0.790 0.159 0.000 0.000 0.000 0.000 0.000 0.166 0.000

Problem 784

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

322 212 186 0 0 0 0 0 57 0

N.S.

1 0.66 0.58 0.00 0.00 0.00 0.00 0.00 0.18 0.00

time (sec)

N/A 0.960 0.320 0.000 0.000 0.000 0.000 0.000 0.168 0.000

Problem 785

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

1027 650 227 0 0 0 0 0 73 0

N.S.

1 0.63 0.22 0.00 0.00 0.00 0.00 0.00 0.07 0.00

time (sec)

N/A 1.701 7.457 0.000 0.000 0.000 0.000 0.000 0.182 0.000

Problem 786

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

72 72 0 0 0 0 0 0 40 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.56 0.00

time (sec)

N/A 0.635 0.000 0.000 0.000 0.000 0.000 0.000 0.149 0.000

Problem 787

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

184 230 217 0 0 0 0 0 726 0

N.S.

1 1.25 1.18 0.00 0.00 0.00 0.00 0.00 3.95 0.00

time (sec)

N/A 1.089 0.277 0.000 0.000 0.000 0.000 0.000 0.151 0.000

Problem 788

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

113 151 142 0 0 0 700 0 85 0

N.S.

1 1.34 1.26 0.00 0.00 0.00 6.19 0.00 0.75 0.00

time (sec)

N/A 0.585 0.207 0.000 0.000 0.000 9.889 0.000 0.152 0.000

Problem 789

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

112 151 142 0 0 0 699 0 79 0

N.S.

1 1.35 1.27 0.00 0.00 0.00 6.24 0.00 0.71 0.00

time (sec)

N/A 0.594 0.172 0.000 0.000 0.000 10.421 0.000 0.143 0.000

Problem 790

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

184 230 215 0 0 0 0 0 729 0

N.S.

1 1.25 1.17 0.00 0.00 0.00 0.00 0.00 3.96 0.00

time (sec)

N/A 1.098 0.235 0.000 0.000 0.000 0.000 0.000 0.151 0.000

Problem 791

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

217 202 175 0 0 0 0 0 194 0

N.S.

1 0.93 0.81 0.00 0.00 0.00 0.00 0.00 0.89 0.00

time (sec)

N/A 1.092 0.181 0.000 0.000 0.000 0.000 0.000 0.162 0.000

Problem 792

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

137 126 112 0 0 0 178 0 86 0

N.S.

1 0.92 0.82 0.00 0.00 0.00 1.30 0.00 0.63 0.00

time (sec)

N/A 0.691 0.053 0.000 0.000 0.000 19.397 0.000 0.158 0.000

Problem 793

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

137 126 112 0 0 0 0 0 52 0

N.S.

1 0.92 0.82 0.00 0.00 0.00 0.00 0.00 0.38 0.00

time (sec)

N/A 0.747 0.036 0.000 0.000 0.000 0.000 0.000 0.153 0.000

Problem 794

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

216 201 173 0 0 0 0 0 127 0

N.S.

1 0.93 0.80 0.00 0.00 0.00 0.00 0.00 0.59 0.00

time (sec)

N/A 1.059 0.175 0.000 0.000 0.000 0.000 0.000 0.169 0.000

Problem 795

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

80 51 51 46 30 78 0 0 25 45

N.S.

1 0.64 0.64 0.58 0.38 0.98 0.00 0.00 0.31 0.56

time (sec)

N/A 0.786 0.048 0.103 0.116 0.095 0.000 0.000 0.141 23.833

Problem 796

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

74 47 42 37 20 58 0 28 17 38

N.S.

1 0.64 0.57 0.50 0.27 0.78 0.00 0.38 0.23 0.51

time (sec)

N/A 0.733 0.027 0.095 0.237 0.087 0.000 0.114 0.143 23.488

Problem 797

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

44 44 41 36 18 57 0 25 14 36

N.S.

1 1.00 0.93 0.82 0.41 1.30 0.00 0.57 0.32 0.82

time (sec)

N/A 0.596 0.031 0.092 0.208 0.103 0.000 0.125 0.142 23.589

Problem 798

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

68 37 37 40 17 322 0 25 13 0

N.S.

1 0.54 0.54 0.59 0.25 4.74 0.00 0.37 0.19 0.00

time (sec)

N/A 0.610 0.017 0.086 0.084 0.150 0.000 0.111 0.140 0.000

Problem 799

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

66 41 37 40 19 296 0 26 17 0

N.S.

1 0.62 0.56 0.61 0.29 4.48 0.00 0.39 0.26 0.00

time (sec)

N/A 0.746 0.029 0.095 0.127 0.167 0.000 0.122 0.143 0.000

Problem 800

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

43 43 42 37 20 63 0 24 17 35

N.S.

1 1.00 0.98 0.86 0.47 1.47 0.00 0.56 0.40 0.81

time (sec)

N/A 0.713 0.026 0.106 0.141 0.090 0.000 0.143 0.156 23.596

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