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

```asm
<floats_xytcov_mul>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0xa0,%rsp
  mov    %rdi,-0x78(%rbp)
  mov    %rsi,-0x80(%rbp)
  mov    %rdx,-0x88(%rbp)
  mov    %rcx,-0x90(%rbp)
  mov    %r8,-0x98(%rbp)
  mov    %r9,-0xa0(%rbp)
  mov    -0x78(%rbp),%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x64(%rbp)
  mov    -0x78(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x60(%rbp)
  mov    -0x78(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x5c(%rbp)
  mov    -0x88(%rbp),%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x58(%rbp)
  mov    -0x88(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x54(%rbp)
  mov    -0x5c(%rbp),%eax
  movd   %eax,%xmm0
  call   <sin@plt>
  movd   %xmm0,%eax
  mov    %eax,-0x50(%rbp)
  mov    -0x5c(%rbp),%eax
  movd   %eax,%xmm0
  call   <cos@plt>
  movd   %xmm0,%eax
  mov    %eax,-0x4c(%rbp)
  mov    -0x80(%rbp),%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x48(%rbp)
  mov    -0x80(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x44(%rbp)
  mov    -0x80(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x40(%rbp)
  mov    -0x80(%rbp),%rax
  add    $0x10,%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x3c(%rbp)
  mov    -0x80(%rbp),%rax
  add    $0x14,%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x38(%rbp)
  mov    -0x80(%rbp),%rax
  add    $0x20,%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x34(%rbp)
  mov    -0x90(%rbp),%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x30(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x2c(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x28(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x10,%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x24(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x14,%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x20(%rbp)
  mov    -0x90(%rbp),%rax
  add    $0x20,%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x1c(%rbp)
  movss  -0x50(%rbp),%xmm0
  movss  D12(%rip),%xmm1
  xorps  %xmm1,%xmm0
  mulss  -0x58(%rbp),%xmm0
  movss  -0x4c(%rbp),%xmm1
  mulss  -0x54(%rbp),%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x18(%rbp)
  movss  -0x4c(%rbp),%xmm0
  mulss  -0x58(%rbp),%xmm0
  movss  -0x50(%rbp),%xmm1
  mulss  -0x54(%rbp),%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x14(%rbp)
  movss  -0x4c(%rbp),%xmm0
  movss  %xmm0,-0x10(%rbp)
  movss  -0x50(%rbp),%xmm0
  movss  D12(%rip),%xmm1
  xorps  %xmm1,%xmm0
  movss  %xmm0,-0xc(%rbp)
  movss  -0x50(%rbp),%xmm0
  movss  %xmm0,-0x8(%rbp)
  movss  -0x4c(%rbp),%xmm0
  movss  %xmm0,-0x4(%rbp)
  movss  -0x34(%rbp),%xmm0
  mulss  -0x18(%rbp),%xmm0
  movaps %xmm0,%xmm1
  mulss  -0x18(%rbp),%xmm1
  movss  -0x40(%rbp),%xmm0
  addss  %xmm0,%xmm0
  mulss  -0x18(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x30(%rbp),%xmm0
  mulss  -0x10(%rbp),%xmm0
  mulss  -0x10(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x2c(%rbp),%xmm0
  addss  %xmm0,%xmm0
  mulss  -0x10(%rbp),%xmm0
  mulss  -0xc(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x24(%rbp),%xmm0
  mulss  -0xc(%rbp),%xmm0
  mulss  -0xc(%rbp),%xmm0
  addss  %xmm1,%xmm0
  addss  -0x48(%rbp),%xmm0
  mov    -0xa0(%rbp),%rax
  movss  %xmm0,(%rax)
  movss  -0x18(%rbp),%xmm0
  mulss  -0x34(%rbp),%xmm0
  addss  -0x40(%rbp),%xmm0
  mulss  -0x14(%rbp),%xmm0
  movaps %xmm0,%xmm1
  addss  -0x44(%rbp),%xmm1
  movss  -0x18(%rbp),%xmm0
  mulss  -0x38(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x10(%rbp),%xmm0
  movaps %xmm0,%xmm2
  mulss  -0x30(%rbp),%xmm2
  movss  -0xc(%rbp),%xmm0
  mulss  -0x2c(%rbp),%xmm0
  addss  %xmm2,%xmm0
  mulss  -0x8(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x10(%rbp),%xmm0
  movaps %xmm0,%xmm2
  mulss  -0x2c(%rbp),%xmm2
  movss  -0xc(%rbp),%xmm0
  mulss  -0x24(%rbp),%xmm0
  addss  %xmm2,%xmm0
  mulss  -0x4(%rbp),%xmm0
  mov    -0xa0(%rbp),%rax
  add    $0x4,%rax
  addss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  movss  -0x18(%rbp),%xmm0
  mulss  -0x34(%rbp),%xmm0
  movaps %xmm0,%xmm1
  addss  -0x40(%rbp),%xmm1
  movss  -0x10(%rbp),%xmm0
  mulss  -0x28(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0xc(%rbp),%xmm0
  mulss  -0x20(%rbp),%xmm0
  mov    -0xa0(%rbp),%rax
  add    $0x8,%rax
  addss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0xa0(%rbp),%rax
  lea    0xc(%rax),%rdx
  mov    -0xa0(%rbp),%rax
  movss  0x4(%rax),%xmm0
  movss  %xmm0,(%rdx)
  movss  -0x34(%rbp),%xmm0
  mulss  -0x14(%rbp),%xmm0
  movaps %xmm0,%xmm1
  mulss  -0x14(%rbp),%xmm1
  movss  -0x38(%rbp),%xmm0
  addss  %xmm0,%xmm0
  mulss  -0x14(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x30(%rbp),%xmm0
  mulss  -0x8(%rbp),%xmm0
  mulss  -0x8(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x2c(%rbp),%xmm0
  addss  %xmm0,%xmm0
  mulss  -0x8(%rbp),%xmm0
  mulss  -0x4(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x24(%rbp),%xmm0
  mulss  -0x4(%rbp),%xmm0
  mulss  -0x4(%rbp),%xmm0
  addss  %xmm1,%xmm0
  mov    -0xa0(%rbp),%rax
  add    $0x10,%rax
  addss  -0x3c(%rbp),%xmm0
  movss  %xmm0,(%rax)
  movss  -0x14(%rbp),%xmm0
  mulss  -0x34(%rbp),%xmm0
  movaps %xmm0,%xmm1
  addss  -0x38(%rbp),%xmm1
  movss  -0x8(%rbp),%xmm0
  mulss  -0x28(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x4(%rbp),%xmm0
  mulss  -0x20(%rbp),%xmm0
  mov    -0xa0(%rbp),%rax
  add    $0x14,%rax
  addss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0xa0(%rbp),%rax
  lea    0x18(%rax),%rdx
  mov    -0xa0(%rbp),%rax
  movss  0x8(%rax),%xmm0
  movss  %xmm0,(%rdx)
  mov    -0xa0(%rbp),%rax
  lea    0x1c(%rax),%rdx
  mov    -0xa0(%rbp),%rax
  movss  0x14(%rax),%xmm0
  movss  %xmm0,(%rdx)
  mov    -0xa0(%rbp),%rax
  add    $0x20,%rax
  movss  -0x34(%rbp),%xmm0
  addss  -0x1c(%rbp),%xmm0
  movss  %xmm0,(%rax)
  movss  -0x4c(%rbp),%xmm0
  mulss  -0x58(%rbp),%xmm0
  movss  -0x50(%rbp),%xmm1
  mulss  -0x54(%rbp),%xmm1
  subss  %xmm1,%xmm0
  addss  -0x64(%rbp),%xmm0
  mov    -0x98(%rbp),%rax
  movss  %xmm0,(%rax)
  movss  -0x50(%rbp),%xmm0
  movaps %xmm0,%xmm1
  mulss  -0x58(%rbp),%xmm1
  movss  -0x4c(%rbp),%xmm0
  mulss  -0x54(%rbp),%xmm0
  addss  %xmm1,%xmm0
  mov    -0x98(%rbp),%rax
  add    $0x4,%rax
  addss  -0x60(%rbp),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x78(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm1
  mov    -0x88(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  mov    -0x98(%rbp),%rax
  add    $0x8,%rax
  addss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  nop
  leave
  ret
```

tool_calls: name: parse_data
arguments: data_tag: D12
type_infered: byte[4]

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

assistant: ```c
void floats_xytcov_mul(const float xyta[3], const float Ca[9], const float xytb[3], const float Cb[9], float xytr[3], float Cr[9]) {
  float xa = xyta[0], ya = xyta[1], ta = xyta[2];
  float xb = xytb[0], yb = xytb[1];
  float sa = sin(ta), ca = cos(ta);
  float P11 = Ca[0], P12 = Ca[1], P13 = Ca[2];
  float P22 = Ca[4], P23 = Ca[5];
  float P33 = Ca[8];
  float Q11 = Cb[0], Q12 = Cb[1], Q13 = Cb[2];
  float Q22 = Cb[4], Q23 = Cb[5];
  float Q33 = Cb[8];
  float JA13 = -sa * xb - ca * yb;
  float JA23 = ca * xb - sa * yb;
  float JB11 = ca;
  float JB12 = -sa;
  float JB21 = sa;
  float JB22 = ca;
  Cr[0] = P33 * JA13 * JA13 + 2 * P13 * JA13 + Q11 * JB11 * JB11 + 2 * Q12 * JB11 * JB12 + Q22 * JB12 * JB12 + P11;
  Cr[1] = P12 + JA23 * (P13 + JA13 * P33) + JA13 * P23 + JB21 * (JB11 * Q11 + JB12 * Q12) + JB22 * (JB11 * Q12 + JB12 * Q22);
  Cr[2] = P13 + JA13 * P33 + JB11 * Q13 + JB12 * Q23;
  Cr[3] = Cr[1];
  Cr[4] = P33 * JA23 * JA23 + 2 * P23 * JA23 + Q11 * JB21 * JB21 + 2 * Q12 * JB21 * JB22 + Q22 * JB22 * JB22 + P22;
  Cr[5] = P23 + JA23 * P33 + JB21 * Q13 + JB22 * Q23;
  Cr[6] = Cr[2];
  Cr[7] = Cr[5];
  Cr[8] = P33 + Q33;
  xytr[0] = ca * xb - sa * yb + xa;
  xytr[1] = sa * xb + ca * yb + ya;
  xytr[2] = xyta[2] + xytb[2];
}
```