user: 请将这段汇编代码片段转换成等效的C代码：

```asm
<HO_32>:
  endbr64
  push   %r15
  push   %r14
  push   %rbx
  sub    $0xf0,%rsp
  movsd  %xmm1,0x8(%rsp)
  movsd  D493(%rip),%xmm1
  movsd  %xmm0,0x10(%rsp)
  call   <pow@plt>
  movsd  D316(%rip),%xmm14
  movsd  %xmm0,0xe8(%rsp)
  movsd  0x10(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  movsd  D364(%rip),%xmm1
  movsd  %xmm0,0xe0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D194(%rip),%xmm1
  movsd  %xmm0,0x18(%rsp)
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  D287(%rip),%xmm1
  movq   %xmm0,%rbx
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D80(%rip),%xmm4
  movsd  %xmm0,0x20(%rsp)
  movsd  0x10(%rsp),%xmm0
  movapd %xmm4,%xmm1
  call   <pow@plt>
  movsd  D355(%rip),%xmm1
  movsd  %xmm0,0xd8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D512(%rip),%xmm1
  movsd  %xmm0,0x28(%rsp)
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  D121(%rip),%xmm1
  movsd  %xmm0,0xd0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D128(%rip),%xmm12
  movsd  %xmm0,0x30(%rsp)
  movsd  0x10(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  movsd  D252(%rip),%xmm1
  movsd  %xmm0,0xc8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D516(%rip),%xmm1
  movsd  %xmm0,0x38(%rsp)
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  D111(%rip),%xmm1
  movsd  %xmm0,0xc0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D418(%rip),%xmm3
  movsd  %xmm0,0x40(%rsp)
  movsd  0x10(%rsp),%xmm0
  movapd %xmm3,%xmm1
  call   <pow@plt>
  movsd  D188(%rip),%xmm1
  movsd  %xmm0,0xb8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D225(%rip),%xmm1
  movsd  %xmm0,0x48(%rsp)
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  D136(%rip),%xmm1
  movsd  %xmm0,0xb0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D383(%rip),%xmm15
  movsd  %xmm0,0x50(%rsp)
  movsd  0x10(%rsp),%xmm0
  movapd %xmm15,%xmm1
  call   <pow@plt>
  mov    D316(%rip),%rax
  movsd  %xmm0,0xa8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D380(%rip),%xmm1
  movsd  %xmm0,0x58(%rsp)
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  mov    D80(%rip),%rax
  movq   %xmm0,%r14
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D360(%rip),%xmm14
  movsd  %xmm0,0x60(%rsp)
  movsd  0x10(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  mov    D128(%rip),%rax
  movsd  %xmm0,0xa0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D181(%rip),%xmm1
  movsd  %xmm0,0x68(%rsp)
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  mov    D418(%rip),%rax
  movq   %xmm0,%r15
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D419(%rip),%xmm12
  movsd  %xmm0,0x70(%rsp)
  movsd  0x10(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  mov    D383(%rip),%rax
  movsd  %xmm0,0x98(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D62(%rip),%xmm1
  movsd  %xmm0,0x78(%rsp)
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  mov    D360(%rip),%rax
  movsd  %xmm0,0x90(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D419(%rip),%rax
  movsd  %xmm0,0x80(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  0x10(%rsp),%xmm5
  xorpd  D162(%rip),%xmm5
  movsd  %xmm0,0x88(%rsp)
  movsd  0x8(%rsp),%xmm7
  movapd %xmm5,%xmm0
  mulsd  %xmm7,%xmm0
  mulsd  %xmm7,%xmm0
  mulsd  D381(%rip),%xmm0
  call   <exp@plt>
  movq   %rbx,%xmm6
  movq   %r14,%xmm3
  movsd  0xe0(%rsp),%xmm2
  mulsd  D41(%rip),%xmm6
  movapd %xmm0,%xmm12
  movsd  D288(%rip),%xmm1
  movsd  0x20(%rsp),%xmm0
  movsd  0xd8(%rsp),%xmm11
  movsd  0xd0(%rsp),%xmm10
  mulsd  %xmm2,%xmm1
  movsd  0xc8(%rsp),%xmm9
  mulsd  0x18(%rsp),%xmm1
  movsd  0xc0(%rsp),%xmm8
  mulsd  D510(%rip),%xmm11
  movsd  0xb8(%rsp),%xmm7
  mulsd  %xmm6,%xmm0
  movsd  0xb0(%rsp),%xmm6
  movsd  0xa8(%rsp),%xmm5
  mulsd  0x28(%rsp),%xmm11
  movsd  0xa0(%rsp),%xmm4
  mulsd  D179(%rip),%xmm10
  mulsd  0x30(%rsp),%xmm10
  mulsd  D254(%rip),%xmm9
  subsd  %xmm0,%xmm1
  mulsd  0x38(%rsp),%xmm9
  movsd  0x60(%rsp),%xmm0
  mulsd  D2(%rip),%xmm8
  mulsd  0x40(%rsp),%xmm8
  addsd  %xmm11,%xmm1
  mulsd  D75(%rip),%xmm7
  mulsd  0x48(%rsp),%xmm7
  mulsd  D445(%rip),%xmm6
  subsd  %xmm10,%xmm1
  mulsd  0x50(%rsp),%xmm6
  mulsd  D22(%rip),%xmm3
  mulsd  D119(%rip),%xmm5
  addsd  %xmm9,%xmm1
  mulsd  0x58(%rsp),%xmm5
  mulsd  D20(%rip),%xmm4
  mulsd  0x68(%rsp),%xmm4
  subsd  %xmm8,%xmm1
  mulsd  %xmm3,%xmm0
  addsd  %xmm7,%xmm1
  subsd  %xmm6,%xmm1
  addsd  %xmm5,%xmm1
  subsd  %xmm0,%xmm1
  addsd  %xmm4,%xmm1
  movq   %r15,%xmm4
  mulsd  D467(%rip),%xmm4
  movsd  0x70(%rsp),%xmm0
  movsd  0x10(%rsp),%xmm2
  movsd  0x8(%rsp),%xmm7
  movsd  D148(%rip),%xmm6
  movsd  0x98(%rsp),%xmm3
  mulsd  D251(%rip),%xmm3
  movsd  0x90(%rsp),%xmm15
  movsd  0xe8(%rsp),%xmm13
  mulsd  %xmm2,%xmm6
  mulsd  %xmm4,%xmm0
  mulsd  0x78(%rsp),%xmm3
  mulsd  D224(%rip),%xmm15
  mulsd  0x80(%rsp),%xmm15
  mulsd  D378(%rip),%xmm13
  subsd  %xmm0,%xmm1
  movapd %xmm6,%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  0x88(%rsp),%xmm0
  addsd  %xmm3,%xmm1
  mulsd  D488(%rip),%xmm2
  subsd  %xmm15,%xmm1
  addsd  %xmm1,%xmm0
  movapd %xmm2,%xmm1
  mulsd  %xmm7,%xmm1
  mulsd  %xmm7,%xmm1
  subsd  %xmm1,%xmm0
  addsd  D186(%rip),%xmm0
  mulsd  %xmm13,%xmm0
  mulsd  %xmm12,%xmm0
  mulsd  D115(%rip),%xmm0
  divsd  D321(%rip),%xmm0
  add    $0xf0,%rsp
  pop    %rbx
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: extract_symbolic_data
arguments: tag: D493
type_infered: byte[8]
name: extract_symbolic_data
arguments: tag: D316
type_infered: f64
name: extract_symbolic_data
arguments: tag: D364
type_infered: f64
name: extract_symbolic_data
arguments: tag: D194
type_infered: f64
name: extract_symbolic_data
arguments: tag: D287
type_infered: f64
name: extract_symbolic_data
arguments: tag: D80
type_infered: f64
name: extract_symbolic_data
arguments: tag: D355
type_infered: f64
name: extract_symbolic_data
arguments: tag: D512
type_infered: f64
name: extract_symbolic_data
arguments: tag: D121
type_infered: f64
name: extract_symbolic_data
arguments: tag: D128
type_infered: f64
name: extract_symbolic_data
arguments: tag: D252
type_infered: f64
name: extract_symbolic_data
arguments: tag: D516
type_infered: f64
name: extract_symbolic_data
arguments: tag: D111
type_infered: f64
name: extract_symbolic_data
arguments: tag: D418
type_infered: f64
name: extract_symbolic_data
arguments: tag: D188
type_infered: f64
name: extract_symbolic_data
arguments: tag: D225
type_infered: f64
name: extract_symbolic_data
arguments: tag: D136
type_infered: f64
name: extract_symbolic_data
arguments: tag: D383
type_infered: f64
name: extract_symbolic_data
arguments: tag: D380
type_infered: f64
name: extract_symbolic_data
arguments: tag: D360
type_infered: f64
name: extract_symbolic_data
arguments: tag: D181
type_infered: f64
name: extract_symbolic_data
arguments: tag: D419
type_infered: f64
name: extract_symbolic_data
arguments: tag: D62
type_infered: f64
name: extract_symbolic_data
arguments: tag: D162
type_infered: byte[16]
name: extract_symbolic_data
arguments: tag: D381
type_infered: byte[8]
name: extract_symbolic_data
arguments: tag: D41
type_infered: f64
name: extract_symbolic_data
arguments: tag: D288
type_infered: f64
name: extract_symbolic_data
arguments: tag: D510
type_infered: f64
name: extract_symbolic_data
arguments: tag: D179
type_infered: f64
name: extract_symbolic_data
arguments: tag: D254
type_infered: f64
name: extract_symbolic_data
arguments: tag: D2
type_infered: f64
name: extract_symbolic_data
arguments: tag: D75
type_infered: f64
name: extract_symbolic_data
arguments: tag: D445
type_infered: f64
name: extract_symbolic_data
arguments: tag: D22
type_infered: f64
name: extract_symbolic_data
arguments: tag: D119
type_infered: f64
name: extract_symbolic_data
arguments: tag: D20
type_infered: f64
name: extract_symbolic_data
arguments: tag: D467
type_infered: f64
name: extract_symbolic_data
arguments: tag: D148
type_infered: f64
name: extract_symbolic_data
arguments: tag: D251
type_infered: f64
name: extract_symbolic_data
arguments: tag: D224
type_infered: f64
name: extract_symbolic_data
arguments: tag: D378
type_infered: byte[8]
name: extract_symbolic_data
arguments: tag: D488
type_infered: f64
name: extract_symbolic_data
arguments: tag: D186
type_infered: f64
name: extract_symbolic_data
arguments: tag: D115
type_infered: byte[8]
name: extract_symbolic_data
arguments: tag: D321
type_infered: f64

tool: {"D493": [0x00,0x00,0x00,0x00,0x00,0x00,0xd0,0x3f]}

tool: D316: 16

tool: D364: 32

tool: D194: 15

tool: D287: 30

tool: D80: 14

tool: D355: 28

tool: D512: 13

tool: D121: 26

tool: D128: 12

tool: D252: 24

tool: D516: 11

tool: D111: 22

tool: D418: 10

tool: D188: 20

tool: D225: 9

tool: D136: 18

tool: D383: 8

tool: D380: 7

tool: D360: 6

tool: D181: 5

tool: D419: 4

tool: D62: 3

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

tool: {"D381": [0x00,0x00,0x00,0x00,0x00,0x00,0xe0,0x3f]}

tool: D41: 16252928

tool: D288: 65536

tool: D510: 1767505920

tool: D179: 111352872960

tool: D254: 4523710464000

tool: D2: 124854408806400

tool: D75: 2403447369523200.0

tool: D445: 3.2618214300672e+16

tool: D22: 2.07941116166784e+18

tool: D119: 3.11911674250176e+17

tool: D20: 9.461320785588673e+18

tool: D467: 2.8383962356766015e+19

tool: D148: 3.07038054340017e+19

tool: D251: 5.321992941893628e+19

tool: D224: 5.731377014346984e+19

tool: {"D378": [0x13,0x65,0xc9,0x49,0x50,0xec,0xbf,0x40]}

tool: D488: 6.14076108680034e+18

tool: D186: 1.9189878396251062e+17

tool: {"D115": [0x5f,0xfa,0x11,0x70,0x38,0x09,0xe8,0x3f]}

tool: D321: 4.192092901922365e+21

assistant: ```c
double HO_32(const double a, const double x) {
  double retval = sqrt(0.66786710e8) * pow(a, 0.1e1 / 0.4e1) * (0.65536e5 * pow(a, 0.16e2) * pow(x, 0.32e2) - 0.16252928e8 * pow(a, 0.15e2) * pow(x, 0.30e2) + 0.1767505920e10 * pow(a, 0.14e2) * pow(x, 0.28e2) - 0.111352872960e12 * pow(a, 0.13e2) * pow(x, 0.26e2) + 0.4523710464000e13 * pow(a, 0.12e2) * pow(x, 0.24e2) - 0.124854408806400e15 * pow(a, 0.11e2) * pow(x, 0.22e2) + 0.2403447369523200e16 * pow(a, 0.10e2) * pow(x, 0.20e2) - 0.32618214300672000e17 * pow(a, 0.9e1) * pow(x, 0.18e2) + 0.311911674250176000e18 * pow(a, 0.8e1) * pow(x, 0.16e2) - 0.2079411161667840000e19 * pow(a, 0.7e1) * pow(x, 0.14e2) + 0.9461320785588672000e19 * pow(a, 0.6e1) * pow(x, 0.12e2) - 0.28383962356766016000e20 * pow(a, 0.5e1) * pow(x, 0.10e2) + 0.53219929418936280000e20 * pow(a, 0.4e1) * pow(x, 0.8e1) - 0.57313770143469840000e20 * pow(a, 0.3e1) * pow(x, 0.6e1) + 0.30703805434001700000e20 * a * a * pow(x, 0.4e1) - 0.6140761086800340000e19 * a * x * x + 0.191898783962510625e18) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.4192092901922365440000e22;
  return retval;
}
```