If you want justification that cis(x) = e^(ix), here are a few:
Noting that the derivative of cis(x) is -sin x + i cos x, differentiating cis(x)/e^(ix) by quotient rule gives (-sin x + i cos x)*e^(ix) - ie^(ix)*(cos x + i sin x) on the numerator, which if you look carefully is actually 0 as the terms cancel. Hence as the derivative is 0, cis(x)/e^(ix) should be constant. Subbing in x = 0 gives the value of this constant, which is 1. Hence, cis(x)/e^(ix) = 1 and cis(x) = e^(ix)
Alternatively, note that d/dx (cis x) = i*cis(x). cis(x) and e^(ix) both satisfy the differential equation dy/dx = iy and are both 1 when x = 0. As solutions of first order differential equations differ by at most one parameter (e.g. the solution to dy/dx = 1 is y = x + c where c is the parameter in question), and as both of these functions are the same at x = 0, they don't differ at all.