minimal polynomial of sqrt(2)+sqrt(3)+sqrt(5)