Ну формул , конечно, меньше 300.
Если при этом не считать формулы, вытекающие из основных.
Их штук 50-70, наверно, не больше.