Work on the simplifier: TMS and TIMESIN
- Subject: Work on the simplifier: TMS and TIMESIN
- From: Dieter Kaiser
- Date: Sun, 31 May 2009 23:45:29 +0200
In addition this is a logfile with all failures in the testsuite we will
get with the improved simplification code:
;; Dribble of #<IO TERMINAL-STREAM> started on NIL.
#<OUTPUT BUFFERED FILE-STREAM CHARACTER maxima.log>
(%o2) done
(%i3) run_testsuite();
Running tests in rtestnset: 519/519 tests passed.
Running tests in rtest1: 106/106 tests passed.
Running tests in rtest1a: 24/24 tests passed.
Running tests in rtest2:
0 errors, 0 warnings
56/56 tests passed.
Running tests in rtest4: 89/89 tests passed.
Running tests in rtest5: 52/52 tests passed (not counting 1 expected
errors).
Running tests in rtest6: 4/4 tests passed.
Running tests in rtest6a: 56/56 tests passed.
Running tests in rtest6b: 16/16 tests passed.
Running tests in rtest7: 44/44 tests passed.
Running tests in rtest9:
********************** Problem 36 ***************
Input:
ev(ratdisrep(rat(%)), algebraic)
Result:
(7 sqrt(3) - 10 sqrt(2) + 2) a - 2 sqrt(2) - 1
----------------------------------------------
7
This differed from the expected result:
- 1 - 2 sqrt(2) + (2 - 10 sqrt(2) + 7 sqrt(3)) a
------------------------------------------------
7
82/83 tests passed (not counting 1 expected errors).
The following 1 problem failed: (36)
Running tests in rtest9a: 22/22 tests passed.
Running tests in rtest10: 46/46 tests passed (not counting 2 expected
errors).
Running tests in rtest11: 112/112 tests passed.
Running tests in rtest13: 24/24 tests passed.
Running tests in rtest13s: 17/17 tests passed.
Running tests in rtest14:
WARNING: DEFUN/DEFMACRO: redefining function SIMP-UNIT-STEP in
/usr/local/share/maxima/5.18post/share/orthopoly/orthopoly.lisp, was
defined in top-level
WARNING: DEFUN/DEFMACRO: redefining function SIMP-POCHHAMMER in
/usr/local/share/maxima/5.18post/share/orthopoly/orthopoly.lisp, was
defined in top-level
********************** Problem 62 ***************
Input:
3/2 - p t
ratsimp(specint(t %h (t) %e , t))
1/2, 1
Result:
2
sqrt(%pi) (sqrt(2) %i p - 2 sqrt(2) p - sqrt(2) %i)
- ----------------------------------------------------
4 2
%pi p + 2 %pi p + %pi
This differed from the expected result:
2
sqrt(%pi) (- sqrt(2) %i - 2 sqrt(2) p + sqrt(2) %i p )
- ------------------------------------------------------
2 4
%pi + 2 %pi p + %pi p
351/352 tests passed (not counting 2 expected errors).
The following 1 problem failed: (62)
Running tests in rtest15:
********************** Problem 188 ***************
Input:
1
integrate(-----------, x, 0, 3 %pi)
2
1 + sin (x)
Result:
%pi
sqrt(2) %pi + -------
sqrt(2)
This differed from the expected result:
3 sqrt(2) %pi
-------------
2
********************** Problem 190 ***************
Input:
2
t log(t)
integrate(-----------------, t, 0, 1)
2 4
(t - 1) (1 + t )
Result:
2
(sqrt(2) - 1) %pi
------------------
9/2
2
This differed from the expected result:
2
(sqrt(2) - 2) %pi
- ------------------
32
********************** Problem 193 ***************
Input:
1
factor(expand(sqrtdenest(integrate(------------, x, 0, 1))))
1 4
- + (x - 3)
2
Result:
11/2 3/4 1/4
- ((965345 2 - 25585793 2 - 35701248 2 + 41776384)
13/4 5/2 3/4 13/4 5/2 3/4
2 + 2 + 2 2 + 2 + 2
(%i atan(-------------------) - atan(-------------------)
3/4 1/4 3/4 1/4
2 - 8 2 - 98 2 - 8 2 - 98
5/2 7/4 5/2 7/4
2 + 2 + 1 2 + 2 + 1
+ %i atan(------------------) + atan(------------------)
5/2 1/4 5/2 1/4
2 + 49 2 - 1 2 + 49 2 - 1
5/2 3/4 1/4 5/2 3/4 1/4
2 - 2 - 8 2 2 - 2 - 8 2
+ %i atan(--------------------) - atan(--------------------)
3/4 1/4 3/4 1/4
2 - 8 2 + 98 2 - 8 2 + 98
5/2 3/4 5/2 3/4
2 - 2 2 + 1 2 - 2 2 + 1
- %i atan(------------------) - atan(------------------)
5/2 1/4 5/2 1/4
2 - 49 2 - 1 2 - 49 2 - 1
9/4 3/4 3/4 1/4
3 2 - 2 + sqrt(2) + 73 2 + sqrt(2) - 12 2 + 73
- log(----------------------------) +
log(-----------------------------)))
33 33
3/4 1/4
/(4 (- 20888192 2 + 25585793 sqrt(2) - 30891040 2 + 35701248))
This differed from the expected result:
1/4 1/4 3/4
8 + 4 2 + sqrt(2) 2 + 73 2 - 12 sqrt(2) + 2
(- 2 atan(-----------------------) +
log(-------------------------------)
3/4 1/4
- 8 + sqrt(2) - 49 2 33 2
1/4 3/4 1/4
- 2 + 73 2 + 12 sqrt(2) + 2 8 - 4 2 + sqrt(2)
- log(---------------------------------) + 2
atan(-----------------------))
1/4
3/4
33 2 - 8 + sqrt(2) + 49 2
3/4
/(2 2 )
********************** Problem 212 ***************
Input:
2
x
integrate(-----------, x, - 1, 1)
6 3/2
(x + 1)
Result:
2
---------
3 sqrt(2)
This differed from the expected result:
sqrt(2)
-------
3
********************** Problem 225 ***************
Input:
sqrt(2) 2 sqrt(2)
------- - ---------
6 6
Result:
1 sqrt(2)
--------- - -------
3 sqrt(2) 3
This differed from the expected result:
- sqrt(2)
---------
6
244/249 tests passed.
The following 5 problems failed: (188 190 193 212 225)
Running tests in rtest16:
********************** Problem 19 ***************
Input:
1
powerseries(------------, x, 0)
2
- x - x + 1
Result:
inf
==== - i2 - 1 i2 - i2 - 1
i2
\ 2 (sqrt(5) - 1) 2 2 (sqrt(5) + 1) (- 2)
i2
- > (- --------------------------- -
-------------------------------) x
/ sqrt(5) sqrt(5)
====
i2 = 0
This differed from the expected result:
inf
==== - 1 - i2 i2 - 1 - i2
i2
\ - 2 (sqrt(5) - 1) 2 2 (1 + sqrt(5)) (- 2)
i2
- > (----------------------------- -
-------------------------------) x
/ sqrt(5) sqrt(5)
====
i2 = 0
********************** Problem 20 ***************
Input:
x + 1
powerseries(--------, x, 0)
2
1 - 2 x
Result:
inf i3 - 2 i3 - 2
==== ------ ------
\ 1 2 i3 1 2 i3
> (- (------- - 1) 2 (- 1) - (- ------- - 1) 2 ) x
/ sqrt(2) sqrt(2)
====
i3 = 0
This differed from the expected result:
1 1 i3 1 1 i3
1 (- 1 - -------) (-------) 1 (------- - 1) (---------)
inf sqrt(2) 1 sqrt(2) 1
==== ------- - -------
\ sqrt(2) sqrt(2)
i3
> (- ----------------------------- - -----------------------------)
x
/ 1 4 1 4
==== ------- (-------) (- -------) (- -------)
i3 = 0 sqrt(2) sqrt(2) sqrt(2) sqrt(2)
********************** Problem 22 ***************
Input:
3
x + 1
powerseries(------------, x, 0)
2
- x - x + 1
Result:
inf
==== - i5 - 1 i5 - i5 - 1
i5
\ 2 (sqrt(5) - 1) 2 2 (sqrt(5) + 1) (-
2)
- 2 x > (- --------------------------- -
-------------------------------)
/ sqrt(5) sqrt(5)
====
i5 = 0
i5
x -
x + 1
This differed from the expected result:
inf
==== - 1 - i5 i5
\ - 2 (sqrt(5) - 1) 2
1 - x - 2 x > (-----------------------------
/ sqrt(5)
====
i5 = 0
- 1 - i5
i5
2 (1 + sqrt(5)) (- 2)
i5
-
-------------------------------) x
sqrt(5)
********************** Problem 124 ***************
Input:
erf(x)
gruntz(----------------, x, 0, minus)
sqrt(1 - cos(x))
Result:
3/2
2
- ---------
sqrt(%pi)
This differed from the expected result:
- 2 sqrt(2)
-----------
sqrt(%pi)
186/190 tests passed.
The following 4 problems failed: (19 20 22 124)
Running tests in rtestode: 68/68 tests passed.
Running tests in rtestode_zp: 30/30 tests passed.
Running tests in rtest3: 120/120 tests passed.
Running tests in rtest8: 119/119 tests passed.
Running tests in rtest12: 78/78 tests passed (not counting 2 expected
errors).
Running tests in rexamples: 136/136 tests passed.
Running tests in rtesthyp: 258/258 tests passed.
Running tests in rtest_hypgeo: 248/248 tests passed (not counting 2
expected errors).
Running tests in rtestmt19937: 15/15 tests passed.
Running tests in rtest_allnummod: 501/501 tests passed (not counting 4
expected errors).
Running tests in rtestconjugate: 133/133 tests passed.
Running tests in rtestsum:
********************** Problem 141 ***************
Input:
sum(sqrt(3), i, 1, 3)
Result:
3 sqrt(3)
This differed from the expected result:
3 sqrt(3)
********************** Problem 142 ***************
Input:
sum(sqrt(3), i, - 1, 1)
Result:
3 sqrt(3)
This differed from the expected result:
3 sqrt(3)
289/291 tests passed (not counting 4 expected errors).
The following 2 problems failed: (141 142)
Running tests in rtest_trig: 136/136 tests passed.
Running tests in rtest_zeta: 18/18 tests passed.
Running tests in rtest_diff_invtrig: 22/22 tests passed.
Running tests in rtest_scalarp: 20/20 tests passed.
Running tests in rtest_everysome: 84/84 tests passed.
Running tests in rtestint:
********************** Problem 110 ***************
Input:
1
ratsimp(integrate(-----------, x, 0, 8))
2
1 + sin (x)
Result:
sqrt(2) sin(8)
sqrt(2) atan(--------------) + 3 sqrt(2) %pi
cos(8)
--------------------------------------------
2
This differed from the expected result:
sqrt(2) sin(8)
3 %pi + atan(--------------)
cos(8)
----------------------------
sqrt(2)
130/131 tests passed.
The following 1 problem failed: (110)
Running tests in rtestifactor: 25/25 tests passed.
Running tests in rtest_equal: 199/199 tests passed (not counting 2
expected errors).
Running tests in rtest_abs:
********************** Problem 70 ***************
Input:
! sqrt(3) %i 1 !
! ---------- - - !
! %i 1 1/3 - sqrt(3) %i 1 2 2 !
ratsimp(!(--------- - -) (------------ - -) + --------------------!)
! 6 sqrt(3) 6 2 2 %i 1 1/3!
! 3 (--------- - -) !
! 6 sqrt(3) 6 !
Result:
5 %pi 5 %pi
sqrt(3) sin(-----) - cos(-----)
18 18
-------------------------------
sqrt(3)
This differed from the expected result:
2 5 %pi 5 %pi 5 %pi 2 5 %pi
sqrt(cos (-----) - 2 sqrt(3) cos(-----) sin(-----) + 3 sin (-----))
18 18 18 18
-------------------------------------------------------------------
sqrt(3)
69/70 tests passed.
The following 1 problem failed: (70)
Running tests in rtest_taylor: 138/138 tests passed (not counting 12
expected errors).
Running tests in rtest_dot: 55/55 tests passed.
Running tests in rtest_mset: 59/59 tests passed.
Running tests in rtest_boolean: 116/116 tests passed (not counting 2
expected errors).
Running tests in rtest_round: 99/99 tests passed.
Running tests in rtest_map: 99/99 tests passed (not counting 3 expected
errors).
Running tests in rtest_sign: 254/254 tests passed (not counting 11
expected errors).
Running tests in rtest_algebraic:
********************** Problem 5 ***************
Input:
- 1
ratsimp(-----------)
2/3 2/3
2 + 5
Result:
2/3 2/3 1/3 1/3
2 5 - 5 5 - 2 2
---------------------------
29
This differed from the expected result:
1/3 1/3 2/3 2/3
- 2 2 - 5 5 + 2 5
-----------------------------
29
44/45 tests passed.
The following 1 problem failed: (5)
Running tests in rtest_gamma:
********************** Problem 658 ***************
Input:
5 - 3
closeto(float(rectform(beta_incomplete(2, -, %i + ---)))
2 2
- beta_incomplete(2.0, 2.5, %i - 1.5), 0.0,
2.8E-15)
Result:
2.931072891608563E-15
This differed from the expected result:
true
687/688 tests passed.
The following 1 problem failed: (658)
Running tests in rtest_expintegral:
********************** Problem 60 ***************
Input:
5 1
expintegral_e(-, -)
2 2
Result:
5/2 3/2
1 2 2 2
4 sqrt(%pi) (1 - erf(-------)) ---- - ------
sqrt(2) 3 3
------------------------------ - -------------
3 sqrt(%e)
----------------------------------------------
3/2
2
This differed from the expected result:
1
2 sqrt(%pi) (1 - erf(-------))
sqrt(2)
------------------------------
3 sqrt(2)
184/185 tests passed.
The following 1 problem failed: (60)
Running tests in rtest_signum: 30/30 tests passed.
Running tests in rtest_lambert_w: 34/34 tests passed.
Running tests in rtest_elliptic: 74/74 tests passed.
Running tests in rtest_integrate: 740/740 tests passed.
Running tests in rtest_integrate_special: 50/50 tests passed.
Error summary:
Error found in /usr/local/share/maxima/5.18post/tests/rtest9.mac,
problem:
(36)
Error found in /usr/local/share/maxima/5.18post/tests/rtest14.mac,
problem:
(62)
Errors found in /usr/local/share/maxima/5.18post/tests/rtest15.mac,
problems:
(188 190 193 212 225)
Errors found in /usr/local/share/maxima/5.18post/tests/rtest16.mac,
problems:
(19 20 22 124)
Errors found in /usr/local/share/maxima/5.18post/tests/rtestsum.mac,
problems:
(141 142)
Error found in /usr/local/share/maxima/5.18post/tests/rtestint.mac,
problem:
(110)
Error found in /usr/local/share/maxima/5.18post/tests/rtest_abs.mac,
problem:
(70)
Error found
in /usr/local/share/maxima/5.18post/tests/rtest_algebraic.mac, problem:
(5)
Error found in /usr/local/share/maxima/5.18post/tests/rtest_gamma.mac,
problem:
(658)
Error found
in /usr/local/share/maxima/5.18post/tests/rtest_expintegral.mac,
problem:
(60)
Real time: 1808.5674f0 sec.
Run time: 1199.8829f0 sec.
Space: 9803320448 Bytes
GC: 3605, GC time: 183.39142f0 sec.
(%o0) done
(%i1) closefile();
2009-05-31 22:12:34
;; Dribble of #<IO TERMINAL-STREAM> finished on NIL.