simplification rules

ft shift implemented