@NikeDattani I don't know about the Mathematics.SE post, but the Mathematica post is pretty useless. It has a very long formula in code that the OP claims might parametrize a great circle, and they want help simplifying it. There is a deleted answer that gave no solution to the problem. The question was deleted by the Community Bot two years ago.

Sometimes results produced by Mma leave something to be desired. I created the simplest possible non-trivial version of a certain toy problem and asked Mma to generate conditions for it. Mathematica spew out a 44 megabyte inequality. I'm pretty convinced the solution can be written in less than hundred bytes.

Effectively the whole solution involves three two-dimensional HalfSpaces with small rational arguments. I must say it's quite elaborate to write that with a 44 MB inequality.