TIMEOUT
MAYBE
Trs:
 {*(x, *(y, z)) -> *(*(x, y), z),
        *(x, x) -> x}
 Open