Bounds computation for Mul