[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

19 25 19 14 15 15 17 17 44 13

N.S.

1 1.32 1.00 0.74 0.79 0.79 0.89 0.89 2.32 0.68

time (sec)

N/A 0.295 0.005 0.346 0.110 0.069 0.046 0.199 0.272 0.103

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

15 19 15 12 35 11 10 16 35 11

N.S.

1 1.27 1.00 0.80 2.33 0.73 0.67 1.07 2.33 0.73

time (sec)

N/A 0.299 0.007 0.365 0.108 0.069 0.053 0.201 0.266 9.203

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

17 21 17 14 13 13 14 16 13 13

N.S.

1 1.24 1.00 0.82 0.76 0.76 0.82 0.94 0.76 0.76

time (sec)

N/A 0.322 0.006 0.370 0.109 0.068 0.058 0.197 0.286 9.214

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

16 16 16 15 14 18 10 16 17 14

N.S.

1 1.00 1.00 0.94 0.88 1.12 0.62 1.00 1.06 0.88

time (sec)

N/A 0.277 0.004 0.386 0.027 0.068 0.040 0.201 0.210 9.136

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

33 33 33 28 27 27 29 29 32 28

N.S.

1 1.00 1.00 0.85 0.82 0.82 0.88 0.88 0.97 0.85

time (sec)

N/A 0.280 0.006 0.195 0.028 0.069 0.019 0.207 0.199 0.047

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

33 37 33 28 27 27 29 29 32 28

N.S.

1 1.12 1.00 0.85 0.82 0.82 0.88 0.88 0.97 0.85

time (sec)

N/A 0.298 0.006 0.191 0.027 0.065 0.019 0.224 0.241 9.176

Problem 7

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 33 33 28 27 27 29 29 32 28

N.S.

1 1.00 1.00 0.85 0.82 0.82 0.88 0.88 0.97 0.85

time (sec)

N/A 0.301 0.004 0.170 0.028 0.075 0.018 0.205 0.214 0.041

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 34 33 28 27 27 29 29 32 28

N.S.

1 1.03 1.00 0.85 0.82 0.82 0.88 0.88 0.97 0.85

time (sec)

N/A 0.289 0.011 0.158 0.026 0.067 0.021 0.179 0.243 9.112

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 28 28 25 24 24 26 26 30 25

N.S.

1 1.00 1.00 0.89 0.86 0.86 0.93 0.93 1.07 0.89

time (sec)

N/A 0.270 0.005 0.181 0.035 0.071 0.022 0.201 0.223 0.039

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 No TBD TBD TBD TBD TBD TBD

size

29 32 29 28 28 25 27 30 28 26

N.S.

1 1.10 1.00 0.97 0.97 0.86 0.93 1.03 0.97 0.90

time (sec)

N/A 0.280 0.007 0.148 0.038 0.076 0.046 0.212 0.202 9.176

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 26 26 24 24 28 20 23 31 24

N.S.

1 1.00 1.00 0.92 0.92 1.08 0.77 0.88 1.19 0.92

time (sec)

N/A 0.275 0.007 0.047 0.034 0.076 0.044 0.209 0.214 9.183

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 30 29 26 28 30 26 42 35 25

N.S.

1 1.03 1.00 0.90 0.97 1.03 0.90 1.45 1.21 0.86

time (sec)

N/A 0.275 0.009 0.050 0.038 0.071 0.088 0.195 0.206 0.046

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 26 27 25 26 29 27 28 32 26

N.S.

1 1.00 1.04 0.96 1.00 1.12 1.04 1.08 1.23 1.00

time (sec)

N/A 0.264 0.009 0.048 0.039 0.067 0.098 0.199 0.219 9.184

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 33 31 26 30 31 29 39 34 29

N.S.

1 1.14 1.07 0.90 1.03 1.07 1.00 1.34 1.17 1.00

time (sec)

N/A 0.291 0.012 0.041 0.029 0.110 0.184 0.198 0.219 0.051

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 No TBD TBD TBD TBD TBD TBD

size

31 31 33 28 29 29 32 31 32 29

N.S.

1 1.00 1.06 0.90 0.94 0.94 1.03 1.00 1.03 0.94

time (sec)

N/A 0.277 0.008 0.041 0.033 0.070 0.181 0.211 0.197 0.041

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

55 55 55 52 51 51 56 53 55 51

N.S.

1 1.00 1.00 0.95 0.93 0.93 1.02 0.96 1.00 0.93

time (sec)

N/A 0.357 0.008 0.377 0.027 0.065 0.023 0.217 0.200 0.063

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 No TBD TBD TBD TBD TBD TBD

size

55 59 55 52 51 51 53 53 55 51

N.S.

1 1.07 1.00 0.95 0.93 0.93 0.96 0.96 1.00 0.93

time (sec)

N/A 0.347 0.006 0.359 0.033 0.061 0.026 0.191 0.219 0.051

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

55 55 55 52 51 51 56 53 55 51

N.S.

1 1.00 1.00 0.95 0.93 0.93 1.02 0.96 1.00 0.93

time (sec)

N/A 0.325 0.007 0.369 0.035 0.068 0.024 0.212 0.208 0.051

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 No TBD TBD TBD TBD TBD TBD

size

42 46 51 52 51 51 53 53 55 51

N.S.

1 1.10 1.21 1.24 1.21 1.21 1.26 1.26 1.31 1.21

time (sec)

N/A 0.329 0.009 0.354 0.038 0.077 0.023 0.205 0.194 0.052

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

50 50 50 49 48 48 53 50 53 48

N.S.

1 1.00 1.00 0.98 0.96 0.96 1.06 1.00 1.06 0.96

time (sec)

N/A 0.326 0.007 0.356 0.038 0.071 0.024 0.191 0.212 0.050

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 No TBD TBD TBD TBD TBD TBD

size

43 50 51 51 52 49 49 53 50 48

N.S.

1 1.16 1.19 1.19 1.21 1.14 1.14 1.23 1.16 1.12

time (sec)

N/A 0.311 0.012 0.313 0.035 0.070 0.062 0.203 0.227 0.044

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

48 48 48 49 48 53 48 48 55 48

N.S.

1 1.00 1.00 1.02 1.00 1.10 1.00 1.00 1.15 1.00

time (sec)

N/A 0.313 0.015 0.314 0.037 0.084 0.059 0.214 0.208 0.051

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

51 52 49 48 52 54 48 70 58 48

N.S.

1 1.02 0.96 0.94 1.02 1.06 0.94 1.37 1.14 0.94

time (sec)

N/A 0.328 0.023 0.408 0.035 0.072 0.118 0.309 0.211 0.048

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 No TBD TBD TBD TBD TBD TBD

size

48 48 50 46 50 52 51 50 54 50

N.S.

1 1.00 1.04 0.96 1.04 1.08 1.06 1.04 1.12 1.04

time (sec)

N/A 0.313 0.018 0.311 0.034 0.069 0.118 0.239 0.201 0.051

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 No TBD TBD TBD TBD TBD TBD

size

51 52 50 46 54 55 51 72 59 51

N.S.

1 1.02 0.98 0.90 1.06 1.08 1.00 1.41 1.16 1.00

time (sec)

N/A 0.324 0.022 0.310 0.032 0.068 0.263 0.374 0.220 9.244

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 No TBD TBD TBD TBD TBD TBD

size

48 48 48 45 51 53 54 53 55 50

N.S.

1 1.00 1.00 0.94 1.06 1.10 1.12 1.10 1.15 1.04

time (sec)

N/A 0.320 0.017 0.310 0.037 0.067 0.307 0.171 0.228 9.184

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 No TBD TBD TBD TBD TBD TBD

size

51 55 53 46 55 55 56 66 57 51

N.S.

1 1.08 1.04 0.90 1.08 1.08 1.10 1.29 1.12 1.00

time (sec)

N/A 0.333 0.021 0.302 0.033 0.065 0.498 0.184 0.206 9.446

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 No TBD TBD TBD TBD TBD TBD

size

53 53 59 48 53 53 58 55 55 52

N.S.

1 1.00 1.11 0.91 1.00 1.00 1.09 1.04 1.04 0.98

time (sec)

N/A 0.322 0.018 0.303 0.032 0.068 0.527 0.182 0.196 0.040

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 No TBD TBD TBD TBD TBD TBD

size

75 75 75 76 73 73 80 77 78 69

N.S.

1 1.00 1.00 1.01 0.97 0.97 1.07 1.03 1.04 0.92

time (sec)

N/A 0.373 0.012 0.369 0.030 0.064 0.028 0.212 0.194 9.488

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 No TBD TBD TBD TBD TBD TBD

size

68 72 69 76 73 73 82 77 78 69

N.S.

1 1.06 1.01 1.12 1.07 1.07 1.21 1.13 1.15 1.01

time (sec)

N/A 0.382 0.015 0.357 0.033 0.073 0.028 0.162 0.237 0.032

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 No TBD TBD TBD TBD TBD TBD

size

75 75 75 76 73 73 82 77 78 69

N.S.

1 1.00 1.00 1.01 0.97 0.97 1.09 1.03 1.04 0.92

time (sec)

N/A 0.353 0.009 0.370 0.028 0.096 0.025 0.189 0.196 0.034

Problem 32

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 No TBD TBD TBD TBD TBD TBD

size

42 46 69 76 73 73 80 77 78 69

N.S.

1 1.10 1.64 1.81 1.74 1.74 1.90 1.83 1.86 1.64

time (sec)

N/A 0.316 0.014 0.372 0.037 0.066 0.026 0.161 0.210 0.035

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 No TBD TBD TBD TBD TBD TBD

size

70 70 70 73 70 70 76 73 76 65

N.S.

1 1.00 1.00 1.04 1.00 1.00 1.09 1.04 1.09 0.93

time (sec)

N/A 0.339 0.009 0.365 0.035 0.072 0.025 0.183 0.226 0.033

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

60 63 71 76 74 71 80 78 74 67

N.S.

1 1.05 1.18 1.27 1.23 1.18 1.33 1.30 1.23 1.12

time (sec)

N/A 0.320 0.015 0.315 0.027 0.075 0.076 0.183 0.248 0.038

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

65 65 65 71 69 75 68 70 78 65

N.S.

1 1.00 1.00 1.09 1.06 1.15 1.05 1.08 1.20 1.00

time (sec)

N/A 0.345 0.017 0.310 0.029 0.075 0.080 0.215 0.256 0.034

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

71 73 73 73 74 77 78 97 82 67

N.S.

1 1.03 1.03 1.03 1.04 1.08 1.10 1.37 1.15 0.94

time (sec)

N/A 0.374 0.021 0.313 0.037 0.079 0.131 0.157 0.257 0.043

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

69 69 71 70 73 75 75 74 78 68

N.S.

1 1.00 1.03 1.01 1.06 1.09 1.09 1.07 1.13 0.99

time (sec)

N/A 0.387 0.022 0.316 0.037 0.070 0.135 0.150 0.292 0.059

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

72 73 73 68 76 76 75 98 81 76

N.S.

1 1.01 1.01 0.94 1.06 1.06 1.04 1.36 1.12 1.06

time (sec)

N/A 0.382 0.026 0.410 0.034 0.077 0.306 0.182 0.278 9.414

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

68 68 68 64 73 75 78 75 78 73

N.S.

1 1.00 1.00 0.94 1.07 1.10 1.15 1.10 1.15 1.07

time (sec)

N/A 0.346 0.021 0.313 0.029 0.069 0.327 0.179 0.210 0.060

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

71 72 71 64 77 77 78 99 82 75

N.S.

1 1.01 1.00 0.90 1.08 1.08 1.10 1.39 1.15 1.06

time (sec)

N/A 0.363 0.027 0.315 0.038 0.071 0.634 0.195 0.222 9.096

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

66 66 66 63 73 75 80 77 78 71

N.S.

1 1.00 1.00 0.95 1.11 1.14 1.21 1.17 1.18 1.08

time (sec)

N/A 0.352 0.020 0.315 0.034 0.069 0.713 0.204 0.202 8.725

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 No TBD TBD TBD TBD TBD TBD

size

63 66 77 64 77 77 82 90 80 75

N.S.

1 1.05 1.22 1.02 1.22 1.22 1.30 1.43 1.27 1.19

time (sec)

N/A 0.331 0.027 0.304 0.031 0.068 1.103 0.168 0.223 0.084

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 No TBD TBD TBD TBD TBD TBD

size

73 73 73 66 75 75 83 79 78 74

N.S.

1 1.00 1.00 0.90 1.03 1.03 1.14 1.08 1.07 1.01

time (sec)

N/A 0.371 0.023 0.306 0.034 0.072 1.215 0.188 0.193 0.048

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 No TBD TBD TBD TBD TBD TBD

size

49 53 78 66 75 75 83 79 78 76

N.S.

1 1.08 1.59 1.35 1.53 1.53 1.69 1.61 1.59 1.55

time (sec)

N/A 0.287 0.018 0.303 0.029 0.069 1.707 0.183 0.213 8.682

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

96 95 92 92 97 98 94 101 105 100

N.S.

1 0.99 0.96 0.96 1.01 1.02 0.98 1.05 1.09 1.04

time (sec)

N/A 0.448 0.035 0.398 0.031 0.067 0.181 0.169 0.194 8.781

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

75 74 71 73 74 75 70 77 82 76

N.S.

1 0.99 0.95 0.97 0.99 1.00 0.93 1.03 1.09 1.01

time (sec)

N/A 0.390 0.022 0.397 0.028 0.073 0.177 0.194 0.215 8.748

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

54 53 47 50 50 51 46 52 58 52

N.S.

1 0.98 0.87 0.93 0.93 0.94 0.85 0.96 1.07 0.96

time (sec)

N/A 0.347 0.014 0.484 0.029 0.086 0.147 0.171 0.208 8.702

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

35 34 31 32 31 30 27 32 36 31

N.S.

1 0.97 0.89 0.91 0.89 0.86 0.77 0.91 1.03 0.89

time (sec)

N/A 0.307 0.009 0.395 0.031 0.073 0.126 0.191 0.207 0.059

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

34 37 34 33 35 32 26 34 39 32

N.S.

1 1.09 1.00 0.97 1.03 0.94 0.76 1.00 1.15 0.94

time (sec)

N/A 0.310 0.011 0.388 0.028 0.078 0.391 0.189 0.189 0.094

Problem 50

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 49 46 48 47 41 71 62 46

N.S.

1 1.04 1.00 0.94 0.98 0.96 0.84 1.45 1.27 0.94

time (sec)

N/A 0.342 0.016 0.392 0.033 0.076 0.380 0.210 0.239 8.784

Problem 51

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 71 70 64 70 73 61 100 87 70

N.S.

1 1.01 1.00 0.91 1.00 1.04 0.87 1.43 1.24 1.00

time (sec)

N/A 0.382 0.021 0.397 0.029 0.082 0.431 0.208 0.198 0.114

Problem 52

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

92 93 96 86 96 98 88 126 112 92

N.S.

1 1.01 1.04 0.93 1.04 1.07 0.96 1.37 1.22 1.00

time (sec)

N/A 0.425 0.026 0.397 0.028 0.072 0.478 0.190 0.193 8.771

Problem 53

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

98 80 98 99 100 228 180 108 117 118

N.S.

1 0.82 1.00 1.01 1.02 2.33 1.84 1.10 1.19 1.20

time (sec)

N/A 0.369 0.051 0.412 0.115 0.077 0.207 0.197 0.216 0.047

Problem 54

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

77 67 77 75 78 178 153 85 92 96

N.S.

1 0.87 1.00 0.97 1.01 2.31 1.99 1.10 1.19 1.25

time (sec)

N/A 0.348 0.037 0.408 0.108 0.079 0.188 0.171 0.243 8.875

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

58 56 57 51 53 129 90 57 69 70

N.S.

1 0.97 0.98 0.88 0.91 2.22 1.55 0.98 1.19 1.21

time (sec)

N/A 0.295 0.034 0.401 0.112 0.086 0.166 0.187 0.198 8.852

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

40 40 40 34 34 99 82 34 54 31

N.S.

1 1.00 1.00 0.85 0.85 2.48 2.05 0.85 1.35 0.78

time (sec)

N/A 0.256 0.016 0.418 0.108 0.087 0.146 0.182 0.233 0.059

Problem 57

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 37 36 105 82 36 58 35

N.S.

1 1.00 1.00 0.88 0.86 2.50 1.95 0.86 1.38 0.83

time (sec)

N/A 0.304 0.024 0.432 0.109 0.088 0.161 0.193 0.198 8.942

Problem 58

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

61 58 60 54 56 135 129 57 78 53

N.S.

1 0.95 0.98 0.89 0.92 2.21 2.11 0.93 1.28 0.87

time (sec)

N/A 0.288 0.042 0.438 0.110 0.077 0.204 0.195 0.241 9.054

Problem 59

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

78 75 78 74 79 184 163 81 102 70

N.S.

1 0.96 1.00 0.95 1.01 2.36 2.09 1.04 1.31 0.90

time (sec)

N/A 0.310 0.040 0.437 0.125 0.101 0.235 0.205 0.237 9.087

Problem 60

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

101 92 101 91 103 234 187 106 127 89

N.S.

1 0.91 1.00 0.90 1.02 2.32 1.85 1.05 1.26 0.88

time (sec)

N/A 0.329 0.050 0.441 0.113 0.081 0.284 0.200 0.191 9.163

Problem 61

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

41 41 41 39 51 103 75 38 99 33

N.S.

1 1.00 1.00 0.95 1.24 2.51 1.83 0.93 2.41 0.80

time (sec)

N/A 0.298 0.020 0.430 0.110 0.081 0.175 0.203 0.196 9.146

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

133 133 134 123 136 350 238 139 202 203

N.S.

1 1.00 1.01 0.92 1.02 2.63 1.79 1.05 1.52 1.53

time (sec)

N/A 0.703 0.075 0.413 0.110 0.091 0.404 0.211 0.207 9.194

Problem 63

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 102 93 103 107 148 104 135 151 121

N.S.

1 0.97 0.89 0.98 1.02 1.41 0.99 1.29 1.44 1.15

time (sec)

N/A 0.468 0.047 0.397 0.033 0.071 0.383 0.204 0.221 0.071

Problem 64

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

110 111 111 100 112 298 211 115 177 141

N.S.

1 1.01 1.01 0.91 1.02 2.71 1.92 1.05 1.61 1.28

time (sec)

N/A 0.594 0.060 0.408 0.109 0.092 0.381 0.181 0.199 9.200

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

83 79 72 76 82 121 78 106 125 86

N.S.

1 0.95 0.87 0.92 0.99 1.46 0.94 1.28 1.51 1.04

time (sec)

N/A 0.399 0.039 0.441 0.027 0.076 0.358 0.205 0.224 9.473

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

89 89 89 75 85 240 129 88 151 104

N.S.

1 1.00 1.00 0.84 0.96 2.70 1.45 0.99 1.70 1.17

time (sec)

N/A 0.450 0.049 0.412 0.118 0.081 0.342 0.187 0.217 0.081

Problem 67

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

61 58 50 59 60 81 56 70 99 62

N.S.

1 0.95 0.82 0.97 0.98 1.33 0.92 1.15 1.62 1.02

time (sec)

N/A 0.361 0.029 0.397 0.031 0.081 0.304 0.204 0.197 0.081

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

68 71 68 57 61 208 114 59 134 59

N.S.

1 1.04 1.00 0.84 0.90 3.06 1.68 0.87 1.97 0.87

time (sec)

N/A 0.338 0.041 0.403 0.116 0.086 0.280 0.205 0.214 9.304

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

41 39 41 38 40 44 36 37 63 37

N.S.

1 0.95 1.00 0.93 0.98 1.07 0.88 0.90 1.54 0.90

time (sec)

N/A 0.323 0.009 0.388 0.027 0.082 0.179 0.186 0.241 9.173

Problem 70

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

63 63 63 57 57 182 112 57 120 51

N.S.

1 1.00 1.00 0.90 0.90 2.89 1.78 0.90 1.90 0.81

time (sec)

N/A 0.295 0.032 0.421 0.108 0.093 0.219 0.211 0.262 9.217

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

51 53 46 48 51 70 46 52 71 47

N.S.

1 1.04 0.90 0.94 1.00 1.37 0.90 1.02 1.39 0.92

time (sec)

N/A 0.343 0.025 0.383 0.032 0.083 0.210 0.201 0.315 9.221

Problem 72

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 72 70 62 63 210 114 62 138 63

N.S.

1 1.03 1.00 0.89 0.90 3.00 1.63 0.89 1.97 0.90

time (sec)

N/A 0.365 0.026 0.425 0.112 0.093 0.259 0.216 0.221 9.198

Problem 73

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 72 64 76 76 117 70 80 150 78

N.S.

1 0.99 0.88 1.04 1.04 1.60 0.96 1.10 2.05 1.07

time (sec)

N/A 0.395 0.039 0.391 0.028 0.080 0.495 0.211 0.185 0.113

Problem 74

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

90 100 90 78 93 250 184 85 159 83

N.S.

1 1.11 1.00 0.87 1.03 2.78 2.04 0.94 1.77 0.92

time (sec)

N/A 0.554 0.051 0.444 0.110 0.105 0.308 0.227 0.238 9.197

Problem 75

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 96 85 96 106 154 100 150 180 100

N.S.

1 0.99 0.88 0.99 1.09 1.59 1.03 1.55 1.86 1.03

time (sec)

N/A 0.441 0.071 0.398 0.034 0.094 0.559 0.233 0.200 9.199

Problem 76

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

111 125 112 99 119 308 218 112 187 104

N.S.

1 1.13 1.01 0.89 1.07 2.77 1.96 1.01 1.68 0.94

time (sec)

N/A 0.784 0.060 0.474 0.112 0.098 0.357 0.231 0.204 9.214

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

140 150 133 119 147 416 252 138 266 177

N.S.

1 1.07 0.95 0.85 1.05 2.97 1.80 0.99 1.90 1.26

time (sec)

N/A 0.949 0.074 0.437 0.113 0.147 0.733 0.237 0.223 9.297

Problem 78

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 108 94 102 116 179 119 132 189 118

N.S.

1 0.97 0.85 0.92 1.05 1.61 1.07 1.19 1.70 1.06

time (sec)

N/A 0.514 0.044 0.448 0.028 0.105 0.766 0.218 0.212 9.269

Problem 79

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

118 126 113 95 120 358 214 111 240 138

N.S.

1 1.07 0.96 0.81 1.02 3.03 1.81 0.94 2.03 1.17

time (sec)

N/A 0.688 0.065 0.411 0.113 0.099 0.695 0.189 0.230 0.084

Problem 80

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

89 86 92 82 94 142 94 93 165 95

N.S.

1 0.97 1.03 0.92 1.06 1.60 1.06 1.04 1.85 1.07

time (sec)

N/A 0.417 0.026 0.400 0.033 0.083 0.668 0.227 0.188 8.837

Problem 81

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

95 101 92 77 94 328 194 80 225 92

N.S.

1 1.06 0.97 0.81 0.99 3.45 2.04 0.84 2.37 0.97

time (sec)

N/A 0.448 0.053 0.405 0.120 0.095 0.560 0.230 0.194 8.837

Problem 82

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 65 64 57 72 89 70 55 100 70

N.S.

1 0.97 0.96 0.85 1.07 1.33 1.04 0.82 1.49 1.04

time (sec)

N/A 0.373 0.018 0.388 0.032 0.083 0.469 0.189 0.204 9.072

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

90 95 83 76 92 301 155 78 211 82

N.S.

1 1.06 0.92 0.84 1.02 3.34 1.72 0.87 2.34 0.91

time (sec)

N/A 0.366 0.060 0.428 0.123 0.094 0.377 0.212 0.200 9.328

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

32 32 30 29 42 42 42 28 34 44

N.S.

1 1.00 0.94 0.91 1.31 1.31 1.31 0.88 1.06 1.38

time (sec)

N/A 0.257 0.013 0.388 0.034 0.095 0.251 0.197 0.188 9.160

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

92 92 84 77 92 300 150 78 211 82

N.S.

1 1.00 0.91 0.84 1.00 3.26 1.63 0.85 2.29 0.89

time (sec)

N/A 0.328 0.043 0.428 0.117 0.092 0.290 0.211 0.212 9.126

Problem 86

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 69 59 61 77 119 75 76 132 71

N.S.

1 1.01 0.87 0.90 1.13 1.75 1.10 1.12 1.94 1.04

time (sec)

N/A 0.381 0.035 0.394 0.036 0.113 0.299 0.156 0.231 0.151

Problem 87

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

96 107 96 82 96 324 194 82 230 113

N.S.

1 1.11 1.00 0.85 1.00 3.38 2.02 0.85 2.40 1.18

time (sec)

N/A 0.456 0.050 0.437 0.122 0.096 0.347 0.199 0.208 9.259

Problem 88

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

97 96 86 100 109 197 107 105 247 107

N.S.

1 0.99 0.89 1.03 1.12 2.03 1.10 1.08 2.55 1.10

time (sec)

N/A 0.448 0.043 0.401 0.036 0.089 0.577 0.232 0.203 8.823

Problem 89

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

117 130 119 98 128 368 226 108 248 114

N.S.

1 1.11 1.02 0.84 1.09 3.15 1.93 0.92 2.12 0.97

time (sec)

N/A 0.655 0.052 0.423 0.120 0.119 0.390 0.212 0.220 8.947

Problem 90

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

121 121 108 123 137 229 136 132 278 131

N.S.

1 1.00 0.89 1.02 1.13 1.89 1.12 1.09 2.30 1.08

time (sec)

N/A 0.508 0.054 0.404 0.037 0.093 0.665 0.202 0.227 9.007

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

140 159 140 119 154 426 260 135 276 135

N.S.

1 1.14 1.00 0.85 1.10 3.04 1.86 0.96 1.97 0.96

time (sec)

N/A 1.214 0.063 0.426 0.115 0.130 0.457 0.211 0.210 8.870

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

148 149 135 143 170 267 165 201 305 155

N.S.

1 1.01 0.91 0.97 1.15 1.80 1.11 1.36 2.06 1.05

time (sec)

N/A 0.577 0.095 0.409 0.045 0.087 0.687 0.188 0.254 9.034

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

39 39 35 28 27 32 46 29 34 31

N.S.

1 1.00 0.90 0.72 0.69 0.82 1.18 0.74 0.87 0.79

time (sec)

N/A 0.292 0.026 0.254 0.034 0.076 0.855 0.181 0.238 0.053

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

39 39 35 28 27 32 46 29 34 31

N.S.

1 1.00 0.90 0.72 0.69 0.82 1.18 0.74 0.87 0.79

time (sec)

N/A 0.281 0.030 0.256 0.027 0.091 0.573 0.220 0.274 8.846

Problem 95

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 41 28 27 32 46 29 34 31

N.S.

1 1.00 1.05 0.72 0.69 0.82 1.18 0.74 0.87 0.79

time (sec)

N/A 0.276 0.028 0.257 0.037 0.080 0.392 0.228 0.241 0.045

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

39 39 35 28 27 32 37 29 34 31

N.S.

1 1.00 0.90 0.72 0.69 0.82 0.95 0.74 0.87 0.79

time (sec)

N/A 0.272 0.027 0.257 0.029 0.086 0.589 0.231 0.224 8.739

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

39 39 35 28 27 32 46 29 34 31

N.S.

1 1.00 0.90 0.72 0.69 0.82 1.18 0.74 0.87 0.79

time (sec)

N/A 0.274 0.022 0.253 0.036 0.086 0.229 0.217 0.245 0.045

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

39 39 35 28 27 30 46 29 32 31

N.S.

1 1.00 0.90 0.72 0.69 0.77 1.18 0.74 0.82 0.79

time (sec)

N/A 0.271 0.024 0.253 0.035 0.073 0.257 0.211 0.243 0.045

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

37 37 35 28 27 29 44 29 31 31

N.S.

1 1.00 0.95 0.76 0.73 0.78 1.19 0.78 0.84 0.84

time (sec)

N/A 0.275 0.030 0.253 0.030 0.087 0.268 0.203 0.261 8.923

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

37 37 35 30 27 29 44 29 33 31

N.S.

1 1.00 0.95 0.81 0.73 0.78 1.19 0.78 0.89 0.84

time (sec)

N/A 0.279 0.025 0.081 0.029 0.090 0.420 0.196 0.269 0.046

[next] [front] [up]