(integrate from x=0 to pi/4: cos(x)) / (pi/4)