Modeling of sliding speed of harmonic reducer based on double-circular-arc tooth profile