user: 请将以下的汇编代码转换成C语言代码:

```asm
<Slater_3S_4S>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x5f8,%rsp
  movsd  %xmm0,0x10(%rsp)
  movsd  %xmm1,0x8(%rsp)
  movsd  %xmm2,0x18(%rsp)
  ucomisd %xmm1,%xmm2
  jp     L20
  movapd %xmm2,%xmm7
  jne    L20
  movapd %xmm0,%xmm2
  addsd  %xmm0,%xmm2
  movapd %xmm2,%xmm6
  mulsd  %xmm7,%xmm6
  movsd  %xmm6,0x8(%rsp)
  movapd %xmm6,%xmm1
  mov    D2714(%rip),%rax
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rbx
  mov    D2857(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r14
  mov    D2857(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x20(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r15
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x28(%rsp)
  mov    D1973(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x30(%rsp)
  mov    D1973(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x38(%rsp)
  mov    D3268(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x40(%rsp)
  mov    D3268(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x48(%rsp)
  mov    D2656(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x50(%rsp)
  mov    D2656(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x58(%rsp)
  mov    D1200(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x60(%rsp)
  mov    D1200(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x68(%rsp)
  mov    D473(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x70(%rsp)
  mov    D473(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x78(%rsp)
  mov    D2824(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x80(%rsp)
  mov    D2824(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x88(%rsp)
  mov    D1573(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r13
  mov    D1573(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x90(%rsp)
  mov    D3485(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r12
  mov    D3485(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x98(%rsp)
  mov    D1811(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%rbp
  mov    D1811(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xa0(%rsp)
  movsd  0x8(%rsp),%xmm1
  mov    D2714(%rip),%rax
  movq   %rax,%xmm0
  call   <pow@plt>
  movapd %xmm0,%xmm1
  movsd  D2875(%rip),%xmm2
  movq   %rbx,%xmm4
  mulsd  %xmm2,%xmm4
  movapd %xmm4,%xmm0
  subsd  %xmm2,%xmm0
  movsd  0x10(%rsp),%xmm7
  movapd %xmm7,%xmm3
  mulsd  D3068(%rip),%xmm3
  movsd  0x18(%rsp),%xmm6
  mulsd  %xmm6,%xmm3
  subsd  %xmm3,%xmm0
  movapd %xmm7,%xmm3
  mulsd  %xmm7,%xmm3
  mulsd  D637(%rip),%xmm3
  movapd %xmm6,%xmm4
  mulsd  %xmm6,%xmm4
  mulsd  %xmm4,%xmm3
  subsd  %xmm3,%xmm0
  movq   %r14,%xmm3
  mulsd  D1071(%rip),%xmm3
  mulsd  0x20(%rsp),%xmm3
  subsd  %xmm3,%xmm0
  movq   %r15,%xmm3
  mulsd  D2940(%rip),%xmm3
  mulsd  0x28(%rsp),%xmm3
  subsd  %xmm3,%xmm0
  movsd  0x30(%rsp),%xmm3
  mulsd  D1698(%rip),%xmm3
  mulsd  0x38(%rsp),%xmm3
  subsd  %xmm3,%xmm0
  movsd  0x40(%rsp),%xmm3
  mulsd  D3427(%rip),%xmm3
  mulsd  0x48(%rsp),%xmm3
  subsd  %xmm3,%xmm0
  movsd  0x50(%rsp),%xmm3
  mulsd  D1828(%rip),%xmm3
  mulsd  0x58(%rsp),%xmm3
  subsd  %xmm3,%xmm0
  movsd  0x60(%rsp),%xmm3
  mulsd  D1202(%rip),%xmm3
  mulsd  0x68(%rsp),%xmm3
  subsd  %xmm3,%xmm0
  movsd  0x70(%rsp),%xmm3
  mulsd  D2200(%rip),%xmm3
  mulsd  0x78(%rsp),%xmm3
  subsd  %xmm3,%xmm0
  movsd  0x80(%rsp),%xmm3
  mulsd  D2928(%rip),%xmm3
  mulsd  0x88(%rsp),%xmm3
  subsd  %xmm3,%xmm0
  movq   %r13,%xmm3
  mulsd  D1105(%rip),%xmm3
  mulsd  0x90(%rsp),%xmm3
  subsd  %xmm3,%xmm0
  movq   %r12,%xmm3
  mulsd  D1810(%rip),%xmm3
  mulsd  0x98(%rsp),%xmm3
  subsd  %xmm3,%xmm0
  movq   %rbp,%xmm3
  mulsd  D2222(%rip),%xmm3
  mulsd  0xa0(%rsp),%xmm3
  subsd  %xmm3,%xmm0
  mulsd  %xmm2,%xmm1
  mulsd  %xmm7,%xmm1
  divsd  %xmm1,%xmm0
L8:
  add    $0x5f8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L20:
  movsd  0x10(%rsp),%xmm13
  movapd %xmm13,%xmm2
  addsd  %xmm13,%xmm2
  movsd  0x18(%rsp),%xmm0
  addsd  0x8(%rsp),%xmm0
  movapd %xmm0,%xmm4
  movsd  %xmm2,0x20(%rsp)
  mulsd  %xmm2,%xmm4
  movq   %xmm4,%r14
  movapd %xmm4,%xmm1
  mov    D2714(%rip),%rax
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%r15
  movsd  0x18(%rsp),%xmm0
  movapd %xmm0,%xmm6
  mulsd  %xmm0,%xmm6
  movsd  0x8(%rsp),%xmm7
  movapd %xmm7,%xmm10
  mulsd  %xmm7,%xmm10
  movsd  %xmm6,0x28(%rsp)
  movapd %xmm6,%xmm4
  movsd  %xmm10,0x5e0(%rsp)
  subsd  %xmm10,%xmm4
  movsd  %xmm4,0x30(%rsp)
  mov    D1811(%rip),%rax
  movq   %rax,%xmm1
  movapd %xmm4,%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x38(%rsp)
  movsd  0x20(%rsp),%xmm1
  mulsd  0x8(%rsp),%xmm1
  mov    D2714(%rip),%rax
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x40(%rsp)
  mov    D2824(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x48(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x50(%rsp)
  movsd  D2464(%rip),%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x58(%rsp)
  mov    D1973(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x60(%rsp)
  movsd  D2164(%rip),%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x68(%rsp)
  mov    D1373(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x70(%rsp)
  mov    D1373(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x78(%rsp)
  mov    D2857(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x80(%rsp)
  movsd  D49(%rip),%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x88(%rsp)
  movsd  0x10(%rsp),%xmm7
  movapd %xmm7,%xmm13
  mulsd  %xmm7,%xmm13
  movsd  %xmm13,0x5e8(%rsp)
  mov    D2857(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x90(%rsp)
  mov    D3145(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x98(%rsp)
  mov    D3145(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xa0(%rsp)
  mov    D2212(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xa8(%rsp)
  mov    D1811(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xb0(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xb8(%rsp)
  mov    D1973(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xc0(%rsp)
  mov    D3485(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xc8(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xd0(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xd8(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xe0(%rsp)
  mov    D3485(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xe8(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xf0(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xf8(%rsp)
  mov    D3268(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x100(%rsp)
  mov    D2824(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x108(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x110(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x118(%rsp)
  movsd  D1573(%rip),%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x120(%rsp)
  mov    D3268(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x128(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x130(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x138(%rsp)
  mov    D2656(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x140(%rsp)
  mov    D2824(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x148(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x150(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x158(%rsp)
  mov    D1373(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x160(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x168(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x170(%rsp)
  movsd  D473(%rip),%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x178(%rsp)
  mov    D1200(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x180(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x188(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x190(%rsp)
  movsd  D549(%rip),%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x198(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1a0(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1a8(%rsp)
  mov    D3145(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1b0(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1b8(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1c0(%rsp)
  mov    D1200(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1c8(%rsp)
  mov    D1200(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1d0(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1d8(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1e0(%rsp)
  mov    D2824(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1e8(%rsp)
  mov    D3268(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1f0(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1f8(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x200(%rsp)
  mov    D3485(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x208(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x210(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x218(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x220(%rsp)
  movsd  D434(%rip),%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x228(%rsp)
  mov    D2857(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x230(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x238(%rsp)
  mov    D1973(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x240(%rsp)
  mov    D3268(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x248(%rsp)
  movsd  0x20(%rsp),%xmm1
  mulsd  0x18(%rsp),%xmm1
  mov    D2714(%rip),%rax
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x250(%rsp)
  mov    D1200(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x258(%rsp)
  mov    D1373(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x260(%rsp)
  mov    D2857(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x268(%rsp)
  mov    D2857(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x270(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x278(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x280(%rsp)
  mov    D1973(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x288(%rsp)
  mov    D1973(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x290(%rsp)
  mov    D3268(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x298(%rsp)
  mov    D3268(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x2a0(%rsp)
  mov    D2656(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x2a8(%rsp)
  mov    D2656(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x2b0(%rsp)
  mov    D2824(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x2b8(%rsp)
  mov    D1200(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x2c0(%rsp)
  mov    D2857(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r13
  mov    D2857(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x2c8(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r12
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x2d0(%rsp)
  mov    D1973(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%rbp
  mov    D1973(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x2d8(%rsp)
  mov    D3268(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%rbx
  mov    D3268(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x2e0(%rsp)
  mov    D2656(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x2e8(%rsp)
  mov    D2656(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x2f0(%rsp)
  mov    D1200(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x2f8(%rsp)
  mov    D2824(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x300(%rsp)
  mov    D2857(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x308(%rsp)
  mov    D2857(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x310(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x318(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x320(%rsp)
  mov    D1973(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x328(%rsp)
  mov    D1973(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x330(%rsp)
  mov    D3268(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x338(%rsp)
  mov    D3268(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x340(%rsp)
  mov    D2656(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x348(%rsp)
  mov    D2656(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x350(%rsp)
  mov    D2212(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x358(%rsp)
  mov    D2857(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x360(%rsp)
  mov    D2857(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x368(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x370(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x378(%rsp)
  mov    D1973(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x380(%rsp)
  mov    D1973(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x388(%rsp)
  mov    D3268(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x390(%rsp)
  mov    D3268(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x398(%rsp)
  mov    D2656(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x3a0(%rsp)
  mov    D2656(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x3a8(%rsp)
  mov    D2212(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x3b0(%rsp)
  mov    D2857(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x3b8(%rsp)
  mov    D2857(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x3c0(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x3c8(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x3d0(%rsp)
  mov    D1973(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x3d8(%rsp)
  mov    D1973(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x3e0(%rsp)
  mov    D3268(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x3e8(%rsp)
  mov    D3268(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x3f0(%rsp)
  mov    D2656(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x3f8(%rsp)
  mov    D2656(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x400(%rsp)
  mov    D3145(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x408(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x410(%rsp)
  mov    D2857(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x418(%rsp)
  mov    D2857(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x420(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x428(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x430(%rsp)
  mov    D1973(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x438(%rsp)
  mov    D1973(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x440(%rsp)
  mov    D3268(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x448(%rsp)
  mov    D3268(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x450(%rsp)
  mov    D2656(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x458(%rsp)
  mov    D2656(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x460(%rsp)
  mov    D3485(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x468(%rsp)
  mov    D3268(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x470(%rsp)
  mov    D2857(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x478(%rsp)
  mov    D2857(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x480(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x488(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x490(%rsp)
  mov    D1973(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x498(%rsp)
  mov    D1973(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x4a0(%rsp)
  mov    D3268(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x4a8(%rsp)
  mov    D3268(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x4b0(%rsp)
  mov    D2656(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x4b8(%rsp)
  mov    D2656(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x4c0(%rsp)
  mov    D3268(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x4c8(%rsp)
  mov    D3485(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x4d0(%rsp)
  mov    D2857(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x4d8(%rsp)
  mov    D2857(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x4e0(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x4e8(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x4f0(%rsp)
  mov    D1973(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x4f8(%rsp)
  mov    D1973(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x500(%rsp)
  mov    D3268(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x508(%rsp)
  mov    D3268(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x510(%rsp)
  mov    D2656(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x518(%rsp)
  mov    D2656(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x520(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x528(%rsp)
  mov    D3145(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x530(%rsp)
  mov    D2857(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x538(%rsp)
  mov    D2857(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x540(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x548(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x550(%rsp)
  mov    D1973(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x558(%rsp)
  mov    D1973(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x560(%rsp)
  mov    D3268(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x568(%rsp)
  mov    D3268(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x570(%rsp)
  mov    D2656(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x578(%rsp)
  mov    D2656(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x580(%rsp)
  mov    D1373(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x18(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x588(%rsp)
  mov    D2857(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x590(%rsp)
  mov    D2857(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x598(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x5a0(%rsp)
  mov    D3266(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x5a8(%rsp)
  mov    D1973(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x5b0(%rsp)
  mov    D1973(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x5b8(%rsp)
  mov    D3268(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x5c0(%rsp)
  mov    D3268(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x5c8(%rsp)
  mov    D2656(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x5d0(%rsp)
  mov    D2656(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x5d8(%rsp)
  movq   %r14,%xmm1
  mov    D2714(%rip),%rax
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%r14
  mov    D1811(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x30(%rsp),%xmm0
  call   <pow@plt>
  movapd %xmm0,%xmm2
  movsd  0x10(%rsp),%xmm12
  movapd %xmm12,%xmm7
  mulsd  D2277(%rip),%xmm7
  movapd %xmm7,%xmm1
  movsd  0x8(%rsp),%xmm11
  mulsd  %xmm11,%xmm1
  movsd  D2207(%rip),%xmm0
  subsd  %xmm1,%xmm0
  movsd  0x5e8(%rsp),%xmm13
  movapd %xmm13,%xmm7
  mulsd  D178(%rip),%xmm7
  movapd %xmm7,%xmm1
  movsd  0x5e0(%rsp),%xmm10
  mulsd  %xmm10,%xmm1
  subsd  %xmm1,%xmm0
  movq   %r13,%xmm9
  mulsd  D104(%rip),%xmm9
  movapd %xmm9,%xmm1
  mulsd  0x2c8(%rsp),%xmm1
  subsd  %xmm1,%xmm0
  movq   %r12,%xmm9
  mulsd  D718(%rip),%xmm9
  movapd %xmm9,%xmm1
  mulsd  0x2d0(%rsp),%xmm1
  subsd  %xmm1,%xmm0
  movq   %rbp,%xmm9
  mulsd  D137(%rip),%xmm9
  movapd %xmm9,%xmm1
  mulsd  0x2d8(%rsp),%xmm1
  subsd  %xmm1,%xmm0
  movq   %rbx,%xmm9
  mulsd  D1446(%rip),%xmm9
  movapd %xmm9,%xmm1
  mulsd  0x2e0(%rsp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  0x2e8(%rsp),%xmm7
  addsd  %xmm7,%xmm7
  movapd %xmm7,%xmm1
  mulsd  0x2f0(%rsp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  0x2b8(%rsp),%xmm9
  mulsd  D836(%rip),%xmm9
  movapd %xmm9,%xmm1
  mulsd  0x2c0(%rsp),%xmm1
  mulsd  %xmm1,%xmm0
  movapd %xmm12,%xmm7
  mulsd  D629(%rip),%xmm7
  movapd %xmm7,%xmm1
  mulsd  %xmm11,%xmm1
  addsd  D904(%rip),%xmm1
  movapd %xmm13,%xmm3
  mulsd  D2015(%rip),%xmm3
  mulsd  %xmm10,%xmm3
  addsd  %xmm3,%xmm1
  movsd  0x268(%rsp),%xmm9
  mulsd  D453(%rip),%xmm9
  movapd %xmm9,%xmm3
  mulsd  0x270(%rsp),%xmm3
  addsd  %xmm3,%xmm1
  movsd  0x278(%rsp),%xmm9
  mulsd  D3496(%rip),%xmm9
  movapd %xmm9,%xmm3
  mulsd  0x280(%rsp),%xmm3
  addsd  %xmm3,%xmm1
  movsd  0x288(%rsp),%xmm9
  mulsd  D1196(%rip),%xmm9
  movapd %xmm9,%xmm3
  mulsd  0x290(%rsp),%xmm3
  addsd  %xmm3,%xmm1
  movsd  0x298(%rsp),%xmm9
  mulsd  D2390(%rip),%xmm9
  movapd %xmm9,%xmm3
  mulsd  0x2a0(%rsp),%xmm3
  subsd  %xmm3,%xmm1
  movsd  D2224(%rip),%xmm5
  movsd  0x2a8(%rsp),%xmm9
  mulsd  %xmm5,%xmm9
  movapd %xmm9,%xmm3
  mulsd  0x2b0(%rsp),%xmm3
  subsd  %xmm3,%xmm1
  movsd  0x260(%rsp),%xmm15
  mulsd  0x28(%rsp),%xmm15
  mulsd  %xmm15,%xmm1
  addsd  %xmm1,%xmm0
  movapd %xmm12,%xmm7
  mulsd  D586(%rip),%xmm7
  movapd %xmm7,%xmm1
  mulsd  %xmm11,%xmm1
  subsd  D411(%rip),%xmm1
  movapd %xmm13,%xmm3
  mulsd  D3167(%rip),%xmm3
  mulsd  %xmm10,%xmm3
  subsd  %xmm3,%xmm1
  movsd  0x308(%rsp),%xmm4
  mulsd  D2177(%rip),%xmm4
  movapd %xmm4,%xmm3
  mulsd  0x310(%rsp),%xmm3
  subsd  %xmm3,%xmm1
  movsd  0x318(%rsp),%xmm4
  mulsd  D1874(%rip),%xmm4
  movapd %xmm4,%xmm3
  mulsd  0x320(%rsp),%xmm3
  subsd  %xmm3,%xmm1
  movsd  0x328(%rsp),%xmm4
  mulsd  D267(%rip),%xmm4
  movapd %xmm4,%xmm3
  mulsd  0x330(%rsp),%xmm3
  addsd  %xmm3,%xmm1
  movsd  0x338(%rsp),%xmm4
  mulsd  D885(%rip),%xmm4
  movapd %xmm4,%xmm3
  mulsd  0x340(%rsp),%xmm3
  addsd  %xmm3,%xmm1
  movsd  0x348(%rsp),%xmm3
  addsd  %xmm3,%xmm3
  mulsd  0x350(%rsp),%xmm3
  addsd  %xmm3,%xmm1
  movsd  0x2f8(%rsp),%xmm3
  mulsd  D836(%rip),%xmm3
  mulsd  0x300(%rsp),%xmm3
  mulsd  %xmm3,%xmm1
  subsd  %xmm1,%xmm0
  movapd %xmm12,%xmm7
  mulsd  D1939(%rip),%xmm7
  movapd %xmm7,%xmm1
  mulsd  %xmm11,%xmm1
  addsd  D790(%rip),%xmm1
  movapd %xmm13,%xmm3
  mulsd  D2774(%rip),%xmm3
  mulsd  %xmm10,%xmm3
  addsd  %xmm3,%xmm1
  movsd  0x360(%rsp),%xmm3
  mulsd  D404(%rip),%xmm3
  mulsd  0x368(%rsp),%xmm3
  addsd  %xmm3,%xmm1
  movsd  0x370(%rsp),%xmm3
  mulsd  D3057(%rip),%xmm3
  mulsd  0x378(%rsp),%xmm3
  addsd  %xmm3,%xmm1
  movsd  0x380(%rsp),%xmm3
  mulsd  D1271(%rip),%xmm3
  mulsd  0x388(%rsp),%xmm3
  addsd  %xmm3,%xmm1
  movsd  0x390(%rsp),%xmm3
  mulsd  D643(%rip),%xmm3
  mulsd  0x398(%rsp),%xmm3
  addsd  %xmm3,%xmm1
  movsd  D3266(%rip),%xmm4
  movsd  0x3a0(%rsp),%xmm3
  mulsd  %xmm4,%xmm3
  mulsd  0x3a8(%rsp),%xmm3
  addsd  %xmm3,%xmm1
  movsd  D2857(%rip),%xmm3
  movsd  0x358(%rsp),%xmm15
  mulsd  %xmm3,%xmm15
  mulsd  %xmm15,%xmm1
  subsd  %xmm1,%xmm0
  movapd %xmm12,%xmm7
  mulsd  D1262(%rip),%xmm7
  movapd %xmm7,%xmm1
  mulsd  %xmm11,%xmm1
  addsd  D2039(%rip),%xmm1
  movapd %xmm13,%xmm6
  mulsd  D903(%rip),%xmm6
  mulsd  %xmm10,%xmm6
  addsd  %xmm6,%xmm1
  movsd  0x3b8(%rsp),%xmm15
  mulsd  D553(%rip),%xmm15
  movapd %xmm15,%xmm6
  mulsd  0x3c0(%rsp),%xmm6
  addsd  %xmm6,%xmm1
  movsd  0x3c8(%rsp),%xmm15
  mulsd  D2173(%rip),%xmm15
  movapd %xmm15,%xmm6
  mulsd  0x3d0(%rsp),%xmm6
  addsd  %xmm6,%xmm1
  movsd  0x3d8(%rsp),%xmm15
  mulsd  D2255(%rip),%xmm15
  movapd %xmm15,%xmm6
  mulsd  0x3e0(%rsp),%xmm6
  addsd  %xmm6,%xmm1
  movsd  0x3e8(%rsp),%xmm15
  mulsd  D736(%rip),%xmm15
  movapd %xmm15,%xmm6
  mulsd  0x3f0(%rsp),%xmm6
  addsd  %xmm6,%xmm1
  movsd  0x3f8(%rsp),%xmm15
  mulsd  %xmm4,%xmm15
  movapd %xmm15,%xmm6
  mulsd  0x400(%rsp),%xmm6
  addsd  %xmm6,%xmm1
  movsd  0x3b0(%rsp),%xmm15
  mulsd  %xmm3,%xmm15
  mulsd  %xmm15,%xmm1
  addsd  %xmm1,%xmm0
  movapd %xmm12,%xmm6
  mulsd  D2689(%rip),%xmm6
  mulsd  %xmm11,%xmm6
  movsd  D2417(%rip),%xmm1
  subsd  %xmm6,%xmm1
  movapd %xmm13,%xmm6
  mulsd  D2942(%rip),%xmm6
  mulsd  %xmm10,%xmm6
  subsd  %xmm6,%xmm1
  movsd  0x418(%rsp),%xmm15
  mulsd  D2409(%rip),%xmm15
  movapd %xmm15,%xmm6
  mulsd  0x420(%rsp),%xmm6
  subsd  %xmm6,%xmm1
  movsd  D3136(%rip),%xmm6
  movsd  0x428(%rsp),%xmm15
  mulsd  %xmm6,%xmm15
  movapd %xmm15,%xmm7
  mulsd  0x430(%rsp),%xmm7
  subsd  %xmm7,%xmm1
  movsd  0x438(%rsp),%xmm15
  mulsd  D3484(%rip),%xmm15
  movapd %xmm15,%xmm7
  mulsd  0x440(%rsp),%xmm7
  subsd  %xmm7,%xmm1
  movsd  0x448(%rsp),%xmm15
  mulsd  D843(%rip),%xmm15
  movapd %xmm15,%xmm7
  mulsd  0x450(%rsp),%xmm7
  subsd  %xmm7,%xmm1
  movsd  D1200(%rip),%xmm7
  movsd  0x458(%rsp),%xmm8
  mulsd  %xmm7,%xmm8
  mulsd  0x460(%rsp),%xmm8
  addsd  %xmm8,%xmm1
  movsd  0x408(%rsp),%xmm14
  addsd  %xmm14,%xmm14
  movapd %xmm14,%xmm8
  mulsd  0x410(%rsp),%xmm8
  mulsd  %xmm8,%xmm1
  addsd  %xmm1,%xmm0
  movapd %xmm12,%xmm15
  mulsd  D111(%rip),%xmm15
  movapd %xmm15,%xmm8
  mulsd  %xmm11,%xmm8
  movsd  D2420(%rip),%xmm1
  subsd  %xmm8,%xmm1
  movapd %xmm13,%xmm15
  mulsd  D2448(%rip),%xmm15
  movapd %xmm15,%xmm8
  mulsd  %xmm10,%xmm8
  subsd  %xmm8,%xmm1
  movsd  0x478(%rsp),%xmm14
  mulsd  D1340(%rip),%xmm14
  movapd %xmm14,%xmm8
  mulsd  0x480(%rsp),%xmm8
  subsd  %xmm8,%xmm1
  movsd  0x488(%rsp),%xmm14
  mulsd  D3376(%rip),%xmm14
  movapd %xmm14,%xmm8
  mulsd  0x490(%rsp),%xmm8
  subsd  %xmm8,%xmm1
  movsd  0x498(%rsp),%xmm14
  mulsd  D2514(%rip),%xmm14
  movapd %xmm14,%xmm8
  mulsd  0x4a0(%rsp),%xmm8
  subsd  %xmm8,%xmm1
  movsd  0x4a8(%rsp),%xmm14
  mulsd  %xmm7,%xmm14
  movapd %xmm14,%xmm8
  mulsd  0x4b0(%rsp),%xmm8
  subsd  %xmm8,%xmm1
  movsd  0x4b8(%rsp),%xmm14
  mulsd  %xmm7,%xmm14
  movapd %xmm14,%xmm8
  mulsd  0x4c0(%rsp),%xmm8
  addsd  %xmm8,%xmm1
  movsd  D1011(%rip),%xmm8
  movsd  0x468(%rsp),%xmm9
  mulsd  %xmm8,%xmm9
  mulsd  0x470(%rsp),%xmm9
  mulsd  %xmm9,%xmm1
  subsd  %xmm1,%xmm0
  movapd %xmm12,%xmm9
  mulsd  D2138(%rip),%xmm9
  mulsd  %xmm11,%xmm9
  movsd  D2991(%rip),%xmm1
  subsd  %xmm9,%xmm1
  movapd %xmm13,%xmm9
  mulsd  D3146(%rip),%xmm9
  mulsd  %xmm10,%xmm9
  subsd  %xmm9,%xmm1
  movsd  0x4d8(%rsp),%xmm14
  mulsd  D522(%rip),%xmm14
  movapd %xmm14,%xmm9
  mulsd  0x4e0(%rsp),%xmm9
  addsd  %xmm9,%xmm1
  movsd  0x4e8(%rsp),%xmm9
  mulsd  D727(%rip),%xmm9
  mulsd  0x4f0(%rsp),%xmm9
  addsd  %xmm9,%xmm1
  movsd  0x4f8(%rsp),%xmm14
  mulsd  D1440(%rip),%xmm14
  movapd %xmm14,%xmm9
  mulsd  0x500(%rsp),%xmm9
  addsd  %xmm9,%xmm1
  movsd  0x508(%rsp),%xmm9
  mulsd  D1266(%rip),%xmm9
  mulsd  0x510(%rsp),%xmm9
  addsd  %xmm9,%xmm1
  movsd  0x518(%rsp),%xmm14
  mulsd  %xmm7,%xmm14
  movapd %xmm14,%xmm9
  mulsd  0x520(%rsp),%xmm9
  addsd  %xmm9,%xmm1
  mulsd  0x4c8(%rsp),%xmm8
  mulsd  0x4d0(%rsp),%xmm8
  mulsd  %xmm8,%xmm1
  addsd  %xmm1,%xmm0
  movapd %xmm12,%xmm15
  mulsd  D2026(%rip),%xmm15
  movapd %xmm15,%xmm8
  mulsd  %xmm11,%xmm8
  movsd  D1670(%rip),%xmm1
  subsd  %xmm8,%xmm1
  movapd %xmm13,%xmm15
  mulsd  D2259(%rip),%xmm15
  movapd %xmm15,%xmm8
  movapd %xmm10,%xmm15
  mulsd  %xmm10,%xmm8
  addsd  %xmm8,%xmm1
  movsd  0x538(%rsp),%xmm10
  mulsd  D2986(%rip),%xmm10
  movapd %xmm10,%xmm8
  mulsd  0x540(%rsp),%xmm8
  addsd  %xmm8,%xmm1
  movsd  0x548(%rsp),%xmm14
  mulsd  D2439(%rip),%xmm14
  movapd %xmm14,%xmm8
  mulsd  0x550(%rsp),%xmm8
  addsd  %xmm8,%xmm1
  movsd  0x558(%rsp),%xmm8
  mulsd  D2555(%rip),%xmm8
  mulsd  0x560(%rsp),%xmm8
  addsd  %xmm8,%xmm1
  movsd  0x568(%rsp),%xmm10
  mulsd  D8(%rip),%xmm10
  movapd %xmm10,%xmm8
  mulsd  0x570(%rsp),%xmm8
  addsd  %xmm8,%xmm1
  mulsd  0x578(%rsp),%xmm7
  mulsd  0x580(%rsp),%xmm7
  addsd  %xmm7,%xmm1
  movsd  0x528(%rsp),%xmm7
  addsd  %xmm7,%xmm7
  mulsd  0x530(%rsp),%xmm7
  mulsd  %xmm7,%xmm1
  subsd  %xmm1,%xmm0
  movapd %xmm12,%xmm7
  mulsd  D1021(%rip),%xmm7
  movapd %xmm7,%xmm1
  mulsd  %xmm11,%xmm1
  addsd  %xmm6,%xmm1
  movapd %xmm13,%xmm14
  movapd %xmm13,%xmm6
  mulsd  D3196(%rip),%xmm6
  mulsd  %xmm15,%xmm6
  addsd  %xmm6,%xmm1
  movsd  0x590(%rsp),%xmm11
  mulsd  D3052(%rip),%xmm11
  movapd %xmm11,%xmm6
  mulsd  0x598(%rsp),%xmm6
  addsd  %xmm6,%xmm1
  movsd  0x5a0(%rsp),%xmm11
  mulsd  D1900(%rip),%xmm11
  movapd %xmm11,%xmm6
  mulsd  0x5a8(%rsp),%xmm6
  addsd  %xmm6,%xmm1
  movsd  0x5b0(%rsp),%xmm11
  mulsd  D1134(%rip),%xmm11
  movapd %xmm11,%xmm6
  mulsd  0x5b8(%rsp),%xmm6
  addsd  %xmm6,%xmm1
  movsd  0x5c0(%rsp),%xmm11
  mulsd  D3492(%rip),%xmm11
  movapd %xmm11,%xmm6
  mulsd  0x5c8(%rsp),%xmm6
  addsd  %xmm6,%xmm1
  mulsd  0x5d0(%rsp),%xmm5
  mulsd  0x5d8(%rsp),%xmm5
  addsd  %xmm5,%xmm1
  movsd  0x588(%rsp),%xmm11
  mulsd  %xmm15,%xmm11
  mulsd  %xmm11,%xmm1
  addsd  %xmm1,%xmm0
  movsd  0x250(%rsp),%xmm11
  mulsd  0x258(%rsp),%xmm11
  mulsd  %xmm11,%xmm0
  movsd  0x50(%rsp),%xmm11
  mulsd  D2175(%rip),%xmm11
  movapd %xmm11,%xmm1
  mulsd  0x58(%rsp),%xmm1
  movsd  0x60(%rsp),%xmm5
  addsd  %xmm5,%xmm5
  mulsd  0x68(%rsp),%xmm5
  subsd  %xmm5,%xmm1
  movsd  0x70(%rsp),%xmm5
  mulsd  D137(%rip),%xmm5
  addsd  %xmm5,%xmm1
  movapd %xmm12,%xmm5
  mulsd  D2702(%rip),%xmm5
  mulsd  0x18(%rsp),%xmm5
  mulsd  0x78(%rsp),%xmm5
  addsd  %xmm5,%xmm1
  movsd  0x80(%rsp),%xmm5
  mulsd  %xmm4,%xmm5
  mulsd  0x88(%rsp),%xmm5
  movapd %xmm15,%xmm6
  mulsd  %xmm13,%xmm6
  movsd  D436(%rip),%xmm8
  addsd  %xmm8,%xmm6
  mulsd  %xmm6,%xmm5
  subsd  %xmm5,%xmm1
  movsd  D434(%rip),%xmm7
  movapd %xmm12,%xmm5
  mulsd  %xmm7,%xmm5
  mulsd  0x90(%rsp),%xmm5
  mulsd  0x98(%rsp),%xmm5
  movapd %xmm13,%xmm9
  addsd  %xmm13,%xmm9
  mulsd  %xmm15,%xmm9
  movsd  D737(%rip),%xmm6
  subsd  %xmm6,%xmm9
  mulsd  %xmm9,%xmm5
  addsd  %xmm5,%xmm1
  movapd %xmm13,%xmm5
  mulsd  %xmm4,%xmm5
  mulsd  %xmm15,%xmm5
  subsd  D839(%rip),%xmm5
  movsd  0x28(%rsp),%xmm9
  mulsd  %xmm7,%xmm9
  mulsd  0xa0(%rsp),%xmm9
  mulsd  %xmm9,%xmm5
  addsd  %xmm5,%xmm1
  movapd %xmm13,%xmm5
  mulsd  D473(%rip),%xmm5
  mulsd  %xmm15,%xmm5
  addsd  D1531(%rip),%xmm5
  movsd  D1446(%rip),%xmm9
  movapd %xmm13,%xmm10
  mulsd  %xmm9,%xmm10
  mulsd  0xa8(%rsp),%xmm10
  mulsd  %xmm10,%xmm5
  subsd  %xmm5,%xmm1
  movapd %xmm12,%xmm5
  mulsd  %xmm9,%xmm5
  mulsd  0xb0(%rsp),%xmm5
  mulsd  0xb8(%rsp),%xmm5
  movapd %xmm13,%xmm10
  mulsd  D1993(%rip),%xmm10
  mulsd  %xmm15,%xmm10
  subsd  D1713(%rip),%xmm10
  mulsd  %xmm10,%xmm5
  addsd  %xmm5,%xmm1
  mulsd  %xmm13,%xmm8
  mulsd  %xmm15,%xmm8
  movsd  D1700(%rip),%xmm5
  subsd  %xmm8,%xmm5
  movsd  0xd0(%rsp),%xmm13
  mulsd  0xd8(%rsp),%xmm13
  addsd  %xmm13,%xmm5
  movsd  0x20(%rsp),%xmm8
  mulsd  0xc0(%rsp),%xmm8
  mulsd  0xc8(%rsp),%xmm8
  mulsd  %xmm8,%xmm5
  addsd  %xmm1,%xmm5
  movapd %xmm14,%xmm8
  mulsd  D636(%rip),%xmm8
  mulsd  %xmm15,%xmm8
  movsd  D101(%rip),%xmm1
  subsd  %xmm8,%xmm1
  movsd  0xf0(%rsp),%xmm8
  mulsd  0xf8(%rsp),%xmm8
  addsd  %xmm8,%xmm1
  movsd  D2824(%rip),%xmm8
  movsd  0xe0(%rsp),%xmm10
  mulsd  %xmm8,%xmm10
  mulsd  0xe8(%rsp),%xmm10
  mulsd  %xmm10,%xmm1
  addsd  %xmm1,%xmm5
  movapd %xmm14,%xmm10
  mulsd  D223(%rip),%xmm10
  mulsd  %xmm15,%xmm10
  movsd  D1163(%rip),%xmm1
  subsd  %xmm10,%xmm1
  movsd  0x110(%rsp),%xmm10
  mulsd  0x118(%rsp),%xmm10
  addsd  %xmm10,%xmm1
  movsd  0x100(%rsp),%xmm10
  mulsd  D1878(%rip),%xmm10
  mulsd  0x108(%rsp),%xmm10
  mulsd  %xmm10,%xmm1
  subsd  %xmm1,%xmm5
  movapd %xmm14,%xmm10
  mulsd  D2408(%rip),%xmm10
  mulsd  %xmm15,%xmm10
  movsd  D3130(%rip),%xmm1
  subsd  %xmm10,%xmm1
  movsd  0x130(%rsp),%xmm10
  mulsd  %xmm4,%xmm10
  mulsd  0x138(%rsp),%xmm10
  addsd  %xmm10,%xmm1
  movsd  D1811(%rip),%xmm10
  movapd %xmm12,%xmm11
  mulsd  %xmm10,%xmm11
  mulsd  0x120(%rsp),%xmm11
  mulsd  0x128(%rsp),%xmm11
  mulsd  %xmm11,%xmm1
  addsd  %xmm1,%xmm5
  movapd %xmm14,%xmm1
  mulsd  D1640(%rip),%xmm1
  mulsd  %xmm15,%xmm1
  subsd  D846(%rip),%xmm1
  mulsd  0x150(%rsp),%xmm4
  mulsd  0x158(%rsp),%xmm4
  addsd  %xmm4,%xmm1
  movsd  0x140(%rsp),%xmm4
  mulsd  %xmm12,%xmm4
  mulsd  0x148(%rsp),%xmm4
  mulsd  %xmm4,%xmm1
  addsd  %xmm5,%xmm1
  movapd %xmm14,%xmm5
  mulsd  D352(%rip),%xmm5
  mulsd  %xmm15,%xmm5
  movsd  D1039(%rip),%xmm4
  subsd  %xmm5,%xmm4
  movsd  0x168(%rsp),%xmm5
  mulsd  D1973(%rip),%xmm5
  mulsd  0x170(%rsp),%xmm5
  addsd  %xmm5,%xmm4
  movsd  0x160(%rsp),%xmm5
  mulsd  D1180(%rip),%xmm5
  mulsd  %xmm5,%xmm4
  addsd  %xmm4,%xmm1
  movapd %xmm14,%xmm4
  mulsd  D1696(%rip),%xmm4
  mulsd  %xmm15,%xmm4
  movsd  D554(%rip),%xmm5
  subsd  %xmm4,%xmm5
  movsd  D3268(%rip),%xmm4
  movsd  0x188(%rsp),%xmm11
  mulsd  %xmm4,%xmm11
  mulsd  0x190(%rsp),%xmm11
  addsd  %xmm11,%xmm5
  mulsd  %xmm12,%xmm4
  mulsd  0x178(%rsp),%xmm4
  mulsd  0x180(%rsp),%xmm4
  mulsd  %xmm5,%xmm4
  subsd  %xmm4,%xmm1
  movapd %xmm14,%xmm5
  mulsd  D1035(%rip),%xmm5
  mulsd  %xmm15,%xmm5
  movsd  D516(%rip),%xmm4
  subsd  %xmm5,%xmm4
  movsd  D3485(%rip),%xmm5
  movsd  0x1a0(%rsp),%xmm11
  mulsd  %xmm5,%xmm11
  mulsd  0x1a8(%rsp),%xmm11
  addsd  %xmm11,%xmm4
  mulsd  %xmm12,%xmm3
  mulsd  0x198(%rsp),%xmm3
  mulsd  %xmm4,%xmm3
  addsd  %xmm3,%xmm1
  mulsd  %xmm14,%xmm5
  mulsd  %xmm15,%xmm5
  movsd  D1684(%rip),%xmm3
  subsd  %xmm5,%xmm3
  movsd  0x1b8(%rsp),%xmm4
  mulsd  %xmm10,%xmm4
  mulsd  0x1c0(%rsp),%xmm4
  addsd  %xmm4,%xmm3
  movsd  0x1b0(%rsp),%xmm4
  mulsd  %xmm9,%xmm4
  mulsd  %xmm15,%xmm4
  mulsd  %xmm4,%xmm3
  subsd  %xmm3,%xmm1
  movapd %xmm14,%xmm3
  mulsd  D3010(%rip),%xmm3
  mulsd  %xmm15,%xmm3
  addsd  D2780(%rip),%xmm3
  movsd  0x1d8(%rsp),%xmm4
  mulsd  D3145(%rip),%xmm4
  mulsd  0x1e0(%rsp),%xmm4
  addsd  %xmm4,%xmm3
  movsd  0x1c8(%rsp),%xmm4
  mulsd  %xmm7,%xmm4
  mulsd  0x1d0(%rsp),%xmm4
  mulsd  %xmm4,%xmm3
  subsd  %xmm3,%xmm1
  movapd %xmm14,%xmm4
  mulsd  D1026(%rip),%xmm4
  mulsd  %xmm15,%xmm4
  movsd  D828(%rip),%xmm3
  subsd  %xmm4,%xmm3
  movsd  0x1f8(%rsp),%xmm4
  mulsd  D791(%rip),%xmm4
  mulsd  0x200(%rsp),%xmm4
  addsd  %xmm4,%xmm3
  movsd  0x1e8(%rsp),%xmm4
  mulsd  %xmm6,%xmm4
  mulsd  0x1f0(%rsp),%xmm4
  mulsd  %xmm4,%xmm3
  addsd  %xmm1,%xmm3
  mulsd  D923(%rip),%xmm14
  movapd %xmm14,%xmm1
  mulsd  %xmm15,%xmm1
  movsd  D256(%rip),%xmm4
  subsd  %xmm1,%xmm4
  movsd  0x218(%rsp),%xmm1
  mulsd  D1382(%rip),%xmm1
  mulsd  0x220(%rsp),%xmm1
  addsd  %xmm1,%xmm4
  movsd  0x208(%rsp),%xmm1
  mulsd  %xmm8,%xmm1
  mulsd  0x210(%rsp),%xmm1
  mulsd  %xmm1,%xmm4
  subsd  %xmm4,%xmm3
  movapd %xmm3,%xmm1
  movapd %xmm12,%xmm3
  mulsd  D2866(%rip),%xmm3
  mulsd  %xmm15,%xmm3
  movsd  0x230(%rsp),%xmm4
  mulsd  D1314(%rip),%xmm4
  mulsd  0x238(%rsp),%xmm4
  addsd  %xmm4,%xmm3
  movsd  0x240(%rsp),%xmm4
  mulsd  D1860(%rip),%xmm4
  mulsd  0x248(%rsp),%xmm4
  subsd  %xmm4,%xmm3
  mulsd  0x228(%rsp),%xmm3
  addsd  %xmm3,%xmm1
  movsd  0x40(%rsp),%xmm3
  mulsd  D1894(%rip),%xmm3
  mulsd  0x48(%rsp),%xmm3
  mulsd  %xmm3,%xmm1
  movsd  D2519(%rip),%xmm4
  movq   %r15,%xmm3
  mulsd  %xmm4,%xmm3
  mulsd  0x38(%rsp),%xmm3
  addsd  %xmm3,%xmm1
  addsd  %xmm1,%xmm0
  movq   %r14,%xmm1
  mulsd  %xmm4,%xmm1
  mulsd  %xmm12,%xmm1
  mulsd  %xmm2,%xmm1
  divsd  %xmm1,%xmm0
  jmp    L8
```

tool_calls: name: disassemble_data
arguments: label: D2714
type: f64
name: disassemble_data
arguments: label: D2857
type: f64
name: disassemble_data
arguments: label: D3266
type: f64
name: disassemble_data
arguments: label: D1973
type: f64
name: disassemble_data
arguments: label: D3268
type: f64
name: disassemble_data
arguments: label: D2656
type: f64
name: disassemble_data
arguments: label: D1200
type: f64
name: disassemble_data
arguments: label: D473
type: f64
name: disassemble_data
arguments: label: D2824
type: f64
name: disassemble_data
arguments: label: D1573
type: f64
name: disassemble_data
arguments: label: D3485
type: f64
name: disassemble_data
arguments: label: D1811
type: f64
name: disassemble_data
arguments: label: D2875
type: f64
name: disassemble_data
arguments: label: D3068
type: f64
name: disassemble_data
arguments: label: D637
type: f64
name: disassemble_data
arguments: label: D1071
type: f64
name: disassemble_data
arguments: label: D2940
type: f64
name: disassemble_data
arguments: label: D1698
type: f64
name: disassemble_data
arguments: label: D3427
type: f64
name: disassemble_data
arguments: label: D1828
type: f64
name: disassemble_data
arguments: label: D1202
type: f64
name: disassemble_data
arguments: label: D2200
type: f64
name: disassemble_data
arguments: label: D2928
type: f64
name: disassemble_data
arguments: label: D1105
type: f64
name: disassemble_data
arguments: label: D1810
type: f64
name: disassemble_data
arguments: label: D2222
type: f64
name: disassemble_data
arguments: label: D2464
type: f64
name: disassemble_data
arguments: label: D2164
type: f64
name: disassemble_data
arguments: label: D1373
type: f64
name: disassemble_data
arguments: label: D49
type: f64
name: disassemble_data
arguments: label: D3145
type: f64
name: disassemble_data
arguments: label: D2212
type: f64
name: disassemble_data
arguments: label: D549
type: f64
name: disassemble_data
arguments: label: D434
type: f64
name: disassemble_data
arguments: label: D2277
type: f64
name: disassemble_data
arguments: label: D2207
type: byte[8]
name: disassemble_data
arguments: label: D178
type: f64
name: disassemble_data
arguments: label: D104
type: f64
name: disassemble_data
arguments: label: D718
type: f64
name: disassemble_data
arguments: label: D137
type: f64
name: disassemble_data
arguments: label: D1446
type: f64
name: disassemble_data
arguments: label: D836
type: f64
name: disassemble_data
arguments: label: D629
type: f64
name: disassemble_data
arguments: label: D904
type: f64
name: disassemble_data
arguments: label: D2015
type: f64
name: disassemble_data
arguments: label: D453
type: f64
name: disassemble_data
arguments: label: D3496
type: f64
name: disassemble_data
arguments: label: D1196
type: f64
name: disassemble_data
arguments: label: D2390
type: f64
name: disassemble_data
arguments: label: D2224
type: f64
name: disassemble_data
arguments: label: D586
type: f64
name: disassemble_data
arguments: label: D411
type: f64
name: disassemble_data
arguments: label: D3167
type: f64
name: disassemble_data
arguments: label: D2177
type: f64
name: disassemble_data
arguments: label: D1874
type: f64
name: disassemble_data
arguments: label: D267
type: f64
name: disassemble_data
arguments: label: D885
type: f64
name: disassemble_data
arguments: label: D1939
type: f64
name: disassemble_data
arguments: label: D790
type: f64
name: disassemble_data
arguments: label: D2774
type: f64
name: disassemble_data
arguments: label: D404
type: f64
name: disassemble_data
arguments: label: D3057
type: f64
name: disassemble_data
arguments: label: D1271
type: f64
name: disassemble_data
arguments: label: D643
type: f64
name: disassemble_data
arguments: label: D1262
type: f64
name: disassemble_data
arguments: label: D2039
type: f64
name: disassemble_data
arguments: label: D903
type: f64
name: disassemble_data
arguments: label: D553
type: f64
name: disassemble_data
arguments: label: D2173
type: f64
name: disassemble_data
arguments: label: D2255
type: f64
name: disassemble_data
arguments: label: D736
type: f64
name: disassemble_data
arguments: label: D2689
type: f64
name: disassemble_data
arguments: label: D2417
type: byte[8]
name: disassemble_data
arguments: label: D2942
type: f64
name: disassemble_data
arguments: label: D2409
type: f64
name: disassemble_data
arguments: label: D3136
type: f64
name: disassemble_data
arguments: label: D3484
type: f64
name: disassemble_data
arguments: label: D843
type: f64
name: disassemble_data
arguments: label: D111
type: f64
name: disassemble_data
arguments: label: D2420
type: byte[8]
name: disassemble_data
arguments: label: D2448
type: f64
name: disassemble_data
arguments: label: D1340
type: f64
name: disassemble_data
arguments: label: D3376
type: f64
name: disassemble_data
arguments: label: D2514
type: f64
name: disassemble_data
arguments: label: D1011
type: f64
name: disassemble_data
arguments: label: D2138
type: f64
name: disassemble_data
arguments: label: D2991
type: f64
name: disassemble_data
arguments: label: D3146
type: f64
name: disassemble_data
arguments: label: D522
type: f64
name: disassemble_data
arguments: label: D727
type: f64
name: disassemble_data
arguments: label: D1440
type: f64
name: disassemble_data
arguments: label: D1266
type: f64
name: disassemble_data
arguments: label: D2026
type: f64
name: disassemble_data
arguments: label: D1670
type: byte[8]
name: disassemble_data
arguments: label: D2259
type: f64
name: disassemble_data
arguments: label: D2986
type: f64
name: disassemble_data
arguments: label: D2439
type: f64
name: disassemble_data
arguments: label: D2555
type: f64
name: disassemble_data
arguments: label: D8
type: f64
name: disassemble_data
arguments: label: D1021
type: f64
name: disassemble_data
arguments: label: D3196
type: f64
name: disassemble_data
arguments: label: D3052
type: f64
name: disassemble_data
arguments: label: D1900
type: f64
name: disassemble_data
arguments: label: D1134
type: f64
name: disassemble_data
arguments: label: D3492
type: f64
name: disassemble_data
arguments: label: D2175
type: byte[8]
name: disassemble_data
arguments: label: D2702
type: f64
name: disassemble_data
arguments: label: D436
type: f64
name: disassemble_data
arguments: label: D737
type: f64
name: disassemble_data
arguments: label: D839
type: f64
name: disassemble_data
arguments: label: D1531
type: f64
name: disassemble_data
arguments: label: D1993
type: f64
name: disassemble_data
arguments: label: D1713
type: f64
name: disassemble_data
arguments: label: D1700
type: f64
name: disassemble_data
arguments: label: D636
type: f64
name: disassemble_data
arguments: label: D101
type: f64
name: disassemble_data
arguments: label: D223
type: f64
name: disassemble_data
arguments: label: D1163
type: f64
name: disassemble_data
arguments: label: D1878
type: f64
name: disassemble_data
arguments: label: D2408
type: f64
name: disassemble_data
arguments: label: D3130
type: f64
name: disassemble_data
arguments: label: D1640
type: f64
name: disassemble_data
arguments: label: D846
type: f64
name: disassemble_data
arguments: label: D352
type: f64
name: disassemble_data
arguments: label: D1039
type: byte[8]
name: disassemble_data
arguments: label: D1180
type: f64
name: disassemble_data
arguments: label: D1696
type: f64
name: disassemble_data
arguments: label: D554
type: byte[8]
name: disassemble_data
arguments: label: D1035
type: f64
name: disassemble_data
arguments: label: D516
type: byte[8]
name: disassemble_data
arguments: label: D1684
type: f64
name: disassemble_data
arguments: label: D3010
type: f64
name: disassemble_data
arguments: label: D2780
type: f64
name: disassemble_data
arguments: label: D1026
type: f64
name: disassemble_data
arguments: label: D828
type: byte[8]
name: disassemble_data
arguments: label: D791
type: f64
name: disassemble_data
arguments: label: D923
type: f64
name: disassemble_data
arguments: label: D256
type: f64
name: disassemble_data
arguments: label: D1382
type: f64
name: disassemble_data
arguments: label: D2866
type: byte[8]
name: disassemble_data
arguments: label: D1314
type: f64
name: disassemble_data
arguments: label: D1860
type: f64
name: disassemble_data
arguments: label: D1894
type: f64
name: disassemble_data
arguments: label: D2519
type: f64

tool: D2714: 2.718281828459045

tool: D2857: 3

tool: D3266: 4

tool: D1973: 5

tool: D3268: 6

tool: D2656: 7

tool: D1200: 8

tool: D473: 9

tool: D2824: 10

tool: D1573: 11

tool: D3485: 12

tool: D1811: 13

tool: D2875: 74724249600

tool: D3068: 132871488750

tool: D637: 116294478300

tool: D1071: 66678987375

tool: D2940: 28114836750

tool: D1698: 9274044780

tool: D3427: 2484321840

tool: D1828: 553204080

tool: D1202: 103783680

tool: D2200: 16473600

tool: D2928: 2196480

tool: D1105: 239616

tool: D1810: 19968

tool: D2222: 1024

tool: D2464: 20

tool: D2164: 21

tool: D1373: 16

tool: D49: 19

tool: D3145: 14

tool: D2212: 18

tool: D549: 17

tool: D434: 15

tool: D2277: 13860

tool: {"D2207": [0x00,0x00,0x00,0x00,0x00,0x01,0xbd,0xc0]}

tool: D178: 5940

tool: D104: 11880

tool: D718: 2640

tool: D137: 45

tool: D1446: 30

tool: D836: 364

tool: D629: 47669895

tool: D904: 70073640

tool: D2015: 13931190

tool: D453: 2170350

tool: D3496: 169260

tool: D1196: 1638

tool: D2390: 756

tool: D2224: 44

tool: D586: 18270

tool: D411: 20925

tool: D3167: 58320

tool: D2177: 17730

tool: D1874: 300

tool: D267: 423

tool: D885: 54

tool: D1939: 2205

tool: D790: 1260

tool: D2774: 1890

tool: D404: 1050

tool: D3057: 420

tool: D1271: 126

tool: D643: 28

tool: D1262: 1576575

tool: D2039: 1801800

tool: D903: 630630

tool: D553: 150150

tool: D2173: 23100

tool: D2255: 2310

tool: D736: 140

tool: D2689: 257985

tool: {"D2417": [0x00,0x00,0x00,0x00,0xe0,0xfe,0x01,0xc1]}

tool: D2942: 221130

tool: D2409: 122850

tool: D3136: 49140

tool: D3484: 17388

tool: D843: 1512

tool: D111: 45045

tool: {"D2420": [0x00,0x00,0x00,0x00,0x00,0x23,0xd9,0xc0]}

tool: D2448: 38610

tool: D1340: 19470

tool: D3376: 12540

tool: D2514: 1836

tool: D1011: 42

tool: D2138: 1640835

tool: D2991: 921600

tool: D3146: 546030

tool: D522: 20730

tool: D727: 30180

tool: D1440: 5028

tool: D1266: 344

tool: D2026: 13377735

tool: {"D1670": [0x00,0x00,0x00,0x80,0x38,0x28,0x90,0xc1]}

tool: D2259: 6601770

tool: D2986: 3115350

tool: D2439: 548940

tool: D2555: 48132

tool: D8: 1848

tool: D1021: 85995

tool: D3196: 73710

tool: D3052: 40950

tool: D1900: 16380

tool: D1134: 4914

tool: D3492: 1092

tool: {"D2175": [0x00,0x00,0x00,0x00,0x00,0x00,0x4e,0xc0]}

tool: D2702: 75

tool: D436: 195

tool: D737: 65

tool: D839: 39

tool: D1531: 182

tool: D1993: 377

tool: D1713: 13047

tool: D1700: 2925

tool: D636: 78

tool: D101: 351

tool: D223: 36

tool: D1163: 99

tool: D1878: 130

tool: D2408: 1650

tool: D3130: 30735

tool: D1640: 3330

tool: D846: 15015

tool: D352: 262

tool: {"D1039": [0x00,0x00,0x00,0x00,0x00,0x80,0x63,0xc0]}

tool: D1180: 210

tool: D1696: 715

tool: {"D554": [0x00,0x00,0x00,0x00,0x80,0xbd,0xe7,0xc0]}

tool: D1035: 1870

tool: {"D516": [0x00,0x00,0x00,0x00,0x00,0xa9,0xba,0xc0]}

tool: D1684: 17934

tool: D3010: 2860

tool: D2780: 2145

tool: D1026: 792

tool: {"D828": [0x00,0x00,0x00,0x00,0x80,0xce,0xca,0xc0]}

tool: D791: 22

tool: D923: 15054

tool: D256: 153630

tool: D1382: 143

tool: {"D2866": [0x00,0x00,0x00,0x00,0x34,0x70,0x10,0xc1]}

tool: D1314: 9270

tool: D1860: 52

tool: D1894: 84

tool: D2519: 3780

assistant: ```c
double Slater_3S_4S(double rij, double xij, double xii) {
  double S;
  if (xii == xij) {
    S = (-74724249600.0 + 74724249600.0 * (pow((double)(2.71828182845904523536029), (double)(2.0 * rij * xii))) - 132871488750.0 * rij * xii - 116294478300.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xii), (double)(2.0))) - 66678987375.0 * (pow((double)(rij), (double)(3.0))) * (pow((double)(xii), (double)(3.0))) - 28114836750.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xii), (double)(4.0))) - 9274044780.0 * (pow((double)(rij), (double)(5.0))) * (pow((double)(xii), (double)(5.0))) - 2484321840.0 * (pow((double)(rij), (double)(6.0))) * (pow((double)(xii), (double)(6.0))) - 553204080.0 * (pow((double)(rij), (double)(7.0))) * (pow((double)(xii), (double)(7.0))) - 103783680.0 * (pow((double)(rij), (double)(8.0))) * (pow((double)(xii), (double)(8.0))) - 16473600.0 * (pow((double)(rij), (double)(9.0))) * (pow((double)(xii), (double)(9.0))) - 2196480.0 * (pow((double)(rij), (double)(10.0))) * (pow((double)(xii), (double)(10.0))) - 239616.0 * (pow((double)(rij), (double)(11.0))) * (pow((double)(xii), (double)(11.0))) - 19968.0 * (pow((double)(rij), (double)(12.0))) * (pow((double)(xii), (double)(12.0))) - 1024.0 * (pow((double)(rij), (double)(13.0))) * (pow((double)(xii), (double)(13.0)))) / (7.47242496e10 * (pow((double)(2.71828182845904523536029), (double)(2.0 * rij * xii))) * rij);
  } else {
    S = (3780.0 * (pow((double)(2.71828182845904523536029), (double)(2.0 * rij * (xii + xij)))) * (pow((double)((pow((double)(xii), (double)(2.0))) - (pow((double)(xij), (double)(2.0)))), (double)(13.0))) + 84.0 * (pow((double)(2.71828182845904523536029), (double)(2.0 * rij * xij))) * (pow((double)(xij), (double)(10.0))) * (-60.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xii), (double)(20.0))) - 2.0 * (pow((double)(rij), (double)(5.0))) * (pow((double)(xii), (double)(21.0))) + 45.0 * (pow((double)(xij), (double)(16.0))) + 75.0 * rij * xii * (pow((double)(xij), (double)(16.0))) - 4.0 * (pow((double)(rij), (double)(3.0))) * (pow((double)(xii), (double)(19.0))) * (195.0 + (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0)))) + 15.0 * rij * (pow((double)(xii), (double)(3.0))) * (pow((double)(xij), (double)(14.0))) * (-65.0 + 2.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0)))) + 15.0 * (pow((double)(xii), (double)(2.0))) * (pow((double)(xij), (double)(14.0))) * (-39.0 + 4.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0)))) - 30.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xii), (double)(18.0))) * (182.0 + 9.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0)))) + 30.0 * rij * (pow((double)(xii), (double)(13.0))) * (pow((double)(xij), (double)(4.0))) * (-13047.0 + 377.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0)))) + 2.0 * rij * (pow((double)(xii), (double)(5.0))) * (pow((double)(xij), (double)(12.0))) * (2925.0 - 195.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0)))) + 10.0 * (pow((double)(xii), (double)(4.0))) * (pow((double)(xij), (double)(12.0))) * (351.0 - 78.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0)))) - 130.0 * (pow((double)(xii), (double)(6.0))) * (pow((double)(xij), (double)(10.0))) * (99.0 - 36.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0)))) + 13.0 * rij * (pow((double)(xii), (double)(11.0))) * (pow((double)(xij), (double)(6.0))) * (30735.0 - 1650.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 4.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0)))) + rij * (pow((double)(xii), (double)(7.0))) * (pow((double)(xij), (double)(10.0))) * (-15015.0 + 3330.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 4.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0)))) + 210.0 * (pow((double)(xii), (double)(16.0))) * (-156.0 - 262.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 5.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0)))) - 6.0 * rij * (pow((double)(xii), (double)(9.0))) * (pow((double)(xij), (double)(8.0))) * (-48620.0 - 715.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 6.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0)))) + 3.0 * rij * (pow((double)(xii), (double)(17.0))) * (-6825.0 - 1870.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 12.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0)))) - 30.0 * (pow((double)(xii), (double)(14.0))) * (pow((double)(xij), (double)(2.0))) * (17934.0 - 12.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 13.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0)))) - 15.0 * (pow((double)(xii), (double)(8.0))) * (pow((double)(xij), (double)(8.0))) * (2145.0 + 2860.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 14.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0)))) + 65.0 * (pow((double)(xii), (double)(10.0))) * (pow((double)(xij), (double)(6.0))) * (-13725.0 - 792.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 22.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0)))) - 10.0 * (pow((double)(xii), (double)(12.0))) * (pow((double)(xij), (double)(4.0))) * (153630.0 - 15054.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 143.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0)))) + (pow((double)(xii), (double)(15.0))) * (-269325.0 * rij * (pow((double)(xij), (double)(2.0))) + 9270.0 * (pow((double)(rij), (double)(3.0))) * (pow((double)(xij), (double)(4.0))) - 52.0 * (pow((double)(rij), (double)(5.0))) * (pow((double)(xij), (double)(6.0))))) + (pow((double)(2.71828182845904523536029), (double)(2.0 * rij * xii))) * (pow((double)(xii), (double)(8.0))) * ((pow((double)(xii), (double)(2.0))) * (pow((double)(xij), (double)(16.0))) * (70073640.0 + 47669895.0 * rij * xij + 13931190.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 2170350.0 * (pow((double)(rij), (double)(3.0))) * (pow((double)(xij), (double)(3.0))) + 169260.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0))) + 1638.0 * (pow((double)(rij), (double)(5.0))) * (pow((double)(xij), (double)(5.0))) - 756.0 * (pow((double)(rij), (double)(6.0))) * (pow((double)(xij), (double)(6.0))) - 44.0 * (pow((double)(rij), (double)(7.0))) * (pow((double)(xij), (double)(7.0)))) + 364.0 * (pow((double)(xii), (double)(10.0))) * (pow((double)(xij), (double)(8.0))) * (-7425.0 - 13860.0 * rij * xij - 5940.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) - 11880.0 * (pow((double)(rij), (double)(3.0))) * (pow((double)(xij), (double)(3.0))) - 2640.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0))) - 45.0 * (pow((double)(rij), (double)(5.0))) * (pow((double)(xij), (double)(5.0))) + 30.0 * (pow((double)(rij), (double)(6.0))) * (pow((double)(xij), (double)(6.0))) + 2.0 * (pow((double)(rij), (double)(7.0))) * (pow((double)(xij), (double)(7.0)))) - 364.0 * (pow((double)(xii), (double)(8.0))) * (pow((double)(xij), (double)(10.0))) * (-20925.0 + 18270.0 * rij * xij - 58320.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) - 17730.0 * (pow((double)(rij), (double)(3.0))) * (pow((double)(xij), (double)(3.0))) - 300.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0))) + 423.0 * (pow((double)(rij), (double)(5.0))) * (pow((double)(xij), (double)(5.0))) + 54.0 * (pow((double)(rij), (double)(6.0))) * (pow((double)(xij), (double)(6.0))) + 2.0 * (pow((double)(rij), (double)(7.0))) * (pow((double)(xij), (double)(7.0)))) - 3.0 * (pow((double)(xii), (double)(18.0))) * (1260.0 + 2205.0 * rij * xij + 1890.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 1050.0 * (pow((double)(rij), (double)(3.0))) * (pow((double)(xij), (double)(3.0))) + 420.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0))) + 126.0 * (pow((double)(rij), (double)(5.0))) * (pow((double)(xij), (double)(5.0))) + 28.0 * (pow((double)(rij), (double)(6.0))) * (pow((double)(xij), (double)(6.0))) + 4.0 * (pow((double)(rij), (double)(7.0))) * (pow((double)(xij), (double)(7.0)))) + 3.0 * (pow((double)(xij), (double)(18.0))) * (1801800.0 + 1576575.0 * rij * xij + 630630.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 150150.0 * (pow((double)(rij), (double)(3.0))) * (pow((double)(xij), (double)(3.0))) + 23100.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0))) + 2310.0 * (pow((double)(rij), (double)(5.0))) * (pow((double)(xij), (double)(5.0))) + 140.0 * (pow((double)(rij), (double)(6.0))) * (pow((double)(xij), (double)(6.0))) + 4.0 * (pow((double)(rij), (double)(7.0))) * (pow((double)(xij), (double)(7.0)))) + 2.0 * (pow((double)(xii), (double)(14.0))) * (pow((double)(xij), (double)(4.0))) * (-147420.0 - 257985.0 * rij * xij - 221130.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) - 122850.0 * (pow((double)(rij), (double)(3.0))) * (pow((double)(xij), (double)(3.0))) - 49140.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0))) - 17388.0 * (pow((double)(rij), (double)(5.0))) * (pow((double)(xij), (double)(5.0))) - 1512.0 * (pow((double)(rij), (double)(6.0))) * (pow((double)(xij), (double)(6.0))) + 8.0 * (pow((double)(rij), (double)(7.0))) * (pow((double)(xij), (double)(7.0)))) - 42.0 * (pow((double)(xii), (double)(12.0))) * (pow((double)(xij), (double)(6.0))) * (-25740.0 - 45045.0 * rij * xij - 38610.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) - 19470.0 * (pow((double)(rij), (double)(3.0))) * (pow((double)(xij), (double)(3.0))) - 12540.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0))) - 1836.0 * (pow((double)(rij), (double)(5.0))) * (pow((double)(xij), (double)(5.0))) - 8.0 * (pow((double)(rij), (double)(6.0))) * (pow((double)(xij), (double)(6.0))) + 8.0 * (pow((double)(rij), (double)(7.0))) * (pow((double)(xij), (double)(7.0)))) + 42.0 * (pow((double)(xii), (double)(6.0))) * (pow((double)(xij), (double)(12.0))) * (921600.0 - 1640835.0 * rij * xij - 546030.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 20730.0 * (pow((double)(rij), (double)(3.0))) * (pow((double)(xij), (double)(3.0))) + 30180.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0))) + 5028.0 * (pow((double)(rij), (double)(5.0))) * (pow((double)(xij), (double)(5.0))) + 344.0 * (pow((double)(rij), (double)(6.0))) * (pow((double)(xij), (double)(6.0))) + 8.0 * (pow((double)(rij), (double)(7.0))) * (pow((double)(xij), (double)(7.0)))) - 2.0 * (pow((double)(xii), (double)(4.0))) * (pow((double)(xij), (double)(14.0))) * (-67767840.0 - 13377735.0 * rij * xij + 6601770.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 3115350.0 * (pow((double)(rij), (double)(3.0))) * (pow((double)(xij), (double)(3.0))) + 548940.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0))) + 48132.0 * (pow((double)(rij), (double)(5.0))) * (pow((double)(xij), (double)(5.0))) + 1848.0 * (pow((double)(rij), (double)(6.0))) * (pow((double)(xij), (double)(6.0))) + 8.0 * (pow((double)(rij), (double)(7.0))) * (pow((double)(xij), (double)(7.0)))) + (pow((double)(xii), (double)(16.0))) * (pow((double)(xij), (double)(2.0))) * (49140.0 + 85995.0 * rij * xij + 73710.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 40950.0 * (pow((double)(rij), (double)(3.0))) * (pow((double)(xij), (double)(3.0))) + 16380.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0))) + 4914.0 * (pow((double)(rij), (double)(5.0))) * (pow((double)(xij), (double)(5.0))) + 1092.0 * (pow((double)(rij), (double)(6.0))) * (pow((double)(xij), (double)(6.0))) + 44.0 * (pow((double)(rij), (double)(7.0))) * (pow((double)(xij), (double)(7.0)))))) / (3780. * (pow((double)(2.71828182845904523536029), (double)(2.0 * rij * (xii + xij)))) * rij * (pow((double)((pow((double)(xii), (double)(2.0))) - (pow((double)(xij), (double)(2.0)))), (double)(13.0))));
  }
  return S;
}
```