I've been doing some research on how spell casting times are calculated by the game. I've gathered quite a lot of data, which I'm dumping here regardless of whether it is interesting to anyone. To some, all of the below will be stating the obvious. If you've never really thought about how spell casting times are modified by different effects, there might be one or two interesting pieces of information here.
The original goal was to observe an Envoy Staff hitting all three possible "halves casting time of spells" (HCT) effects at the same time. Envoy Staffs (the gold versions only) are unique post-nerf staffs because they give an inherent 10% HCT rather than 20% HSR: