The formula I described was about the final edited scene. How much sex happens to make a 10-20 minute scene totally varies, but it could be as much as an hour of actual fucking, but of course there is stopping and starting, and that one hour isn't necessarily continuous, it can happen within three hours of shooting, moving lights, changing positions, changing tapes, etc. etc.