f
Simulate erlang:'rem'/2 w/ symbolic evaluation