[math-fun] Boy do we need a good radical simplifier