Problem Key |
|
|
simplify |
|
assume ... |
|
solve ... for |
|
Taylor series of ... based at b |
(p.v.) |
principal value |
(div) |
divergent |
Performance Key |
|
|
wrong answer/cannot do the problem |
|
performs correctly in time |
|
does not finish in time |
>.<, |
very difficult to convince system to do what you want (regardless of performance) |
Problem |
Maple |
Mathematica |
GiNaC |
Maxima |
Sage |
Symbolics |
Notes (such as code used/version etc.) |
|
|
|
|
|
|
|
|
|
|
|
|
|
s 47.2 µs |
|
|
|
|
|
|
|
s 2.59 ms |
|
|
|
|
|
|
|
s 1.57 ms |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
s 2.11 ms |
|
Note |
|
|
|
|
|
|
|
|
|
|
|
|
|
s 4.85 ms |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
s 3.93 ms |
|
|
|
|
|
|
|
s 24.6 ms |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
s 5.82 ms |
|
|
|
|
|
|
|
s 6.93 ms |
|
|
|
|
|
|
|
s 5.95 ms |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
\int_0^2\sqrt{x + \frac1x - 2}dx \rightarrow \frac{8-\sqrt8}3 |
|
|
|
|
|
|
|
A(a>0); \int_{-\infty}^\infty\frac{\cos x}{x^2+a^2}dx \rightarrow \frac\pi ae^{-a} |
|
|
|
|
|
|
|
A(0 < a < 1); \int_0^\infty\frac{t^{a-1}}{t+1}dt \rightarrow \frac{\pi}{\sin(\pi a)} |
|
|
|
|
|
|
|
T(\frac1{\sqrt{1-(x/c)^2}},x=0) |
|
|
|
|
|
|
|
T((\log x)^ae^{-bx},x=1) |
|
|
|
|
|
|
|
T(\log(\sinh z) + \log(\cosh(z + w))) |
|
|
|
|
|
|
|
T(\log(\frac{\sin x}{x}), x=0) |
|
|
|
|
s 5.19 ms |
|
at order 20 |