user: Converte this assembly snippet into its equivalent C code:

```asm
<HO_deriv_97>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x2e8,%rsp
  movsd  D781(%rip),%xmm2
  movsd  %xmm1,(%rsp)
  movapd %xmm2,%xmm1
  movsd  %xmm0,0x8(%rsp)
  call   <pow@plt>
  movsd  D528(%rip),%xmm1
  movq   %xmm0,%rbx
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D760(%rip),%xmm5
  movsd  %xmm0,0x10(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm5,%xmm1
  call   <pow@plt>
  movsd  D755(%rip),%xmm1
  movq   %xmm0,%r14
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D104(%rip),%xmm1
  movsd  %xmm0,0x18(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D540(%rip),%xmm1
  movq   %xmm0,%r15
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D825(%rip),%xmm1
  movsd  %xmm0,0x20(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D605(%rip),%xmm10
  movq   %xmm0,%rbp
  movsd  (%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  movsd  D1141(%rip),%xmm1
  movsd  %xmm0,0x28(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1435(%rip),%xmm1
  movq   %xmm0,%r12
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D924(%rip),%xmm13
  movsd  %xmm0,0x30(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm13,%xmm1
  call   <pow@plt>
  movsd  D820(%rip),%xmm1
  movq   %xmm0,%r13
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1380(%rip),%xmm1
  movsd  %xmm0,0x38(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D53(%rip),%xmm1
  movsd  %xmm0,0x40(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D893(%rip),%xmm9
  movsd  %xmm0,0x48(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm9,%xmm1
  call   <pow@plt>
  movsd  D870(%rip),%xmm1
  movsd  %xmm0,0x50(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D935(%rip),%xmm8
  movsd  %xmm0,0x58(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  mov    D781(%rip),%rax
  movsd  %xmm0,0x60(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D100(%rip),%rax
  movsd  %xmm0,0x68(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D580(%rip),%xmm1
  movsd  %xmm0,0x70(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1494(%rip),%xmm1
  movsd  %xmm0,0x78(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D76(%rip),%xmm1
  movsd  %xmm0,0x80(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1035(%rip),%xmm1
  movsd  %xmm0,0x88(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D34(%rip),%xmm1
  movsd  %xmm0,0x90(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D376(%rip),%xmm1
  movsd  %xmm0,0x98(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D470(%rip),%xmm1
  movsd  %xmm0,0xa0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1335(%rip),%xmm1
  movsd  %xmm0,0xa8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D987(%rip),%xmm7
  movsd  %xmm0,0xb0(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm7,%xmm1
  call   <pow@plt>
  movsd  D561(%rip),%xmm14
  movsd  %xmm0,0xb8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  movsd  D1464(%rip),%xmm1
  movsd  %xmm0,0xc0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D838(%rip),%xmm1
  movsd  %xmm0,0xc8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D107(%rip),%xmm1
  movsd  %xmm0,0xd0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D920(%rip),%xmm1
  movsd  %xmm0,0xd8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1094(%rip),%xmm1
  movsd  %xmm0,0xe0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D22(%rip),%xmm1
  movsd  %xmm0,0xe8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D948(%rip),%xmm2
  movsd  %xmm0,0xf0(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm2,%xmm1
  call   <pow@plt>
  movsd  D691(%rip),%xmm1
  movsd  %xmm0,0xf8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1191(%rip),%xmm1
  movsd  %xmm0,0x100(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  mov    D948(%rip),%rax
  movsd  %xmm0,0x108(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D12(%rip),%xmm1
  movsd  %xmm0,0x110(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1401(%rip),%xmm2
  movsd  %xmm0,0x118(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm2,%xmm1
  call   <pow@plt>
  movsd  D1334(%rip),%xmm6
  movsd  %xmm0,0x120(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm6,%xmm1
  call   <pow@plt>
  movsd  D751(%rip),%xmm1
  movsd  %xmm0,0x128(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D154(%rip),%xmm12
  movsd  %xmm0,0x130(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  movsd  D363(%rip),%xmm1
  movsd  %xmm0,0x138(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D800(%rip),%xmm1
  movsd  %xmm0,0x140(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D977(%rip),%xmm11
  movsd  %xmm0,0x148(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm11,%xmm1
  call   <pow@plt>
  movsd  D448(%rip),%xmm1
  movsd  %xmm0,0x150(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D290(%rip),%xmm1
  movsd  %xmm0,0x158(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D978(%rip),%xmm1
  movsd  %xmm0,0x160(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D472(%rip),%xmm3
  movsd  %xmm0,0x168(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm3,%xmm1
  call   <pow@plt>
  movsd  D587(%rip),%xmm15
  movsd  %xmm0,0x170(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm15,%xmm1
  call   <pow@plt>
  movsd  D986(%rip),%xmm1
  movsd  %xmm0,0x178(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D5(%rip),%xmm1
  movsd  %xmm0,0x180(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D527(%rip),%xmm4
  movsd  %xmm0,0x188(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm4,%xmm1
  call   <pow@plt>
  mov    D924(%rip),%rax
  movsd  %xmm0,0x190(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D101(%rip),%xmm1
  movsd  %xmm0,0x198(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D257(%rip),%xmm13
  movsd  %xmm0,0x1a0(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm13,%xmm1
  call   <pow@plt>
  mov    D587(%rip),%rax
  movsd  %xmm0,0x1a8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D561(%rip),%rax
  movsd  %xmm0,0x2d8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D257(%rip),%rax
  movsd  %xmm0,0x1b0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1189(%rip),%xmm1
  movsd  %xmm0,0x2d0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D232(%rip),%xmm1
  movsd  %xmm0,0x1b8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1459(%rip),%xmm1
  movsd  %xmm0,0x2c8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  mov    D1459(%rip),%rax
  movsd  %xmm0,0x1c0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D926(%rip),%xmm1
  movsd  %xmm0,0x1c8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  mov    D154(%rip),%rax
  movsd  %xmm0,0x1d0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D977(%rip),%rax
  movsd  %xmm0,0x2c0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D605(%rip),%rax
  movsd  %xmm0,0x1d8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D476(%rip),%xmm1
  movsd  %xmm0,0x2b8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1250(%rip),%xmm1
  movsd  %xmm0,0x1e0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D893(%rip),%rax
  movsd  %xmm0,0x2b0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D168(%rip),%xmm9
  movsd  %xmm0,0x1e8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm9,%xmm1
  call   <pow@plt>
  mov    D935(%rip),%rax
  movsd  %xmm0,0x1f0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D987(%rip),%rax
  movsd  %xmm0,0x1f8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D983(%rip),%xmm1
  movsd  %xmm0,0x2a8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  mov    D1334(%rip),%rax
  movsd  %xmm0,0x200(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D760(%rip),%rax
  movsd  %xmm0,0x2a0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1215(%rip),%xmm1
  movsd  %xmm0,0x208(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D92(%rip),%xmm5
  movsd  %xmm0,0x298(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm5,%xmm1
  call   <pow@plt>
  movsd  D1387(%rip),%xmm1
  movsd  %xmm0,0x210(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D527(%rip),%rax
  movsd  %xmm0,0x218(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D92(%rip),%rax
  movsd  %xmm0,0x220(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D100(%rip),%rax
  movsd  %xmm0,0x290(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D709(%rip),%xmm1
  movsd  %xmm0,0x228(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D168(%rip),%rax
  movsd  %xmm0,0x230(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D826(%rip),%xmm4
  movsd  %xmm0,0x238(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm4,%xmm1
  call   <pow@plt>
  mov    D472(%rip),%rax
  movsd  %xmm0,0x288(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D564(%rip),%xmm1
  movsd  %xmm0,0x240(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D840(%rip),%xmm3
  movsd  %xmm0,0x248(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm3,%xmm1
  call   <pow@plt>
  mov    D826(%rip),%rax
  movsd  %xmm0,0x250(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D840(%rip),%rax
  movsd  %xmm0,0x258(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1401(%rip),%rax
  movsd  %xmm0,0x280(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1492(%rip),%xmm1
  movsd  %xmm0,0x260(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D118(%rip),%xmm1
  movsd  %xmm0,0x278(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1405(%rip),%xmm1
  movsd  %xmm0,0x268(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  0x8(%rsp),%xmm7
  movsd  (%rsp),%xmm3
  xorpd  D1245(%rip),%xmm7
  movsd  %xmm0,0x270(%rsp)
  movapd %xmm7,%xmm0
  mulsd  %xmm3,%xmm0
  mulsd  %xmm3,%xmm0
  mulsd  D1306(%rip),%xmm0
  call   <exp@plt>
  movq   %rbx,%xmm1
  movq   %r14,%xmm2
  mulsd  D1225(%rip),%xmm1
  mulsd  D910(%rip),%xmm2
  mulsd  0x18(%rsp),%xmm2
  mulsd  0x10(%rsp),%xmm1
  subsd  %xmm2,%xmm1
  movq   %r15,%xmm2
  mulsd  D320(%rip),%xmm2
  mulsd  0x20(%rsp),%xmm2
  addsd  %xmm1,%xmm2
  movq   %rbp,%xmm1
  mulsd  D1417(%rip),%xmm1
  mulsd  0x28(%rsp),%xmm1
  addsd  %xmm2,%xmm1
  movq   %r12,%xmm2
  mulsd  D1249(%rip),%xmm2
  mulsd  0x30(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movq   %r13,%xmm2
  mulsd  D1315(%rip),%xmm2
  mulsd  0x38(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x40(%rsp),%xmm2
  mulsd  D1054(%rip),%xmm2
  mulsd  0x48(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x50(%rsp),%xmm2
  mulsd  D1247(%rip),%xmm2
  mulsd  0x58(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x60(%rsp),%xmm2
  mulsd  D1279(%rip),%xmm2
  mulsd  0x68(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x70(%rsp),%xmm2
  mulsd  D952(%rip),%xmm2
  mulsd  0x78(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x80(%rsp),%xmm2
  mulsd  D635(%rip),%xmm2
  mulsd  0x88(%rsp),%xmm2
  addsd  %xmm1,%xmm2
  movsd  0x90(%rsp),%xmm1
  mulsd  D169(%rip),%xmm1
  mulsd  0x98(%rsp),%xmm1
  addsd  %xmm2,%xmm1
  movsd  0xa0(%rsp),%xmm2
  mulsd  D586(%rip),%xmm2
  mulsd  0xa8(%rsp),%xmm2
  addsd  %xmm1,%xmm2
  movsd  0xb0(%rsp),%xmm1
  mulsd  D1360(%rip),%xmm1
  mulsd  0xb8(%rsp),%xmm1
  addsd  %xmm1,%xmm2
  movsd  0xc0(%rsp),%xmm1
  mulsd  D433(%rip),%xmm1
  mulsd  0xc8(%rsp),%xmm1
  subsd  %xmm1,%xmm2
  movsd  0xd0(%rsp),%xmm1
  mulsd  D672(%rip),%xmm1
  mulsd  0xd8(%rsp),%xmm1
  addsd  %xmm2,%xmm1
  movsd  0xe0(%rsp),%xmm2
  mulsd  D541(%rip),%xmm2
  mulsd  0xe8(%rsp),%xmm2
  addsd  %xmm1,%xmm2
  movsd  0xf0(%rsp),%xmm1
  mulsd  D483(%rip),%xmm1
  mulsd  0xf8(%rsp),%xmm1
  addsd  %xmm2,%xmm1
  movsd  0x100(%rsp),%xmm2
  mulsd  D1163(%rip),%xmm2
  mulsd  0x108(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x110(%rsp),%xmm2
  mulsd  D1469(%rip),%xmm2
  mulsd  0x118(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x120(%rsp),%xmm2
  mulsd  D805(%rip),%xmm2
  mulsd  0x128(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x130(%rsp),%xmm2
  mulsd  D1457(%rip),%xmm2
  mulsd  0x138(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x140(%rsp),%xmm2
  mulsd  0x148(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x150(%rsp),%xmm2
  mulsd  D406(%rip),%xmm2
  mulsd  0x158(%rsp),%xmm2
  movsd  0x2d8(%rsp),%xmm15
  mulsd  D615(%rip),%xmm15
  movsd  0x2d0(%rsp),%xmm13
  mulsd  0x1b0(%rsp),%xmm15
  movsd  0x2c8(%rsp),%xmm14
  mulsd  D1342(%rip),%xmm13
  movsd  0x2c0(%rsp),%xmm12
  mulsd  0x1b8(%rsp),%xmm13
  mulsd  D1475(%rip),%xmm14
  subsd  %xmm2,%xmm1
  movsd  0x160(%rsp),%xmm2
  mulsd  D1490(%rip),%xmm2
  mulsd  0x168(%rsp),%xmm2
  mulsd  0x1c0(%rsp),%xmm14
  mulsd  D172(%rip),%xmm12
  mulsd  0x1d8(%rsp),%xmm12
  addsd  %xmm2,%xmm1
  movsd  0x170(%rsp),%xmm2
  mulsd  D233(%rip),%xmm2
  mulsd  0x178(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x180(%rsp),%xmm2
  mulsd  D1231(%rip),%xmm2
  mulsd  0x188(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x190(%rsp),%xmm2
  mulsd  D1362(%rip),%xmm2
  mulsd  0x198(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x1a0(%rsp),%xmm2
  mulsd  D557(%rip),%xmm2
  mulsd  0x1a8(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  subsd  %xmm15,%xmm1
  subsd  %xmm13,%xmm1
  subsd  D817(%rip),%xmm1
  movsd  0x1c8(%rsp),%xmm13
  mulsd  D603(%rip),%xmm13
  mulsd  0x1d0(%rsp),%xmm13
  movsd  0x2b8(%rsp),%xmm10
  mulsd  D183(%rip),%xmm10
  addsd  %xmm14,%xmm1
  movsd  0x2b0(%rsp),%xmm11
  mulsd  0x1e0(%rsp),%xmm10
  movsd  0x2a8(%rsp),%xmm7
  mulsd  D1139(%rip),%xmm11
  movsd  0x2a0(%rsp),%xmm6
  mulsd  0x1e8(%rsp),%xmm11
  movsd  0x298(%rsp),%xmm8
  subsd  %xmm13,%xmm1
  mulsd  D1389(%rip),%xmm7
  movsd  0x290(%rsp),%xmm5
  mulsd  0x200(%rsp),%xmm7
  movsd  0x288(%rsp),%xmm9
  mulsd  D280(%rip),%xmm6
  subsd  %xmm12,%xmm1
  mulsd  D1145(%rip),%xmm5
  mulsd  0x208(%rsp),%xmm6
  mulsd  D1197(%rip),%xmm8
  mulsd  0x210(%rsp),%xmm8
  subsd  %xmm10,%xmm1
  mulsd  0x228(%rsp),%xmm5
  mulsd  D524(%rip),%xmm9
  mulsd  0x240(%rsp),%xmm9
  movapd %xmm1,%xmm2
  movsd  0x1f0(%rsp),%xmm1
  mulsd  D292(%rip),%xmm1
  addsd  %xmm11,%xmm2
  mulsd  0x1f8(%rsp),%xmm1
  subsd  %xmm1,%xmm2
  movsd  0x218(%rsp),%xmm1
  mulsd  D36(%rip),%xmm1
  mulsd  0x220(%rsp),%xmm1
  subsd  %xmm7,%xmm2
  subsd  %xmm6,%xmm2
  addsd  %xmm8,%xmm2
  addsd  %xmm1,%xmm2
  movsd  0x230(%rsp),%xmm1
  mulsd  D649(%rip),%xmm1
  mulsd  0x238(%rsp),%xmm1
  subsd  %xmm5,%xmm2
  addsd  %xmm1,%xmm2
  movsd  0x248(%rsp),%xmm1
  mulsd  D1166(%rip),%xmm1
  mulsd  0x250(%rsp),%xmm1
  movsd  0x8(%rsp),%xmm6
  movsd  0x280(%rsp),%xmm3
  movsd  (%rsp),%xmm7
  subsd  %xmm9,%xmm2
  mulsd  D883(%rip),%xmm3
  movsd  0x278(%rsp),%xmm4
  mulsd  0x260(%rsp),%xmm3
  mulsd  D1180(%rip),%xmm4
  mulsd  0x268(%rsp),%xmm4
  addsd  %xmm1,%xmm2
  movsd  D974(%rip),%xmm1
  mulsd  %xmm6,%xmm1
  mulsd  %xmm6,%xmm1
  mulsd  0x258(%rsp),%xmm1
  mulsd  D282(%rip),%xmm6
  subsd  %xmm1,%xmm2
  movapd %xmm6,%xmm1
  mulsd  %xmm7,%xmm1
  mulsd  %xmm7,%xmm1
  addsd  %xmm2,%xmm1
  subsd  %xmm3,%xmm1
  addsd  %xmm4,%xmm1
  mulsd  D793(%rip),%xmm1
  mulsd  D99(%rip),%xmm1
  mulsd  0x270(%rsp),%xmm1
  mulsd  D1024(%rip),%xmm1
  add    $0x2e8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  mulsd  %xmm1,%xmm0
  ret
```

tool_calls: name: disassemble_data
arguments: data_tag: D781
datatype: f64
name: disassemble_data
arguments: data_tag: D528
datatype: f64
name: disassemble_data
arguments: data_tag: D760
datatype: f64
name: disassemble_data
arguments: data_tag: D755
datatype: f64
name: disassemble_data
arguments: data_tag: D104
datatype: f64
name: disassemble_data
arguments: data_tag: D540
datatype: f64
name: disassemble_data
arguments: data_tag: D825
datatype: f64
name: disassemble_data
arguments: data_tag: D605
datatype: f64
name: disassemble_data
arguments: data_tag: D1141
datatype: f64
name: disassemble_data
arguments: data_tag: D1435
datatype: f64
name: disassemble_data
arguments: data_tag: D924
datatype: f64
name: disassemble_data
arguments: data_tag: D820
datatype: f64
name: disassemble_data
arguments: data_tag: D1380
datatype: f64
name: disassemble_data
arguments: data_tag: D53
datatype: f64
name: disassemble_data
arguments: data_tag: D893
datatype: f64
name: disassemble_data
arguments: data_tag: D870
datatype: f64
name: disassemble_data
arguments: data_tag: D935
datatype: f64
name: disassemble_data
arguments: data_tag: D100
datatype: f64
name: disassemble_data
arguments: data_tag: D580
datatype: f64
name: disassemble_data
arguments: data_tag: D1494
datatype: f64
name: disassemble_data
arguments: data_tag: D76
datatype: f64
name: disassemble_data
arguments: data_tag: D1035
datatype: f64
name: disassemble_data
arguments: data_tag: D34
datatype: f64
name: disassemble_data
arguments: data_tag: D376
datatype: f64
name: disassemble_data
arguments: data_tag: D470
datatype: f64
name: disassemble_data
arguments: data_tag: D1335
datatype: f64
name: disassemble_data
arguments: data_tag: D987
datatype: f64
name: disassemble_data
arguments: data_tag: D561
datatype: f64
name: disassemble_data
arguments: data_tag: D1464
datatype: f64
name: disassemble_data
arguments: data_tag: D838
datatype: f64
name: disassemble_data
arguments: data_tag: D107
datatype: f64
name: disassemble_data
arguments: data_tag: D920
datatype: f64
name: disassemble_data
arguments: data_tag: D1094
datatype: f64
name: disassemble_data
arguments: data_tag: D22
datatype: f64
name: disassemble_data
arguments: data_tag: D948
datatype: f64
name: disassemble_data
arguments: data_tag: D691
datatype: f64
name: disassemble_data
arguments: data_tag: D1191
datatype: f64
name: disassemble_data
arguments: data_tag: D12
datatype: f64
name: disassemble_data
arguments: data_tag: D1401
datatype: f64
name: disassemble_data
arguments: data_tag: D1334
datatype: f64
name: disassemble_data
arguments: data_tag: D751
datatype: f64
name: disassemble_data
arguments: data_tag: D154
datatype: f64
name: disassemble_data
arguments: data_tag: D363
datatype: f64
name: disassemble_data
arguments: data_tag: D800
datatype: f64
name: disassemble_data
arguments: data_tag: D977
datatype: f64
name: disassemble_data
arguments: data_tag: D448
datatype: f64
name: disassemble_data
arguments: data_tag: D290
datatype: f64
name: disassemble_data
arguments: data_tag: D978
datatype: f64
name: disassemble_data
arguments: data_tag: D472
datatype: f64
name: disassemble_data
arguments: data_tag: D587
datatype: f64
name: disassemble_data
arguments: data_tag: D986
datatype: f64
name: disassemble_data
arguments: data_tag: D5
datatype: f64
name: disassemble_data
arguments: data_tag: D527
datatype: f64
name: disassemble_data
arguments: data_tag: D101
datatype: f64
name: disassemble_data
arguments: data_tag: D257
datatype: f64
name: disassemble_data
arguments: data_tag: D1189
datatype: f64
name: disassemble_data
arguments: data_tag: D232
datatype: f64
name: disassemble_data
arguments: data_tag: D1459
datatype: f64
name: disassemble_data
arguments: data_tag: D926
datatype: f64
name: disassemble_data
arguments: data_tag: D476
datatype: f64
name: disassemble_data
arguments: data_tag: D1250
datatype: f64
name: disassemble_data
arguments: data_tag: D168
datatype: f64
name: disassemble_data
arguments: data_tag: D983
datatype: f64
name: disassemble_data
arguments: data_tag: D1215
datatype: f64
name: disassemble_data
arguments: data_tag: D92
datatype: f64
name: disassemble_data
arguments: data_tag: D1387
datatype: f64
name: disassemble_data
arguments: data_tag: D709
datatype: f64
name: disassemble_data
arguments: data_tag: D826
datatype: f64
name: disassemble_data
arguments: data_tag: D564
datatype: f64
name: disassemble_data
arguments: data_tag: D840
datatype: f64
name: disassemble_data
arguments: data_tag: D1492
datatype: f64
name: disassemble_data
arguments: data_tag: D118
datatype: f64
name: disassemble_data
arguments: data_tag: D1405
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D1245
datatype: byte[16]
name: disassemble_data
arguments: data_tag: D1306
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D1225
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D910
datatype: f64
name: disassemble_data
arguments: data_tag: D320
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D1417
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D1249
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D1315
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D1054
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D1247
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D1279
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D952
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D635
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D169
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D586
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D1360
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D433
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D672
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D541
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D483
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D1163
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D1469
datatype: f64
name: disassemble_data
arguments: data_tag: D805
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D1457
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D406
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D615
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D1342
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D1475
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D1490
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D172
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D233
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D1231
datatype: f64
name: disassemble_data
arguments: data_tag: D1362
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D557
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D817
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D603
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D183
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D1139
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D1389
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D280
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D1145
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D1197
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D524
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D292
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D36
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D649
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D1166
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D883
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D1180
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D974
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D282
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D793
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D99
datatype: byte[8]
name: disassemble_data
arguments: data_tag: D1024
datatype: byte[8]

tool: D781: 40

tool: D528: 80

tool: D760: 48

tool: D755: 96

tool: D104: 31

tool: D540: 62

tool: D825: 21

tool: D605: 42

tool: D1141: 33

tool: D1435: 66

tool: D924: 44

tool: D820: 88

tool: D1380: 25

tool: D53: 50

tool: D893: 30

tool: D870: 60

tool: D935: 20

tool: D100: 28

tool: D580: 56

tool: D1494: 35

tool: D76: 70

tool: D1035: 43

tool: D34: 86

tool: D376: 37

tool: D470: 74

tool: D1335: 19

tool: D987: 38

tool: D561: 32

tool: D1464: 64

tool: D838: 45

tool: D107: 90

tool: D920: 39

tool: D1094: 78

tool: D22: 23

tool: D948: 46

tool: D691: 27

tool: D1191: 54

tool: D12: 92

tool: D1401: 12

tool: D1334: 24

tool: D751: 9

tool: D154: 18

tool: D363: 49

tool: D800: 98

tool: D977: 36

tool: D448: 72

tool: D290: 41

tool: D978: 82

tool: D472: 8

tool: D587: 16

tool: D986: 47

tool: D5: 94

tool: D527: 22

tool: D101: 13

tool: D257: 26

tool: D1189: 52

tool: D232: 17

tool: D1459: 34

tool: D926: 68

tool: D476: 84

tool: D1250: 15

tool: D168: 10

tool: D983: 76

tool: D1215: 7

tool: D92: 14

tool: D1387: 11

tool: D709: 5

tool: D826: 4

tool: D564: 3

tool: D840: 6

tool: D1492: 29

tool: D118: 58

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

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

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

tool: {"D1225": [0xcf,0x6d,0x25,0x96,0x07,0xb1,0xf5,0xc4]}

tool: D910: 2425

tool: {"D320": [0x7b,0xf0,0x47,0x73,0xad,0x5f,0xa5,0x48]}

tool: {"D1417": [0x63,0x65,0xd1,0xd5,0x8b,0x92,0xb3,0x4b]}

tool: {"D1249": [0x77,0x5d,0xd6,0x0c,0x5b,0x0a,0xe8,0x47]}

tool: {"D1315": [0xcc,0x58,0x88,0x06,0xe0,0xe8,0xf9,0x42]}

tool: {"D1054": [0x51,0x5c,0xae,0xf6,0x9d,0x44,0x9c,0x4a]}

tool: {"D1247": [0x95,0x4b,0x8e,0xcf,0xff,0xdd,0x00,0x49]}

tool: {"D1279": [0x71,0x00,0xf5,0xd8,0x2a,0x65,0xf2,0x4b]}

tool: {"D952": [0x28,0x9f,0x2f,0x13,0xc5,0x87,0xad,0x49]}

tool: {"D635": [0x41,0xb6,0x29,0xa8,0x89,0xa7,0x20,0x47]}

tool: {"D169": [0xfb,0x2b,0x4b,0x20,0x1f,0x71,0x80,0x43]}

tool: {"D586": [0x1c,0x5c,0x32,0xa1,0x3a,0xdc,0x4b,0x46]}

tool: {"D1360": [0x10,0xe6,0xbd,0x2f,0x81,0x46,0x2e,0x4c]}

tool: {"D433": [0x23,0xcc,0x42,0x22,0x03,0x10,0x48,0x48]}

tool: {"D672": [0x00,0xf4,0x87,0x07,0x3a,0x41,0x70,0x42]}

tool: {"D541": [0x3a,0x72,0x4a,0xcd,0xb3,0x3c,0x6b,0x45]}

tool: {"D483": [0xba,0xb9,0x74,0x85,0x7c,0x25,0x2e,0x4b]}

tool: {"D1163": [0x48,0x6a,0xa4,0x50,0x4f,0x61,0x00,0x4a]}

tool: D1469: 2094495780

tool: {"D805": [0x66,0x47,0xa2,0xb8,0x77,0x2a,0x6f,0x4d]}

tool: {"D1457": [0x7b,0x6e,0x0b,0x86,0xca,0xbe,0xb9,0x4d]}

tool: {"D406": [0xea,0x66,0xc6,0x7c,0x66,0xfb,0xb6,0x46]}

tool: {"D615": [0x9f,0x86,0xf4,0x87,0x7e,0x1d,0xcd,0x4c]}

tool: {"D1342": [0x7a,0x71,0x9c,0x9a,0xed,0x25,0x50,0x4a]}

tool: {"D1475": [0xf2,0x39,0x8f,0x05,0x81,0x11,0x9b,0x4c]}

tool: {"D1490": [0x4a,0xce,0xd4,0xee,0x2b,0x94,0x7d,0x44]}

tool: {"D172": [0xaa,0xa7,0x7f,0x2d,0x12,0xba,0x65,0x4c]}

tool: {"D233": [0xdb,0xb5,0x59,0x0a,0xd0,0x49,0xc8,0x4d]}

tool: D1231: 2819790

tool: {"D1362": [0xf3,0x3e,0x7d,0xe3,0x15,0x4c,0x72,0x4b]}

tool: {"D557": [0xac,0xa6,0xde,0x54,0x0c,0x0e,0x4c,0x4d]}

tool: {"D817": [0xa2,0x43,0xcc,0xc8,0x7d,0x6e,0xce,0x4c]}

tool: {"D603": [0x53,0x85,0xc3,0x8f,0xda,0x47,0x85,0x47]}

tool: {"D183": [0x7c,0xdf,0x13,0x0c,0x8d,0x12,0x01,0x44]}

tool: {"D1139": [0x00,0xdb,0x0f,0x82,0xb5,0xde,0xfa,0x4c]}

tool: {"D1389": [0xa8,0xda,0x4f,0x43,0xc3,0x89,0xdd,0x45]}

tool: {"D280": [0xfa,0x9f,0x11,0xc3,0x6e,0xf0,0xe5,0x4a]}

tool: {"D1145": [0x8d,0x8c,0x8f,0xe8,0xa8,0x1f,0x25,0x4d]}

tool: {"D1197": [0x74,0xca,0x40,0x79,0xa4,0x8a,0xd1,0x4d]}

tool: {"D524": [0xb8,0xe6,0x13,0xa3,0x90,0xc2,0xbc,0x4d]}

tool: {"D292": [0x0f,0x0c,0xb0,0x5c,0xc7,0x6f,0xa5,0x4d]}

tool: {"D36": [0xe4,0x5f,0xf8,0x38,0xd6,0x9f,0x8c,0x4d]}

tool: {"D649": [0xd6,0x8f,0x6d,0x65,0x3d,0x74,0xcc,0x4d]}

tool: {"D1166": [0x52,0xc1,0x92,0xcb,0x3c,0xb1,0xa1,0x4d]}

tool: {"D883": [0xf9,0x25,0xda,0x6f,0xf1,0xc3,0xd2,0x4d]}

tool: {"D1180": [0xb3,0x92,0x06,0xbc,0xca,0xaa,0x57,0x49]}

tool: {"D974": [0xb9,0x32,0x99,0x56,0xde,0xd2,0x76,0x4d]}

tool: {"D282": [0x41,0xcb,0x2a,0x52,0xbb,0x0f,0x37,0x4d]}

tool: {"D793": [0x57,0x33,0xd8,0x5c,0x56,0x9a,0x8b,0xb0]}

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

tool: {"D1024": [0x44,0x53,0xcc,0x94,0x2a,0x5b,0x93,0x42]}

assistant: ```c
double HO_deriv_97(const double a, const double x) {
  double retval = -0.2e1 / 0.262182986027006205192949807157375529898104505103011391412633845449072265625e75 * (-0.209787528206064564337306725e27 / 0.128e3 * pow(a, 0.40e2) * pow(x, 0.80e2) - 0.2425e4 * pow(a, 0.48e2) * pow(x, 0.96e2) + 0.15252810829340406853840584357826914071523496875e47 / 0.16384e5 * pow(a, 0.31e2) * pow(x, 0.62e2) + 0.16103274723359439595804135070882112404776198226938028117590078125e65 / 0.33554432e8 * pow(a, 0.21e2) * pow(x, 0.42e2) + 0.16753749699475797410046516384509758946559375e44 / 0.65536e5 * pow(a, 0.33e2) * pow(x, 0.66e2) - 0.1823230824420915e16 / 0.4e1 * pow(a, 0.44e2) * pow(x, 0.88e2) + 0.11090083352883707538552288595250993631911902748424672984375e59 / 0.4194304e7 * pow(a, 0.25e2) * pow(x, 0.50e2) - 0.385178405130248278971259438610417758568158565625e48 / 0.8192e4 * pow(a, 0.30e2) * pow(x, 0.60e2) - 0.242154886670706055614647134592543865848625150139880002758870234375e66 / 0.33554432e8 * pow(a, 0.20e2) * pow(x, 0.40e2) - 0.11048615975628742324479417432164180217610823655796875e53 / 0.131072e6 * pow(a, 0.28e2) * pow(x, 0.56e2) + 0.88550214085160765143641607500910456875e38 / 0.2048e4 * pow(a, 0.35e2) * pow(x, 0.70e2) + 0.1184762400535739025e19 / 0.8e1 * pow(a, 0.43e2) * pow(x, 0.86e2) + 0.4520587200457418429356605608645625e34 / 0.1024e4 * pow(a, 0.37e2) * pow(x, 0.74e2) + 0.6376745348995259464519041210936988467347128953683506739316916171875e67 / 0.67108864e8 * pow(a, 0.19e2) * pow(x, 0.38e2) - 0.1073225495454655492914156255454772205459009375e46 / 0.65536e5 * pow(a, 0.32e2) * pow(x, 0.64e2) + 0.4468083122685e13 / 0.4e1 * pow(a, 0.45e2) * pow(x, 0.90e2) + 0.33717919619602308081937470525e29 / 0.128e3 * pow(a, 0.39e2) * pow(x, 0.78e2) + 0.6055430918209183512949770435030751975991517604494156926953125e61 / 0.4194304e7 * pow(a, 0.23e2) * pow(x, 0.46e2) + 0.784451734269640705038038637683656795450368479561578125e54 / 0.262144e6 * pow(a, 0.27e2) * pow(x, 0.54e2) - 0.2094495780e10 * pow(a, 0.46e2) * pow(x, 0.92e2) - 0.1762091521042170972555054939209638179486996968915385332060505865213271484375e76 / 0.17179869184e11 * pow(a, 0.12e2) * pow(x, 0.24e2) + 0.1490549750206507763093856195688464902750774464634029270057485906810647431640625e79 / 0.549755813888e12 * pow(a, 0.9e1) * pow(x, 0.18e2) + pow(a, 0.49e2) * pow(x, 0.98e2) - 0.477318142347415009468421115028381875e36 / 0.1024e4 * pow(a, 0.36e2) * pow(x, 0.72e2) + 0.1117455294621594259155825e25 / 0.128e3 * pow(a, 0.41e2) * pow(x, 0.82e2) - 0.2812396555267691408303973666022220020673905779393064270853875162617513720703125e79 / 0.549755813888e12 * pow(a, 0.8e1) * pow(x, 0.16e2) + 0.2819790e7 * pow(a, 0.47e2) * pow(x, 0.94e2) - 0.58804962472386959892423326224631969189073182070309923935078125e62 / 0.2097152e7 * pow(a, 0.22e2) * pow(x, 0.44e2) + 0.396549397758685345880905029253260255777216849176306752724886650883416015625e75 / 0.17179869184e11 * pow(a, 0.13e2) * pow(x, 0.26e2) - 0.401891615575481378843581910749812643353501194320320772752944078265234375e72 / 0.4294967296e10 * pow(a, 0.16e2) * pow(x, 0.32e2) - 0.6186744571744459669433496396036629435765643385348171875e55 / 0.65536e5 * pow(a, 0.26e2) * pow(x, 0.52e2) - 0.27529213532835651545259729751524430639300973035816196098326553772152587890625e77 / 0.281474976710656e15 + 0.46704764507337147326155143143091569744094112969793375312752468205859375e71 / 0.4294967296e10 * pow(a, 0.17e2) * pow(x, 0.34e2) - 0.226294991550966399811528552502326723125e39 / 0.64e2 * pow(a, 0.34e2) * pow(x, 0.68e2) - 0.9152413189758406295542846000997760090945348416577185050509987890625e67 / 0.8388608e7 * pow(a, 0.18e2) * pow(x, 0.36e2) - 0.78732846799238657025e20 / 0.2e1 * pow(a, 0.42e2) * pow(x, 0.84e2) + 0.1483597025646647902101199793915735912982150032978745119502618527082421875e73 / 0.2147483648e10 * pow(a, 0.15e2) * pow(x, 0.30e2) - 0.9696065790817022704927509256400422194120945659949332921722261960329462890625e76 / 0.8589934592e10 * pow(a, 0.10e2) * pow(x, 0.20e2) - 0.2340252217665617823653117657625e31 / 0.64e2 * pow(a, 0.38e2) * pow(x, 0.76e2) - 0.275429056421618654347880811276576047324058625793067563296875e60 / 0.4194304e7 * pow(a, 0.24e2) * pow(x, 0.48e2) + 0.4062350579831109811994628628698762252084530570234426169011153012669742041015625e79 / 0.549755813888e12 * pow(a, 0.7e1) * pow(x, 0.14e2) + 0.12947166953263344367500605630447317003011557900121246203622052275245126953125e77 / 0.34359738368e11 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.4665287032455121716245941520626591244437845284427138267351607657451953125e73 / 0.1073741824e10 * pow(a, 0.14e2) * pow(x, 0.28e2) + 0.26358042134253014826662822962952434147246140211521044212886318384531582080078125e80 / 0.4398046511104e13 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.13320730971074104267238200852244778547532995590768699763501687785731014599609375e80 / 0.4398046511104e13 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.8194529228274078943305646222703772186965256306994621038601870839510753662109375e79 / 0.8796093022208e13 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.82587640598506954635779189254573291917902919107448588294979661316457763671875e77 / 0.549755813888e12 * a * a * pow(x, 0.4e1) + 0.2670333712685058199890193785897869772012194384474171021537675715898801025390625e79 / 0.281474976710656e15 * a * x * x - 0.2172885193863151759904103685117942599952190770125390741564105099800094580078125e79 / 0.274877906944e12 * pow(a, 0.6e1) * pow(x, 0.12e2) + 0.276716697756218954769175971985237181493701209528125e51 / 0.131072e6 * pow(a, 0.29e2) * pow(x, 0.58e2)) * pow(0.3141592654e1, -0.1e1 / 0.4e1) * pow(a, 0.3e1 / 0.4e1) * sqrt(0.28308458065534285447478254e26) * exp(-a * x * x / 0.2e1);
  return retval;
}
```