The term {tt (cis $tau$)} denotes the complex number denoted by $cos(tau) + i sin(tau)$. The argument is any non-complex number of radians.
(=> (Cis ?Radians ?Complex) (Not (Complex-Number ?Radians)))