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

```asm
<psiuv>:
  endbr64
  push   %r14
  movapd %xmm3,%xmm10
  movapd %xmm4,%xmm8
  movapd %xmm3,%xmm12
  push   %r12
  mulsd  %xmm3,%xmm10
  addsd  %xmm4,%xmm8
  mov    %rdx,%r12
  push   %rbp
  subsd  %xmm2,%xmm12
  movapd %xmm4,%xmm11
  mov    %rdi,%rbp
  push   %rbx
  mov    %rsi,%rbx
  sub    $0x98,%rsp
  movapd %xmm10,%xmm7
  movsd  %xmm1,0x40(%rsp)
  movapd %xmm2,%xmm1
  mulsd  %xmm2,%xmm1
  movsd  %xmm0,0x8(%rsp)
  movsd  D13(%rip),%xmm0
  mulsd  %xmm4,%xmm0
  subsd  %xmm1,%xmm7
  movq   %xmm7,%r14
  divsd  %xmm8,%xmm7
  movapd %xmm7,%xmm9
  movapd %xmm12,%xmm7
  addsd  %xmm4,%xmm12
  subsd  %xmm0,%xmm9
  subsd  %xmm4,%xmm7
  movapd %xmm3,%xmm0
  addsd  %xmm2,%xmm0
  mulsd  %xmm12,%xmm7
  addsd  %xmm9,%xmm11
  movapd %xmm0,%xmm12
  subsd  %xmm4,%xmm0
  addsd  %xmm4,%xmm12
  mulsd  %xmm12,%xmm7
  mulsd  %xmm0,%xmm7
  pxor   %xmm0,%xmm0
  ucomisd %xmm7,%xmm0
  ja     L2
  sqrtsd %xmm7,%xmm7
L4:
  divsd  %xmm8,%xmm7
  movsd  %xmm4,0x78(%rsp)
  movsd  %xmm6,0x88(%rsp)
  movapd %xmm9,%xmm6
  movsd  %xmm5,0x80(%rsp)
  movapd %xmm9,%xmm5
  movsd  %xmm2,0x68(%rsp)
  movsd  %xmm10,0x58(%rsp)
  movsd  %xmm9,0x50(%rsp)
  movsd  %xmm3,0x70(%rsp)
  movsd  %xmm11,0x30(%rsp)
  movsd  %xmm1,0x60(%rsp)
  addsd  %xmm7,%xmm6
  subsd  %xmm7,%xmm5
  movsd  %xmm7,0x28(%rsp)
  movapd %xmm6,%xmm0
  movsd  %xmm6,0x18(%rsp)
  divsd  %xmm5,%xmm0
  movsd  %xmm5,0x20(%rsp)
  call   <log@plt>
  movsd  0x30(%rsp),%xmm11
  movsd  0x28(%rsp),%xmm7
  movsd  %xmm0,0x10(%rsp)
  movapd %xmm11,%xmm3
  movapd %xmm11,%xmm1
  movsd  %xmm7,0x38(%rsp)
  addsd  %xmm7,%xmm3
  subsd  %xmm7,%xmm1
  movsd  %xmm11,0x48(%rsp)
  movapd %xmm3,%xmm7
  movsd  %xmm3,0x28(%rsp)
  divsd  %xmm1,%xmm7
  movsd  %xmm1,0x30(%rsp)
  movapd %xmm7,%xmm0
  call   <log@plt>
  movsd  0x60(%rsp),%xmm1
  movsd  0x58(%rsp),%xmm10
  movsd  0x70(%rsp),%xmm3
  movsd  0x68(%rsp),%xmm2
  movapd %xmm0,%xmm14
  addsd  %xmm1,%xmm10
  movsd  0x38(%rsp),%xmm7
  movsd  0x80(%rsp),%xmm5
  mulsd  %xmm3,%xmm1
  movapd %xmm3,%xmm15
  movsd  0x88(%rsp),%xmm6
  movsd  D48(%rip),%xmm4
  movsd  0x48(%rsp),%xmm11
  movsd  0x50(%rsp),%xmm9
  movsd  %xmm7,0x58(%rsp)
  mulsd  %xmm6,%xmm15
  movapd %xmm10,%xmm0
  movapd %xmm10,%xmm12
  movsd  0x10(%rsp),%xmm13
  divsd  %xmm3,%xmm6
  movapd %xmm2,%xmm10
  mulsd  %xmm5,%xmm10
  subsd  %xmm14,%xmm13
  mulsd  %xmm7,%xmm4
  mulsd  %xmm3,%xmm1
  movapd %xmm9,%xmm3
  mulsd  %xmm9,%xmm3
  mulsd  %xmm13,%xmm12
  addsd  %xmm15,%xmm10
  movapd %xmm4,%xmm8
  movsd  0x78(%rsp),%xmm4
  mulsd  %xmm4,%xmm8
  subsd  %xmm8,%xmm12
  movapd %xmm0,%xmm8
  mulsd  %xmm7,%xmm8
  divsd  %xmm2,%xmm5
  movapd %xmm11,%xmm2
  mulsd  %xmm11,%xmm2
  subsd  %xmm3,%xmm2
  movapd %xmm0,%xmm3
  mulsd  %xmm12,%xmm3
  addsd  %xmm2,%xmm2
  mulsd  %xmm10,%xmm2
  divsd  %xmm3,%xmm2
  movapd %xmm11,%xmm3
  subsd  %xmm9,%xmm3
  mulsd  %xmm8,%xmm3
  subsd  %xmm6,%xmm5
  movapd %xmm9,%xmm6
  mulsd  %xmm11,%xmm6
  mulsd  %xmm14,%xmm9
  movapd %xmm5,%xmm15
  movq   %r14,%xmm5
  mulsd  %xmm1,%xmm15
  movapd %xmm6,%xmm1
  movsd  0x18(%rsp),%xmm6
  mulsd  0x28(%rsp),%xmm6
  movapd %xmm15,%xmm8
  divsd  %xmm3,%xmm8
  divsd  %xmm0,%xmm5
  mulsd  %xmm4,%xmm0
  addsd  %xmm8,%xmm2
  movapd %xmm7,%xmm8
  mulsd  %xmm7,%xmm8
  mulsd  %xmm2,%xmm6
  movsd  %xmm8,0x38(%rsp)
  subsd  %xmm8,%xmm1
  movsd  0x20(%rsp),%xmm8
  mulsd  D43(%rip),%xmm1
  mulsd  0x30(%rsp),%xmm8
  movsd  %xmm6,0x70(%rsp)
  movsd  D13(%rip),%xmm6
  mulsd  %xmm13,%xmm6
  mulsd  %xmm2,%xmm1
  mulsd  %xmm2,%xmm8
  movsd  0x10(%rsp),%xmm2
  mulsd  %xmm11,%xmm2
  movapd %xmm6,%xmm3
  mulsd  %xmm10,%xmm3
  movsd  %xmm1,0x78(%rsp)
  movsd  %xmm8,0x68(%rsp)
  subsd  %xmm2,%xmm9
  movapd %xmm7,%xmm2
  addsd  %xmm7,%xmm2
  divsd  %xmm12,%xmm3
  mulsd  %xmm10,%xmm9
  mulsd  %xmm5,%xmm2
  movapd %xmm7,%xmm5
  mulsd  %xmm10,%xmm2
  mulsd  %xmm4,%xmm10
  movsd  0x8(%rsp),%xmm4
  movapd %xmm4,%xmm13
  mulsd  %xmm4,%xmm13
  divsd  %xmm12,%xmm2
  movsd  %xmm3,0x60(%rsp)
  divsd  %xmm12,%xmm9
  divsd  %xmm12,%xmm10
  subsd  %xmm2,%xmm9
  movapd %xmm15,%xmm2
  divsd  %xmm0,%xmm2
  movsd  %xmm10,0x18(%rsp)
  subsd  %xmm2,%xmm9
  movsd  0x40(%rsp),%xmm2
  addsd  %xmm11,%xmm2
  movapd %xmm7,%xmm11
  movsd  %xmm9,0x10(%rsp)
  addsd  %xmm2,%xmm11
  subsd  %xmm2,%xmm5
  movsd  %xmm2,0x50(%rsp)
  movapd %xmm11,%xmm6
  movapd %xmm5,%xmm10
  movsd  %xmm11,0x48(%rsp)
  mulsd  %xmm11,%xmm6
  movsd  %xmm10,0x40(%rsp)
  mulsd  %xmm5,%xmm5
  movsd  %xmm13,0x30(%rsp)
  movapd %xmm6,%xmm9
  addsd  %xmm13,%xmm9
  addsd  %xmm13,%xmm5
  movapd %xmm9,%xmm0
  movsd  %xmm9,0x28(%rsp)
  divsd  %xmm5,%xmm0
  movsd  %xmm5,0x20(%rsp)
  call   <log@plt>
  movsd  0x48(%rsp),%xmm11
  movsd  0x28(%rsp),%xmm9
  movsd  0x40(%rsp),%xmm10
  movsd  0x20(%rsp),%xmm5
  movapd %xmm0,%xmm12
  movapd %xmm11,%xmm6
  movsd  0x50(%rsp),%xmm2
  movsd  0x78(%rsp),%xmm1
  divsd  %xmm9,%xmm6
  movapd %xmm10,%xmm0
  movsd  0x68(%rsp),%xmm8
  movsd  0x30(%rsp),%xmm13
  movapd %xmm1,%xmm14
  movapd %xmm2,%xmm7
  movsd  0x60(%rsp),%xmm3
  xorpd  D15(%rip),%xmm1
  mulsd  %xmm12,%xmm14
  movapd %xmm2,%xmm15
  mulsd  %xmm2,%xmm7
  addsd  %xmm2,%xmm15
  movsd  %xmm1,0x20(%rsp)
  divsd  %xmm5,%xmm0
  movapd %xmm6,%xmm4
  movsd  0x70(%rsp),%xmm6
  addsd  %xmm0,%xmm4
  movapd %xmm6,%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm4,%xmm4
  mulsd  %xmm11,%xmm0
  divsd  %xmm9,%xmm0
  addsd  %xmm0,%xmm14
  movapd %xmm8,%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  %xmm10,%xmm0
  divsd  %xmm5,%xmm0
  addsd  %xmm14,%xmm0
  movsd  0x10(%rsp),%xmm14
  mulsd  %xmm2,%xmm14
  addsd  %xmm0,%xmm14
  movapd %xmm7,%xmm0
  movapd %xmm9,%xmm7
  addsd  %xmm13,%xmm0
  addsd  0x38(%rsp),%xmm0
  mulsd  %xmm9,%xmm7
  movsd  0x18(%rsp),%xmm13
  mulsd  %xmm2,%xmm13
  mulsd  %xmm3,%xmm0
  addsd  %xmm3,%xmm3
  mulsd  %xmm12,%xmm13
  addsd  %xmm14,%xmm0
  movapd %xmm7,%xmm14
  movapd %xmm5,%xmm7
  mulsd  %xmm5,%xmm7
  addsd  %xmm13,%xmm0
  movapd %xmm7,%xmm13
  movapd %xmm1,%xmm7
  mulsd  %xmm4,%xmm7
  movsd  %xmm0,(%r12)
  movapd %xmm15,%xmm0
  mulsd  %xmm2,%xmm4
  movq   %xmm7,%rax
  movsd  0x58(%rsp),%xmm7
  addsd  %xmm12,%xmm4
  movsd  0x18(%rsp),%xmm12
  addsd  %xmm7,%xmm0
  mulsd  %xmm12,%xmm4
  mulsd  %xmm9,%xmm0
  movq   %xmm0,%rdx
  movapd %xmm11,%xmm0
  addsd  %xmm11,%xmm0
  movq   %rdx,%xmm1
  mulsd  %xmm11,%xmm0
  mulsd  %xmm2,%xmm0
  subsd  %xmm0,%xmm1
  mulsd  %xmm6,%xmm1
  addsd  %xmm6,%xmm6
  movapd %xmm1,%xmm0
  movq   %rax,%xmm1
  divsd  %xmm14,%xmm0
  subsd  %xmm0,%xmm1
  movq   %xmm1,%rax
  movapd %xmm10,%xmm1
  addsd  %xmm10,%xmm1
  movapd %xmm1,%xmm0
  movapd %xmm7,%xmm1
  mulsd  %xmm10,%xmm0
  subsd  %xmm15,%xmm1
  movapd %xmm1,%xmm15
  movsd  0x20(%rsp),%xmm1
  mulsd  %xmm5,%xmm15
  mulsd  %xmm2,%xmm0
  mulsd  %xmm9,%xmm5
  addsd  %xmm15,%xmm0
  movq   %rax,%xmm15
  mulsd  %xmm8,%xmm0
  addsd  %xmm8,%xmm8
  divsd  %xmm13,%xmm0
  subsd  %xmm0,%xmm15
  movapd %xmm3,%xmm0
  subsd  0x10(%rsp),%xmm15
  mulsd  %xmm2,%xmm0
  subsd  %xmm0,%xmm15
  movsd  D6(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  subsd  %xmm4,%xmm15
  movsd  0x8(%rsp),%xmm4
  mulsd  %xmm12,%xmm0
  mulsd  %xmm4,%xmm6
  mulsd  %xmm4,%xmm8
  movsd  %xmm15,0x0(%rbp)
  mulsd  %xmm7,%xmm1
  mulsd  %xmm7,%xmm0
  mulsd  %xmm4,%xmm3
  mulsd  %xmm2,%xmm6
  mulsd  %xmm2,%xmm8
  mulsd  %xmm4,%xmm1
  mulsd  %xmm4,%xmm0
  mulsd  %xmm11,%xmm6
  mulsd  %xmm10,%xmm8
  mulsd  %xmm2,%xmm1
  mulsd  %xmm2,%xmm0
  divsd  %xmm14,%xmm6
  mulsd  %xmm2,%xmm0
  divsd  %xmm5,%xmm1
  divsd  %xmm13,%xmm8
  subsd  %xmm6,%xmm1
  divsd  %xmm5,%xmm0
  subsd  %xmm8,%xmm1
  addsd  %xmm3,%xmm1
  subsd  %xmm0,%xmm1
  movsd  %xmm1,(%rbx)
  add    $0x98,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r14
  ret
L2:
  movapd %xmm7,%xmm0
  movsd  %xmm6,0x60(%rsp)
  movsd  %xmm5,0x58(%rsp)
  movsd  %xmm4,0x50(%rsp)
  movsd  %xmm3,0x48(%rsp)
  movsd  %xmm2,0x38(%rsp)
  movsd  %xmm11,0x30(%rsp)
  movsd  %xmm9,0x28(%rsp)
  movsd  %xmm8,0x20(%rsp)
  movsd  %xmm1,0x18(%rsp)
  movsd  %xmm10,0x10(%rsp)
  call   <sqrt@plt>
  movsd  0x60(%rsp),%xmm6
  movsd  0x58(%rsp),%xmm5
  movsd  0x50(%rsp),%xmm4
  movsd  0x48(%rsp),%xmm3
  movapd %xmm0,%xmm7
  movsd  0x38(%rsp),%xmm2
  movsd  0x30(%rsp),%xmm11
  movsd  0x28(%rsp),%xmm9
  movsd  0x20(%rsp),%xmm8
  movsd  0x18(%rsp),%xmm1
  movsd  0x10(%rsp),%xmm10
  jmp    L4
```

tool_calls: name: unpack_data
arguments: data_tag: D13
type_infered: f64
name: unpack_data
arguments: data_tag: D48
type_infered: f64
name: unpack_data
arguments: data_tag: D43
type_infered: byte[8]
name: unpack_data
arguments: data_tag: D15
type_infered: byte[16]
name: unpack_data
arguments: data_tag: D6
type_infered: f64

tool: D13: 0.5

tool: D48: 4

tool: {"D43": [0x00,0x00,0x00,0x00,0x00,0x00,0xe0,0xbf]}

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

tool: D6: 8

assistant: ```c
void psiuv(double x, double y, double r1, double r2, double e, double v1, double v2, double *ux, double *uy, double *psi) {
  double d1 = (r2 * r2 - r1 * r1) / (2. * e) - e / 2.;
  double d2 = d1 + e;
  double s = sqrt((r2 - r1 - e) * (r2 - r1 + e) * (r2 + r1 + e) * (r2 + r1 - e)) / (2. * e);
  double l1 = log((d1 + s) / (d1 - s));
  double l2 = log((d2 + s) / (d2 - s));
  double den = (r2 * r2 + r1 * r1) * (l1 - l2) - 4. * s * e;
  double curlb = 2. * (d2 * d2 - d1 * d1) * (r1 * v1 + r2 * v2) / ((r2 * r2 + r1 * r1) * den) + r1 * r1 * r2 * r2 * (v1 / r1 - v2 / r2) / (s * (r1 * r1 + r2 * r2) * (d2 - d1));
  double A = -0.5 * (d1 * d2 - s * s) * curlb;
  double B = (d1 + s) * (d2 + s) * curlb;
  double C = (d1 - s) * (d2 - s) * curlb;
  double D = (d1 * l2 - d2 * l1) * (r1 * v1 + r2 * v2) / den - 2. * s * ((r2 * r2 - r1 * r1) / (r2 * r2 + r1 * r1)) * (r1 * v1 + r2 * v2) / den - r1 * r1 * r2 * r2 * (v1 / r1 - v2 / r2) / ((r1 * r1 + r2 * r2) * e);
  double E = 0.5 * (l1 - l2) * (r1 * v1 + r2 * v2) / den;
  double F = e * (r1 * v1 + r2 * v2) / den;
  y += d2;
  double spy = s + y;
  double smy = s - y;
  double zp = x * x + spy * spy;
  double zm = x * x + smy * smy;
  double l = log(zp / zm);
  double zr = 2. * (spy / zp + smy / zm);
  *psi = A * l + B * y * spy / zp + C * y * smy / zm + D * y + E * (x * x + y * y + s * s) + F * y * l;
  *ux = -A * zr - B * ((s + 2. * y) * zp - 2. * spy * spy * y) / (zp * zp) - C * ((s - 2. * y) * zm + 2. * smy * smy * y) / (zm * zm) - D - E * 2. * y - F * (l + y * zr);
  *uy = -A * 8. * s * x * y / (zp * zm) - B * 2. * x * y * spy / (zp * zp) - C * 2. * x * y * smy / (zm * zm) + E * 2. * x - F * 8. * s * x * y * y / (zp * zm);
}
```