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

```asm
<TV>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r13
  push   %r12
  push   %rbx
  sub    $0x58,%rsp
  mov    %rdi,-0x48(%rbp)
  mov    %rsi,-0x50(%rbp)
  movsd  %xmm0,-0x58(%rbp)
  mov    %edx,-0x5c(%rbp)
  mov    %ecx,-0x60(%rbp)
  movsd  %xmm1,-0x68(%rbp)
  mov    -0x58(%rbp),%rax
  movq   %rax,%xmm0
  call   <sqrt@plt>
  movq   %xmm0,%rax
  movq   D8(%rip),%xmm0
  movq   %rax,%xmm1
  xorpd  %xmm0,%xmm1
  mov    -0x5c(%rbp),%eax
  imul   -0x60(%rbp),%eax
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  mov    $0x1,%r12d
  jmp    L32
L4:
  mov    %r12d,%r13d
  imul   -0x5c(%rbp),%r13d
  mov    $0x1,%ebx
  jmp    L37
L40:
  test   %ebx,%ebx
  jle    L56
  lea    (%rbx,%r13,1),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  lea    -0x1(%rbx),%eax
  add    %r13d,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x40(%rbp)
  jmp    L17
L56:
  lea    0x1(%r13),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movslq %r13d,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x40(%rbp)
L17:
  test   %r12d,%r12d
  jle    L16
  lea    (%rbx,%r13,1),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  lea    (%rbx,%r13,1),%eax
  sub    -0x5c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  jmp    L1
L16:
  mov    -0x5c(%rbp),%eax
  add    %ebx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movslq %ebx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
L1:
  movsd  -0x40(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  %xmm0,%xmm1
  movsd  -0x38(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x58(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  addsd  %xmm0,%xmm1
  movq   %xmm1,%rax
  movq   %rax,%xmm0
  call   <sqrt@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x28(%rbp)
  movsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  add    $0x1,%ebx
L37:
  cmp    -0x5c(%rbp),%ebx
  jl     L40
  add    $0x1,%r12d
L32:
  cmp    -0x60(%rbp),%r12d
  jl     L4
  movsd  -0x30(%rbp),%xmm0
  divsd  -0x68(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  add    $0x58,%rsp
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %rbp
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D8
type: byte[8]

tool: {"D8": [0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x80]}

assistant: ```c
double TV(const double *x, const double *pr, const double eps, const int nx, const int ny, const double flux) {
  register int i, j, off;
  double dx, dy, pixreg;
  double L1g = -sqrt(eps) * (double)(nx * ny);
  for (j = 1; j < ny; ++j) {
    off = nx * j;
    for (i = 1; i < nx; ++i) {
      if (i > 0) {
        dx = x[i + off] - x[i - 1 + off];
      } else {
        dx = x[1 + off] - x[off];
      }
      if (j > 0) {
        dy = x[i + off] - x[i + off - nx];
      } else {
        dy = x[i + nx] - x[i];
      }
      pixreg = sqrt(dx * dx + dy * dy + eps * eps);
      L1g += pixreg;
    }
  }
  return L1g / flux;
}
```