#include #include int main( int argc, char *argv[]) { int n = 1000000000; int i; double pi; double h; double x; // $INIT$ h = 1.0 / (double) n; pi= 0.0; // $SUM$ DECOMP(i=1,n+1) REDUCE(pi) REDUCETYPE(double) for(i=1; i