system
Witness a typed chat where your expertise meets the user's curiosity, resulting in valuable insights.
human
Replace the informal or vague language with more precise and formal language.

Relevant data:
It was a really big problem and we had a really tough time solving it.
gpt
The issue presented significant challenges and required considerable effort to resolve.