To simplify tail(t):

1. Simplify t, yielding result x.

2. Check that x is a list of the form cons(a, b). If not, it is an error.

3. The simplified form of tail(t) is b.