symmetrizer example
reduce