Created a simple test case for every formula