(bind-func pol_to_cart (lambda (a:Complexd) (Cpxd (* (tref a 0) (cos (tref a 1))) (* (tref a 0) (sin (tref a 1))))))