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

```asm
<gsw_sigma0>:
  endbr64
  sub    $0x18,%rsp
  movapd %xmm0,%xmm7
  movsd  %xmm0,(%rsp)
  movsd  %xmm1,0x8(%rsp)
  pxor   %xmm0,%xmm0
  ucomisd %xmm7,%xmm0
  ja     L7
  movapd %xmm7,%xmm3
  sqrtsd %xmm3,%xmm3
L14:
  movsd  0x8(%rsp),%xmm4
  movapd %xmm4,%xmm0
  mulsd  D245(%rip),%xmm0
  subsd  D165(%rip),%xmm0
  mulsd  %xmm4,%xmm0
  addsd  D252(%rip),%xmm0
  mulsd  %xmm4,%xmm0
  subsd  D212(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  movapd %xmm4,%xmm1
  mulsd  D105(%rip),%xmm1
  subsd  D112(%rip),%xmm1
  mulsd  %xmm4,%xmm1
  subsd  D77(%rip),%xmm1
  addsd  %xmm1,%xmm0
  movsd  (%rsp),%xmm6
  mulsd  %xmm6,%xmm0
  movapd %xmm4,%xmm1
  mulsd  D49(%rip),%xmm1
  subsd  D36(%rip),%xmm1
  mulsd  %xmm4,%xmm1
  addsd  D80(%rip),%xmm1
  mulsd  %xmm4,%xmm1
  addsd  D25(%rip),%xmm1
  addsd  %xmm1,%xmm0
  movapd %xmm4,%xmm1
  mulsd  D123(%rip),%xmm1
  addsd  D30(%rip),%xmm1
  mulsd  %xmm4,%xmm1
  addsd  D43(%rip),%xmm1
  mulsd  %xmm4,%xmm1
  subsd  D181(%rip),%xmm1
  mulsd  %xmm4,%xmm1
  subsd  D175(%rip),%xmm1
  movapd %xmm6,%xmm2
  mulsd  D35(%rip),%xmm2
  addsd  %xmm2,%xmm1
  movapd %xmm4,%xmm2
  mulsd  D55(%rip),%xmm2
  subsd  D86(%rip),%xmm2
  mulsd  %xmm4,%xmm2
  subsd  D142(%rip),%xmm2
  mulsd  %xmm4,%xmm2
  addsd  D56(%rip),%xmm2
  mulsd  %xmm4,%xmm2
  subsd  D82(%rip),%xmm2
  mulsd  %xmm3,%xmm2
  addsd  %xmm2,%xmm1
  mulsd  %xmm6,%xmm1
  movapd %xmm4,%xmm2
  mulsd  D176(%rip),%xmm2
  addsd  D209(%rip),%xmm2
  mulsd  %xmm4,%xmm2
  subsd  D116(%rip),%xmm2
  mulsd  %xmm4,%xmm2
  addsd  D118(%rip),%xmm2
  mulsd  %xmm4,%xmm2
  addsd  D41(%rip),%xmm2
  addsd  %xmm2,%xmm1
  divsd  %xmm1,%xmm0
  subsd  D90(%rip),%xmm0
  add    $0x18,%rsp
  ret
L7:
  movsd  (%rsp),%xmm0
  call   <sqrt@plt>
  movapd %xmm0,%xmm3
  jmp    L14
```

tool_calls: name: disassemble_data
arguments: data_tag: D245
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D165
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D252
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D212
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D105
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D112
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D77
datatype: f64
name: disassemble_data
arguments: data_tag: D49
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D36
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D80
datatype: f64
name: disassemble_data
arguments: data_tag: D25
datatype: f64
name: disassemble_data
arguments: data_tag: D123
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D30
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D43
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D181
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D175
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D35
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D55
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D86
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D142
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D56
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D82
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D176
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D209
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D116
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D118
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D41
datatype: f64
name: disassemble_data
arguments: data_tag: D90
datatype: f64

tool: {"D245": [0x73,0x33,0x84,0xef,0x4f,0x14,0x86,0x3e]}

tool: {"D165": [0xd6,0xa6,0x84,0xcc,0x10,0xed,0xed,0x3e]}

tool: {"D252": [0xbf,0xb2,0x6b,0xaa,0x59,0xb2,0x40,0x3f]}

tool: {"D212": [0xfc,0x2d,0x58,0xb1,0x3a,0x6c,0xa4,0x3f]}

tool: {"D105": [0xfc,0x2c,0x45,0x01,0x00,0x83,0x2e,0x3f]}

tool: {"D112": [0xf2,0xa0,0x4f,0x84,0xed,0x94,0x9e,0x3f]}

tool: D77: 6.698001071123802

tool: {"D49": [0x1f,0x14,0xa5,0x0a,0xda,0x5c,0x53,0x3f]}

tool: {"D36": [0x8e,0x15,0x07,0xbe,0xd4,0x1d,0xa0,0x3f]}

tool: D80: 2.839940833161907

tool: D25: 999.8420897506056

tool: {"D123": [0x25,0x50,0x24,0x19,0xed,0xe9,0xb3,0xbd]}

tool: {"D30": [0xda,0x54,0xdf,0x5d,0x67,0x5e,0x10,0x3e]}

tool: {"D43": [0x9b,0x60,0x15,0x69,0x6b,0xf3,0x80,0x3e]}

tool: {"D181": [0xbc,0xe6,0xbd,0x4a,0x61,0xfc,0xfc,0x3e]}

tool: {"D175": [0x0f,0x4d,0x4a,0x59,0xcf,0xce,0x7e,0x3f]}

tool: {"D35": [0xf6,0x68,0xb1,0x23,0xf5,0xba,0xd6,0x3e]}

tool: {"D55": [0x8b,0x87,0x54,0x54,0x4b,0x95,0x87,0x3d]}

tool: {"D86": [0x61,0xf7,0x2f,0x26,0x08,0x7a,0xc9,0x3d]}

tool: {"D142": [0x57,0x27,0x46,0x6b,0x35,0x7a,0x40,0x3e]}

tool: {"D56": [0x2d,0xaf,0xa5,0xc9,0x09,0x83,0x99,0x3e]}

tool: {"D82": [0xe4,0x53,0x23,0x49,0xa0,0x51,0x01,0x3f]}

tool: {"D176": [0x40,0x56,0x29,0xd6,0xcf,0x2b,0x07,0x3e]}

tool: {"D209": [0x42,0xd1,0x39,0xf4,0x45,0xc8,0xb2,0x3e]}

tool: {"D116": [0x63,0xc6,0xe2,0xf0,0x2d,0xa3,0xf8,0x3e]}

tool: {"D118": [0xb6,0xcd,0x91,0xdc,0x8a,0xbd,0x66,0x3f]}

tool: D41: 1

tool: D90: 1000

assistant: ```c
double gsw_sigma0(double sa, double ct) {
  double v01 = 9.998420897506056e2, v02 = 2.839940833161907e0, v03 = -3.147759265588511e-2, v04 = 1.181805545074306e-3, v05 = -6.698001071123802e0, v06 = -2.986498947203215e-2, v07 = 2.327859407479162e-4, v08 = -3.988822378968490e-2, v09 = 5.095422573880500e-4, v10 = -1.426984671633621e-5, v11 = 1.645039373682922e-7, v21 = 1.0e0, v22 = 2.775927747785646e-3, v23 = -2.349607444135925e-5, v24 = 1.119513357486743e-6, v25 = 6.743689325042773e-10, v26 = -7.521448093615448e-3, v27 = -2.764306979894411e-5, v28 = 1.262937315098546e-7, v29 = 9.527875081696435e-10, v30 = -1.811147201949891e-11, v31 = -3.303308871386421e-5, v32 = 3.801564588876298e-7, v33 = -7.672876869259043e-9, v34 = -4.634182341116144e-11, v35 = 2.681097235569143e-12, v36 = 5.419326551148740e-6;
  double v_hat_denominator, v_hat_numerator, sqrtsa;
  sqrtsa = sqrt(sa);
  v_hat_denominator = v01 + ct * (v02 + ct * (v03 + v04 * ct)) + sa * (v05 + ct * (v06 + v07 * ct) + sqrtsa * (v08 + ct * (v09 + ct * (v10 + v11 * ct))));
  v_hat_numerator = v21 + ct * (v22 + ct * (v23 + ct * (v24 + v25 * ct))) + sa * (v26 + ct * (v27 + ct * (v28 + ct * (v29 + v30 * ct))) + v36 * sa + sqrtsa * (v31 + ct * (v32 + ct * (v33 + ct * (v34 + v35 * ct)))));
  return (v_hat_denominator / v_hat_numerator - 1000e0);
}
```