export declare const checkFormula: (mathString: string, showTimeLog?: boolean) => string;