dx
X
one
dx
a
zero
dx
plus
ALPHA
BETA
plus
dx
ALPHA
dx
BETA
dx
times
ALPHA
BETA
plus
times
BETA
dx
ALPHA
times
ALPHA
dx
BETA
dx
minus
ALPHA
BETA
minus
dx
ALPHA
dx
BETA
dx
neg
ALPHA
neg
dx
ALPHA
dx
div
ALPHA
BETA
minus
div
dx
ALPHA
BETA
times
ALPHA
div
dx
BETA
exp
BETA
two
dx
ln
ALPHA
div
dx
ALPHA
ALPHA
dx
exp
ALPHA
BETA
plus
times
BETA
times
exp
ALPHA
minus
BETA
one
dx
ALPHA
times
exp
ALPHA
BETA
times
ln
ALPHA
dx
BETA
dx
1
one
0
a
0
zero
0
plus
2
times
2
minus
2
neg
1
div
2
exp
2
two
0
ln
1
FULL
./TRS/Rubio/polo2.trs