user: Please show me the C implementation that matches the assembly code listed below:

```asm
<uv>:
  endbr64
  push   %rbp
  sub    $0x40,%rsp
  movsd  %xmm0,0x28(%rsp)
  movapd %xmm1,%xmm0
  call   <ss@plt>
  movsd  D7(%rip),%xmm4
  movsd  D73(%rip),%xmm3
  movapd %xmm0,%xmm1
  movsd  D33(%rip),%xmm5
  movsd  D114(%rip),%xmm7
  mulsd  %xmm0,%xmm0
  movsd  0x28(%rsp),%xmm2
  movsd  %xmm1,0x28(%rsp)
  mulsd  %xmm1,%xmm3
  mulsd  %xmm1,%xmm5
  cvttsd2si %xmm2,%ebp
  movsd  %xmm2,0x30(%rsp)
  addsd  D176(%rip),%xmm3
  mulsd  %xmm1,%xmm7
  mulsd  %xmm0,%xmm4
  mov    %ebp,%edi
  addsd  %xmm4,%xmm3
  movsd  D87(%rip),%xmm4
  mulsd  %xmm0,%xmm4
  movsd  %xmm3,0x8(%rsp)
  movsd  D30(%rip),%xmm3
  subsd  %xmm5,%xmm3
  movsd  D107(%rip),%xmm5
  mulsd  %xmm0,%xmm5
  mulsd  D55(%rip),%xmm0
  movapd %xmm3,%xmm6
  movsd  D61(%rip),%xmm3
  subsd  %xmm4,%xmm6
  addsd  %xmm7,%xmm3
  movsd  %xmm6,0x10(%rsp)
  movapd %xmm3,%xmm7
  movsd  D96(%rip),%xmm3
  subsd  %xmm5,%xmm7
  movsd  D31(%rip),%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm7,0x18(%rsp)
  subsd  %xmm5,%xmm3
  movapd %xmm3,%xmm7
  movsd  D123(%rip),%xmm3
  addsd  %xmm0,%xmm7
  movsd  D29(%rip),%xmm0
  movsd  %xmm7,0x20(%rsp)
  movsd  D100(%rip),%xmm7
  mulsd  %xmm1,%xmm7
  addsd  %xmm7,%xmm3
  subsd  %xmm4,%xmm3
  movapd %xmm1,%xmm4
  mulsd  D64(%rip),%xmm4
  movsd  %xmm3,0x38(%rsp)
  subsd  %xmm4,%xmm0
  call   <pow@plt>
  mulsd  0x8(%rsp),%xmm0
  movsd  0x28(%rsp),%xmm1
  mov    %ebp,%edi
  mulsd  D129(%rip),%xmm1
  addsd  D187(%rip),%xmm1
  movsd  %xmm0,0x8(%rsp)
  movapd %xmm1,%xmm0
  call   <pow@plt>
  mulsd  0x10(%rsp),%xmm0
  movsd  0x30(%rsp),%xmm2
  movsd  D169(%rip),%xmm4
  movsd  0x38(%rsp),%xmm3
  movapd %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  ucomisd %xmm2,%xmm0
  addsd  %xmm4,%xmm1
  ja     L4
  movapd %xmm2,%xmm0
  sqrtsd %xmm0,%xmm0
L16:
  mulsd  0x20(%rsp),%xmm0
  subsd  %xmm2,%xmm4
  addsd  0x18(%rsp),%xmm0
  cvttsd2si %xmm4,%edi
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  mulsd  0x8(%rsp),%xmm0
  movsd  %xmm0,0x8(%rsp)
  movapd %xmm3,%xmm0
  call   <pow@plt>
  mulsd  0x8(%rsp),%xmm0
  add    $0x40,%rsp
  pop    %rbp
  ret
L4:
  movapd %xmm2,%xmm0
  movsd  %xmm3,0x30(%rsp)
  movsd  %xmm1,0x28(%rsp)
  movsd  %xmm2,0x10(%rsp)
  call   <sqrt@plt>
  mov    D169(%rip),%rax
  movsd  0x30(%rsp),%xmm3
  movsd  0x28(%rsp),%xmm1
  movsd  0x10(%rsp),%xmm2
  movq   %rax,%xmm4
  jmp    L16
```

tool_calls: name: extract_symbolic_data
arguments: label: D7
type: f64
name: extract_symbolic_data
arguments: label: D73
type: f64
name: extract_symbolic_data
arguments: label: D33
type: f64
name: extract_symbolic_data
arguments: label: D114
type: f64
name: extract_symbolic_data
arguments: label: D176
type: f64
name: extract_symbolic_data
arguments: label: D87
type: f64
name: extract_symbolic_data
arguments: label: D30
type: byte[8]
name: extract_symbolic_data
arguments: label: D107
type: f64
name: extract_symbolic_data
arguments: label: D55
type: f64
name: extract_symbolic_data
arguments: label: D61
type: f64
name: extract_symbolic_data
arguments: label: D96
type: f64
name: extract_symbolic_data
arguments: label: D31
type: f64
name: extract_symbolic_data
arguments: label: D123
type: f64
name: extract_symbolic_data
arguments: label: D29
type: f64
name: extract_symbolic_data
arguments: label: D100
type: f64
name: extract_symbolic_data
arguments: label: D64
type: f64
name: extract_symbolic_data
arguments: label: D129
type: f64
name: extract_symbolic_data
arguments: label: D187
type: f64
name: extract_symbolic_data
arguments: label: D169
type: byte[8]

tool: D7: 0.055

tool: D73: 0.802

tool: D33: 0.138

tool: D114: 2.669

tool: D176: 2.284

tool: D87: 0.076

tool: {"D30": [0x23,0xdb,0xf9,0x7e,0x6a,0xbc,0xdc,0xbf]}

tool: D107: 0.728

tool: D55: 1.979

tool: D61: 0.213

tool: D96: 8.854

tool: D31: 9.135

tool: D123: 2.997

tool: D29: 0.59

tool: D100: 0.753

tool: D64: 0.024

tool: D129: 0.063

tool: D187: 0.131

tool: {"D169": [0x00,0x00,0x00,0x00,0x00,0x00,0xf0,0x3f]}

assistant: ```c
double uv(double xx, double Q2) {
  double s = ss(Q2);
  double s2 = s * s;
  double a = 0.59 - 0.024 * s;
  double b = 0.131 + 0.063 * s;
  double N = 2.284 + 0.802 * s + 0.055 * s2;
  double A = -0.449 - 0.138 * s - 0.076 * s2;
  double B = 0.213 + 2.669 * s - 0.728 * s2;
  double C = 8.854 - 9.135 * s + 1.979 * s2;
  double D = 2.997 + 0.753 * s - 0.076 * s2;
  return N * pow(xx, a) * (1 + A * pow(xx, b) + xx * (B + C * sqrt(xx))) * pow(1 - xx, D);
}
```