Morphocompletion for #2918 ⟨a, b | aaabaababba=1⟩

Solved by morph:6/0,4/0. (See Morphocompletion.)

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#	Rule
1.	baaaabaaba ⇒ aaaabaabab
2.	babbaaaa ⇒ aabaabab
3.	aaaabaababb ⇒ 1
4.	baaaabaabab ⇒ 1
5.	baababba ⇒ abaababb
6.	aabaabababaababb ⇒ babba
7.	aabaababaabaababb ⇒ babbaa
8.	aabaababaaabaababb ⇒ babbaaa
9.	aabaababbbabba ⇒ baabababaababb
10.	aabaababbbaababbbabba ⇒ baababbbaabababaababb
11.	aabaababbbaababbbaababbbabba ⇒ baababbbaababbbaabababaababb
12.	aabaababbbaababbbaababbbaababbbabba ⇒ baababbbaababbbaababbbaabababaababb
13.	aabaababbbaababbbaababbbaababbbaababbbabba ⇒ baababbbaababbbaababbbaababbbaabababaababb
14.	aabaababbbaababbbaababbbaababbbaababbbaababbbabba ⇒ baababbbaababbbaababbbaababbbaababbbaabababaababb
15.	aabaababbbaababbbaababbbaababbbaababbbaababbbaababbbabba ⇒ baababbbaababbbaababbbaababbbaababbbaababbbaabababaababb
	...

Collecting factors up to length 7, frequency 4:

Considering [length 6 / frequency 0] baabab=c.

Checking up to 20 rules for overlaps.

Reduction order:
- Right-to-left recursive path with deg(a) = 0; deg(b) = deg(c) = 1, b < c
Auxiliary generators:
1. baabab=c

Rewriting system is not complete: roundsLimit

Collecting factors up to length 6, frequency 7:

Length 2:	[2/0] aa, [2/1] ac, [2/2] ba, [2/3] cb, [2/4] ab, [2/5] bb, [2/6] ca
Length 3:	[3/0] aac, [3/1] aaa, [3/2] acb, [3/3] bab, [3/4] baa, [3/5] bba, [3/6] caa
Length 4:	[4/0] aacb, [4/1] aaac, [4/2] aaaa, [4/3] aaca, [4/4] acbb, [4/5] bbab, [4/6] baab
Length 5:	[5/0] aaaac, [5/1] baaaa, [5/2] aacaa, [5/3] cbbab, [5/4] aacbc, [5/5] aacbb, [5/6] aaacb

Considering [length 4 / frequency 0] aacb=d.

Reduction order:
- Right-to-left recursive path with deg(a) = deg(d) = 0, a < d; deg(b) = deg(c) = 1, b < c
Auxiliary generators:
1. baabab=c
2. aacb=d

Rewriting system is complete. See ⟨a, b | aaabaababba=1⟩.