add a few more formula tests

Change-Id: I3471227b97802d5f3cf5d41f5530d28163fee37d