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

```asm
<gint2_nai_pF_cF>:
  endbr64
  push   %rbx
  mov    $0x2,%eax
  mov    %rcx,%rbx
  sub    $0xb0,%rsp
  call   <gint2_nai_cF_cF@plt>
  movupd (%rbx),%xmm5
  movupd 0x10(%rbx),%xmm4
  movupd 0xf0(%rbx),%xmm14
  movupd 0x20(%rbx),%xmm3
  movapd %xmm5,%xmm9
  movupd 0x30(%rbx),%xmm2
  movupd 0x40(%rbx),%xmm1
  movapd D24(%rip),%xmm7
  movapd D68(%rip),%xmm6
  movapd %xmm14,%xmm0
  movupd 0x190(%rbx),%xmm8
  movupd 0x100(%rbx),%xmm13
  movupd 0x110(%rbx),%xmm12
  mulpd  %xmm6,%xmm0
  movupd 0x120(%rbx),%xmm11
  mulpd  %xmm7,%xmm8
  movapd %xmm13,%xmm10
  movupd 0x130(%rbx),%xmm15
  mulpd  %xmm6,%xmm10
  subpd  %xmm0,%xmm8
  movapd D40(%rip),%xmm0
  mulpd  %xmm0,%xmm9
  subpd  %xmm9,%xmm8
  movupd 0x1a0(%rbx),%xmm9
  mulpd  %xmm7,%xmm9
  movaps %xmm8,0x10(%rsp)
  subpd  %xmm10,%xmm9
  movapd %xmm4,%xmm10
  mulpd  %xmm0,%xmm10
  subpd  %xmm10,%xmm9
  movupd 0x1b0(%rbx),%xmm10
  mulpd  %xmm7,%xmm10
  movaps %xmm9,0x20(%rsp)
  movapd %xmm10,%xmm9
  movapd %xmm12,%xmm10
  mulpd  %xmm6,%xmm10
  subpd  %xmm10,%xmm9
  movapd %xmm3,%xmm10
  mulpd  %xmm0,%xmm10
  movapd %xmm10,%xmm8
  movapd %xmm9,%xmm10
  movupd 0x1c0(%rbx),%xmm9
  subpd  %xmm8,%xmm10
  movapd %xmm11,%xmm8
  mulpd  %xmm6,%xmm8
  mulpd  %xmm7,%xmm9
  movaps %xmm10,0x30(%rsp)
  movapd %xmm15,%xmm10
  mulpd  %xmm6,%xmm10
  subpd  %xmm8,%xmm9
  movapd %xmm2,%xmm8
  mulpd  %xmm0,%xmm8
  subpd  %xmm8,%xmm9
  movupd 0x1d0(%rbx),%xmm8
  mulpd  %xmm7,%xmm8
  movaps %xmm9,0x40(%rsp)
  subpd  %xmm10,%xmm8
  movapd %xmm1,%xmm10
  mulpd  %xmm0,%xmm10
  subpd  %xmm10,%xmm8
  movupd 0x280(%rbx),%xmm10
  mulpd  %xmm7,%xmm10
  movaps %xmm8,0x50(%rsp)
  movapd %xmm10,%xmm8
  movupd 0x50(%rbx),%xmm10
  mulpd  %xmm6,%xmm10
  subpd  %xmm10,%xmm8
  movupd 0x1e0(%rbx),%xmm10
  mulpd  %xmm0,%xmm10
  movapd %xmm10,%xmm9
  movapd %xmm8,%xmm10
  movupd 0x290(%rbx),%xmm8
  subpd  %xmm9,%xmm10
  movupd 0x60(%rbx),%xmm9
  mulpd  %xmm7,%xmm8
  mulpd  %xmm6,%xmm9
  movaps %xmm10,0x60(%rsp)
  movupd 0x2a0(%rbx),%xmm10
  mulpd  %xmm7,%xmm10
  subpd  %xmm9,%xmm8
  movupd 0x1f0(%rbx),%xmm9
  mulpd  %xmm0,%xmm9
  subpd  %xmm9,%xmm8
  movaps %xmm8,0x70(%rsp)
  movupd 0x70(%rbx),%xmm9
  movapd %xmm10,%xmm8
  mulpd  %xmm6,%xmm9
  subpd  %xmm9,%xmm8
  movupd 0x200(%rbx),%xmm9
  mulpd  %xmm0,%xmm9
  movapd %xmm8,%xmm10
  subpd  %xmm9,%xmm10
  movupd 0x2b0(%rbx),%xmm9
  mulpd  %xmm7,%xmm9
  movaps %xmm10,0x80(%rsp)
  movapd %xmm9,%xmm8
  movupd 0x80(%rbx),%xmm9
  mulpd  %xmm6,%xmm9
  subpd  %xmm9,%xmm8
  movupd 0x210(%rbx),%xmm9
  mulpd  %xmm0,%xmm9
  subpd  %xmm9,%xmm8
  movupd 0x2c0(%rbx),%xmm9
  mulpd  %xmm9,%xmm7
  movupd 0x90(%rbx),%xmm9
  movaps %xmm8,0x90(%rsp)
  mulpd  %xmm9,%xmm6
  subpd  %xmm6,%xmm7
  movupd 0x220(%rbx),%xmm6
  mulpd  %xmm6,%xmm0
  movupd 0xb0(%rbx),%xmm6
  subpd  %xmm0,%xmm7
  movapd D21(%rip),%xmm0
  mulpd  %xmm0,%xmm6
  movaps %xmm7,0xa0(%rsp)
  movupd 0x2e0(%rbx),%xmm7
  subpd  %xmm6,%xmm7
  movupd 0x240(%rbx),%xmm6
  mulpd  %xmm0,%xmm6
  movapd %xmm7,%xmm9
  movupd 0x2f0(%rbx),%xmm7
  subpd  %xmm6,%xmm9
  movupd 0xc0(%rbx),%xmm6
  mulpd  %xmm0,%xmm6
  movups %xmm9,0x10(%rbx)
  subpd  %xmm6,%xmm7
  movupd 0x250(%rbx),%xmm6
  mulpd  %xmm0,%xmm6
  movapd %xmm7,%xmm8
  movupd 0x300(%rbx),%xmm7
  subpd  %xmm6,%xmm8
  movupd 0xd0(%rbx),%xmm6
  mulpd  %xmm0,%xmm6
  movups %xmm8,0x20(%rbx)
  subpd  %xmm6,%xmm7
  movupd 0x260(%rbx),%xmm6
  mulpd  %xmm0,%xmm6
  subpd  %xmm6,%xmm7
  movupd 0xe0(%rbx),%xmm6
  mulpd  %xmm0,%xmm6
  movups %xmm7,0x30(%rbx)
  movapd %xmm6,%xmm10
  movupd 0x310(%rbx),%xmm6
  subpd  %xmm10,%xmm6
  movupd 0x270(%rbx),%xmm10
  mulpd  %xmm0,%xmm10
  subpd  %xmm10,%xmm6
  movupd 0xa0(%rbx),%xmm10
  mulpd  %xmm0,%xmm10
  movaps %xmm6,(%rsp)
  movupd 0x2d0(%rbx),%xmm6
  subpd  %xmm10,%xmm6
  movapd %xmm6,%xmm10
  movupd 0x230(%rbx),%xmm6
  mulpd  %xmm6,%xmm0
  subpd  %xmm0,%xmm10
  movups %xmm10,(%rbx)
  movapd (%rsp),%xmm7
  movapd D0(%rip),%xmm0
  movupd 0xa0(%rbx),%xmm6
  movups %xmm7,0x40(%rbx)
  movupd 0x230(%rbx),%xmm7
  mulpd  %xmm0,%xmm6
  mulpd  %xmm0,%xmm7
  subpd  %xmm7,%xmm6
  movupd 0x240(%rbx),%xmm7
  mulpd  %xmm0,%xmm7
  movups %xmm6,0xf0(%rbx)
  movupd 0xb0(%rbx),%xmm6
  mulpd  %xmm0,%xmm6
  subpd  %xmm7,%xmm6
  movupd 0x250(%rbx),%xmm7
  mulpd  %xmm0,%xmm7
  movups %xmm6,0x100(%rbx)
  movupd 0xc0(%rbx),%xmm6
  mulpd  %xmm0,%xmm6
  subpd  %xmm7,%xmm6
  movupd 0x260(%rbx),%xmm7
  mulpd  %xmm0,%xmm7
  movups %xmm6,0x110(%rbx)
  movupd 0xd0(%rbx),%xmm6
  mulpd  %xmm0,%xmm6
  subpd  %xmm7,%xmm6
  movupd 0x270(%rbx),%xmm7
  movups %xmm6,0x120(%rbx)
  movupd 0xe0(%rbx),%xmm6
  mulpd  %xmm0,%xmm6
  mulpd  %xmm7,%xmm0
  subpd  %xmm0,%xmm6
  movapd D57(%rip),%xmm0
  mulpd  %xmm0,%xmm2
  movups %xmm6,0x130(%rbx)
  movapd D28(%rip),%xmm6
  mulpd  %xmm0,%xmm1
  mulpd  %xmm0,%xmm5
  mulpd  %xmm6,%xmm11
  mulpd  %xmm6,%xmm14
  mulpd  %xmm0,%xmm4
  mulpd  %xmm6,%xmm13
  mulpd  %xmm0,%xmm3
  subpd  %xmm11,%xmm2
  mulpd  %xmm6,%xmm12
  subpd  %xmm14,%xmm5
  movups %xmm2,0x1c0(%rbx)
  movapd %xmm15,%xmm2
  subpd  %xmm13,%xmm4
  mulpd  %xmm6,%xmm2
  movups %xmm5,0x190(%rbx)
  subpd  %xmm12,%xmm3
  movups %xmm4,0x1a0(%rbx)
  movups %xmm3,0x1b0(%rbx)
  subpd  %xmm2,%xmm1
  movupd 0x1e0(%rbx),%xmm2
  mulpd  %xmm0,%xmm2
  movups %xmm1,0x1d0(%rbx)
  movupd 0x50(%rbx),%xmm1
  mulpd  %xmm6,%xmm1
  subpd  %xmm2,%xmm1
  movupd 0x1f0(%rbx),%xmm2
  mulpd  %xmm0,%xmm2
  movups %xmm1,0x1e0(%rbx)
  movupd 0x60(%rbx),%xmm1
  mulpd  %xmm6,%xmm1
  subpd  %xmm2,%xmm1
  movups %xmm1,0x1f0(%rbx)
  movupd 0x70(%rbx),%xmm1
  movupd 0x200(%rbx),%xmm2
  movapd 0x10(%rsp),%xmm8
  movapd 0x30(%rsp),%xmm10
  mulpd  %xmm0,%xmm2
  movapd 0x20(%rsp),%xmm9
  movapd 0xa0(%rsp),%xmm7
  mulpd  %xmm6,%xmm1
  movups %xmm8,0x50(%rbx)
  movapd 0x50(%rsp),%xmm8
  movups %xmm10,0x70(%rbx)
  movapd 0x60(%rsp),%xmm10
  movups %xmm9,0x60(%rbx)
  movapd 0x40(%rsp),%xmm9
  movups %xmm10,0xa0(%rbx)
  movapd 0x80(%rsp),%xmm10
  movups %xmm7,0xe0(%rbx)
  subpd  %xmm2,%xmm1
  movupd 0x210(%rbx),%xmm2
  movups %xmm10,0xc0(%rbx)
  mulpd  %xmm0,%xmm2
  movups %xmm1,0x200(%rbx)
  movupd 0x80(%rbx),%xmm1
  movups %xmm9,0x80(%rbx)
  mulpd  %xmm6,%xmm1
  subpd  %xmm2,%xmm1
  movupd 0x220(%rbx),%xmm2
  mulpd  %xmm0,%xmm2
  movups %xmm1,0x210(%rbx)
  movupd 0x90(%rbx),%xmm1
  movups %xmm8,0x90(%rbx)
  movapd 0x70(%rsp),%xmm8
  mulpd  %xmm6,%xmm1
  movups %xmm8,0xb0(%rbx)
  movapd 0x90(%rsp),%xmm8
  movups %xmm8,0xd0(%rbx)
  subpd  %xmm2,%xmm1
  movups %xmm1,0x220(%rbx)
  add    $0xb0,%rsp
  pop    %rbx
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D24
type_guessed: f64[2]
name: extract_symbolic_data
arguments: data_tag: D68
type_guessed: f64[2]
name: extract_symbolic_data
arguments: data_tag: D40
type_guessed: f64[2]
name: extract_symbolic_data
arguments: data_tag: D21
type_guessed: f64[2]
name: extract_symbolic_data
arguments: data_tag: D0
type_guessed: f64[2]
name: extract_symbolic_data
arguments: data_tag: D57
type_guessed: f64[2]
name: extract_symbolic_data
arguments: data_tag: D28
type_guessed: f64[2]

tool: {"D24": [1.09544511501033,1.09544511501033]}

tool: {"D68": [0.273861278752583,0.273861278752583]}

tool: {"D40": [0.612372435695794,0.612372435695794]}

tool: {"D21": [0.670820393249937,0.670820393249937]}

tool: {"D0": [0.866025403784439,0.866025403784439]}

tool: {"D57": [0.790569415042095,0.790569415042095]}

tool: {"D28": [1.06066017177982,1.06066017177982]}

assistant: ```c
void gint2_nai_pF_cF(double *a, double a_a, double *b, double b_a, double *c, double *out) {
  double tmp0, tmp1, tmp10, tmp11, tmp12, tmp13, tmp14, tmp2, tmp3, tmp4, tmp5, tmp6, tmp7, tmp8, tmp9;
  gint2_nai_cF_cF(a, a_a, b, b_a, c, out);
  tmp0 = 1.09544511501033 * out[50] - 0.273861278752583 * out[30] - 0.612372435695794 * out[0];
  tmp1 = out[90] - 0.670820393249937 * out[20] - 0.670820393249937 * out[70];
  tmp2 = 0.866025403784439 * out[20] - 0.866025403784439 * out[70];
  out[20] = 1.09544511501033 * out[80] - 0.273861278752583 * out[10] - 0.612372435695794 * out[60];
  tmp3 = 1.09544511501033 * out[52] - 0.273861278752583 * out[32] - 0.612372435695794 * out[2];
  tmp4 = 0.866025403784439 * out[22] - 0.866025403784439 * out[72];
  tmp5 = out[92] - 0.670820393249937 * out[22] - 0.670820393249937 * out[72];
  out[22] = 1.09544511501033 * out[82] - 0.273861278752583 * out[12] - 0.612372435695794 * out[62];
  tmp6 = 1.09544511501033 * out[54] - 0.273861278752583 * out[34] - 0.612372435695794 * out[4];
  tmp7 = out[94] - 0.670820393249937 * out[24] - 0.670820393249937 * out[74];
  tmp8 = 0.866025403784439 * out[24] - 0.866025403784439 * out[74];
  out[24] = 1.09544511501033 * out[84] - 0.273861278752583 * out[14] - 0.612372435695794 * out[64];
  tmp9 = 1.09544511501033 * out[56] - 0.273861278752583 * out[36] - 0.612372435695794 * out[6];
  tmp10 = 0.866025403784439 * out[26] - 0.866025403784439 * out[76];
  tmp11 = out[96] - 0.670820393249937 * out[26] - 0.670820393249937 * out[76];
  out[26] = 1.09544511501033 * out[86] - 0.273861278752583 * out[16] - 0.612372435695794 * out[66];
  tmp12 = 1.09544511501033 * out[58] - 0.273861278752583 * out[38] - 0.612372435695794 * out[8];
  tmp13 = out[98] - 0.670820393249937 * out[28] - 0.670820393249937 * out[78];
  tmp14 = 0.866025403784439 * out[28] - 0.866025403784439 * out[78];
  out[28] = 1.09544511501033 * out[88] - 0.273861278752583 * out[18] - 0.612372435695794 * out[68];
  out[50] = 0.790569415042095 * out[0] - 1.06066017177982 * out[30];
  out[30] = tmp2;
  out[0] = tmp1;
  tmp2 = 1.09544511501033 * out[51] - 0.273861278752583 * out[31] - 0.612372435695794 * out[1];
  out[51] = 0.790569415042095 * out[1] - 1.06066017177982 * out[31];
  out[1] = out[91] - 0.670820393249937 * out[21] - 0.670820393249937 * out[71];
  out[31] = 0.866025403784439 * out[21] - 0.866025403784439 * out[71];
  out[21] = 1.09544511501033 * out[81] - 0.273861278752583 * out[11] - 0.612372435695794 * out[61];
  out[52] = 0.790569415042095 * out[2] - 1.06066017177982 * out[32];
  out[2] = tmp5;
  out[32] = tmp4;
  tmp1 = 1.09544511501033 * out[53] - 0.273861278752583 * out[33] - 0.612372435695794 * out[3];
  out[53] = 0.790569415042095 * out[3] - 1.06066017177982 * out[33];
  out[3] = out[93] - 0.670820393249937 * out[23] - 0.670820393249937 * out[73];
  out[33] = 0.866025403784439 * out[23] - 0.866025403784439 * out[73];
  out[23] = 1.09544511501033 * out[83] - 0.273861278752583 * out[13] - 0.612372435695794 * out[63];
  out[54] = 0.790569415042095 * out[4] - 1.06066017177982 * out[34];
  out[34] = tmp8;
  out[4] = tmp7;
  tmp5 = 1.09544511501033 * out[55] - 0.273861278752583 * out[35] - 0.612372435695794 * out[5];
  out[55] = 0.790569415042095 * out[5] - 1.06066017177982 * out[35];
  out[5] = out[95] - 0.670820393249937 * out[25] - 0.670820393249937 * out[75];
  out[35] = 0.866025403784439 * out[25] - 0.866025403784439 * out[75];
  out[25] = 1.09544511501033 * out[85] - 0.273861278752583 * out[15] - 0.612372435695794 * out[65];
  out[56] = 0.790569415042095 * out[6] - 1.06066017177982 * out[36];
  out[6] = tmp11;
  out[36] = tmp10;
  tmp4 = 1.09544511501033 * out[57] - 0.273861278752583 * out[37] - 0.612372435695794 * out[7];
  out[57] = 0.790569415042095 * out[7] - 1.06066017177982 * out[37];
  out[7] = out[97] - 0.670820393249937 * out[27] - 0.670820393249937 * out[77];
  out[37] = 0.866025403784439 * out[27] - 0.866025403784439 * out[77];
  out[27] = 1.09544511501033 * out[87] - 0.273861278752583 * out[17] - 0.612372435695794 * out[67];
  out[58] = 0.790569415042095 * out[8] - 1.06066017177982 * out[38];
  out[38] = tmp14;
  out[8] = tmp13;
  tmp8 = 1.09544511501033 * out[59] - 0.273861278752583 * out[39] - 0.612372435695794 * out[9];
  out[59] = 0.790569415042095 * out[9] - 1.06066017177982 * out[39];
  out[9] = out[99] - 0.670820393249937 * out[29] - 0.670820393249937 * out[79];
  out[39] = 0.866025403784439 * out[29] - 0.866025403784439 * out[79];
  out[29] = 1.09544511501033 * out[89] - 0.273861278752583 * out[19] - 0.612372435695794 * out[69];
  out[60] = 1.06066017177982 * out[10] - 0.790569415042095 * out[60];
  out[10] = tmp0;
  out[61] = 1.06066017177982 * out[11] - 0.790569415042095 * out[61];
  out[11] = tmp2;
  out[62] = 1.06066017177982 * out[12] - 0.790569415042095 * out[62];
  out[12] = tmp3;
  out[63] = 1.06066017177982 * out[13] - 0.790569415042095 * out[63];
  out[13] = tmp1;
  out[64] = 1.06066017177982 * out[14] - 0.790569415042095 * out[64];
  out[14] = tmp6;
  out[65] = 1.06066017177982 * out[15] - 0.790569415042095 * out[65];
  out[15] = tmp5;
  out[66] = 1.06066017177982 * out[16] - 0.790569415042095 * out[66];
  out[16] = tmp9;
  out[67] = 1.06066017177982 * out[17] - 0.790569415042095 * out[67];
  out[17] = tmp4;
  out[68] = 1.06066017177982 * out[18] - 0.790569415042095 * out[68];
  out[18] = tmp12;
  out[69] = 1.06066017177982 * out[19] - 0.790569415042095 * out[69];
  out[19] = tmp8;
}
```