It makes sense to me. I think I would add a transform that looks for `cos(x) - I*sin(x)`, kind of a special induced formula. Should `cos(x) + I*sin(x)` go to `exp(I*x)`, too?