The path that the point on the circle takes is called a cycloid. The equations that you used are the formula for the length of one arc of a cycloid.