user: 请从给定的汇编指令推导出C源代码:

```asm
<matrix_ft_self_atimes>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x48,%rsp
  mov    %rdi,-0x78(%rbp)
  mov    %rsi,-0x80(%rbp)
  movsd  %xmm0,-0x88(%rbp)
  movsd  %xmm1,-0x90(%rbp)
  movsd  %xmm2,-0x98(%rbp)
  movsd  %xmm3,-0xa0(%rbp)
  movsd  %xmm4,-0xa8(%rbp)
  movsd  %xmm5,-0xb0(%rbp)
  movsd  %xmm6,-0xb8(%rbp)
  movsd  %xmm7,-0xc0(%rbp)
  movsd  -0xa8(%rbp),%xmm0
  movsd  %xmm0,-0x70(%rbp)
  movsd  -0xa0(%rbp),%xmm0
  subsd  -0xa8(%rbp),%xmm0
  movsd  %xmm0,-0x68(%rbp)
  movsd  -0xb0(%rbp),%xmm0
  movsd  %xmm0,-0x60(%rbp)
  movsd  -0xc0(%rbp),%xmm0
  movsd  %xmm0,-0x58(%rbp)
  movsd  -0xb8(%rbp),%xmm0
  subsd  -0xc0(%rbp),%xmm0
  movsd  %xmm0,-0x50(%rbp)
  movsd  -0x88(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x48(%rbp)
  movsd  -0x90(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x40(%rbp)
  movsd  -0x98(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0x88(%rbp),%xmm0
  mulsd  -0x90(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x90(%rbp),%xmm0
  mulsd  -0x98(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x98(%rbp),%xmm0
  mulsd  -0x88(%rbp),%xmm0
  movsd  %xmm0,-0x20(%rbp)
  movsd  -0x60(%rbp),%xmm0
  mulsd  -0x88(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x60(%rbp),%xmm0
  mulsd  -0x90(%rbp),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x60(%rbp),%xmm0
  mulsd  -0x98(%rbp),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x80(%rbp),%rax
  movsd  (%rax),%xmm1
  mov    -0x78(%rbp),%rax
  movsd  (%rax),%xmm2
  movsd  -0x68(%rbp),%xmm0
  mulsd  -0x48(%rbp),%xmm0
  addsd  -0x70(%rbp),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x80(%rbp),%rax
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  mov    -0x78(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm2
  movsd  -0x68(%rbp),%xmm0
  mulsd  -0x40(%rbp),%xmm0
  addsd  -0x70(%rbp),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x80(%rbp),%rax
  add    $0x8,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm1
  mov    -0x78(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm2
  movsd  -0x68(%rbp),%xmm0
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x70(%rbp),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x80(%rbp),%rax
  add    $0x10,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  movsd  (%rax),%xmm1
  mov    -0x78(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm2
  movsd  -0x68(%rbp),%xmm0
  mulsd  -0x30(%rbp),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x80(%rbp),%rax
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  mov    -0x78(%rbp),%rax
  movsd  (%rax),%xmm2
  movsd  -0x68(%rbp),%xmm0
  mulsd  -0x30(%rbp),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x80(%rbp),%rax
  add    $0x8,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  mov    -0x78(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm2
  movsd  -0x68(%rbp),%xmm0
  mulsd  -0x28(%rbp),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x80(%rbp),%rax
  add    $0x8,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm1
  mov    -0x78(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm2
  movsd  -0x68(%rbp),%xmm0
  mulsd  -0x28(%rbp),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x80(%rbp),%rax
  add    $0x10,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm1
  mov    -0x78(%rbp),%rax
  movsd  (%rax),%xmm2
  movsd  -0x68(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x80(%rbp),%rax
  add    $0x10,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  movsd  (%rax),%xmm1
  mov    -0x78(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm2
  movsd  -0x68(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x80(%rbp),%rax
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm1
  mov    -0x78(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x8(%rbp),%xmm0
  mov    -0x80(%rbp),%rax
  add    $0x18,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm1
  mov    -0x78(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm2
  movsd  -0x10(%rbp),%xmm0
  movq   D7(%rip),%xmm3
  xorpd  %xmm3,%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x80(%rbp),%rax
  add    $0x18,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm1
  mov    -0x78(%rbp),%rax
  movsd  (%rax),%xmm2
  movsd  -0x8(%rbp),%xmm0
  movq   D7(%rip),%xmm3
  xorpd  %xmm3,%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x80(%rbp),%rax
  add    $0x20,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm1
  mov    -0x78(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x18(%rbp),%xmm0
  mov    -0x80(%rbp),%rax
  add    $0x20,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  add    $0x28,%rax
  movsd  (%rax),%xmm1
  mov    -0x78(%rbp),%rax
  movsd  (%rax),%xmm0
  mulsd  -0x10(%rbp),%xmm0
  mov    -0x80(%rbp),%rax
  add    $0x28,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  add    $0x28,%rax
  movsd  (%rax),%xmm1
  mov    -0x78(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm2
  movsd  -0x18(%rbp),%xmm0
  movq   D7(%rip),%xmm3
  xorpd  %xmm3,%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x80(%rbp),%rax
  add    $0x28,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  mov    -0x78(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x8(%rbp),%xmm0
  mov    -0x80(%rbp),%rax
  add    $0x8,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm1
  mov    -0x78(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm2
  movsd  -0x10(%rbp),%xmm0
  movq   D7(%rip),%xmm3
  xorpd  %xmm3,%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x80(%rbp),%rax
  add    $0x10,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  movsd  (%rax),%xmm1
  mov    -0x78(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm2
  movsd  -0x8(%rbp),%xmm0
  movq   D7(%rip),%xmm3
  xorpd  %xmm3,%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x80(%rbp),%rax
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm1
  mov    -0x78(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x18(%rbp),%xmm0
  mov    -0x80(%rbp),%rax
  add    $0x10,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  movsd  (%rax),%xmm1
  mov    -0x78(%rbp),%rax
  add    $0x28,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x10(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x80(%rbp),%rax
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  mov    -0x78(%rbp),%rax
  add    $0x28,%rax
  movsd  (%rax),%xmm2
  movsd  -0x18(%rbp),%xmm0
  movq   D7(%rip),%xmm3
  xorpd  %xmm3,%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x80(%rbp),%rax
  add    $0x8,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm1
  mov    -0x78(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm2
  movsd  -0x50(%rbp),%xmm0
  mulsd  -0x48(%rbp),%xmm0
  addsd  -0x58(%rbp),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x80(%rbp),%rax
  add    $0x18,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm1
  mov    -0x78(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm2
  movsd  -0x50(%rbp),%xmm0
  mulsd  -0x40(%rbp),%xmm0
  addsd  -0x58(%rbp),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x80(%rbp),%rax
  add    $0x20,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  add    $0x28,%rax
  movsd  (%rax),%xmm1
  mov    -0x78(%rbp),%rax
  add    $0x28,%rax
  movsd  (%rax),%xmm2
  movsd  -0x50(%rbp),%xmm0
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x58(%rbp),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x80(%rbp),%rax
  add    $0x28,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm1
  mov    -0x78(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm2
  movsd  -0x50(%rbp),%xmm0
  mulsd  -0x30(%rbp),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x80(%rbp),%rax
  add    $0x18,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm1
  mov    -0x78(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm2
  movsd  -0x50(%rbp),%xmm0
  mulsd  -0x30(%rbp),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x80(%rbp),%rax
  add    $0x20,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm1
  mov    -0x78(%rbp),%rax
  add    $0x28,%rax
  movsd  (%rax),%xmm2
  movsd  -0x50(%rbp),%xmm0
  mulsd  -0x28(%rbp),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x80(%rbp),%rax
  add    $0x20,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  add    $0x28,%rax
  movsd  (%rax),%xmm1
  mov    -0x78(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm2
  movsd  -0x50(%rbp),%xmm0
  mulsd  -0x28(%rbp),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x80(%rbp),%rax
  add    $0x28,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  add    $0x28,%rax
  movsd  (%rax),%xmm1
  mov    -0x78(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm2
  movsd  -0x50(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x80(%rbp),%rax
  add    $0x28,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm1
  mov    -0x78(%rbp),%rax
  add    $0x28,%rax
  movsd  (%rax),%xmm2
  movsd  -0x50(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x80(%rbp),%rax
  add    $0x18,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  nop
  leave
  ret
```

tool_calls: name: retrieve_data
arguments: tag: D7
type: byte[8]

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

assistant: ```c
void matrix_ft_self_atimes(const double *x, double *y, double ex, double ey, double ez, double xa, double ya, double yb, double xc, double yc) {
  double a1, a2;
  double b1;
  double c1, c2;
  double b1x, b1y, b1z;
  double exx, eyy, ezz, exy, eyz, exz;
  a1 = ya;
  a2 = xa - ya;
  b1 = yb;
  c1 = yc;
  c2 = xc - yc;
  exx = ex * ex;
  eyy = ey * ey;
  ezz = ez * ez;
  exy = ex * ey;
  eyz = ey * ez;
  exz = ez * ex;
  b1x = b1 * ex;
  b1y = b1 * ey;
  b1z = b1 * ez;
  y[0] += x[0] * (a1 + a2 * exx);
  y[1] += x[1] * (a1 + a2 * eyy);
  y[2] += x[2] * (a1 + a2 * ezz);
  y[0] += x[1] * (a2 * exy);
  y[1] += x[0] * (a2 * exy);
  y[1] += x[2] * (a2 * eyz);
  y[2] += x[1] * (a2 * eyz);
  y[2] += x[0] * (a2 * exz);
  y[0] += x[2] * (a2 * exz);
  y[3] += x[1] * (+b1z);
  y[3] += x[2] * (-b1y);
  y[4] += x[0] * (-b1z);
  y[4] += x[2] * (+b1x);
  y[5] += x[0] * (+b1y);
  y[5] += x[1] * (-b1x);
  y[1] += x[3] * (+b1z);
  y[2] += x[3] * (-b1y);
  y[0] += x[4] * (-b1z);
  y[2] += x[4] * (+b1x);
  y[0] += x[5] * (+b1y);
  y[1] += x[5] * (-b1x);
  y[3] += x[3] * (c1 + c2 * exx);
  y[4] += x[4] * (c1 + c2 * eyy);
  y[5] += x[5] * (c1 + c2 * ezz);
  y[3] += x[4] * (c2 * exy);
  y[4] += x[3] * (c2 * exy);
  y[4] += x[5] * (c2 * eyz);
  y[5] += x[4] * (c2 * eyz);
  y[5] += x[3] * (c2 * exz);
  y[3] += x[5] * (c2 * exz);
}
```