Title: Heuristic symbolic integration