double f (double x);