OK. There are many ways to write each trig function in terms of the others (it's really a limitation of the current rewrite system that it can't handle so many different ways). So this is probably fine for now, but at least put a comment explaining why this is here.