Точное выражение для четырехцентрового интеграла на слэтеровских орбиталях, полученное с помощью машинной аналитики