negative 5 plus square root of 17