half
0
0
half
s
0
0
half
s
s
x
s
half
x
le
0
y
true
le
s
x
0
false
le
s
x
s
y
le
x
y
inc
s
x
s
inc
x
inc
0
s
0
logarithm
x
logIter
x
0
logIter
x
y
if
le
s
0
x
le
s
s
0
x
half
x
inc
y
if
false
b
x
y
logZeroError
if
true
false
x
s
y
y
if
true
true
x
y
logIter
x
y
f
g
f
h
half
1
0
0
s
1
le
2
true
0
false
0
inc
1
logarithm
1
logIter
2
if
4
logZeroError
0
f
0
g
0
h
0
INNERMOST
./TRS/secret06/aprove/logarithm.trs