# convert x to re(x) and im(x) ; tocomplex(polar(r_,x_)):=Complex(r*cos(x), r*sin(x));