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