xaby'efku lujvo

x₁=xadba₁=efku₁ is an exact/approximate half of a half of a half... of x₂=xadba₂=efku₂, cut in half exactly x₃=efku₃ times, by standard x₄=xadba₃