Formula prediction