equals expressions, and identity simplification