Equations for 502.trs

Equation 1

f(f(f(f(a)))) = f(x)

Equation 2

a = f(f(b))

Equation 3

f(f(f(b))) = x