> readlib(trigsubs);
proc(s,f) ... end
> trigsubs(cos(x));
é ê ê ê ê ë |
cos(x), |
cos(x), |
| 2cos |
æ ç è |
1
2 |
x |
ö2 ÷ ø |
- |
1, |
1 |
- |
2sin |
æ ç è |
1
2 |
x |
ö2 ÷ ø |
, |
|
| cos |
æ ç è |
1
2 |
x |
ö2 ÷ ø |
- |
sin |
æ ç è |
1
2 |
x |
ö2 ÷ ø |
, |
|
1
sec(x) |
, |
1
sec(x) |
, |
|
, |
1
2 |
e(Ix) |
+ |
1
2 |
e(-Ix) |
ù ú ú ú ú ú ú ú û |
|