user: Demonstrate the C code that generates the assembly output below:

```asm
<ApproxDistance>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %rbx
  sub    $0xa8,%rsp
  movsd  %xmm0,-0x98(%rbp)
  movsd  %xmm1,-0xa0(%rbp)
  movsd  %xmm2,-0xa8(%rbp)
  movsd  %xmm3,-0xb0(%rbp)
  movsd  -0x98(%rbp),%xmm1
  movsd  D94(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x98(%rbp)
  movsd  -0xa0(%rbp),%xmm1
  movsd  D54(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xa0(%rbp)
  movsd  -0xa8(%rbp),%xmm1
  movsd  D94(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xa8(%rbp)
  movsd  -0xb0(%rbp),%xmm1
  movsd  D54(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xb0(%rbp)
  movsd  -0x98(%rbp),%xmm0
  addsd  -0xa8(%rbp),%xmm0
  movsd  D60(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x90(%rbp)
  movsd  -0x98(%rbp),%xmm0
  subsd  -0xa8(%rbp),%xmm0
  movsd  D60(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x88(%rbp)
  movsd  -0xa0(%rbp),%xmm0
  subsd  -0xb0(%rbp),%xmm0
  movsd  D60(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x80(%rbp)
  mov    -0x88(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x78(%rbp)
  mov    -0x80(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x70(%rbp)
  mov    -0x90(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x68(%rbp)
  mov    -0x80(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x60(%rbp)
  mov    -0x90(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x58(%rbp)
  mov    -0x88(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x50(%rbp)
  movsd  -0x78(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  mulsd  -0x70(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x70(%rbp),%xmm1
  movsd  -0x68(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  mulsd  -0x60(%rbp),%xmm0
  mulsd  -0x60(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x48(%rbp)
  movsd  -0x50(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  mulsd  -0x70(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x70(%rbp),%xmm1
  movsd  -0x58(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  mulsd  -0x60(%rbp),%xmm0
  mulsd  -0x60(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    -0x40(%rbp),%rax
  movq   %rax,%xmm0
  call   <sqrt@plt>
  movq   %xmm0,%rbx
  mov    -0x48(%rbp),%rax
  movq   %rax,%xmm0
  call   <sqrt@plt>
  movq   %xmm0,%rax
  movq   %rbx,%xmm1
  movq   %rax,%xmm0
  call   <atan2@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x38(%rbp)
  movsd  -0x48(%rbp),%xmm0
  mulsd  -0x40(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  call   <sqrt@plt>
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  divsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x30(%rbp),%xmm1
  movsd  D0(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D135(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x40(%rbp),%xmm0
  movapd %xmm0,%xmm2
  addsd  %xmm0,%xmm2
  divsd  %xmm2,%xmm1
  movapd %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x30(%rbp),%xmm1
  movsd  D0(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D135(%rip),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x48(%rbp),%xmm0
  movapd %xmm0,%xmm2
  addsd  %xmm0,%xmm2
  divsd  %xmm2,%xmm1
  movapd %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  movsd  -0x38(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  %xmm0,%xmm1
  movsd  D62(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x28(%rbp),%xmm1
  movsd  D114(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mulsd  -0x58(%rbp),%xmm0
  mulsd  -0x58(%rbp),%xmm0
  mulsd  -0x50(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x50(%rbp),%xmm1
  movsd  D135(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x20(%rbp),%xmm2
  movsd  D114(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x68(%rbp),%xmm1
  mulsd  -0x68(%rbp),%xmm1
  mulsd  -0x78(%rbp),%xmm1
  mulsd  -0x78(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  mulsd  -0x18(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  mov    -0x8(%rbp),%rbx
  leave
  ret
```

tool_calls: name: read_data
arguments: data_tag: D94
data_type: f64
name: read_data
arguments: data_tag: D54
data_type: byte[8]
name: read_data
arguments: data_tag: D60
data_type: f64
name: read_data
arguments: data_tag: D0
data_type: byte[8]
name: read_data
arguments: data_tag: D135
data_type: f64
name: read_data
arguments: data_tag: D62
data_type: f64
name: read_data
arguments: data_tag: D114
data_type: byte[8]

tool: D94: 0.01745329252

tool: {"D54": [0x11,0xdd,0x52,0xa2,0x46,0xdf,0x91,0xbf]}

tool: D60: 2

tool: {"D0": [0x00,0x00,0x00,0x00,0x00,0x00,0x08,0x40]}

tool: D135: 1

tool: D62: 6378.135

tool: {"D114": [0x76,0x38,0x67,0xc3,0x49,0x77,0x6b,0x3f]}

assistant: ```c
double ApproxDistance(double lat1, double lon1, double lat2, double lon2) {
  double F, G, L, sing, cosl, cosf, sinl, sinf, cosg, S, C, W, R, H1, H2, D;
  lat1 = 0.01745329252 * lat1;
  lon1 = -0.01745329252 * lon1;
  lat2 = 0.01745329252 * lat2;
  lon2 = -0.01745329252 * lon2;
  F = (lat1 + lat2) / 2.0;
  G = (lat1 - lat2) / 2.0;
  L = (lon1 - lon2) / 2.0;
  sing = sin(G);
  cosl = cos(L);
  cosf = cos(F);
  sinl = sin(L);
  sinf = sin(F);
  cosg = cos(G);
  S = sing * sing * cosl * cosl + cosf * cosf * sinl * sinl;
  C = cosg * cosg * cosl * cosl + sinf * sinf * sinl * sinl;
  W = atan2(sqrt(S), sqrt(C));
  R = sqrt((S * C)) / W;
  H1 = (3 * R - 1.0) / (2.0 * C);
  H2 = (3 * R + 1.0) / (2.0 * S);
  D = 2 * W * 6378.135;
  return (D * (1 + 1.0 / 298.26 * H1 * sinf * sinf * cosg * cosg - 1.0 / 298.26 * H2 * cosf * cosf * sing * sing));
}
```