Simplify Conway expression.