Design researchers’ documentational genesis in a study on equivalence of algebraic expressions