Modeling the high-field section of a muon helical cooling channel