Are you sure cis(x*y) == cis(x)^y? These types of rules often don’t work since they depend on which branch of the complex logarithm you take.
Are you sure cis(x*y) == cis(x)^y? These types of rules often don’t work since they depend on which branch of the complex logarithm you take.