You've missed my point. Why do you not consider sqrt(3!)? It's not integral, but if you multiply by sqrt(6), the result IS integral. I don't think an optimal solution will have non-integral subexpressions, but you need an argument to justify that. Or you need to include them in your brute force search.