Simple formulas for the energy loss of ultrarelativistic muons by direct pair production