        /**  Circular functions - multiple angle relations  **/
 
/*K: trigonometric functions; trigonometric relations; Cos; Sin */
/* This file contains rules for the expansion of Sin and Cos of multiple
   angles which will be automatically applied.  The same relationships,
   in terms of substitution rules, are contained in XTr24a. */ 
   
 
Sin[$x ($n _= Intp[$n])] :: (Lcl[%n]; %n:Abs[$n]; \ 
        Ex[Sign[$n] Sin[$x] (2Cos[$x])^Evenp[%n] \
        Sum[(-1)^k Comb[%n-k-1,k] Ex[(4-4Sin[$x]^2)^((%n-2k-1-Evenp[%n])/2)],\
        {k,0,Floor[(%n-1)/2]}]])
 
Cos[$x ($n_=Intp[$n])] :: (Lcl[%n]; %n:Abs[$n]; 2^(%n-1) Cos[$x]^%n+\
     %n/2Sum[(-1)^k Comb[%n-k-1,k-1]/k (2Cos[$x])^(%n-2k),{k,1,Floor[%n/2]}])
 
_XTr24[Loaded] : 1
 
