3 ms·

Your need for utility will mostly likely be met by a symbolic algebra system not a formal reasoning system.