f_0
x
a
f_1
x
g_1
x
x
g_1
s
x
y
b
f_0
y
g_1
x
y
f_2
x
g_2
x
x
g_2
s
x
y
b
f_1
y
g_2
x
y
f_3
x
g_3
x
x
g_3
s
x
y
b
f_2
y
g_3
x
y
f_4
x
g_4
x
x
g_4
s
x
y
b
f_3
y
g_4
x
y
f_5
x
g_5
x
x
g_5
s
x
y
b
f_4
y
g_5
x
y
f_6
x
g_6
x
x
g_6
s
x
y
b
f_5
y
g_6
x
y
f_7
x
g_7
x
x
g_7
s
x
y
b
f_6
y
g_7
x
y
f_8
x
g_8
x
x
g_8
s
x
y
b
f_7
y
g_8
x
y
f_9
x
g_9
x
x
g_9
s
x
y
b
f_8
y
g_9
x
y
f_10
x
g_10
x
x
g_10
s
x
y
b
f_9
y
g_10
x
y
f_0
1
a
0
f_1
1
g_1
2
s
1
b
2
f_2
1
g_2
2
f_3
1
g_3
2
f_4
1
g_4
2
f_5
1
g_5
2
f_6
1
g_6
2
f_7
1
g_7
2
f_8
1
g_8
2
f_9
1
g_9
2
f_10
1
g_10
2
FULL
tct_complexity/TCT_12/recursion-10.trs