Calculation of the edge cut margin to obtain an octagonal face

Calculation of the indentation of the beginning of the cut along the edge of a square in cross-section bar to obtain a regular octagon at the base (the end is a regular octagon).