[next] [tail] [up]

Integrals 1 to 100

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

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

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 16 16 13 12 12 10 12 13 13

N.S.

1 1.00 1.00 0.81 0.75 0.75 0.62 0.75 0.81 0.81

time (sec)

N/A 0.299 0.012 0.020 0.029 0.063 0.016 0.124 0.153 0.012

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 22 22 16 16 16 17 16 15 15

N.S.

1 1.00 1.00 0.73 0.73 0.73 0.77 0.73 0.68 0.68

time (sec)

N/A 0.130 0.001 0.065 0.027 0.062 0.015 0.120 0.158 0.021

Problem 3

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 22 22 16 16 16 15 16 15 15

N.S.

1 1.00 1.00 0.73 0.73 0.73 0.68 0.73 0.68 0.68

time (sec)

N/A 0.136 0.010 0.040 0.022 0.063 0.015 0.119 0.154 0.017

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

2 2 2 3 2 2 2 3 2 2

N.S.

1 1.00 1.00 1.50 1.00 1.00 1.00 1.50 1.00 1.00

time (sec)

N/A 0.102 0.000 0.015 0.023 0.063 0.030 0.120 0.157 0.006

Problem 5

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 24 22 32 46 29 23 56 22

N.S.

1 1.00 0.67 0.61 0.89 1.28 0.81 0.64 1.56 0.61

time (sec)

N/A 0.146 0.020 0.081 0.026 0.062 0.046 0.116 0.153 0.021

Problem 6

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

32 32 28 25 24 33 24 34 44 26

N.S.

1 1.00 0.88 0.78 0.75 1.03 0.75 1.06 1.38 0.81

time (sec)

N/A 0.141 0.007 0.074 0.024 0.069 0.063 0.123 0.155 0.071

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

40 40 34 41 40 34 144 42 45 40

N.S.

1 1.00 0.85 1.02 1.00 0.85 3.60 1.05 1.12 1.00

time (sec)

N/A 0.163 0.010 0.125 0.030 0.069 0.470 0.121 0.154 0.142

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 34 38 35 0 120 124 34 46 46

N.S.

1 1.00 1.12 1.03 0.00 3.53 3.65 1.00 1.35 1.35

time (sec)

N/A 0.159 0.016 0.285 0.000 0.087 0.095 0.123 0.156 0.118

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 16 16 15 14 14 26 14 14 14

N.S.

1 1.00 1.00 0.94 0.88 0.88 1.62 0.88 0.88 0.88

time (sec)

N/A 0.124 0.004 0.097 0.104 0.076 0.074 0.124 0.152 0.021

Problem 10

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

N.S.

1 1.11 0.84 0.79 0.74 0.74 1.16 0.74 0.68 0.74

time (sec)

N/A 0.131 0.017 0.290 0.103 0.066 0.047 0.121 0.154 0.067

Problem 11

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

49 52 35 36 39 71 41 80 117 49

N.S.

1 1.06 0.71 0.73 0.80 1.45 0.84 1.63 2.39 1.00

time (sec)

N/A 0.168 0.012 0.104 0.102 0.084 0.077 0.125 0.149 0.077

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

68 68 62 69 78 81 0 81 95 87

N.S.

1 1.00 0.91 1.01 1.15 1.19 0.00 1.19 1.40 1.28

time (sec)

N/A 0.197 0.017 0.158 0.028 0.128 0.000 0.124 0.145 0.325

Problem 13

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

47 46 34 33 43 32 121 43 33 256

N.S.

1 0.98 0.72 0.70 0.91 0.68 2.57 0.91 0.70 5.45

time (sec)

N/A 0.140 0.007 0.131 0.025 0.067 0.338 0.119 0.160 0.175

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

40 40 30 41 40 30 393 40 30 191

N.S.

1 1.00 0.75 1.02 1.00 0.75 9.82 1.00 0.75 4.78

time (sec)

N/A 0.146 0.009 0.157 0.106 0.076 0.636 0.122 0.155 0.137

Problem 15

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 28 27 20 19 19 19 20 19 25

N.S.

1 1.04 1.00 0.74 0.70 0.70 0.70 0.74 0.70 0.93

time (sec)

N/A 0.132 0.003 0.121 0.104 0.068 0.059 0.128 0.156 0.025

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

41 45 40 33 34 34 41 35 33 46

N.S.

1 1.10 0.98 0.80 0.83 0.83 1.00 0.85 0.80 1.12

time (sec)

N/A 0.168 0.006 0.095 0.105 0.073 0.065 0.117 0.159 0.118

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

43 43 34 32 31 40 31 36 59 33

N.S.

1 1.00 0.79 0.74 0.72 0.93 0.72 0.84 1.37 0.77

time (sec)

N/A 0.265 0.012 0.084 0.102 0.064 0.064 0.121 0.155 0.023

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

85 90 64 22 72 60 73 72 56 33

N.S.

1 1.06 0.75 0.26 0.85 0.71 0.86 0.85 0.66 0.39

time (sec)

N/A 0.234 0.012 0.086 0.105 0.067 0.061 0.115 0.147 0.012

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

85 90 64 22 72 60 73 72 56 33

N.S.

1 1.06 0.75 0.26 0.85 0.71 0.86 0.85 0.66 0.39

time (sec)

N/A 0.226 0.006 0.081 0.103 0.069 0.061 0.119 0.170 0.051

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

67 71 73 54 53 53 70 53 51 47

N.S.

1 1.06 1.09 0.81 0.79 0.79 1.04 0.79 0.76 0.70

time (sec)

N/A 0.200 0.140 0.051 0.101 0.070 0.086 0.111 0.156 0.053

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 18 18 19 18 20 20 18 21 18

N.S.

1 1.00 1.00 1.06 1.00 1.11 1.11 1.00 1.17 1.00

time (sec)

N/A 0.118 0.003 0.111 0.024 0.095 0.020 0.126 0.152 0.128

Problem 22

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

39 39 33 36 42 53 201 76 47 94

N.S.

1 1.00 0.85 0.92 1.08 1.36 5.15 1.95 1.21 2.41

time (sec)

N/A 0.152 0.041 0.101 0.032 0.101 0.286 0.124 0.147 0.228

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

60 60 57 73 68 96 597 140 87 192

N.S.

1 1.00 0.95 1.22 1.13 1.60 9.95 2.33 1.45 3.20

time (sec)

N/A 0.164 0.032 0.094 0.032 0.077 0.419 0.122 0.145 0.348

Problem 24

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

10 10 10 11 10 10 7 11 10 10

N.S.

1 1.00 1.00 1.10 1.00 1.00 0.70 1.10 1.00 1.00

time (sec)

N/A 0.111 0.000 0.073 0.024 0.060 0.019 0.125 0.151 0.016

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

12 12 12 13 12 13 10 12 12 12

N.S.

1 1.00 1.00 1.08 1.00 1.08 0.83 1.00 1.00 1.00

time (sec)

N/A 0.115 0.001 0.079 0.023 0.065 0.055 0.115 0.157 0.018

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

18 18 18 19 18 17 14 19 17 18

N.S.

1 1.00 1.00 1.06 1.00 0.94 0.78 1.06 0.94 1.00

time (sec)

N/A 0.130 0.002 0.071 0.023 0.063 0.044 0.120 0.161 0.022

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

31 31 31 30 29 29 26 30 29 29

N.S.

1 1.00 1.00 0.97 0.94 0.94 0.84 0.97 0.94 0.94

time (sec)

N/A 0.141 0.003 0.076 0.023 0.062 0.047 0.124 0.168 0.087

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

18 18 18 16 18 16 10 20 15 15

N.S.

1 1.00 1.00 0.89 1.00 0.89 0.56 1.11 0.83 0.83

time (sec)

N/A 0.120 0.003 0.082 0.023 0.064 0.058 0.118 0.146 0.026

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

28 28 28 26 28 26 19 30 26 25

N.S.

1 1.00 1.00 0.93 1.00 0.93 0.68 1.07 0.93 0.89

time (sec)

N/A 0.140 0.003 0.100 0.028 0.081 0.114 0.115 0.174 0.032

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

42 42 35 43 45 63 37 52 70 45

N.S.

1 1.00 0.83 1.02 1.07 1.50 0.88 1.24 1.67 1.07

time (sec)

N/A 0.158 0.022 0.081 0.024 0.068 0.134 0.116 0.163 0.117

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

10 10 10 11 10 10 20 10 10 10

N.S.

1 1.00 1.00 1.10 1.00 1.00 2.00 1.00 1.00 1.00

time (sec)

N/A 0.112 0.002 0.099 0.101 0.065 0.046 0.113 0.160 0.021

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

10 10 10 19 21 18 15 23 22 10

N.S.

1 1.00 1.00 1.90 2.10 1.80 1.50 2.30 2.20 1.00

time (sec)

N/A 0.111 0.002 0.081 0.022 0.067 0.053 0.119 0.153 0.120

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

78 87 66 24 66 62 78 57 51 72

N.S.

1 1.12 0.85 0.31 0.85 0.79 1.00 0.73 0.65 0.92

time (sec)

N/A 0.219 0.013 0.086 0.102 0.071 0.142 0.126 0.157 0.257

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

74 73 65 22 56 64 71 57 52 72

N.S.

1 0.99 0.88 0.30 0.76 0.86 0.96 0.77 0.70 0.97

time (sec)

N/A 0.197 0.011 0.076 0.108 0.076 0.140 0.127 0.155 0.164

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

115 110 89 29 97 300 20 104 68 101

N.S.

1 0.96 0.77 0.25 0.84 2.61 0.17 0.90 0.59 0.88

time (sec)

N/A 0.227 0.015 0.079 0.107 0.079 0.067 0.125 0.152 0.126

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

35 35 43 22 34 41 46 39 31 20

N.S.

1 1.00 1.23 0.63 0.97 1.17 1.31 1.11 0.89 0.57

time (sec)

N/A 0.131 0.011 0.068 0.107 0.067 0.161 0.127 0.149 0.103

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

35 35 43 24 41 40 48 39 37 18

N.S.

1 1.00 1.23 0.69 1.17 1.14 1.37 1.11 1.06 0.51

time (sec)

N/A 0.139 0.010 0.104 0.109 0.078 0.164 0.133 0.166 0.101

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

171 166 120 24 151 74 151 95 93 45

N.S.

1 0.97 0.70 0.14 0.88 0.43 0.88 0.56 0.54 0.26

time (sec)

N/A 0.310 0.030 0.071 0.107 0.069 0.181 0.127 0.148 0.063

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

73 75 68 35 0 94 146 74 131 93

N.S.

1 1.03 0.93 0.48 0.00 1.29 2.00 1.01 1.79 1.27

time (sec)

N/A 0.173 0.031 0.065 0.000 0.073 0.233 0.139 0.152 0.126

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

73 75 68 35 0 94 24 74 131 93

N.S.

1 1.03 0.93 0.48 0.00 1.29 0.33 1.01 1.79 1.27

time (sec)

N/A 0.154 0.017 0.060 0.000 0.084 0.192 0.144 0.151 0.136

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

72 72 83 54 75 91 158 81 97 67

N.S.

1 1.00 1.15 0.75 1.04 1.26 2.19 1.12 1.35 0.93

time (sec)

N/A 0.175 0.023 0.049 0.104 0.084 0.188 0.119 0.149 0.056

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

67 67 67 33 0 127 24 101 92 98

N.S.

1 1.00 1.00 0.49 0.00 1.90 0.36 1.51 1.37 1.46

time (sec)

N/A 0.153 0.020 0.069 0.000 0.079 0.218 0.139 0.164 0.137

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

67 67 67 33 0 53 92 51 100 117

N.S.

1 1.00 1.00 0.49 0.00 0.79 1.37 0.76 1.49 1.75

time (sec)

N/A 0.148 0.012 0.072 0.000 0.074 0.100 0.120 0.178 0.124

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

196 218 91 31 0 188 994 252 235 61

N.S.

1 1.11 0.46 0.16 0.00 0.96 5.07 1.29 1.20 0.31

time (sec)

N/A 0.327 0.034 0.102 0.000 0.082 0.689 0.259 0.150 0.075

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

196 218 91 35 0 171 24 256 235 132

N.S.

1 1.11 0.46 0.18 0.00 0.87 0.12 1.31 1.20 0.67

time (sec)

N/A 0.328 0.042 0.104 0.000 0.074 0.310 0.246 0.147 0.063

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

73 79 75 66 65 65 83 67 63 88

N.S.

1 1.08 1.03 0.90 0.89 0.89 1.14 0.92 0.86 1.21

time (sec)

N/A 0.204 0.008 0.090 0.102 0.072 0.134 0.125 0.151 0.111

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

138 127 122 22 112 127 14 114 95 140

N.S.

1 0.92 0.88 0.16 0.81 0.92 0.10 0.83 0.69 1.01

time (sec)

N/A 0.277 0.022 0.126 0.109 0.069 0.282 0.132 0.154 0.130

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

138 146 115 22 107 117 14 107 89 135

N.S.

1 1.06 0.83 0.16 0.78 0.85 0.10 0.78 0.64 0.98

time (sec)

N/A 0.296 0.015 0.151 0.104 0.094 0.140 0.126 0.149 0.071

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

339 343 209 22 0 135 14 239 203 288

N.S.

1 1.01 0.62 0.06 0.00 0.40 0.04 0.71 0.60 0.85

time (sec)

N/A 0.559 0.006 0.082 0.000 0.076 1.199 0.132 0.157 0.183

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

97 112 98 37 88 76 44 90 78 45

N.S.

1 1.15 1.01 0.38 0.91 0.78 0.45 0.93 0.80 0.46

time (sec)

N/A 0.272 0.016 0.116 0.104 0.071 118.671 0.114 0.152 0.100

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

275 411 42 30 0 129 165 205 315 53

N.S.

1 1.49 0.15 0.11 0.00 0.47 0.60 0.75 1.15 0.19

time (sec)

N/A 0.548 0.009 0.059 0.000 0.072 0.095 0.128 0.159 0.113

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

49 55 260 39 40 40 46 40 353 52

N.S.

1 1.12 5.31 0.80 0.82 0.82 0.94 0.82 7.20 1.06

time (sec)

N/A 0.177 0.060 0.121 0.103 0.065 0.083 0.125 0.166 0.125

Problem 53

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

8 8 8 9 8 8 5 8 6 6

N.S.

1 1.00 1.00 1.12 1.00 1.00 0.62 1.00 0.75 0.75

time (sec)

N/A 0.119 0.009 0.025 0.029 0.063 0.028 0.122 0.156 0.013

Problem 54

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

17 17 17 14 13 13 12 13 11 9

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.71 0.76 0.65 0.53

time (sec)

N/A 0.131 0.002 0.025 0.022 0.063 0.032 0.120 0.152 0.017

Problem 55

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

17 17 17 14 13 13 12 13 11 9

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.71 0.76 0.65 0.53

time (sec)

N/A 0.129 0.002 0.033 0.029 0.086 0.035 0.124 0.154 0.018

Problem 56

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

26 26 19 19 26 25 56 26 23 32

N.S.

1 1.00 0.73 0.73 1.00 0.96 2.15 1.00 0.88 1.23

time (sec)

N/A 0.141 0.006 0.062 0.024 0.070 0.265 0.127 0.147 0.137

Problem 57

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

N.S.

1 1.13 1.00 1.07 0.80 1.00 1.00 1.00 0.80 0.80

time (sec)

N/A 0.145 0.002 0.039 0.031 0.069 0.039 0.124 0.150 0.017

Problem 58

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

127 172 127 104 71 103 133 103 71 71

N.S.

1 1.35 1.00 0.82 0.56 0.81 1.05 0.81 0.56 0.56

time (sec)

N/A 0.539 0.006 4.000 0.025 0.070 0.139 0.122 0.158 0.050

Problem 59

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

8 8 8 7 6 6 5 6 6 6

N.S.

1 1.00 1.00 0.88 0.75 0.75 0.62 0.75 0.75 0.75

time (sec)

N/A 0.136 0.002 0.054 0.028 0.071 0.031 0.114 0.157 0.035

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

2 2 2 9 3 2 2 3 3 2

N.S.

1 1.00 1.00 4.50 1.50 1.00 1.00 1.50 1.50 1.00

time (sec)

N/A 0.113 0.063 0.019 0.049 0.061 0.173 0.120 0.154 0.006

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

4 4 4 11 5 4 3 5 5 4

N.S.

1 1.00 1.00 2.75 1.25 1.00 0.75 1.25 1.25 1.00

time (sec)

N/A 0.131 0.004 0.021 0.049 0.071 0.157 0.120 0.153 0.007

Problem 62

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

3 3 3 4 3 3 3 4 3 3

N.S.

1 1.00 1.00 1.33 1.00 1.00 1.00 1.33 1.00 1.00

time (sec)

N/A 0.132 0.004 0.036 0.031 0.067 0.037 0.120 0.153 0.069

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

17 17 17 15 6 19 14 0 20 17

N.S.

1 1.00 1.00 0.88 0.35 1.12 0.82 0.00 1.18 1.00

time (sec)

N/A 0.180 0.016 0.022 0.053 0.071 0.215 0.000 0.156 0.017

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

12 12 12 13 12 12 15 12 12 22

N.S.

1 1.00 1.00 1.08 1.00 1.00 1.25 1.00 1.00 1.83

time (sec)

N/A 0.141 0.003 0.049 0.024 0.074 0.355 0.126 0.148 0.083

Problem 65

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

28 46 28 25 25 25 22 24 22 21

N.S.

1 1.64 1.00 0.89 0.89 0.89 0.79 0.86 0.79 0.75

time (sec)

N/A 0.169 0.003 0.046 0.024 0.078 0.052 0.123 0.149 0.083

Problem 66

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 59 53 47 47 47 44 47 46 47

N.S.

1 1.09 0.98 0.87 0.87 0.87 0.81 0.87 0.85 0.87

time (sec)

N/A 0.177 0.007 0.086 0.024 0.077 0.058 0.125 0.154 0.103

Problem 67

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

29 29 27 30 38 34 24 138 39 35

N.S.

1 1.00 0.93 1.03 1.31 1.17 0.83 4.76 1.34 1.21

time (sec)

N/A 0.145 0.009 0.108 0.026 0.078 0.107 0.126 0.141 0.139

Problem 68

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

46 50 46 39 44 39 42 58 44 66

N.S.

1 1.09 1.00 0.85 0.96 0.85 0.91 1.26 0.96 1.43

time (sec)

N/A 0.169 0.009 0.062 0.025 0.073 0.083 0.115 0.143 0.109

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

59 63 59 50 57 49 54 94 55 75

N.S.

1 1.07 1.00 0.85 0.97 0.83 0.92 1.59 0.93 1.27

time (sec)

N/A 0.184 0.012 0.076 0.024 0.075 0.082 0.121 0.143 0.114

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 24 23 24 23 23 36 23 23 23

N.S.

1 1.04 1.00 1.04 1.00 1.00 1.57 1.00 1.00 1.00

time (sec)

N/A 0.138 0.002 0.073 0.102 0.074 0.063 0.125 0.149 0.034

Problem 71

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 31 26 29 28 23 31 28 32 51

N.S.

1 1.15 0.96 1.07 1.04 0.85 1.15 1.04 1.19 1.89

time (sec)

N/A 0.174 0.003 0.063 0.022 0.073 0.067 0.119 0.147 0.078

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

44 44 44 37 36 36 53 36 36 65

N.S.

1 1.00 1.00 0.84 0.82 0.82 1.20 0.82 0.82 1.48

time (sec)

N/A 0.165 0.003 0.093 0.106 0.084 0.090 0.123 0.157 0.075

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

54 54 54 45 44 44 63 44 44 73

N.S.

1 1.00 1.00 0.83 0.81 0.81 1.17 0.81 0.81 1.35

time (sec)

N/A 0.176 0.003 0.131 0.101 0.080 0.088 0.122 0.176 0.082

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 27 25 32 31 31 29 33 40 25

N.S.

1 1.08 1.00 1.28 1.24 1.24 1.16 1.32 1.60 1.00

time (sec)

N/A 0.144 0.003 0.059 0.027 0.076 0.068 0.123 0.156 0.037

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A 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

5 5 7 5 28 7 27 7 28 7

N.S.

1 1.00 1.40 1.00 5.60 1.40 5.40 1.40 5.60 1.40

time (sec)

N/A 0.141 0.042 0.036 0.118 0.095 3.086 0.120 0.155 0.344

Problem 76

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

4 4 4 5 4 4 3 4 4 4

N.S.

1 1.00 1.00 1.25 1.00 1.00 0.75 1.00 1.00 1.00

time (sec)

N/A 0.130 0.005 0.089 0.028 0.083 0.033 0.123 0.153 0.011

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

2 2 2 3 2 2 2 2 2 2

N.S.

1 1.00 1.00 1.50 1.00 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.124 0.005 0.087 0.033 0.108 0.031 0.124 0.156 0.015

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

5 5 5 6 3 11 5 6 9 5

N.S.

1 1.00 1.00 1.20 0.60 2.20 1.00 1.20 1.80 1.00

time (sec)

N/A 0.130 0.003 0.027 0.031 0.081 0.038 0.121 0.154 0.017

Problem 79

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

3 3 3 4 3 16 3 17 13 13

N.S.

1 1.00 1.00 1.33 1.00 5.33 1.00 5.67 4.33 4.33

time (sec)

N/A 0.135 0.002 0.031 0.024 0.082 0.036 0.121 0.153 0.120

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 21 21 26 25 37 75 26 50 27

N.S.

1 1.00 1.00 1.24 1.19 1.76 3.57 1.24 2.38 1.29

time (sec)

N/A 0.206 0.064 0.079 0.108 0.107 0.157 0.124 0.151 0.122

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

3 3 3 7 15 17 15 17 17 11

N.S.

1 1.00 1.00 2.33 5.00 5.67 5.00 5.67 5.67 3.67

time (sec)

N/A 0.133 0.002 0.090 0.023 0.085 0.058 0.123 0.150 0.020

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

5 5 5 6 15 19 15 17 5 5

N.S.

1 1.00 1.00 1.20 3.00 3.80 3.00 3.40 1.00 1.00

time (sec)

N/A 0.128 0.002 0.050 0.027 0.081 0.061 0.120 0.155 0.084

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 14 14 11 10 10 10 10 10 10

N.S.

1 1.00 1.00 0.79 0.71 0.71 0.71 0.71 0.71 0.71

time (sec)

N/A 0.133 0.006 0.168 0.027 0.078 0.021 0.110 0.154 0.017

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 18 20 17 16 16 15 16 16 16

N.S.

1 0.90 1.00 0.85 0.80 0.80 0.75 0.80 0.80 0.80

time (sec)

N/A 0.202 0.003 0.256 0.035 0.080 0.112 0.121 0.153 0.096

Problem 85

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 15 11 11 11 8 11 14 10

N.S.

1 1.00 1.15 0.85 0.85 0.85 0.62 0.85 1.08 0.77

time (sec)

N/A 0.148 0.006 0.346 0.023 0.078 0.020 0.113 0.146 0.019

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

44 44 44 0 0 0 0 0 6 35

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.14 0.80

time (sec)

N/A 0.156 0.019 0.000 0.000 0.000 0.000 0.000 0.148 0.178

Problem 87

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

N.S.

1 1.00 1.00 0.84 0.79 0.95 0.89 0.79 0.95 0.79

time (sec)

N/A 0.169 0.003 1.126 0.023 0.076 0.156 0.116 0.148 0.025

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 14 14 11 10 10 10 10 10 10

N.S.

1 1.00 1.00 0.79 0.71 0.71 0.71 0.71 0.71 0.71

time (sec)

N/A 0.135 0.005 0.181 0.024 0.078 0.017 0.120 0.154 0.014

Problem 89

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

11 11 11 11 9 10 8 9 12 9

N.S.

1 1.00 1.00 1.00 0.82 0.91 0.73 0.82 1.09 0.82

time (sec)

N/A 0.154 0.003 0.291 0.023 0.080 0.020 0.119 0.157 0.017

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

2 2 2 3 2 7 5 2 7 2

N.S.

1 1.00 1.00 1.50 1.00 3.50 2.50 1.00 3.50 1.00

time (sec)

N/A 0.143 0.002 0.112 0.024 0.066 0.035 0.111 0.155 0.013

Problem 91

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 12 11 10 20 6 17 6

N.S.

1 1.00 1.00 0.80 0.73 0.67 1.33 0.40 1.13 0.40

time (sec)

N/A 0.152 0.017 0.297 0.025 0.078 0.127 0.114 0.148 0.017

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

8 8 8 9 8 8 7 8 8 8

N.S.

1 1.00 1.00 1.12 1.00 1.00 0.88 1.00 1.00 1.00

time (sec)

N/A 0.163 0.007 0.125 0.028 0.073 0.058 0.122 0.146 0.012

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

17 17 15 17 15 15 17 15 17 15

N.S.

1 1.00 0.88 1.00 0.88 0.88 1.00 0.88 1.00 0.88

time (sec)

N/A 0.233 0.010 0.148 0.031 0.072 0.081 0.114 0.148 0.015

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 25 25 20 19 19 36 19 20 19

N.S.

1 1.00 1.00 0.80 0.76 0.76 1.44 0.76 0.80 0.76

time (sec)

N/A 0.152 0.009 0.221 0.027 0.073 0.084 0.120 0.150 0.031

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

41 46 29 19 26 29 56 26 31 28

N.S.

1 1.12 0.71 0.46 0.63 0.71 1.37 0.63 0.76 0.68

time (sec)

N/A 0.210 0.024 0.265 0.029 0.083 0.119 0.118 0.149 0.094

Problem 96

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 32 31 23 23 23 39 23 25 25

N.S.

1 0.97 0.94 0.70 0.70 0.70 1.18 0.70 0.76 0.76

time (sec)

N/A 0.231 0.006 0.437 0.032 0.074 0.114 0.119 0.156 0.095

Problem 97

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

7 7 7 8 7 7 7 7 7 7

N.S.

1 1.00 1.00 1.14 1.00 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.173 0.006 0.148 0.024 0.073 0.059 0.121 0.156 0.011

Problem 98

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

N.S.

1 1.06 0.88 0.94 0.88 0.88 1.06 0.88 1.00 0.88

time (sec)

N/A 0.221 0.009 0.168 0.025 0.074 0.080 0.121 0.154 0.015

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 25 25 20 19 19 36 19 20 19

N.S.

1 1.00 1.00 0.80 0.76 0.76 1.44 0.76 0.80 0.76

time (sec)

N/A 0.160 0.008 0.247 0.030 0.073 0.087 0.119 0.152 0.086

Problem 100

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

41 46 29 27 26 29 56 26 31 28

N.S.

1 1.12 0.71 0.66 0.63 0.71 1.37 0.63 0.76 0.68

time (sec)

N/A 0.215 0.023 0.263 0.031 0.079 0.120 0.120 0.154 0.038

[next] [front] [up]