How were algebraic manipulations justified (say by 16th century algebraists) before the formalization of `Tarski's high school identities' in the late 19th century by Boole, Peano etc. ? Specifically, I am wondering if the distributive law was explicitly cited.