CRGreathouse said:
I'm impressed. This is exactly correct! Usually, people on the boards aren't that good with probability...
Thank you

And now I have the answer to the original question:
A PC generated via the following method:
Roll 7 stats, each stat via 4d6 drop lowest.
Then drop lowest stat.
has an average total of his/her ability scores of
77.46649420...
The exact value is
475717264465598581693141/6140942214464815497216
Evaluation of my formula for that problem was done with a computer in about 5 seconds.