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

2.2.92 Integrals 9101 to 9200

Detailed conclusion table per each integral is given by 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 just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 9101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

31 0 34 293 33 35 0 0 34

N.S.

1 0.00 1.10 9.45 1.06 1.13 0.00 0.00 1.10

time (sec)

N/A 3.354 0.112 47.978 0.522 0.418 0.000 0.000 8.325

Problem 9102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 42 53 42 127 78 37 112 41

N.S.

1 1.35 1.71 1.35 4.10 2.52 1.19 3.61 1.32

time (sec)

N/A 0.263 0.073 0.508 0.303 0.402 0.176 0.413 7.524

Problem 9103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 23 23 24 25 21 19 21 21

N.S.

1 0.88 0.88 0.92 0.96 0.81 0.73 0.81 0.81

time (sec)

N/A 0.649 0.323 3.131 0.508 0.384 0.220 0.412 9.851

Problem 9104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

14 0 22 13 19 19 7 19 12

N.S.

1 0.00 1.57 0.93 1.36 1.36 0.50 1.36 0.86

time (sec)

N/A 0.274 0.643 0.431 0.295 0.397 0.031 0.411 0.119

Problem 9105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F(-1) B B B B B B B

verified

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

size

32 0 217 218 470 199 196 1836 1862

N.S.

1 0.00 6.78 6.81 14.69 6.22 6.12 57.38 58.19

time (sec)

N/A 180.000 0.974 1.536 7.343 0.400 4.708 5.041 8.409

Problem 9106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

6 8 6 24 9 6 5 11 9

N.S.

1 1.33 1.00 4.00 1.50 1.00 0.83 1.83 1.50

time (sec)

N/A 0.008 0.003 0.309 0.272 0.396 0.022 0.403 0.090

Problem 9107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 48 48 37 36 36 44 35 36

N.S.

1 1.92 1.92 1.48 1.44 1.44 1.76 1.40 1.44

time (sec)

N/A 0.068 0.016 0.433 0.266 0.396 0.066 0.413 8.254

Problem 9108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 25 18 27 32 15 15 15 15

N.S.

1 1.09 0.78 1.17 1.39 0.65 0.65 0.65 0.65

time (sec)

N/A 0.412 0.099 0.419 0.281 0.376 0.026 0.397 7.644

Problem 9109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 13 13 10 9 35 10 35 9

N.S.

1 1.00 1.00 0.77 0.69 2.69 0.77 2.69 0.69

time (sec)

N/A 0.081 0.035 0.145 0.263 0.383 0.063 0.427 6.989

Problem 9110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 47 79 45 87 88 94 82 91

N.S.

1 1.52 2.55 1.45 2.81 2.84 3.03 2.65 2.94

time (sec)

N/A 0.168 0.173 0.866 0.266 0.376 4.201 0.433 8.091

Problem 9111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

32 0 28 172 39 33 0 70 115

N.S.

1 0.00 0.88 5.38 1.22 1.03 0.00 2.19 3.59

time (sec)

N/A 1.738 0.235 9.253 0.519 0.395 0.000 0.441 7.893

Problem 9112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F B B B B B B B

verified

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

size

26 0 74 169 1021 47 49 47 48

N.S.

1 0.00 2.85 6.50 39.27 1.81 1.88 1.81 1.85

time (sec)

N/A 0.662 0.489 1.329 0.517 0.444 0.305 0.394 10.045

Problem 9113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A C A A B B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 77 25 22 85 33 17 35 16

N.S.

1 5.13 1.67 1.47 5.67 2.20 1.13 2.33 1.07

time (sec)

N/A 0.457 0.069 0.822 0.310 0.363 0.065 0.401 7.527

Problem 9114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

28 0 34 34 32 36 29 36 51

N.S.

1 0.00 1.21 1.21 1.14 1.29 1.04 1.29 1.82

time (sec)

N/A 2.087 0.392 0.563 0.383 0.371 0.103 0.453 7.482

Problem 9115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 31 24 28 25 24 24 23 28

N.S.

1 1.41 1.09 1.27 1.14 1.09 1.09 1.05 1.27

time (sec)

N/A 0.019 0.010 0.794 0.251 0.381 0.060 0.405 7.943

Problem 9116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 27 18 26 21 26 20 44 26

N.S.

1 1.42 0.95 1.37 1.11 1.37 1.05 2.32 1.37

time (sec)

N/A 0.120 0.094 0.656 0.268 0.378 0.064 0.405 0.253

Problem 9117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A F(-1) B B

verified

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

size

23 0 37 40 21 19 0 43 19

N.S.

1 0.00 1.61 1.74 0.91 0.83 0.00 1.87 0.83

time (sec)

N/A 5.593 0.325 0.630 0.535 0.434 0.000 0.613 7.868

Problem 9118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 13 13 12 11 17 10 12 11

N.S.

1 0.52 0.52 0.48 0.44 0.68 0.40 0.48 0.44

time (sec)

N/A 0.007 0.001 0.214 0.270 0.385 0.029 0.390 0.026

Problem 9119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B A A A B B

verified

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

size

25 0 29 59 36 32 36 62 70

N.S.

1 0.00 1.16 2.36 1.44 1.28 1.44 2.48 2.80

time (sec)

N/A 3.887 1.695 1.127 0.382 0.391 0.146 0.446 5.326

Problem 9120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

17 0 16 20 14 30 15 14 16

N.S.

1 0.00 0.94 1.18 0.82 1.76 0.88 0.82 0.94

time (sec)

N/A 0.315 0.368 1.926 0.331 0.378 158.002 0.411 7.390

Problem 9121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 20 19 21 20 19 19 23 19

N.S.

1 0.67 0.63 0.70 0.67 0.63 0.63 0.77 0.63

time (sec)

N/A 0.049 0.009 0.232 0.267 0.403 0.039 0.419 0.073

Problem 9122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 35 29 21 20 29 22 30 22

N.S.

1 1.25 1.04 0.75 0.71 1.04 0.79 1.07 0.79

time (sec)

N/A 0.068 0.171 0.296 0.284 0.414 0.114 0.410 6.718

Problem 9123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 41 34 35 34 30 31 34 34

N.S.

1 2.16 1.79 1.84 1.79 1.58 1.63 1.79 1.79

time (sec)

N/A 0.095 0.138 0.494 0.293 0.402 0.130 0.406 7.672

Problem 9124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C B A B F F

verified

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

size

27 0 34 215 73 35 53 0 -1

N.S.

1 0.00 1.26 7.96 2.70 1.30 1.96 0.00 -0.04

time (sec)

N/A 4.915 0.287 1.450 0.514 0.491 0.176 0.000 0.000

Problem 9125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 17 15 16 15 24 12 16 15

N.S.

1 0.68 0.60 0.64 0.60 0.96 0.48 0.64 0.60

time (sec)

N/A 0.050 0.014 0.335 0.267 0.356 0.028 0.410 0.063

Problem 9126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

10 10 10 24 9 9 10 9 9

N.S.

1 1.00 1.00 2.40 0.90 0.90 1.00 0.90 0.90

time (sec)

N/A 0.048 0.009 1.069 0.276 0.377 0.096 0.405 6.814

Problem 9127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 23 24 24 173 23 19 23 23

N.S.

1 0.92 0.96 0.96 6.92 0.92 0.76 0.92 0.92

time (sec)

N/A 0.301 0.097 2.176 0.332 0.409 0.125 0.434 9.658

Problem 9128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 44 38 42 58 38 42 38 22

N.S.

1 1.69 1.46 1.62 2.23 1.46 1.62 1.46 0.85

time (sec)

N/A 0.152 0.313 1.960 0.306 0.377 0.069 0.409 0.123

Problem 9129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 22 25 20 21 21 17 21 23

N.S.

1 1.38 1.56 1.25 1.31 1.31 1.06 1.31 1.44

time (sec)

N/A 0.015 0.017 0.439 0.254 0.490 0.032 0.405 0.063

Problem 9130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B C A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 70 20 65 424 33 39 45 20

N.S.

1 2.92 0.83 2.71 17.67 1.38 1.62 1.88 0.83

time (sec)

N/A 0.722 0.797 0.448 0.349 0.370 0.123 0.412 8.713

Problem 9131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B B B A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 77 55 66 43 43 66 43 65

N.S.

1 3.35 2.39 2.87 1.87 1.87 2.87 1.87 2.83

time (sec)

N/A 0.108 0.188 0.316 0.259 0.382 0.076 0.401 0.108

Problem 9132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 30 30 28 0 27 22 27 27

N.S.

1 1.03 1.03 0.97 0.00 0.93 0.76 0.93 0.93

time (sec)

N/A 0.368 0.082 6.918 0.000 0.386 0.078 0.443 20.980

Problem 9133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A B A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 39 15 17 34 15 14 0 15

N.S.

1 2.60 1.00 1.13 2.27 1.00 0.93 0.00 1.00

time (sec)

N/A 0.070 0.026 1.664 0.529 0.378 0.063 0.000 6.730

Problem 9134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

10 6 6 8 5 5 5 6 5

N.S.

1 0.60 0.60 0.80 0.50 0.50 0.50 0.60 0.50

time (sec)

N/A 0.002 0.001 0.607 0.271 0.427 0.008 0.414 0.119

Problem 9135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A F B

verified

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

size

28 0 27 24 35 23 19 0 38

N.S.

1 0.00 0.96 0.86 1.25 0.82 0.68 0.00 1.36

time (sec)

N/A 8.790 1.271 0.056 0.560 0.446 0.392 0.000 7.621

Problem 9136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A B B

verified

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

size

23 0 29 19 18 28 22 38 21

N.S.

1 0.00 1.26 0.83 0.78 1.22 0.96 1.65 0.91

time (sec)

N/A 0.555 1.549 1.644 0.293 0.399 0.093 0.416 0.390

Problem 9137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 103 57 92 63 63 66 63 91

N.S.

1 5.42 3.00 4.84 3.32 3.32 3.47 3.32 4.79

time (sec)

N/A 0.194 0.716 0.316 0.261 0.474 0.069 0.420 6.806

Problem 9138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 0 592 128 105 122 131 -1

N.S.

1 0.00 0.00 21.93 4.74 3.89 4.52 4.85 -0.04

time (sec)

N/A 180.000 2.577 3.260 0.561 0.433 1.426 0.621 0.000

Problem 9139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B A A A B

verified

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

size

35 0 46 57 100 54 44 48 55

N.S.

1 0.00 1.31 1.63 2.86 1.54 1.26 1.37 1.57

time (sec)

N/A 13.806 0.155 1.837 0.568 0.438 0.193 0.692 7.409

Problem 9140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A C A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 109 37 172 35 31 29 35 31

N.S.

1 4.04 1.37 6.37 1.30 1.15 1.07 1.30 1.15

time (sec)

N/A 4.308 0.593 6.887 0.502 0.435 7.804 0.449 7.390

Problem 9141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F B A B A B B B

verified

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

size

27 0 57 51 57 51 53 65 63

N.S.

1 0.00 2.11 1.89 2.11 1.89 1.96 2.41 2.33

time (sec)

N/A 8.242 0.846 0.243 0.277 0.412 0.249 0.431 8.202

Problem 9142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B A A A B

verified

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

size

35 0 28 27 132 28 20 52 44

N.S.

1 0.00 0.80 0.77 3.77 0.80 0.57 1.49 1.26

time (sec)

N/A 1.379 0.285 2.915 0.363 0.470 0.151 0.526 7.630

Problem 9143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F A A A A A B

verified

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

size

20 28 0 16 31 18 17 20 24

N.S.

1 1.40 0.00 0.80 1.55 0.90 0.85 1.00 1.20

time (sec)

N/A 0.190 1.461 1.180 0.495 0.384 0.064 0.410 0.350

Problem 9144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

28 0 21 26 26 37 20 26 22

N.S.

1 0.00 0.75 0.93 0.93 1.32 0.71 0.93 0.79

time (sec)

N/A 0.795 0.184 3.000 0.499 0.443 0.057 0.432 8.078

Problem 9145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 53 231 54 0 40 54 0 31

N.S.

1 1.96 8.56 2.00 0.00 1.48 2.00 0.00 1.15

time (sec)

N/A 0.224 1.136 2.074 0.000 0.407 0.160 0.000 7.115

Problem 9146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

9 9 9 12 9 9 8 9 9

N.S.

1 1.00 1.00 1.33 1.00 1.00 0.89 1.00 1.00

time (sec)

N/A 0.012 0.042 0.447 0.260 0.400 0.034 0.403 5.163

Problem 9147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A B B

verified

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

size

26 0 30 23 31 40 22 50 30

N.S.

1 0.00 1.15 0.88 1.19 1.54 0.85 1.92 1.15

time (sec)

N/A 0.268 0.872 0.626 0.307 0.389 0.141 0.405 5.351

Problem 9148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C A A A A B

verified

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

size

22 0 21 62 18 20 19 20 20

N.S.

1 0.00 0.95 2.82 0.82 0.91 0.86 0.91 0.91

time (sec)

N/A 2.355 0.318 0.332 0.522 0.439 0.162 0.457 7.898

Problem 9149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C C A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 59 38 107 83 53 70 114 53

N.S.

1 1.55 1.00 2.82 2.18 1.39 1.84 3.00 1.39

time (sec)

N/A 0.188 0.276 1.142 0.311 0.368 0.108 0.414 6.936

Problem 9150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 18 17 18 16 17 14 16 19

N.S.

1 1.06 1.00 1.06 0.94 1.00 0.82 0.94 1.12

time (sec)

N/A 0.184 0.041 1.913 0.322 0.369 0.047 0.393 7.712

Problem 9151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

19 0 23 25 22 22 20 24 24

N.S.

1 0.00 1.21 1.32 1.16 1.16 1.05 1.26 1.26

time (sec)

N/A 0.853 1.091 0.080 0.302 0.394 0.099 0.415 7.125

Problem 9152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 16 18 18 0 24 12 26 15

N.S.

1 0.89 1.00 1.00 0.00 1.33 0.67 1.44 0.83

time (sec)

N/A 0.097 0.092 3.705 0.000 0.388 0.048 0.394 0.100

Problem 9153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

22 0 27 18 18 27 14 18 17

N.S.

1 0.00 1.23 0.82 0.82 1.23 0.64 0.82 0.77

time (sec)

N/A 34.772 0.021 0.455 0.278 0.391 0.107 0.405 7.698

Problem 9154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A F A A A B

verified

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

size

35 0 35 71 0 59 34 61 60

N.S.

1 0.00 1.00 2.03 0.00 1.69 0.97 1.74 1.71

time (sec)

N/A 1.360 2.056 7.453 0.000 0.373 0.222 0.620 7.665

Problem 9155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A F(-2) A B

verified

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

size

27 0 29 25 25 30 0 25 24

N.S.

1 0.00 1.07 0.93 0.93 1.11 0.00 0.93 0.89

time (sec)

N/A 150.616 0.544 0.489 0.552 0.397 0.000 0.431 6.362

Problem 9156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B A A B F

verified

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

size

33 0 31 21 50 40 36 49 -1

N.S.

1 0.00 0.94 0.64 1.52 1.21 1.09 1.48 -0.03

time (sec)

N/A 2.114 1.903 2.147 0.309 0.359 0.085 0.413 0.000

Problem 9157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 17 15 15 18 21 15 46 20

N.S.

1 1.00 0.88 0.88 1.06 1.24 0.88 2.71 1.18

time (sec)

N/A 0.087 0.018 0.705 0.263 0.382 0.231 0.420 7.586

Problem 9158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B A A A A B

verified

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

size

22 0 22 84 23 23 20 36 158

N.S.

1 0.00 1.00 3.82 1.05 1.05 0.91 1.64 7.18

time (sec)

N/A 0.721 0.179 7.779 0.303 0.374 0.056 0.415 7.471

Problem 9159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 26 24 122 141 27 42 45 24

N.S.

1 1.18 1.09 5.55 6.41 1.23 1.91 2.05 1.09

time (sec)

N/A 0.117 0.024 3.485 0.254 0.380 0.122 0.438 7.960

Problem 9160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 38 27 31 1175 29 26 30 30

N.S.

1 1.27 0.90 1.03 39.17 0.97 0.87 1.00 1.00

time (sec)

N/A 0.892 0.156 1.548 0.568 0.367 0.126 0.446 10.565

Problem 9161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B A B B B B

verified

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

size

33 0 49 66 54 62 53 68 56

N.S.

1 0.00 1.48 2.00 1.64 1.88 1.61 2.06 1.70

time (sec)

N/A 39.603 0.177 0.566 0.548 0.389 0.246 0.732 8.248

Problem 9162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 31 31 38 35 35 20 35 24

N.S.

1 1.24 1.24 1.52 1.40 1.40 0.80 1.40 0.96

time (sec)

N/A 0.022 0.038 0.594 0.261 0.403 0.018 0.405 6.545

Problem 9163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 19 16 83 17 15 15 17 17

N.S.

1 1.12 0.94 4.88 1.00 0.88 0.88 1.00 1.00

time (sec)

N/A 0.078 0.016 1.653 0.269 0.369 0.205 0.416 0.188

Problem 9164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 22 16 15 15 19 15 15

N.S.

1 1.00 0.92 0.67 0.62 0.62 0.79 0.62 0.62

time (sec)

N/A 0.331 0.107 4.941 0.287 0.371 0.051 0.389 0.105

Problem 9165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A F A A B B F

verified

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

size

28 0 38 0 46 42 54 140 -1

N.S.

1 0.00 1.36 0.00 1.64 1.50 1.93 5.00 -0.04

time (sec)

N/A 50.974 0.192 4.021 0.549 0.392 0.145 1.029 0.000

Problem 9166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 23 23 20 19 19 17 21 19

N.S.

1 1.28 1.28 1.11 1.06 1.06 0.94 1.17 1.06

time (sec)

N/A 0.068 0.015 0.625 0.258 0.372 0.352 0.415 7.695

Problem 9167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A F

verified

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

size

36 0 34 38 35 35 29 36 -1

N.S.

1 0.00 0.94 1.06 0.97 0.97 0.81 1.00 -0.03

time (sec)

N/A 12.835 0.103 1.041 0.540 0.375 0.176 0.424 0.000

Problem 9168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A B A F B

verified

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

size

24 0 20 16 15 128 17 0 17

N.S.

1 0.00 0.83 0.67 0.62 5.33 0.71 0.00 0.71

time (sec)

N/A 1.880 1.164 0.377 0.637 0.371 33.053 0.000 7.744

Problem 9169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A C C A C A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

12 62 43 12 47 11 10 11 11

N.S.

1 5.17 3.58 1.00 3.92 0.92 0.83 0.92 0.92

time (sec)

N/A 0.054 0.126 0.475 0.294 0.377 0.028 0.410 0.040

Problem 9170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 25 35 140 44 67 58 39 35

N.S.

1 1.04 1.46 5.83 1.83 2.79 2.42 1.62 1.46

time (sec)

N/A 0.112 0.013 1.147 0.267 0.403 0.128 0.424 0.214

Problem 9171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 27 27 28 40 28 20 27 24

N.S.

1 1.17 1.17 1.22 1.74 1.22 0.87 1.17 1.04

time (sec)

N/A 0.225 0.039 0.610 0.313 0.383 0.030 0.416 7.090

Problem 9172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 24 24 0 89 49 49 43 104

N.S.

1 0.96 0.96 0.00 3.56 1.96 1.96 1.72 4.16

time (sec)

N/A 0.205 0.190 132.299 0.488 0.378 0.420 0.593 7.484

Problem 9173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

9 6 6 7 6 6 5 7 6

N.S.

1 0.67 0.67 0.78 0.67 0.67 0.56 0.78 0.67

time (sec)

N/A 0.002 0.001 0.425 0.254 0.370 0.015 0.423 0.016

Problem 9174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A F B

verified

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

size

19 0 17 16 24 15 15 0 24

N.S.

1 0.00 0.89 0.84 1.26 0.79 0.79 0.00 1.26

time (sec)

N/A 0.384 0.150 0.850 0.504 0.415 0.104 0.000 7.416

Problem 9175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 15 15 16 15 15 14 15 15

N.S.

1 0.88 0.88 0.94 0.88 0.88 0.82 0.88 0.88

time (sec)

N/A 0.142 0.051 4.076 0.291 0.397 0.126 0.456 7.175

Problem 9176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A F F

verified

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

size

18 0 21 17 23 22 19 0 -1

N.S.

1 0.00 1.17 0.94 1.28 1.22 1.06 0.00 -0.06

time (sec)

N/A 0.941 0.239 0.681 0.501 0.385 0.064 0.000 0.000

Problem 9177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 13 13 21 12 20 14 12 13

N.S.

1 1.00 1.00 1.62 0.92 1.54 1.08 0.92 1.00

time (sec)

N/A 0.317 0.057 0.429 0.325 0.370 0.096 0.451 5.434

Problem 9178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 53 46 52 67 48 48 50 47

N.S.

1 1.47 1.28 1.44 1.86 1.33 1.33 1.39 1.31

time (sec)

N/A 0.137 0.176 1.012 0.284 0.366 0.088 0.432 0.169

Problem 9179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 22 19 17 21 21 15 21 16

N.S.

1 0.88 0.76 0.68 0.84 0.84 0.60 0.84 0.64

time (sec)

N/A 0.012 0.003 0.616 0.261 0.372 0.010 0.410 7.136

Problem 9180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 9 9 7 6 6 5 6 6

N.S.

1 0.56 0.56 0.44 0.38 0.38 0.31 0.38 0.38

time (sec)

N/A 0.008 0.002 0.445 0.274 0.378 0.024 0.411 0.021

Problem 9181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B A A B B

verified

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

size

28 0 43 39 62 39 34 83 68

N.S.

1 0.00 1.54 1.39 2.21 1.39 1.21 2.96 2.43

time (sec)

N/A 76.347 0.376 0.473 0.440 0.375 6.533 0.629 8.366

Problem 9182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

23 0 28 33 29 29 29 29 90

N.S.

1 0.00 1.22 1.43 1.26 1.26 1.26 1.26 3.91

time (sec)

N/A 1.276 0.280 8.742 0.297 0.408 0.211 0.423 8.137

Problem 9183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B B B B A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 59 59 60 59 47 48 47 67

N.S.

1 2.46 2.46 2.50 2.46 1.96 2.00 1.96 2.79

time (sec)

N/A 0.237 0.037 0.124 0.278 0.361 0.086 0.415 7.354

Problem 9184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C A A A A B

verified

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

size

26 0 24 56 39 26 37 36 21

N.S.

1 0.00 0.92 2.15 1.50 1.00 1.42 1.38 0.81

time (sec)

N/A 1.541 0.145 0.525 0.527 0.403 0.138 0.453 7.813

Problem 9185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 31 31 32 54 30 32 33 15

N.S.

1 1.82 1.82 1.88 3.18 1.76 1.88 1.94 0.88

time (sec)

N/A 0.153 0.042 3.193 0.295 0.359 0.085 0.422 5.462

Problem 9186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 29 25 27 26 22 20 38 22

N.S.

1 1.07 0.93 1.00 0.96 0.81 0.74 1.41 0.81

time (sec)

N/A 0.015 0.055 3.327 0.261 0.353 0.043 0.425 0.134

Problem 9187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

29 0 32 32 31 27 36 31 31

N.S.

1 0.00 1.10 1.10 1.07 0.93 1.24 1.07 1.07

time (sec)

N/A 1.433 0.155 1.236 0.520 0.380 0.076 0.452 7.523

Problem 9188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B B B C B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 67 47 65 78 61 61 69 59

N.S.

1 2.91 2.04 2.83 3.39 2.65 2.65 3.00 2.57

time (sec)

N/A 0.201 0.167 0.485 0.298 0.371 0.089 0.407 6.995

Problem 9189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 16 16 10 47 14 39 12

N.S.

1 1.00 1.00 1.00 0.62 2.94 0.88 2.44 0.75

time (sec)

N/A 0.154 0.137 0.240 0.272 0.401 0.139 0.434 7.599

Problem 9190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 48 22 20 19 19 20 19 -1

N.S.

1 2.18 1.00 0.91 0.86 0.86 0.91 0.86 -0.05

time (sec)

N/A 0.119 0.042 0.292 0.542 0.380 3.581 0.426 0.000

Problem 9191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A F A A F(-2) A B

verified

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

size

27 0 26 0 21 21 0 21 21

N.S.

1 0.00 0.96 0.00 0.78 0.78 0.00 0.78 0.78

time (sec)

N/A 2.682 0.061 27.826 0.603 0.377 0.000 0.466 8.099

Problem 9192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 40 40 39 30 30 27 31 31

N.S.

1 1.43 1.43 1.39 1.07 1.07 0.96 1.11 1.11

time (sec)

N/A 0.038 0.018 10.486 0.274 0.402 0.074 0.408 6.846

Problem 9193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 40 24 0 24 19 20 39 19

N.S.

1 1.67 1.00 0.00 1.00 0.79 0.83 1.62 0.79

time (sec)

N/A 0.560 0.090 0.643 0.578 0.383 0.103 0.422 0.386

Problem 9194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A B A B B

verified

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

size

25 0 19 17 40 44 49 83 44

N.S.

1 0.00 0.76 0.68 1.60 1.76 1.96 3.32 1.76

time (sec)

N/A 3.131 0.890 1.648 0.309 0.455 0.095 0.442 8.285

Problem 9195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

12 9 9 10 9 9 7 9 9

N.S.

1 0.75 0.75 0.83 0.75 0.75 0.58 0.75 0.75

time (sec)

N/A 0.003 0.001 0.449 0.258 0.377 0.009 0.401 8.044

Problem 9196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

28 0 37 31 30 36 31 30 109

N.S.

1 0.00 1.32 1.11 1.07 1.29 1.11 1.07 3.89

time (sec)

N/A 0.681 0.146 0.664 0.299 0.383 0.150 0.424 8.036

Problem 9197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 28 97 0 33 32 0 32

N.S.

1 1.00 1.00 3.46 0.00 1.18 1.14 0.00 1.14

time (sec)

N/A 1.427 0.036 11.706 0.000 0.423 0.132 0.000 7.542

Problem 9198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F F B B B B B B

verified

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

size

28 0 0 95 78 87 87 95 89

N.S.

1 0.00 0.00 3.39 2.79 3.11 3.11 3.39 3.18

time (sec)

N/A 18.445 7.317 1.744 0.640 0.375 1.935 0.486 9.937

Problem 9199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F F A A A B A F

verified

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

size

35 0 0 58 61 59 58 61 -1

N.S.

1 0.00 0.00 1.66 1.74 1.69 1.66 1.74 -0.03

time (sec)

N/A 16.776 1.273 0.606 0.577 0.404 0.344 0.433 0.000

Problem 9200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 7 7 8 7 11 5 7 7

N.S.

1 0.54 0.54 0.62 0.54 0.85 0.38 0.54 0.54

time (sec)

N/A 0.003 0.001 0.354 0.263 0.389 0.013 0.423 0.026

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