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

```asm
<cos>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  movsd  %xmm0,-0x18(%rbp)
  movsd  D117(%rip),%xmm0
  comisd -0x18(%rbp),%xmm0
  jbe    L23
  movsd  -0x18(%rbp),%xmm1
  movsd  D163(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  jmp    L38
L23:
  movsd  -0x18(%rbp),%xmm0
  comisd D157(%rip),%xmm0
  jbe    L38
  movsd  -0x18(%rbp),%xmm0
  movsd  D163(%rip),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
L38:
  movsd  -0x18(%rbp),%xmm1
  movsd  D77(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x18(%rbp),%xmm0
  comisd D157(%rip),%xmm0
  jbe    L9
  movsd  -0x18(%rbp),%xmm0
  movsd  D163(%rip),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
L9:
  pxor   %xmm0,%xmm0
  comisd -0x18(%rbp),%xmm0
  jbe    L72
  movsd  -0x18(%rbp),%xmm1
  movsd  D96(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x18(%rbp),%xmm2
  movsd  D137(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x18(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  pxor   %xmm0,%xmm0
  comisd -0x8(%rbp),%xmm0
  jbe    L0
  movsd  -0x8(%rbp),%xmm0
  movq   D57(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x8(%rbp),%xmm0
  movapd %xmm0,%xmm1
  subsd  -0x8(%rbp),%xmm1
  movsd  D101(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  jmp    L31
L0:
  movsd  -0x8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movapd %xmm0,%xmm1
  subsd  -0x8(%rbp),%xmm1
  movsd  D101(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  jmp    L31
L72:
  movsd  -0x18(%rbp),%xmm1
  movsd  D96(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x18(%rbp),%xmm2
  movsd  D137(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x18(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  pxor   %xmm0,%xmm0
  comisd -0x8(%rbp),%xmm0
  jbe    L47
  movsd  -0x8(%rbp),%xmm0
  movq   D57(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x8(%rbp),%xmm0
  movapd %xmm0,%xmm1
  subsd  -0x8(%rbp),%xmm1
  movsd  D101(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  jmp    L31
L47:
  movsd  -0x8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movapd %xmm0,%xmm1
  subsd  -0x8(%rbp),%xmm1
  movsd  D101(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
L31:
  movsd  -0x8(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  pop    %rbp
  ret
```

tool_calls: name: extract_symbolic_data
arguments: tag: D117
type_guessed: byte[8]
name: extract_symbolic_data
arguments: tag: D163
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D157
type_guessed: f64[2]
name: extract_symbolic_data
arguments: tag: D77
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D96
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D137
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D57
type_guessed: byte[8]
name: extract_symbolic_data
arguments: tag: D101
type_guessed: byte[8]

tool: {"D117": [0xf1,0xd4,0xc8,0x53,0xfb,0x21,0x09,0xc0]}

tool: D163: 6.28318531

tool: {"D157": [3.14159265,1.57079632]}

tool: D77: 1.57079632

tool: D96: 1.27323954

tool: D137: 0.405284735

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

tool: {"D101": [0xcd,0xcc,0xcc,0xcc,0xcc,0xcc,0xcc,0x3f]}

assistant: ```c
double cos(double x) {
  double cos;
  if (x < -3.14159265) {
    x += 6.28318531;
  } else if (x > 3.14159265) {
    x -= 6.28318531;
  }
  x += 1.57079632;
  if (x > 3.14159265) {
    x -= 6.28318531;
  }
  if (x < 0) {
    cos = 1.27323954 * x + 0.405284735 * x * x;
    if (cos < 0) {
      cos = .225 * (cos * -cos - cos) + cos;
    } else {
      cos = .225 * (cos * cos - cos) + cos;
    }
  } else {
    cos = 1.27323954 * x - 0.405284735 * x * x;
    if (cos < 0) {
      cos = .225 * (cos * -cos - cos) + cos;
    } else {
      cos = .225 * (cos * cos - cos) + cos;
    }
  }
  return cos;
}
```