Add formula demo to README.md