Newbie question: diff,ratsimp,factor



Oops, I forgot one definition:

trigify(ex):=subst('x/%i,'x,demoivre(subst('x*%i,'x,ex)))

              -s