user: 请显示与下面列出的汇编代码相匹配的C语言实现:

```asm
<gsw_thermobaric>:
  endbr64
  sub    $0x38,%rsp
  movapd %xmm0,%xmm6
  movsd  %xmm0,0x8(%rsp)
  movsd  %xmm1,0x10(%rsp)
  movsd  %xmm2,(%rsp)
  pxor   %xmm0,%xmm0
  ucomisd %xmm6,%xmm0
  ja     L13
  sqrtsd %xmm6,%xmm6
  movapd %xmm6,%xmm9
L0:
  movsd  0x10(%rsp),%xmm4
  movapd %xmm4,%xmm13
  mulsd  D147(%rip),%xmm13
  movsd  D121(%rip),%xmm7
  subsd  %xmm7,%xmm13
  mulsd  %xmm4,%xmm13
  subsd  D819(%rip),%xmm13
  movsd  D754(%rip),%xmm10
  movapd %xmm4,%xmm14
  mulsd  %xmm10,%xmm14
  movapd %xmm14,%xmm1
  subsd  D373(%rip),%xmm1
  movapd %xmm4,%xmm12
  mulsd  D344(%rip),%xmm12
  subsd  D1069(%rip),%xmm12
  mulsd  %xmm4,%xmm12
  subsd  D444(%rip),%xmm12
  movsd  0x8(%rsp),%xmm3
  movapd %xmm3,%xmm0
  movsd  %xmm1,0x18(%rsp)
  mulsd  %xmm1,%xmm0
  addsd  %xmm0,%xmm12
  movapd %xmm4,%xmm1
  mulsd  D825(%rip),%xmm1
  subsd  D129(%rip),%xmm1
  mulsd  %xmm4,%xmm1
  movsd  D214(%rip),%xmm11
  addsd  %xmm11,%xmm1
  mulsd  %xmm4,%xmm1
  subsd  D1087(%rip),%xmm1
  mulsd  %xmm9,%xmm1
  addsd  %xmm13,%xmm1
  mulsd  %xmm3,%xmm1
  movapd %xmm4,%xmm0
  mulsd  D558(%rip),%xmm0
  subsd  D62(%rip),%xmm0
  mulsd  %xmm4,%xmm0
  addsd  D61(%rip),%xmm0
  mulsd  %xmm4,%xmm0
  addsd  D432(%rip),%xmm0
  addsd  %xmm0,%xmm1
  movapd %xmm4,%xmm0
  mulsd  D125(%rip),%xmm0
  movsd  D93(%rip),%xmm6
  subsd  %xmm6,%xmm0
  mulsd  %xmm4,%xmm0
  subsd  D107(%rip),%xmm0
  movsd  D78(%rip),%xmm2
  mulsd  %xmm3,%xmm2
  addsd  %xmm2,%xmm0
  movsd  (%rsp),%xmm14
  mulsd  %xmm14,%xmm0
  addsd  %xmm12,%xmm0
  mulsd  %xmm14,%xmm0
  addsd  %xmm0,%xmm1
  movapd %xmm4,%xmm8
  mulsd  D708(%rip),%xmm8
  addsd  D812(%rip),%xmm8
  mulsd  %xmm4,%xmm8
  addsd  D669(%rip),%xmm8
  mulsd  %xmm4,%xmm8
  subsd  D1022(%rip),%xmm8
  mulsd  %xmm4,%xmm8
  subsd  D188(%rip),%xmm8
  movsd  D369(%rip),%xmm0
  mulsd  %xmm4,%xmm0
  subsd  D304(%rip),%xmm0
  movapd %xmm0,%xmm15
  movapd %xmm4,%xmm0
  mulsd  D641(%rip),%xmm0
  addsd  D1039(%rip),%xmm0
  mulsd  %xmm4,%xmm0
  subsd  D109(%rip),%xmm0
  mulsd  %xmm4,%xmm0
  subsd  D534(%rip),%xmm0
  movsd  %xmm15,0x28(%rsp)
  movapd %xmm15,%xmm5
  mulsd  %xmm3,%xmm5
  addsd  %xmm5,%xmm0
  movsd  D458(%rip),%xmm15
  mulsd  %xmm3,%xmm15
  movapd %xmm4,%xmm2
  mulsd  D413(%rip),%xmm2
  subsd  D673(%rip),%xmm2
  mulsd  %xmm4,%xmm2
  subsd  D713(%rip),%xmm2
  mulsd  %xmm4,%xmm2
  addsd  D440(%rip),%xmm2
  mulsd  %xmm4,%xmm2
  subsd  D8(%rip),%xmm2
  mulsd  %xmm9,%xmm2
  movapd %xmm3,%xmm5
  mulsd  D543(%rip),%xmm3
  addsd  %xmm8,%xmm3
  addsd  %xmm3,%xmm2
  mulsd  %xmm5,%xmm2
  movapd %xmm4,%xmm3
  mulsd  D619(%rip),%xmm3
  addsd  D538(%rip),%xmm3
  mulsd  %xmm4,%xmm3
  subsd  D776(%rip),%xmm3
  mulsd  %xmm4,%xmm3
  addsd  D482(%rip),%xmm3
  mulsd  %xmm4,%xmm3
  addsd  D957(%rip),%xmm3
  addsd  %xmm3,%xmm2
  movapd %xmm4,%xmm3
  mulsd  D498(%rip),%xmm3
  subsd  D790(%rip),%xmm3
  addsd  %xmm15,%xmm3
  mulsd  %xmm4,%xmm3
  subsd  D243(%rip),%xmm3
  movsd  D303(%rip),%xmm5
  mulsd  %xmm4,%xmm5
  subsd  D916(%rip),%xmm5
  mulsd  %xmm14,%xmm5
  addsd  %xmm5,%xmm3
  mulsd  %xmm14,%xmm3
  addsd  %xmm0,%xmm3
  mulsd  %xmm14,%xmm3
  addsd  %xmm3,%xmm2
  movsd  0x8(%rsp),%xmm14
  mulsd  %xmm14,%xmm10
  movapd %xmm4,%xmm3
  mulsd  D865(%rip),%xmm4
  movapd %xmm3,%xmm5
  mulsd  D83(%rip),%xmm5
  subsd  D1059(%rip),%xmm5
  mulsd  %xmm3,%xmm5
  addsd  %xmm11,%xmm5
  mulsd  %xmm9,%xmm5
  movapd %xmm3,%xmm11
  mulsd  D755(%rip),%xmm3
  subsd  %xmm7,%xmm3
  addsd  %xmm3,%xmm5
  mulsd  %xmm14,%xmm5
  movapd %xmm11,%xmm3
  mulsd  D1027(%rip),%xmm3
  subsd  D403(%rip),%xmm3
  mulsd  %xmm11,%xmm3
  addsd  D61(%rip),%xmm3
  addsd  %xmm3,%xmm5
  movapd %xmm11,%xmm3
  mulsd  D585(%rip),%xmm3
  subsd  D1069(%rip),%xmm3
  addsd  %xmm10,%xmm3
  movapd %xmm4,%xmm7
  subsd  %xmm6,%xmm7
  movsd  (%rsp),%xmm6
  mulsd  %xmm6,%xmm7
  addsd  %xmm7,%xmm3
  mulsd  %xmm6,%xmm3
  addsd  %xmm3,%xmm5
  movsd  D369(%rip),%xmm7
  mulsd  %xmm14,%xmm7
  movsd  %xmm7,0x20(%rsp)
  movsd  D911(%rip),%xmm6
  mulsd  %xmm11,%xmm6
  movapd %xmm11,%xmm3
  mulsd  D471(%rip),%xmm3
  subsd  D343(%rip),%xmm3
  mulsd  %xmm11,%xmm3
  subsd  D564(%rip),%xmm3
  mulsd  %xmm11,%xmm3
  addsd  D440(%rip),%xmm3
  mulsd  %xmm9,%xmm3
  movapd %xmm11,%xmm7
  mulsd  D216(%rip),%xmm7
  addsd  D197(%rip),%xmm7
  mulsd  %xmm11,%xmm7
  addsd  D535(%rip),%xmm7
  mulsd  %xmm11,%xmm7
  subsd  D1022(%rip),%xmm7
  addsd  %xmm7,%xmm3
  mulsd  %xmm14,%xmm3
  movapd %xmm11,%xmm7
  mulsd  D1044(%rip),%xmm7
  addsd  D926(%rip),%xmm7
  mulsd  %xmm11,%xmm7
  subsd  D11(%rip),%xmm7
  mulsd  %xmm11,%xmm7
  addsd  D482(%rip),%xmm7
  addsd  %xmm7,%xmm3
  movapd %xmm11,%xmm7
  mulsd  D136(%rip),%xmm11
  addsd  D985(%rip),%xmm11
  mulsd  %xmm7,%xmm11
  subsd  D109(%rip),%xmm11
  addsd  0x20(%rsp),%xmm11
  movapd %xmm6,%xmm7
  subsd  D790(%rip),%xmm7
  addsd  %xmm15,%xmm7
  movsd  D303(%rip),%xmm14
  mulsd  (%rsp),%xmm14
  addsd  %xmm14,%xmm7
  movsd  (%rsp),%xmm14
  mulsd  %xmm14,%xmm7
  addsd  %xmm7,%xmm11
  mulsd  %xmm14,%xmm11
  addsd  %xmm11,%xmm3
  movsd  0x10(%rsp),%xmm15
  movapd %xmm15,%xmm7
  mulsd  D889(%rip),%xmm7
  subsd  D215(%rip),%xmm7
  mulsd  %xmm15,%xmm7
  addsd  D1047(%rip),%xmm7
  mulsd  %xmm15,%xmm7
  subsd  D180(%rip),%xmm7
  mulsd  %xmm9,%xmm7
  addsd  %xmm13,%xmm7
  movsd  D78(%rip),%xmm11
  mulsd  %xmm14,%xmm11
  addsd  0x18(%rsp),%xmm11
  mulsd  %xmm14,%xmm11
  addsd  %xmm11,%xmm7
  movapd %xmm15,%xmm11
  mulsd  D379(%rip),%xmm11
  subsd  D620(%rip),%xmm11
  movapd %xmm15,%xmm13
  mulsd  %xmm15,%xmm11
  subsd  D346(%rip),%xmm11
  mulsd  %xmm15,%xmm11
  addsd  D407(%rip),%xmm11
  mulsd  %xmm15,%xmm11
  subsd  D894(%rip),%xmm11
  mulsd  %xmm9,%xmm11
  addsd  %xmm8,%xmm11
  movsd  0x8(%rsp),%xmm14
  movapd %xmm14,%xmm9
  mulsd  D185(%rip),%xmm9
  addsd  %xmm11,%xmm9
  movsd  D458(%rip),%xmm8
  movsd  (%rsp),%xmm15
  mulsd  %xmm15,%xmm8
  addsd  D369(%rip),%xmm8
  mulsd  %xmm13,%xmm8
  subsd  D304(%rip),%xmm8
  mulsd  %xmm15,%xmm8
  addsd  %xmm8,%xmm9
  subsd  D366(%rip),%xmm4
  mulsd  %xmm13,%xmm4
  subsd  D718(%rip),%xmm4
  movsd  D487(%rip),%xmm8
  mulsd  %xmm14,%xmm8
  addsd  %xmm8,%xmm4
  mulsd  %xmm15,%xmm4
  addsd  %xmm12,%xmm4
  movsd  D514(%rip),%xmm8
  mulsd  %xmm14,%xmm8
  movsd  D740(%rip),%xmm15
  subsd  %xmm15,%xmm6
  addsd  %xmm8,%xmm6
  mulsd  %xmm13,%xmm6
  subsd  D674(%rip),%xmm6
  movsd  D554(%rip),%xmm12
  movapd %xmm13,%xmm14
  movapd %xmm13,%xmm11
  mulsd  %xmm12,%xmm11
  subsd  D581(%rip),%xmm11
  movsd  (%rsp),%xmm13
  mulsd  %xmm13,%xmm11
  addsd  %xmm11,%xmm6
  mulsd  %xmm13,%xmm6
  addsd  %xmm0,%xmm6
  movapd %xmm1,%xmm0
  mulsd  %xmm2,%xmm0
  movapd %xmm0,%xmm11
  movapd %xmm1,%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm13
  movapd %xmm14,%xmm0
  addsd  %xmm14,%xmm0
  mulsd  D911(%rip),%xmm0
  subsd  %xmm15,%xmm0
  addsd  %xmm8,%xmm0
  movsd  (%rsp),%xmm8
  mulsd  %xmm8,%xmm12
  addsd  %xmm12,%xmm0
  mulsd  %xmm8,%xmm0
  movapd %xmm14,%xmm8
  mulsd  D768(%rip),%xmm8
  addsd  D985(%rip),%xmm8
  movapd %xmm14,%xmm15
  mulsd  %xmm14,%xmm8
  subsd  D109(%rip),%xmm8
  addsd  0x20(%rsp),%xmm8
  addsd  %xmm8,%xmm0
  divsd  %xmm2,%xmm0
  movapd %xmm3,%xmm14
  mulsd  %xmm4,%xmm14
  movapd %xmm14,%xmm8
  divsd  %xmm11,%xmm8
  subsd  %xmm8,%xmm0
  movapd %xmm5,%xmm14
  mulsd  %xmm6,%xmm14
  movapd %xmm14,%xmm12
  divsd  %xmm11,%xmm12
  subsd  %xmm12,%xmm0
  movapd %xmm5,%xmm14
  mulsd  %xmm4,%xmm14
  movapd %xmm14,%xmm8
  divsd  %xmm13,%xmm8
  addsd  %xmm8,%xmm8
  addsd  %xmm8,%xmm0
  movapd %xmm15,%xmm8
  mulsd  D559(%rip),%xmm8
  subsd  D1069(%rip),%xmm8
  addsd  %xmm10,%xmm8
  movapd %xmm15,%xmm10
  mulsd  D1023(%rip),%xmm10
  subsd  D366(%rip),%xmm10
  movsd  (%rsp),%xmm12
  mulsd  %xmm12,%xmm10
  addsd  %xmm10,%xmm8
  divsd  %xmm1,%xmm8
  subsd  %xmm8,%xmm0
  movsd  D514(%rip),%xmm8
  mulsd  %xmm15,%xmm8
  mulsd  %xmm12,%xmm8
  addsd  0x28(%rsp),%xmm8
  divsd  %xmm2,%xmm8
  movapd %xmm9,%xmm10
  mulsd  %xmm4,%xmm10
  divsd  %xmm11,%xmm10
  subsd  %xmm10,%xmm8
  mulsd  %xmm7,%xmm6
  divsd  %xmm11,%xmm6
  subsd  %xmm6,%xmm8
  mulsd  %xmm7,%xmm4
  divsd  %xmm13,%xmm4
  addsd  %xmm4,%xmm4
  addsd  %xmm8,%xmm4
  movsd  D487(%rip),%xmm6
  mulsd  %xmm12,%xmm6
  addsd  0x18(%rsp),%xmm6
  divsd  %xmm1,%xmm6
  subsd  %xmm6,%xmm4
  mulsd  %xmm1,%xmm3
  mulsd  %xmm2,%xmm5
  subsd  %xmm5,%xmm3
  mulsd  %xmm9,%xmm1
  mulsd  %xmm7,%xmm2
  subsd  %xmm2,%xmm1
  divsd  %xmm1,%xmm3
  mulsd  %xmm4,%xmm3
  subsd  %xmm3,%xmm0
  mulsd  D891(%rip),%xmm0
  add    $0x38,%rsp
  ret
L13:
  movsd  0x8(%rsp),%xmm0
  call   <sqrt@plt>
  movapd %xmm0,%xmm9
  jmp    L0
```

tool_calls: name: parse_data
arguments: tag: D147
datatype: byte[8]
name: parse_data
arguments: tag: D121
datatype: byte[8]
name: parse_data
arguments: tag: D819
datatype: f64
name: parse_data
arguments: tag: D754
datatype: byte[8]
name: parse_data
arguments: tag: D373
datatype: byte[8]
name: parse_data
arguments: tag: D344
datatype: byte[8]
name: parse_data
arguments: tag: D1069
datatype: byte[8]
name: parse_data
arguments: tag: D444
datatype: byte[8]
name: parse_data
arguments: tag: D825
datatype: byte[8]
name: parse_data
arguments: tag: D129
datatype: byte[8]
name: parse_data
arguments: tag: D214
datatype: byte[8]
name: parse_data
arguments: tag: D1087
datatype: byte[8]
name: parse_data
arguments: tag: D558
datatype: byte[8]
name: parse_data
arguments: tag: D62
datatype: byte[8]
name: parse_data
arguments: tag: D61
datatype: f64
name: parse_data
arguments: tag: D432
datatype: f64
name: parse_data
arguments: tag: D125
datatype: byte[8]
name: parse_data
arguments: tag: D93
datatype: byte[8]
name: parse_data
arguments: tag: D107
datatype: byte[8]
name: parse_data
arguments: tag: D78
datatype: byte[8]
name: parse_data
arguments: tag: D708
datatype: byte[8]
name: parse_data
arguments: tag: D812
datatype: byte[8]
name: parse_data
arguments: tag: D669
datatype: byte[8]
name: parse_data
arguments: tag: D1022
datatype: byte[8]
name: parse_data
arguments: tag: D188
datatype: byte[8]
name: parse_data
arguments: tag: D369
datatype: byte[8]
name: parse_data
arguments: tag: D304
datatype: byte[8]
name: parse_data
arguments: tag: D641
datatype: byte[8]
name: parse_data
arguments: tag: D1039
datatype: byte[8]
name: parse_data
arguments: tag: D109
datatype: byte[8]
name: parse_data
arguments: tag: D534
datatype: byte[8]
name: parse_data
arguments: tag: D458
datatype: byte[8]
name: parse_data
arguments: tag: D413
datatype: byte[8]
name: parse_data
arguments: tag: D673
datatype: byte[8]
name: parse_data
arguments: tag: D713
datatype: byte[8]
name: parse_data
arguments: tag: D440
datatype: byte[8]
name: parse_data
arguments: tag: D8
datatype: byte[8]
name: parse_data
arguments: tag: D543
datatype: byte[8]
name: parse_data
arguments: tag: D619
datatype: byte[8]
name: parse_data
arguments: tag: D538
datatype: byte[8]
name: parse_data
arguments: tag: D776
datatype: byte[8]
name: parse_data
arguments: tag: D482
datatype: byte[8]
name: parse_data
arguments: tag: D957
datatype: f64
name: parse_data
arguments: tag: D498
datatype: byte[8]
name: parse_data
arguments: tag: D790
datatype: byte[8]
name: parse_data
arguments: tag: D243
datatype: byte[8]
name: parse_data
arguments: tag: D303
datatype: byte[8]
name: parse_data
arguments: tag: D916
datatype: byte[8]
name: parse_data
arguments: tag: D865
datatype: byte[8]
name: parse_data
arguments: tag: D83
datatype: byte[8]
name: parse_data
arguments: tag: D1059
datatype: byte[8]
name: parse_data
arguments: tag: D755
datatype: byte[8]
name: parse_data
arguments: tag: D1027
datatype: byte[8]
name: parse_data
arguments: tag: D403
datatype: byte[8]
name: parse_data
arguments: tag: D585
datatype: byte[8]
name: parse_data
arguments: tag: D911
datatype: byte[8]
name: parse_data
arguments: tag: D471
datatype: byte[8]
name: parse_data
arguments: tag: D343
datatype: byte[8]
name: parse_data
arguments: tag: D564
datatype: byte[8]
name: parse_data
arguments: tag: D216
datatype: byte[8]
name: parse_data
arguments: tag: D197
datatype: byte[8]
name: parse_data
arguments: tag: D535
datatype: byte[8]
name: parse_data
arguments: tag: D1044
datatype: byte[8]
name: parse_data
arguments: tag: D926
datatype: byte[8]
name: parse_data
arguments: tag: D11
datatype: byte[8]
name: parse_data
arguments: tag: D136
datatype: byte[8]
name: parse_data
arguments: tag: D985
datatype: byte[8]
name: parse_data
arguments: tag: D889
datatype: byte[8]
name: parse_data
arguments: tag: D215
datatype: byte[8]
name: parse_data
arguments: tag: D1047
datatype: byte[8]
name: parse_data
arguments: tag: D180
datatype: byte[8]
name: parse_data
arguments: tag: D379
datatype: byte[8]
name: parse_data
arguments: tag: D620
datatype: byte[8]
name: parse_data
arguments: tag: D346
datatype: byte[8]
name: parse_data
arguments: tag: D407
datatype: byte[8]
name: parse_data
arguments: tag: D894
datatype: byte[8]
name: parse_data
arguments: tag: D185
datatype: byte[8]
name: parse_data
arguments: tag: D366
datatype: byte[8]
name: parse_data
arguments: tag: D718
datatype: byte[8]
name: parse_data
arguments: tag: D487
datatype: byte[8]
name: parse_data
arguments: tag: D514
datatype: byte[8]
name: parse_data
arguments: tag: D740
datatype: byte[8]
name: parse_data
arguments: tag: D674
datatype: byte[8]
name: parse_data
arguments: tag: D554
datatype: byte[8]
name: parse_data
arguments: tag: D581
datatype: byte[8]
name: parse_data
arguments: tag: D768
datatype: byte[8]
name: parse_data
arguments: tag: D559
datatype: byte[8]
name: parse_data
arguments: tag: D1023
datatype: byte[8]
name: parse_data
arguments: tag: D891
datatype: byte[8]

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

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

tool: D819: 6.698001071123802

tool: {"D754": [0x0d,0x0d,0x3e,0x7f,0x28,0x13,0xa7,0x3e]}

tool: {"D373": [0xea,0x40,0xd6,0x96,0x94,0xae,0x27,0x3f]}

tool: {"D344": [0x6e,0xb3,0xdd,0x0b,0xa2,0x41,0xcf,0x3e]}

tool: {"D1069": [0xd1,0x33,0xb0,0x73,0xcd,0x84,0x36,0x3f]}

tool: {"D444": [0xb8,0x52,0x81,0xe0,0x61,0xde,0x96,0x3f]}

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

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

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

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

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

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

tool: D61: 2.839940833161907

tool: D432: 999.8420897506056

tool: {"D125": [0x18,0xe6,0x61,0x34,0xd2,0x57,0xa7,0xbd]}

tool: {"D93": [0x40,0x72,0xfa,0x98,0x94,0x59,0x55,0x3e]}

tool: {"D107": [0xb4,0x8a,0x75,0x40,0x7b,0xb7,0x94,0x3e]}

tool: {"D78": [0x3d,0xae,0x24,0x03,0xdc,0x50,0xe5,0x3d]}

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

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

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

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

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

tool: {"D369": [0xe8,0x94,0x78,0xf4,0xa0,0x57,0x05,0x3e]}

tool: {"D304": [0x8f,0x77,0xaa,0x37,0x2c,0xaa,0x7d,0x3e]}

tool: {"D641": [0xb7,0x34,0xcf,0x2a,0x41,0xfc,0x80,0xbd]}

tool: {"D1039": [0x58,0xd0,0xf2,0x4f,0xfe,0x69,0x2b,0x3e]}

tool: {"D109": [0xa4,0xa8,0x06,0xd8,0x74,0x8f,0x95,0x3e]}

tool: {"D534": [0x9b,0xcc,0x5a,0x74,0xff,0xc0,0xfc,0x3e]}

tool: {"D458": [0x3e,0xd3,0xdc,0x5f,0x9b,0x35,0x09,0x3d]}

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

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

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

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

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

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

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

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

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

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

tool: D957: 1

tool: {"D498": [0x10,0xf7,0x4c,0x08,0xff,0xfe,0x14,0xbd]}

tool: {"D790": [0x61,0xf3,0x4c,0xa2,0x49,0x59,0xb5,0x3d]}

tool: {"D243": [0x5a,0x66,0xbb,0x13,0x58,0xc2,0xde,0x3d]}

tool: {"D303": [0x2c,0x35,0x32,0x6d,0xf1,0x75,0x91,0x3c]}

tool: {"D916": [0xeb,0xc5,0x77,0x63,0x5d,0xa0,0xd5,0x3c]}

tool: {"D865": [0x18,0xe6,0x61,0x34,0xd2,0x57,0xb7,0xbd]}

tool: {"D83": [0x98,0x26,0xa3,0xf3,0x3b,0x8f,0xa0,0x3e]}

tool: {"D1059": [0xd3,0xa6,0x84,0xcc,0x10,0xed,0xfd,0x3e]}

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

tool: {"D1027": [0x2f,0x9e,0xf7,0x0f,0x47,0x0b,0x6d,0x3f]}

tool: {"D403": [0x8f,0x15,0x07,0xbe,0xd4,0x1d,0xb0,0x3f]}

tool: {"D585": [0x6f,0xb3,0xdd,0x0b,0xa2,0x41,0xdf,0x3e]}

tool: {"D911": [0x11,0xf7,0x4c,0x08,0xff,0xfe,0x24,0xbd]}

tool: {"D471": [0x89,0x87,0x54,0x54,0x4b,0x95,0xa7,0x3d]}

tool: {"D343": [0x88,0xf9,0xa3,0x1c,0x86,0x1b,0xe3,0x3d]}

tool: {"D564": [0x58,0x27,0x46,0x6b,0x35,0x7a,0x50,0x3e]}

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

tool: {"D197": [0x48,0xff,0xce,0x0c,0x9b,0x8d,0x28,0x3e]}

tool: {"D535": [0x99,0x60,0x15,0x69,0x6b,0xf3,0x90,0x3e]}

tool: {"D1044": [0x3f,0x56,0x29,0xd6,0xcf,0x2b,0x27,0x3e]}

tool: {"D926": [0xe6,0xb9,0x56,0xee,0x68,0x2c,0xcc,0x3e]}

tool: {"D11": [0x63,0xc6,0xe2,0xf0,0x2d,0xa3,0x08,0x3f]}

tool: {"D136": [0x14,0xcf,0x36,0xc0,0x61,0x7a,0x99,0xbd]}

tool: {"D985": [0x58,0xd0,0xf2,0x4f,0xfe,0x69,0x3b,0x3e]}

tool: {"D889": [0x97,0x26,0xa3,0xf3,0x3b,0x8f,0x90,0x3e]}

tool: {"D215": [0x1f,0x7d,0x63,0x99,0xcc,0x71,0xf6,0x3e]}

tool: {"D1047": [0x1f,0x8c,0xa1,0x7f,0x86,0x0b,0x49,0x3f]}

tool: {"D180": [0xfa,0x44,0x04,0x0a,0x58,0xa2,0xae,0x3f]}

tool: {"D379": [0xa9,0x65,0x3f,0x7f,0xf8,0xaf,0x91,0x3d]}

tool: {"D620": [0x89,0xf9,0xa3,0x1c,0x86,0x1b,0xd3,0x3d]}

tool: {"D346": [0x06,0x3b,0xe9,0x20,0x50,0xb7,0x48,0x3e]}

tool: {"D407": [0x61,0x43,0x3c,0x57,0x47,0x22,0xa3,0x3e]}

tool: {"D894": [0xd7,0xfd,0xb4,0x6d,0x70,0xfa,0x09,0x3f]}

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

tool: {"D366": [0x40,0x72,0xfa,0x98,0x94,0x59,0x65,0x3e]}

tool: {"D718": [0xb4,0x8a,0x75,0x40,0x7b,0xb7,0xa4,0x3e]}

tool: {"D487": [0x3d,0xae,0x24,0x03,0xdc,0x50,0xf5,0x3d]}

tool: {"D514": [0x3e,0xd3,0xdc,0x5f,0x9b,0x35,0x19,0x3d]}

tool: {"D740": [0x61,0xf3,0x4c,0xa2,0x49,0x59,0xc5,0x3d]}

tool: {"D674": [0x56,0x66,0xbb,0x13,0x58,0xc2,0xee,0x3d]}

tool: {"D554": [0xc3,0x4f,0xcb,0x23,0xea,0x30,0xaa,0x3c]}

tool: {"D581": [0x72,0xd4,0x99,0x0a,0x46,0x38,0xf0,0x3c]}

tool: {"D768": [0x12,0xcf,0x36,0xc0,0x61,0x7a,0x99,0xbd]}

tool: {"D559": [0x6e,0xb3,0xdd,0x0b,0xa2,0x41,0xdf,0x3e]}

tool: {"D1023": [0x18,0xe6,0x61,0x34,0xd2,0x57,0xc7,0xbd]}

tool: {"D891": [0x2d,0x43,0x1c,0xeb,0xe2,0x36,0x1a,0x3f]}

assistant: ```c
double gsw_thermobaric(double sa, double ct, double p) {
  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, v12 = -2.233269627352527e-2, v13 = -3.436090079851880e-4, v14 = 3.726050720345733e-6, v15 = -1.806789763745328e-4, v16 = 6.876837219536232e-7, v17 = -3.087032500374211e-7, v18 = -1.988366587925593e-8, v19 = -1.061519070296458e-11, v20 = 1.550932729220080e-10, 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, v37 = -2.742185394906099e-5, v38 = -3.212746477974189e-7, v39 = 3.191413910561627e-9, v40 = -1.931012931541776e-12, v41 = -1.105097577149576e-7, v42 = 6.211426728363857e-10, v43 = -1.119011592875110e-10, v44 = -1.941660213148725e-11, v45 = -1.864826425365600e-14, v46 = 1.119522344879478e-14, v47 = -1.200507748551599e-15, v48 = 6.057902487546866e-17, a01 = 2.839940833161907e0, a02 = -6.295518531177023e-2, a03 = 3.545416635222918e-3, a04 = -2.986498947203215e-2, a05 = 4.655718814958324e-4, a06 = 5.095422573880500e-4, a07 = -2.853969343267241e-5, a08 = 4.935118121048767e-7, a09 = -3.436090079851880e-4, a10 = 7.452101440691467e-6, a11 = 6.876837219536232e-7, a12 = -1.988366587925593e-8, a13 = -2.123038140592916e-11, a14 = 2.775927747785646e-3, a15 = -4.699214888271850e-5, a16 = 3.358540072460230e-6, a17 = 2.697475730017109e-9, a18 = -2.764306979894411e-5, a19 = 2.525874630197091e-7, a20 = 2.858362524508931e-9, a21 = -7.244588807799565e-11, a22 = 3.801564588876298e-7, a23 = -1.534575373851809e-8, a24 = -1.390254702334843e-10, a25 = 1.072438894227657e-11, a26 = -3.212746477974189e-7, a27 = 6.382827821123254e-9, a28 = -5.793038794625329e-12, a29 = 6.211426728363857e-10, a30 = -1.941660213148725e-11, a31 = -3.729652850731201e-14, a32 = 1.119522344879478e-14, a33 = 6.057902487546866e-17, b01 = -6.698001071123802e0, b02 = -2.986498947203215e-2, b03 = 2.327859407479162e-4, b04 = -5.983233568452735e-2, b05 = 7.643133860820750e-4, b06 = -2.140477007450431e-5, b07 = 2.467559060524383e-7, b08 = -1.806789763745328e-4, b09 = 6.876837219536232e-7, b10 = 1.550932729220080e-10, b11 = -7.521448093615448e-3, b12 = -2.764306979894411e-5, b13 = 1.262937315098546e-7, b14 = 9.527875081696435e-10, b15 = -1.811147201949891e-11, b16 = -4.954963307079632e-5, b17 = 5.702346883314446e-7, b18 = -1.150931530388857e-8, b19 = -6.951273511674217e-11, b20 = 4.021645853353715e-12, b21 = 1.083865310229748e-5, b22 = -1.105097577149576e-7, b23 = 6.211426728363857e-10, b24 = 1.119522344879478e-14, c01 = -2.233269627352527e-2, c02 = -3.436090079851880e-4, c03 = 3.726050720345733e-6, c04 = -1.806789763745328e-4, c05 = 6.876837219536232e-7, c06 = -6.174065000748422e-7, c07 = -3.976733175851186e-8, c08 = -2.123038140592916e-11, c09 = 3.101865458440160e-10, c10 = -2.742185394906099e-5, c11 = -3.212746477974189e-7, c12 = 3.191413910561627e-9, c13 = -1.931012931541776e-12, c14 = -1.105097577149576e-7, c15 = 6.211426728363857e-10, c16 = -2.238023185750219e-10, c17 = -3.883320426297450e-11, c18 = -3.729652850731201e-14, c19 = 2.239044689758956e-14, c20 = -3.601523245654798e-15, c21 = 1.817370746264060e-16, rec_db2pa = 1e-4;
  double sqrtsa, v_hat_denominator, v_hat_numerator;
  double dvhatden_dct, dvhatnum_dct, dvhatden_dp, dvhatnum_dp;
  double dvhatden_dsa, dvhatnum_dsa, dvhatden_dpdct, dvhatnum_dpdct;
  double dvhatden_dpdsa, dvhatnum_dpdsa;
  double p1a, p1b, p1c, p1d, p1e, part1, factor2;
  double p2a, p2b, p2c, p2d, p2e, part2;
  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)))) + p * (v12 + ct * (v13 + v14 * ct) + sa * (v15 + v16 * ct) + p * (v17 + ct * (v18 + v19 * ct) + v20 * sa));
  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))))) + p * (v37 + ct * (v38 + ct * (v39 + v40 * ct)) + sa * (v41 + v42 * ct) + p * (v43 + ct * (v44 + v45 * ct + v46 * sa) + p * (v47 + v48 * ct)));
  dvhatden_dct = a01 + ct * (a02 + a03 * ct) + sa * (a04 + a05 * ct + sqrtsa * (a06 + ct * (a07 + a08 * ct))) + p * (a09 + a10 * ct + a11 * sa + p * (a12 + a13 * ct));
  dvhatnum_dct = a14 + ct * (a15 + ct * (a16 + a17 * ct)) + sa * (a18 + ct * (a19 + ct * (a20 + a21 * ct)) + sqrtsa * (a22 + ct * (a23 + ct * (a24 + a25 * ct)))) + p * (a26 + ct * (a27 + a28 * ct) + a29 * sa + p * (a30 + a31 * ct + a32 * sa + a33 * p));
  dvhatden_dsa = b01 + ct * (b02 + b03 * ct) + sqrtsa * (b04 + ct * (b05 + ct * (b06 + b07 * ct))) + p * (b08 + b09 * ct + b10 * p);
  dvhatnum_dsa = b11 + ct * (b12 + ct * (b13 + ct * (b14 + b15 * ct))) + sqrtsa * (b16 + ct * (b17 + ct * (b18 + ct * (b19 + b20 * ct)))) + b21 * sa + p * (b22 + ct * (b23 + b24 * p));
  dvhatden_dp = c01 + ct * (c02 + c03 * ct) + sa * (c04 + c05 * ct) + p * (c06 + ct * (c07 + c08 * ct) + c09 * sa);
  dvhatnum_dp = c10 + ct * (c11 + ct * (c12 + c13 * ct)) + sa * (c14 + c15 * ct) + p * (c16 + ct * (c17 + c18 * ct + c19 * sa) + p * (c20 + c21 * ct));
  dvhatden_dpdct = c02 + 2e0 * c03 * ct + c05 * sa + p * (c07 + 2e0 * c08 * ct);
  dvhatnum_dpdct = c11 + ct * (2e0 * c12 + 3e0 * c13 * ct) + c15 * sa + p * (c17 + ct * 2e0 * c18 + c19 * sa + c21 * p);
  dvhatden_dpdsa = c04 + c05 * ct + c09 * p;
  dvhatnum_dpdsa = c14 + c15 * ct + c19 * ct * p;
  p1a = dvhatnum_dpdct / v_hat_numerator;
  p1b = (dvhatnum_dct * dvhatden_dp) / (v_hat_numerator * v_hat_denominator);
  p1c = (dvhatnum_dp * dvhatden_dct) / (v_hat_numerator * v_hat_denominator);
  p1d = (dvhatden_dp * dvhatden_dct) / (v_hat_denominator * v_hat_denominator);
  p1e = dvhatden_dpdct / v_hat_denominator;
  part1 = p1a - p1b - p1c + 2e0 * p1d - p1e;
  factor2 = (v_hat_denominator * dvhatnum_dct - v_hat_numerator * dvhatden_dct) / (v_hat_denominator * dvhatnum_dsa - v_hat_numerator * dvhatden_dsa);
  p2a = dvhatnum_dpdsa / v_hat_numerator;
  p2b = (dvhatnum_dsa * dvhatden_dp) / (v_hat_numerator * v_hat_denominator);
  p2c = (dvhatnum_dp * dvhatden_dsa) / (v_hat_numerator * v_hat_denominator);
  p2d = (dvhatden_dp * dvhatden_dsa) / (v_hat_denominator * v_hat_denominator);
  p2e = dvhatden_dpdsa / v_hat_denominator;
  part2 = p2a - p2b - p2c + 2e0 * p2d - p2e;
  return ((part1 - factor2 * part2) * rec_db2pa);
}
```