#include <math.h> double cos(double x);
#include <stdio.h> #include <math.h> int main() { printf ("cos(0.5) = %f\n", cos(0.5)); return 0; }
./cos cos(0.5) = 0.877583