/* 0.28.0 */
import type { BoxedExpression, SimplifyOptions, RuleSteps } from '../global-types';
type InternalSimplifyOptions = SimplifyOptions & {
    useVariations: boolean;
};
export declare function simplify(expr: BoxedExpression, options?: Partial<InternalSimplifyOptions>, steps?: RuleSteps): RuleSteps;
export {};