user: What is the c source code of the assembly code below?

```asm
<HO_70>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x208,%rsp
  movsd  %xmm1,(%rsp)
  movsd  D512(%rip),%xmm1
  movsd  %xmm0,0x8(%rsp)
  call   <pow@plt>
  movsd  D1026(%rip),%xmm1
  movq   %xmm0,%rbx
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D466(%rip),%xmm1
  movq   %xmm0,%r14
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1055(%rip),%xmm7
  movsd  %xmm0,0x10(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm7,%xmm1
  call   <pow@plt>
  movsd  D253(%rip),%xmm1
  movsd  %xmm0,0x1f8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D228(%rip),%xmm1
  movsd  %xmm0,0x18(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D118(%rip),%xmm1
  movq   %xmm0,%r15
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D264(%rip),%xmm15
  movsd  %xmm0,0x20(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm15,%xmm1
  call   <pow@plt>
  movsd  D438(%rip),%xmm1
  movsd  %xmm0,0x1f0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1022(%rip),%xmm1
  movsd  %xmm0,0x28(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D722(%rip),%xmm1
  movq   %xmm0,%rbp
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D653(%rip),%xmm14
  movsd  %xmm0,0x30(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  movsd  D501(%rip),%xmm1
  movsd  %xmm0,0x1e8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D344(%rip),%xmm1
  movsd  %xmm0,0x38(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1058(%rip),%xmm1
  movsd  %xmm0,0x1e0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D176(%rip),%xmm13
  movsd  %xmm0,0x40(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm13,%xmm1
  call   <pow@plt>
  movsd  D743(%rip),%xmm1
  movsd  %xmm0,0x1d8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D25(%rip),%xmm1
  movsd  %xmm0,0x48(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D998(%rip),%xmm1
  movq   %xmm0,%r12
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1081(%rip),%xmm12
  movsd  %xmm0,0x50(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  movsd  D813(%rip),%xmm1
  movq   %xmm0,%r13
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D401(%rip),%xmm1
  movsd  %xmm0,0x58(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D235(%rip),%xmm1
  movsd  %xmm0,0x60(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D719(%rip),%xmm11
  movsd  %xmm0,0x68(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm11,%xmm1
  call   <pow@plt>
  movsd  D583(%rip),%xmm1
  movsd  %xmm0,0x70(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D599(%rip),%xmm1
  movsd  %xmm0,0x78(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D247(%rip),%xmm1
  movsd  %xmm0,0x80(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D716(%rip),%xmm10
  movsd  %xmm0,0x88(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  movsd  D181(%rip),%xmm1
  movsd  %xmm0,0x90(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D489(%rip),%xmm1
  movsd  %xmm0,0x98(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D450(%rip),%xmm1
  movsd  %xmm0,0xa0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1016(%rip),%xmm9
  movsd  %xmm0,0xa8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm9,%xmm1
  call   <pow@plt>
  movsd  D966(%rip),%xmm1
  movsd  %xmm0,0xb0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D550(%rip),%xmm1
  movsd  %xmm0,0xb8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D820(%rip),%xmm1
  movsd  %xmm0,0xc0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D424(%rip),%xmm8
  movsd  %xmm0,0xc8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  movsd  D848(%rip),%xmm1
  movsd  %xmm0,0xd0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D467(%rip),%xmm1
  movsd  %xmm0,0xd8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1055(%rip),%rax
  movsd  %xmm0,0xe0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1059(%rip),%xmm7
  movsd  %xmm0,0xe8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm7,%xmm1
  call   <pow@plt>
  mov    D264(%rip),%rax
  movsd  %xmm0,0xf0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D893(%rip),%xmm1
  movsd  %xmm0,0xf8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D653(%rip),%rax
  movsd  %xmm0,0x1d0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D132(%rip),%xmm14
  movsd  %xmm0,0x100(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  mov    D176(%rip),%rax
  movsd  %xmm0,0x108(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D872(%rip),%xmm1
  movsd  %xmm0,0x110(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1081(%rip),%rax
  movsd  %xmm0,0x1c8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D878(%rip),%xmm12
  movsd  %xmm0,0x118(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  mov    D719(%rip),%rax
  movsd  %xmm0,0x120(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D249(%rip),%xmm1
  movsd  %xmm0,0x128(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D716(%rip),%rax
  movsd  %xmm0,0x1c0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D255(%rip),%xmm10
  movsd  %xmm0,0x130(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  mov    D1016(%rip),%rax
  movsd  %xmm0,0x138(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D987(%rip),%xmm1
  movsd  %xmm0,0x140(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D424(%rip),%rax
  movsd  %xmm0,0x148(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D199(%rip),%xmm8
  movsd  %xmm0,0x150(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  mov    D1059(%rip),%rax
  movsd  %xmm0,0x158(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D252(%rip),%xmm1
  movsd  %xmm0,0x160(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D132(%rip),%rax
  movsd  %xmm0,0x168(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D828(%rip),%xmm7
  movsd  %xmm0,0x170(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm7,%xmm1
  call   <pow@plt>
  mov    D878(%rip),%rax
  movsd  %xmm0,0x1b8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D843(%rip),%xmm1
  movsd  %xmm0,0x178(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D255(%rip),%rax
  movsd  %xmm0,0x1b0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D309(%rip),%xmm9
  movsd  %xmm0,0x180(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm9,%xmm1
  call   <pow@plt>
  mov    D199(%rip),%rax
  movsd  %xmm0,0x1a8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D372(%rip),%xmm1
  movsd  %xmm0,0x188(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D828(%rip),%rax
  movsd  %xmm0,0x1a0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D309(%rip),%rax
  movsd  %xmm0,0x190(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  0x8(%rsp),%xmm6
  movsd  (%rsp),%xmm4
  xorpd  D916(%rip),%xmm6
  movsd  %xmm0,0x198(%rsp)
  movapd %xmm6,%xmm0
  mulsd  %xmm4,%xmm0
  mulsd  %xmm4,%xmm0
  mulsd  D737(%rip),%xmm0
  call   <exp@plt>
  movq   %r14,%xmm1
  movsd  0x1f8(%rsp),%xmm5
  movsd  0x1f0(%rsp),%xmm4
  mulsd  D851(%rip),%xmm1
  movsd  0x1e8(%rsp),%xmm3
  mulsd  D755(%rip),%xmm5
  movsd  0x1e0(%rsp),%xmm6
  mulsd  0x18(%rsp),%xmm5
  movsd  0x1d8(%rsp),%xmm2
  mulsd  0x10(%rsp),%xmm1
  mulsd  D717(%rip),%xmm4
  mulsd  0x28(%rsp),%xmm4
  mulsd  D77(%rip),%xmm3
  mulsd  0x38(%rsp),%xmm3
  subsd  %xmm5,%xmm1
  movq   %r15,%xmm5
  mulsd  D180(%rip),%xmm5
  mulsd  0x20(%rsp),%xmm5
  mulsd  D6(%rip),%xmm6
  mulsd  0x40(%rsp),%xmm6
  mulsd  D1042(%rip),%xmm2
  mulsd  0x48(%rsp),%xmm2
  addsd  %xmm5,%xmm1
  movq   %rbp,%xmm5
  mulsd  D764(%rip),%xmm5
  subsd  %xmm4,%xmm1
  movsd  0x30(%rsp),%xmm4
  mulsd  %xmm5,%xmm4
  addsd  %xmm4,%xmm1
  subsd  %xmm3,%xmm1
  addsd  %xmm6,%xmm1
  subsd  %xmm2,%xmm1
  movq   %r12,%xmm2
  mulsd  D137(%rip),%xmm2
  mulsd  0x50(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movq   %r13,%xmm2
  mulsd  D537(%rip),%xmm2
  mulsd  0x58(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x60(%rsp),%xmm2
  mulsd  D505(%rip),%xmm2
  mulsd  0x68(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x70(%rsp),%xmm2
  mulsd  D304(%rip),%xmm2
  mulsd  0x78(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x80(%rsp),%xmm2
  mulsd  D291(%rip),%xmm2
  mulsd  0x88(%rsp),%xmm2
  movsd  0x1d0(%rsp),%xmm15
  mulsd  D528(%rip),%xmm15
  movsd  0x1c8(%rsp),%xmm13
  mulsd  0x100(%rsp),%xmm15
  mulsd  D354(%rip),%xmm13
  mulsd  0x118(%rsp),%xmm13
  addsd  %xmm2,%xmm1
  movsd  0x90(%rsp),%xmm2
  mulsd  D403(%rip),%xmm2
  mulsd  0x98(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xa0(%rsp),%xmm2
  mulsd  D740(%rip),%xmm2
  mulsd  0xa8(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xb0(%rsp),%xmm2
  mulsd  D748(%rip),%xmm2
  mulsd  0xb8(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xc0(%rsp),%xmm2
  mulsd  D950(%rip),%xmm2
  mulsd  0xc8(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xd0(%rsp),%xmm2
  mulsd  D935(%rip),%xmm2
  mulsd  0xd8(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xe0(%rsp),%xmm2
  mulsd  D59(%rip),%xmm2
  mulsd  0xe8(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xf0(%rsp),%xmm2
  mulsd  D145(%rip),%xmm2
  mulsd  0xf8(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x108(%rsp),%xmm2
  mulsd  D797(%rip),%xmm2
  mulsd  0x110(%rsp),%xmm2
  addsd  %xmm15,%xmm1
  subsd  %xmm2,%xmm1
  movsd  0x120(%rsp),%xmm2
  mulsd  D660(%rip),%xmm2
  mulsd  0x128(%rsp),%xmm2
  movsd  0x8(%rsp),%xmm3
  movsd  0x1c0(%rsp),%xmm11
  mulsd  D787(%rip),%xmm11
  mulsd  0x130(%rsp),%xmm11
  addsd  %xmm13,%xmm1
  movsd  0x1b8(%rsp),%xmm14
  mulsd  D663(%rip),%xmm14
  movsd  0x1b0(%rsp),%xmm12
  mulsd  0x178(%rsp),%xmm14
  movsd  0x1a8(%rsp),%xmm10
  mulsd  D491(%rip),%xmm12
  subsd  %xmm2,%xmm1
  movsd  0x138(%rsp),%xmm2
  mulsd  D584(%rip),%xmm2
  movsd  0x1a0(%rsp),%xmm8
  mulsd  0x140(%rsp),%xmm2
  mulsd  0x180(%rsp),%xmm12
  addsd  %xmm11,%xmm1
  mulsd  D448(%rip),%xmm10
  mulsd  0x188(%rsp),%xmm10
  mulsd  D407(%rip),%xmm8
  mulsd  0x190(%rsp),%xmm8
  subsd  %xmm2,%xmm1
  movsd  0x148(%rsp),%xmm2
  mulsd  D78(%rip),%xmm2
  mulsd  0x150(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x158(%rsp),%xmm2
  mulsd  D308(%rip),%xmm2
  mulsd  0x160(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x168(%rsp),%xmm2
  mulsd  D681(%rip),%xmm2
  mulsd  0x170(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  D672(%rip),%xmm2
  mulsd  %xmm3,%xmm2
  subsd  %xmm14,%xmm1
  addsd  %xmm12,%xmm1
  mulsd  %xmm3,%xmm2
  mulsd  0x198(%rsp),%xmm2
  movsd  (%rsp),%xmm6
  mulsd  D875(%rip),%xmm3
  subsd  %xmm10,%xmm1
  addsd  %xmm1,%xmm8
  movapd %xmm3,%xmm1
  mulsd  %xmm6,%xmm1
  subsd  %xmm2,%xmm8
  movq   %rbx,%xmm2
  mulsd  D891(%rip),%xmm2
  mulsd  %xmm6,%xmm1
  addsd  %xmm8,%xmm1
  subsd  D696(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  D1074(%rip),%xmm0
  divsd  D827(%rip),%xmm0
  add    $0x208,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: disassemble_data
arguments: label: D512
type_infered: byte[8]
name: disassemble_data
arguments: label: D1026
type_infered: f64
name: disassemble_data
arguments: label: D466
type_infered: f64
name: disassemble_data
arguments: label: D1055
type_infered: f64
name: disassemble_data
arguments: label: D253
type_infered: f64
name: disassemble_data
arguments: label: D228
type_infered: f64
name: disassemble_data
arguments: label: D118
type_infered: f64
name: disassemble_data
arguments: label: D264
type_infered: f64
name: disassemble_data
arguments: label: D438
type_infered: f64
name: disassemble_data
arguments: label: D1022
type_infered: f64
name: disassemble_data
arguments: label: D722
type_infered: f64
name: disassemble_data
arguments: label: D653
type_infered: f64
name: disassemble_data
arguments: label: D501
type_infered: f64
name: disassemble_data
arguments: label: D344
type_infered: f64
name: disassemble_data
arguments: label: D1058
type_infered: f64
name: disassemble_data
arguments: label: D176
type_infered: f64
name: disassemble_data
arguments: label: D743
type_infered: f64
name: disassemble_data
arguments: label: D25
type_infered: f64
name: disassemble_data
arguments: label: D998
type_infered: f64
name: disassemble_data
arguments: label: D1081
type_infered: f64
name: disassemble_data
arguments: label: D813
type_infered: f64
name: disassemble_data
arguments: label: D401
type_infered: f64
name: disassemble_data
arguments: label: D235
type_infered: f64
name: disassemble_data
arguments: label: D719
type_infered: f64
name: disassemble_data
arguments: label: D583
type_infered: f64
name: disassemble_data
arguments: label: D599
type_infered: f64
name: disassemble_data
arguments: label: D247
type_infered: f64
name: disassemble_data
arguments: label: D716
type_infered: f64
name: disassemble_data
arguments: label: D181
type_infered: f64
name: disassemble_data
arguments: label: D489
type_infered: f64
name: disassemble_data
arguments: label: D450
type_infered: f64
name: disassemble_data
arguments: label: D1016
type_infered: f64
name: disassemble_data
arguments: label: D966
type_infered: f64
name: disassemble_data
arguments: label: D550
type_infered: f64
name: disassemble_data
arguments: label: D820
type_infered: f64
name: disassemble_data
arguments: label: D424
type_infered: f64
name: disassemble_data
arguments: label: D848
type_infered: f64
name: disassemble_data
arguments: label: D467
type_infered: f64
name: disassemble_data
arguments: label: D1059
type_infered: f64
name: disassemble_data
arguments: label: D893
type_infered: f64
name: disassemble_data
arguments: label: D132
type_infered: f64
name: disassemble_data
arguments: label: D872
type_infered: f64
name: disassemble_data
arguments: label: D878
type_infered: f64
name: disassemble_data
arguments: label: D249
type_infered: f64
name: disassemble_data
arguments: label: D255
type_infered: f64
name: disassemble_data
arguments: label: D987
type_infered: f64
name: disassemble_data
arguments: label: D199
type_infered: f64
name: disassemble_data
arguments: label: D252
type_infered: f64
name: disassemble_data
arguments: label: D828
type_infered: f64
name: disassemble_data
arguments: label: D843
type_infered: f64
name: disassemble_data
arguments: label: D309
type_infered: f64
name: disassemble_data
arguments: label: D372
type_infered: f64
name: disassemble_data
arguments: label: D916
type_infered: byte[16]
name: disassemble_data
arguments: label: D737
type_infered: byte[8]
name: disassemble_data
arguments: label: D851
type_infered: f64
name: disassemble_data
arguments: label: D755
type_infered: f64
name: disassemble_data
arguments: label: D717
type_infered: f64
name: disassemble_data
arguments: label: D77
type_infered: f64
name: disassemble_data
arguments: label: D180
type_infered: f64
name: disassemble_data
arguments: label: D6
type_infered: f64
name: disassemble_data
arguments: label: D1042
type_infered: f64
name: disassemble_data
arguments: label: D764
type_infered: f64
name: disassemble_data
arguments: label: D137
type_infered: f64
name: disassemble_data
arguments: label: D537
type_infered: f64
name: disassemble_data
arguments: label: D505
type_infered: f64
name: disassemble_data
arguments: label: D304
type_infered: f64
name: disassemble_data
arguments: label: D291
type_infered: f64
name: disassemble_data
arguments: label: D528
type_infered: f64
name: disassemble_data
arguments: label: D354
type_infered: f64
name: disassemble_data
arguments: label: D403
type_infered: f64
name: disassemble_data
arguments: label: D740
type_infered: f64
name: disassemble_data
arguments: label: D748
type_infered: f64
name: disassemble_data
arguments: label: D950
type_infered: f64
name: disassemble_data
arguments: label: D935
type_infered: f64
name: disassemble_data
arguments: label: D59
type_infered: f64
name: disassemble_data
arguments: label: D145
type_infered: f64
name: disassemble_data
arguments: label: D797
type_infered: f64
name: disassemble_data
arguments: label: D660
type_infered: f64
name: disassemble_data
arguments: label: D787
type_infered: f64
name: disassemble_data
arguments: label: D663
type_infered: f64
name: disassemble_data
arguments: label: D491
type_infered: f64
name: disassemble_data
arguments: label: D584
type_infered: f64
name: disassemble_data
arguments: label: D448
type_infered: f64
name: disassemble_data
arguments: label: D407
type_infered: f64
name: disassemble_data
arguments: label: D78
type_infered: f64
name: disassemble_data
arguments: label: D308
type_infered: f64
name: disassemble_data
arguments: label: D681
type_infered: f64
name: disassemble_data
arguments: label: D672
type_infered: f64
name: disassemble_data
arguments: label: D875
type_infered: f64
name: disassemble_data
arguments: label: D891
type_infered: byte[8]
name: disassemble_data
arguments: label: D696
type_infered: f64
name: disassemble_data
arguments: label: D1074
type_infered: byte[8]
name: disassemble_data
arguments: label: D827
type_infered: f64

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

tool: D1026: 35

tool: D466: 70

tool: D1055: 34

tool: D253: 68

tool: D228: 33

tool: D118: 66

tool: D264: 32

tool: D438: 64

tool: D1022: 31

tool: D722: 62

tool: D653: 30

tool: D501: 60

tool: D344: 29

tool: D1058: 58

tool: D176: 28

tool: D743: 56

tool: D25: 27

tool: D998: 54

tool: D1081: 26

tool: D813: 52

tool: D401: 25

tool: D235: 50

tool: D719: 24

tool: D583: 48

tool: D599: 23

tool: D247: 46

tool: D716: 22

tool: D181: 44

tool: D489: 21

tool: D450: 42

tool: D1016: 20

tool: D966: 40

tool: D550: 19

tool: D820: 38

tool: D424: 18

tool: D848: 36

tool: D467: 17

tool: D1059: 16

tool: D893: 15

tool: D132: 14

tool: D872: 13

tool: D878: 12

tool: D249: 11

tool: D255: 10

tool: D987: 9

tool: D199: 8

tool: D252: 7

tool: D828: 6

tool: D843: 5

tool: D309: 4

tool: D372: 3

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

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

tool: D851: 34359738368

tool: D755: 41489384079360

tool: D717: 8.447083013367398e+18

tool: D77: 4.025305362525993e+23

tool: D180: 2.362820423319552e+16

tool: D6: 5.937325409725839e+25

tool: D1042: 7.010284930197724e+27

tool: D764: 2.1286649193685844e+21

tool: D137: 6.747399245315309e+29

tool: D537: 5.364182400025671e+31

tool: D505: 3.55645293121702e+33

tool: D304: 1.9802976548822043e+35

tool: D291: 9.30739897794636e+36

tool: D528: 5.800565905307983e+47

tool: D354: 5.161185345291081e+49

tool: D403: 3.7050607469901856e+38

tool: D740: 1.2517812380902556e+40

tool: D748: 3.5926121533190335e+41

tool: D950: 8.756992123715144e+42

tool: D935: 1.810636900874043e+44

tool: D59: 3.168614576529575e+45

tool: D145: 4.677875730087084e+46

tool: D797: 6.007728973354697e+48

tool: D660: 3.6464896461295677e+50

tool: D787: 2.0967315465245014e+51

tool: D663: 3.371625665535186e+53

tool: D491: 3.7087882320887044e+53

tool: D584: 9.686899744943197e+51

tool: D448: 2.6918624265159953e+53

tool: D407: 1.177689811600748e+53

tool: D78: 3.539444137575399e+52

tool: D308: 1.002842505646363e+53

tool: D681: 2.1489482263850636e+53

tool: D672: 2.6765677536380634e+52

tool: D875: 2.361677429680644e+51

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

tool: D696: 3.3738248995437775e+49

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

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