- ex re_ex = re.is_rational() ? re : replace_with_symbol(re, repl);
- ex im_ex = im.is_rational() ? im : replace_with_symbol(im, repl);
- numex = re_ex + im_ex * replace_with_symbol(I, repl);
+ ex re_ex = re.is_rational() ? re : replace_with_symbol(re, repl, rev_lookup);
+ ex im_ex = im.is_rational() ? im : replace_with_symbol(im, repl, rev_lookup);
+ numex = re_ex + im_ex * replace_with_symbol(I, repl, rev_lookup);