user: Please show me the C implementation that matches the assembly code listed below:

```asm
<Star_Glob>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0xb0,%rsp
  mov    %rdi,-0x88(%rbp)
  movsd  %xmm0,-0x90(%rbp)
  movsd  %xmm1,-0x98(%rbp)
  movsd  %xmm2,-0xa0(%rbp)
  mov    %rsi,-0xa8(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  mov    -0x90(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x80(%rbp)
  mov    -0x90(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x78(%rbp)
  mov    -0x98(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x70(%rbp)
  mov    -0x98(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x68(%rbp)
  mov    -0xa0(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x60(%rbp)
  mov    -0xa0(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x58(%rbp)
  movsd  -0x60(%rbp),%xmm0
  mulsd  -0x70(%rbp),%xmm0
  movsd  %xmm0,-0x50(%rbp)
  movsd  -0x60(%rbp),%xmm0
  mulsd  -0x68(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x78(%rbp),%xmm1
  movsd  -0x58(%rbp),%xmm0
  mulsd  -0x80(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x48(%rbp)
  movsd  -0x60(%rbp),%xmm0
  movq   D14(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x68(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x80(%rbp),%xmm1
  movsd  -0x58(%rbp),%xmm0
  mulsd  -0x78(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x40(%rbp)
  movsd  -0x58(%rbp),%xmm0
  movq   D14(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x70(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0x58(%rbp),%xmm0
  movq   D14(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x68(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x78(%rbp),%xmm1
  movsd  -0x60(%rbp),%xmm0
  mulsd  -0x80(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x58(%rbp),%xmm0
  mulsd  -0x68(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x80(%rbp),%xmm1
  movsd  -0x60(%rbp),%xmm0
  mulsd  -0x78(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,-0x20(%rbp)
  movsd  -0x70(%rbp),%xmm0
  movq   D14(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x70(%rbp),%xmm0
  mulsd  -0x80(%rbp),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x88(%rbp),%rax
  movsd  (%rax),%xmm1
  movsd  -0x50(%rbp),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x88(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm2
  movsd  -0x38(%rbp),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x88(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm2
  movsd  -0x20(%rbp),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  mov    -0xa8(%rbp),%rax
  movsd  %xmm0,(%rax)
  mov    -0x88(%rbp),%rax
  movsd  (%rax),%xmm1
  movsd  -0x48(%rbp),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x88(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm2
  movsd  -0x30(%rbp),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x88(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm2
  movsd  -0x18(%rbp),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0xa8(%rbp),%rax
  add    $0x8,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x88(%rbp),%rax
  movsd  (%rax),%xmm1
  movsd  -0x40(%rbp),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x88(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm2
  movsd  -0x28(%rbp),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x88(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm2
  movsd  -0x10(%rbp),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0xa8(%rbp),%rax
  add    $0x10,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  nop
  mov    -0x8(%rbp),%rax
  sub    %fs:0x28,%rax
  je     L7
  call   <__stack_chk_fail@plt>
L7:
  leave
  ret
```

tool_calls: name: retrieve_data
arguments: data_tag: D14
datatype: byte[8]

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

assistant: ```c
void Star_Glob(const double xsi[3], const double nu, const double eps, const double psi, double x[3]) {
  double cnu = cos(nu), snu = sin(nu);
  double ceps = cos(eps), seps = sin(eps);
  double cpsi = cos(psi), spsi = sin(psi);
  double rot[3][3];
  rot[0][0] = cpsi * ceps;
  rot[0][1] = cpsi * seps * snu + spsi * cnu;
  rot[0][2] = -cpsi * seps * cnu + spsi * snu;
  rot[1][0] = -spsi * ceps;
  rot[1][1] = -spsi * seps * snu + cpsi * cnu;
  rot[1][2] = spsi * seps * cnu + cpsi * snu;
  rot[2][0] = seps;
  rot[2][1] = -ceps * snu;
  rot[2][2] = ceps * cnu;
  x[0] = xsi[0] * rot[0][0] + xsi[1] * rot[1][0] + xsi[2] * rot[2][0];
  x[1] = xsi[0] * rot[0][1] + xsi[1] * rot[1][1] + xsi[2] * rot[2][1];
  x[2] = xsi[0] * rot[0][2] + xsi[1] * rot[1][2] + xsi[2] * rot[2][2];
}
```