user: What is the c source code of the assembly code below:

```asm
<KValues>:
  endbr64
  push   %r13
  mov    %rdi,%r13
  push   %r12
  mov    %rsi,%r12
  push   %rbp
  mov    %rdx,%rbp
  push   %rbx
  mov    %rcx,%rbx
  sub    $0x18,%rsp
  movsd  %xmm0,(%rsp)
  call   <log10@plt>
  movsd  (%rsp),%xmm1
  movsd  D130(%rip),%xmm4
  mov    $0xa,%edi
  movsd  D73(%rip),%xmm2
  mulsd  D84(%rip),%xmm0
  mulsd  %xmm1,%xmm4
  movapd %xmm1,%xmm3
  mulsd  %xmm1,%xmm3
  subsd  %xmm4,%xmm2
  movsd  D148(%rip),%xmm4
  movsd  %xmm3,0x8(%rsp)
  divsd  %xmm1,%xmm4
  addsd  %xmm4,%xmm2
  addsd  %xmm0,%xmm2
  movsd  D131(%rip),%xmm0
  divsd  %xmm3,%xmm0
  subsd  %xmm0,%xmm2
  cvttsd2si %xmm2,%esi
  call   <pow@plt>
  movsd  (%rsp),%xmm1
  movsd  %xmm0,0x0(%r13)
  movapd %xmm1,%xmm0
  call   <log10@plt>
  movsd  (%rsp),%xmm1
  movsd  D121(%rip),%xmm4
  mov    $0xa,%edi
  movsd  D77(%rip),%xmm2
  mulsd  D12(%rip),%xmm0
  mulsd  %xmm1,%xmm4
  movsd  0x8(%rsp),%xmm3
  subsd  %xmm4,%xmm2
  movsd  D167(%rip),%xmm4
  divsd  %xmm1,%xmm4
  addsd  %xmm4,%xmm2
  addsd  %xmm0,%xmm2
  movsd  D63(%rip),%xmm0
  divsd  %xmm3,%xmm0
  subsd  %xmm0,%xmm2
  cvttsd2si %xmm2,%esi
  call   <pow@plt>
  movsd  (%rsp),%xmm1
  movsd  %xmm0,(%r12)
  movapd %xmm1,%xmm0
  call   <log10@plt>
  movsd  (%rsp),%xmm1
  movsd  D159(%rip),%xmm3
  mov    $0xa,%edi
  mulsd  D7(%rip),%xmm0
  movsd  D158(%rip),%xmm2
  divsd  %xmm1,%xmm3
  subsd  %xmm3,%xmm2
  subsd  %xmm0,%xmm2
  movsd  D82(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  subsd  %xmm0,%xmm2
  addsd  D44(%rip),%xmm2
  cvttsd2si %xmm2,%esi
  call   <pow@plt>
  movsd  (%rsp),%xmm1
  mov    $0xa,%edi
  movsd  D141(%rip),%xmm2
  movsd  %xmm0,0x0(%rbp)
  movsd  D36(%rip),%xmm0
  mulsd  %xmm1,%xmm2
  subsd  %xmm2,%xmm0
  movsd  D116(%rip),%xmm2
  divsd  %xmm1,%xmm2
  subsd  %xmm2,%xmm0
  cvttsd2si %xmm0,%esi
  call   <pow@plt>
  movsd  %xmm0,(%rbx)
  add    $0x18,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
```

tool_calls: name: disassemble_data
arguments: data_label: D130
datatype: f64
name: disassemble_data
arguments: data_label: D73
datatype: byte[8]
name: disassemble_data
arguments: data_label: D84
datatype: f64
name: disassemble_data
arguments: data_label: D148
datatype: f64
name: disassemble_data
arguments: data_label: D131
datatype: byte[8]
name: disassemble_data
arguments: data_label: D121
datatype: f64
name: disassemble_data
arguments: data_label: D77
datatype: byte[8]
name: disassemble_data
arguments: data_label: D12
datatype: f64
name: disassemble_data
arguments: data_label: D167
datatype: f64
name: disassemble_data
arguments: data_label: D63
datatype: f64
name: disassemble_data
arguments: data_label: D159
datatype: f64
name: disassemble_data
arguments: data_label: D7
datatype: f64
name: disassemble_data
arguments: data_label: D158
datatype: byte[8]
name: disassemble_data
arguments: data_label: D82
datatype: f64
name: disassemble_data
arguments: data_label: D44
datatype: f64
name: disassemble_data
arguments: data_label: D141
datatype: f64
name: disassemble_data
arguments: data_label: D36
datatype: byte[8]
name: disassemble_data
arguments: data_label: D116
datatype: f64

tool: D130: 0.06091964

tool: {"D73": [0x1e,0x16,0x6a,0x4d,0xf3,0x14,0x76,0xc0]}

tool: D84: 126.8339

tool: D148: 21834.37

tool: {"D131": [0x00,0x00,0x00,0x00,0xb3,0xb5,0x39,0x41]}

tool: D121: 0.03252849

tool: {"D77": [0x06,0x12,0x14,0x3f,0xc6,0x38,0x5a,0xc0]}

tool: D12: 38.92561

tool: D167: 5151.79

tool: D63: 563713.9

tool: D159: 4787.3

tool: D7: 7.1321

tool: {"D158": [0x00,0x00,0x00,0x00,0x00,0x00,0x18,0x40]}

tool: D82: 0.010365

tool: D44: 22.801

tool: D141: 0.032449

tool: {"D36": [0xfd,0x87,0xf4,0xdb,0xd7,0x81,0x2e,0x40]}

tool: D116: 2386.038

assistant: ```c
void KValues(double *K1, double *K2, double *KW, double *Ks, double TempK) {
  *K1 = pow(10, (3 - 356.3094 - 0.06091964 * TempK + 21834.37 / TempK + 126.8339 * log10(TempK) - 1684915 / (TempK * TempK)));
  *K2 = pow(10, (3 - 107.8871 - 0.03252849 * TempK + 5151.79 / TempK + 38.92561 * log10(TempK) - 563713.9 / (TempK * TempK)));
  *KW = pow(10, (6 - 4787.3 / TempK - 7.1321 * log10(TempK) - 0.010365 * TempK + 22.801));
  *Ks = pow(10, (6 + 9.2536 - 0.032449 * TempK - 2386.038 / TempK));
}
```