According to that formula, my "number" is: 153.
I've used cranks from 155mm to 175mm. My own preference and best comfort is in the 155-165mm range. Current bike is at 170mm.
Have been eyeing the Thorn Short Triple crankset (which goes down as low as 150mm for the arms).
Haven't measured efficiency and power differences.