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_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
FULL
tct_complexity/TCT_12/recursion-5.trs