Add Formula for libMini