I don’t have a solution but maybe a hint: You can, in a first step, download the DEM in slant range geometry by right clicking on the band > Add Elevation band.
You would then be able to derive it based on elevation and the incidence_angle tie-point grid somehow in the band maths operator but I don’t know the formula either.
