Evaluate square root of (pi- square root of 17)^2