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

Integrals 101 to 200

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 101

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 19 100 91 90 90 97 90 92 92

N.S.

1 1.00 5.26 4.79 4.74 4.74 5.11 4.74 4.84 4.84

time (sec)

N/A 0.131 0.003 0.250 0.036 0.055 0.534 0.116 0.205 0.133

Problem 102

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

40 44 106 91 92 92 99 92 92 92

N.S.

1 1.10 2.65 2.28 2.30 2.30 2.48 2.30 2.30 2.30

time (sec)

N/A 0.148 0.003 0.256 0.039 0.056 0.552 0.124 0.276 0.133

Problem 103

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

62 72 104 91 92 92 99 92 92 91

N.S.

1 1.16 1.68 1.47 1.48 1.48 1.60 1.48 1.48 1.47

time (sec)

N/A 0.160 0.003 0.248 0.028 0.060 0.590 0.116 0.204 0.080

Problem 104

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

84 100 106 91 92 92 99 92 92 92

N.S.

1 1.19 1.26 1.08 1.10 1.10 1.18 1.10 1.10 1.10

time (sec)

N/A 0.183 0.003 0.257 0.028 0.056 0.565 0.120 0.196 0.084

Problem 105

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

106 128 106 91 92 92 99 92 92 92

N.S.

1 1.21 1.00 0.86 0.87 0.87 0.93 0.87 0.87 0.87

time (sec)

N/A 0.191 0.003 0.250 0.031 0.058 0.652 0.122 0.208 0.153

Problem 106

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

108 110 108 91 92 92 99 92 92 92

N.S.

1 1.02 1.00 0.84 0.85 0.85 0.92 0.85 0.85 0.85

time (sec)

N/A 0.218 0.003 0.254 0.032 0.061 0.643 0.129 0.235 0.137

Problem 107

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

108 110 108 91 92 92 99 92 92 92

N.S.

1 1.02 1.00 0.84 0.85 0.85 0.92 0.85 0.85 0.85

time (sec)

N/A 0.219 0.003 0.267 0.028 0.061 0.695 0.129 0.228 0.148

Problem 108

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

106 110 106 91 92 92 99 92 92 91

N.S.

1 1.04 1.00 0.86 0.87 0.87 0.93 0.87 0.87 0.86

time (sec)

N/A 0.226 0.003 0.258 0.032 0.055 0.692 0.120 0.228 0.092

Problem 109

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

108 108 108 91 90 90 107 90 92 90

N.S.

1 1.00 1.00 0.84 0.83 0.83 0.99 0.83 0.85 0.83

time (sec)

N/A 0.221 0.002 0.302 0.037 0.058 0.030 0.109 0.239 0.102

Problem 110

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

108 108 108 91 90 90 107 90 92 90

N.S.

1 1.00 1.00 0.84 0.83 0.83 0.99 0.83 0.85 0.83

time (sec)

N/A 0.214 0.002 0.310 0.025 0.061 0.024 0.118 0.213 0.151

Problem 111

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

108 108 108 91 90 90 107 90 92 90

N.S.

1 1.00 1.00 0.84 0.83 0.83 0.99 0.83 0.85 0.83

time (sec)

N/A 0.218 0.002 0.305 0.041 0.056 0.024 0.119 0.217 0.096

Problem 112

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

106 106 106 91 90 90 105 90 92 90

N.S.

1 1.00 1.00 0.86 0.85 0.85 0.99 0.85 0.87 0.85

time (sec)

N/A 0.213 0.002 0.303 0.028 0.058 0.025 0.129 0.216 0.152

Problem 113

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

101 101 101 88 87 87 102 87 90 87

N.S.

1 1.00 1.00 0.87 0.86 0.86 1.01 0.86 0.89 0.86

time (sec)

N/A 0.216 0.001 0.256 0.037 0.056 0.029 0.117 0.227 0.045

Problem 114

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

100 100 100 89 88 92 99 88 92 88

N.S.

1 1.00 1.00 0.89 0.88 0.92 0.99 0.88 0.92 0.88

time (sec)

N/A 0.204 0.006 0.367 0.031 0.061 0.091 0.129 0.220 0.059

Problem 115

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

98 98 98 89 89 92 100 89 92 91

N.S.

1 1.00 1.00 0.91 0.91 0.94 1.02 0.91 0.94 0.93

time (sec)

N/A 0.209 0.006 0.269 0.028 0.056 0.095 0.123 0.203 0.056

Problem 116

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

100 100 100 89 91 92 102 91 92 91

N.S.

1 1.00 1.00 0.89 0.91 0.92 1.02 0.91 0.92 0.91

time (sec)

N/A 0.212 0.009 0.265 0.032 0.058 0.146 0.125 0.244 0.050

Problem 117

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

102 102 102 89 91 92 102 91 92 91

N.S.

1 1.00 1.00 0.87 0.89 0.90 1.00 0.89 0.90 0.89

time (sec)

N/A 0.209 0.005 0.326 0.033 0.056 0.153 0.126 0.251 0.052

Problem 118

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

102 102 102 89 91 92 100 91 92 91

N.S.

1 1.00 1.00 0.87 0.89 0.90 0.98 0.89 0.90 0.89

time (sec)

N/A 0.213 0.008 0.262 0.032 0.058 0.218 0.113 0.202 0.052

Problem 119

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

100 100 100 89 91 92 99 91 92 91

N.S.

1 1.00 1.00 0.89 0.91 0.92 0.99 0.91 0.92 0.91

time (sec)

N/A 0.210 0.008 0.266 0.026 0.060 0.277 0.118 0.238 0.131

Problem 120

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

98 98 98 89 91 92 97 91 92 92

N.S.

1 1.00 1.00 0.91 0.93 0.94 0.99 0.93 0.94 0.94

time (sec)

N/A 0.215 0.007 0.269 0.026 0.058 0.304 0.123 0.224 0.145

Problem 121

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

99 99 99 88 90 92 95 90 92 90

N.S.

1 1.00 1.00 0.89 0.91 0.93 0.96 0.91 0.93 0.91

time (sec)

N/A 0.210 0.005 0.259 0.043 0.056 0.384 0.113 0.208 0.074

Problem 122

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

104 104 104 91 92 92 99 92 92 91

N.S.

1 1.00 1.00 0.88 0.88 0.88 0.95 0.88 0.88 0.88

time (sec)

N/A 0.213 0.008 0.257 0.027 0.058 0.409 0.126 0.195 0.087

Problem 123

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

106 106 106 91 92 92 99 92 92 92

N.S.

1 1.00 1.00 0.86 0.87 0.87 0.93 0.87 0.87 0.87

time (sec)

N/A 0.214 0.007 0.251 0.029 0.060 0.463 0.122 0.224 0.080

Problem 124

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

79 78 79 68 68 67 68 69 67 67

N.S.

1 0.99 1.00 0.86 0.86 0.85 0.86 0.87 0.85 0.85

time (sec)

N/A 0.211 0.005 0.375 0.040 0.060 0.080 0.125 0.220 0.131

Problem 125

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

66 65 66 57 57 56 56 58 56 56

N.S.

1 0.98 1.00 0.86 0.86 0.85 0.85 0.88 0.85 0.85

time (sec)

N/A 0.189 0.005 0.452 0.030 0.061 0.095 0.125 0.198 0.077

Problem 126

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

53 52 53 46 46 45 44 47 45 45

N.S.

1 0.98 1.00 0.87 0.87 0.85 0.83 0.89 0.85 0.85

time (sec)

N/A 0.176 0.004 0.385 0.034 0.059 0.070 0.125 0.198 0.106

Problem 127

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

40 39 40 34 34 33 32 35 33 33

N.S.

1 0.98 1.00 0.85 0.85 0.82 0.80 0.88 0.82 0.82

time (sec)

N/A 0.166 0.004 0.418 0.025 0.058 0.067 0.121 0.207 0.051

Problem 128

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 26 27 23 23 22 20 24 22 22

N.S.

1 0.96 1.00 0.85 0.85 0.81 0.74 0.89 0.81 0.81

time (sec)

N/A 0.158 0.004 0.373 0.033 0.057 0.071 0.114 0.221 0.043

Problem 129

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

N.S.

1 1.00 1.00 0.93 0.87 0.87 0.67 0.93 0.87 0.87

time (sec)

N/A 0.133 0.002 0.348 0.025 0.058 0.076 0.122 0.191 0.092

Problem 130

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 26 22 21 23 18 15 24 20 18

N.S.

1 1.18 1.00 0.95 1.05 0.82 0.68 1.09 0.91 0.82

time (sec)

N/A 0.144 0.004 0.339 0.025 0.063 0.103 0.121 0.196 0.151

Problem 131

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

N.S.

1 1.03 1.00 0.91 0.94 0.94 0.89 1.23 0.94 0.89

time (sec)

N/A 0.168 0.006 0.361 0.026 0.060 0.142 0.123 0.236 0.081

Problem 132

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

49 50 49 44 47 45 42 57 47 46

N.S.

1 1.02 1.00 0.90 0.96 0.92 0.86 1.16 0.96 0.94

time (sec)

N/A 0.182 0.006 0.356 0.026 0.064 0.159 0.124 0.207 0.083

Problem 133

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

63 64 63 56 58 58 56 70 58 58

N.S.

1 1.02 1.00 0.89 0.92 0.92 0.89 1.11 0.92 0.92

time (sec)

N/A 0.190 0.006 0.351 0.027 0.064 0.186 0.120 0.216 0.086

Problem 134

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

75 76 75 66 69 69 68 81 69 68

N.S.

1 1.01 1.00 0.88 0.92 0.92 0.91 1.08 0.92 0.91

time (sec)

N/A 0.198 0.005 0.363 0.032 0.062 0.231 0.121 0.206 0.135

Problem 135

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

81 81 81 71 72 170 119 77 73 65

N.S.

1 1.00 1.00 0.88 0.89 2.10 1.47 0.95 0.90 0.80

time (sec)

N/A 0.190 0.018 0.383 0.112 0.069 0.121 0.122 0.244 0.061

Problem 136

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

68 68 68 60 60 148 107 65 62 54

N.S.

1 1.00 1.00 0.88 0.88 2.18 1.57 0.96 0.91 0.79

time (sec)

N/A 0.187 0.015 0.429 0.109 0.068 0.089 0.129 0.216 0.119

Problem 137

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

55 55 55 49 50 126 95 55 51 43

N.S.

1 1.00 1.00 0.89 0.91 2.29 1.73 1.00 0.93 0.78

time (sec)

N/A 0.176 0.015 0.369 0.110 0.067 0.093 0.126 0.200 0.131

Problem 138

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

42 42 42 38 37 99 80 40 37 32

N.S.

1 1.00 1.00 0.90 0.88 2.36 1.90 0.95 0.88 0.76

time (sec)

N/A 0.167 0.012 0.379 0.113 0.065 0.108 0.126 0.236 0.138

Problem 139

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

31 31 31 27 26 82 56 26 26 23

N.S.

1 1.00 1.00 0.87 0.84 2.65 1.81 0.84 0.84 0.74

time (sec)

N/A 0.145 0.006 0.393 0.109 0.067 0.075 0.121 0.230 0.039

Problem 140

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

24 24 24 16 15 67 53 15 23 16

N.S.

1 1.00 1.00 0.67 0.62 2.79 2.21 0.62 0.96 0.67

time (sec)

N/A 0.133 0.002 0.343 0.124 0.066 0.062 0.123 0.218 0.002

Problem 141

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

34 34 34 30 29 82 65 29 30 26

N.S.

1 1.00 1.00 0.88 0.85 2.41 1.91 0.85 0.88 0.76

time (sec)

N/A 0.143 0.009 0.387 0.115 0.066 0.080 0.135 0.219 0.060

Problem 142

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

43 51 43 39 40 106 87 40 43 37

N.S.

1 1.19 1.00 0.91 0.93 2.47 2.02 0.93 1.00 0.86

time (sec)

N/A 0.153 0.014 0.409 0.112 0.070 0.119 0.123 0.246 0.134

Problem 143

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

58 68 58 52 52 132 100 52 56 48

N.S.

1 1.17 1.00 0.90 0.90 2.28 1.72 0.90 0.97 0.83

time (sec)

N/A 0.169 0.015 0.356 0.109 0.068 0.128 0.120 0.245 0.066

Problem 144

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

69 85 69 61 62 154 112 62 67 59

N.S.

1 1.23 1.00 0.88 0.90 2.23 1.62 0.90 0.97 0.86

time (sec)

N/A 0.177 0.016 0.342 0.110 0.068 0.177 0.121 0.228 0.066

Problem 145

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

94 91 83 85 88 104 88 103 104 90

N.S.

1 0.97 0.88 0.90 0.94 1.11 0.94 1.10 1.11 0.96

time (sec)

N/A 0.223 0.020 0.313 0.027 0.062 0.152 0.117 0.232 0.155

Problem 146

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

83 82 72 74 77 93 80 92 93 79

N.S.

1 0.99 0.87 0.89 0.93 1.12 0.96 1.11 1.12 0.95

time (sec)

N/A 0.214 0.014 0.309 0.036 0.063 0.165 0.115 0.250 0.134

Problem 147

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

70 68 60 63 65 81 66 80 81 68

N.S.

1 0.97 0.86 0.90 0.93 1.16 0.94 1.14 1.16 0.97

time (sec)

N/A 0.200 0.015 0.309 0.033 0.057 0.144 0.127 0.226 0.074

Problem 148

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

57 56 49 54 54 70 53 67 70 57

N.S.

1 0.98 0.86 0.95 0.95 1.23 0.93 1.18 1.23 1.00

time (sec)

N/A 0.186 0.011 0.336 0.031 0.064 0.141 0.124 0.229 0.143

Problem 149

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

44 43 38 41 43 56 39 49 57 45

N.S.

1 0.98 0.86 0.93 0.98 1.27 0.89 1.11 1.30 1.02

time (sec)

N/A 0.173 0.011 0.299 0.033 0.061 0.123 0.120 0.214 0.110

Problem 150

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

33 31 27 30 32 35 29 48 44 29

N.S.

1 0.94 0.82 0.91 0.97 1.06 0.88 1.45 1.33 0.88

time (sec)

N/A 0.163 0.007 0.289 0.024 0.059 0.117 0.122 0.199 0.045

Problem 151

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

16 16 16 15 14 15 15 14 17 14

N.S.

1 1.00 1.00 0.94 0.88 0.94 0.94 0.88 1.06 0.88

time (sec)

N/A 0.130 0.002 0.287 0.032 0.058 0.070 0.112 0.211 0.095

Problem 152

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 39 33 35 37 47 34 47 59 34

N.S.

1 1.03 0.87 0.92 0.97 1.24 0.89 1.24 1.55 0.89

time (sec)

N/A 0.168 0.009 0.297 0.026 0.065 0.164 0.122 0.235 0.113

Problem 153

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

49 52 41 52 52 73 51 51 81 51

N.S.

1 1.06 0.84 1.06 1.06 1.49 1.04 1.04 1.65 1.04

time (sec)

N/A 0.177 0.024 0.286 0.026 0.063 0.209 0.119 0.243 0.070

Problem 154

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

66 68 57 65 70 90 68 86 94 67

N.S.

1 1.03 0.86 0.98 1.06 1.36 1.03 1.30 1.42 1.02

time (sec)

N/A 0.195 0.032 0.282 0.029 0.062 0.238 0.121 0.218 0.076

Problem 155

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 79 68 77 79 99 78 99 105 78

N.S.

1 0.99 0.85 0.96 0.99 1.24 0.98 1.24 1.31 0.98

time (sec)

N/A 0.210 0.033 0.286 0.027 0.063 0.257 0.113 0.219 0.180

Problem 156

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 94 79 88 92 112 94 110 116 89

N.S.

1 1.01 0.85 0.95 0.99 1.20 1.01 1.18 1.25 0.96

time (sec)

N/A 0.224 0.050 0.298 0.028 0.061 0.286 0.118 0.202 0.091

Problem 157

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

104 108 93 87 93 234 151 95 118 88

N.S.

1 1.04 0.89 0.84 0.89 2.25 1.45 0.91 1.13 0.85

time (sec)

N/A 0.210 0.040 0.315 0.111 0.070 0.173 0.120 0.216 0.072

Problem 158

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

88 95 82 76 82 212 134 84 107 77

N.S.

1 1.08 0.93 0.86 0.93 2.41 1.52 0.95 1.22 0.88

time (sec)

N/A 0.200 0.036 0.311 0.117 0.068 0.159 0.121 0.202 0.071

Problem 159

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 82 71 65 71 190 124 73 96 66

N.S.

1 1.05 0.91 0.83 0.91 2.44 1.59 0.94 1.23 0.85

time (sec)

N/A 0.194 0.042 0.290 0.108 0.070 0.158 0.121 0.223 0.128

Problem 160

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

65 69 60 54 59 164 107 61 83 56

N.S.

1 1.06 0.92 0.83 0.91 2.52 1.65 0.94 1.28 0.86

time (sec)

N/A 0.181 0.030 0.295 0.105 0.071 0.156 0.119 0.188 0.094

Problem 161

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 58 51 42 45 136 83 42 69 43

N.S.

1 1.14 1.00 0.82 0.88 2.67 1.63 0.82 1.35 0.84

time (sec)

N/A 0.160 0.021 0.279 0.107 0.066 0.141 0.120 0.208 0.101

Problem 162

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 45 45 36 36 120 78 35 62 33

N.S.

1 1.00 1.00 0.80 0.80 2.67 1.73 0.78 1.38 0.73

time (sec)

N/A 0.143 0.014 0.309 0.106 0.066 0.101 0.121 0.202 0.145

Problem 163

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 45 45 36 35 120 78 35 61 33

N.S.

1 1.00 1.00 0.80 0.78 2.67 1.73 0.78 1.36 0.73

time (sec)

N/A 0.141 0.003 0.263 0.107 0.067 0.099 0.123 0.249 0.003

Problem 164

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

54 61 54 45 49 136 92 47 72 44

N.S.

1 1.13 1.00 0.83 0.91 2.52 1.70 0.87 1.33 0.81

time (sec)

N/A 0.157 0.027 0.306 0.111 0.068 0.173 0.121 0.229 0.139

Problem 165

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

67 78 67 55 64 172 114 59 88 58

N.S.

1 1.16 1.00 0.82 0.96 2.57 1.70 0.88 1.31 0.87

time (sec)

N/A 0.169 0.025 0.329 0.110 0.071 0.189 0.126 0.217 0.154

Problem 166

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 95 80 67 75 198 126 70 101 70

N.S.

1 1.19 1.00 0.84 0.94 2.48 1.58 0.88 1.26 0.88

time (sec)

N/A 0.182 0.033 0.301 0.116 0.070 0.198 0.117 0.242 0.171

Problem 167

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 112 91 77 86 220 138 81 112 80

N.S.

1 1.23 1.00 0.85 0.95 2.42 1.52 0.89 1.23 0.88

time (sec)

N/A 0.193 0.030 0.314 0.115 0.072 0.240 0.124 0.247 0.230

Problem 168

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

114 111 97 97 111 137 119 114 141 111

N.S.

1 0.97 0.85 0.85 0.97 1.20 1.04 1.00 1.24 0.97

time (sec)

N/A 0.248 0.019 0.300 0.033 0.061 0.284 0.124 0.238 0.168

Problem 169

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

100 98 85 87 99 125 104 102 129 100

N.S.

1 0.98 0.85 0.87 0.99 1.25 1.04 1.02 1.29 1.00

time (sec)

N/A 0.232 0.019 0.290 0.030 0.062 0.231 0.122 0.192 0.157

Problem 170

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

87 89 75 76 89 115 92 92 119 90

N.S.

1 1.02 0.86 0.87 1.02 1.32 1.06 1.06 1.37 1.03

time (sec)

N/A 0.217 0.016 0.296 0.028 0.062 0.220 0.126 0.243 0.156

Problem 171

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 76 63 65 77 103 78 80 107 78

N.S.

1 1.03 0.85 0.88 1.04 1.39 1.05 1.08 1.45 1.05

time (sec)

N/A 0.203 0.015 0.329 0.034 0.060 0.233 0.122 0.242 0.174

Problem 172

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

65 62 48 54 66 91 68 62 95 68

N.S.

1 0.95 0.74 0.83 1.02 1.40 1.05 0.95 1.46 1.05

time (sec)

N/A 0.189 0.035 0.287 0.034 0.057 0.200 0.124 0.206 0.111

Problem 173

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

49 51 39 42 55 69 53 42 81 52

N.S.

1 1.04 0.80 0.86 1.12 1.41 1.08 0.86 1.65 1.06

time (sec)

N/A 0.182 0.011 0.277 0.026 0.068 0.166 0.126 0.262 0.065

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 19 24 23 36 36 36 22 28 37

N.S.

1 1.00 1.26 1.21 1.89 1.89 1.89 1.16 1.47 1.95

time (sec)

N/A 0.132 0.006 0.279 0.027 0.062 0.129 0.124 0.368 0.038

Problem 175

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

16 16 16 15 14 26 27 14 25 28

N.S.

1 1.00 1.00 0.94 0.88 1.62 1.69 0.88 1.56 1.75

time (sec)

N/A 0.135 0.002 0.282 0.025 0.059 0.129 0.125 0.266 0.037

Problem 176

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

54 55 43 46 60 90 56 59 109 56

N.S.

1 1.02 0.80 0.85 1.11 1.67 1.04 1.09 2.02 1.04

time (sec)

N/A 0.181 0.019 0.293 0.037 0.064 0.224 0.123 0.221 0.150

Problem 177

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

67 69 59 65 77 119 80 82 133 75

N.S.

1 1.03 0.88 0.97 1.15 1.78 1.19 1.22 1.99 1.12

time (sec)

N/A 0.200 0.034 0.293 0.031 0.066 0.260 0.124 0.224 0.171

Problem 178

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

86 88 74 77 92 134 90 80 148 88

N.S.

1 1.02 0.86 0.90 1.07 1.56 1.05 0.93 1.72 1.02

time (sec)

N/A 0.216 0.029 0.300 0.040 0.067 0.297 0.123 0.228 0.123

Problem 179

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

95 101 85 89 103 145 104 110 159 101

N.S.

1 1.06 0.89 0.94 1.08 1.53 1.09 1.16 1.67 1.06

time (sec)

N/A 0.233 0.043 0.301 0.037 0.064 0.324 0.132 0.201 0.131

Problem 180

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

112 109 96 100 114 156 116 119 170 111

N.S.

1 0.97 0.86 0.89 1.02 1.39 1.04 1.06 1.52 0.99

time (sec)

N/A 0.241 0.037 0.303 0.029 0.069 0.374 0.116 0.249 0.329

Problem 181

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 122 99 85 105 278 162 96 156 99

N.S.

1 1.12 0.91 0.78 0.96 2.55 1.49 0.88 1.43 0.91

time (sec)

N/A 0.224 0.039 0.324 0.107 0.070 0.258 0.120 0.217 0.163

Problem 182

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

96 109 88 74 93 256 144 84 145 87

N.S.

1 1.14 0.92 0.77 0.97 2.67 1.50 0.88 1.51 0.91

time (sec)

N/A 0.217 0.030 0.303 0.112 0.070 0.245 0.125 0.230 0.077

Problem 183

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

85 96 77 63 82 230 133 73 132 77

N.S.

1 1.13 0.91 0.74 0.96 2.71 1.56 0.86 1.55 0.91

time (sec)

N/A 0.211 0.029 0.296 0.114 0.071 0.254 0.126 0.198 0.173

Problem 184

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

71 85 66 51 68 202 107 54 118 64

N.S.

1 1.20 0.93 0.72 0.96 2.85 1.51 0.76 1.66 0.90

time (sec)

N/A 0.180 0.029 0.296 0.115 0.069 0.210 0.127 0.221 0.207

Problem 185

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

64 72 55 47 59 188 110 45 113 56

N.S.

1 1.12 0.86 0.73 0.92 2.94 1.72 0.70 1.77 0.88

time (sec)

N/A 0.165 0.024 0.322 0.117 0.067 0.154 0.126 0.214 0.181

Problem 186

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

65 70 58 49 62 190 110 50 110 55

N.S.

1 1.08 0.89 0.75 0.95 2.92 1.69 0.77 1.69 0.85

time (sec)

N/A 0.161 0.018 0.315 0.109 0.073 0.170 0.128 0.210 0.191

Problem 187

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

62 70 55 57 58 188 105 45 113 55

N.S.

1 1.13 0.89 0.92 0.94 3.03 1.69 0.73 1.82 0.89

time (sec)

N/A 0.158 0.003 0.253 0.106 0.071 0.167 0.117 0.233 0.074

Problem 188

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

72 88 68 54 71 202 116 57 121 66

N.S.

1 1.22 0.94 0.75 0.99 2.81 1.61 0.79 1.68 0.92

time (sec)

N/A 0.177 0.024 0.296 0.109 0.070 0.221 0.124 0.239 0.182

Problem 189

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

87 105 79 64 86 238 138 71 137 80

N.S.

1 1.21 0.91 0.74 0.99 2.74 1.59 0.82 1.57 0.92

time (sec)

N/A 0.200 0.026 0.305 0.115 0.071 0.267 0.128 0.209 0.191

Problem 190

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

97 122 90 75 97 264 150 80 150 92

N.S.

1 1.26 0.93 0.77 1.00 2.72 1.55 0.82 1.55 0.95

time (sec)

N/A 0.204 0.033 0.330 0.133 0.071 0.275 0.129 0.196 0.204

Problem 191

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 139 101 86 108 286 162 93 161 102

N.S.

1 1.25 0.91 0.77 0.97 2.58 1.46 0.84 1.45 0.92

time (sec)

N/A 0.215 0.031 0.319 0.109 0.075 0.298 0.127 0.230 0.235

Problem 192

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

216 212 169 151 242 346 260 168 404 242

N.S.

1 0.98 0.78 0.70 1.12 1.60 1.20 0.78 1.87 1.12

time (sec)

N/A 0.396 0.029 0.322 0.048 0.064 1.164 0.121 0.253 0.478

Problem 193

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

205 203 158 142 231 335 245 157 393 230

N.S.

1 0.99 0.77 0.69 1.13 1.63 1.20 0.77 1.92 1.12

time (sec)

N/A 0.354 0.018 0.360 0.042 0.068 1.084 0.121 0.214 0.467

Problem 194

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

188 185 145 129 220 322 233 139 380 220

N.S.

1 0.98 0.77 0.69 1.17 1.71 1.24 0.74 2.02 1.17

time (sec)

N/A 0.343 0.022 0.314 0.048 0.066 1.095 0.120 0.218 0.529

Problem 195

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

179 178 116 120 209 300 219 119 368 207

N.S.

1 0.99 0.65 0.67 1.17 1.68 1.22 0.66 2.06 1.16

time (sec)

N/A 0.325 0.021 0.299 0.040 0.065 0.854 0.124 0.226 0.438

Problem 196

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 19 101 100 190 190 202 99 105 192

N.S.

1 1.00 5.32 5.26 10.00 10.00 10.63 5.21 5.53 10.11

time (sec)

N/A 0.137 0.014 0.306 0.041 0.063 0.781 0.124 0.217 0.118

Problem 197

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

39 43 90 89 179 179 190 88 178 181

N.S.

1 1.10 2.31 2.28 4.59 4.59 4.87 2.26 4.56 4.64

time (sec)

N/A 0.152 0.012 0.294 0.041 0.060 0.732 0.123 0.196 0.111

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

58 70 79 78 168 168 178 77 167 170

N.S.

1 1.21 1.36 1.34 2.90 2.90 3.07 1.33 2.88 2.93

time (sec)

N/A 0.166 0.014 0.296 0.041 0.060 0.728 0.122 0.233 0.181

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

77 97 68 67 157 157 167 66 156 159

N.S.

1 1.26 0.88 0.87 2.04 2.04 2.17 0.86 2.03 2.06

time (sec)

N/A 0.175 0.013 0.298 0.039 0.062 0.667 0.126 0.223 0.178

Problem 200

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 95 57 56 146 146 155 55 145 148

N.S.

1 1.04 0.63 0.62 1.60 1.60 1.70 0.60 1.59 1.63

time (sec)

N/A 0.216 0.011 0.292 0.035 0.062 0.667 0.126 0.198 0.107

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