As of early Alpha, I suspect this to be the issue. To test this, open Developer Console (Ctrl + Shift + I on Windows, or open context menu onto any point of the page and click "Inspect Element"). Now click outside of the console, get some formula not as it's listed (for example, type F and D instead of D and F) and press Space. If the console logs "Not enough mana", this is the case. Let me know whether it is. I'm currently looking for ways to make the search engine capable of figuring out what formula is used by trying all possible combinations. In other words, once I'm back to working on Weaver - pushing it towards Beta, that is - this will be solved quite quickly. EDIT: as of Alpha 01 (released 07/07/16) the search issue is resolved.the search by formula doesn't currently work in every way - that is, Forza + Sancta won't be interpreted as Sancta + Forza.