Diff for "WesterBenchmarks"

Differences between revisions 1 and 2

Problem Key
→	simplify
A(...)	assume ...

Performance Key
×	wrong answer/cannot do the problem
s sec/ms/μs	performs correctly in time s
>.<,s	performs correctly in time s, very difficult to convince system to do what you want

Problem	Maple	Mathematica	GiNaC	Maxima	Sage	Symbolics	Notes (such as code used/version etc.)
√2√3+4→1+√3
2∞−3→∞
ex−1ex/2+1→ex/2−1
A(x≥y,y≥z,z≥x);x=z?
A(x>y,y>0);2x2>2y2?
cosxcos(3x)→cos2x−3sin2x
cosxcos(3x)→2cos(2x)−1
A(x,y>0);x1/ny1/n−(xy)1/n→0
log(tan(21x+4π))−sinh−1(tan(x))→0
log2√r+1√4r+4√r+1→0

-  ⇤ ← Revision 1 as of 2008-08-12 09:13:38 → 
  Size: 35
  Editor: RobertMiller
  Comment:
+   ← Revision 2 as of 2008-08-12 11:10:09 → ⇥
  Size: 1259
  Editor: RobertMiller
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 1:
-Describe SymbolicBenchmarks here.
+||<-2> Problem Key ||
||  $\to$  || simplify ||
||  $A (. . .)$  || assume ... ||

||<-2> Performance Key ||
||  $\times$  || wrong answer/cannot do the problem ||
||  $s s e c / m s / μ s$      || performs correctly in time  $s$  ||
||  $> . <, s$  || performs correctly in time  $s$ , very difficult to convince system to do what you want ||

|| Problem || Maple || Mathematica || GiNaC || Maxima || Sage || Symbolics || Notes (such as code used/version etc.) ||
||  $\sqrt{2 \sqrt{3} + 4} \to 1 + \sqrt{3}$  || || || || || || || ||
||  $2 \infty - 3 \to \infty$  || || || || || || || ||
||  $\frac{e^{x} - 1}{e^{x / 2} + 1} \to e^{x / 2} - 1$  || || || || || || || ||
||  $A (x \geq y, y \geq z, z \geq x); x = z ?$  || || || || || || || ||
||  $A (x > y, y > 0); 2 x^{2} > 2 y^{2} ?$  || || || || || || || ||
||  $\frac{\cos (3 x)}{\cos x} \to \cos^{2} x - 3 \sin^{2} x$  || || || || || || || ||
||  $\frac{\cos (3 x)}{\cos x} \to 2 \cos (2 x) - 1$  || || || || || || || ||
||  $A (x, y > 0); x^{1 / n} y^{1 / n} - (x y)^{1 / n} \to 0$  || || || || || || || ||
||  $\log (\tan (\frac{1}{2} x + \frac{π}{4})) - \sinh^{- 1} (\tan (x)) \to 0$  || || || || || || || ||
||  $\log \frac{2 \sqrt{r} + 1}{\sqrt{4 r + 4 \sqrt{r} + 1}} \to 0$  || || || || || || || ||