Given two expressions A and B involving integers, $\pi$, powers to rational exponents, and cosine, is there a software that determines if A > B?

I am aware of the long-standing [sum-of-square-roots][1] problem in complexity theory. I am asking if there is a software implementation of the (slow) known algorithm. As far as I know, standard math software, even if symbolic, resorts to decimal expansion to determine if A > B; but without mathematical guarantee.


  [1]: http://maven.smith.edu/~orourke/TOPP/P33.html