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