user: 请从给定的汇编指令推导出C源代码:

```asm
<HO_75>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x228,%rsp
  movsd  %xmm0,0x8(%rsp)
  movsd  %xmm1,(%rsp)
  movsd  D728(%rip),%xmm1
  call   <pow@plt>
  movsd  %xmm0,0x10(%rsp)
  movsd  D644(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x18(%rsp)
  movsd  D83(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x20(%rsp)
  mov    D214(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x28(%rsp)
  movsd  D967(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x30(%rsp)
  movsd  D329(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x38(%rsp)
  movsd  D312(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x40(%rsp)
  mov    D987(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x48(%rsp)
  movsd  D595(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x50(%rsp)
  movsd  D833(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x58(%rsp)
  movsd  D134(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x60(%rsp)
  mov    D678(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x68(%rsp)
  movsd  D437(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x70(%rsp)
  movsd  D843(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x78(%rsp)
  movsd  D139(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x80(%rsp)
  mov    D760(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x88(%rsp)
  movsd  D59(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x90(%rsp)
  movsd  D398(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x98(%rsp)
  movsd  D525(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xa0(%rsp)
  mov    D1098(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xa8(%rsp)
  movsd  D335(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xb0(%rsp)
  movsd  D951(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xb8(%rsp)
  movsd  D792(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xc0(%rsp)
  mov    D281(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xc8(%rsp)
  movsd  D186(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xd0(%rsp)
  movsd  D147(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xd8(%rsp)
  movsd  D921(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xe0(%rsp)
  mov    D922(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xe8(%rsp)
  movsd  D1021(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xf0(%rsp)
  movsd  D295(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xf8(%rsp)
  movsd  D656(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x100(%rsp)
  mov    D239(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x108(%rsp)
  movsd  D1005(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x110(%rsp)
  movsd  D473(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x118(%rsp)
  movsd  D874(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x120(%rsp)
  mov    D743(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x128(%rsp)
  movsd  D587(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x130(%rsp)
  movsd  D955(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x138(%rsp)
  movsd  D172(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x140(%rsp)
  mov    D401(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x148(%rsp)
  mov    D214(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x150(%rsp)
  movsd  D1019(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x158(%rsp)
  mov    D987(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x160(%rsp)
  mov    D931(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x168(%rsp)
  mov    D678(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x170(%rsp)
  movsd  D1061(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x178(%rsp)
  mov    D760(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x180(%rsp)
  mov    D112(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x188(%rsp)
  mov    D1098(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x190(%rsp)
  movsd  D502(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x198(%rsp)
  mov    D281(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1a0(%rsp)
  mov    D729(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1a8(%rsp)
  mov    D922(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1b0(%rsp)
  movsd  D514(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1b8(%rsp)
  mov    D239(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1c0(%rsp)
  mov    D97(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1c8(%rsp)
  mov    D743(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1d0(%rsp)
  movsd  D86(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1d8(%rsp)
  mov    D401(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1e0(%rsp)
  mov    D552(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r15
  mov    D931(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1e8(%rsp)
  movsd  D103(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r14
  mov    D112(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1f0(%rsp)
  mov    D1146(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r13
  mov    D729(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1f8(%rsp)
  movsd  D6(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r12
  mov    D97(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x200(%rsp)
  mov    D279(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%rbp
  mov    D552(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x208(%rsp)
  movsd  D128(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%rbx
  mov    D1146(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x210(%rsp)
  mov    D279(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x218(%rsp)
  movsd  0x8(%rsp),%xmm5
  xorpd  D382(%rip),%xmm5
  movapd %xmm5,%xmm0
  movsd  (%rsp),%xmm3
  mulsd  %xmm3,%xmm0
  mulsd  %xmm3,%xmm0
  mulsd  D852(%rip),%xmm0
  call   <exp@plt>
  movapd %xmm0,%xmm2
  movsd  0x18(%rsp),%xmm1
  mulsd  D396(%rip),%xmm1
  mulsd  0x20(%rsp),%xmm1
  movsd  0x28(%rsp),%xmm0
  mulsd  D1037(%rip),%xmm0
  mulsd  0x30(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x38(%rsp),%xmm0
  mulsd  D259(%rip),%xmm0
  mulsd  0x40(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x48(%rsp),%xmm0
  mulsd  D894(%rip),%xmm0
  mulsd  0x50(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x58(%rsp),%xmm0
  mulsd  D649(%rip),%xmm0
  mulsd  0x60(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x68(%rsp),%xmm0
  mulsd  D686(%rip),%xmm0
  mulsd  0x70(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x78(%rsp),%xmm0
  mulsd  D989(%rip),%xmm0
  mulsd  0x80(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x88(%rsp),%xmm0
  mulsd  D404(%rip),%xmm0
  mulsd  0x90(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x98(%rsp),%xmm0
  mulsd  D352(%rip),%xmm0
  mulsd  0xa0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0xa8(%rsp),%xmm0
  mulsd  D1051(%rip),%xmm0
  mulsd  0xb0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0xb8(%rsp),%xmm0
  mulsd  D751(%rip),%xmm0
  mulsd  0xc0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0xc8(%rsp),%xmm0
  mulsd  D654(%rip),%xmm0
  mulsd  0xd0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0xd8(%rsp),%xmm0
  mulsd  D773(%rip),%xmm0
  mulsd  0xe0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0xe8(%rsp),%xmm0
  mulsd  D140(%rip),%xmm0
  mulsd  0xf0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0xf8(%rsp),%xmm0
  mulsd  D617(%rip),%xmm0
  mulsd  0x100(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x108(%rsp),%xmm0
  mulsd  D282(%rip),%xmm0
  mulsd  0x110(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x118(%rsp),%xmm0
  mulsd  D624(%rip),%xmm0
  mulsd  0x120(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x128(%rsp),%xmm0
  mulsd  D1132(%rip),%xmm0
  mulsd  0x130(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x138(%rsp),%xmm0
  mulsd  D590(%rip),%xmm0
  mulsd  0x140(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x148(%rsp),%xmm0
  mulsd  D430(%rip),%xmm0
  mulsd  0x150(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x158(%rsp),%xmm0
  mulsd  D120(%rip),%xmm0
  mulsd  0x160(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x168(%rsp),%xmm0
  mulsd  D859(%rip),%xmm0
  mulsd  0x170(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x178(%rsp),%xmm0
  mulsd  D564(%rip),%xmm0
  mulsd  0x180(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x188(%rsp),%xmm0
  mulsd  D1068(%rip),%xmm0
  mulsd  0x190(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x198(%rsp),%xmm0
  mulsd  D166(%rip),%xmm0
  mulsd  0x1a0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x1a8(%rsp),%xmm0
  mulsd  D163(%rip),%xmm0
  mulsd  0x1b0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x1b8(%rsp),%xmm0
  mulsd  D9(%rip),%xmm0
  mulsd  0x1c0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x1c8(%rsp),%xmm0
  mulsd  D963(%rip),%xmm0
  mulsd  0x1d0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x1d8(%rsp),%xmm0
  mulsd  D568(%rip),%xmm0
  mulsd  0x1e0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movq   %r15,%xmm0
  mulsd  D84(%rip),%xmm0
  mulsd  0x1e8(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movq   %r14,%xmm0
  mulsd  D985(%rip),%xmm0
  mulsd  0x1f0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movq   %r13,%xmm0
  mulsd  D980(%rip),%xmm0
  mulsd  0x1f8(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movq   %r12,%xmm0
  mulsd  D612(%rip),%xmm0
  mulsd  0x200(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movq   %rbp,%xmm0
  mulsd  D385(%rip),%xmm0
  mulsd  0x208(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movq   %rbx,%xmm0
  mulsd  D1036(%rip),%xmm0
  mulsd  0x210(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x8(%rsp),%xmm4
  movapd %xmm4,%xmm0
  mulsd  D900(%rip),%xmm0
  mulsd  %xmm4,%xmm0
  mulsd  0x218(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  mulsd  D528(%rip),%xmm4
  movapd %xmm4,%xmm0
  movsd  (%rsp),%xmm3
  mulsd  %xmm3,%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm1,%xmm0
  subsd  D663(%rip),%xmm0
  movsd  0x10(%rsp),%xmm1
  mulsd  D899(%rip),%xmm1
  mulsd  %xmm3,%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  D993(%rip),%xmm0
  divsd  D851(%rip),%xmm0
  add    $0x228,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D728
type_infered: byte[8]
name: extract_symbolic_data
arguments: data_label: D644
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D83
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D214
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D967
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D329
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D312
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D987
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D595
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D833
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D134
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D678
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D437
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D843
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D139
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D760
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D59
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D398
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D525
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D1098
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D335
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D951
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D792
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D281
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D186
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D147
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D921
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D922
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D1021
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D295
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D656
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D239
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D1005
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D473
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D874
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D743
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D587
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D955
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D172
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D401
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D1019
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D931
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D1061
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D112
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D502
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D729
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D514
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D97
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D86
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D552
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D103
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D1146
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D6
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D279
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D128
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D382
type_infered: byte[16]
name: extract_symbolic_data
arguments: data_label: D852
type_infered: byte[8]
name: extract_symbolic_data
arguments: data_label: D396
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D1037
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D259
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D894
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D649
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D686
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D989
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D404
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D352
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D1051
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D751
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D654
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D773
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D140
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D617
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D282
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D624
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D1132
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D590
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D430
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D120
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D859
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D564
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D1068
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D166
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D163
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D9
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D963
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D568
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D84
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D985
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D980
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D612
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D385
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D1036
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D900
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D528
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D663
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D899
type_infered: byte[8]
name: extract_symbolic_data
arguments: data_label: D993
type_infered: byte[8]
name: extract_symbolic_data
arguments: data_label: D851
type_infered: f64

tool: {"D728": [0x00,0x00,0x00,0x00,0x00,0x00,0xe8,0x3f]}

tool: D644: 37

tool: D83: 74

tool: D214: 36

tool: D967: 72

tool: D329: 35

tool: D312: 70

tool: D987: 34

tool: D595: 68

tool: D833: 33

tool: D134: 66

tool: D678: 32

tool: D437: 64

tool: D843: 31

tool: D139: 62

tool: D760: 30

tool: D59: 60

tool: D398: 29

tool: D525: 58

tool: D1098: 28

tool: D335: 56

tool: D951: 27

tool: D792: 54

tool: D281: 26

tool: D186: 52

tool: D147: 25

tool: D921: 50

tool: D922: 24

tool: D1021: 48

tool: D295: 23

tool: D656: 46

tool: D239: 22

tool: D1005: 44

tool: D473: 21

tool: D874: 42

tool: D743: 20

tool: D587: 40

tool: D955: 19

tool: D172: 38

tool: D401: 18

tool: D1019: 17

tool: D931: 16

tool: D1061: 15

tool: D112: 14

tool: D502: 13

tool: D729: 12

tool: D514: 11

tool: D97: 10

tool: D86: 9

tool: D552: 8

tool: D103: 7

tool: D1146: 6

tool: D6: 5

tool: D279: 4

tool: D128: 3

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

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

tool: D396: 137438953472

tool: D1037: 190696547942400

tool: D259: 1.252876319981568e+17

tool: D894: 5.188996091923661e+19

tool: D649: 1.5216731039566135e+22

tool: D686: 3.3644192328480725e+24

tool: D989: 5.8316600036033253e+26

tool: D404: 8.13516570502664e+28

tool: D352: 9.304595775124218e+30

tool: D1051: 8.844535206243077e+32

tool: D751: 7.0579390945819755e+34

tool: D654: 4.764108888842833e+36

tool: D773: 2.735392520343927e+38

tool: D140: 1.3413944090148101e+40

tool: D617: 5.633856517862203e+41

tool: D282: 2.030066298603014e+43

tool: D624: 6.280517611303074e+44

tool: D1132: 1.6680315891196105e+46

tool: D590: 3.7994052863280015e+47

tool: D430: 7.408840308339604e+48

tool: D120: 1.233571911338544e+50

tool: D859: 1.747560207729604e+51

tool: D564: 2.0970722492755247e+52

tool: D1068: 2.1198665128546064e+53

tool: D166: 1.7930537587895213e+54

tool: D163: 1.258723738670244e+55

tool: D9: 7.261867723097562e+55

tool: D963: 3.4023195073031166e+56

tool: D568: 1.2758698152386688e+57

tool: D84: 3.761616179410558e+57

tool: D985: 8.526330006663932e+57

tool: D980: 1.4439752430640528e+58

tool: D612: 1.7598448274843145e+58

tool: D385: 1.4665373562369288e+58

tool: D1036: 7.764021297724917e+57

tool: D900: 2.329206389317475e+57

tool: D528: 3.2350088740520488e+56

tool: D663: 1.3114900840751548e+55

tool: {"D899": [0x8e,0x4d,0x04,0x0c,0xe7,0xd4,0x17,0x42]}

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

tool: D851: 9.012491232209729e+64

assistant: ```c
double HO_75(const double a, const double x) {
  double retval = sqrt(0.654798961625859828687e21) * pow(a, 0.3e1 / 0.4e1) * x * (0.137438953472e12 * pow(a, 0.37e2) * pow(x, 0.74e2) - 0.190696547942400e15 * pow(a, 0.36e2) * pow(x, 0.72e2) + 0.125287631998156800e18 * pow(a, 0.35e2) * pow(x, 0.70e2) - 0.51889960919236608000e20 * pow(a, 0.34e2) * pow(x, 0.68e2) + 0.15216731039566135296000e23 * pow(a, 0.33e2) * pow(x, 0.66e2) - 0.3364419232848072513945600e25 * pow(a, 0.32e2) * pow(x, 0.64e2) + 0.583166000360332569083904000e27 * pow(a, 0.31e2) * pow(x, 0.62e2) - 0.81351657050266393387204608000e29 * pow(a, 0.30e2) * pow(x, 0.60e2) + 0.9304595775124218743661527040000e31 * pow(a, 0.29e2) * pow(x, 0.58e2) - 0.884453520624307681689159598080000e33 * pow(a, 0.28e2) * pow(x, 0.56e2) + 0.70579390945819752998794935926784000e35 * pow(a, 0.27e2) * pow(x, 0.54e2) - 0.4764108888842833327418658175057920000e37 * pow(a, 0.26e2) * pow(x, 0.52e2) + 0.273539252034392680215954623551242240000e39 * pow(a, 0.25e2) * pow(x, 0.50e2) - 0.13413944090148102587513159424147456000000e41 * pow(a, 0.24e2) * pow(x, 0.48e2) + 0.563385651786220308675552695814193152000000e42 * pow(a, 0.23e2) * pow(x, 0.46e2) - 0.20300662986030138455942415472504759910400000e44 * pow(a, 0.22e2) * pow(x, 0.44e2) + 0.628051761130307408480718478680616009728000000e45 * pow(a, 0.21e2) * pow(x, 0.42e2) - 0.16680315891196105584061434889664595787776000000e47 * pow(a, 0.20e2) * pow(x, 0.40e2) + 0.379940528632800182748066016931249126277120000000e48 * pow(a, 0.19e2) * pow(x, 0.38e2) - 0.7408840308339603563587287330159357962403840000000e49 * pow(a, 0.18e2) * pow(x, 0.36e2) + 0.123357191133854399333728334047153310074023936000000e51 * pow(a, 0.17e2) * pow(x, 0.34e2) - 0.1747560207729603990561151399001338559382005760000000e52 * pow(a, 0.16e2) * pow(x, 0.32e2) + 0.20970722492755247886733816788016062712584069120000000e53 * pow(a, 0.15e2) * pow(x, 0.30e2) - 0.211986651285460657985461408835379764377208524800000000e54 * pow(a, 0.14e2) * pow(x, 0.28e2) + 0.1793053758789521398793694416399253840357222105600000000e55 * pow(a, 0.13e2) * pow(x, 0.26e2) - 0.12587237386702440219531734803122761959307699181312000000e56 * pow(a, 0.12e2) * pow(x, 0.24e2) + 0.72618677230975616651144623864169780534467495276800000000e56 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.340231950730311685421103515511758416207782894537600000000e57 * pow(a, 0.10e2) * pow(x, 0.20e2) + 0.1275869815238668820329138183169094060779185854516000000000e58 * pow(a, 0.9e1) * pow(x, 0.18e2) - 0.3761616179410558073729010850377846282642082433142000000000e58 * pow(a, 0.8e1) * pow(x, 0.16e2) + 0.8526330006663931633785757927523118240655386848455200000000e58 * pow(a, 0.7e1) * pow(x, 0.14e2) - 0.14439752430640529379798461006289151859174445469158000000000e59 * pow(a, 0.6e1) * pow(x, 0.12e2) + 0.17598448274843145181629374351414903828368855415536312500000e59 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.14665373562369287651357811959512419856974046179613593750000e59 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.7764021297724916991895312213859516394868612683324843750000e58 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.2329206389317475097568593664157854918460583804997453125000e58 * a * a * pow(x, 0.4e1) + 0.323500887405204874662304675577479849786192195138535156250e57 * a * x * x - 0.13114900840751548972796135496384318234575359262373046875e56) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.90124912322097291039202873011448596903612199166948671488000000000e65;
  return retval;
}
```