user: 下面的汇编指令对应的C源代码是什么:

```asm
<HO_75>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x228,%rsp
  movsd  %xmm1,(%rsp)
  movsd  D836(%rip),%xmm1
  movsd  %xmm0,0x8(%rsp)
  call   <pow@plt>
  movsd  D77(%rip),%xmm1
  movq   %xmm0,%rbx
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1121(%rip),%xmm1
  movq   %xmm0,%r14
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D818(%rip),%xmm15
  movsd  %xmm0,0x10(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm15,%xmm1
  call   <pow@plt>
  movsd  D325(%rip),%xmm1
  movsd  %xmm0,0x218(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D850(%rip),%xmm1
  movsd  %xmm0,0x18(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D938(%rip),%xmm1
  movq   %xmm0,%r15
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D939(%rip),%xmm14
  movsd  %xmm0,0x20(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  movsd  D640(%rip),%xmm1
  movsd  %xmm0,0x210(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D886(%rip),%xmm1
  movsd  %xmm0,0x28(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D925(%rip),%xmm1
  movq   %xmm0,%rbp
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D222(%rip),%xmm13
  movsd  %xmm0,0x30(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm13,%xmm1
  call   <pow@plt>
  movsd  D895(%rip),%xmm1
  movsd  %xmm0,0x208(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D195(%rip),%xmm1
  movsd  %xmm0,0x38(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D619(%rip),%xmm1
  movsd  %xmm0,0x200(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D708(%rip),%xmm12
  movsd  %xmm0,0x40(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  movsd  D993(%rip),%xmm1
  movq   %xmm0,%r12
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D380(%rip),%xmm1
  movsd  %xmm0,0x48(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D441(%rip),%xmm1
  movq   %xmm0,%r13
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D369(%rip),%xmm11
  movsd  %xmm0,0x50(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm11,%xmm1
  call   <pow@plt>
  movsd  D888(%rip),%xmm1
  movsd  %xmm0,0x58(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D722(%rip),%xmm1
  movsd  %xmm0,0x60(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D236(%rip),%xmm1
  movsd  %xmm0,0x68(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D409(%rip),%xmm10
  movsd  %xmm0,0x70(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  movsd  D712(%rip),%xmm1
  movsd  %xmm0,0x78(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D474(%rip),%xmm1
  movsd  %xmm0,0x80(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D281(%rip),%xmm1
  movsd  %xmm0,0x88(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D999(%rip),%xmm9
  movsd  %xmm0,0x90(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm9,%xmm1
  call   <pow@plt>
  movsd  D458(%rip),%xmm1
  movsd  %xmm0,0x98(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1068(%rip),%xmm1
  movsd  %xmm0,0xa0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D345(%rip),%xmm1
  movsd  %xmm0,0xa8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D649(%rip),%xmm8
  movsd  %xmm0,0xb0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  movsd  D495(%rip),%xmm1
  movsd  %xmm0,0xb8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D49(%rip),%xmm1
  movsd  %xmm0,0xc0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D291(%rip),%xmm1
  movsd  %xmm0,0xc8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D201(%rip),%xmm7
  movsd  %xmm0,0xd0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm7,%xmm1
  call   <pow@plt>
  movsd  D684(%rip),%xmm1
  movsd  %xmm0,0xd8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D590(%rip),%xmm1
  movsd  %xmm0,0xe0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D336(%rip),%xmm1
  movsd  %xmm0,0xe8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D713(%rip),%xmm6
  movsd  %xmm0,0xf0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm6,%xmm1
  call   <pow@plt>
  mov    D818(%rip),%rax
  movsd  %xmm0,0xf8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D578(%rip),%xmm1
  movsd  %xmm0,0x100(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D939(%rip),%rax
  movsd  %xmm0,0x1f8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D675(%rip),%xmm14
  movsd  %xmm0,0x108(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  mov    D222(%rip),%rax
  movsd  %xmm0,0x110(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D769(%rip),%xmm1
  movsd  %xmm0,0x118(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D708(%rip),%rax
  movsd  %xmm0,0x1f0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D782(%rip),%xmm12
  movsd  %xmm0,0x120(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  mov    D369(%rip),%rax
  movsd  %xmm0,0x128(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1070(%rip),%xmm1
  movsd  %xmm0,0x130(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D409(%rip),%rax
  movsd  %xmm0,0x1e8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D112(%rip),%xmm10
  movsd  %xmm0,0x138(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  mov    D999(%rip),%rax
  movsd  %xmm0,0x140(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D71(%rip),%xmm1
  movsd  %xmm0,0x148(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D649(%rip),%rax
  movsd  %xmm0,0x1e0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D72(%rip),%xmm8
  movsd  %xmm0,0x150(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  mov    D201(%rip),%rax
  movsd  %xmm0,0x158(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D272(%rip),%xmm1
  movsd  %xmm0,0x160(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D713(%rip),%rax
  movsd  %xmm0,0x168(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D793(%rip),%xmm6
  movsd  %xmm0,0x170(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm6,%xmm1
  call   <pow@plt>
  mov    D675(%rip),%rax
  movsd  %xmm0,0x178(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D382(%rip),%xmm1
  movsd  %xmm0,0x180(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D782(%rip),%rax
  movsd  %xmm0,0x1d8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1094(%rip),%xmm7
  movsd  %xmm0,0x188(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm7,%xmm1
  call   <pow@plt>
  mov    D112(%rip),%rax
  movsd  %xmm0,0x1d0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D981(%rip),%xmm1
  movsd  %xmm0,0x190(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D72(%rip),%rax
  movsd  %xmm0,0x1c8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D633(%rip),%xmm8
  movsd  %xmm0,0x198(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  mov    D793(%rip),%rax
  movsd  %xmm0,0x1a0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D257(%rip),%xmm1
  movsd  %xmm0,0x1a8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1094(%rip),%rax
  movsd  %xmm0,0x1c0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D633(%rip),%rax
  movsd  %xmm0,0x1b0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  0x8(%rsp),%xmm7
  movsd  (%rsp),%xmm3
  xorpd  D588(%rip),%xmm7
  movsd  %xmm0,0x1b8(%rsp)
  movapd %xmm7,%xmm0
  mulsd  %xmm3,%xmm0
  mulsd  %xmm3,%xmm0
  mulsd  D156(%rip),%xmm0
  call   <exp@plt>
  movq   %r14,%xmm1
  movsd  0x218(%rsp),%xmm4
  movsd  0x210(%rsp),%xmm3
  mulsd  D344(%rip),%xmm1
  movsd  0x208(%rsp),%xmm2
  mulsd  D513(%rip),%xmm4
  movsd  0x200(%rsp),%xmm5
  mulsd  0x18(%rsp),%xmm4
  mulsd  0x10(%rsp),%xmm1
  mulsd  D559(%rip),%xmm3
  mulsd  0x28(%rsp),%xmm3
  mulsd  D1145(%rip),%xmm2
  mulsd  0x38(%rsp),%xmm2
  subsd  %xmm4,%xmm1
  movq   %r15,%xmm4
  mulsd  D366(%rip),%xmm4
  mulsd  0x20(%rsp),%xmm4
  mulsd  D842(%rip),%xmm5
  mulsd  0x40(%rsp),%xmm5
  addsd  %xmm4,%xmm1
  movq   %rbp,%xmm4
  mulsd  D78(%rip),%xmm4
  subsd  %xmm3,%xmm1
  movsd  0x30(%rsp),%xmm3
  mulsd  %xmm4,%xmm3
  addsd  %xmm3,%xmm1
  subsd  %xmm2,%xmm1
  movq   %r12,%xmm2
  mulsd  D1009(%rip),%xmm2
  mulsd  0x48(%rsp),%xmm2
  addsd  %xmm5,%xmm1
  subsd  %xmm2,%xmm1
  movq   %r13,%xmm2
  mulsd  D742(%rip),%xmm2
  mulsd  0x50(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x58(%rsp),%xmm2
  mulsd  D813(%rip),%xmm2
  mulsd  0x60(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x68(%rsp),%xmm2
  mulsd  D916(%rip),%xmm2
  mulsd  0x70(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x78(%rsp),%xmm2
  mulsd  D204(%rip),%xmm2
  mulsd  0x80(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x88(%rsp),%xmm2
  mulsd  D920(%rip),%xmm2
  mulsd  0x90(%rsp),%xmm2
  movsd  0x1f8(%rsp),%xmm15
  mulsd  D22(%rip),%xmm15
  movsd  0x1f0(%rsp),%xmm13
  mulsd  0x108(%rsp),%xmm15
  mulsd  D371(%rip),%xmm13
  mulsd  0x120(%rsp),%xmm13
  addsd  %xmm2,%xmm1
  movsd  0x98(%rsp),%xmm2
  mulsd  D1120(%rip),%xmm2
  mulsd  0xa0(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xa8(%rsp),%xmm2
  mulsd  D63(%rip),%xmm2
  mulsd  0xb0(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xb8(%rsp),%xmm2
  mulsd  D554(%rip),%xmm2
  mulsd  0xc0(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xc8(%rsp),%xmm2
  mulsd  D396(%rip),%xmm2
  mulsd  0xd0(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xd8(%rsp),%xmm2
  mulsd  D106(%rip),%xmm2
  mulsd  0xe0(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xe8(%rsp),%xmm2
  mulsd  D43(%rip),%xmm2
  mulsd  0xf0(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xf8(%rsp),%xmm2
  mulsd  D796(%rip),%xmm2
  mulsd  0x100(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x110(%rsp),%xmm2
  mulsd  D795(%rip),%xmm2
  mulsd  0x118(%rsp),%xmm2
  addsd  %xmm15,%xmm1
  subsd  %xmm2,%xmm1
  movsd  0x128(%rsp),%xmm2
  mulsd  D160(%rip),%xmm2
  mulsd  0x130(%rsp),%xmm2
  movsd  0x1e8(%rsp),%xmm11
  mulsd  D719(%rip),%xmm11
  movsd  0x1e0(%rsp),%xmm9
  mulsd  0x138(%rsp),%xmm11
  addsd  %xmm13,%xmm1
  movsd  0x1d8(%rsp),%xmm14
  mulsd  D164(%rip),%xmm9
  movsd  0x1d0(%rsp),%xmm12
  mulsd  0x150(%rsp),%xmm9
  movsd  0x1c8(%rsp),%xmm10
  mulsd  D1007(%rip),%xmm14
  subsd  %xmm2,%xmm1
  movsd  0x140(%rsp),%xmm2
  mulsd  D726(%rip),%xmm2
  mulsd  0x148(%rsp),%xmm2
  mulsd  0x188(%rsp),%xmm14
  addsd  %xmm11,%xmm1
  mulsd  D756(%rip),%xmm12
  mulsd  0x190(%rsp),%xmm12
  mulsd  D820(%rip),%xmm10
  mulsd  0x198(%rsp),%xmm10
  subsd  %xmm2,%xmm1
  movsd  0x158(%rsp),%xmm2
  mulsd  D817(%rip),%xmm2
  mulsd  0x160(%rsp),%xmm2
  addsd  %xmm9,%xmm1
  subsd  %xmm2,%xmm1
  movsd  0x168(%rsp),%xmm2
  mulsd  D534(%rip),%xmm2
  mulsd  0x170(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x178(%rsp),%xmm2
  mulsd  D377(%rip),%xmm2
  mulsd  0x180(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x1a0(%rsp),%xmm2
  mulsd  D414(%rip),%xmm2
  mulsd  0x1a8(%rsp),%xmm2
  movsd  0x8(%rsp),%xmm5
  movsd  0x1c0(%rsp),%xmm6
  movsd  (%rsp),%xmm3
  addsd  %xmm14,%xmm1
  mulsd  D704(%rip),%xmm6
  mulsd  0x1b0(%rsp),%xmm6
  subsd  %xmm12,%xmm1
  addsd  %xmm10,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D823(%rip),%xmm2
  mulsd  %xmm5,%xmm2
  addsd  %xmm1,%xmm6
  mulsd  %xmm5,%xmm2
  mulsd  D764(%rip),%xmm5
  mulsd  0x1b8(%rsp),%xmm2
  movapd %xmm5,%xmm1
  mulsd  %xmm3,%xmm1
  subsd  %xmm2,%xmm6
  movq   %rbx,%xmm2
  mulsd  D505(%rip),%xmm2
  mulsd  %xmm3,%xmm1
  mulsd  %xmm3,%xmm2
  addsd  %xmm6,%xmm1
  subsd  D773(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  D44(%rip),%xmm0
  divsd  D1095(%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: D836
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D77
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1121
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D818
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D325
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D850
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D938
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D939
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D640
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D886
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D925
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D222
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D895
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D195
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D619
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D708
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D993
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D380
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D441
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D369
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D888
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D722
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D236
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D409
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D712
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D474
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D281
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D999
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D458
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1068
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D345
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D649
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D495
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D49
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D291
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D201
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D684
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D590
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D336
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D713
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D578
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D675
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D769
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D782
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1070
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D112
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D71
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D72
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D272
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D793
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D382
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1094
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D981
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D633
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D257
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D588
type_guessed: byte[16]
name: extract_symbolic_data
arguments: data_label: D156
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D344
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D513
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D559
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1145
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D366
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D842
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D78
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1009
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D742
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D813
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D916
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D204
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D920
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D22
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D371
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1120
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D63
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D554
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D396
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D106
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D43
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D796
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D795
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D160
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D719
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D164
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1007
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D726
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D756
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D820
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D817
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D534
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D377
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D414
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D704
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D823
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D764
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D505
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D773
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D44
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D1095
type_guessed: f64

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

tool: D77: 37

tool: D1121: 74

tool: D818: 36

tool: D325: 72

tool: D850: 35

tool: D938: 70

tool: D939: 34

tool: D640: 68

tool: D886: 33

tool: D925: 66

tool: D222: 32

tool: D895: 64

tool: D195: 31

tool: D619: 62

tool: D708: 30

tool: D993: 60

tool: D380: 29

tool: D441: 58

tool: D369: 28

tool: D888: 56

tool: D722: 27

tool: D236: 54

tool: D409: 26

tool: D712: 52

tool: D474: 25

tool: D281: 50

tool: D999: 24

tool: D458: 48

tool: D1068: 23

tool: D345: 46

tool: D649: 22

tool: D495: 44

tool: D49: 21

tool: D291: 42

tool: D201: 20

tool: D684: 40

tool: D590: 19

tool: D336: 38

tool: D713: 18

tool: D578: 17

tool: D675: 16

tool: D769: 15

tool: D782: 14

tool: D1070: 13

tool: D112: 12

tool: D71: 11

tool: D72: 10

tool: D272: 9

tool: D793: 8

tool: D382: 7

tool: D1094: 6

tool: D981: 5

tool: D633: 4

tool: D257: 3

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

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

tool: D344: 137438953472

tool: D513: 190696547942400

tool: D559: 5.188996091923661e+19

tool: D1145: 3.3644192328480725e+24

tool: D366: 1.252876319981568e+17

tool: D842: 5.8316600036033253e+26

tool: D78: 1.5216731039566135e+22

tool: D1009: 8.13516570502664e+28

tool: D742: 9.304595775124218e+30

tool: D813: 8.844535206243077e+32

tool: D916: 7.0579390945819755e+34

tool: D204: 4.764108888842833e+36

tool: D920: 2.735392520343927e+38

tool: D22: 1.233571911338544e+50

tool: D371: 2.0970722492755247e+52

tool: D1120: 1.3413944090148101e+40

tool: D63: 5.633856517862203e+41

tool: D554: 2.030066298603014e+43

tool: D396: 6.280517611303074e+44

tool: D106: 1.6680315891196105e+46

tool: D43: 3.7994052863280015e+47

tool: D796: 7.408840308339604e+48

tool: D795: 1.747560207729604e+51

tool: D160: 2.1198665128546064e+53

tool: D719: 1.7930537587895213e+54

tool: D164: 7.261867723097562e+55

tool: D1007: 8.526330006663932e+57

tool: D726: 1.258723738670244e+55

tool: D756: 1.4439752430640528e+58

tool: D820: 1.7598448274843145e+58

tool: D817: 3.4023195073031166e+56

tool: D534: 1.2758698152386688e+57

tool: D377: 3.761616179410558e+57

tool: D414: 1.4665373562369288e+58

tool: D704: 7.764021297724917e+57

tool: D823: 2.329206389317475e+57

tool: D764: 3.2350088740520488e+56

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

tool: D773: 1.3114900840751548e+55

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

tool: D1095: 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;
}
```