user: What would the C source look like for the assembly code provided here:

```asm
<quadratic_spline>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x70,%rsp
  movsd  %xmm0,-0x38(%rbp)
  movsd  %xmm1,-0x40(%rbp)
  movsd  %xmm2,-0x48(%rbp)
  movsd  %xmm3,-0x50(%rbp)
  movsd  %xmm4,-0x58(%rbp)
  movsd  %xmm5,-0x60(%rbp)
  movsd  %xmm6,-0x68(%rbp)
  movsd  %xmm7,-0x70(%rbp)
  movsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,-0x20(%rbp)
  movsd  -0x70(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x48(%rbp),%xmm0
  addsd  -0x58(%rbp),%xmm0
  movsd  D19(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x50(%rbp),%xmm0
  addsd  -0x60(%rbp),%xmm0
  movsd  D19(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x30(%rbp),%xmm0
  subsd  -0x10(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  call   <fabs@plt>
  test   %eax,%eax
  jg     L16
  movsd  -0x28(%rbp),%xmm0
  subsd  -0x8(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  call   <fabs@plt>
  test   %eax,%eax
  jg     L16
  movsd  -0x8(%rbp),%xmm0
  mov    -0x10(%rbp),%rax
  mov    $0x0,%edi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <splinerel@plt>
  jmp    L34
L16:
  movsd  -0x50(%rbp),%xmm1
  movsd  D86(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  addsd  -0x60(%rbp),%xmm0
  movsd  D0(%rip),%xmm1
  movapd %xmm0,%xmm5
  divsd  %xmm1,%xmm5
  movsd  -0x48(%rbp),%xmm1
  movsd  D86(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  addsd  -0x58(%rbp),%xmm0
  movsd  D0(%rip),%xmm1
  movapd %xmm0,%xmm4
  divsd  %xmm1,%xmm4
  movsd  -0x28(%rbp),%xmm0
  addsd  -0x50(%rbp),%xmm0
  movsd  D19(%rip),%xmm1
  movapd %xmm0,%xmm3
  divsd  %xmm1,%xmm3
  movsd  -0x30(%rbp),%xmm0
  addsd  -0x48(%rbp),%xmm0
  movsd  D19(%rip),%xmm1
  movapd %xmm0,%xmm2
  divsd  %xmm1,%xmm2
  movsd  -0x8(%rbp),%xmm6
  movsd  -0x10(%rbp),%xmm1
  movsd  -0x28(%rbp),%xmm0
  mov    -0x30(%rbp),%rax
  movapd %xmm6,%xmm7
  movapd %xmm1,%xmm6
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <quadratic_spline>
L34:
  movsd  -0x10(%rbp),%xmm0
  subsd  -0x20(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  call   <fabs@plt>
  test   %eax,%eax
  jg     L51
  movsd  -0x8(%rbp),%xmm0
  subsd  -0x18(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  call   <fabs@plt>
  test   %eax,%eax
  jg     L51
  movsd  -0x18(%rbp),%xmm0
  mov    -0x20(%rbp),%rax
  mov    $0x0,%edi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <splinerel@plt>
  jmp    L35
L51:
  movsd  -0x60(%rbp),%xmm0
  addsd  -0x18(%rbp),%xmm0
  movsd  D19(%rip),%xmm1
  movapd %xmm0,%xmm5
  divsd  %xmm1,%xmm5
  movsd  -0x58(%rbp),%xmm0
  addsd  -0x20(%rbp),%xmm0
  movsd  D19(%rip),%xmm1
  movapd %xmm0,%xmm4
  divsd  %xmm1,%xmm4
  movsd  -0x60(%rbp),%xmm1
  movsd  D86(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  addsd  -0x50(%rbp),%xmm0
  movsd  D0(%rip),%xmm1
  movapd %xmm0,%xmm3
  divsd  %xmm1,%xmm3
  movsd  -0x58(%rbp),%xmm1
  movsd  D86(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  addsd  -0x48(%rbp),%xmm0
  movsd  D0(%rip),%xmm1
  movapd %xmm0,%xmm2
  divsd  %xmm1,%xmm2
  movsd  -0x18(%rbp),%xmm6
  movsd  -0x20(%rbp),%xmm1
  movsd  -0x8(%rbp),%xmm0
  mov    -0x10(%rbp),%rax
  movapd %xmm6,%xmm7
  movapd %xmm1,%xmm6
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <quadratic_spline>
  nop
L35:
  nop
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: tag: D19
type: f64
name: extract_symbolic_data
arguments: tag: D86
type: f64
name: extract_symbolic_data
arguments: tag: D0
type: f64

tool: D19: 2

tool: D86: 3

tool: D0: 4

assistant: ```c
void quadratic_spline(double a_1, double b_1, double a_2, double b_2, double a_3, double b_3, double a_4, double b_4) {
  double x_1, y_1, x_4, y_4;
  double x_mid, y_mid;
  x_1 = a_1;
  y_1 = b_1;
  x_4 = a_4;
  y_4 = b_4;
  x_mid = (a_2 + a_3) / 2.0;
  y_mid = (b_2 + b_3) / 2.0;
  if ((fabs(x_1 - x_mid) < 1) && (fabs(y_1 - y_mid) < 1)) {
    splinerel(x_mid, y_mid, 0);
  } else {
    quadratic_spline(x_1, y_1, ((x_1 + a_2) / 2.0), ((y_1 + b_2) / 2.0), ((3.0 * a_2 + a_3) / 4.0), ((3.0 * b_2 + b_3) / 4.0), x_mid, y_mid);
  }
  if ((fabs(x_mid - x_4) < 1) && (fabs(y_mid - y_4) < 1)) {
    splinerel(x_4, y_4, 0);
  } else {
    quadratic_spline(x_mid, y_mid, ((a_2 + 3.0 * a_3) / 4.0), ((b_2 + 3.0 * b_3) / 4.0), ((a_3 + x_4) / 2.0), ((b_3 + y_4) / 2.0), x_4, y_4);
  }
}
```