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

```asm
<bessi1_salahat>:
  endbr64
  sub    $0x18,%rsp
  movapd %xmm0,%xmm1
  movsd  D95(%rip),%xmm0
  comisd %xmm1,%xmm0
  ja     L10
  movsd  D162(%rip),%xmm0
  comisd %xmm1,%xmm0
  ja     L17
  movsd  D207(%rip),%xmm0
  movsd  %xmm1,0x8(%rsp)
  comisd %xmm1,%xmm0
  movapd %xmm1,%xmm0
  ja     L18
  mulsd  D189(%rip),%xmm0
  call   <expl@plt>
  movsd  0x8(%rsp),%xmm1
  movsd  %xmm0,(%rsp)
  movsd  D195(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  call   <expl@plt>
  movsd  (%rsp),%xmm2
  mulsd  D15(%rip),%xmm0
  mulsd  D248(%rip),%xmm2
  movsd  0x8(%rsp),%xmm1
  addsd  %xmm0,%xmm2
  movsd  D11(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm2,(%rsp)
  call   <expl@plt>
  movsd  0x8(%rsp),%xmm1
  mulsd  D59(%rip),%xmm1
  mulsd  D60(%rip),%xmm0
  addsd  (%rsp),%xmm0
  movsd  %xmm0,(%rsp)
  movapd %xmm1,%xmm0
  call   <expl@plt>
  mulsd  D26(%rip),%xmm0
  movsd  (%rsp),%xmm6
  addsd  %xmm0,%xmm6
  movsd  %xmm6,(%rsp)
  fldl   (%rsp)
  add    $0x18,%rsp
  ret
  nopl   0x0(%rax)
L18:
  mulsd  D342(%rip),%xmm0
  call   <expl@plt>
  movsd  0x8(%rsp),%xmm1
  movsd  %xmm0,(%rsp)
  movsd  D141(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  call   <expl@plt>
  movsd  (%rsp),%xmm2
  mulsd  D34(%rip),%xmm0
  mulsd  D194(%rip),%xmm2
  movsd  0x8(%rsp),%xmm1
  addsd  %xmm0,%xmm2
  movsd  D224(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm2,(%rsp)
  call   <expl@plt>
  movsd  0x8(%rsp),%xmm1
  mulsd  D299(%rip),%xmm1
  mulsd  D102(%rip),%xmm0
  addsd  (%rsp),%xmm0
  movsd  %xmm0,(%rsp)
  movapd %xmm1,%xmm0
  call   <expl@plt>
  mulsd  D333(%rip),%xmm0
  movsd  (%rsp),%xmm4
  addsd  %xmm0,%xmm4
  movsd  %xmm4,(%rsp)
  fldl   (%rsp)
  add    $0x18,%rsp
  ret
  nopl   (%rax)
L10:
  movapd %xmm1,%xmm0
  movsd  %xmm1,0x8(%rsp)
  mulsd  D90(%rip),%xmm0
  call   <expl@plt>
  movsd  0x8(%rsp),%xmm1
  movsd  %xmm0,(%rsp)
  movsd  D317(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  call   <expl@plt>
  movsd  (%rsp),%xmm2
  mulsd  D233(%rip),%xmm0
  mulsd  D121(%rip),%xmm2
  movsd  0x8(%rsp),%xmm1
  addsd  %xmm0,%xmm2
  movsd  D111(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm2,(%rsp)
  call   <expl@plt>
  movsd  0x8(%rsp),%xmm1
  mulsd  D339(%rip),%xmm1
  mulsd  D284(%rip),%xmm0
  addsd  (%rsp),%xmm0
  movsd  %xmm0,(%rsp)
  movapd %xmm1,%xmm0
  call   <expl@plt>
  mulsd  D55(%rip),%xmm0
  movsd  (%rsp),%xmm3
  addsd  %xmm0,%xmm3
  movsd  %xmm3,(%rsp)
  fldl   (%rsp)
  add    $0x18,%rsp
  ret
  nop
L17:
  movapd %xmm1,%xmm0
  movsd  %xmm1,0x8(%rsp)
  mulsd  D8(%rip),%xmm0
  call   <expl@plt>
  movsd  0x8(%rsp),%xmm1
  movsd  %xmm0,(%rsp)
  movsd  D106(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  call   <expl@plt>
  movsd  (%rsp),%xmm2
  mulsd  D112(%rip),%xmm0
  mulsd  D113(%rip),%xmm2
  movsd  0x8(%rsp),%xmm1
  addsd  %xmm0,%xmm2
  movsd  D135(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm2,(%rsp)
  call   <expl@plt>
  movsd  0x8(%rsp),%xmm1
  mulsd  D214(%rip),%xmm1
  mulsd  D164(%rip),%xmm0
  addsd  (%rsp),%xmm0
  movsd  %xmm0,(%rsp)
  movapd %xmm1,%xmm0
  call   <expl@plt>
  mulsd  D120(%rip),%xmm0
  movsd  (%rsp),%xmm5
  addsd  %xmm0,%xmm5
  movsd  %xmm5,(%rsp)
  fldl   (%rsp)
  add    $0x18,%rsp
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D95
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D162
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D207
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D189
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D195
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D15
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D248
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D11
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D59
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D60
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D26
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D342
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D141
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D34
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D194
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D224
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D299
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D102
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D333
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D90
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D317
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D233
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D121
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D111
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D339
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D284
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D55
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D8
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D106
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D112
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D113
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D135
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D214
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D164
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D120
type_guessed: byte[8]

tool: D95: 11.5

tool: {"D162": [0x00,0x00,0x00,0x00,0x00,0x00,0x34,0x40]}

tool: D207: 37.25

tool: D189: 1.144

tool: D195: 0.995

tool: {"D15": [0x14,0x06,0x65,0x1a,0x4d,0x2e,0xb1,0x3f]}

tool: {"D248": [0xda,0xf5,0x21,0x8a,0xcb,0xae,0x27,0x3e]}

tool: D11: 0.5686

tool: D59: 0.946

tool: {"D60": [0x79,0x5a,0xa4,0xa7,0xcd,0xda,0x9f,0x3f]}

tool: {"D26": [0xff,0x3f,0xca,0x5f,0x8c,0x0e,0xb3,0x3f]}

tool: D342: 0.9807

tool: D141: 0.8672

tool: {"D34": [0x3b,0x93,0xec,0xc7,0xdc,0x6b,0xb7,0x3f]}

tool: {"D194": [0xbc,0xa5,0x49,0xe7,0xcb,0x24,0xbc,0x3f]}

tool: D224: 1.0795

tool: D299: 1.0385

tool: {"D102": [0x8e,0x4b,0xc9,0x30,0xf6,0x77,0x29,0xbf]}

tool: {"D333": [0x2d,0x76,0x5e,0xd7,0xed,0xbb,0x6b,0x3f]}

tool: D90: 0.7536

tool: D317: 0.9739

tool: {"D233": [0x2e,0xd2,0x9b,0xbc,0x8e,0x59,0xc2,0x3f]}

tool: {"D121": [0x8c,0x65,0x7e,0x5e,0x86,0x39,0xc0,0x3f]}

tool: {"D111": [0xe1,0x7a,0x14,0xae,0x47,0xe1,0xe6,0xbf]}

tool: D339: 0.2343

tool: {"D284": [0x3e,0xe8,0xd9,0xac,0xfa,0x5c,0xd4,0xbf]}

tool: {"D55": [0x50,0x67,0xf6,0x92,0x29,0x93,0xac,0x3f]}

tool: D8: 0.471

tool: {"D106": [0xcd,0xcc,0xcc,0xcc,0xcc,0x6c,0x64,0xc0]}

tool: {"D112": [0xbe,0xd9,0xe6,0xc6,0xf4,0x14,0x54,0xc0]}

tool: {"D113": [0x60,0x9c,0xae,0xdd,0x2c,0x14,0xc0,0x3f]}

tool: D135: 0.9852

tool: D214: 0.8554

tool: {"D164": [0x8d,0x06,0x95,0x5d,0xd5,0xfe,0xbb,0x3f]}

tool: {"D120": [0xaf,0x81,0x42,0x77,0x28,0x8e,0xbc,0x3f]}

assistant: ```c
long double bessi1_salahat(double x) {
  if (x < 11.5)
    return 0.1682 * 0.7536 * expl(x * 0.7536) + 0.1472 * 0.9739 * expl(x * 0.9739) + 0.4450 * -0.715 * expl(x * -0.715) + 0.2382 * 0.2343 * expl(x * 0.2343);
  else if (x < 20)
    return 0.2667 * 0.4710 * expl(x * 0.4710) + 0.4916 * -163.4 * expl(x * -163.4) + 0.1110 * 0.9852 * expl(x * 0.9852) + 0.1304 * 0.8554 * expl(x * 0.8554);
  else if (x < 37.25)
    return 0.1121 * 0.9807 * expl(x * 0.9807) + 0.1055 * 0.8672 * expl(x * 0.8672) + -0.00018 * 1.0795 * expl(x * 1.0795) + 0.00326 * 1.0385 * expl(x * 1.0385);
  else
    return 2.41E-9 * 1.144 * expl(x * 1.144) + 0.06745 * 0.995 * expl(x * 0.995) + 0.05471 * 0.5686 * expl(x * 0.5686) + 0.07869 * 0.946 * expl(x * 0.946);
}
```