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

```asm
<HO_deriv_70>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x208,%rsp
  movsd  %xmm1,(%rsp)
  movsd  D35(%rip),%xmm1
  movsd  %xmm0,0x8(%rsp)
  call   <pow@plt>
  movsd  D436(%rip),%xmm1
  movq   %xmm0,%rbx
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D781(%rip),%xmm1
  movsd  %xmm0,0x1f8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D450(%rip),%xmm1
  movsd  %xmm0,0x10(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D889(%rip),%xmm1
  movq   %xmm0,%r14
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D851(%rip),%xmm1
  movsd  %xmm0,0x18(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D808(%rip),%xmm1
  movq   %xmm0,%r15
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D718(%rip),%xmm1
  movsd  %xmm0,0x20(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D480(%rip),%xmm1
  movq   %xmm0,%rbp
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D905(%rip),%xmm11
  movsd  %xmm0,0x28(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm11,%xmm1
  call   <pow@plt>
  movsd  D936(%rip),%xmm1
  movq   %xmm0,%r12
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1053(%rip),%xmm10
  movsd  %xmm0,0x30(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  movsd  D1016(%rip),%xmm1
  movsd  %xmm0,0x1f0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D733(%rip),%xmm7
  movsd  %xmm0,0x38(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm7,%xmm1
  call   <pow@plt>
  movsd  D673(%rip),%xmm1
  movsd  %xmm0,0x1e8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D877(%rip),%xmm1
  movsd  %xmm0,0x40(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D21(%rip),%xmm1
  movsd  %xmm0,0x48(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D967(%rip),%xmm1
  movsd  %xmm0,0x50(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1018(%rip),%xmm1
  movq   %xmm0,%r13
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1001(%rip),%xmm14
  movsd  %xmm0,0x58(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  movsd  D179(%rip),%xmm1
  movsd  %xmm0,0x60(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1023(%rip),%xmm1
  movsd  %xmm0,0x68(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D153(%rip),%xmm1
  movsd  %xmm0,0x70(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D807(%rip),%xmm1
  movsd  %xmm0,0x78(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D46(%rip),%xmm1
  movsd  %xmm0,0x80(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D526(%rip),%xmm5
  movsd  %xmm0,0x88(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm5,%xmm1
  call   <pow@plt>
  movsd  D543(%rip),%xmm9
  movsd  %xmm0,0x90(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm9,%xmm1
  call   <pow@plt>
  movsd  D93(%rip),%xmm1
  movsd  %xmm0,0x98(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D801(%rip),%xmm12
  movsd  %xmm0,0xa0(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  movsd  D381(%rip),%xmm6
  movsd  %xmm0,0xa8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm6,%xmm1
  call   <pow@plt>
  movsd  D87(%rip),%xmm15
  movsd  %xmm0,0xb0(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm15,%xmm1
  call   <pow@plt>
  movsd  D765(%rip),%xmm8
  movsd  %xmm0,0xb8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  movsd  D699(%rip),%xmm1
  movsd  %xmm0,0xc0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D636(%rip),%xmm1
  movsd  %xmm0,0xc8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D502(%rip),%xmm13
  movsd  %xmm0,0xd0(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm13,%xmm1
  call   <pow@plt>
  mov    D87(%rip),%rax
  movsd  %xmm0,0xd8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1001(%rip),%rax
  movsd  %xmm0,0x1e0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D502(%rip),%rax
  movsd  %xmm0,0xe0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D325(%rip),%xmm1
  movsd  %xmm0,0x1d8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D100(%rip),%xmm1
  movsd  %xmm0,0xe8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D672(%rip),%xmm1
  movsd  %xmm0,0x1d0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  mov    D672(%rip),%rax
  movsd  %xmm0,0xf0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D854(%rip),%xmm1
  movsd  %xmm0,0xf8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  mov    D801(%rip),%rax
  movsd  %xmm0,0x100(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D521(%rip),%xmm1
  movsd  %xmm0,0x1c8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D130(%rip),%xmm1
  movsd  %xmm0,0x108(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D905(%rip),%rax
  movsd  %xmm0,0x110(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D610(%rip),%xmm11
  movsd  %xmm0,0x118(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm11,%xmm1
  call   <pow@plt>
  mov    D1053(%rip),%rax
  movsd  %xmm0,0x120(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D543(%rip),%rax
  movsd  %xmm0,0x128(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D165(%rip),%xmm1
  movsd  %xmm0,0x1c0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D360(%rip),%xmm1
  movsd  %xmm0,0x130(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D542(%rip),%xmm9
  movsd  %xmm0,0x138(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm9,%xmm1
  call   <pow@plt>
  movsd  D207(%rip),%xmm1
  movsd  %xmm0,0x140(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D765(%rip),%rax
  movsd  %xmm0,0x148(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D542(%rip),%rax
  movsd  %xmm0,0x150(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D733(%rip),%rax
  movsd  %xmm0,0x1b8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D13(%rip),%xmm1
  movsd  %xmm0,0x158(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D610(%rip),%rax
  movsd  %xmm0,0x1b0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D725(%rip),%xmm7
  movsd  %xmm0,0x160(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm7,%xmm1
  call   <pow@plt>
  mov    D381(%rip),%rax
  movsd  %xmm0,0x1a8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D809(%rip),%xmm1
  movsd  %xmm0,0x168(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D268(%rip),%xmm6
  movsd  %xmm0,0x170(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm6,%xmm1
  call   <pow@plt>
  mov    D725(%rip),%rax
  movsd  %xmm0,0x178(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D268(%rip),%rax
  movsd  %xmm0,0x180(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D526(%rip),%rax
  movsd  %xmm0,0x1a0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D237(%rip),%xmm1
  movsd  %xmm0,0x188(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D925(%rip),%xmm1
  movsd  %xmm0,0x198(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  0x8(%rsp),%xmm7
  movsd  (%rsp),%xmm5
  xorpd  D696(%rip),%xmm7
  movsd  %xmm0,0x190(%rsp)
  movapd %xmm7,%xmm0
  mulsd  %xmm5,%xmm0
  mulsd  %xmm5,%xmm0
  mulsd  D911(%rip),%xmm0
  call   <exp@plt>
  movq   %r14,%xmm1
  movsd  0x1f8(%rsp),%xmm3
  movsd  0x1f0(%rsp),%xmm4
  mulsd  D704(%rip),%xmm3
  movsd  0x1e8(%rsp),%xmm2
  mulsd  D270(%rip),%xmm1
  mulsd  0x10(%rsp),%xmm3
  mulsd  0x18(%rsp),%xmm1
  mulsd  D192(%rip),%xmm4
  mulsd  0x38(%rsp),%xmm4
  mulsd  D895(%rip),%xmm2
  mulsd  0x40(%rsp),%xmm2
  addsd  %xmm3,%xmm1
  movq   %r15,%xmm3
  mulsd  D461(%rip),%xmm3
  mulsd  0x20(%rsp),%xmm3
  addsd  %xmm1,%xmm3
  movq   %rbp,%xmm1
  mulsd  D211(%rip),%xmm1
  mulsd  0x28(%rsp),%xmm1
  addsd  %xmm1,%xmm3
  movq   %r12,%xmm1
  mulsd  D1057(%rip),%xmm1
  mulsd  0x30(%rsp),%xmm1
  subsd  %xmm1,%xmm3
  movsd  0x48(%rsp),%xmm1
  mulsd  0x50(%rsp),%xmm1
  subsd  %xmm4,%xmm3
  subsd  %xmm2,%xmm3
  movq   %r13,%xmm2
  mulsd  D75(%rip),%xmm2
  mulsd  0x58(%rsp),%xmm2
  addsd  %xmm3,%xmm1
  addsd  %xmm2,%xmm1
  movsd  0x60(%rsp),%xmm2
  mulsd  D1026(%rip),%xmm2
  mulsd  0x68(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x70(%rsp),%xmm2
  mulsd  D319(%rip),%xmm2
  mulsd  0x78(%rsp),%xmm2
  addsd  %xmm1,%xmm2
  movsd  0x80(%rsp),%xmm1
  mulsd  D8(%rip),%xmm1
  mulsd  0x88(%rsp),%xmm1
  addsd  %xmm1,%xmm2
  movsd  0x90(%rsp),%xmm1
  mulsd  D883(%rip),%xmm1
  mulsd  0x98(%rsp),%xmm1
  movsd  0x1e0(%rsp),%xmm15
  mulsd  D966(%rip),%xmm15
  movsd  0x1d8(%rsp),%xmm13
  mulsd  0xe0(%rsp),%xmm15
  movsd  0x1d0(%rsp),%xmm14
  mulsd  D295(%rip),%xmm13
  movsd  0xf8(%rsp),%xmm3
  mulsd  0xe8(%rsp),%xmm13
  movsd  0x1c8(%rsp),%xmm12
  subsd  %xmm1,%xmm2
  movsd  0xa0(%rsp),%xmm1
  mulsd  D520(%rip),%xmm1
  mulsd  0xa8(%rsp),%xmm1
  mulsd  D674(%rip),%xmm14
  mulsd  0xf0(%rsp),%xmm14
  mulsd  D669(%rip),%xmm3
  mulsd  0x100(%rsp),%xmm3
  mulsd  D885(%rip),%xmm12
  addsd  %xmm1,%xmm2
  movsd  0xb0(%rsp),%xmm1
  mulsd  D712(%rip),%xmm1
  mulsd  0xb8(%rsp),%xmm1
  mulsd  0x108(%rsp),%xmm12
  subsd  %xmm1,%xmm2
  movsd  0xc0(%rsp),%xmm1
  mulsd  D172(%rip),%xmm1
  mulsd  0xc8(%rsp),%xmm1
  subsd  %xmm1,%xmm2
  movsd  0xd0(%rsp),%xmm1
  mulsd  D1045(%rip),%xmm1
  mulsd  0xd8(%rsp),%xmm1
  addsd  %xmm1,%xmm2
  movsd  0x110(%rsp),%xmm1
  mulsd  D227(%rip),%xmm1
  mulsd  0x118(%rsp),%xmm1
  subsd  %xmm15,%xmm2
  subsd  %xmm13,%xmm2
  addsd  %xmm14,%xmm2
  subsd  %xmm3,%xmm2
  subsd  %xmm12,%xmm2
  subsd  D853(%rip),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x120(%rsp),%xmm2
  mulsd  D888(%rip),%xmm2
  mulsd  0x128(%rsp),%xmm2
  movsd  0x8(%rsp),%xmm4
  movsd  0x1c0(%rsp),%xmm10
  movsd  (%rsp),%xmm7
  mulsd  D413(%rip),%xmm10
  movsd  0x1b8(%rsp),%xmm8
  mulsd  0x130(%rsp),%xmm10
  movsd  0x1b0(%rsp),%xmm9
  mulsd  D52(%rip),%xmm8
  movsd  0x1a8(%rsp),%xmm11
  mulsd  0x158(%rsp),%xmm8
  subsd  %xmm2,%xmm1
  movsd  0x138(%rsp),%xmm2
  mulsd  D488(%rip),%xmm2
  movsd  0x1a0(%rsp),%xmm6
  mulsd  0x140(%rsp),%xmm2
  subsd  %xmm10,%xmm1
  mulsd  D1061(%rip),%xmm6
  mulsd  D732(%rip),%xmm9
  mulsd  0x160(%rsp),%xmm9
  mulsd  D198(%rip),%xmm11
  mulsd  0x168(%rsp),%xmm11
  addsd  %xmm2,%xmm1
  movsd  0x148(%rsp),%xmm2
  mulsd  D960(%rip),%xmm2
  mulsd  0x150(%rsp),%xmm2
  mulsd  0x188(%rsp),%xmm6
  addsd  %xmm2,%xmm1
  movsd  0x170(%rsp),%xmm2
  mulsd  D366(%rip),%xmm2
  mulsd  0x178(%rsp),%xmm2
  subsd  %xmm8,%xmm1
  addsd  %xmm9,%xmm1
  subsd  %xmm11,%xmm1
  addsd  %xmm2,%xmm1
  movsd  D318(%rip),%xmm2
  mulsd  %xmm4,%xmm2
  mulsd  %xmm4,%xmm2
  mulsd  0x180(%rsp),%xmm2
  mulsd  D433(%rip),%xmm4
  movsd  0x198(%rsp),%xmm5
  mulsd  D580(%rip),%xmm5
  mulsd  0x190(%rsp),%xmm5
  subsd  %xmm2,%xmm1
  movapd %xmm4,%xmm2
  mulsd  %xmm7,%xmm2
  mulsd  %xmm7,%xmm2
  addsd  %xmm2,%xmm1
  movq   %rbx,%xmm2
  mulsd  D668(%rip),%xmm2
  subsd  %xmm6,%xmm1
  addsd  %xmm5,%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  D158(%rip),%xmm1
  mulsd  D286(%rip),%xmm1
  add    $0x208,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  mulsd  %xmm7,%xmm1
  mulsd  %xmm1,%xmm0
  ret
```

tool_calls: name: disassemble_data
arguments: data_tag: D35
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D436
data_type: f64
name: disassemble_data
arguments: data_tag: D781
data_type: f64
name: disassemble_data
arguments: data_tag: D450
data_type: f64
name: disassemble_data
arguments: data_tag: D889
data_type: f64
name: disassemble_data
arguments: data_tag: D851
data_type: f64
name: disassemble_data
arguments: data_tag: D808
data_type: f64
name: disassemble_data
arguments: data_tag: D718
data_type: f64
name: disassemble_data
arguments: data_tag: D480
data_type: f64
name: disassemble_data
arguments: data_tag: D905
data_type: f64
name: disassemble_data
arguments: data_tag: D936
data_type: f64
name: disassemble_data
arguments: data_tag: D1053
data_type: f64
name: disassemble_data
arguments: data_tag: D1016
data_type: f64
name: disassemble_data
arguments: data_tag: D733
data_type: f64
name: disassemble_data
arguments: data_tag: D673
data_type: f64
name: disassemble_data
arguments: data_tag: D877
data_type: f64
name: disassemble_data
arguments: data_tag: D21
data_type: f64
name: disassemble_data
arguments: data_tag: D967
data_type: f64
name: disassemble_data
arguments: data_tag: D1018
data_type: f64
name: disassemble_data
arguments: data_tag: D1001
data_type: f64
name: disassemble_data
arguments: data_tag: D179
data_type: f64
name: disassemble_data
arguments: data_tag: D1023
data_type: f64
name: disassemble_data
arguments: data_tag: D153
data_type: f64
name: disassemble_data
arguments: data_tag: D807
data_type: f64
name: disassemble_data
arguments: data_tag: D46
data_type: f64
name: disassemble_data
arguments: data_tag: D526
data_type: f64
name: disassemble_data
arguments: data_tag: D543
data_type: f64
name: disassemble_data
arguments: data_tag: D93
data_type: f64
name: disassemble_data
arguments: data_tag: D801
data_type: f64
name: disassemble_data
arguments: data_tag: D381
data_type: f64
name: disassemble_data
arguments: data_tag: D87
data_type: f64
name: disassemble_data
arguments: data_tag: D765
data_type: f64
name: disassemble_data
arguments: data_tag: D699
data_type: f64
name: disassemble_data
arguments: data_tag: D636
data_type: f64
name: disassemble_data
arguments: data_tag: D502
data_type: f64
name: disassemble_data
arguments: data_tag: D325
data_type: f64
name: disassemble_data
arguments: data_tag: D100
data_type: f64
name: disassemble_data
arguments: data_tag: D672
data_type: f64
name: disassemble_data
arguments: data_tag: D854
data_type: f64
name: disassemble_data
arguments: data_tag: D521
data_type: f64
name: disassemble_data
arguments: data_tag: D130
data_type: f64
name: disassemble_data
arguments: data_tag: D610
data_type: f64
name: disassemble_data
arguments: data_tag: D165
data_type: f64
name: disassemble_data
arguments: data_tag: D360
data_type: f64
name: disassemble_data
arguments: data_tag: D542
data_type: f64
name: disassemble_data
arguments: data_tag: D207
data_type: f64
name: disassemble_data
arguments: data_tag: D13
data_type: f64
name: disassemble_data
arguments: data_tag: D725
data_type: f64
name: disassemble_data
arguments: data_tag: D809
data_type: f64
name: disassemble_data
arguments: data_tag: D268
data_type: f64
name: disassemble_data
arguments: data_tag: D237
data_type: f64
name: disassemble_data
arguments: data_tag: D925
data_type: f64
name: disassemble_data
arguments: data_tag: D696
data_type: byte[16]
name: disassemble_data
arguments: data_tag: D911
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D704
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D270
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D192
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D895
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D461
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D211
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D1057
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D75
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D1026
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D319
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D8
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D883
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D966
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D295
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D520
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D674
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D669
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D885
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D712
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D172
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D1045
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D227
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D853
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D888
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D413
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D52
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D488
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D1061
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D732
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D198
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D960
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D366
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D318
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D433
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D580
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D668
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D158
data_type: byte[8]
name: disassemble_data
arguments: data_tag: D286
data_type: byte[8]

tool: {"D35": [0x00,0x00,0x00,0x00,0x00,0x00,0xf4,0x3f]}

tool: D436: 31

tool: D781: 62

tool: D450: 21

tool: D889: 42

tool: D851: 33

tool: D808: 66

tool: D718: 25

tool: D480: 50

tool: D905: 30

tool: D936: 60

tool: D1053: 20

tool: D1016: 40

tool: D733: 28

tool: D673: 56

tool: D877: 35

tool: D21: 70

tool: D967: 19

tool: D1018: 38

tool: D1001: 32

tool: D179: 64

tool: D1023: 23

tool: D153: 46

tool: D807: 27

tool: D46: 54

tool: D526: 12

tool: D543: 24

tool: D93: 9

tool: D801: 18

tool: D381: 8

tool: D87: 16

tool: D765: 22

tool: D699: 44

tool: D636: 13

tool: D502: 26

tool: D325: 52

tool: D100: 17

tool: D672: 34

tool: D854: 68

tool: D521: 36

tool: D130: 15

tool: D610: 10

tool: D165: 48

tool: D360: 7

tool: D542: 14

tool: D207: 11

tool: D13: 5

tool: D725: 4

tool: D809: 3

tool: D268: 6

tool: D237: 29

tool: D925: 58

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

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

tool: {"D704": [0x00,0x80,0x38,0xa9,0x75,0x16,0x32,0x42]}

tool: {"D270": [0x90,0xaf,0x5c,0x5c,0x74,0x2c,0x25,0x46]}

tool: {"D192": [0x41,0xaa,0xfe,0x0b,0x9e,0x51,0x74,0x46]}

tool: {"D895": [0xd7,0x9d,0xd7,0x47,0xa5,0xe3,0x90,0x43]}

tool: {"D461": [0x00,0x00,0x00,0x80,0xea,0x7d,0x27,0x41]}

tool: {"D211": [0xd8,0x46,0xd9,0xb6,0xf9,0x8d,0xc3,0x44]}

tool: {"D1057": [0x80,0x21,0xb5,0x52,0xee,0x4b,0xac,0x42]}

tool: {"D75": [0x3e,0xdc,0x93,0x09,0xd7,0x97,0xc0,0x46]}

tool: {"D1026": [0x00,0x00,0x60,0x66,0xcc,0x5b,0xb1,0x41]}

tool: {"D319": [0xee,0x34,0xcb,0x09,0x70,0x4e,0x7c,0x45]}

tool: {"D8": [0x3b,0xee,0x01,0x02,0x5e,0xf1,0xfa,0x43]}

tool: {"D883": [0x05,0xa0,0xb9,0xf5,0xb1,0x3e,0x62,0x48]}

tool: {"D966": [0xa9,0x11,0xcf,0xc9,0x8a,0x10,0x8b,0x47]}

tool: {"D295": [0x6c,0xf6,0xb3,0x04,0xc4,0xc3,0x61,0x44]}

tool: {"D520": [0xd7,0x20,0x14,0x33,0x56,0x23,0xd3,0x48]}

tool: {"D674": [0xd7,0x61,0xf3,0xe5,0x03,0x26,0x4b,0x47]}

tool: {"D669": [0x00,0x00,0x00,0x00,0x00,0xf6,0x93,0x40]}

tool: {"D885": [0x01,0x99,0x8a,0xdd,0x78,0x0a,0x07,0x47]}

tool: {"D712": [0x8c,0xf1,0x43,0xf6,0x6a,0xcb,0xee,0x48]}

tool: {"D172": [0x92,0x87,0xf2,0xa7,0xad,0xc6,0xd2,0x45]}

tool: {"D1045": [0xc4,0x9c,0xfb,0x09,0x34,0xcd,0x32,0x48]}

tool: {"D227": [0x39,0x7e,0x4f,0xca,0xed,0xbc,0xc6,0x47]}

tool: {"D853": [0xd7,0xec,0x1c,0xd1,0xde,0x6d,0x79,0x48]}

tool: {"D888": [0x03,0x5f,0x37,0x64,0xc5,0xa5,0xb2,0x48]}

tool: {"D413": [0x2a,0x12,0x93,0x18,0xbd,0x18,0x22,0x45]}

tool: {"D52": [0xbe,0x16,0x59,0xff,0x72,0x04,0x00,0x48]}

tool: {"D488": [0x37,0x64,0xbe,0x4d,0xf1,0xfe,0x02,0x49]}

tool: {"D1061": [0xeb,0xad,0x81,0x06,0x1f,0x77,0x11,0x49]}

tool: {"D732": [0x7e,0x8c,0x64,0xbb,0x92,0x0e,0x17,0x49]}

tool: {"D198": [0x05,0x3b,0x29,0x4b,0x18,0xc4,0x14,0x49]}

tool: {"D960": [0xb1,0xd5,0x7d,0x70,0xb6,0xfe,0x8c,0x48]}

tool: {"D366": [0x22,0x2a,0x00,0x6b,0x8a,0xb6,0x07,0x49]}

tool: {"D318": [0xec,0x90,0xbf,0xa4,0x9a,0xa0,0xee,0x48]}

tool: {"D433": [0x3a,0xa2,0x89,0x44,0x73,0x47,0xc2,0x48]}

tool: {"D580": [0xe6,0xbf,0xfa,0xff,0xc7,0x45,0x21,0x43]}

tool: {"D668": [0x9d,0x4f,0xa8,0x2c,0x6a,0xa2,0xd0,0xb5]}

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

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

assistant: ```c
double HO_deriv_70(const double a, const double x) {
  double retval = -0.2e1 / 0.11246082998479258235510224019880651046862914453125e50 * pow(a, 0.5e1 / 0.4e1) * (0.155372442225e12 / 0.2e1 * pow(a, 0.31e2) * pow(x, 0.62e2) + 0.1717810610989294694904198489196875e34 / 0.2048e4 * pow(a, 0.21e2) * pow(x, 0.42e2) + 0.3079125e7 / 0.4e1 * pow(a, 0.33e2) * pow(x, 0.66e2) + 0.47280101323354009268333175e26 / 0.256e3 * pow(a, 0.25e2) * pow(x, 0.50e2) - 0.62224893045315e14 / 0.4e1 * pow(a, 0.30e2) * pow(x, 0.60e2) - 0.105501334110475854585419269232473125e36 / 0.4096e4 * pow(a, 0.20e2) * pow(x, 0.40e2) - 0.4867992209195490375e19 / 0.16e2 * pow(a, 0.28e2) * pow(x, 0.56e2) + pow(a, 0.35e2) * pow(x, 0.70e2) + 0.22056046235076214550209186830135346875e38 / 0.32768e5 * pow(a, 0.19e2) * pow(x, 0.38e2) - 0.2329830195e10 / 0.8e1 * pow(a, 0.32e2) * pow(x, 0.64e2) + 0.280332978388383081177538396875e30 / 0.512e3 * pow(a, 0.23e2) * pow(x, 0.46e2) + 0.1988030747738859498675e22 / 0.64e2 * pow(a, 0.27e2) * pow(x, 0.54e2) - 0.52079991283832938472033042337204738638963765625e47 / 0.1048576e7 * pow(a, 0.12e2) * pow(x, 0.24e2) + 0.111881072399715783887360687489549505245970354609375e51 / 0.16777216e8 * pow(a, 0.9e1) * pow(x, 0.18e2) - 0.720101753250203216077185996714580148940866103515625e51 / 0.33554432e8 * pow(a, 0.8e1) * pow(x, 0.16e2) - 0.23801518311636181978164488810625e32 / 0.1024e4 * pow(a, 0.22e2) * pow(x, 0.44e2) + 0.3354313121137120370578016338712507212605234375e46 / 0.524288e6 * pow(a, 0.13e2) * pow(x, 0.26e2) - 0.1178830359671603296393750804983518841140625e43 / 0.262144e6 * pow(a, 0.16e2) * pow(x, 0.32e2) - 0.335565879661438525724625e24 / 0.128e3 * pow(a, 0.26e2) * pow(x, 0.52e2) + 0.36952619246201056226482081358900528934375e41 / 0.131072e6 * pow(a, 0.17e2) * pow(x, 0.34e2) - 0.2555e4 / 0.2e1 * pow(a, 0.34e2) * pow(x, 0.68e2) - 0.980051786019477368977170634676573765625e39 / 0.65536e5 * pow(a, 0.18e2) * pow(x, 0.36e2) - 0.4757093108356726233620824760409515392823012813671875e52 / 0.34359738368e11 + 0.7923037811884555733376714125971797275409375e43 / 0.131072e6 * pow(a, 0.15e2) * pow(x, 0.30e2) - 0.13626707463008356798669636966400415931235878265625e50 / 0.8388608e7 * pow(a, 0.10e2) * pow(x, 0.20e2) - 0.5600637377039661987005600625e28 / 0.512e3 * pow(a, 0.24e2) * pow(x, 0.48e2) + 0.1776799640305358564012165219322032618929519905703125e52 / 0.33554432e8 * pow(a, 0.7e1) * pow(x, 0.14e2) + 0.1324256188627375999609387187634052114965104296875e49 / 0.4194304e7 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.178599751962880300733710615079016768698578125e45 / 0.262144e6 * pow(a, 0.14e2) * pow(x, 0.28e2) + 0.17253240710355834462331540792455566807161667224453125e53 / 0.134217728e9 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.31077925583908625730597197955383519131836393929296875e53 / 0.268435456e9 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.283907365296608874155455605381887035678054275369140625e54 / 0.4294967296e10 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.183344891124207347013523182196114254017006094329296875e54 / 0.8589934592e10 * a * a * pow(x, 0.4e1) + 0.54712193787601591315757239856719367342988078814453125e53 / 0.17179869184e11 * a * x * x - 0.6534550944321499253202491961910652137768218062109375e52 / 0.67108864e8 * pow(a, 0.6e1) * pow(x, 0.12e2) + 0.19447199598051225e17 / 0.8e1 * pow(a, 0.29e2) * pow(x, 0.58e2)) * pow(0.3141592654e1, -0.1e1 / 0.4e1) * sqrt(0.3116285494907301262e19) * x * exp(-a * x * x / 0.2e1);
  return retval;
}
```