....
Clearly there is going to be some power loss if the angle of belt contact
with the small pulley is much less than 180 degrees but are there any math
formulae which would help in optimum design? I have been through
....

common sense would dictate that you shouldn't go over an angle of about 45
degrees between top and bottom belt. Less if you're transmitting anywhere
near the capacity of the belt.

Karl