1%
2% Test for error in trigsimp
3%  https://sourceforge.net/p/reduce-algebra/bugs/51/
4%
5
61-(sin(pi*x/2))*2;
7
8
9          pi*x
10 - 2*sin(------) + 1
11           2
12
13
14trigsimp(ws);
15
16
17          pi*x
18 - 2*sin(------) + 1
19           2
20
21
22trigsimp(ws,cos);
23
24
25          pi*x
26 - 2*sin(------) + 1
27           2
28
29
30%
31% some more failures
32%
33
34trigsimp sin(1/2);
35
36
37     1
38sin(---)
39     2
40
41
42trigsimp  sin(x*y/2) ;
43
44
45     x*y
46sin(-----)
47      2
48
49
50trigsimp sin(x^2/2);
51
52
53      2
54     x
55sin(----)
56     2
57
58
59trigsimp  sin(1/(2*x));
60
61
62      1
63sin(-----)
64     2*x
65
66
67sin(1/(2*x)) + sin(x/2);
68
69
70     x           1
71sin(---) + sin(-----)
72     2          2*x
73
74
75trigsimp ws;
76
77
78     x           1
79sin(---) + sin(-----)
80     2          2*x
81
82
83trigsimp (  sin(x/(2*y)) + sin(y/(3*x)));
84
85
86      x            y
87sin(-----) + sin(-----)
88     2*y          3*x
89
90
91end;
92
93Tested on x86_64-pc-windows CSL
94Time (counter 1): 16 ms
95
96End of Lisp run after 0.01+0.04 seconds
97real 0.18
98user 0.00
99sys 0.06
100