Add: current code expects coeff to always live in .args[0]