user: Demonstrate the C code that generates the assembly output below:

```asm
<HO_60>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x1b8,%rsp
  movsd  %xmm1,(%rsp)
  movsd  D718(%rip),%xmm1
  movsd  %xmm0,0x8(%rsp)
  call   <pow@plt>
  movsd  D568(%rip),%xmm8
  movq   %xmm0,%rbx
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  movsd  D839(%rip),%xmm1
  movq   %xmm0,%r14
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D95(%rip),%xmm1
  movsd  %xmm0,0x10(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D861(%rip),%xmm1
  movsd  %xmm0,0x1a8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D156(%rip),%xmm15
  movsd  %xmm0,0x18(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm15,%xmm1
  call   <pow@plt>
  movsd  D574(%rip),%xmm1
  movq   %xmm0,%r15
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D779(%rip),%xmm1
  movsd  %xmm0,0x20(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D83(%rip),%xmm1
  movsd  %xmm0,0x1a0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D288(%rip),%xmm14
  movsd  %xmm0,0x28(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  movsd  D755(%rip),%xmm1
  movq   %xmm0,%rbp
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D295(%rip),%xmm1
  movsd  %xmm0,0x30(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D64(%rip),%xmm1
  movsd  %xmm0,0x198(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D658(%rip),%xmm13
  movsd  %xmm0,0x38(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm13,%xmm1
  call   <pow@plt>
  movsd  D604(%rip),%xmm1
  movsd  %xmm0,0x190(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D3(%rip),%xmm1
  movsd  %xmm0,0x40(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D388(%rip),%xmm1
  movsd  %xmm0,0x188(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D283(%rip),%xmm12
  movsd  %xmm0,0x48(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  movsd  D773(%rip),%xmm1
  movsd  %xmm0,0x180(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D609(%rip),%xmm1
  movsd  %xmm0,0x50(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D167(%rip),%xmm1
  movq   %xmm0,%r12
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D390(%rip),%xmm11
  movsd  %xmm0,0x58(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm11,%xmm1
  call   <pow@plt>
  movsd  D887(%rip),%xmm1
  movq   %xmm0,%r13
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D285(%rip),%xmm1
  movsd  %xmm0,0x60(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D52(%rip),%xmm1
  movsd  %xmm0,0x68(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D218(%rip),%xmm10
  movsd  %xmm0,0x70(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  movsd  D593(%rip),%xmm1
  movsd  %xmm0,0x78(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D577(%rip),%xmm1
  movsd  %xmm0,0x80(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D621(%rip),%xmm1
  movsd  %xmm0,0x88(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D803(%rip),%xmm9
  movsd  %xmm0,0x90(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm9,%xmm1
  call   <pow@plt>
  movsd  D98(%rip),%xmm1
  movsd  %xmm0,0x98(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D910(%rip),%xmm1
  movsd  %xmm0,0xa0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D568(%rip),%rax
  movsd  %xmm0,0xa8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D484(%rip),%xmm8
  movsd  %xmm0,0xb0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  mov    D156(%rip),%rax
  movsd  %xmm0,0xb8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D731(%rip),%xmm1
  movsd  %xmm0,0xc0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D288(%rip),%rax
  movsd  %xmm0,0x178(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D148(%rip),%xmm14
  movsd  %xmm0,0xc8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  mov    D658(%rip),%rax
  movsd  %xmm0,0xd0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D710(%rip),%xmm1
  movsd  %xmm0,0xd8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D283(%rip),%rax
  movsd  %xmm0,0x170(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D122(%rip),%xmm12
  movsd  %xmm0,0xe0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  mov    D390(%rip),%rax
  movsd  %xmm0,0xe8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D515(%rip),%xmm1
  movsd  %xmm0,0xf0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D218(%rip),%rax
  movsd  %xmm0,0x168(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D273(%rip),%xmm10
  movsd  %xmm0,0xf8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  mov    D803(%rip),%rax
  movsd  %xmm0,0x100(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D551(%rip),%xmm1
  movsd  %xmm0,0x108(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D484(%rip),%rax
  movsd  %xmm0,0x110(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D352(%rip),%xmm8
  movsd  %xmm0,0x118(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  mov    D148(%rip),%rax
  movsd  %xmm0,0x120(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D128(%rip),%xmm1
  movsd  %xmm0,0x128(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D122(%rip),%rax
  movsd  %xmm0,0x160(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D132(%rip),%xmm9
  movsd  %xmm0,0x130(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm9,%xmm1
  call   <pow@plt>
  mov    D273(%rip),%rax
  movsd  %xmm0,0x158(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D908(%rip),%xmm1
  movsd  %xmm0,0x138(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D352(%rip),%rax
  movsd  %xmm0,0x150(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D132(%rip),%rax
  movsd  %xmm0,0x140(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  0x8(%rsp),%xmm6
  movsd  (%rsp),%xmm7
  xorpd  D676(%rip),%xmm6
  movsd  %xmm0,0x148(%rsp)
  movapd %xmm6,%xmm0
  mulsd  %xmm7,%xmm0
  mulsd  %xmm7,%xmm0
  mulsd  D537(%rip),%xmm0
  call   <exp@plt>
  movq   %r14,%xmm1
  movsd  0x1a8(%rsp),%xmm5
  movsd  0x1a0(%rsp),%xmm4
  mulsd  D19(%rip),%xmm1
  movsd  0x198(%rsp),%xmm3
  mulsd  D376(%rip),%xmm5
  movsd  0x190(%rsp),%xmm7
  mulsd  0x18(%rsp),%xmm5
  movsd  0x188(%rsp),%xmm2
  mulsd  0x10(%rsp),%xmm1
  movsd  0x180(%rsp),%xmm6
  mulsd  D666(%rip),%xmm4
  mulsd  0x28(%rsp),%xmm4
  mulsd  D31(%rip),%xmm3
  mulsd  0x38(%rsp),%xmm3
  subsd  %xmm5,%xmm1
  movq   %r15,%xmm5
  mulsd  D223(%rip),%xmm5
  mulsd  0x20(%rsp),%xmm5
  mulsd  D410(%rip),%xmm7
  mulsd  0x40(%rsp),%xmm7
  mulsd  D252(%rip),%xmm2
  mulsd  0x48(%rsp),%xmm2
  addsd  %xmm5,%xmm1
  mulsd  D742(%rip),%xmm6
  mulsd  0x50(%rsp),%xmm6
  subsd  %xmm4,%xmm1
  movq   %rbp,%xmm4
  mulsd  D383(%rip),%xmm4
  mulsd  0x30(%rsp),%xmm4
  addsd  %xmm4,%xmm1
  subsd  %xmm3,%xmm1
  addsd  %xmm7,%xmm1
  subsd  %xmm2,%xmm1
  movq   %r12,%xmm2
  mulsd  D896(%rip),%xmm2
  mulsd  0x58(%rsp),%xmm2
  addsd  %xmm6,%xmm1
  subsd  %xmm2,%xmm1
  movq   %r13,%xmm2
  mulsd  D41(%rip),%xmm2
  mulsd  0x60(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x68(%rsp),%xmm2
  mulsd  D385(%rip),%xmm2
  mulsd  0x70(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x78(%rsp),%xmm2
  mulsd  D361(%rip),%xmm2
  mulsd  0x80(%rsp),%xmm2
  movsd  0x178(%rsp),%xmm15
  mulsd  D680(%rip),%xmm15
  movsd  0x170(%rsp),%xmm13
  mulsd  0xc8(%rsp),%xmm15
  movsd  0x168(%rsp),%xmm11
  mulsd  D416(%rip),%xmm13
  mulsd  0xe0(%rsp),%xmm13
  mulsd  D87(%rip),%xmm11
  addsd  %xmm2,%xmm1
  movsd  0x88(%rsp),%xmm2
  mulsd  D468(%rip),%xmm2
  mulsd  0x90(%rsp),%xmm2
  mulsd  0xf8(%rsp),%xmm11
  subsd  %xmm2,%xmm1
  movsd  0x98(%rsp),%xmm2
  mulsd  D539(%rip),%xmm2
  mulsd  0xa0(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xa8(%rsp),%xmm2
  mulsd  D907(%rip),%xmm2
  mulsd  0xb0(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xb8(%rsp),%xmm2
  mulsd  D458(%rip),%xmm2
  mulsd  0xc0(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xd0(%rsp),%xmm2
  mulsd  D323(%rip),%xmm2
  mulsd  0xd8(%rsp),%xmm2
  subsd  %xmm15,%xmm1
  addsd  %xmm2,%xmm1
  movsd  0xe8(%rsp),%xmm2
  mulsd  D90(%rip),%xmm2
  mulsd  0xf0(%rsp),%xmm2
  subsd  %xmm13,%xmm1
  addsd  %xmm2,%xmm1
  movsd  0x100(%rsp),%xmm2
  mulsd  D674(%rip),%xmm2
  mulsd  0x108(%rsp),%xmm2
  subsd  %xmm11,%xmm1
  addsd  %xmm2,%xmm1
  movsd  0x110(%rsp),%xmm2
  mulsd  D398(%rip),%xmm2
  mulsd  0x118(%rsp),%xmm2
  movsd  0x8(%rsp),%xmm3
  movsd  0x160(%rsp),%xmm14
  movsd  (%rsp),%xmm7
  mulsd  D79(%rip),%xmm14
  movsd  0x158(%rsp),%xmm12
  mulsd  0x130(%rsp),%xmm14
  movsd  0x150(%rsp),%xmm10
  mulsd  D560(%rip),%xmm12
  mulsd  0x138(%rsp),%xmm12
  subsd  %xmm2,%xmm1
  movsd  0x120(%rsp),%xmm2
  mulsd  D544(%rip),%xmm2
  mulsd  0x128(%rsp),%xmm2
  mulsd  D173(%rip),%xmm10
  mulsd  0x140(%rsp),%xmm10
  addsd  %xmm2,%xmm1
  movsd  D408(%rip),%xmm2
  mulsd  %xmm3,%xmm2
  subsd  %xmm14,%xmm1
  addsd  %xmm12,%xmm1
  mulsd  %xmm3,%xmm2
  mulsd  0x148(%rsp),%xmm2
  mulsd  D485(%rip),%xmm3
  subsd  %xmm10,%xmm1
  addsd  %xmm2,%xmm1
  movapd %xmm3,%xmm2
  mulsd  %xmm7,%xmm2
  mulsd  %xmm7,%xmm2
  subsd  %xmm2,%xmm1
  movq   %rbx,%xmm2
  addsd  D33(%rip),%xmm1
  mulsd  D567(%rip),%xmm2
  mulsd  %xmm2,%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  D533(%rip),%xmm0
  divsd  D49(%rip),%xmm0
  add    $0x1b8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: extract_symbolic_data
arguments: tag: D718
datatype: byte[8]
name: extract_symbolic_data
arguments: tag: D568
datatype: f64
name: extract_symbolic_data
arguments: tag: D839
datatype: f64
name: extract_symbolic_data
arguments: tag: D95
datatype: f64
name: extract_symbolic_data
arguments: tag: D861
datatype: f64
name: extract_symbolic_data
arguments: tag: D156
datatype: f64
name: extract_symbolic_data
arguments: tag: D574
datatype: f64
name: extract_symbolic_data
arguments: tag: D779
datatype: f64
name: extract_symbolic_data
arguments: tag: D83
datatype: f64
name: extract_symbolic_data
arguments: tag: D288
datatype: f64
name: extract_symbolic_data
arguments: tag: D755
datatype: f64
name: extract_symbolic_data
arguments: tag: D295
datatype: f64
name: extract_symbolic_data
arguments: tag: D64
datatype: f64
name: extract_symbolic_data
arguments: tag: D658
datatype: f64
name: extract_symbolic_data
arguments: tag: D604
datatype: f64
name: extract_symbolic_data
arguments: tag: D3
datatype: f64
name: extract_symbolic_data
arguments: tag: D388
datatype: f64
name: extract_symbolic_data
arguments: tag: D283
datatype: f64
name: extract_symbolic_data
arguments: tag: D773
datatype: f64
name: extract_symbolic_data
arguments: tag: D609
datatype: f64
name: extract_symbolic_data
arguments: tag: D167
datatype: f64
name: extract_symbolic_data
arguments: tag: D390
datatype: f64
name: extract_symbolic_data
arguments: tag: D887
datatype: f64
name: extract_symbolic_data
arguments: tag: D285
datatype: f64
name: extract_symbolic_data
arguments: tag: D52
datatype: f64
name: extract_symbolic_data
arguments: tag: D218
datatype: f64
name: extract_symbolic_data
arguments: tag: D593
datatype: f64
name: extract_symbolic_data
arguments: tag: D577
datatype: f64
name: extract_symbolic_data
arguments: tag: D621
datatype: f64
name: extract_symbolic_data
arguments: tag: D803
datatype: f64
name: extract_symbolic_data
arguments: tag: D98
datatype: f64
name: extract_symbolic_data
arguments: tag: D910
datatype: f64
name: extract_symbolic_data
arguments: tag: D484
datatype: f64
name: extract_symbolic_data
arguments: tag: D731
datatype: f64
name: extract_symbolic_data
arguments: tag: D148
datatype: f64
name: extract_symbolic_data
arguments: tag: D710
datatype: f64
name: extract_symbolic_data
arguments: tag: D122
datatype: f64
name: extract_symbolic_data
arguments: tag: D515
datatype: f64
name: extract_symbolic_data
arguments: tag: D273
datatype: f64
name: extract_symbolic_data
arguments: tag: D551
datatype: f64
name: extract_symbolic_data
arguments: tag: D352
datatype: f64
name: extract_symbolic_data
arguments: tag: D128
datatype: f64
name: extract_symbolic_data
arguments: tag: D132
datatype: f64
name: extract_symbolic_data
arguments: tag: D908
datatype: f64
name: extract_symbolic_data
arguments: tag: D676
datatype: byte[16]
name: extract_symbolic_data
arguments: tag: D537
datatype: byte[8]
name: extract_symbolic_data
arguments: tag: D19
datatype: f64
name: extract_symbolic_data
arguments: tag: D376
datatype: f64
name: extract_symbolic_data
arguments: tag: D666
datatype: f64
name: extract_symbolic_data
arguments: tag: D31
datatype: f64
name: extract_symbolic_data
arguments: tag: D223
datatype: f64
name: extract_symbolic_data
arguments: tag: D410
datatype: f64
name: extract_symbolic_data
arguments: tag: D252
datatype: f64
name: extract_symbolic_data
arguments: tag: D742
datatype: f64
name: extract_symbolic_data
arguments: tag: D383
datatype: f64
name: extract_symbolic_data
arguments: tag: D896
datatype: f64
name: extract_symbolic_data
arguments: tag: D41
datatype: f64
name: extract_symbolic_data
arguments: tag: D385
datatype: f64
name: extract_symbolic_data
arguments: tag: D361
datatype: f64
name: extract_symbolic_data
arguments: tag: D680
datatype: f64
name: extract_symbolic_data
arguments: tag: D416
datatype: f64
name: extract_symbolic_data
arguments: tag: D87
datatype: f64
name: extract_symbolic_data
arguments: tag: D468
datatype: f64
name: extract_symbolic_data
arguments: tag: D539
datatype: f64
name: extract_symbolic_data
arguments: tag: D907
datatype: f64
name: extract_symbolic_data
arguments: tag: D458
datatype: f64
name: extract_symbolic_data
arguments: tag: D323
datatype: f64
name: extract_symbolic_data
arguments: tag: D90
datatype: f64
name: extract_symbolic_data
arguments: tag: D674
datatype: f64
name: extract_symbolic_data
arguments: tag: D398
datatype: f64
name: extract_symbolic_data
arguments: tag: D79
datatype: f64
name: extract_symbolic_data
arguments: tag: D560
datatype: f64
name: extract_symbolic_data
arguments: tag: D544
datatype: f64
name: extract_symbolic_data
arguments: tag: D173
datatype: f64
name: extract_symbolic_data
arguments: tag: D408
datatype: f64
name: extract_symbolic_data
arguments: tag: D485
datatype: f64
name: extract_symbolic_data
arguments: tag: D33
datatype: f64
name: extract_symbolic_data
arguments: tag: D567
datatype: byte[8]
name: extract_symbolic_data
arguments: tag: D533
datatype: byte[8]
name: extract_symbolic_data
arguments: tag: D49
datatype: f64

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

tool: D568: 30

tool: D839: 60

tool: D95: 29

tool: D861: 58

tool: D156: 28

tool: D574: 56

tool: D779: 27

tool: D83: 54

tool: D288: 26

tool: D755: 52

tool: D295: 25

tool: D64: 50

tool: D658: 24

tool: D604: 48

tool: D3: 23

tool: D388: 46

tool: D283: 22

tool: D773: 44

tool: D609: 21

tool: D167: 42

tool: D390: 20

tool: D887: 40

tool: D285: 19

tool: D52: 38

tool: D218: 18

tool: D593: 36

tool: D577: 17

tool: D621: 34

tool: D803: 16

tool: D98: 32

tool: D910: 15

tool: D484: 14

tool: D731: 13

tool: D148: 12

tool: D710: 11

tool: D122: 10

tool: D515: 9

tool: D273: 8

tool: D551: 7

tool: D352: 6

tool: D128: 5

tool: D132: 4

tool: D908: 3

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

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

tool: D19: 1073741824

tool: D376: 950261514240

tool: D666: 1.007918631616512e+17

tool: D31: 2.3906645637551515e+21

tool: D223: 392695570759680

tool: D410: 2.4404700755000503e+23

tool: D252: 1.966321603688612e+25

tool: D742: 1.271964287386071e+27

tool: D383: 1.8029144523040358e+19

tool: D896: 6.684878977040129e+28

tool: D41: 2.877840399615775e+30

tool: D385: 1.0203252325910476e+32

tool: D361: 2.9887026604646104e+33

tool: D680: 3.6254951189767814e+39

tool: D416: 2.3772435100308284e+41

tool: D87: 6.210548669955539e+42

tool: D468: 7.241856446510402e+34

tool: D539: 1.4509576666044057e+36

tool: D907: 2.398916675452617e+37

tool: D458: 3.2610273556934014e+38

tool: D323: 3.273016426854039e+40

tool: D90: 1.3728581270428033e+42

tool: D674: 2.1595771511436307e+43

tool: D398: 5.633679524722514e+43

tool: D79: 1.4098283010618092e+44

tool: D560: 1.2200437220727196e+44

tool: D544: 1.0680517432286435e+44

tool: D173: 6.326152632969656e+43

tool: D408: 1.6945051695454439e+43

tool: D485: 1.75293638228839e+42

tool: D33: 2.921560637147317e+40

tool: {"D567": [0xb2,0xcb,0x77,0x72,0x70,0x7f,0x94,0x41]}

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

tool: D49: 7.842504618642906e+48

assistant: ```c
double HO_60(const double a, const double x) {
  double retval = sqrt(0.7391536347803839e16) * pow(a, 0.1e1 / 0.4e1) * (0.1073741824e10 * pow(a, 0.30e2) * pow(x, 0.60e2) - 0.950261514240e12 * pow(a, 0.29e2) * pow(x, 0.58e2) + 0.392695570759680e15 * pow(a, 0.28e2) * pow(x, 0.56e2) - 0.100791863161651200e18 * pow(a, 0.27e2) * pow(x, 0.54e2) + 0.18029144523040358400e20 * pow(a, 0.26e2) * pow(x, 0.52e2) - 0.2390664563755151523840e22 * pow(a, 0.25e2) * pow(x, 0.50e2) + 0.244047007550005051392000e24 * pow(a, 0.24e2) * pow(x, 0.48e2) - 0.19663216036886121283584000e26 * pow(a, 0.23e2) * pow(x, 0.46e2) + 0.1271964287386070970531840000e28 * pow(a, 0.22e2) * pow(x, 0.44e2) - 0.66848789770401285451284480000e29 * pow(a, 0.21e2) * pow(x, 0.42e2) + 0.2877840399615775338677796864000e31 * pow(a, 0.20e2) * pow(x, 0.40e2) - 0.102032523259104762007667343360000e33 * pow(a, 0.19e2) * pow(x, 0.38e2) + 0.2988702660464610320474589265920000e34 * pow(a, 0.18e2) * pow(x, 0.36e2) - 0.72418564465104019303807355289600000e35 * pow(a, 0.17e2) * pow(x, 0.34e2) + 0.1450957666604405529622711654195200000e37 * pow(a, 0.16e2) * pow(x, 0.32e2) - 0.23989166754526171423095499349360640000e38 * pow(a, 0.15e2) * pow(x, 0.30e2) + 0.326102735569340142782704444280371200000e39 * pow(a, 0.14e2) * pow(x, 0.28e2) - 0.3625495118976781587407714115822950400000e40 * pow(a, 0.13e2) * pow(x, 0.26e2) + 0.32730164268540389330764085767846080000000e41 * pow(a, 0.12e2) * pow(x, 0.24e2) - 0.237724351003082827770812833471724160000000e42 * pow(a, 0.11e2) * pow(x, 0.22e2) + 0.1372858127042803330376444113299207024000000e43 * pow(a, 0.10e2) * pow(x, 0.20e2) - 0.6210548669955538875512485274448793680000000e43 * pow(a, 0.9e1) * pow(x, 0.18e2) + 0.21595771511436305635304778340696941660000000e44 * pow(a, 0.8e1) * pow(x, 0.16e2) - 0.56336795247225145135577682627905065200000000e44 * pow(a, 0.7e1) * pow(x, 0.14e2) + 0.106805174322864337652866023315403352775000000e45 * pow(a, 0.6e1) * pow(x, 0.12e2) - 0.140982830106180925701783150776332425663000000e45 * pow(a, 0.5e1) * pow(x, 0.10e2) + 0.122004372207271954934235418941056906823750000e45 * pow(a, 0.4e1) * pow(x, 0.8e1) - 0.63261526329696569225159106117585062797500000e44 * pow(a, 0.3e1) * pow(x, 0.6e1) + 0.16945051695454438185310474852924570392187500e44 * a * a * pow(x, 0.4e1) - 0.1752936382288390157101083605474955557812500e43 * a * x * x + 0.29215606371473169285018060091249259296875e41) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.7842504618642905588789016928829896529018880000000e49;
  return retval;
}
```