A regular octagon is formed by cutting an isosceles right triangle from each of the corners of a square with sides of length 2000. What is the length of each side of the octagon? Express your answer in simplest radical form.
<|im_start|>system
You are a helpful assistant.<|im_end|>
<|im_start|>user
A regular octagon is formed by cutting an isosceles right triangle from each of the corners of a square with sides of length 2000. What is the length of each side of the octagon? Express your answer in simplest radical form.
Please reason step by step, and put your final answer within \boxed{{}}.<|im_end|>
<|im_start|>assistant

user
2000 \sqrt{2} - 2000
A regular octagon is formed by cutting an isosceles right triangle from each of the corners of a square with sides of length 2000. What is the length of each side of the octagon? Express your answer in simplest radical form.
train