user: Demonstrate the C code that generates the assembly output below:

```asm
<TetQuadLag>:
  endbr64
  movsd  (%rdi),%xmm4
  movsd  0x8(%rdi),%xmm7
  movsd  D32(%rip),%xmm8
  movsd  0x10(%rdi),%xmm3
  movapd %xmm4,%xmm6
  movapd %xmm7,%xmm5
  movapd %xmm4,%xmm9
  addsd  %xmm4,%xmm6
  addsd  %xmm7,%xmm5
  movapd %xmm3,%xmm1
  addsd  %xmm3,%xmm1
  movapd %xmm8,%xmm2
  subsd  %xmm4,%xmm2
  movapd %xmm6,%xmm0
  subsd  %xmm8,%xmm0
  subsd  %xmm7,%xmm2
  mulsd  %xmm4,%xmm0
  subsd  %xmm3,%xmm2
  movsd  %xmm0,(%rsi)
  movapd %xmm5,%xmm0
  subsd  %xmm8,%xmm0
  mulsd  %xmm7,%xmm0
  movsd  %xmm0,0x8(%rsi)
  movapd %xmm1,%xmm0
  subsd  %xmm8,%xmm0
  mulsd  %xmm3,%xmm0
  movsd  %xmm0,0x10(%rsi)
  movapd %xmm8,%xmm0
  subsd  %xmm6,%xmm0
  movapd %xmm7,%xmm6
  subsd  %xmm5,%xmm0
  subsd  %xmm1,%xmm0
  mulsd  %xmm2,%xmm0
  movsd  %xmm0,0x18(%rsi)
  movsd  D14(%rip),%xmm0
  mulsd  %xmm0,%xmm9
  mulsd  %xmm0,%xmm6
  movapd %xmm9,%xmm1
  mulsd  %xmm7,%xmm1
  movsd  %xmm1,0x20(%rsi)
  movapd %xmm6,%xmm1
  mulsd  %xmm3,%xmm1
  movsd  %xmm1,0x28(%rsi)
  movapd %xmm3,%xmm1
  mulsd  %xmm0,%xmm1
  movapd %xmm1,%xmm5
  mulsd  %xmm4,%xmm5
  movsd  %xmm5,0x30(%rsi)
  movapd %xmm9,%xmm5
  mulsd  %xmm2,%xmm5
  movsd  %xmm5,0x38(%rsi)
  movapd %xmm6,%xmm5
  mulsd  %xmm2,%xmm5
  mulsd  %xmm1,%xmm2
  movsd  %xmm5,0x40(%rsi)
  movapd %xmm9,%xmm5
  subsd  D8(%rip),%xmm5
  movsd  %xmm2,0x48(%rsi)
  movapd %xmm9,%xmm2
  subsd  %xmm8,%xmm2
  movq   $0x0,0x8(%rdx)
  addsd  %xmm6,%xmm5
  movq   $0x0,0x10(%rdx)
  movq   $0x0,0x18(%rdx)
  movsd  %xmm2,(%rdx)
  movapd %xmm6,%xmm2
  subsd  %xmm8,%xmm2
  addsd  %xmm1,%xmm5
  movq   $0x0,0x28(%rdx)
  movq   $0x0,0x30(%rdx)
  movq   $0x0,0x38(%rdx)
  movsd  %xmm2,0x20(%rdx)
  movapd %xmm1,%xmm2
  subsd  %xmm8,%xmm2
  movsd  %xmm5,0x48(%rdx)
  movapd %xmm6,%xmm8
  movsd  %xmm5,0x50(%rdx)
  movsd  %xmm5,0x58(%rdx)
  movsd  %xmm2,0x40(%rdx)
  movapd %xmm0,%xmm2
  subsd  %xmm9,%xmm0
  movq   $0x0,0x70(%rdx)
  movq   $0x0,0x78(%rdx)
  movsd  %xmm6,0x60(%rdx)
  movsd  %xmm9,0x68(%rdx)
  movsd  %xmm1,0x80(%rdx)
  movsd  D46(%rip),%xmm5
  movsd  %xmm1,0x90(%rdx)
  mulsd  %xmm5,%xmm4
  movq   $0x0,0x98(%rdx)
  mulsd  %xmm5,%xmm7
  movsd  %xmm6,0x88(%rdx)
  movsd  %xmm9,0xa0(%rdx)
  mulsd  %xmm5,%xmm3
  subsd  %xmm4,%xmm2
  movq   D4(%rip),%xmm4
  xorpd  %xmm4,%xmm8
  movsd  %xmm8,0xc0(%rdx)
  subsd  %xmm6,%xmm2
  movsd  %xmm8,0xd0(%rdx)
  subsd  %xmm1,%xmm2
  movsd  %xmm2,0xa8(%rdx)
  movapd %xmm9,%xmm2
  xorpd  %xmm4,%xmm2
  movsd  %xmm2,0xb0(%rdx)
  movsd  %xmm2,0xb8(%rdx)
  movapd %xmm7,%xmm2
  movapd %xmm0,%xmm7
  subsd  %xmm6,%xmm0
  subsd  %xmm2,%xmm7
  subsd  %xmm3,%xmm0
  subsd  %xmm1,%xmm7
  xorpd  %xmm4,%xmm1
  movsd  %xmm1,0xd8(%rdx)
  movsd  %xmm1,0xe0(%rdx)
  movsd  %xmm7,0xc8(%rdx)
  movsd  %xmm0,0xe8(%rdx)
  ret
```

tool_calls: name: extract_symbolic_data
arguments: tag: D32
type: f64
name: extract_symbolic_data
arguments: tag: D14
type: f64
name: extract_symbolic_data
arguments: tag: D8
type: f64
name: extract_symbolic_data
arguments: tag: D46
type: f64
name: extract_symbolic_data
arguments: tag: D4
type: f32[2]

tool: D32: 1

tool: D14: 4

tool: D8: 3

tool: D46: 8

tool: {"D4": [0.0,-0.0]}

assistant: ```c
void TetQuadLag(double *par, double *N, double dN[][3]) {
  double r = par[0], s = par[1], t = par[2], t8, t4;
  t8 = 1.0 - r - s - t;
  N[0] = (2.0 * r - 1.0) * r;
  N[1] = (2.0 * s - 1.0) * s;
  N[2] = (2.0 * t - 1.0) * t;
  N[3] = (1.0 - 2.0 * r - 2.0 * s - 2.0 * t) * t8;
  N[4] = 4.0 * r * s;
  N[5] = 4.0 * s * t;
  N[6] = 4.0 * t * r;
  N[7] = 4.0 * r * t8;
  N[8] = 4.0 * s * t8;
  N[9] = 4.0 * t * t8;
  t4 = -3.0 + 4.0 * r + 4.0 * s + 4.0 * t;
  dN[0][0] = 4.0 * r - 1.0;
  dN[0][1] = 0.0;
  dN[0][2] = 0.0;
  dN[1][0] = 0.0;
  dN[1][1] = 4.0 * s - 1.0;
  dN[1][2] = 0.0;
  dN[2][0] = 0.0;
  dN[2][1] = 0.0;
  dN[2][2] = 4.0 * t - 1.0;
  dN[3][0] = t4;
  dN[3][1] = t4;
  dN[3][2] = t4;
  dN[4][0] = 4.0 * s;
  dN[4][1] = 4.0 * r;
  dN[4][2] = 0.0;
  dN[5][0] = 0.0;
  dN[5][1] = 4.0 * t;
  dN[5][2] = 4.0 * s;
  dN[6][0] = 4.0 * t;
  dN[6][1] = 0.0;
  dN[6][2] = 4.0 * r;
  dN[7][0] = 4.0 - 8.0 * r - 4.0 * s - 4.0 * t;
  dN[7][1] = -4.0 * r;
  dN[7][2] = -4.0 * r;
  dN[8][0] = -4.0 * s;
  dN[8][1] = 4.0 - 4.0 * r - 8.0 * s - 4.0 * t;
  dN[8][2] = -4.0 * s;
  dN[9][0] = -4.0 * t;
  dN[9][1] = -4.0 * t;
  dN[9][2] = 4.0 - 4.0 * r - 4.0 * s - 8.0 * t;
}
```