Type in any expression with balanced brackets, e.g., ((((((12)3)4)5)6)7). It will then be rewritten to the right most bracketing of the expression step by step, by successive application of the associativity law.