doc and test generate_formula