Added Formula for gtest