Morphocompletion for #7576 ⟨a, b, c | ab=1, caac=ac⟩

Solved by morph:3/1. (See Morphocompletion.)

Step 1

Checking up to 20 rules for overlaps.

Reduction order:
- Left-to-right recursive path with deg(b) = 0; deg(a) = deg(c) = 1, a < c

Rewriting system is not complete: arenaWorkLimit

#	Rule
1.	ab ⇒ 1
2.	caac ⇒ ac
3.	caaac ⇒ aac
4.	caaaac ⇒ aaac
5.	caaaaac ⇒ aaaac
6.	caaaaaac ⇒ aaaaac
7.	caaaaaaac ⇒ aaaaaac
8.	caaaaaaaac ⇒ aaaaaaac
9.	caaaaaaaaac ⇒ aaaaaaaac
10.	caaaaaaaaaac ⇒ aaaaaaaaac
11.	caaaaaaaaaaac ⇒ aaaaaaaaaac
12.	caaaaaaaaaaaac ⇒ aaaaaaaaaaac
13.	caaaaaaaaaaaaac ⇒ aaaaaaaaaaaac
14.	caaaaaaaaaaaaaac ⇒ aaaaaaaaaaaaac
15.	caaaaaaaaaaaaaaac ⇒ aaaaaaaaaaaaaac
16.	caaaaaaaaaaaaaaaac ⇒ aaaaaaaaaaaaaaac
17.	caaaaaaaaaaaaaaaaac ⇒ aaaaaaaaaaaaaaaac
18.	caaaaaaaaaaaaaaaaaac ⇒ aaaaaaaaaaaaaaaaac
19.	caaaaaaaaaaaaaaaaaaac ⇒ aaaaaaaaaaaaaaaaaac
20.	caaaaaaaaaaaaaaaaaaaac ⇒ aaaaaaaaaaaaaaaaaaac
	...

Collecting factors up to length 4 / frequency 7:

Considering [length 3 / frequency 1] caa=d.

Auxiliary generators:
1. d = caa
Reduction order:
- Left-to-right recursive path with deg(b) = deg(d) = 0, b < d; deg(a) = deg(c) = 1, a < c

Rewriting system is complete. See ⟨a, b, c | ab=1, caac=ac⟩.