Apply properties of roots of unity (#663)