nsight timing output for f#