Simplify square root of (pi- square root of 15)^2