[next] [tail] [up]

Integrals 1 to 100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

69 0 63 0 170 111 78 0 17 0

N.S.

1 0.00 0.91 0.00 2.46 1.61 1.13 0.00 0.25 0.00

time (sec)

N/A 0.000 0.065 0.000 0.058 0.076 0.348 0.000 0.177 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

43 0 46 0 100 59 37 0 17 0

N.S.

1 0.00 1.07 0.00 2.33 1.37 0.86 0.00 0.40 0.00

time (sec)

N/A 0.000 0.056 0.000 0.041 0.068 0.184 0.000 0.164 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 0 35 0 44 26 20 0 17 0

N.S.

1 0.00 1.35 0.00 1.69 1.00 0.77 0.00 0.65 0.00

time (sec)

N/A 0.000 0.030 0.000 0.035 0.103 0.089 0.000 0.177 0.000

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 0 35 0 43 26 22 0 19 0

N.S.

1 0.00 1.21 0.00 1.48 0.90 0.76 0.00 0.66 0.00

time (sec)

N/A 0.000 0.031 0.000 0.033 0.101 0.087 0.000 0.189 0.000

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

49 0 46 0 100 59 37 0 19 0

N.S.

1 0.00 0.94 0.00 2.04 1.20 0.76 0.00 0.39 0.00

time (sec)

N/A 0.000 0.059 0.000 0.042 0.091 0.185 0.000 0.164 0.000

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

75 0 63 0 169 111 80 0 19 0

N.S.

1 0.00 0.84 0.00 2.25 1.48 1.07 0.00 0.25 0.00

time (sec)

N/A 0.000 0.060 0.000 0.049 0.097 0.346 0.000 0.209 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

171 0 63 0 148 193 0 0 17 0

N.S.

1 0.00 0.37 0.00 0.87 1.13 0.00 0.00 0.10 0.00

time (sec)

N/A 0.000 0.161 0.000 0.158 0.082 0.000 0.000 0.166 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

123 0 46 0 93 122 0 0 17 0

N.S.

1 0.00 0.37 0.00 0.76 0.99 0.00 0.00 0.14 0.00

time (sec)

N/A 0.000 0.145 0.000 0.122 0.084 0.000 0.000 0.197 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

79 0 31 0 60 81 0 0 16 0

N.S.

1 0.00 0.39 0.00 0.76 1.03 0.00 0.00 0.20 0.00

time (sec)

N/A 0.000 0.040 0.000 0.119 0.088 0.000 0.000 0.173 0.000

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

79 0 31 0 56 81 0 0 18 0

N.S.

1 0.00 0.39 0.00 0.71 1.03 0.00 0.00 0.23 0.00

time (sec)

N/A 0.000 0.039 0.000 0.117 0.085 0.000 0.000 0.183 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

123 0 46 0 91 82 0 0 19 0

N.S.

1 0.00 0.37 0.00 0.74 0.67 0.00 0.00 0.15 0.00

time (sec)

N/A 0.000 0.152 0.000 0.128 0.100 0.000 0.000 0.178 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

171 0 63 0 145 124 0 0 19 0

N.S.

1 0.00 0.37 0.00 0.85 0.73 0.00 0.00 0.11 0.00

time (sec)

N/A 0.000 0.170 0.000 0.158 0.116 0.000 0.000 0.194 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 14 16 14 0 16 14 16 18 16

N.S.

1 1.00 1.14 1.00 0.00 1.14 1.00 1.14 1.29 1.14

time (sec)

N/A 0.440 0.709 0.089 0.000 0.087 3.554 1.404 0.185 22.716

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

104 0 77 0 0 0 0 0 16 0

N.S.

1 0.00 0.74 0.00 0.00 0.00 0.00 0.00 0.15 0.00

time (sec)

N/A 0.000 0.059 0.000 0.000 0.000 0.000 0.000 0.189 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

82 0 59 0 0 0 0 0 17 0

N.S.

1 0.00 0.72 0.00 0.00 0.00 0.00 0.00 0.21 0.00

time (sec)

N/A 0.000 0.060 0.000 0.000 0.000 0.000 0.000 0.188 0.000

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

128 156 64 84 100 67 114 0 106 98

N.S.

1 1.22 0.50 0.66 0.78 0.52 0.89 0.00 0.83 0.77

time (sec)

N/A 0.529 0.064 0.201 0.030 0.095 0.542 0.000 0.202 0.122

Problem 17

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

105 125 56 77 81 59 104 70 88 85

N.S.

1 1.19 0.53 0.73 0.77 0.56 0.99 0.67 0.84 0.81

time (sec)

N/A 0.468 0.047 0.141 0.031 0.081 0.544 0.113 0.169 0.077

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

80 92 46 67 62 51 90 0 69 71

N.S.

1 1.15 0.58 0.84 0.78 0.64 1.12 0.00 0.86 0.89

time (sec)

N/A 0.415 0.038 0.127 0.028 0.077 0.511 0.000 0.207 22.608

Problem 19

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 38 59 42 43 78 53 50 51

N.S.

1 1.13 0.70 1.09 0.78 0.80 1.44 0.98 0.93 0.94

time (sec)

N/A 0.335 0.032 0.110 0.028 0.078 0.518 0.139 0.170 0.045

Problem 20

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

29 29 26 41 25 37 61 41 32 32

N.S.

1 1.00 0.90 1.41 0.86 1.28 2.10 1.41 1.10 1.10

time (sec)

N/A 0.281 0.021 0.083 0.029 0.079 0.431 0.135 0.194 0.040

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 25 29 48 18 58 48 68 52 32

N.S.

1 1.00 1.16 1.92 0.72 2.32 1.92 2.72 2.08 1.28

time (sec)

N/A 0.342 0.019 0.133 0.028 0.078 1.610 0.152 0.176 0.038

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

38 38 47 34 29 66 26 75 62 33

N.S.

1 1.00 1.24 0.89 0.76 1.74 0.68 1.97 1.63 0.87

time (sec)

N/A 0.346 0.040 0.135 0.029 0.076 1.116 0.155 0.178 0.038

Problem 23

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

63 63 57 53 48 83 48 153 80 52

N.S.

1 1.00 0.90 0.84 0.76 1.32 0.76 2.43 1.27 0.83

time (sec)

N/A 0.396 0.054 0.145 0.031 0.076 1.621 0.143 0.187 0.043

Problem 24

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

90 92 70 68 67 92 75 161 109 74

N.S.

1 1.02 0.78 0.76 0.74 1.02 0.83 1.79 1.21 0.82

time (sec)

N/A 0.437 0.062 0.154 0.030 0.080 1.731 0.144 0.192 0.039

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

113 118 76 77 86 101 122 237 127 95

N.S.

1 1.04 0.67 0.68 0.76 0.89 1.08 2.10 1.12 0.84

time (sec)

N/A 0.507 0.069 0.165 0.025 0.082 2.921 0.130 0.182 0.034

Problem 26

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

48 48 48 46 56 46 41 46 55 43

N.S.

1 1.00 1.00 0.96 1.17 0.96 0.85 0.96 1.15 0.90

time (sec)

N/A 0.355 0.026 0.165 0.107 0.068 0.058 0.129 0.187 22.509

Problem 27

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

39 39 39 37 47 37 31 37 46 36

N.S.

1 1.00 1.00 0.95 1.21 0.95 0.79 0.95 1.18 0.92

time (sec)

N/A 0.342 0.017 0.142 0.104 0.068 0.063 0.135 0.161 22.625

Problem 28

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 29 29 29 38 29 22 29 38 27

N.S.

1 1.00 1.00 1.00 1.31 1.00 0.76 1.00 1.31 0.93

time (sec)

N/A 0.311 0.015 0.114 0.102 0.098 0.049 0.140 0.195 0.063

Problem 29

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 19 30 20 28 21 12 15 27 19

N.S.

1 1.00 1.58 1.05 1.47 1.11 0.63 0.79 1.42 1.00

time (sec)

N/A 0.287 0.015 0.085 0.104 0.099 0.057 0.123 0.169 0.047

Problem 30

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

N.S.

1 1.00 1.00 1.00 1.62 1.15 1.31 0.92 1.69 1.08

time (sec)

N/A 0.304 0.010 0.138 0.106 0.105 0.074 0.139 0.205 22.679

Problem 31

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 26 26 26 31 26 32 21 36 17

N.S.

1 1.00 1.00 1.00 1.19 1.00 1.23 0.81 1.38 0.65

time (sec)

N/A 0.311 0.015 0.163 0.103 0.077 0.084 0.119 0.172 23.673

Problem 32

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

36 36 36 38 42 39 42 31 53 27

N.S.

1 1.00 1.00 1.06 1.17 1.08 1.17 0.86 1.47 0.75

time (sec)

N/A 0.331 0.016 0.153 0.103 0.077 0.097 0.118 0.189 0.084

Problem 33

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

48 48 48 48 51 47 54 39 62 34

N.S.

1 1.00 1.00 1.00 1.06 0.98 1.12 0.81 1.29 0.71

time (sec)

N/A 0.347 0.019 0.167 0.103 0.078 0.112 0.135 0.177 22.946

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

126 154 80 124 114 88 0 0 172 137

N.S.

1 1.22 0.63 0.98 0.90 0.70 0.00 0.00 1.37 1.09

time (sec)

N/A 1.384 0.069 0.302 0.031 0.079 0.000 0.000 0.184 0.101

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

105 125 63 111 95 80 0 0 149 114

N.S.

1 1.19 0.60 1.06 0.90 0.76 0.00 0.00 1.42 1.09

time (sec)

N/A 1.226 0.063 0.282 0.032 0.077 0.000 0.000 0.194 0.070

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

83 89 54 106 76 72 0 0 135 104

N.S.

1 1.07 0.65 1.28 0.92 0.87 0.00 0.00 1.63 1.25

time (sec)

N/A 0.942 0.069 0.233 0.033 0.080 0.000 0.000 0.189 23.162

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

60 60 42 93 57 60 0 0 111 72

N.S.

1 1.00 0.70 1.55 0.95 1.00 0.00 0.00 1.85 1.20

time (sec)

N/A 0.378 0.041 0.200 0.036 0.080 0.000 0.000 0.170 22.736

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

50 50 55 101 46 100 0 0 175 73

N.S.

1 1.00 1.10 2.02 0.92 2.00 0.00 0.00 3.50 1.46

time (sec)

N/A 0.753 0.050 0.181 0.025 0.081 0.000 0.000 0.193 23.108

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

66 63 61 80 60 109 0 0 165 75

N.S.

1 0.95 0.92 1.21 0.91 1.65 0.00 0.00 2.50 1.14

time (sec)

N/A 0.708 0.067 0.232 0.031 0.078 0.000 0.000 0.167 0.061

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

91 92 79 105 81 130 0 0 195 99

N.S.

1 1.01 0.87 1.15 0.89 1.43 0.00 0.00 2.14 1.09

time (sec)

N/A 0.775 0.096 0.216 0.027 0.081 0.000 0.000 0.200 22.787

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

120 117 89 116 100 139 0 0 215 116

N.S.

1 0.98 0.74 0.97 0.83 1.16 0.00 0.00 1.79 0.97

time (sec)

N/A 0.806 0.125 0.263 0.032 0.079 0.000 0.000 0.181 22.596

Problem 42

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 65 65 67 77 70 56 60 114 60

N.S.

1 1.00 1.00 1.03 1.18 1.08 0.86 0.92 1.75 0.92

time (sec)

N/A 0.384 0.058 0.181 0.103 0.069 0.106 0.107 0.194 22.697

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

53 53 53 58 67 62 44 51 104 51

N.S.

1 1.00 1.00 1.09 1.26 1.17 0.83 0.96 1.96 0.96

time (sec)

N/A 0.369 0.043 0.168 0.109 0.068 0.109 0.115 0.164 0.064

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

45 45 45 50 60 53 36 43 96 43

N.S.

1 1.00 1.00 1.11 1.33 1.18 0.80 0.96 2.13 0.96

time (sec)

N/A 0.336 0.033 0.143 0.109 0.098 0.091 0.136 0.171 0.066

Problem 45

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

31 31 42 33 44 43 22 25 86 32

N.S.

1 1.00 1.35 1.06 1.42 1.39 0.71 0.81 2.77 1.03

time (sec)

N/A 0.302 0.032 0.109 0.106 0.072 0.096 0.129 0.172 22.721

Problem 46

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 22 18 10 13 37 14

N.S.

1 1.00 1.00 0.94 1.38 1.12 0.62 0.81 2.31 0.88

time (sec)

N/A 0.301 0.015 0.151 0.106 0.068 0.105 0.109 0.174 22.784

Problem 47

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 38 38 44 53 60 44 35 106 37

N.S.

1 1.00 1.00 1.16 1.39 1.58 1.16 0.92 2.79 0.97

time (sec)

N/A 0.335 0.033 0.175 0.106 0.078 0.156 0.112 0.179 0.100

Problem 48

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

52 52 52 53 69 77 58 46 122 43

N.S.

1 1.00 1.00 1.02 1.33 1.48 1.12 0.88 2.35 0.83

time (sec)

N/A 0.350 0.053 0.180 0.106 0.076 0.170 0.132 0.196 22.504

Problem 49

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 62 62 61 77 86 70 54 132 55

N.S.

1 1.00 1.00 0.98 1.24 1.39 1.13 0.87 2.13 0.89

time (sec)

N/A 0.369 0.053 0.178 0.108 0.073 0.201 0.136 0.155 0.142

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

105 125 56 77 76 59 0 0 24 85

N.S.

1 1.19 0.53 0.73 0.72 0.56 0.00 0.00 0.23 0.81

time (sec)

N/A 0.460 0.061 0.214 0.108 0.093 0.000 0.000 0.194 0.068

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

80 92 46 67 59 51 0 0 24 71

N.S.

1 1.15 0.58 0.84 0.74 0.64 0.00 0.00 0.30 0.89

time (sec)

N/A 0.395 0.041 0.143 0.106 0.079 0.000 0.000 0.159 22.713

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

54 61 38 59 42 43 0 53 22 51

N.S.

1 1.13 0.70 1.09 0.78 0.80 0.00 0.98 0.41 0.94

time (sec)

N/A 0.334 0.226 0.123 0.107 0.089 0.000 0.115 0.190 22.886

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 29 26 48 25 37 0 41 21 32

N.S.

1 1.00 0.90 1.66 0.86 1.28 0.00 1.41 0.72 1.10

time (sec)

N/A 0.278 0.118 0.090 0.103 0.081 0.000 0.133 0.185 0.047

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 25 29 121 26 58 0 68 23 32

N.S.

1 1.00 1.16 4.84 1.04 2.32 0.00 2.72 0.92 1.28

time (sec)

N/A 0.336 0.077 0.132 0.110 0.084 0.000 0.141 0.177 0.039

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

38 38 47 34 0 66 0 0 25 33

N.S.

1 1.00 1.24 0.89 0.00 1.74 0.00 0.00 0.66 0.87

time (sec)

N/A 0.332 0.037 0.146 0.000 0.082 0.000 0.000 0.173 22.797

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

63 64 57 60 0 83 0 0 25 52

N.S.

1 1.02 0.90 0.95 0.00 1.32 0.00 0.00 0.40 0.83

time (sec)

N/A 0.382 0.057 0.154 0.000 0.083 0.000 0.000 0.180 23.018

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

90 92 70 68 0 92 0 0 25 74

N.S.

1 1.02 0.78 0.76 0.00 1.02 0.00 0.00 0.28 0.82

time (sec)

N/A 0.432 0.061 0.168 0.000 0.087 0.000 0.000 0.171 0.042

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

113 118 76 77 0 101 0 0 25 95

N.S.

1 1.04 0.67 0.68 0.00 0.89 0.00 0.00 0.22 0.84

time (sec)

N/A 0.484 0.076 0.188 0.000 0.089 0.000 0.000 0.183 0.034

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

49 49 49 48 44 46 41 68 52 43

N.S.

1 1.00 1.00 0.98 0.90 0.94 0.84 1.39 1.06 0.88

time (sec)

N/A 0.348 0.028 0.136 0.029 0.069 0.062 0.129 0.172 0.060

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

40 40 40 40 35 37 31 58 52 36

N.S.

1 1.00 1.00 1.00 0.88 0.92 0.78 1.45 1.30 0.90

time (sec)

N/A 0.336 0.019 0.135 0.033 0.070 0.067 0.133 0.174 23.005

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 30 30 31 28 29 22 52 50 27

N.S.

1 1.00 1.00 1.03 0.93 0.97 0.73 1.73 1.67 0.90

time (sec)

N/A 0.320 0.016 0.110 0.025 0.072 0.054 0.113 0.163 22.887

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 20 30 19 16 21 14 65 48 19

N.S.

1 1.00 1.50 0.95 0.80 1.05 0.70 3.25 2.40 0.95

time (sec)

N/A 0.287 0.016 0.077 0.025 0.095 0.060 0.106 0.157 22.882

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 14 14 14 12 15 17 44 50 14

N.S.

1 1.00 1.00 1.00 0.86 1.07 1.21 3.14 3.57 1.00

time (sec)

N/A 0.304 0.011 0.125 0.026 0.078 0.072 0.137 0.190 0.092

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 27 27 25 34 26 32 34 50 17

N.S.

1 1.00 1.00 0.93 1.26 0.96 1.19 1.26 1.85 0.63

time (sec)

N/A 0.319 0.016 0.140 0.031 0.104 0.085 0.108 0.173 23.130

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

37 37 37 34 50 39 42 54 54 26

N.S.

1 1.00 1.00 0.92 1.35 1.05 1.14 1.46 1.46 0.70

time (sec)

N/A 0.328 0.017 0.145 0.025 0.076 0.103 0.115 0.195 23.015

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

49 49 49 44 57 47 54 67 56 33

N.S.

1 1.00 1.00 0.90 1.16 0.96 1.10 1.37 1.14 0.67

time (sec)

N/A 0.347 0.020 0.159 0.031 0.078 0.116 0.149 0.193 23.009

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

124 154 80 124 216 88 0 0 90 138

N.S.

1 1.24 0.65 1.00 1.74 0.71 0.00 0.00 0.73 1.11

time (sec)

N/A 1.364 0.071 0.249 0.113 0.082 0.000 0.000 0.249 22.868

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

103 125 63 111 181 80 0 0 90 115

N.S.

1 1.21 0.61 1.08 1.76 0.78 0.00 0.00 0.87 1.12

time (sec)

N/A 1.211 0.065 0.248 0.110 0.081 0.000 0.000 0.219 22.775

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

83 89 60 106 112 72 0 0 88 105

N.S.

1 1.07 0.72 1.28 1.35 0.87 0.00 0.00 1.06 1.27

time (sec)

N/A 0.947 0.055 0.227 0.107 0.112 0.000 0.000 0.210 0.071

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

58 60 42 93 65 60 0 0 87 73

N.S.

1 1.03 0.72 1.60 1.12 1.03 0.00 0.00 1.50 1.26

time (sec)

N/A 0.384 0.044 0.197 0.106 0.077 0.000 0.000 0.224 22.707

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

48 50 55 649 0 100 0 0 334 74

N.S.

1 1.04 1.15 13.52 0.00 2.08 0.00 0.00 6.96 1.54

time (sec)

N/A 0.771 0.058 0.191 0.000 0.088 0.000 0.000 0.312 22.876

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

64 64 61 82 0 109 0 0 90 76

N.S.

1 1.00 0.95 1.28 0.00 1.70 0.00 0.00 1.41 1.19

time (sec)

N/A 0.718 0.105 0.262 0.000 0.081 0.000 0.000 0.233 22.967

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

89 93 79 108 0 130 0 0 622 100

N.S.

1 1.04 0.89 1.21 0.00 1.46 0.00 0.00 6.99 1.12

time (sec)

N/A 0.779 0.103 0.294 0.000 0.078 0.000 0.000 0.531 22.641

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

118 118 89 116 0 139 0 0 96 117

N.S.

1 1.00 0.75 0.98 0.00 1.18 0.00 0.00 0.81 0.99

time (sec)

N/A 0.815 0.107 0.342 0.000 0.080 0.000 0.000 0.330 22.816

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

135 139 95 125 0 146 0 0 799 139

N.S.

1 1.03 0.70 0.93 0.00 1.08 0.00 0.00 5.92 1.03

time (sec)

N/A 0.885 0.103 0.339 0.000 0.095 0.000 0.000 0.631 23.154

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

268 317 82 0 0 244 0 0 27 0

N.S.

1 1.18 0.31 0.00 0.00 0.91 0.00 0.00 0.10 0.00

time (sec)

N/A 0.752 0.052 0.000 0.000 0.092 0.000 0.000 200.037 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

226 280 63 0 0 236 0 0 25 0

N.S.

1 1.24 0.28 0.00 0.00 1.04 0.00 0.00 0.11 0.00

time (sec)

N/A 0.697 0.028 0.000 0.000 0.088 0.000 0.000 200.040 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

195 239 41 0 0 209 0 0 23 0

N.S.

1 1.23 0.21 0.00 0.00 1.07 0.00 0.00 0.12 0.00

time (sec)

N/A 0.622 0.042 0.000 0.000 0.099 0.000 0.000 200.032 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

203 266 97 0 0 243 0 0 32 0

N.S.

1 1.31 0.48 0.00 0.00 1.20 0.00 0.00 0.16 0.00

time (sec)

N/A 0.708 0.049 0.000 0.000 0.085 0.000 0.000 0.235 0.000

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

92 96 71 0 0 151 0 0 27 0

N.S.

1 1.04 0.77 0.00 0.00 1.64 0.00 0.00 0.29 0.00

time (sec)

N/A 0.368 0.021 0.000 0.000 0.083 0.000 0.000 200.033 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

132 135 81 0 0 175 0 0 27 0

N.S.

1 1.02 0.61 0.00 0.00 1.33 0.00 0.00 0.20 0.00

time (sec)

N/A 0.399 0.026 0.000 0.000 0.078 0.000 0.000 200.028 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

170 172 93 0 0 184 0 0 27 0

N.S.

1 1.01 0.55 0.00 0.00 1.08 0.00 0.00 0.16 0.00

time (sec)

N/A 0.468 0.034 0.000 0.000 0.089 0.000 0.000 200.044 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

202 209 99 0 0 192 0 0 172 0

N.S.

1 1.03 0.49 0.00 0.00 0.95 0.00 0.00 0.85 0.00

time (sec)

N/A 0.510 0.038 0.000 0.000 0.087 0.000 0.000 0.316 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

240 248 111 0 0 200 0 0 227 0

N.S.

1 1.03 0.46 0.00 0.00 0.83 0.00 0.00 0.95 0.00

time (sec)

N/A 0.569 0.047 0.000 0.000 0.090 0.000 0.000 0.335 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

291 330 148 0 0 254 0 0 27 0

N.S.

1 1.13 0.51 0.00 0.00 0.87 0.00 0.00 0.09 0.00

time (sec)

N/A 0.785 0.153 0.000 0.000 0.096 0.000 0.000 200.032 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

268 317 82 0 0 247 0 0 27 0

N.S.

1 1.18 0.31 0.00 0.00 0.92 0.00 0.00 0.10 0.00

time (sec)

N/A 0.752 0.071 0.000 0.000 0.088 0.000 0.000 200.040 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

226 280 61 0 0 239 0 0 25 0

N.S.

1 1.24 0.27 0.00 0.00 1.06 0.00 0.00 0.11 0.00

time (sec)

N/A 0.700 0.025 0.000 0.000 0.090 0.000 0.000 200.030 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

195 239 41 0 0 215 0 0 23 0

N.S.

1 1.23 0.21 0.00 0.00 1.10 0.00 0.00 0.12 0.00

time (sec)

N/A 0.614 0.054 0.000 0.000 0.083 0.000 0.000 200.034 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

204 266 96 0 0 243 0 0 27 0

N.S.

1 1.30 0.47 0.00 0.00 1.19 0.00 0.00 0.13 0.00

time (sec)

N/A 0.730 0.043 0.000 0.000 0.082 0.000 0.000 200.027 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

92 96 68 0 0 157 0 0 63 0

N.S.

1 1.04 0.74 0.00 0.00 1.71 0.00 0.00 0.68 0.00

time (sec)

N/A 0.382 0.021 0.000 0.000 0.161 0.000 0.000 0.397 0.000

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

132 135 81 0 0 179 0 0 89 0

N.S.

1 1.02 0.61 0.00 0.00 1.36 0.00 0.00 0.67 0.00

time (sec)

N/A 0.407 0.062 0.000 0.000 0.085 0.000 0.000 0.521 0.000

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

170 172 93 0 0 187 0 0 116 0

N.S.

1 1.01 0.55 0.00 0.00 1.10 0.00 0.00 0.68 0.00

time (sec)

N/A 0.480 0.043 0.000 0.000 0.081 0.000 0.000 0.503 0.000

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

202 207 99 0 0 195 0 0 145 0

N.S.

1 1.02 0.49 0.00 0.00 0.97 0.00 0.00 0.72 0.00

time (sec)

N/A 0.533 0.044 0.000 0.000 0.081 0.000 0.000 0.568 0.000

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

325 372 96 0 0 251 0 0 27 0

N.S.

1 1.14 0.30 0.00 0.00 0.77 0.00 0.00 0.08 0.00

time (sec)

N/A 0.867 0.059 0.000 0.000 0.089 0.000 0.000 200.030 0.000

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

300 354 86 0 0 244 0 0 27 0

N.S.

1 1.18 0.29 0.00 0.00 0.81 0.00 0.00 0.09 0.00

time (sec)

N/A 0.811 0.046 0.000 0.000 0.165 0.000 0.000 200.026 0.000

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

255 314 72 0 0 236 0 0 25 0

N.S.

1 1.23 0.28 0.00 0.00 0.93 0.00 0.00 0.10 0.00

time (sec)

N/A 0.745 0.049 0.000 0.000 0.133 0.000 0.000 200.028 0.000

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

226 273 41 0 0 209 0 0 23 0

N.S.

1 1.21 0.18 0.00 0.00 0.92 0.00 0.00 0.10 0.00

time (sec)

N/A 0.671 0.062 0.000 0.000 0.137 0.000 0.000 200.035 0.000

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

230 292 112 0 0 267 0 0 27 0

N.S.

1 1.27 0.49 0.00 0.00 1.16 0.00 0.00 0.12 0.00

time (sec)

N/A 0.778 0.053 0.000 0.000 0.141 0.000 0.000 200.034 0.000

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

121 127 87 0 0 152 0 0 154 0

N.S.

1 1.05 0.72 0.00 0.00 1.26 0.00 0.00 1.27 0.00

time (sec)

N/A 0.400 0.030 0.000 0.000 0.134 0.000 0.000 0.391 0.000

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

163 166 99 0 0 176 0 0 182 0

N.S.

1 1.02 0.61 0.00 0.00 1.08 0.00 0.00 1.12 0.00

time (sec)

N/A 0.434 0.033 0.000 0.000 0.119 0.000 0.000 0.523 0.000

[next] [front] [up]