im(a_+b_) := im(a_)+im(b_);
im(a_-b_) := im(a_)-im(b_);
im(a_*b_) := im(a_)*re(b_)+re(a_)*im(b_);
im(Complex(a_,b_)):=b;
im(pi):=0;