user: 请将以下的汇编代码转换成C语言代码：

```asm
<arGetRot>:
  endbr64
  push   %r12
  push   %rbp
  push   %rbx
  mov    %rdi,%rbx
  sub    $0x40,%rsp
  lea    0x38(%rsp),%rbp
  lea    0x30(%rsp),%r12
  movsd  %xmm0,0x28(%rsp)
  movapd %xmm2,%xmm0
  mov    %r12,%rsi
  mov    %rbp,%rdi
  movsd  %xmm1,0x8(%rsp)
  call   <sincos@plt>
  movsd  0x8(%rsp),%xmm1
  mov    %r12,%rsi
  mov    %rbp,%rdi
  movsd  0x30(%rsp),%xmm6
  movsd  0x38(%rsp),%xmm7
  movapd %xmm1,%xmm0
  movsd  %xmm6,0x20(%rsp)
  movsd  %xmm7,0x18(%rsp)
  call   <sincos@plt>
  movsd  0x28(%rsp),%xmm3
  mov    %r12,%rsi
  mov    %rbp,%rdi
  movsd  0x30(%rsp),%xmm10
  movsd  0x38(%rsp),%xmm12
  movapd %xmm3,%xmm0
  movsd  %xmm10,0x10(%rsp)
  movsd  %xmm12,0x8(%rsp)
  call   <sincos@plt>
  movsd  0x30(%rsp),%xmm1
  xor    %eax,%eax
  movsd  0x38(%rsp),%xmm5
  movsd  0x10(%rsp),%xmm10
  movsd  0x20(%rsp),%xmm6
  movapd %xmm1,%xmm9
  movapd %xmm5,%xmm8
  movapd %xmm5,%xmm0
  movsd  0x18(%rsp),%xmm7
  mulsd  %xmm1,%xmm9
  movsd  0x8(%rsp),%xmm12
  movsd  %xmm10,0x40(%rbx)
  mulsd  %xmm1,%xmm8
  mulsd  %xmm5,%xmm0
  mulsd  %xmm12,%xmm5
  mulsd  %xmm12,%xmm1
  movapd %xmm9,%xmm2
  mulsd  %xmm10,%xmm2
  movapd %xmm8,%xmm3
  movapd %xmm8,%xmm11
  mulsd  %xmm10,%xmm3
  movapd %xmm0,%xmm14
  mulsd  %xmm6,%xmm14
  mulsd  %xmm7,%xmm11
  mulsd  %xmm6,%xmm8
  movapd %xmm2,%xmm4
  mulsd  %xmm6,%xmm4
  movapd %xmm3,%xmm13
  mulsd  %xmm7,%xmm13
  mulsd  %xmm6,%xmm3
  addsd  %xmm14,%xmm4
  movapd %xmm0,%xmm14
  mulsd  %xmm7,%xmm14
  mulsd  %xmm10,%xmm0
  addsd  %xmm13,%xmm4
  subsd  %xmm11,%xmm4
  subsd  %xmm13,%xmm11
  movsd  %xmm4,(%rbx)
  movq   D3(%rip),%xmm4
  xorpd  %xmm4,%xmm2
  xorpd  %xmm1,%xmm4
  mulsd  %xmm7,%xmm2
  mulsd  %xmm6,%xmm4
  subsd  %xmm14,%xmm2
  addsd  %xmm3,%xmm2
  subsd  %xmm8,%xmm3
  subsd  %xmm8,%xmm2
  movsd  %xmm2,0x8(%rbx)
  movapd %xmm0,%xmm2
  mulsd  %xmm7,%xmm2
  mulsd  %xmm6,%xmm0
  addsd  %xmm2,%xmm3
  movapd %xmm9,%xmm2
  mulsd  %xmm6,%xmm9
  addsd  %xmm11,%xmm0
  mulsd  %xmm7,%xmm2
  addsd  %xmm9,%xmm0
  addsd  %xmm2,%xmm3
  movapd %xmm1,%xmm2
  mulsd  %xmm7,%xmm1
  unpcklpd %xmm5,%xmm0
  movups %xmm0,0x20(%rbx)
  movapd %xmm5,%xmm0
  unpcklpd %xmm3,%xmm2
  mulsd  %xmm7,%xmm0
  movups %xmm2,0x10(%rbx)
  mulsd  %xmm6,%xmm5
  subsd  %xmm0,%xmm4
  subsd  %xmm5,%xmm1
  unpcklpd %xmm1,%xmm4
  movups %xmm4,0x30(%rbx)
  add    $0x40,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D3
type_guessed: byte[8]

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

assistant: ```c
int arGetRot(double a, double b, double c, double rot[3][3]) {
  double sina, sinb, sinc;
  double cosa, cosb, cosc;
  sina = sin(a);
  cosa = cos(a);
  sinb = sin(b);
  cosb = cos(b);
  sinc = sin(c);
  cosc = cos(c);
  rot[0][0] = cosa * cosa * cosb * cosc + sina * sina * cosc + sina * cosa * cosb * sinc - sina * cosa * sinc;
  rot[0][1] = -cosa * cosa * cosb * sinc - sina * sina * sinc + sina * cosa * cosb * cosc - sina * cosa * cosc;
  rot[0][2] = cosa * sinb;
  rot[1][0] = sina * cosa * cosb * cosc - sina * cosa * cosc + sina * sina * cosb * sinc + cosa * cosa * sinc;
  rot[1][1] = -sina * cosa * cosb * sinc + sina * cosa * sinc + sina * sina * cosb * cosc + cosa * cosa * cosc;
  rot[1][2] = sina * sinb;
  rot[2][0] = -cosa * sinb * cosc - sina * sinb * sinc;
  rot[2][1] = cosa * sinb * sinc - sina * sinb * cosc;
  rot[2][2] = cosb;
  return 0;
}
```