"right-angle triangle given legs of length `x` and `y`"