user: What would the C source look like for the assembly code provided here:

```asm
<quat_divide>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x38(%rbp)
  mov    %rsi,-0x40(%rbp)
  mov    %rdx,-0x48(%rbp)
  mov    -0x40(%rbp),%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x24(%rbp)
  mov    -0x40(%rbp),%rax
  movss  0x4(%rax),%xmm0
  movss  %xmm0,-0x20(%rbp)
  mov    -0x40(%rbp),%rax
  movss  0x8(%rax),%xmm0
  movss  %xmm0,-0x1c(%rbp)
  mov    -0x40(%rbp),%rax
  movss  0xc(%rax),%xmm0
  movss  %xmm0,-0x18(%rbp)
  mov    -0x48(%rbp),%rax
  movss  (%rax),%xmm1
  mov    -0x48(%rbp),%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x48(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm2
  mov    -0x48(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x48(%rbp),%rax
  add    $0x20,%rax
  movss  (%rax),%xmm2
  mov    -0x48(%rbp),%rax
  add    $0x20,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x48(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm2
  mov    -0x48(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  movss  D13(%rip),%xmm0
  divss  %xmm1,%xmm0
  movss  %xmm0,-0x14(%rbp)
  mov    -0x48(%rbp),%rax
  movss  (%rax),%xmm0
  movss  D6(%rip),%xmm1
  xorps  %xmm1,%xmm0
  movss  -0x14(%rbp),%xmm1
  mulss  %xmm1,%xmm0
  movss  %xmm0,-0x10(%rbp)
  mov    -0x48(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  movss  D6(%rip),%xmm1
  xorps  %xmm1,%xmm0
  movss  -0x14(%rbp),%xmm1
  mulss  %xmm1,%xmm0
  movss  %xmm0,-0xc(%rbp)
  mov    -0x48(%rbp),%rax
  add    $0x20,%rax
  movss  (%rax),%xmm0
  movss  D6(%rip),%xmm1
  xorps  %xmm1,%xmm0
  movss  -0x14(%rbp),%xmm1
  mulss  %xmm1,%xmm0
  movss  %xmm0,-0x8(%rbp)
  mov    -0x48(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm0
  movss  -0x14(%rbp),%xmm1
  mulss  %xmm1,%xmm0
  movss  %xmm0,-0x4(%rbp)
  movss  -0x24(%rbp),%xmm0
  movaps %xmm0,%xmm1
  mulss  -0x4(%rbp),%xmm1
  movss  -0x10(%rbp),%xmm0
  mulss  -0x18(%rbp),%xmm0
  movaps %xmm1,%xmm2
  addss  %xmm0,%xmm2
  movss  -0x20(%rbp),%xmm0
  mulss  -0x8(%rbp),%xmm0
  movss  -0x1c(%rbp),%xmm1
  mulss  -0xc(%rbp),%xmm1
  subss  %xmm1,%xmm0
  addss  %xmm2,%xmm0
  mov    -0x38(%rbp),%rax
  movss  %xmm0,(%rax)
  movss  -0x20(%rbp),%xmm0
  movaps %xmm0,%xmm1
  mulss  -0x4(%rbp),%xmm1
  movss  -0xc(%rbp),%xmm0
  mulss  -0x18(%rbp),%xmm0
  movaps %xmm1,%xmm2
  addss  %xmm0,%xmm2
  movss  -0x1c(%rbp),%xmm0
  mulss  -0x10(%rbp),%xmm0
  movss  -0x24(%rbp),%xmm1
  mulss  -0x8(%rbp),%xmm1
  subss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x4,%rax
  addss  %xmm2,%xmm0
  movss  %xmm0,(%rax)
  movss  -0x1c(%rbp),%xmm0
  movaps %xmm0,%xmm1
  mulss  -0x4(%rbp),%xmm1
  movss  -0x8(%rbp),%xmm0
  mulss  -0x18(%rbp),%xmm0
  movaps %xmm1,%xmm2
  addss  %xmm0,%xmm2
  movss  -0x24(%rbp),%xmm0
  mulss  -0xc(%rbp),%xmm0
  movss  -0x20(%rbp),%xmm1
  mulss  -0x10(%rbp),%xmm1
  subss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x8,%rax
  addss  %xmm2,%xmm0
  movss  %xmm0,(%rax)
  movss  -0x18(%rbp),%xmm0
  mulss  -0x4(%rbp),%xmm0
  movss  -0x24(%rbp),%xmm1
  movaps %xmm1,%xmm2
  mulss  -0x10(%rbp),%xmm2
  movss  -0x20(%rbp),%xmm1
  mulss  -0xc(%rbp),%xmm1
  addss  %xmm1,%xmm2
  movss  -0x1c(%rbp),%xmm1
  mulss  -0x8(%rbp),%xmm1
  addss  %xmm2,%xmm1
  mov    -0x38(%rbp),%rax
  add    $0xc,%rax
  subss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x38(%rbp),%rax
  pop    %rbp
  ret
```

tool_calls: name: disassemble_data
arguments: data_tag: D13
type: f32
name: disassemble_data
arguments: data_tag: D6
type: byte[4]

tool: D13: 1

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

assistant: ```c
float *quat_divide(float *result, float *a, float *b) {
  float x = a[0];
  float y = a[1];
  float z = a[2];
  float w = a[3];
  float length_squared = 1.0f / (b[0] * b[0] + b[1] * b[1] + b[8] * b[8] + b[3] * b[3]);
  float normalized_x = -b[0] * length_squared;
  float normalized_y = -b[1] * length_squared;
  float normalized_z = -b[8] * length_squared;
  float normalized_w = b[3] * length_squared;
  result[0] = x * normalized_w + normalized_x * w + (y * normalized_z - z * normalized_y);
  result[1] = y * normalized_w + normalized_y * w + (z * normalized_x - x * normalized_z);
  result[2] = z * normalized_w + normalized_z * w + (x * normalized_y - y * normalized_x);
  result[3] = w * normalized_w - (x * normalized_x + y * normalized_y + z * normalized_z);
  return result;
}
```