cis(pi/8)*cis(7pi/6)=cis(31pi/24)