A simple symbolic computing language