I am starting out with the symbolic toolbox to derive/verify some lengthy expressions for derivatives of products of trig functions of a single variable.As the simplest example of what I want to do with the toolbox, consider the functionf = cos(g) where g is a function of a real variable x.