Use optimizing functions to construct interpolants
Extend formula constructors to simplify T/F
Simplify T/F root interpolants