user: Translate the below assembly code into C programming language:

```asm
<HO_63>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x1c8,%rsp
  movsd  %xmm1,(%rsp)
  movsd  D477(%rip),%xmm1
  movsd  %xmm0,0x8(%rsp)
  call   <pow@plt>
  movsd  D446(%rip),%xmm1
  movq   %xmm0,%rbx
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D394(%rip),%xmm1
  movq   %xmm0,%r14
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D278(%rip),%xmm8
  movsd  %xmm0,0x10(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  movsd  D353(%rip),%xmm1
  movsd  %xmm0,0x1b8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D673(%rip),%xmm1
  movsd  %xmm0,0x18(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D15(%rip),%xmm1
  movq   %xmm0,%r15
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D503(%rip),%xmm15
  movsd  %xmm0,0x20(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm15,%xmm1
  call   <pow@plt>
  movsd  D480(%rip),%xmm1
  movsd  %xmm0,0x1b0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D432(%rip),%xmm1
  movsd  %xmm0,0x28(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D126(%rip),%xmm1
  movq   %xmm0,%rbp
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D415(%rip),%xmm14
  movsd  %xmm0,0x30(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  movsd  D655(%rip),%xmm1
  movsd  %xmm0,0x1a8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D647(%rip),%xmm1
  movsd  %xmm0,0x38(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D468(%rip),%xmm1
  movsd  %xmm0,0x1a0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D891(%rip),%xmm13
  movsd  %xmm0,0x40(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm13,%xmm1
  call   <pow@plt>
  movsd  D147(%rip),%xmm1
  movsd  %xmm0,0x198(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D439(%rip),%xmm1
  movsd  %xmm0,0x48(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D524(%rip),%xmm1
  movsd  %xmm0,0x190(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D33(%rip),%xmm12
  movsd  %xmm0,0x50(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  movsd  D44(%rip),%xmm1
  movq   %xmm0,%r12
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D342(%rip),%xmm1
  movsd  %xmm0,0x58(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D178(%rip),%xmm1
  movq   %xmm0,%r13
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D115(%rip),%xmm11
  movsd  %xmm0,0x60(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm11,%xmm1
  call   <pow@plt>
  movsd  D391(%rip),%xmm1
  movsd  %xmm0,0x68(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D156(%rip),%xmm1
  movsd  %xmm0,0x70(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D715(%rip),%xmm1
  movsd  %xmm0,0x78(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D868(%rip),%xmm10
  movsd  %xmm0,0x80(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  movsd  D123(%rip),%xmm1
  movsd  %xmm0,0x88(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D790(%rip),%xmm1
  movsd  %xmm0,0x90(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D888(%rip),%xmm1
  movsd  %xmm0,0x98(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D346(%rip),%xmm9
  movsd  %xmm0,0xa0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm9,%xmm1
  call   <pow@plt>
  movsd  D79(%rip),%xmm1
  movsd  %xmm0,0xa8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D615(%rip),%xmm1
  movsd  %xmm0,0xb0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D278(%rip),%rax
  movsd  %xmm0,0xb8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D537(%rip),%xmm8
  movsd  %xmm0,0xc0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  mov    D503(%rip),%rax
  movsd  %xmm0,0xc8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D31(%rip),%xmm1
  movsd  %xmm0,0xd0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D415(%rip),%rax
  movsd  %xmm0,0x188(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D520(%rip),%xmm14
  movsd  %xmm0,0xd8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  mov    D891(%rip),%rax
  movsd  %xmm0,0xe0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D171(%rip),%xmm1
  movsd  %xmm0,0xe8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D33(%rip),%rax
  movsd  %xmm0,0x180(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D813(%rip),%xmm12
  movsd  %xmm0,0xf0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  mov    D115(%rip),%rax
  movsd  %xmm0,0xf8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D876(%rip),%xmm1
  movsd  %xmm0,0x100(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D868(%rip),%rax
  movsd  %xmm0,0x178(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D239(%rip),%xmm10
  movsd  %xmm0,0x108(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  mov    D346(%rip),%rax
  movsd  %xmm0,0x110(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D605(%rip),%xmm1
  movsd  %xmm0,0x118(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D537(%rip),%rax
  movsd  %xmm0,0x120(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D398(%rip),%xmm8
  movsd  %xmm0,0x128(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  mov    D520(%rip),%rax
  movsd  %xmm0,0x130(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D638(%rip),%xmm1
  movsd  %xmm0,0x138(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D813(%rip),%rax
  movsd  %xmm0,0x170(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D236(%rip),%xmm9
  movsd  %xmm0,0x140(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm9,%xmm1
  call   <pow@plt>
  mov    D239(%rip),%rax
  movsd  %xmm0,0x168(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D753(%rip),%xmm1
  movsd  %xmm0,0x148(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D398(%rip),%rax
  movsd  %xmm0,0x160(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D236(%rip),%rax
  movsd  %xmm0,0x150(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  0x8(%rsp),%xmm6
  movsd  (%rsp),%xmm7
  xorpd  D779(%rip),%xmm6
  movsd  %xmm0,0x158(%rsp)
  movapd %xmm6,%xmm0
  mulsd  %xmm7,%xmm0
  mulsd  %xmm7,%xmm0
  mulsd  D620(%rip),%xmm0
  call   <exp@plt>
  movq   %r14,%xmm1
  movsd  0x1b8(%rsp),%xmm5
  movsd  0x1b0(%rsp),%xmm4
  mulsd  D251(%rip),%xmm1
  movsd  0x1a8(%rsp),%xmm3
  mulsd  D650(%rip),%xmm5
  movsd  0x1a0(%rsp),%xmm7
  mulsd  0x18(%rsp),%xmm5
  movsd  0x198(%rsp),%xmm2
  mulsd  0x10(%rsp),%xmm1
  movsd  0x190(%rsp),%xmm6
  mulsd  D671(%rip),%xmm4
  mulsd  0x28(%rsp),%xmm4
  mulsd  D664(%rip),%xmm3
  mulsd  0x38(%rsp),%xmm3
  subsd  %xmm5,%xmm1
  movq   %r15,%xmm5
  mulsd  D498(%rip),%xmm5
  mulsd  0x20(%rsp),%xmm5
  mulsd  D920(%rip),%xmm7
  mulsd  0x40(%rsp),%xmm7
  mulsd  D912(%rip),%xmm2
  mulsd  0x48(%rsp),%xmm2
  addsd  %xmm5,%xmm1
  mulsd  D609(%rip),%xmm6
  mulsd  0x50(%rsp),%xmm6
  subsd  %xmm4,%xmm1
  movq   %rbp,%xmm4
  mulsd  D237(%rip),%xmm4
  mulsd  0x30(%rsp),%xmm4
  addsd  %xmm4,%xmm1
  subsd  %xmm3,%xmm1
  addsd  %xmm7,%xmm1
  subsd  %xmm2,%xmm1
  movq   %r12,%xmm2
  mulsd  D231(%rip),%xmm2
  mulsd  0x58(%rsp),%xmm2
  addsd  %xmm6,%xmm1
  subsd  %xmm2,%xmm1
  movq   %r13,%xmm2
  mulsd  D38(%rip),%xmm2
  mulsd  0x60(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x68(%rsp),%xmm2
  mulsd  D34(%rip),%xmm2
  mulsd  0x70(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x78(%rsp),%xmm2
  mulsd  D614(%rip),%xmm2
  mulsd  0x80(%rsp),%xmm2
  movsd  0x188(%rsp),%xmm15
  mulsd  D116(%rip),%xmm15
  movsd  0x180(%rsp),%xmm13
  mulsd  0xd8(%rsp),%xmm15
  movsd  0x178(%rsp),%xmm11
  mulsd  D628(%rip),%xmm13
  mulsd  0xf0(%rsp),%xmm13
  mulsd  D827(%rip),%xmm11
  addsd  %xmm2,%xmm1
  movsd  0x88(%rsp),%xmm2
  mulsd  D840(%rip),%xmm2
  mulsd  0x90(%rsp),%xmm2
  mulsd  0x108(%rsp),%xmm11
  subsd  %xmm2,%xmm1
  movsd  0x98(%rsp),%xmm2
  mulsd  D487(%rip),%xmm2
  mulsd  0xa0(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xa8(%rsp),%xmm2
  mulsd  D245(%rip),%xmm2
  mulsd  0xb0(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xb8(%rsp),%xmm2
  mulsd  D855(%rip),%xmm2
  mulsd  0xc0(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xc8(%rsp),%xmm2
  mulsd  D358(%rip),%xmm2
  mulsd  0xd0(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xe0(%rsp),%xmm2
  mulsd  D253(%rip),%xmm2
  mulsd  0xe8(%rsp),%xmm2
  addsd  %xmm15,%xmm1
  subsd  %xmm2,%xmm1
  movsd  0xf8(%rsp),%xmm2
  mulsd  D775(%rip),%xmm2
  mulsd  0x100(%rsp),%xmm2
  addsd  %xmm13,%xmm1
  subsd  %xmm2,%xmm1
  movsd  0x110(%rsp),%xmm2
  mulsd  D363(%rip),%xmm2
  mulsd  0x118(%rsp),%xmm2
  movsd  0x8(%rsp),%xmm3
  movsd  0x170(%rsp),%xmm14
  movsd  (%rsp),%xmm7
  mulsd  D862(%rip),%xmm14
  addsd  %xmm11,%xmm1
  movsd  0x168(%rsp),%xmm12
  mulsd  0x140(%rsp),%xmm14
  movsd  0x160(%rsp),%xmm10
  mulsd  D269(%rip),%xmm12
  mulsd  0x148(%rsp),%xmm12
  subsd  %xmm2,%xmm1
  movsd  0x120(%rsp),%xmm2
  mulsd  D784(%rip),%xmm2
  mulsd  0x128(%rsp),%xmm2
  mulsd  D392(%rip),%xmm10
  mulsd  0x150(%rsp),%xmm10
  addsd  %xmm2,%xmm1
  movsd  0x130(%rsp),%xmm2
  mulsd  D250(%rip),%xmm2
  mulsd  0x138(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  D836(%rip),%xmm2
  mulsd  %xmm3,%xmm2
  addsd  %xmm14,%xmm1
  subsd  %xmm12,%xmm1
  mulsd  %xmm3,%xmm2
  mulsd  D176(%rip),%xmm3
  mulsd  0x158(%rsp),%xmm2
  addsd  %xmm1,%xmm10
  movapd %xmm3,%xmm1
  mulsd  %xmm7,%xmm1
  subsd  %xmm2,%xmm10
  movq   %rbx,%xmm2
  mulsd  D14(%rip),%xmm2
  mulsd  %xmm7,%xmm1
  mulsd  %xmm7,%xmm2
  addsd  %xmm10,%xmm1
  subsd  D578(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  D16(%rip),%xmm0
  divsd  D12(%rip),%xmm0
  add    $0x1c8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: read_data
arguments: label: D477
type: byte[8]
name: read_data
arguments: label: D446
type: f64
name: read_data
arguments: label: D394
type: f64
name: read_data
arguments: label: D278
type: f64
name: read_data
arguments: label: D353
type: f64
name: read_data
arguments: label: D673
type: f64
name: read_data
arguments: label: D15
type: f64
name: read_data
arguments: label: D503
type: f64
name: read_data
arguments: label: D480
type: f64
name: read_data
arguments: label: D432
type: f64
name: read_data
arguments: label: D126
type: f64
name: read_data
arguments: label: D415
type: f64
name: read_data
arguments: label: D655
type: f64
name: read_data
arguments: label: D647
type: f64
name: read_data
arguments: label: D468
type: f64
name: read_data
arguments: label: D891
type: f64
name: read_data
arguments: label: D147
type: f64
name: read_data
arguments: label: D439
type: f64
name: read_data
arguments: label: D524
type: f64
name: read_data
arguments: label: D33
type: f64
name: read_data
arguments: label: D44
type: f64
name: read_data
arguments: label: D342
type: f64
name: read_data
arguments: label: D178
type: f64
name: read_data
arguments: label: D115
type: f64
name: read_data
arguments: label: D391
type: f64
name: read_data
arguments: label: D156
type: f64
name: read_data
arguments: label: D715
type: f64
name: read_data
arguments: label: D868
type: f64
name: read_data
arguments: label: D123
type: f64
name: read_data
arguments: label: D790
type: f64
name: read_data
arguments: label: D888
type: f64
name: read_data
arguments: label: D346
type: f64
name: read_data
arguments: label: D79
type: f64
name: read_data
arguments: label: D615
type: f64
name: read_data
arguments: label: D537
type: f64
name: read_data
arguments: label: D31
type: f64
name: read_data
arguments: label: D520
type: f64
name: read_data
arguments: label: D171
type: f64
name: read_data
arguments: label: D813
type: f64
name: read_data
arguments: label: D876
type: f64
name: read_data
arguments: label: D239
type: f64
name: read_data
arguments: label: D605
type: f64
name: read_data
arguments: label: D398
type: f64
name: read_data
arguments: label: D638
type: f64
name: read_data
arguments: label: D236
type: f64
name: read_data
arguments: label: D753
type: f64
name: read_data
arguments: label: D779
type: byte[16]
name: read_data
arguments: label: D620
type: byte[8]
name: read_data
arguments: label: D251
type: f64
name: read_data
arguments: label: D650
type: f64
name: read_data
arguments: label: D671
type: f64
name: read_data
arguments: label: D664
type: f64
name: read_data
arguments: label: D498
type: f64
name: read_data
arguments: label: D920
type: f64
name: read_data
arguments: label: D912
type: f64
name: read_data
arguments: label: D609
type: f64
name: read_data
arguments: label: D237
type: f64
name: read_data
arguments: label: D231
type: f64
name: read_data
arguments: label: D38
type: f64
name: read_data
arguments: label: D34
type: f64
name: read_data
arguments: label: D614
type: f64
name: read_data
arguments: label: D116
type: f64
name: read_data
arguments: label: D628
type: f64
name: read_data
arguments: label: D827
type: f64
name: read_data
arguments: label: D840
type: f64
name: read_data
arguments: label: D487
type: f64
name: read_data
arguments: label: D245
type: f64
name: read_data
arguments: label: D855
type: f64
name: read_data
arguments: label: D358
type: f64
name: read_data
arguments: label: D253
type: f64
name: read_data
arguments: label: D775
type: f64
name: read_data
arguments: label: D363
type: f64
name: read_data
arguments: label: D862
type: f64
name: read_data
arguments: label: D269
type: f64
name: read_data
arguments: label: D784
type: f64
name: read_data
arguments: label: D392
type: f64
name: read_data
arguments: label: D250
type: f64
name: read_data
arguments: label: D836
type: f64
name: read_data
arguments: label: D176
type: f64
name: read_data
arguments: label: D14
type: byte[8]
name: read_data
arguments: label: D578
type: f64
name: read_data
arguments: label: D16
type: byte[8]
name: read_data
arguments: label: D12
type: f64

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

tool: D446: 31

tool: D394: 62

tool: D278: 30

tool: D353: 60

tool: D673: 29

tool: D15: 58

tool: D503: 28

tool: D480: 56

tool: D432: 27

tool: D126: 54

tool: D415: 26

tool: D655: 52

tool: D647: 25

tool: D468: 50

tool: D891: 24

tool: D147: 48

tool: D439: 23

tool: D524: 46

tool: D33: 22

tool: D44: 44

tool: D342: 21

tool: D178: 42

tool: D115: 20

tool: D391: 40

tool: D156: 19

tool: D715: 38

tool: D868: 18

tool: D123: 36

tool: D790: 17

tool: D888: 34

tool: D346: 16

tool: D79: 32

tool: D615: 15

tool: D537: 14

tool: D31: 13

tool: D520: 12

tool: D171: 11

tool: D813: 10

tool: D876: 9

tool: D239: 8

tool: D605: 7

tool: D398: 6

tool: D638: 5

tool: D236: 4

tool: D753: 3

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

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

tool: D251: 2147483648

tool: D650: 2097017782272

tool: D671: 2.7358480369188864e+17

tool: D664: 8.10515499797497e+21

tool: D498: 959385635389440

tool: D920: 9.307419656007924e+23

tool: D912: 8.47640004386436e+25

tool: D609: 6.230154032240304e+27

tool: D237: 5.458016833653178e+19

tool: D231: 3.7415536160287606e+29

tool: D38: 1.8520690399342364e+31

tool: D34: 7.601901559366434e+32

tool: D614: 2.5973163661168647e+34

tool: D116: 8.887162757388085e+41

tool: D628: 6.156698936532666e+43

tool: D827: 1.7700509442531416e+45

tool: D840: 7.402351643433065e+35

tool: D487: 1.7607022123308647e+37

tool: D245: 3.492059387789548e+38

tool: D855: 5.761897989852755e+39

tool: D358: 7.880242839063326e+40

tool: D253: 8.208931915376889e+42

tool: D775: 3.708678168911344e+44

tool: D363: 6.579971988419287e+45

tool: D862: 5.872624999664214e+46

tool: D269: 5.98137731447281e+46

tool: D784: 1.864325396718798e+46

tool: D392: 3.845171130732521e+46

tool: D250: 3.915083333109476e+46

tool: D836: 1.3922171335410853e+46

tool: D176: 2.320361889235142e+45

tool: {"D14": [0x36,0x07,0x02,0x20,0x53,0xbc,0x85,0x41]}

tool: D578: 1.1227557528557138e+44

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

tool: D12: 1.4351783452116517e+51

assistant: ```c
double HO_63(const double a, const double x) {
  double retval = sqrt(0.2077805148460987e16) * pow(a, 0.3e1 / 0.4e1) * x * (0.2147483648e10 * pow(a, 0.31e2) * pow(x, 0.62e2) - 0.2097017782272e13 * pow(a, 0.30e2) * pow(x, 0.60e2) + 0.959385635389440e15 * pow(a, 0.29e2) * pow(x, 0.58e2) - 0.273584803691888640e18 * pow(a, 0.28e2) * pow(x, 0.56e2) + 0.54580168336531783680e20 * pow(a, 0.27e2) * pow(x, 0.54e2) - 0.8105154997974969876480e22 * pow(a, 0.26e2) * pow(x, 0.52e2) + 0.930741965600792374149120e24 * pow(a, 0.25e2) * pow(x, 0.50e2) - 0.84764000438643591217152000e26 * pow(a, 0.24e2) * pow(x, 0.48e2) + 0.6230154032240303954460672000e28 * pow(a, 0.23e2) * pow(x, 0.46e2) - 0.374155361602876031931777024000e30 * pow(a, 0.22e2) * pow(x, 0.44e2) + 0.18520690399342363580622962688000e32 * pow(a, 0.21e2) * pow(x, 0.42e2) - 0.760190155936643377877387968512000e33 * pow(a, 0.20e2) * pow(x, 0.40e2) + 0.25973163661168648744144088924160000e35 * pow(a, 0.19e2) * pow(x, 0.38e2) - 0.740235164343306489208106534338560000e36 * pow(a, 0.18e2) * pow(x, 0.36e2) + 0.17607022123308647207592819709624320000e38 * pow(a, 0.17e2) * pow(x, 0.34e2) - 0.349205938778954836283924257574215680000e39 * pow(a, 0.16e2) * pow(x, 0.32e2) + 0.5761897989852754798684750249974558720000e40 * pow(a, 0.15e2) * pow(x, 0.30e2) - 0.78802428390633264158482613712887347200000e41 * pow(a, 0.14e2) * pow(x, 0.28e2) + 0.888716275738808479120665032428673971200000e42 * pow(a, 0.13e2) * pow(x, 0.26e2) - 0.8208931915376888846614563852170120102400000e43 * pow(a, 0.12e2) * pow(x, 0.24e2) + 0.61566989365326666349609228891275900768000000e44 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.370867816891134442534550831178400068912000000e45 * pow(a, 0.10e2) * pow(x, 0.20e2) + 0.1770050944253141657551265330624182147080000000e46 * pow(a, 0.9e1) * pow(x, 0.18e2) - 0.6579971988419287466114486337755111894580000000e46 * pow(a, 0.8e1) * pow(x, 0.16e2) + 0.18643253967187981153991044623639483701310000000e47 * pow(a, 0.7e1) * pow(x, 0.14e2) - 0.39150833331094760423381193709642915772751000000e47 * pow(a, 0.6e1) * pow(x, 0.12e2) + 0.58726249996642140635071790564464373659126500000e47 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.59813773144728106202387934834176676875036250000e47 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.38451711307325211130106529536256435133951875000e47 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.13922171335410852305728226211403192031258437500e47 * a * a * pow(x, 0.4e1) + 0.2320361889235142050954704368567198671876406250e46 * a * x * x - 0.112275575285571389562324404930670903477890625e45) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.1435178345211651722748390097975871064810455040000000e52;
  return retval;
}
```