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

```asm
<HO_70>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x208,%rsp
  movsd  %xmm0,0x8(%rsp)
  movsd  %xmm1,(%rsp)
  movsd  D410(%rip),%xmm1
  call   <pow@plt>
  movsd  %xmm0,0x10(%rsp)
  movsd  D130(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x18(%rsp)
  movsd  D607(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x20(%rsp)
  mov    D931(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x28(%rsp)
  movsd  D789(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x30(%rsp)
  movsd  D887(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x38(%rsp)
  movsd  D737(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x40(%rsp)
  mov    D844(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x48(%rsp)
  movsd  D22(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x50(%rsp)
  movsd  D1036(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x58(%rsp)
  movsd  D23(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x60(%rsp)
  mov    D681(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x68(%rsp)
  movsd  D590(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x70(%rsp)
  movsd  D215(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x78(%rsp)
  movsd  D1023(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x80(%rsp)
  mov    D594(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x88(%rsp)
  movsd  D826(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x90(%rsp)
  movsd  D51(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x98(%rsp)
  movsd  D100(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xa0(%rsp)
  mov    D527(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xa8(%rsp)
  movsd  D165(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xb0(%rsp)
  movsd  D494(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xb8(%rsp)
  movsd  D910(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xc0(%rsp)
  mov    D654(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xc8(%rsp)
  movsd  D98(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xd0(%rsp)
  movsd  D82(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xd8(%rsp)
  movsd  D21(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xe0(%rsp)
  mov    D554(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xe8(%rsp)
  movsd  D882(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xf0(%rsp)
  movsd  D217(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xf8(%rsp)
  movsd  D137(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x100(%rsp)
  mov    D1024(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x108(%rsp)
  movsd  D986(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x110(%rsp)
  movsd  D350(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x118(%rsp)
  movsd  D743(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x120(%rsp)
  mov    D240(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x128(%rsp)
  movsd  D440(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x130(%rsp)
  movsd  D965(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x138(%rsp)
  mov    D931(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x140(%rsp)
  mov    D574(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x148(%rsp)
  mov    D844(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x150(%rsp)
  movsd  D324(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x158(%rsp)
  mov    D681(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x160(%rsp)
  mov    D848(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x168(%rsp)
  mov    D594(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x170(%rsp)
  movsd  D774(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x178(%rsp)
  mov    D527(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x180(%rsp)
  mov    D757(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x188(%rsp)
  mov    D654(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x190(%rsp)
  movsd  D1089(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x198(%rsp)
  mov    D554(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1a0(%rsp)
  mov    D1049(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1a8(%rsp)
  mov    D1024(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1b0(%rsp)
  movsd  D32(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r15
  mov    D240(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1b8(%rsp)
  mov    D421(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r14
  mov    D574(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1c0(%rsp)
  movsd  D5(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r13
  mov    D848(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1c8(%rsp)
  mov    D1068(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1d0(%rsp)
  mov    D757(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1d8(%rsp)
  movsd  D303(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r12
  mov    D1049(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1e0(%rsp)
  mov    D555(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%rbp
  mov    D421(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1e8(%rsp)
  movsd  D396(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%rbx
  mov    D1068(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1f0(%rsp)
  mov    D555(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1f8(%rsp)
  movsd  0x8(%rsp),%xmm5
  xorpd  D486(%rip),%xmm5
  movapd %xmm5,%xmm0
  movsd  (%rsp),%xmm3
  mulsd  %xmm3,%xmm0
  mulsd  %xmm3,%xmm0
  mulsd  D1004(%rip),%xmm0
  call   <exp@plt>
  movapd %xmm0,%xmm2
  movsd  0x18(%rsp),%xmm1
  mulsd  D369(%rip),%xmm1
  mulsd  0x20(%rsp),%xmm1
  movsd  0x28(%rsp),%xmm0
  mulsd  D255(%rip),%xmm0
  mulsd  0x30(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x38(%rsp),%xmm0
  mulsd  D363(%rip),%xmm0
  mulsd  0x40(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x48(%rsp),%xmm0
  mulsd  D506(%rip),%xmm0
  mulsd  0x50(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x58(%rsp),%xmm0
  mulsd  D915(%rip),%xmm0
  mulsd  0x60(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x68(%rsp),%xmm0
  mulsd  D584(%rip),%xmm0
  mulsd  0x70(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x78(%rsp),%xmm0
  mulsd  D30(%rip),%xmm0
  mulsd  0x80(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x88(%rsp),%xmm0
  mulsd  D85(%rip),%xmm0
  mulsd  0x90(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x98(%rsp),%xmm0
  mulsd  D620(%rip),%xmm0
  mulsd  0xa0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0xa8(%rsp),%xmm0
  mulsd  D957(%rip),%xmm0
  mulsd  0xb0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0xb8(%rsp),%xmm0
  mulsd  D959(%rip),%xmm0
  mulsd  0xc0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0xc8(%rsp),%xmm0
  mulsd  D793(%rip),%xmm0
  mulsd  0xd0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0xd8(%rsp),%xmm0
  mulsd  D565(%rip),%xmm0
  mulsd  0xe0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0xe8(%rsp),%xmm0
  mulsd  D91(%rip),%xmm0
  mulsd  0xf0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0xf8(%rsp),%xmm0
  mulsd  D643(%rip),%xmm0
  mulsd  0x100(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x108(%rsp),%xmm0
  mulsd  D243(%rip),%xmm0
  mulsd  0x110(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x118(%rsp),%xmm0
  mulsd  D761(%rip),%xmm0
  mulsd  0x120(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x128(%rsp),%xmm0
  mulsd  D1021(%rip),%xmm0
  mulsd  0x130(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x138(%rsp),%xmm0
  mulsd  D861(%rip),%xmm0
  mulsd  0x140(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x148(%rsp),%xmm0
  mulsd  D115(%rip),%xmm0
  mulsd  0x150(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x158(%rsp),%xmm0
  mulsd  D785(%rip),%xmm0
  mulsd  0x160(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x168(%rsp),%xmm0
  mulsd  D305(%rip),%xmm0
  mulsd  0x170(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x178(%rsp),%xmm0
  mulsd  D1069(%rip),%xmm0
  mulsd  0x180(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x188(%rsp),%xmm0
  mulsd  D116(%rip),%xmm0
  mulsd  0x190(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x198(%rsp),%xmm0
  mulsd  D695(%rip),%xmm0
  mulsd  0x1a0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x1a8(%rsp),%xmm0
  mulsd  D487(%rip),%xmm0
  mulsd  0x1b0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movq   %r15,%xmm0
  mulsd  D596(%rip),%xmm0
  mulsd  0x1b8(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movq   %r14,%xmm0
  mulsd  D800(%rip),%xmm0
  mulsd  0x1c0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movq   %r13,%xmm0
  mulsd  D997(%rip),%xmm0
  mulsd  0x1c8(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x1d0(%rsp),%xmm0
  mulsd  D897(%rip),%xmm0
  mulsd  0x1d8(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movq   %r12,%xmm0
  mulsd  D669(%rip),%xmm0
  mulsd  0x1e0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movq   %rbp,%xmm0
  mulsd  D880(%rip),%xmm0
  mulsd  0x1e8(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movq   %rbx,%xmm0
  mulsd  D914(%rip),%xmm0
  mulsd  0x1f0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x8(%rsp),%xmm4
  movapd %xmm4,%xmm0
  mulsd  D732(%rip),%xmm0
  mulsd  %xmm4,%xmm0
  mulsd  0x1f8(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  mulsd  D812(%rip),%xmm4
  movapd %xmm4,%xmm0
  movsd  (%rsp),%xmm3
  mulsd  %xmm3,%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm1,%xmm0
  subsd  D64(%rip),%xmm0
  movsd  0x10(%rsp),%xmm1
  mulsd  D437(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  D107(%rip),%xmm0
  divsd  D220(%rip),%xmm0
  add    $0x208,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: disassemble_data
arguments: tag: D410
type_infered: byte[8]
name: disassemble_data
arguments: tag: D130
type_infered: f64
name: disassemble_data
arguments: tag: D607
type_infered: f64
name: disassemble_data
arguments: tag: D931
type_infered: f64
name: disassemble_data
arguments: tag: D789
type_infered: f64
name: disassemble_data
arguments: tag: D887
type_infered: f64
name: disassemble_data
arguments: tag: D737
type_infered: f64
name: disassemble_data
arguments: tag: D844
type_infered: f64
name: disassemble_data
arguments: tag: D22
type_infered: f64
name: disassemble_data
arguments: tag: D1036
type_infered: f64
name: disassemble_data
arguments: tag: D23
type_infered: f64
name: disassemble_data
arguments: tag: D681
type_infered: f64
name: disassemble_data
arguments: tag: D590
type_infered: f64
name: disassemble_data
arguments: tag: D215
type_infered: f64
name: disassemble_data
arguments: tag: D1023
type_infered: f64
name: disassemble_data
arguments: tag: D594
type_infered: f64
name: disassemble_data
arguments: tag: D826
type_infered: f64
name: disassemble_data
arguments: tag: D51
type_infered: f64
name: disassemble_data
arguments: tag: D100
type_infered: f64
name: disassemble_data
arguments: tag: D527
type_infered: f64
name: disassemble_data
arguments: tag: D165
type_infered: f64
name: disassemble_data
arguments: tag: D494
type_infered: f64
name: disassemble_data
arguments: tag: D910
type_infered: f64
name: disassemble_data
arguments: tag: D654
type_infered: f64
name: disassemble_data
arguments: tag: D98
type_infered: f64
name: disassemble_data
arguments: tag: D82
type_infered: f64
name: disassemble_data
arguments: tag: D21
type_infered: f64
name: disassemble_data
arguments: tag: D554
type_infered: f64
name: disassemble_data
arguments: tag: D882
type_infered: f64
name: disassemble_data
arguments: tag: D217
type_infered: f64
name: disassemble_data
arguments: tag: D137
type_infered: f64
name: disassemble_data
arguments: tag: D1024
type_infered: f64
name: disassemble_data
arguments: tag: D986
type_infered: f64
name: disassemble_data
arguments: tag: D350
type_infered: f64
name: disassemble_data
arguments: tag: D743
type_infered: f64
name: disassemble_data
arguments: tag: D240
type_infered: f64
name: disassemble_data
arguments: tag: D440
type_infered: f64
name: disassemble_data
arguments: tag: D965
type_infered: f64
name: disassemble_data
arguments: tag: D574
type_infered: f64
name: disassemble_data
arguments: tag: D324
type_infered: f64
name: disassemble_data
arguments: tag: D848
type_infered: f64
name: disassemble_data
arguments: tag: D774
type_infered: f64
name: disassemble_data
arguments: tag: D757
type_infered: f64
name: disassemble_data
arguments: tag: D1089
type_infered: f64
name: disassemble_data
arguments: tag: D1049
type_infered: f64
name: disassemble_data
arguments: tag: D32
type_infered: f64
name: disassemble_data
arguments: tag: D421
type_infered: f64
name: disassemble_data
arguments: tag: D5
type_infered: f64
name: disassemble_data
arguments: tag: D1068
type_infered: f64
name: disassemble_data
arguments: tag: D303
type_infered: f64
name: disassemble_data
arguments: tag: D555
type_infered: f64
name: disassemble_data
arguments: tag: D396
type_infered: f64
name: disassemble_data
arguments: tag: D486
type_infered: byte[16]
name: disassemble_data
arguments: tag: D1004
type_infered: byte[8]
name: disassemble_data
arguments: tag: D369
type_infered: f64
name: disassemble_data
arguments: tag: D255
type_infered: f64
name: disassemble_data
arguments: tag: D363
type_infered: f64
name: disassemble_data
arguments: tag: D506
type_infered: f64
name: disassemble_data
arguments: tag: D915
type_infered: f64
name: disassemble_data
arguments: tag: D584
type_infered: f64
name: disassemble_data
arguments: tag: D30
type_infered: f64
name: disassemble_data
arguments: tag: D85
type_infered: f64
name: disassemble_data
arguments: tag: D620
type_infered: f64
name: disassemble_data
arguments: tag: D957
type_infered: f64
name: disassemble_data
arguments: tag: D959
type_infered: f64
name: disassemble_data
arguments: tag: D793
type_infered: f64
name: disassemble_data
arguments: tag: D565
type_infered: f64
name: disassemble_data
arguments: tag: D91
type_infered: f64
name: disassemble_data
arguments: tag: D643
type_infered: f64
name: disassemble_data
arguments: tag: D243
type_infered: f64
name: disassemble_data
arguments: tag: D761
type_infered: f64
name: disassemble_data
arguments: tag: D1021
type_infered: f64
name: disassemble_data
arguments: tag: D861
type_infered: f64
name: disassemble_data
arguments: tag: D115
type_infered: f64
name: disassemble_data
arguments: tag: D785
type_infered: f64
name: disassemble_data
arguments: tag: D305
type_infered: f64
name: disassemble_data
arguments: tag: D1069
type_infered: f64
name: disassemble_data
arguments: tag: D116
type_infered: f64
name: disassemble_data
arguments: tag: D695
type_infered: f64
name: disassemble_data
arguments: tag: D487
type_infered: f64
name: disassemble_data
arguments: tag: D596
type_infered: f64
name: disassemble_data
arguments: tag: D800
type_infered: f64
name: disassemble_data
arguments: tag: D997
type_infered: f64
name: disassemble_data
arguments: tag: D897
type_infered: f64
name: disassemble_data
arguments: tag: D669
type_infered: f64
name: disassemble_data
arguments: tag: D880
type_infered: f64
name: disassemble_data
arguments: tag: D914
type_infered: f64
name: disassemble_data
arguments: tag: D732
type_infered: f64
name: disassemble_data
arguments: tag: D812
type_infered: f64
name: disassemble_data
arguments: tag: D64
type_infered: f64
name: disassemble_data
arguments: tag: D437
type_infered: byte[8]
name: disassemble_data
arguments: tag: D107
type_infered: byte[8]
name: disassemble_data
arguments: tag: D220
type_infered: f64

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

tool: D130: 35

tool: D607: 70

tool: D931: 34

tool: D789: 68

tool: D887: 33

tool: D737: 66

tool: D844: 32

tool: D22: 64

tool: D1036: 31

tool: D23: 62

tool: D681: 30

tool: D590: 60

tool: D215: 29

tool: D1023: 58

tool: D594: 28

tool: D826: 56

tool: D51: 27

tool: D100: 54

tool: D527: 26

tool: D165: 52

tool: D494: 25

tool: D910: 50

tool: D654: 24

tool: D98: 48

tool: D82: 23

tool: D21: 46

tool: D554: 22

tool: D882: 44

tool: D217: 21

tool: D137: 42

tool: D1024: 20

tool: D986: 40

tool: D350: 19

tool: D743: 38

tool: D240: 18

tool: D440: 36

tool: D965: 17

tool: D574: 16

tool: D324: 15

tool: D848: 14

tool: D774: 13

tool: D757: 12

tool: D1089: 11

tool: D1049: 10

tool: D32: 9

tool: D421: 8

tool: D5: 7

tool: D1068: 6

tool: D303: 5

tool: D555: 4

tool: D396: 3

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

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

tool: D369: 34359738368

tool: D255: 41489384079360

tool: D363: 2.362820423319552e+16

tool: D506: 8.447083013367398e+18

tool: D915: 2.1286649193685844e+21

tool: D584: 4.025305362525993e+23

tool: D30: 5.937325409725839e+25

tool: D85: 7.010284930197724e+27

tool: D620: 6.747399245315309e+29

tool: D957: 5.364182400025671e+31

tool: D959: 3.55645293121702e+33

tool: D793: 1.9802976548822043e+35

tool: D565: 9.30739897794636e+36

tool: D91: 3.7050607469901856e+38

tool: D643: 1.2517812380902556e+40

tool: D243: 3.5926121533190335e+41

tool: D761: 8.756992123715144e+42

tool: D1021: 1.810636900874043e+44

tool: D861: 3.168614576529575e+45

tool: D115: 4.677875730087084e+46

tool: D785: 5.800565905307983e+47

tool: D305: 6.007728973354697e+48

tool: D1069: 5.161185345291081e+49

tool: D116: 3.6464896461295677e+50

tool: D695: 2.0967315465245014e+51

tool: D487: 9.686899744943197e+51

tool: D596: 3.539444137575399e+52

tool: D800: 1.002842505646363e+53

tool: D997: 2.1489482263850636e+53

tool: D897: 3.371625665535186e+53

tool: D669: 3.7087882320887044e+53

tool: D880: 2.6918624265159953e+53

tool: D914: 1.177689811600748e+53

tool: D732: 2.6765677536380634e+52

tool: D812: 2.361677429680644e+51

tool: D64: 3.3738248995437775e+49

tool: {"D437": [0x5b,0x13,0x7b,0x2b,0x16,0x4e,0xda,0x41]}

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

tool: D220: 1.9320623474628014e+59

assistant: ```c
double HO_70(const double a, const double x) {
  double retval = sqrt(0.3116285494907301262e19) * pow(a, 0.1e1 / 0.4e1) * (0.34359738368e11 * pow(a, 0.35e2) * pow(x, 0.70e2) - 0.41489384079360e14 * pow(a, 0.34e2) * pow(x, 0.68e2) + 0.23628204233195520e17 * pow(a, 0.33e2) * pow(x, 0.66e2) - 0.8447083013367398400e19 * pow(a, 0.32e2) * pow(x, 0.64e2) + 0.2128664919368584396800e22 * pow(a, 0.31e2) * pow(x, 0.62e2) - 0.402530536252599309434880e24 * pow(a, 0.30e2) * pow(x, 0.60e2) + 0.59373254097258398141644800e26 * pow(a, 0.29e2) * pow(x, 0.58e2) - 0.7010284930197723723438489600e28 * pow(a, 0.28e2) * pow(x, 0.56e2) + 0.674739924531530908380954624000e30 * pow(a, 0.27e2) * pow(x, 0.54e2) - 0.53641824000256707216285892608000e32 * pow(a, 0.26e2) * pow(x, 0.52e2) + 0.3556452931217019688439754679910400e34 * pow(a, 0.25e2) * pow(x, 0.50e2) - 0.198029765488220414469940885585920000e36 * pow(a, 0.24e2) * pow(x, 0.48e2) + 0.9307398977946359480087221622538240000e37 * pow(a, 0.23e2) * pow(x, 0.46e2) - 0.370506074699018540841933629974118400000e39 * pow(a, 0.22e2) * pow(x, 0.44e2) + 0.12517812380902554987016757641268428800000e41 * pow(a, 0.21e2) * pow(x, 0.42e2) - 0.359261215331903328127380944304403906560000e42 * pow(a, 0.20e2) * pow(x, 0.40e2) + 0.8756992123715143623104910517419845222400000e43 * pow(a, 0.19e2) * pow(x, 0.38e2) - 0.181063690087404293148316238051357387980800000e45 * pow(a, 0.18e2) * pow(x, 0.36e2) + 0.3168614576529575130095534165898754289664000000e46 * pow(a, 0.17e2) * pow(x, 0.34e2) - 0.46778757300870832841673543870242135697408000000e47 * pow(a, 0.16e2) * pow(x, 0.32e2) + 0.580056590530798327236751943991002482647859200000e48 * pow(a, 0.15e2) * pow(x, 0.30e2) - 0.6007728973354696960666359419906811427424256000000e49 * pow(a, 0.14e2) * pow(x, 0.28e2) + 0.51611853452910805707542815016472152717417472000000e50 * pow(a, 0.13e2) * pow(x, 0.26e2) - 0.364648964612956779455465540877248905068710400000000e51 * pow(a, 0.12e2) * pow(x, 0.24e2) + 0.2096731546524501481868926860044181204145084800000000e52 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.9686899744943196846234442093404117163150291776000000e52 * pow(a, 0.10e2) * pow(x, 0.20e2) + 0.35394441375753988476625846110515043480741450720000000e53 * pow(a, 0.9e1) * pow(x, 0.18e2) - 0.100284250564636300683773230646459289862100777040000000e54 * pow(a, 0.8e1) * pow(x, 0.16e2) + 0.214894822638506358608085494242412763990215950800000000e54 * pow(a, 0.7e1) * pow(x, 0.14e2) - 0.337162566553518597126478965104475198674304336600000000e54 * pow(a, 0.6e1) * pow(x, 0.12e2) + 0.370878823208870456839126861614922718541734770260000000e54 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.269186242651599525125172722139863263457710720350000000e54 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.117768981160074792242263065936190177762748440153125000e54 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.26765677536380634600514333167315949491533736398437500e53 * a * a * pow(x, 0.4e1) + 0.2361677429680644229457147044174936719841212035156250e52 * a * x * x - 0.33738248995437774706530672059641953140588743359375e50) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.193206234746280127423420312156084200277857523885670400000000e60;
  return retval;
}
```