Size of formula:
Local number of variables:
Generate new formula