Fixed a bug: analyze formula becomes really slow