base (5)!(100)F rule (x)F (x)F[!+(2*x/3)F
][!-(2*x/3)F
] (x)F[!-(2*x/3)F
]!(1*x/2)F
(x)F[!+(2*x/3)F
]!(1*x/2)F