Searching in mathcat4j-core