The Wolfram language successfully resolves it:
https://www.wolframalpha.com/input/?i=sin%28pi+%2F+6%29+%3D%...
https://www.wolframalpha.com/input/?i=sin%28pi+%2F+6%29+%3D%...
As one of the maintainers has noted repeatedly on this thread, Pyret is a "real-life programming language" whose purpose is educational. Mathematica is a "real-life programming language" whose purpose is solving math equations. Performance isn't much of an issue in either case, so it's a perfectly acceptable trade-off.
That these languages weren't designed with your use case in mind doesn't make them illegitimate or inferior languages.