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

```asm
<eul2quat>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x30,%rsp
  mov    %rdi,-0x8(%rbp)
  movsd  %xmm0,-0x10(%rbp)
  movsd  %xmm1,-0x18(%rbp)
  movsd  %xmm2,-0x20(%rbp)
  movsd  -0x10(%rbp),%xmm0
  movsd  D17(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movsd  D17(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x20(%rbp),%xmm0
  movsd  D17(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  mov    -0x20(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  movsd  %xmm0,-0x28(%rbp)
  mov    -0x18(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  movapd %xmm0,%xmm5
  mulsd  -0x28(%rbp),%xmm5
  movsd  %xmm5,-0x28(%rbp)
  mov    -0x10(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  mov    -0x20(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  movsd  %xmm0,-0x30(%rbp)
  mov    -0x18(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  movapd %xmm0,%xmm7
  mulsd  -0x30(%rbp),%xmm7
  movsd  %xmm7,-0x30(%rbp)
  mov    -0x10(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  mov    -0x8(%rbp),%rax
  movsd  %xmm0,(%rax)
  mov    -0x20(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  movsd  %xmm0,-0x28(%rbp)
  mov    -0x18(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  movapd %xmm0,%xmm2
  mulsd  -0x28(%rbp),%xmm2
  movsd  %xmm2,-0x28(%rbp)
  mov    -0x10(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  mov    -0x20(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  movsd  %xmm0,-0x30(%rbp)
  mov    -0x18(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  movapd %xmm0,%xmm3
  mulsd  -0x30(%rbp),%xmm3
  movsd  %xmm3,-0x30(%rbp)
  mov    -0x10(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  movsd  -0x30(%rbp),%xmm1
  mulsd  %xmm0,%xmm1
  mov    -0x8(%rbp),%rax
  add    $0x8,%rax
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x20(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  movsd  %xmm0,-0x28(%rbp)
  mov    -0x18(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  movapd %xmm0,%xmm6
  mulsd  -0x28(%rbp),%xmm6
  movsd  %xmm6,-0x28(%rbp)
  mov    -0x10(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  mov    -0x20(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  movsd  %xmm0,-0x30(%rbp)
  mov    -0x18(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  movapd %xmm0,%xmm4
  mulsd  -0x30(%rbp),%xmm4
  movsd  %xmm4,-0x30(%rbp)
  mov    -0x10(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  mulsd  -0x30(%rbp),%xmm0
  mov    -0x8(%rbp),%rax
  add    $0x10,%rax
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x20(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  movsd  %xmm0,-0x28(%rbp)
  mov    -0x18(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  movapd %xmm0,%xmm3
  mulsd  -0x28(%rbp),%xmm3
  movsd  %xmm3,-0x28(%rbp)
  mov    -0x10(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  mov    -0x20(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  movsd  %xmm0,-0x30(%rbp)
  mov    -0x18(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  movapd %xmm0,%xmm4
  mulsd  -0x30(%rbp),%xmm4
  movsd  %xmm4,-0x30(%rbp)
  mov    -0x10(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  movsd  -0x30(%rbp),%xmm1
  mulsd  %xmm0,%xmm1
  mov    -0x8(%rbp),%rax
  add    $0x18,%rax
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  nop
  leave
  ret
```

tool_calls: name: parse_data
arguments: tag: D17
type_infered: f64

tool: D17: 2

assistant: ```c
void eul2quat(double *q, double phi, double the, double psi) {
  phi = phi / 2.0;
  the = the / 2.0;
  psi = psi / 2.0;
  q[0] = cos(psi) * cos(the) * cos(phi) + sin(psi) * sin(the) * sin(phi);
  q[1] = cos(psi) * cos(the) * sin(phi) - sin(psi) * sin(the) * cos(phi);
  q[2] = cos(psi) * sin(the) * cos(phi) + sin(psi) * cos(the) * sin(phi);
  q[3] = sin(psi) * cos(the) * cos(phi) - cos(psi) * sin(the) * sin(phi);
}
```