user: 这段汇编代码用C语言表示是什么样的:

```asm
<HO_deriv_94>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x2c8,%rsp
  movsd  %xmm1,(%rsp)
  movsd  D159(%rip),%xmm1
  movsd  %xmm0,0x8(%rsp)
  call   <pow@plt>
  movsd  D156(%rip),%xmm2
  movq   %xmm0,%rbx
  movsd  0x8(%rsp),%xmm0
  movapd %xmm2,%xmm1
  call   <pow@plt>
  movsd  D704(%rip),%xmm1
  movq   %xmm0,%r14
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1262(%rip),%xmm1
  movsd  %xmm0,0x10(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D575(%rip),%xmm1
  movq   %xmm0,%r15
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D379(%rip),%xmm1
  movsd  %xmm0,0x18(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D995(%rip),%xmm10
  movq   %xmm0,%rbp
  movsd  (%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  movsd  D670(%rip),%xmm1
  movsd  %xmm0,0x20(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D111(%rip),%xmm1
  movq   %xmm0,%r12
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D946(%rip),%xmm13
  movsd  %xmm0,0x28(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm13,%xmm1
  call   <pow@plt>
  movsd  D1301(%rip),%xmm1
  movq   %xmm0,%r13
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D302(%rip),%xmm1
  movsd  %xmm0,0x30(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1389(%rip),%xmm1
  movsd  %xmm0,0x38(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D119(%rip),%xmm9
  movsd  %xmm0,0x40(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm9,%xmm1
  call   <pow@plt>
  movsd  D867(%rip),%xmm1
  movsd  %xmm0,0x48(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D504(%rip),%xmm8
  movsd  %xmm0,0x50(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  mov    D156(%rip),%rax
  movsd  %xmm0,0x58(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D878(%rip),%xmm4
  movsd  %xmm0,0x60(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm4,%xmm1
  call   <pow@plt>
  movsd  D793(%rip),%xmm1
  movsd  %xmm0,0x68(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D415(%rip),%xmm1
  movsd  %xmm0,0x70(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1426(%rip),%xmm1
  movsd  %xmm0,0x78(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D197(%rip),%xmm1
  movsd  %xmm0,0x80(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1374(%rip),%xmm1
  movsd  %xmm0,0x88(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D72(%rip),%xmm1
  movsd  %xmm0,0x90(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1208(%rip),%xmm1
  movsd  %xmm0,0x98(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D940(%rip),%xmm1
  movsd  %xmm0,0xa0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D377(%rip),%xmm7
  movsd  %xmm0,0xa8(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm7,%xmm1
  call   <pow@plt>
  movsd  D923(%rip),%xmm14
  movsd  %xmm0,0xb0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  movsd  D1312(%rip),%xmm1
  movsd  %xmm0,0xb8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D34(%rip),%xmm1
  movsd  %xmm0,0xc0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D952(%rip),%xmm1
  movsd  %xmm0,0xc8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D397(%rip),%xmm1
  movsd  %xmm0,0xd0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1337(%rip),%xmm1
  movsd  %xmm0,0xd8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D195(%rip),%xmm1
  movsd  %xmm0,0xe0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1046(%rip),%xmm2
  movsd  %xmm0,0xe8(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm2,%xmm1
  call   <pow@plt>
  movsd  D1243(%rip),%xmm1
  movsd  %xmm0,0xf0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D45(%rip),%xmm1
  movsd  %xmm0,0xf8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  mov    D1046(%rip),%rax
  movsd  %xmm0,0x100(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D73(%rip),%xmm1
  movsd  %xmm0,0x108(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D493(%rip),%xmm2
  movsd  %xmm0,0x110(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm2,%xmm1
  call   <pow@plt>
  movsd  D1278(%rip),%xmm6
  movsd  %xmm0,0x118(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm6,%xmm1
  call   <pow@plt>
  movsd  D473(%rip),%xmm1
  movsd  %xmm0,0x120(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D220(%rip),%xmm12
  movsd  %xmm0,0x128(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  movsd  D65(%rip),%xmm11
  movsd  %xmm0,0x130(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm11,%xmm1
  call   <pow@plt>
  movsd  D913(%rip),%xmm1
  movsd  %xmm0,0x138(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1325(%rip),%xmm1
  movsd  %xmm0,0x140(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D244(%rip),%xmm1
  movsd  %xmm0,0x148(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D725(%rip),%xmm3
  movsd  %xmm0,0x150(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm3,%xmm1
  call   <pow@plt>
  movsd  D141(%rip),%xmm15
  movsd  %xmm0,0x158(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm15,%xmm1
  call   <pow@plt>
  movsd  D912(%rip),%xmm1
  movsd  %xmm0,0x160(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1339(%rip),%xmm1
  movsd  %xmm0,0x168(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1304(%rip),%xmm5
  movsd  %xmm0,0x170(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm5,%xmm1
  call   <pow@plt>
  mov    D946(%rip),%rax
  movsd  %xmm0,0x178(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D423(%rip),%xmm1
  movsd  %xmm0,0x180(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D329(%rip),%xmm13
  movsd  %xmm0,0x188(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm13,%xmm1
  call   <pow@plt>
  mov    D141(%rip),%rax
  movsd  %xmm0,0x190(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D923(%rip),%rax
  movsd  %xmm0,0x2b8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D329(%rip),%rax
  movsd  %xmm0,0x198(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1399(%rip),%xmm1
  movsd  %xmm0,0x2b0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1095(%rip),%xmm1
  movsd  %xmm0,0x1a0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1130(%rip),%xmm1
  movsd  %xmm0,0x2a8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  mov    D1130(%rip),%rax
  movsd  %xmm0,0x1a8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D118(%rip),%xmm1
  movsd  %xmm0,0x1b0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  mov    D220(%rip),%rax
  movsd  %xmm0,0x1b8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D65(%rip),%rax
  movsd  %xmm0,0x2a0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D995(%rip),%rax
  movsd  %xmm0,0x1c0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1198(%rip),%xmm1
  movsd  %xmm0,0x298(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1249(%rip),%xmm1
  movsd  %xmm0,0x1c8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D119(%rip),%rax
  movsd  %xmm0,0x290(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1306(%rip),%xmm9
  movsd  %xmm0,0x1d0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm9,%xmm1
  call   <pow@plt>
  mov    D504(%rip),%rax
  movsd  %xmm0,0x1d8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D377(%rip),%rax
  movsd  %xmm0,0x1e0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1333(%rip),%xmm1
  movsd  %xmm0,0x288(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  mov    D1278(%rip),%rax
  movsd  %xmm0,0x1e8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1132(%rip),%xmm1
  movsd  %xmm0,0x280(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D817(%rip),%xmm1
  movsd  %xmm0,0x1f0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1362(%rip),%xmm6
  movsd  %xmm0,0x1f8(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm6,%xmm1
  call   <pow@plt>
  movsd  D752(%rip),%xmm1
  movsd  %xmm0,0x200(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1304(%rip),%rax
  movsd  %xmm0,0x208(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1362(%rip),%rax
  movsd  %xmm0,0x210(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D878(%rip),%rax
  movsd  %xmm0,0x278(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D10(%rip),%xmm1
  movsd  %xmm0,0x218(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1306(%rip),%rax
  movsd  %xmm0,0x270(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1293(%rip),%xmm4
  movsd  %xmm0,0x220(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm4,%xmm1
  call   <pow@plt>
  mov    D725(%rip),%rax
  movsd  %xmm0,0x268(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D868(%rip),%xmm1
  movsd  %xmm0,0x228(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D526(%rip),%xmm3
  movsd  %xmm0,0x230(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm3,%xmm1
  call   <pow@plt>
  mov    D1293(%rip),%rax
  movsd  %xmm0,0x238(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D526(%rip),%rax
  movsd  %xmm0,0x240(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D493(%rip),%rax
  movsd  %xmm0,0x260(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D212(%rip),%xmm1
  movsd  %xmm0,0x248(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D342(%rip),%xmm1
  movsd  %xmm0,0x258(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  0x8(%rsp),%xmm7
  movsd  (%rsp),%xmm3
  xorpd  D1226(%rip),%xmm7
  movsd  %xmm0,0x250(%rsp)
  movapd %xmm7,%xmm0
  mulsd  %xmm3,%xmm0
  mulsd  %xmm3,%xmm0
  mulsd  D1094(%rip),%xmm0
  call   <exp@plt>
  movq   %r14,%xmm1
  movq   %r15,%xmm2
  mulsd  D1204(%rip),%xmm1
  mulsd  D1072(%rip),%xmm2
  mulsd  0x10(%rsp),%xmm1
  mulsd  0x18(%rsp),%xmm2
  addsd  %xmm1,%xmm2
  movq   %rbp,%xmm1
  mulsd  D511(%rip),%xmm1
  mulsd  0x20(%rsp),%xmm1
  addsd  %xmm2,%xmm1
  movq   %r12,%xmm2
  mulsd  D624(%rip),%xmm2
  mulsd  0x28(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movq   %r13,%xmm2
  mulsd  D1356(%rip),%xmm2
  mulsd  0x30(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x38(%rsp),%xmm2
  mulsd  D1393(%rip),%xmm2
  mulsd  0x40(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x48(%rsp),%xmm2
  mulsd  D701(%rip),%xmm2
  mulsd  0x50(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x58(%rsp),%xmm2
  mulsd  D935(%rip),%xmm2
  mulsd  0x60(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x68(%rsp),%xmm2
  mulsd  D711(%rip),%xmm2
  mulsd  0x70(%rsp),%xmm2
  subsd  D899(%rip),%xmm1
  subsd  %xmm2,%xmm1
  movsd  0x78(%rsp),%xmm2
  mulsd  D634(%rip),%xmm2
  mulsd  0x80(%rsp),%xmm2
  addsd  %xmm1,%xmm2
  movsd  0x88(%rsp),%xmm1
  mulsd  D285(%rip),%xmm1
  mulsd  0x90(%rsp),%xmm1
  addsd  %xmm2,%xmm1
  movsd  0x98(%rsp),%xmm2
  mulsd  D1309(%rip),%xmm2
  mulsd  0xa0(%rsp),%xmm2
  addsd  %xmm1,%xmm2
  movsd  0xa8(%rsp),%xmm1
  mulsd  D32(%rip),%xmm1
  mulsd  0xb0(%rsp),%xmm1
  addsd  %xmm1,%xmm2
  movsd  0xb8(%rsp),%xmm1
  mulsd  D1428(%rip),%xmm1
  mulsd  0xc0(%rsp),%xmm1
  subsd  %xmm1,%xmm2
  movsd  0xc8(%rsp),%xmm1
  mulsd  D650(%rip),%xmm1
  mulsd  0xd0(%rsp),%xmm1
  addsd  %xmm2,%xmm1
  movsd  0xd8(%rsp),%xmm2
  mulsd  D553(%rip),%xmm2
  mulsd  0xe0(%rsp),%xmm2
  addsd  %xmm1,%xmm2
  movsd  0xe8(%rsp),%xmm1
  mulsd  D916(%rip),%xmm1
  mulsd  0xf0(%rsp),%xmm1
  addsd  %xmm2,%xmm1
  movsd  0xf8(%rsp),%xmm2
  mulsd  D759(%rip),%xmm2
  mulsd  0x100(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x108(%rsp),%xmm2
  mulsd  D723(%rip),%xmm2
  mulsd  0x110(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x118(%rsp),%xmm2
  mulsd  D491(%rip),%xmm2
  mulsd  0x120(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x128(%rsp),%xmm2
  mulsd  D186(%rip),%xmm2
  mulsd  0x130(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x138(%rsp),%xmm2
  mulsd  D908(%rip),%xmm2
  mulsd  0x140(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x148(%rsp),%xmm2
  mulsd  D729(%rip),%xmm2
  mulsd  0x150(%rsp),%xmm2
  movsd  0x2b8(%rsp),%xmm15
  mulsd  D1182(%rip),%xmm15
  movsd  0x2b0(%rsp),%xmm13
  mulsd  0x198(%rsp),%xmm15
  movsd  0x2a8(%rsp),%xmm14
  mulsd  D234(%rip),%xmm13
  movsd  0x2a0(%rsp),%xmm12
  mulsd  0x1a0(%rsp),%xmm13
  movsd  0x298(%rsp),%xmm10
  mulsd  D615(%rip),%xmm14
  addsd  %xmm2,%xmm1
  movsd  0x158(%rsp),%xmm2
  mulsd  D662(%rip),%xmm2
  movsd  0x290(%rsp),%xmm11
  mulsd  0x160(%rsp),%xmm2
  mulsd  0x1a8(%rsp),%xmm14
  mulsd  D1074(%rip),%xmm12
  mulsd  0x1c0(%rsp),%xmm12
  mulsd  D372(%rip),%xmm10
  mulsd  0x1c8(%rsp),%xmm10
  subsd  %xmm2,%xmm1
  movsd  0x168(%rsp),%xmm2
  mulsd  0x170(%rsp),%xmm2
  mulsd  D478(%rip),%xmm11
  addsd  %xmm2,%xmm1
  movsd  0x178(%rsp),%xmm2
  mulsd  D1157(%rip),%xmm2
  mulsd  0x180(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x188(%rsp),%xmm2
  mulsd  D307(%rip),%xmm2
  mulsd  0x190(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x1b0(%rsp),%xmm2
  mulsd  D192(%rip),%xmm2
  mulsd  0x1b8(%rsp),%xmm2
  mulsd  0x1d0(%rsp),%xmm11
  movsd  0x288(%rsp),%xmm7
  subsd  %xmm15,%xmm1
  mulsd  D1423(%rip),%xmm7
  movsd  0x280(%rsp),%xmm8
  mulsd  0x1e8(%rsp),%xmm7
  movsd  0x278(%rsp),%xmm5
  mulsd  D958(%rip),%xmm8
  movsd  0x270(%rsp),%xmm6
  subsd  %xmm13,%xmm1
  mulsd  D1(%rip),%xmm5
  movsd  0x268(%rsp),%xmm9
  mulsd  0x1f0(%rsp),%xmm8
  mulsd  0x218(%rsp),%xmm5
  addsd  %xmm14,%xmm1
  mulsd  D895(%rip),%xmm6
  mulsd  0x220(%rsp),%xmm6
  mulsd  D659(%rip),%xmm9
  mulsd  0x228(%rsp),%xmm9
  subsd  %xmm2,%xmm1
  subsd  %xmm12,%xmm1
  subsd  %xmm10,%xmm1
  movapd %xmm1,%xmm2
  movsd  0x1d8(%rsp),%xmm1
  mulsd  D1001(%rip),%xmm1
  addsd  %xmm11,%xmm2
  mulsd  0x1e0(%rsp),%xmm1
  subsd  %xmm1,%xmm2
  movsd  0x1f8(%rsp),%xmm1
  mulsd  D863(%rip),%xmm1
  mulsd  0x200(%rsp),%xmm1
  subsd  %xmm7,%xmm2
  subsd  %xmm8,%xmm2
  addsd  %xmm1,%xmm2
  movsd  0x208(%rsp),%xmm1
  mulsd  D260(%rip),%xmm1
  mulsd  0x210(%rsp),%xmm1
  addsd  %xmm1,%xmm2
  movsd  0x230(%rsp),%xmm1
  mulsd  D211(%rip),%xmm1
  mulsd  0x238(%rsp),%xmm1
  subsd  %xmm5,%xmm2
  movsd  0x8(%rsp),%xmm5
  addsd  %xmm6,%xmm2
  subsd  %xmm9,%xmm2
  addsd  %xmm1,%xmm2
  movsd  D66(%rip),%xmm1
  mulsd  %xmm5,%xmm1
  mulsd  %xmm5,%xmm1
  mulsd  0x240(%rsp),%xmm1
  mulsd  D1016(%rip),%xmm5
  movsd  (%rsp),%xmm7
  movsd  0x260(%rsp),%xmm3
  mulsd  D695(%rip),%xmm3
  mulsd  0x248(%rsp),%xmm3
  movsd  0x258(%rsp),%xmm4
  mulsd  D697(%rip),%xmm4
  mulsd  0x250(%rsp),%xmm4
  subsd  %xmm1,%xmm2
  movapd %xmm5,%xmm1
  mulsd  %xmm7,%xmm1
  mulsd  %xmm7,%xmm1
  addsd  %xmm2,%xmm1
  movq   %rbx,%xmm2
  mulsd  D593(%rip),%xmm2
  mulsd  D566(%rip),%xmm2
  subsd  %xmm3,%xmm1
  addsd  %xmm4,%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  D251(%rip),%xmm1
  add    $0x2c8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  mulsd  %xmm7,%xmm1
  mulsd  %xmm1,%xmm0
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D159
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D156
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D704
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1262
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D575
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D379
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D995
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D670
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D111
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D946
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1301
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D302
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1389
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D119
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D867
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D504
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D878
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D793
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D415
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1426
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D197
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1374
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D72
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1208
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D940
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D377
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D923
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1312
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D34
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D952
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D397
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1337
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D195
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1046
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1243
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D45
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D73
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D493
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1278
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D473
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D220
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D65
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D913
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1325
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D244
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D725
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D141
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D912
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1339
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1304
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D423
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D329
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1399
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1095
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1130
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D118
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1198
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1249
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1306
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1333
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1132
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D817
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1362
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D752
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D10
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1293
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D868
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D526
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D212
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D342
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1226
type_guessed: byte[16]
name: extract_symbolic_data
arguments: data_label: D1094
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D1204
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D1072
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D511
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D624
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D1356
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D1393
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D701
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D935
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D711
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D899
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D634
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D285
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D1309
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D32
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D1428
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D650
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D553
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D916
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D759
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D723
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D491
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D186
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D908
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D729
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D1182
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D234
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D615
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D662
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D1074
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D372
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D478
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D1157
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D307
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D192
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D1423
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D958
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D1
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D895
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D659
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D1001
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D863
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D260
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D211
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D66
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D1016
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D695
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D697
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D593
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D566
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D251
type_guessed: byte[8]

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

tool: D156: 40

tool: D704: 80

tool: D1262: 31

tool: D575: 62

tool: D379: 21

tool: D995: 42

tool: D670: 33

tool: D111: 66

tool: D946: 44

tool: D1301: 88

tool: D302: 25

tool: D1389: 50

tool: D119: 30

tool: D867: 60

tool: D504: 20

tool: D878: 28

tool: D793: 56

tool: D415: 35

tool: D1426: 70

tool: D197: 43

tool: D1374: 86

tool: D72: 37

tool: D1208: 74

tool: D940: 19

tool: D377: 38

tool: D923: 32

tool: D1312: 64

tool: D34: 45

tool: D952: 90

tool: D397: 39

tool: D1337: 78

tool: D195: 23

tool: D1046: 46

tool: D1243: 27

tool: D45: 54

tool: D73: 92

tool: D493: 12

tool: D1278: 24

tool: D473: 9

tool: D220: 18

tool: D65: 36

tool: D913: 72

tool: D1325: 41

tool: D244: 82

tool: D725: 8

tool: D141: 16

tool: D912: 47

tool: D1339: 94

tool: D1304: 22

tool: D423: 13

tool: D329: 26

tool: D1399: 52

tool: D1095: 17

tool: D1130: 34

tool: D118: 68

tool: D1198: 84

tool: D1249: 15

tool: D1306: 10

tool: D1333: 76

tool: D1132: 48

tool: D817: 7

tool: D1362: 14

tool: D752: 11

tool: D10: 5

tool: D1293: 4

tool: D868: 3

tool: D526: 6

tool: D212: 29

tool: D342: 58

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

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

tool: {"D1204": [0x8a,0x65,0xd2,0xa0,0xad,0x79,0xf5,0xc3]}

tool: {"D1072": [0x99,0x2d,0x09,0xdc,0x08,0x28,0xcd,0x47]}

tool: {"D511": [0x02,0xf7,0x6b,0x5b,0x6e,0x55,0xf8,0x4a]}

tool: {"D624": [0xaa,0xd9,0x91,0x38,0xef,0x24,0x08,0x47]}

tool: {"D1356": [0x00,0x00,0xe8,0x56,0xf4,0xd0,0xd9,0x41]}

tool: {"D1393": [0xd6,0x5a,0x0c,0x12,0x55,0x94,0xd5,0x49]}

tool: {"D701": [0x2f,0x46,0x17,0x25,0x9b,0x94,0x2a,0x48]}

tool: {"D935": [0xdd,0x99,0x73,0x57,0x33,0xc7,0x39,0x4b]}

tool: {"D711": [0x16,0xe7,0xf3,0xaf,0x9c,0xa0,0xde,0x48]}

tool: {"D899": [0x0f,0x5d,0x58,0x93,0x10,0xf9,0x83,0x4c]}

tool: {"D634": [0xfc,0x15,0x18,0x17,0x58,0xe5,0x37,0x46]}

tool: {"D285": [0x00,0xba,0xf0,0x20,0xa4,0x2b,0x69,0x42]}

tool: {"D1309": [0xc0,0x84,0xc2,0x92,0x9a,0x64,0x5b,0x45]}

tool: {"D32": [0xd3,0x4b,0x07,0x6a,0x83,0xe8,0x77,0x4b]}

tool: {"D1428": [0x93,0xdd,0x18,0xc3,0x77,0x41,0x6c,0x47]}

tool: {"D650": [0x00,0x00,0x00,0xe0,0xbf,0xfb,0x42,0x41]}

tool: {"D553": [0xee,0x65,0xe6,0xfe,0x8a,0x4c,0x71,0x44]}

tool: {"D916": [0x17,0x9a,0xae,0x90,0xe2,0x71,0x6d,0x4a]}

tool: {"D759": [0x3c,0x58,0x58,0x27,0xa3,0x61,0x33,0x49]}

tool: {"D723": [0x00,0x00,0x00,0x00,0x00,0xcf,0xa1,0x40]}

tool: {"D491": [0x7b,0x3b,0xa9,0x2b,0x88,0x80,0xcd,0x4c]}

tool: {"D186": [0x7e,0x12,0x9d,0x7f,0x05,0xce,0x22,0x4d]}

tool: {"D908": [0xf0,0x9d,0x36,0x72,0xaf,0x76,0xcb,0x45]}

tool: {"D729": [0xb1,0x19,0x4f,0xbd,0xd9,0x33,0x76,0x43]}

tool: {"D1182": [0xa1,0x4a,0x40,0x99,0xd1,0x84,0x20,0x4c]}

tool: {"D234": [0xfc,0xc5,0xd4,0x2d,0x62,0xbb,0x85,0x49]}

tool: {"D615": [0xe4,0x69,0x6f,0x18,0x96,0x30,0xeb,0x4b]}

tool: {"D662": [0xe5,0xfb,0xa5,0x5a,0xa0,0xda,0x34,0x4d]}

tool: {"D1074": [0x15,0x45,0x04,0x70,0xe8,0x57,0xb3,0x4b]}

tool: {"D372": [0x1e,0x62,0xb3,0xa0,0x8e,0xbf,0xf2,0x42]}

tool: {"D478": [0x8c,0x23,0x90,0xe8,0x85,0x40,0x51,0x4c]}

tool: {"D1157": [0x9a,0xa3,0x24,0xe5,0x02,0x2c,0xb4,0x4a]}

tool: {"D307": [0x5b,0x7d,0xb7,0xa4,0xc8,0x3f,0xa7,0x4c]}

tool: {"D192": [0xeb,0xde,0xfe,0xdb,0x8e,0x24,0xa2,0x46]}

tool: {"D1423": [0xc3,0xe9,0x43,0xde,0xb9,0x8c,0xe7,0x44]}

tool: {"D958": [0x62,0x14,0x92,0xf9,0xd9,0xf5,0x22,0x4a]}

tool: {"D1": [0xc2,0x12,0xfb,0x18,0xf4,0xc4,0x7e,0x4c]}

tool: {"D895": [0x47,0x40,0xa6,0x4d,0xb9,0xce,0x45,0x4d]}

tool: {"D659": [0x5e,0x34,0xdf,0x41,0x7a,0x34,0x3c,0x4d]}

tool: {"D1001": [0xc4,0x07,0x7d,0xa8,0x5c,0xe7,0x0a,0x4d]}

tool: {"D863": [0x40,0xfa,0x8d,0xfc,0x4a,0xee,0x41,0x4d]}

tool: {"D260": [0x46,0xf7,0x40,0xbc,0x94,0x1a,0xef,0x4c]}

tool: {"D211": [0xb2,0x92,0x0b,0x07,0xf1,0x54,0x27,0x4d]}

tool: {"D66": [0x68,0x91,0x77,0xed,0xab,0x03,0x06,0x4d]}

tool: {"D1016": [0xc8,0x2c,0x18,0x33,0x90,0x59,0xd3,0x4c]}

tool: {"D695": [0x16,0xd8,0xda,0x36,0xfd,0x38,0x47,0x4d]}

tool: {"D697": [0x45,0x07,0x9c,0x70,0x7e,0x70,0x85,0x48]}

tool: {"D593": [0x33,0x0f,0xcd,0x77,0x03,0xd7,0x48,0xb1]}

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

tool: {"D251": [0x09,0xc1,0x65,0xfa,0x8d,0xf0,0x5b,0x42]}

assistant: ```c
double HO_deriv_94(const double a, const double x) {
  double retval = -0.4e1 / 0.142258809564300708189337931176004085674500545362458703967788304638671875e72 * pow(a, 0.5e1 / 0.4e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) * (-0.3169195731383743606545e22 / 0.128e3 * pow(a, 0.40e2) * pow(x, 0.80e2) + 0.2539879363013314051202928202838864161513125e43 / 0.32768e5 * pow(a, 0.31e2) * pow(x, 0.62e2) + 0.4887846582292300467284100103076043336714064703825115361265625e61 / 0.33554432e8 * pow(a, 0.21e2) * pow(x, 0.42e2) + 0.256745972508448584919102660489617568125e39 / 0.16384e5 * pow(a, 0.33e2) * pow(x, 0.66e2) - 0.13859982045e11 / 0.8e1 * pow(a, 0.44e2) * pow(x, 0.88e2) + 0.1033449051049100654413398218346409260183098831367759375e55 / 0.2097152e7 * pow(a, 0.25e2) * pow(x, 0.50e2) - 0.296382393274425799961978750643175044121876875e45 / 0.65536e5 * pow(a, 0.30e2) * pow(x, 0.60e2) - 0.165695412977496132771900684446604283906492129933373090580046875e63 / 0.67108864e8 * pow(a, 0.20e2) * pow(x, 0.40e2) - 0.564625215160709510803482248837560216042092664543598596048151781110888671875e75 / 0.140737488355328e15 - 0.2797623867947230829132064461029092476877401540625e49 / 0.262144e6 * pow(a, 0.28e2) * pow(x, 0.56e2) + 0.7754654923194486755265581694805875e34 / 0.4096e4 * pow(a, 0.35e2) * pow(x, 0.70e2) + 0.13837613955165e14 / 0.16e2 * pow(a, 0.43e2) * pow(x, 0.86e2) + 0.135643484781077046823422398025e30 / 0.1024e4 * pow(a, 0.37e2) * pow(x, 0.74e2) + 0.4917642865501814755469017916629564341635152331819332712277421875e64 / 0.134217728e9 * pow(a, 0.19e2) * pow(x, 0.38e2) - 0.38459711735513538025483467638383769859375e41 / 0.32768e5 * pow(a, 0.32e2) * pow(x, 0.64e2) + 0.9952767e7 / 0.4e1 * pow(a, 0.45e2) * pow(x, 0.90e2) + 0.1307075175269322879194775e25 / 0.256e3 * pow(a, 0.39e2) * pow(x, 0.78e2) + 0.2887943795243614815133005529509053597053891531757025234375e58 / 0.8388608e7 * pow(a, 0.23e2) * pow(x, 0.46e2) + 0.226607533303725697159697221343356490627069524790625e51 / 0.524288e6 * pow(a, 0.27e2) * pow(x, 0.54e2) - 0.4559e4 / 0.2e1 * pow(a, 0.46e2) * pow(x, 0.92e2) - 0.3257853722609735023770226118853186615079493695636314134607443871481640625e73 / 0.34359738368e11 * pow(a, 0.12e2) * pow(x, 0.24e2) + 0.1063204964878717578703391361760871037218510442562391707442834722922724609375e76 / 0.274877906944e12 * pow(a, 0.9e1) * pow(x, 0.18e2) - 0.34814267526716355871458234844875e32 / 0.2048e4 * pow(a, 0.36e2) * pow(x, 0.72e2) + 0.6399446798983152915e19 / 0.64e2 * pow(a, 0.41e2) * pow(x, 0.82e2) - 0.4716268177538926695274018091913607421507751450340865779169497617067470703125e76 / 0.549755813888e12 * pow(a, 0.8e1) * pow(x, 0.16e2) + pow(a, 0.47e2) * pow(x, 0.94e2) - 0.126621188863065847328118308174236812886772651229441935765625e60 / 0.16777216e8 * pow(a, 0.22e2) * pow(x, 0.44e2) + 0.320919545670181098344282828421953373720599353079602385184070919223046875e72 / 0.17179869184e11 * pow(a, 0.13e2) * pow(x, 0.26e2) - 0.55668324131608129621148233913176717887943118111854003786872958359375e68 / 0.1073741824e10 * pow(a, 0.16e2) * pow(x, 0.32e2) - 0.16261788223272125029507795836401820541666370183784375e53 / 0.1048576e7 * pow(a, 0.26e2) * pow(x, 0.52e2) + 0.2863419123827833461752580034821111485859515950623117146024991328125e67 / 0.536870912e9 * pow(a, 0.17e2) * pow(x, 0.34e2) - 0.1507245258940358274083407519006273125e37 / 0.8192e4 * pow(a, 0.34e2) * pow(x, 0.68e2) - 0.127318548661917616869556740868244712971957553166328661244354453125e66 / 0.268435456e9 * pow(a, 0.18e2) * pow(x, 0.36e2) - 0.10554337766327355e17 / 0.32e2 * pow(a, 0.42e2) * pow(x, 0.84e2) + 0.1860456666997120102688947664601517444318710450528012470507786066953125e70 / 0.4294967296e10 * pow(a, 0.15e2) * pow(x, 0.30e2) - 0.190139300597357958519442476336071116708918798722798093711999013940677734375e75 / 0.137438953472e12 * pow(a, 0.10e2) * pow(x, 0.20e2) - 0.455517661156697265625924425e27 / 0.512e3 * pow(a, 0.38e2) * pow(x, 0.76e2) - 0.58113325978214598106715253269698381216583231907769453125e56 / 0.4194304e7 * pow(a, 0.24e2) * pow(x, 0.48e2) + 0.16220691130841973316115842570454314542179838803195463228935555388180029296875e77 / 0.1099511627776e13 * pow(a, 0.7e1) * pow(x, 0.14e2) + 0.27477857155344734796445846558004149733246234705619417195931471037244140625e74 / 0.68719476736e11 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.26545280803266513529218232687324681431088290047413694226141681704296875e71 / 0.8589934592e10 * pow(a, 0.14e2) * pow(x, 0.28e2) + 0.78910553856730185170595607654593428445266518944325804042647464923264658203125e77 / 0.4398046511104e13 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.102059836773255683171791512823369829826247654422601452415818567404326318359375e78 / 0.8796093022208e13 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.84426193453315976988418192677091968721160164155713004585059357365607958984375e77 / 0.17592186044416e14 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.39829479243003347978142644632726447903060988190035825478197401744430712890625e77 / 0.35184372088832e14 * a * a * pow(x, 0.4e1) + 0.8752188740824472469932637539741299362952297052334546844210239866285009765625e76 / 0.70368744177664e14 * a * x * x - 0.42015546295010184540768353194688980594621923924374590119828194688407783203125e77 / 0.2199023255552e13 * pow(a, 0.6e1) * pow(x, 0.12e2) + 0.30599376029146467280312302278935552681885246875e47 / 0.131072e6 * pow(a, 0.29e2) * pow(x, 0.58e2)) * sqrt(0.230399821477490114873670e24) * x * exp(-a * x * x / 0.2e1);
  return retval;
}
```