100% branch and statement coverage doesn't begin to cover "all". Consider:
double sin(double x) { return x; }
Simply testing x = 0 gives you 100% branch and statement coverage, but I don't think you want to ship just yet =)