Coining of a cylindrical block

ALE formalism is used for avoiding mesh distortion.
Upper boundary nodes are constantly moved on the free surface to keep the boundary curved shape.
Height of the workpiece is reduced by 60%.
Results must be axisymmetric.