user: What is the c source code of the assembly code below:

```asm
<getLocalNormal_tria3>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x50,%rsp
  mov    %rdi,-0x48(%rbp)
  mov    %rsi,-0x50(%rbp)
  mov    -0x48(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x48(%rbp),%rax
  add    $0x30,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  mov    -0x48(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm0
  mov    -0x48(%rbp),%rax
  add    $0x30,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  mov    -0x48(%rbp),%rax
  movsd  0x8(%rax),%xmm0
  mov    -0x48(%rbp),%rax
  add    $0x30,%rax
  movsd  0x8(%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  mov    -0x48(%rbp),%rax
  add    $0x18,%rax
  movsd  0x8(%rax),%xmm0
  mov    -0x48(%rbp),%rax
  add    $0x30,%rax
  movsd  0x8(%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  mov    -0x48(%rbp),%rax
  movsd  0x10(%rax),%xmm0
  mov    -0x48(%rbp),%rax
  add    $0x30,%rax
  movsd  0x10(%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  mov    -0x48(%rbp),%rax
  add    $0x18,%rax
  movsd  0x10(%rax),%xmm0
  mov    -0x48(%rbp),%rax
  add    $0x30,%rax
  movsd  0x10(%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x28(%rbp),%xmm0
  mulsd  -0x10(%rbp),%xmm0
  movsd  -0x20(%rbp),%xmm1
  mulsd  -0x18(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x50(%rbp),%rax
  movsd  %xmm0,(%rax)
  movsd  -0x30(%rbp),%xmm0
  mulsd  -0x18(%rbp),%xmm0
  movsd  -0x38(%rbp),%xmm1
  mulsd  -0x10(%rbp),%xmm1
  mov    -0x50(%rbp),%rax
  add    $0x8,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x38(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm1
  mulsd  -0x28(%rbp),%xmm1
  mov    -0x50(%rbp),%rax
  add    $0x10,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x50(%rbp),%rax
  movsd  (%rax),%xmm1
  mov    -0x50(%rbp),%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x50(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm2
  mov    -0x50(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x50(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm2
  mov    -0x50(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  movq   %xmm1,%rax
  movq   %rax,%xmm0
  call   <sqrt@plt>
  movapd %xmm0,%xmm1
  movsd  D6(%rip),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x50(%rbp),%rax
  movsd  (%rax),%xmm0
  mulsd  -0x8(%rbp),%xmm0
  mov    -0x50(%rbp),%rax
  movsd  %xmm0,(%rax)
  mov    -0x50(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mov    -0x50(%rbp),%rax
  add    $0x8,%rax
  mulsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x50(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mov    -0x50(%rbp),%rax
  add    $0x10,%rax
  mulsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    $0x0,%eax
  leave
  ret
```

tool_calls: name: unpack_data
arguments: tag: D6
type_infered: f64

tool: D6: 1

assistant: ```c
int getLocalNormal_tria3(double X[3][3], double *normal) {
  double dx1, dx2, dy1, dy2, dz1, dz2, normalmod;
  dx1 = X[0][0] - X[2][0];
  dx2 = X[1][0] - X[2][0];
  dy1 = X[0][1] - X[2][1];
  dy2 = X[1][1] - X[2][1];
  dz1 = X[0][2] - X[2][2];
  dz2 = X[1][2] - X[2][2];
  normal[0] = dy1 * dz2 - dy2 * dz1;
  normal[1] = dx2 * dz1 - dx1 * dz2;
  normal[2] = dx1 * dy2 - dx2 * dy1;
  normalmod = 1.0 / sqrt(normal[0] * normal[0] + normal[1] * normal[1] + normal[2] * normal[2]);
  normal[0] = normal[0] * normalmod;
  normal[1] = normal[1] * normalmod;
  normal[2] = normal[2] * normalmod;
  return 0;
}
```