How do we know no such solution exists? What if we jut don't currently have the tools to derive a closed form?

Wouldn't sin also work here? In that case how would you decide which one to use?