user: What is the c source code of the assembly code below?

```asm
<Slater_3S_5S>:
  endbr64
  push   %r15
  movapd %xmm0,%xmm3
  push   %r14
  addsd  %xmm0,%xmm3
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x888,%rsp
  ucomisd %xmm1,%xmm2
  movsd  %xmm1,(%rsp)
  movsd  %xmm2,0x10(%rsp)
  movsd  %xmm0,0x8(%rsp)
  movsd  %xmm3,0x18(%rsp)
  jp     L0
  jne    L0
  mulsd  %xmm2,%xmm3
  movsd  D4382(%rip),%xmm4
  movapd %xmm4,%xmm0
  movsd  %xmm3,0xd8(%rsp)
  movapd %xmm3,%xmm1
  call   <pow@plt>
  movsd  D4451(%rip),%xmm1
  movsd  %xmm0,0xd0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D4451(%rip),%rax
  movq   %xmm0,%rbx
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1824(%rip),%xmm1
  movsd  %xmm0,(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0xc8(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D2815(%rip),%xmm1
  movsd  %xmm0,0x18(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D2815(%rip),%rax
  movsd  %xmm0,0xc0(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D3243(%rip),%xmm1
  movsd  %xmm0,0x20(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D3243(%rip),%rax
  movsd  %xmm0,0xb8(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D2187(%rip),%xmm1
  movsd  %xmm0,0x28(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D2187(%rip),%rax
  movsd  %xmm0,0xb0(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D3155(%rip),%xmm1
  movsd  %xmm0,0x30(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D3155(%rip),%rax
  movsd  %xmm0,0xa8(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D4705(%rip),%xmm1
  movsd  %xmm0,0x38(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D4705(%rip),%rax
  movsd  %xmm0,0xa0(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D2685(%rip),%xmm1
  movsd  %xmm0,0x40(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D2685(%rip),%rax
  movsd  %xmm0,0x98(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1571(%rip),%xmm1
  movsd  %xmm0,0x48(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1571(%rip),%rax
  movsd  %xmm0,0x90(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1026(%rip),%xmm1
  movsd  %xmm0,0x50(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1026(%rip),%rax
  movsd  %xmm0,0x88(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D4542(%rip),%xmm1
  movsd  %xmm0,0x58(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D4542(%rip),%rax
  movsd  %xmm0,0x80(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D856(%rip),%xmm1
  movsd  %xmm0,0x60(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D856(%rip),%rax
  movsd  %xmm0,0x78(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D3347(%rip),%xmm1
  movsd  %xmm0,0x68(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D3347(%rip),%rax
  movq   %xmm0,%r14
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4382(%rip),%rax
  movsd  0xd8(%rsp),%xmm3
  movsd  %xmm0,0x70(%rsp)
  movapd %xmm3,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D419(%rip),%xmm3
  movsd  0xd0(%rsp),%xmm2
  movsd  0x8(%rsp),%xmm6
  movapd %xmm0,%xmm1
  movsd  0x10(%rsp),%xmm5
  movsd  0xc8(%rsp),%xmm15
  mulsd  %xmm3,%xmm2
  movsd  0xc0(%rsp),%xmm14
  movsd  0xb8(%rsp),%xmm13
  mulsd  %xmm3,%xmm1
  movsd  0xb0(%rsp),%xmm12
  mulsd  D2103(%rip),%xmm15
  movsd  0xa8(%rsp),%xmm11
  mulsd  0x18(%rsp),%xmm15
  movsd  0xa0(%rsp),%xmm10
  mulsd  D2349(%rip),%xmm14
  movsd  0x98(%rsp),%xmm9
  mulsd  0x20(%rsp),%xmm14
  movapd %xmm2,%xmm0
  movsd  D4798(%rip),%xmm2
  mulsd  D4195(%rip),%xmm13
  subsd  %xmm3,%xmm0
  movsd  0x90(%rsp),%xmm8
  mulsd  %xmm6,%xmm2
  mulsd  0x28(%rsp),%xmm13
  mulsd  D628(%rip),%xmm12
  movapd %xmm0,%xmm4
  mulsd  0x30(%rsp),%xmm12
  mulsd  D1993(%rip),%xmm11
  mulsd  %xmm5,%xmm2
  mulsd  %xmm5,%xmm5
  mulsd  0x38(%rsp),%xmm11
  mulsd  D1661(%rip),%xmm10
  mulsd  0x40(%rsp),%xmm10
  mulsd  D742(%rip),%xmm9
  subsd  %xmm2,%xmm4
  movapd %xmm6,%xmm2
  mulsd  %xmm6,%xmm2
  mulsd  D3806(%rip),%xmm2
  mulsd  0x48(%rsp),%xmm9
  mulsd  D3595(%rip),%xmm8
  mulsd  0x50(%rsp),%xmm8
  mulsd  %xmm5,%xmm2
  subsd  %xmm2,%xmm4
  movq   %rbx,%xmm2
  mulsd  D3553(%rip),%xmm2
  mulsd  (%rsp),%xmm2
  movsd  0x88(%rsp),%xmm7
  movsd  0x78(%rsp),%xmm5
  mulsd  0x8(%rsp),%xmm1
  movapd %xmm4,%xmm0
  movq   %r14,%xmm4
  mulsd  D4079(%rip),%xmm7
  movsd  0x80(%rsp),%xmm6
  mulsd  0x58(%rsp),%xmm7
  mulsd  D4510(%rip),%xmm6
  subsd  %xmm2,%xmm0
  mulsd  0x60(%rsp),%xmm6
  mulsd  D4035(%rip),%xmm5
  mulsd  0x68(%rsp),%xmm5
  subsd  %xmm15,%xmm0
  mulsd  D3506(%rip),%xmm4
  mulsd  0x70(%rsp),%xmm4
  subsd  %xmm14,%xmm0
  subsd  %xmm13,%xmm0
  subsd  %xmm12,%xmm0
  subsd  %xmm11,%xmm0
  subsd  %xmm10,%xmm0
  subsd  %xmm9,%xmm0
  subsd  %xmm8,%xmm0
  subsd  %xmm7,%xmm0
  subsd  %xmm6,%xmm0
  subsd  %xmm5,%xmm0
  subsd  %xmm4,%xmm0
  divsd  %xmm1,%xmm0
L23:
  add    $0x888,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  xchg   %ax,%ax
L0:
  movsd  0x10(%rsp),%xmm13
  addsd  (%rsp),%xmm13
  mulsd  0x18(%rsp),%xmm13
  mov    D4382(%rip),%rax
  movq   %rax,%xmm0
  movsd  %xmm13,0x810(%rsp)
  movapd %xmm13,%xmm1
  call   <pow@plt>
  movsd  0x10(%rsp),%xmm13
  movsd  (%rsp),%xmm1
  mov    D3347(%rip),%rax
  movq   %xmm0,%rbx
  movapd %xmm13,%xmm6
  movapd %xmm1,%xmm3
  mulsd  %xmm13,%xmm6
  mulsd  %xmm1,%xmm3
  movq   %rax,%xmm1
  movsd  %xmm6,0x878(%rsp)
  movapd %xmm6,%xmm15
  movsd  %xmm3,0x2d0(%rsp)
  subsd  %xmm3,%xmm15
  movsd  %xmm15,0x870(%rsp)
  movapd %xmm15,%xmm0
  call   <pow@plt>
  movsd  (%rsp),%xmm1
  mulsd  0x18(%rsp),%xmm1
  mov    D4382(%rip),%rax
  movsd  %xmm0,0x20(%rsp)
  movq   %rax,%xmm0
  call   <pow@plt>
  mov    D1026(%rip),%rax
  movq   %xmm0,%r14
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x28(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1023(%rip),%xmm7
  movq   %xmm0,%r15
  movsd  0x10(%rsp),%xmm0
  movapd %xmm7,%xmm1
  call   <pow@plt>
  mov    D2815(%rip),%rax
  movsd  %xmm0,0x30(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D575(%rip),%xmm1
  movsd  %xmm0,0x38(%rsp)
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  mov    D4650(%rip),%rax
  movsd  %xmm0,0x40(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4650(%rip),%rax
  movq   %xmm0,%rbp
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4451(%rip),%rax
  movsd  %xmm0,0x48(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4125(%rip),%rax
  movq   %xmm0,%r12
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  0x8(%rsp),%xmm3
  mov    D4451(%rip),%rax
  movsd  %xmm0,0x50(%rsp)
  movsd  0x10(%rsp),%xmm0
  movapd %xmm3,%xmm2
  movq   %rax,%xmm1
  mulsd  %xmm3,%xmm2
  movsd  %xmm2,0x2c8(%rsp)
  call   <pow@plt>
  mov    D302(%rip),%rax
  movsd  %xmm0,0x58(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D302(%rip),%rax
  movsd  %xmm0,0x60(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3811(%rip),%rax
  movsd  %xmm0,0x68(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4705(%rip),%rax
  movsd  %xmm0,0x70(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2685(%rip),%rax
  movq   %xmm0,%r13
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x78(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x80(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3445(%rip),%rax
  movsd  %xmm0,0x88(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x90(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x868(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2815(%rip),%rax
  movsd  D2815(%rip),%xmm10
  movsd  %xmm0,0x98(%rsp)
  mulsd  0x8(%rsp),%xmm10
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  movsd  %xmm10,0x860(%rsp)
  call   <pow@plt>
  mov    D856(%rip),%rax
  movsd  %xmm0,0xa0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0xa8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x858(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0xb0(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D856(%rip),%rax
  movsd  %xmm0,0xb8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0xc0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0xc8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3243(%rip),%rax
  movsd  %xmm0,0xd0(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1026(%rip),%rax
  movsd  %xmm0,0xd8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0xe0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0xe8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1571(%rip),%xmm1
  movsd  %xmm0,0xf0(%rsp)
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  mov    D3155(%rip),%rax
  movsd  %xmm0,0xf8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x100(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x108(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2187(%rip),%rax
  movsd  %xmm0,0x110(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1026(%rip),%rax
  movsd  %xmm0,0x118(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x120(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x128(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2685(%rip),%rax
  movsd  %xmm0,0x130(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3155(%rip),%rax
  movsd  %xmm0,0x138(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x140(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x148(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3347(%rip),%rax
  movsd  D3347(%rip),%xmm10
  movsd  %xmm0,0x150(%rsp)
  mulsd  0x8(%rsp),%xmm10
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  movsd  %xmm10,0x158(%rsp)
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x160(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x168(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x170(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D4542(%rip),%xmm1
  movsd  %xmm0,0x178(%rsp)
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  mov    D3243(%rip),%rax
  movsd  %xmm0,0x180(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x188(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x190(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1026(%rip),%rax
  movsd  %xmm0,0x198(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3243(%rip),%rax
  movsd  %xmm0,0x1a0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x1a8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x1b0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4650(%rip),%rax
  movsd  %xmm0,0x1b8(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x1c0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x1c8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D2605(%rip),%xmm1
  movsd  %xmm0,0x1d0(%rsp)
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x1d8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x1e0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D302(%rip),%rax
  movsd  %xmm0,0x1e8(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x1f0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x1f8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3155(%rip),%rax
  movsd  %xmm0,0x200(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2685(%rip),%rax
  movsd  %xmm0,0x208(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x210(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x218(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D856(%rip),%rax
  movsd  %xmm0,0x220(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x228(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x230(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x238(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  0x10(%rsp),%xmm1
  mulsd  0x18(%rsp),%xmm1
  movsd  %xmm0,0x240(%rsp)
  mov    D4382(%rip),%rax
  movq   %rax,%xmm0
  call   <pow@plt>
  mov    D3155(%rip),%rax
  movsd  %xmm0,0x248(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3811(%rip),%rax
  movsd  %xmm0,0x250(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4451(%rip),%rax
  movsd  %xmm0,0x258(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4451(%rip),%rax
  movsd  %xmm0,0x850(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x260(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x848(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2815(%rip),%rax
  movsd  %xmm0,0x268(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2815(%rip),%rax
  movsd  %xmm0,0x840(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3243(%rip),%rax
  movsd  %xmm0,0x270(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3243(%rip),%rax
  movsd  %xmm0,0x278(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2187(%rip),%rax
  movsd  %xmm0,0x280(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2187(%rip),%rax
  movsd  %xmm0,0x288(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3155(%rip),%rax
  movsd  %xmm0,0x290(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3155(%rip),%rax
  movsd  %xmm0,0x298(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4705(%rip),%rax
  movsd  %xmm0,0x2a0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4705(%rip),%rax
  movsd  %xmm0,0x2a8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x2b0(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4650(%rip),%rax
  movsd  %xmm0,0x2b8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4451(%rip),%rax
  movsd  0x2c8(%rsp),%xmm2
  movsd  0x2d0(%rsp),%xmm3
  movsd  %xmm0,0x2c0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm2,%xmm9
  movq   %rax,%xmm1
  movsd  %xmm2,0x838(%rsp)
  mulsd  D4349(%rip),%xmm9
  movsd  %xmm3,0x830(%rsp)
  mulsd  %xmm3,%xmm9
  movsd  %xmm9,0x828(%rsp)
  call   <pow@plt>
  mov    D4451(%rip),%rax
  movsd  %xmm0,0x2c8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x2d0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x2d8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2815(%rip),%rax
  movsd  %xmm0,0x2e0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2815(%rip),%rax
  movsd  %xmm0,0x2e8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3243(%rip),%rax
  movsd  %xmm0,0x2f0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3243(%rip),%rax
  movsd  %xmm0,0x2f8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2187(%rip),%rax
  movsd  %xmm0,0x300(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2187(%rip),%rax
  movsd  %xmm0,0x308(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3155(%rip),%rax
  movsd  %xmm0,0x310(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3155(%rip),%rax
  movsd  %xmm0,0x318(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4705(%rip),%rax
  movsd  %xmm0,0x320(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4705(%rip),%rax
  movsd  %xmm0,0x328(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1023(%rip),%rax
  movsd  %xmm0,0x330(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4451(%rip),%rax
  movsd  %xmm0,0x338(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4451(%rip),%rax
  movsd  %xmm0,0x340(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x348(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x350(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2815(%rip),%rax
  movsd  %xmm0,0x358(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2815(%rip),%rax
  movsd  %xmm0,0x360(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3243(%rip),%rax
  movsd  %xmm0,0x368(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3243(%rip),%rax
  movsd  %xmm0,0x370(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2187(%rip),%rax
  movsd  %xmm0,0x378(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2187(%rip),%rax
  movsd  %xmm0,0x380(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3155(%rip),%rax
  movsd  %xmm0,0x388(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3155(%rip),%rax
  movsd  %xmm0,0x390(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4705(%rip),%rax
  movsd  %xmm0,0x398(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4705(%rip),%rax
  movsd  %xmm0,0x3a0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1023(%rip),%rax
  movsd  %xmm0,0x3a8(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4451(%rip),%rax
  movsd  %xmm0,0x3b0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4451(%rip),%rax
  movsd  %xmm0,0x3b8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x3c0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x3c8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2815(%rip),%rax
  movsd  %xmm0,0x3d0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2815(%rip),%rax
  movsd  %xmm0,0x3d8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3243(%rip),%rax
  movsd  %xmm0,0x3e0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3243(%rip),%rax
  movsd  %xmm0,0x3e8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2187(%rip),%rax
  movsd  %xmm0,0x3f0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2187(%rip),%rax
  movsd  %xmm0,0x3f8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3155(%rip),%rax
  movsd  %xmm0,0x400(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3155(%rip),%rax
  movsd  %xmm0,0x408(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4705(%rip),%rax
  movsd  %xmm0,0x410(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4705(%rip),%rax
  movsd  %xmm0,0x820(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4650(%rip),%rax
  movsd  %xmm0,0x418(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x420(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4451(%rip),%rax
  movsd  %xmm0,0x428(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4451(%rip),%rax
  movsd  %xmm0,0x430(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x438(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x440(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2815(%rip),%rax
  movsd  %xmm0,0x448(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2815(%rip),%rax
  movsd  %xmm0,0x450(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3243(%rip),%rax
  movsd  %xmm0,0x458(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3243(%rip),%rax
  movsd  %xmm0,0x460(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2187(%rip),%rax
  movsd  %xmm0,0x468(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2187(%rip),%rax
  movsd  %xmm0,0x470(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3155(%rip),%rax
  movsd  %xmm0,0x478(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3155(%rip),%rax
  movsd  %xmm0,0x480(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4705(%rip),%rax
  movsd  %xmm0,0x488(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4705(%rip),%rax
  movsd  %xmm0,0x818(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3243(%rip),%rax
  movsd  %xmm0,0x490(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D302(%rip),%rax
  movsd  %xmm0,0x498(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4451(%rip),%rax
  movsd  %xmm0,0x4a0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4451(%rip),%rax
  movsd  %xmm0,0x4a8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x4b0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x4b8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2815(%rip),%rax
  movsd  %xmm0,0x4c0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2815(%rip),%rax
  movsd  %xmm0,0x4c8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3243(%rip),%rax
  movsd  %xmm0,0x4d0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3243(%rip),%rax
  movsd  %xmm0,0x4d8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2187(%rip),%rax
  movsd  %xmm0,0x4e0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2187(%rip),%rax
  movsd  %xmm0,0x4e8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3155(%rip),%rax
  movsd  %xmm0,0x4f0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3155(%rip),%rax
  movsd  %xmm0,0x4f8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4705(%rip),%rax
  movsd  %xmm0,0x500(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4705(%rip),%rax
  movsd  %xmm0,0x508(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1026(%rip),%rax
  movsd  %xmm0,0x510(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2685(%rip),%rax
  movsd  %xmm0,0x518(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4451(%rip),%rax
  movsd  %xmm0,0x520(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4451(%rip),%rax
  movsd  %xmm0,0x528(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x530(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x538(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2815(%rip),%rax
  movsd  %xmm0,0x540(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2815(%rip),%rax
  movsd  %xmm0,0x548(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3243(%rip),%rax
  movsd  %xmm0,0x550(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3243(%rip),%rax
  movsd  %xmm0,0x558(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2187(%rip),%rax
  movsd  %xmm0,0x560(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2187(%rip),%rax
  movsd  %xmm0,0x568(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3155(%rip),%rax
  movsd  %xmm0,0x570(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3155(%rip),%rax
  movsd  %xmm0,0x578(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4705(%rip),%rax
  movsd  %xmm0,0x580(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4705(%rip),%rax
  movsd  %xmm0,0x588(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2685(%rip),%rax
  movsd  %xmm0,0x590(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1026(%rip),%rax
  movsd  %xmm0,0x598(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4451(%rip),%rax
  movsd  %xmm0,0x5a0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4451(%rip),%rax
  movsd  %xmm0,0x5a8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x5b0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x5b8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2815(%rip),%rax
  movsd  %xmm0,0x5c0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2815(%rip),%rax
  movsd  %xmm0,0x5c8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3243(%rip),%rax
  movsd  %xmm0,0x5d0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3243(%rip),%rax
  movsd  %xmm0,0x5d8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2187(%rip),%rax
  movsd  %xmm0,0x5e0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2187(%rip),%rax
  movsd  %xmm0,0x5e8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3155(%rip),%rax
  movsd  %xmm0,0x5f0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3155(%rip),%rax
  movsd  %xmm0,0x5f8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4705(%rip),%rax
  movsd  %xmm0,0x600(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4705(%rip),%rax
  movsd  %xmm0,0x608(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D302(%rip),%rax
  movsd  %xmm0,0x610(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3243(%rip),%rax
  movsd  %xmm0,0x618(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4451(%rip),%rax
  movsd  %xmm0,0x620(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4451(%rip),%rax
  movsd  %xmm0,0x628(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x630(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x638(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2815(%rip),%rax
  movsd  %xmm0,0x640(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2815(%rip),%rax
  movsd  %xmm0,0x648(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3243(%rip),%rax
  movsd  %xmm0,0x650(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3243(%rip),%rax
  movsd  %xmm0,0x658(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2187(%rip),%rax
  movsd  %xmm0,0x660(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2187(%rip),%rax
  movsd  %xmm0,0x668(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3155(%rip),%rax
  movsd  %xmm0,0x670(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3155(%rip),%rax
  movsd  %xmm0,0x678(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4705(%rip),%rax
  movsd  %xmm0,0x680(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4705(%rip),%rax
  movsd  %xmm0,0x688(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3811(%rip),%rax
  movsd  %xmm0,0x690(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4451(%rip),%rax
  movsd  %xmm0,0x698(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4451(%rip),%rax
  movsd  %xmm0,0x6a0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x6a8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x6b0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2815(%rip),%rax
  movsd  %xmm0,0x6b8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2815(%rip),%rax
  movsd  %xmm0,0x6c0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3243(%rip),%rax
  movsd  %xmm0,0x6c8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3243(%rip),%rax
  movsd  %xmm0,0x6d0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2187(%rip),%rax
  movsd  %xmm0,0x6d8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2187(%rip),%rax
  movsd  %xmm0,0x6e0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3155(%rip),%rax
  movsd  %xmm0,0x6e8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3155(%rip),%rax
  movsd  %xmm0,0x6f0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4705(%rip),%rax
  movsd  %xmm0,0x6f8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4705(%rip),%rax
  movsd  %xmm0,0x700(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D856(%rip),%rax
  movsd  %xmm0,0x708(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3155(%rip),%rax
  movsd  %xmm0,0x710(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4451(%rip),%rax
  movsd  %xmm0,0x718(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4451(%rip),%rax
  movsd  %xmm0,0x720(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x728(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x730(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2815(%rip),%rax
  movsd  %xmm0,0x738(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2815(%rip),%rax
  movsd  %xmm0,0x740(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3243(%rip),%rax
  movsd  %xmm0,0x748(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3243(%rip),%rax
  movsd  %xmm0,0x750(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2187(%rip),%rax
  movsd  %xmm0,0x758(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2187(%rip),%rax
  movsd  %xmm0,0x760(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3155(%rip),%rax
  movsd  %xmm0,0x768(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3155(%rip),%rax
  movsd  %xmm0,0x770(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4705(%rip),%rax
  movsd  %xmm0,0x778(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4705(%rip),%rax
  movsd  %xmm0,0x780(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3155(%rip),%rax
  movsd  %xmm0,0x788(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D856(%rip),%rax
  movsd  %xmm0,0x790(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4451(%rip),%rax
  movsd  %xmm0,0x798(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4451(%rip),%rax
  movsd  %xmm0,0x7a0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x7a8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1824(%rip),%rax
  movsd  %xmm0,0x7b0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2815(%rip),%rax
  movsd  %xmm0,0x7b8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2815(%rip),%rax
  movsd  %xmm0,0x7c0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3243(%rip),%rax
  movsd  %xmm0,0x7c8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3243(%rip),%rax
  movsd  %xmm0,0x7d0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2187(%rip),%rax
  movsd  %xmm0,0x7d8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2187(%rip),%rax
  movsd  %xmm0,0x7e0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3155(%rip),%rax
  movsd  %xmm0,0x7e8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3155(%rip),%rax
  movsd  %xmm0,0x7f0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4705(%rip),%rax
  movsd  %xmm0,0x7f8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4705(%rip),%rax
  movsd  %xmm0,0x800(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4382(%rip),%rax
  movsd  0x810(%rsp),%xmm13
  movsd  %xmm0,0x808(%rsp)
  movapd %xmm13,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mov    D3347(%rip),%rax
  movsd  0x870(%rsp),%xmm15
  movsd  %xmm0,0x810(%rsp)
  movq   %rax,%xmm1
  movapd %xmm15,%xmm0
  call   <pow@plt>
  movsd  0x8(%rsp),%xmm5
  movsd  (%rsp),%xmm4
  movsd  D211(%rip),%xmm3
  movapd %xmm0,%xmm13
  movsd  0x838(%rsp),%xmm2
  movsd  D4645(%rip),%xmm15
  movsd  0x850(%rsp),%xmm14
  movsd  0x848(%rsp),%xmm12
  mulsd  %xmm5,%xmm3
  movsd  0x840(%rsp),%xmm11
  mulsd  %xmm2,%xmm15
  movsd  0x278(%rsp),%xmm1
  movsd  0x878(%rsp),%xmm6
  mulsd  D444(%rip),%xmm14
  mulsd  0x260(%rsp),%xmm14
  mulsd  D1226(%rip),%xmm12
  mulsd  0x268(%rsp),%xmm12
  movapd %xmm3,%xmm0
  movsd  0x830(%rsp),%xmm3
  mulsd  %xmm4,%xmm0
  mulsd  %xmm3,%xmm15
  addsd  D693(%rip),%xmm0
  mulsd  D4074(%rip),%xmm11
  mulsd  0x270(%rsp),%xmm11
  mulsd  D305(%rip),%xmm1
  mulsd  0x280(%rsp),%xmm1
  addsd  %xmm15,%xmm0
  addsd  %xmm14,%xmm0
  addsd  %xmm12,%xmm0
  addsd  %xmm11,%xmm0
  addsd  %xmm1,%xmm0
  movsd  0x288(%rsp),%xmm1
  mulsd  D393(%rip),%xmm1
  mulsd  0x290(%rsp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  0x298(%rsp),%xmm1
  mulsd  D4184(%rip),%xmm1
  mulsd  0x2a0(%rsp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  D3445(%rip),%xmm1
  mulsd  0x2a8(%rsp),%xmm1
  mulsd  0x2b0(%rsp),%xmm1
  subsd  %xmm1,%xmm0
  movapd %xmm6,%xmm1
  addsd  %xmm6,%xmm1
  mulsd  0x258(%rsp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  D4423(%rip),%xmm1
  mulsd  %xmm5,%xmm1
  mulsd  %xmm4,%xmm1
  addsd  D4275(%rip),%xmm1
  movsd  0x828(%rsp),%xmm9
  movsd  0x2c8(%rsp),%xmm11
  mulsd  D4721(%rip),%xmm11
  mulsd  0x2d0(%rsp),%xmm11
  movsd  D4301(%rip),%xmm14
  movsd  D36(%rip),%xmm12
  addsd  %xmm9,%xmm1
  subsd  %xmm11,%xmm1
  movsd  0x2d8(%rsp),%xmm11
  mulsd  D3552(%rip),%xmm11
  mulsd  0x2e0(%rsp),%xmm11
  subsd  %xmm11,%xmm1
  movsd  0x2e8(%rsp),%xmm11
  mulsd  D4457(%rip),%xmm11
  mulsd  0x2f0(%rsp),%xmm11
  subsd  %xmm11,%xmm1
  movsd  0x2f8(%rsp),%xmm11
  mulsd  D1422(%rip),%xmm11
  mulsd  0x300(%rsp),%xmm11
  subsd  %xmm11,%xmm1
  movsd  0x308(%rsp),%xmm11
  mulsd  %xmm14,%xmm11
  mulsd  0x310(%rsp),%xmm11
  subsd  %xmm11,%xmm1
  movsd  0x318(%rsp),%xmm11
  mulsd  %xmm12,%xmm11
  mulsd  0x320(%rsp),%xmm11
  subsd  %xmm11,%xmm1
  movsd  0x328(%rsp),%xmm11
  mulsd  0x330(%rsp),%xmm11
  addsd  %xmm11,%xmm1
  movsd  0x2b8(%rsp),%xmm11
  mulsd  D1233(%rip),%xmm11
  mulsd  0x2c0(%rsp),%xmm11
  mulsd  %xmm11,%xmm1
  movsd  D3867(%rip),%xmm11
  addsd  %xmm1,%xmm0
  movapd %xmm5,%xmm1
  mulsd  %xmm11,%xmm1
  mulsd  %xmm4,%xmm1
  addsd  %xmm11,%xmm1
  movsd  D1283(%rip),%xmm11
  mulsd  %xmm2,%xmm11
  mulsd  %xmm3,%xmm11
  addsd  %xmm11,%xmm1
  movsd  0x340(%rsp),%xmm11
  mulsd  D4121(%rip),%xmm11
  mulsd  0x348(%rsp),%xmm11
  addsd  %xmm11,%xmm1
  movsd  0x350(%rsp),%xmm11
  mulsd  D4415(%rip),%xmm11
  mulsd  0x358(%rsp),%xmm11
  addsd  %xmm11,%xmm1
  movsd  0x360(%rsp),%xmm11
  movsd  D667(%rip),%xmm7
  mulsd  D197(%rip),%xmm11
  movsd  D3816(%rip),%xmm15
  mulsd  0x368(%rsp),%xmm11
  mulsd  0x390(%rsp),%xmm15
  mulsd  0x398(%rsp),%xmm15
  mulsd  %xmm5,%xmm7
  mulsd  0x3d8(%rsp),%xmm14
  mulsd  0x3e0(%rsp),%xmm14
  addsd  %xmm11,%xmm1
  movsd  0x370(%rsp),%xmm11
  mulsd  D2267(%rip),%xmm11
  mulsd  0x378(%rsp),%xmm11
  addsd  %xmm11,%xmm1
  movsd  0x380(%rsp),%xmm11
  mulsd  D859(%rip),%xmm11
  mulsd  0x388(%rsp),%xmm11
  addsd  %xmm11,%xmm1
  movapd %xmm0,%xmm11
  movapd %xmm7,%xmm0
  movsd  0x3e8(%rsp),%xmm7
  mulsd  %xmm4,%xmm0
  addsd  D1282(%rip),%xmm0
  mulsd  D159(%rip),%xmm7
  addsd  %xmm1,%xmm15
  movsd  0x3a0(%rsp),%xmm1
  mulsd  0x3a8(%rsp),%xmm1
  addsd  %xmm15,%xmm1
  movsd  D3243(%rip),%xmm15
  mulsd  0x338(%rsp),%xmm15
  mulsd  %xmm15,%xmm1
  movsd  D2612(%rip),%xmm15
  addsd  %xmm1,%xmm11
  movapd %xmm2,%xmm1
  mulsd  %xmm15,%xmm1
  mulsd  %xmm3,%xmm1
  addsd  %xmm1,%xmm0
  movsd  0x3b8(%rsp),%xmm1
  mulsd  D2021(%rip),%xmm1
  mulsd  0x3c0(%rsp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  0x3c8(%rsp),%xmm1
  mulsd  D3061(%rip),%xmm1
  mulsd  0x3d0(%rsp),%xmm1
  addsd  %xmm1,%xmm0
  movapd %xmm11,%xmm1
  addsd  %xmm0,%xmm14
  movsd  0x3f0(%rsp),%xmm0
  mulsd  %xmm7,%xmm0
  movsd  0x3f8(%rsp),%xmm7
  mulsd  D3012(%rip),%xmm7
  addsd  %xmm0,%xmm14
  movsd  0x400(%rsp),%xmm0
  movsd  0x820(%rsp),%xmm8
  movsd  D1450(%rip),%xmm11
  mulsd  %xmm7,%xmm0
  movsd  D4650(%rip),%xmm7
  addsd  %xmm8,%xmm8
  mulsd  0x408(%rsp),%xmm7
  addsd  %xmm0,%xmm14
  movsd  0x410(%rsp),%xmm0
  mulsd  %xmm7,%xmm0
  movsd  0x418(%rsp),%xmm7
  mulsd  %xmm8,%xmm7
  movsd  D4451(%rip),%xmm8
  mulsd  0x3b0(%rsp),%xmm8
  addsd  %xmm0,%xmm14
  movapd %xmm7,%xmm0
  movsd  0x430(%rsp),%xmm7
  addsd  %xmm14,%xmm0
  mulsd  D3503(%rip),%xmm7
  movsd  0x488(%rsp),%xmm14
  mulsd  %xmm8,%xmm0
  movsd  D4066(%rip),%xmm8
  mulsd  %xmm5,%xmm8
  subsd  %xmm0,%xmm1
  movsd  0x438(%rsp),%xmm0
  mulsd  %xmm4,%xmm8
  addsd  D2451(%rip),%xmm8
  mulsd  %xmm7,%xmm0
  movsd  0x440(%rsp),%xmm7
  mulsd  %xmm11,%xmm7
  addsd  %xmm9,%xmm8
  addsd  %xmm0,%xmm8
  movsd  0x448(%rsp),%xmm0
  mulsd  %xmm7,%xmm0
  movsd  0x450(%rsp),%xmm7
  mulsd  D2388(%rip),%xmm7
  addsd  %xmm0,%xmm8
  movsd  0x458(%rsp),%xmm0
  mulsd  %xmm7,%xmm0
  movsd  0x460(%rsp),%xmm7
  mulsd  D488(%rip),%xmm7
  addsd  %xmm0,%xmm8
  movsd  0x468(%rsp),%xmm0
  mulsd  %xmm7,%xmm0
  movsd  0x470(%rsp),%xmm7
  mulsd  D3590(%rip),%xmm7
  addsd  %xmm0,%xmm8
  movsd  0x478(%rsp),%xmm0
  mulsd  %xmm7,%xmm0
  movsd  0x480(%rsp),%xmm7
  mulsd  D650(%rip),%xmm7
  addsd  %xmm0,%xmm8
  mulsd  %xmm7,%xmm14
  movsd  0x818(%rsp),%xmm7
  addsd  %xmm7,%xmm7
  mulsd  0x490(%rsp),%xmm7
  addsd  %xmm8,%xmm14
  movsd  D4125(%rip),%xmm8
  mulsd  0x420(%rsp),%xmm8
  addsd  %xmm14,%xmm7
  movsd  0x428(%rsp),%xmm14
  movsd  D4675(%rip),%xmm0
  movsd  0x498(%rsp),%xmm9
  mulsd  D2295(%rip),%xmm9
  mulsd  %xmm8,%xmm14
  movsd  0x4c8(%rsp),%xmm8
  mulsd  D935(%rip),%xmm8
  mulsd  %xmm7,%xmm14
  movsd  D2316(%rip),%xmm7
  mulsd  %xmm5,%xmm7
  subsd  %xmm14,%xmm1
  movsd  D2277(%rip),%xmm14
  mulsd  %xmm4,%xmm7
  subsd  %xmm7,%xmm0
  movsd  D1204(%rip),%xmm7
  mulsd  %xmm2,%xmm7
  mulsd  %xmm3,%xmm7
  subsd  %xmm7,%xmm0
  movsd  0x4a8(%rsp),%xmm7
  mulsd  D3639(%rip),%xmm7
  mulsd  0x4b0(%rsp),%xmm7
  subsd  %xmm7,%xmm0
  movsd  0x4b8(%rsp),%xmm7
  mulsd  D2146(%rip),%xmm7
  mulsd  0x4c0(%rsp),%xmm7
  addsd  %xmm0,%xmm7
  movsd  0x4d0(%rsp),%xmm0
  mulsd  %xmm8,%xmm0
  movsd  0x4d8(%rsp),%xmm8
  mulsd  D2724(%rip),%xmm8
  addsd  %xmm0,%xmm7
  movsd  0x4e0(%rsp),%xmm0
  mulsd  %xmm8,%xmm0
  movsd  0x4e8(%rsp),%xmm8
  mulsd  D309(%rip),%xmm8
  addsd  %xmm0,%xmm7
  movsd  0x4f0(%rsp),%xmm0
  mulsd  %xmm8,%xmm0
  movsd  0x4f8(%rsp),%xmm8
  mulsd  D4640(%rip),%xmm8
  addsd  %xmm0,%xmm7
  movsd  0x500(%rsp),%xmm0
  mulsd  %xmm8,%xmm0
  movsd  D4451(%rip),%xmm8
  mulsd  0x508(%rsp),%xmm8
  addsd  %xmm0,%xmm7
  movsd  0x510(%rsp),%xmm0
  mulsd  %xmm8,%xmm0
  addsd  %xmm0,%xmm7
  movsd  0x4a0(%rsp),%xmm0
  mulsd  %xmm9,%xmm0
  mulsd  %xmm0,%xmm7
  addsd  %xmm7,%xmm1
  movapd %xmm1,%xmm0
  movsd  D240(%rip),%xmm1
  mulsd  %xmm5,%xmm1
  mulsd  %xmm4,%xmm1
  subsd  %xmm1,%xmm14
  movsd  D3758(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  %xmm3,%xmm1
  subsd  %xmm1,%xmm14
  movsd  0x528(%rsp),%xmm1
  mulsd  D1331(%rip),%xmm1
  mulsd  0x530(%rsp),%xmm1
  movsd  D4277(%rip),%xmm8
  subsd  %xmm1,%xmm14
  movsd  0x538(%rsp),%xmm1
  mulsd  D3746(%rip),%xmm1
  mulsd  0x540(%rsp),%xmm1
  subsd  %xmm1,%xmm14
  movsd  0x548(%rsp),%xmm1
  mulsd  D4320(%rip),%xmm1
  mulsd  0x550(%rsp),%xmm1
  subsd  %xmm1,%xmm14
  movsd  0x558(%rsp),%xmm1
  mulsd  D1710(%rip),%xmm1
  mulsd  0x560(%rsp),%xmm1
  subsd  %xmm1,%xmm14
  movsd  0x568(%rsp),%xmm1
  mulsd  D3266(%rip),%xmm1
  mulsd  0x570(%rsp),%xmm1
  addsd  %xmm1,%xmm14
  movsd  0x578(%rsp),%xmm1
  mulsd  %xmm8,%xmm1
  mulsd  0x580(%rsp),%xmm1
  mulsd  %xmm2,%xmm8
  addsd  %xmm1,%xmm14
  movsd  D1824(%rip),%xmm1
  mulsd  0x588(%rsp),%xmm1
  mulsd  0x590(%rsp),%xmm1
  mulsd  %xmm3,%xmm8
  movapd %xmm14,%xmm7
  movsd  D4281(%rip),%xmm14
  addsd  %xmm1,%xmm7
  movsd  0x518(%rsp),%xmm1
  mulsd  %xmm14,%xmm1
  mulsd  0x520(%rsp),%xmm1
  mulsd  %xmm1,%xmm7
  movsd  D1387(%rip),%xmm1
  subsd  %xmm7,%xmm0
  movsd  D3513(%rip),%xmm7
  mulsd  %xmm5,%xmm7
  mulsd  %xmm4,%xmm7
  subsd  %xmm7,%xmm1
  movsd  D3754(%rip),%xmm7
  mulsd  %xmm2,%xmm7
  mulsd  %xmm3,%xmm7
  addsd  %xmm7,%xmm1
  movsd  0x5a8(%rsp),%xmm7
  mulsd  D2169(%rip),%xmm7
  mulsd  0x5b0(%rsp),%xmm7
  subsd  %xmm7,%xmm1
  movsd  0x5b8(%rsp),%xmm7
  mulsd  D1575(%rip),%xmm7
  movapd %xmm1,%xmm9
  movsd  0x5c0(%rsp),%xmm1
  mulsd  %xmm7,%xmm1
  movapd %xmm9,%xmm7
  subsd  %xmm1,%xmm7
  movsd  0x5c8(%rsp),%xmm1
  mulsd  D1839(%rip),%xmm1
  mulsd  0x5d0(%rsp),%xmm1
  subsd  %xmm1,%xmm7
  movsd  0x5d8(%rsp),%xmm1
  mulsd  D1313(%rip),%xmm1
  mulsd  0x5e0(%rsp),%xmm1
  addsd  %xmm7,%xmm1
  movsd  0x5e8(%rsp),%xmm7
  mulsd  D3629(%rip),%xmm7
  mulsd  0x5f0(%rsp),%xmm7
  addsd  %xmm7,%xmm1
  movsd  0x5f8(%rsp),%xmm7
  mulsd  D3134(%rip),%xmm7
  mulsd  0x600(%rsp),%xmm7
  addsd  %xmm7,%xmm1
  movsd  D1824(%rip),%xmm7
  mulsd  0x608(%rsp),%xmm7
  mulsd  0x610(%rsp),%xmm7
  addsd  %xmm1,%xmm7
  movsd  0x598(%rsp),%xmm1
  mulsd  %xmm14,%xmm1
  movsd  D1818(%rip),%xmm14
  mulsd  0x5a0(%rsp),%xmm1
  mulsd  %xmm5,%xmm14
  mulsd  %xmm1,%xmm7
  movsd  D2100(%rip),%xmm1
  mulsd  %xmm4,%xmm14
  addsd  %xmm7,%xmm0
  movsd  D1088(%rip),%xmm7
  subsd  %xmm14,%xmm1
  mulsd  %xmm2,%xmm7
  mulsd  %xmm3,%xmm7
  subsd  %xmm7,%xmm1
  movsd  0x628(%rsp),%xmm7
  mulsd  D830(%rip),%xmm7
  mulsd  0x630(%rsp),%xmm7
  subsd  %xmm7,%xmm1
  movsd  0x638(%rsp),%xmm7
  mulsd  D31(%rip),%xmm7
  mulsd  0x640(%rsp),%xmm7
  subsd  %xmm7,%xmm1
  movsd  0x648(%rsp),%xmm7
  mulsd  D3592(%rip),%xmm7
  mulsd  0x650(%rsp),%xmm7
  subsd  %xmm7,%xmm1
  movsd  0x658(%rsp),%xmm7
  mulsd  D4774(%rip),%xmm7
  mulsd  0x660(%rsp),%xmm7
  subsd  %xmm7,%xmm1
  movsd  0x668(%rsp),%xmm7
  mulsd  D1768(%rip),%xmm7
  mulsd  0x670(%rsp),%xmm7
  subsd  %xmm7,%xmm1
  movapd %xmm1,%xmm14
  movsd  0x678(%rsp),%xmm1
  mulsd  D2216(%rip),%xmm1
  mulsd  0x680(%rsp),%xmm1
  subsd  %xmm1,%xmm14
  movsd  D3243(%rip),%xmm1
  mulsd  0x688(%rsp),%xmm1
  mulsd  0x690(%rsp),%xmm1
  movapd %xmm14,%xmm7
  addsd  %xmm1,%xmm7
  movsd  0x618(%rsp),%xmm1
  mulsd  %xmm12,%xmm1
  mulsd  0x620(%rsp),%xmm1
  mulsd  %xmm7,%xmm1
  movsd  D969(%rip),%xmm7
  mulsd  %xmm2,%xmm7
  subsd  %xmm1,%xmm0
  movsd  D156(%rip),%xmm1
  mulsd  %xmm5,%xmm1
  mulsd  %xmm3,%xmm7
  mulsd  %xmm4,%xmm1
  addsd  D3622(%rip),%xmm1
  addsd  %xmm1,%xmm7
  movsd  0x6a0(%rsp),%xmm1
  mulsd  D521(%rip),%xmm1
  mulsd  0x6a8(%rsp),%xmm1
  addsd  %xmm1,%xmm7
  movsd  0x6b0(%rsp),%xmm1
  mulsd  D4112(%rip),%xmm1
  mulsd  0x6b8(%rsp),%xmm1
  addsd  %xmm7,%xmm1
  movsd  0x6c0(%rsp),%xmm7
  mulsd  %xmm11,%xmm7
  mulsd  0x6c8(%rsp),%xmm7
  addsd  %xmm1,%xmm7
  movsd  0x6d0(%rsp),%xmm1
  mulsd  %xmm15,%xmm1
  movapd %xmm5,%xmm15
  mulsd  0x6d8(%rsp),%xmm1
  addsd  %xmm7,%xmm1
  movsd  0x6e0(%rsp),%xmm7
  mulsd  D2365(%rip),%xmm7
  mulsd  0x6e8(%rsp),%xmm7
  addsd  %xmm1,%xmm7
  movsd  0x6f0(%rsp),%xmm1
  mulsd  D3127(%rip),%xmm1
  mulsd  0x6f8(%rsp),%xmm1
  addsd  %xmm7,%xmm1
  movsd  0x700(%rsp),%xmm7
  mulsd  D638(%rip),%xmm7
  mulsd  0x708(%rsp),%xmm7
  movsd  0x780(%rsp),%xmm9
  addsd  %xmm1,%xmm7
  movsd  0x698(%rsp),%xmm1
  mulsd  %xmm3,%xmm1
  mulsd  %xmm1,%xmm7
  movsd  D4359(%rip),%xmm1
  addsd  %xmm7,%xmm0
  movsd  D1050(%rip),%xmm7
  mulsd  %xmm5,%xmm7
  mulsd  %xmm4,%xmm7
  subsd  %xmm7,%xmm1
  movsd  D2044(%rip),%xmm7
  mulsd  %xmm2,%xmm7
  mulsd  %xmm3,%xmm7
  subsd  %xmm7,%xmm1
  movsd  0x720(%rsp),%xmm7
  mulsd  D4487(%rip),%xmm7
  mulsd  0x728(%rsp),%xmm7
  subsd  %xmm7,%xmm1
  movsd  0x730(%rsp),%xmm7
  mulsd  D4173(%rip),%xmm7
  mulsd  0x738(%rsp),%xmm7
  subsd  %xmm7,%xmm1
  movsd  0x740(%rsp),%xmm7
  mulsd  D3993(%rip),%xmm7
  mulsd  0x748(%rsp),%xmm7
  subsd  %xmm7,%xmm1
  movsd  0x750(%rsp),%xmm7
  mulsd  D2938(%rip),%xmm7
  mulsd  0x758(%rsp),%xmm7
  subsd  %xmm7,%xmm1
  movsd  0x760(%rsp),%xmm7
  mulsd  D478(%rip),%xmm7
  mulsd  0x768(%rsp),%xmm7
  subsd  %xmm7,%xmm1
  movsd  0x770(%rsp),%xmm7
  mulsd  D1354(%rip),%xmm7
  mulsd  0x778(%rsp),%xmm7
  addsd  %xmm7,%xmm1
  movsd  D3330(%rip),%xmm7
  mulsd  %xmm7,%xmm9
  mulsd  0x788(%rsp),%xmm9
  addsd  %xmm9,%xmm1
  movsd  D4451(%rip),%xmm9
  mulsd  0x710(%rsp),%xmm9
  mulsd  0x718(%rsp),%xmm9
  mulsd  %xmm9,%xmm1
  addsd  %xmm1,%xmm0
  movsd  D1139(%rip),%xmm1
  mulsd  %xmm5,%xmm1
  mulsd  %xmm1,%xmm4
  movsd  D2149(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  movapd %xmm4,%xmm12
  subsd  D984(%rip),%xmm12
  movsd  0x7a0(%rsp),%xmm9
  mulsd  D736(%rip),%xmm9
  movsd  D4490(%rip),%xmm14
  mulsd  %xmm3,%xmm1
  mulsd  0x7a8(%rsp),%xmm9
  mulsd  0x800(%rsp),%xmm7
  mulsd  0x808(%rsp),%xmm7
  subsd  %xmm1,%xmm12
  movapd %xmm12,%xmm1
  movq   %r12,%xmm12
  subsd  %xmm9,%xmm1
  movsd  0x7b0(%rsp),%xmm9
  mulsd  D204(%rip),%xmm9
  mulsd  0x7b8(%rsp),%xmm9
  subsd  %xmm9,%xmm1
  movsd  0x7c0(%rsp),%xmm9
  mulsd  D579(%rip),%xmm9
  mulsd  0x7c8(%rsp),%xmm9
  addsd  %xmm1,%xmm9
  movsd  0x7d0(%rsp),%xmm1
  mulsd  D961(%rip),%xmm1
  mulsd  0x7d8(%rsp),%xmm1
  addsd  %xmm9,%xmm1
  movsd  0x7e0(%rsp),%xmm9
  mulsd  D3926(%rip),%xmm9
  mulsd  0x7e8(%rsp),%xmm9
  addsd  %xmm1,%xmm9
  movsd  0x7f0(%rsp),%xmm1
  mulsd  D1065(%rip),%xmm1
  mulsd  0x7f8(%rsp),%xmm1
  addsd  %xmm9,%xmm1
  movq   %r15,%xmm9
  mulsd  D3157(%rip),%xmm9
  mulsd  0x30(%rsp),%xmm9
  addsd  %xmm1,%xmm7
  movsd  D4451(%rip),%xmm1
  mulsd  0x790(%rsp),%xmm1
  mulsd  0x798(%rsp),%xmm1
  mulsd  %xmm7,%xmm1
  subsd  %xmm1,%xmm0
  movsd  0x248(%rsp),%xmm1
  mulsd  0x250(%rsp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  D2685(%rip),%xmm1
  mulsd  0x38(%rsp),%xmm1
  mulsd  0x40(%rsp),%xmm1
  subsd  %xmm1,%xmm9
  movq   %rbp,%xmm1
  mulsd  D3529(%rip),%xmm1
  addsd  %xmm1,%xmm9
  movapd %xmm5,%xmm1
  mulsd  %xmm14,%xmm1
  mulsd  0x10(%rsp),%xmm1
  movsd  0x48(%rsp),%xmm7
  mulsd  D4189(%rip),%xmm12
  movsd  D1356(%rip),%xmm11
  movsd  0x858(%rsp),%xmm4
  mulsd  0x50(%rsp),%xmm12
  movsd  0x860(%rsp),%xmm10
  mulsd  %xmm2,%xmm11
  addsd  %xmm4,%xmm4
  mulsd  0xb0(%rsp),%xmm4
  mulsd  %xmm1,%xmm7
  movapd %xmm3,%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  %xmm3,%xmm11
  addsd  D114(%rip),%xmm11
  addsd  %xmm9,%xmm7
  movsd  D3556(%rip),%xmm9
  addsd  %xmm9,%xmm1
  mulsd  %xmm9,%xmm6
  mulsd  0x68(%rsp),%xmm6
  mulsd  %xmm12,%xmm1
  movapd %xmm2,%xmm12
  addsd  %xmm2,%xmm12
  mulsd  %xmm3,%xmm12
  subsd  %xmm1,%xmm7
  movapd %xmm5,%xmm1
  mulsd  %xmm9,%xmm1
  mulsd  0x58(%rsp),%xmm1
  mulsd  0x60(%rsp),%xmm1
  subsd  %xmm9,%xmm12
  mulsd  %xmm12,%xmm1
  addsd  %xmm7,%xmm1
  movsd  D1824(%rip),%xmm7
  mulsd  %xmm2,%xmm7
  mulsd  %xmm3,%xmm7
  subsd  D3816(%rip),%xmm7
  mulsd  %xmm6,%xmm7
  movsd  D2478(%rip),%xmm6
  mulsd  %xmm2,%xmm6
  mulsd  0x70(%rsp),%xmm6
  addsd  %xmm7,%xmm1
  movsd  D2367(%rip),%xmm7
  mulsd  %xmm2,%xmm7
  mulsd  %xmm11,%xmm6
  movsd  D3953(%rip),%xmm11
  mulsd  %xmm2,%xmm11
  mulsd  %xmm3,%xmm7
  subsd  %xmm6,%xmm1
  movsd  0x80(%rsp),%xmm6
  mulsd  D801(%rip),%xmm6
  mulsd  0x88(%rsp),%xmm6
  mulsd  %xmm3,%xmm11
  addsd  D1398(%rip),%xmm11
  subsd  %xmm6,%xmm11
  movq   %r13,%xmm6
  mulsd  %xmm5,%xmm6
  movsd  0x868(%rsp),%xmm5
  mulsd  0x78(%rsp),%xmm6
  addsd  %xmm5,%xmm5
  mulsd  0x98(%rsp),%xmm5
  mulsd  %xmm6,%xmm11
  movsd  D3177(%rip),%xmm6
  subsd  %xmm7,%xmm6
  addsd  %xmm6,%xmm5
  movsd  D3811(%rip),%xmm6
  addsd  %xmm11,%xmm1
  mulsd  %xmm15,%xmm6
  mulsd  0x90(%rsp),%xmm6
  mulsd  %xmm3,%xmm6
  mulsd  %xmm6,%xmm5
  movsd  D330(%rip),%xmm6
  mulsd  %xmm2,%xmm6
  addsd  %xmm1,%xmm5
  movsd  D253(%rip),%xmm1
  mulsd  %xmm3,%xmm6
  subsd  %xmm6,%xmm1
  addsd  %xmm1,%xmm4
  movsd  0xa0(%rsp),%xmm1
  mulsd  %xmm10,%xmm1
  mulsd  0xa8(%rsp),%xmm1
  movsd  D3404(%rip),%xmm7
  mulsd  %xmm2,%xmm7
  mulsd  %xmm1,%xmm4
  movsd  D3397(%rip),%xmm1
  addsd  %xmm5,%xmm4
  movapd %xmm7,%xmm5
  mulsd  %xmm3,%xmm5
  subsd  %xmm5,%xmm1
  movsd  0xc8(%rsp),%xmm5
  addsd  %xmm5,%xmm5
  mulsd  0xd0(%rsp),%xmm5
  addsd  %xmm1,%xmm5
  movsd  0xb8(%rsp),%xmm1
  mulsd  D43(%rip),%xmm1
  mulsd  0xc0(%rsp),%xmm1
  mulsd  %xmm1,%xmm5
  movsd  D2239(%rip),%xmm1
  subsd  %xmm8,%xmm1
  addsd  %xmm5,%xmm4
  movsd  0xe8(%rsp),%xmm5
  addsd  %xmm5,%xmm5
  mulsd  0xf0(%rsp),%xmm5
  addsd  %xmm1,%xmm5
  movsd  0xd8(%rsp),%xmm1
  mulsd  %xmm14,%xmm1
  mulsd  0xe0(%rsp),%xmm1
  mulsd  %xmm1,%xmm5
  movsd  D3155(%rip),%xmm1
  mulsd  0x108(%rsp),%xmm1
  mulsd  0x110(%rsp),%xmm1
  subsd  %xmm5,%xmm4
  movsd  D4247(%rip),%xmm5
  mulsd  %xmm2,%xmm5
  mulsd  %xmm3,%xmm5
  subsd  D3689(%rip),%xmm5
  addsd  %xmm1,%xmm5
  movsd  0xf8(%rsp),%xmm1
  mulsd  %xmm10,%xmm1
  mulsd  0x100(%rsp),%xmm1
  mulsd  %xmm5,%xmm1
  movsd  D3876(%rip),%xmm5
  mulsd  %xmm2,%xmm5
  subsd  %xmm1,%xmm4
  movsd  D856(%rip),%xmm1
  mulsd  0x128(%rsp),%xmm1
  mulsd  0x130(%rsp),%xmm1
  mulsd  %xmm3,%xmm5
  subsd  D581(%rip),%xmm5
  addsd  %xmm5,%xmm1
  movsd  0x118(%rsp),%xmm5
  mulsd  %xmm10,%xmm5
  mulsd  0x120(%rsp),%xmm5
  mulsd  %xmm5,%xmm1
  movsd  D1873(%rip),%xmm5
  mulsd  %xmm2,%xmm5
  addsd  %xmm4,%xmm1
  movsd  D953(%rip),%xmm4
  mulsd  %xmm3,%xmm5
  subsd  %xmm5,%xmm4
  movsd  0x148(%rsp),%xmm5
  mulsd  D750(%rip),%xmm5
  mulsd  0x150(%rsp),%xmm5
  addsd  %xmm4,%xmm5
  movsd  0x138(%rsp),%xmm4
  mulsd  D1084(%rip),%xmm4
  mulsd  0x140(%rsp),%xmm4
  movsd  D4870(%rip),%xmm6
  movsd  0x170(%rsp),%xmm7
  movsd  0x158(%rsp),%xmm10
  mulsd  %xmm4,%xmm5
  movsd  D887(%rip),%xmm4
  mulsd  %xmm2,%xmm4
  addsd  %xmm5,%xmm1
  mulsd  %xmm3,%xmm4
  subsd  %xmm4,%xmm6
  movsd  D2089(%rip),%xmm4
  mulsd  %xmm4,%xmm7
  mulsd  0x178(%rsp),%xmm7
  movapd %xmm6,%xmm5
  movsd  0x160(%rsp),%xmm6
  mulsd  %xmm10,%xmm6
  addsd  %xmm7,%xmm5
  movsd  0x168(%rsp),%xmm7
  mulsd  %xmm6,%xmm7
  movsd  D4322(%rip),%xmm6
  mulsd  %xmm2,%xmm6
  mulsd  %xmm5,%xmm7
  movsd  D25(%rip),%xmm5
  mulsd  %xmm3,%xmm6
  subsd  %xmm7,%xmm1
  subsd  %xmm6,%xmm5
  movsd  0x190(%rsp),%xmm6
  mulsd  %xmm4,%xmm6
  mulsd  0x198(%rsp),%xmm6
  mulsd  0x1b0(%rsp),%xmm4
  mulsd  0x1b8(%rsp),%xmm4
  addsd  %xmm5,%xmm6
  movsd  0x180(%rsp),%xmm5
  mulsd  %xmm10,%xmm5
  mulsd  0x188(%rsp),%xmm5
  mulsd  %xmm5,%xmm6
  movsd  D2874(%rip),%xmm5
  mulsd  %xmm2,%xmm5
  addsd  %xmm1,%xmm6
  movsd  D2775(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  %xmm3,%xmm5
  mulsd  %xmm3,%xmm1
  subsd  D3143(%rip),%xmm1
  addsd  %xmm1,%xmm4
  movsd  0x1a0(%rsp),%xmm1
  mulsd  %xmm9,%xmm1
  mulsd  0x1a8(%rsp),%xmm1
  mulsd  %xmm1,%xmm4
  movsd  D552(%rip),%xmm1
  subsd  %xmm5,%xmm1
  movsd  0x1c8(%rsp),%xmm5
  mulsd  D3490(%rip),%xmm5
  mulsd  0x1d0(%rsp),%xmm5
  addsd  %xmm6,%xmm4
  addsd  %xmm5,%xmm1
  movsd  0x1c0(%rsp),%xmm5
  mulsd  D3446(%rip),%xmm5
  mulsd  %xmm5,%xmm1
  movsd  D3625(%rip),%xmm5
  mulsd  %xmm2,%xmm5
  addsd  %xmm4,%xmm1
  movsd  D2997(%rip),%xmm4
  mulsd  %xmm3,%xmm5
  subsd  %xmm5,%xmm4
  movsd  0x1e0(%rsp),%xmm5
  mulsd  D4266(%rip),%xmm5
  mulsd  0x1e8(%rsp),%xmm5
  addsd  %xmm5,%xmm4
  movsd  0x1d8(%rsp),%xmm5
  mulsd  0x18(%rsp),%xmm5
  mulsd  %xmm5,%xmm4
  movsd  D1393(%rip),%xmm5
  mulsd  %xmm2,%xmm5
  addsd  %xmm4,%xmm1
  movsd  D4828(%rip),%xmm4
  mulsd  %xmm3,%xmm5
  subsd  %xmm5,%xmm4
  movsd  0x1f8(%rsp),%xmm5
  mulsd  D1481(%rip),%xmm5
  mulsd  0x200(%rsp),%xmm5
  addsd  %xmm5,%xmm4
  movsd  0x1f0(%rsp),%xmm5
  mulsd  D3332(%rip),%xmm5
  mulsd  %xmm3,%xmm5
  mulsd  %xmm5,%xmm4
  movsd  0x218(%rsp),%xmm5
  mulsd  D656(%rip),%xmm5
  mulsd  0x220(%rsp),%xmm5
  addsd  %xmm4,%xmm1
  movsd  D2235(%rip),%xmm4
  mulsd  %xmm2,%xmm4
  mulsd  D1841(%rip),%xmm2
  mulsd  %xmm3,%xmm4
  mulsd  %xmm3,%xmm2
  movsd  D2869(%rip),%xmm3
  addsd  D4829(%rip),%xmm4
  addsd  %xmm5,%xmm4
  movsd  D2815(%rip),%xmm5
  mulsd  0x208(%rsp),%xmm5
  mulsd  0x210(%rsp),%xmm5
  subsd  %xmm2,%xmm3
  movsd  0x238(%rsp),%xmm2
  mulsd  D1685(%rip),%xmm2
  mulsd  0x240(%rsp),%xmm2
  mulsd  %xmm5,%xmm4
  addsd  %xmm3,%xmm2
  movsd  D3347(%rip),%xmm3
  mulsd  0x228(%rsp),%xmm3
  mulsd  0x230(%rsp),%xmm3
  subsd  %xmm4,%xmm1
  mulsd  %xmm3,%xmm2
  movsd  D1548(%rip),%xmm3
  subsd  %xmm2,%xmm1
  movq   %r14,%xmm2
  mulsd  D3242(%rip),%xmm2
  mulsd  0x28(%rsp),%xmm2
  mulsd  %xmm2,%xmm1
  movq   %rbx,%xmm2
  mulsd  %xmm3,%xmm2
  mulsd  0x20(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  addsd  %xmm1,%xmm0
  movsd  0x810(%rsp),%xmm1
  mulsd  %xmm3,%xmm1
  mulsd  %xmm15,%xmm1
  mulsd  %xmm13,%xmm1
  divsd  %xmm1,%xmm0
  jmp    L23
```

tool_calls: name: retrieve_data
arguments: tag: D4382
data_type: f64
name: retrieve_data
arguments: tag: D4451
data_type: f64
name: retrieve_data
arguments: tag: D1824
data_type: f64
name: retrieve_data
arguments: tag: D2815
data_type: f64
name: retrieve_data
arguments: tag: D3243
data_type: f64
name: retrieve_data
arguments: tag: D2187
data_type: f64
name: retrieve_data
arguments: tag: D3155
data_type: f64
name: retrieve_data
arguments: tag: D4705
data_type: f64
name: retrieve_data
arguments: tag: D2685
data_type: f64
name: retrieve_data
arguments: tag: D1571
data_type: f64
name: retrieve_data
arguments: tag: D1026
data_type: f64
name: retrieve_data
arguments: tag: D4542
data_type: f64
name: retrieve_data
arguments: tag: D856
data_type: f64
name: retrieve_data
arguments: tag: D3347
data_type: f64
name: retrieve_data
arguments: tag: D419
data_type: f64
name: retrieve_data
arguments: tag: D2103
data_type: f64
name: retrieve_data
arguments: tag: D2349
data_type: f64
name: retrieve_data
arguments: tag: D4798
data_type: f64
name: retrieve_data
arguments: tag: D4195
data_type: f64
name: retrieve_data
arguments: tag: D628
data_type: f64
name: retrieve_data
arguments: tag: D1993
data_type: f64
name: retrieve_data
arguments: tag: D1661
data_type: f64
name: retrieve_data
arguments: tag: D742
data_type: f64
name: retrieve_data
arguments: tag: D3806
data_type: f64
name: retrieve_data
arguments: tag: D3595
data_type: f64
name: retrieve_data
arguments: tag: D3553
data_type: f64
name: retrieve_data
arguments: tag: D4079
data_type: f64
name: retrieve_data
arguments: tag: D4510
data_type: f64
name: retrieve_data
arguments: tag: D4035
data_type: f64
name: retrieve_data
arguments: tag: D3506
data_type: f64
name: retrieve_data
arguments: tag: D1023
data_type: f64
name: retrieve_data
arguments: tag: D575
data_type: f64
name: retrieve_data
arguments: tag: D4650
data_type: f64
name: retrieve_data
arguments: tag: D4125
data_type: f64
name: retrieve_data
arguments: tag: D302
data_type: f64
name: retrieve_data
arguments: tag: D3811
data_type: f64
name: retrieve_data
arguments: tag: D3445
data_type: f64
name: retrieve_data
arguments: tag: D2605
data_type: f64
name: retrieve_data
arguments: tag: D4349
data_type: f64
name: retrieve_data
arguments: tag: D211
data_type: f64
name: retrieve_data
arguments: tag: D4645
data_type: f64
name: retrieve_data
arguments: tag: D444
data_type: f64
name: retrieve_data
arguments: tag: D1226
data_type: f64
name: retrieve_data
arguments: tag: D693
data_type: f64
name: retrieve_data
arguments: tag: D4074
data_type: f64
name: retrieve_data
arguments: tag: D305
data_type: f64
name: retrieve_data
arguments: tag: D393
data_type: f64
name: retrieve_data
arguments: tag: D4184
data_type: f64
name: retrieve_data
arguments: tag: D4423
data_type: f64
name: retrieve_data
arguments: tag: D4275
data_type: f64
name: retrieve_data
arguments: tag: D4721
data_type: f64
name: retrieve_data
arguments: tag: D4301
data_type: f64
name: retrieve_data
arguments: tag: D36
data_type: f64
name: retrieve_data
arguments: tag: D3552
data_type: f64
name: retrieve_data
arguments: tag: D4457
data_type: f64
name: retrieve_data
arguments: tag: D1422
data_type: f64
name: retrieve_data
arguments: tag: D1233
data_type: f64
name: retrieve_data
arguments: tag: D3867
data_type: f64
name: retrieve_data
arguments: tag: D1283
data_type: f64
name: retrieve_data
arguments: tag: D4121
data_type: f64
name: retrieve_data
arguments: tag: D4415
data_type: f64
name: retrieve_data
arguments: tag: D667
data_type: f64
name: retrieve_data
arguments: tag: D197
data_type: f64
name: retrieve_data
arguments: tag: D3816
data_type: f64
name: retrieve_data
arguments: tag: D2267
data_type: f64
name: retrieve_data
arguments: tag: D859
data_type: f64
name: retrieve_data
arguments: tag: D1282
data_type: f64
name: retrieve_data
arguments: tag: D159
data_type: f64
name: retrieve_data
arguments: tag: D2612
data_type: f64
name: retrieve_data
arguments: tag: D2021
data_type: f64
name: retrieve_data
arguments: tag: D3061
data_type: f64
name: retrieve_data
arguments: tag: D3012
data_type: f64
name: retrieve_data
arguments: tag: D1450
data_type: f64
name: retrieve_data
arguments: tag: D3503
data_type: f64
name: retrieve_data
arguments: tag: D4066
data_type: f64
name: retrieve_data
arguments: tag: D2451
data_type: f64
name: retrieve_data
arguments: tag: D2388
data_type: f64
name: retrieve_data
arguments: tag: D488
data_type: f64
name: retrieve_data
arguments: tag: D3590
data_type: f64
name: retrieve_data
arguments: tag: D650
data_type: f64
name: retrieve_data
arguments: tag: D4675
data_type: f64
name: retrieve_data
arguments: tag: D2295
data_type: f64
name: retrieve_data
arguments: tag: D935
data_type: f64
name: retrieve_data
arguments: tag: D2316
data_type: f64
name: retrieve_data
arguments: tag: D2277
data_type: byte[8]
name: retrieve_data
arguments: tag: D1204
data_type: f64
name: retrieve_data
arguments: tag: D3639
data_type: f64
name: retrieve_data
arguments: tag: D2146
data_type: f64
name: retrieve_data
arguments: tag: D2724
data_type: f64
name: retrieve_data
arguments: tag: D309
data_type: f64
name: retrieve_data
arguments: tag: D4640
data_type: f64
name: retrieve_data
arguments: tag: D240
data_type: f64
name: retrieve_data
arguments: tag: D3758
data_type: f64
name: retrieve_data
arguments: tag: D1331
data_type: f64
name: retrieve_data
arguments: tag: D4277
data_type: f64
name: retrieve_data
arguments: tag: D3746
data_type: f64
name: retrieve_data
arguments: tag: D4320
data_type: f64
name: retrieve_data
arguments: tag: D1710
data_type: f64
name: retrieve_data
arguments: tag: D3266
data_type: f64
name: retrieve_data
arguments: tag: D4281
data_type: f64
name: retrieve_data
arguments: tag: D1387
data_type: byte[8]
name: retrieve_data
arguments: tag: D3513
data_type: f64
name: retrieve_data
arguments: tag: D3754
data_type: f64
name: retrieve_data
arguments: tag: D2169
data_type: f64
name: retrieve_data
arguments: tag: D1575
data_type: f64
name: retrieve_data
arguments: tag: D1839
data_type: f64
name: retrieve_data
arguments: tag: D1313
data_type: f64
name: retrieve_data
arguments: tag: D3629
data_type: f64
name: retrieve_data
arguments: tag: D3134
data_type: f64
name: retrieve_data
arguments: tag: D1818
data_type: f64
name: retrieve_data
arguments: tag: D2100
data_type: byte[8]
name: retrieve_data
arguments: tag: D1088
data_type: f64
name: retrieve_data
arguments: tag: D830
data_type: f64
name: retrieve_data
arguments: tag: D31
data_type: f64
name: retrieve_data
arguments: tag: D3592
data_type: f64
name: retrieve_data
arguments: tag: D4774
data_type: f64
name: retrieve_data
arguments: tag: D1768
data_type: f64
name: retrieve_data
arguments: tag: D2216
data_type: f64
name: retrieve_data
arguments: tag: D969
data_type: f64
name: retrieve_data
arguments: tag: D156
data_type: f64
name: retrieve_data
arguments: tag: D3622
data_type: f64
name: retrieve_data
arguments: tag: D521
data_type: f64
name: retrieve_data
arguments: tag: D4112
data_type: f64
name: retrieve_data
arguments: tag: D2365
data_type: f64
name: retrieve_data
arguments: tag: D3127
data_type: f64
name: retrieve_data
arguments: tag: D638
data_type: f64
name: retrieve_data
arguments: tag: D4359
data_type: byte[8]
name: retrieve_data
arguments: tag: D1050
data_type: f64
name: retrieve_data
arguments: tag: D2044
data_type: f64
name: retrieve_data
arguments: tag: D4487
data_type: f64
name: retrieve_data
arguments: tag: D4173
data_type: f64
name: retrieve_data
arguments: tag: D3993
data_type: f64
name: retrieve_data
arguments: tag: D2938
data_type: f64
name: retrieve_data
arguments: tag: D478
data_type: f64
name: retrieve_data
arguments: tag: D1354
data_type: f64
name: retrieve_data
arguments: tag: D3330
data_type: f64
name: retrieve_data
arguments: tag: D1139
data_type: f64
name: retrieve_data
arguments: tag: D2149
data_type: f64
name: retrieve_data
arguments: tag: D984
data_type: f64
name: retrieve_data
arguments: tag: D736
data_type: f64
name: retrieve_data
arguments: tag: D4490
data_type: f64
name: retrieve_data
arguments: tag: D204
data_type: f64
name: retrieve_data
arguments: tag: D579
data_type: f64
name: retrieve_data
arguments: tag: D961
data_type: f64
name: retrieve_data
arguments: tag: D3926
data_type: f64
name: retrieve_data
arguments: tag: D1065
data_type: f64
name: retrieve_data
arguments: tag: D3157
data_type: byte[8]
name: retrieve_data
arguments: tag: D3529
data_type: f64
name: retrieve_data
arguments: tag: D4189
data_type: f64
name: retrieve_data
arguments: tag: D1356
data_type: f64
name: retrieve_data
arguments: tag: D114
data_type: f64
name: retrieve_data
arguments: tag: D3556
data_type: f64
name: retrieve_data
arguments: tag: D2478
data_type: f64
name: retrieve_data
arguments: tag: D2367
data_type: f64
name: retrieve_data
arguments: tag: D3953
data_type: f64
name: retrieve_data
arguments: tag: D801
data_type: f64
name: retrieve_data
arguments: tag: D1398
data_type: f64
name: retrieve_data
arguments: tag: D3177
data_type: byte[8]
name: retrieve_data
arguments: tag: D330
data_type: f64
name: retrieve_data
arguments: tag: D253
data_type: f64
name: retrieve_data
arguments: tag: D3404
data_type: f64
name: retrieve_data
arguments: tag: D3397
data_type: f64
name: retrieve_data
arguments: tag: D43
data_type: f64
name: retrieve_data
arguments: tag: D2239
data_type: f64
name: retrieve_data
arguments: tag: D4247
data_type: f64
name: retrieve_data
arguments: tag: D3689
data_type: f64
name: retrieve_data
arguments: tag: D3876
data_type: f64
name: retrieve_data
arguments: tag: D581
data_type: f64
name: retrieve_data
arguments: tag: D1873
data_type: f64
name: retrieve_data
arguments: tag: D953
data_type: byte[8]
name: retrieve_data
arguments: tag: D750
data_type: f64
name: retrieve_data
arguments: tag: D1084
data_type: f64
name: retrieve_data
arguments: tag: D4870
data_type: f64
name: retrieve_data
arguments: tag: D887
data_type: f64
name: retrieve_data
arguments: tag: D2089
data_type: f64
name: retrieve_data
arguments: tag: D4322
data_type: f64
name: retrieve_data
arguments: tag: D25
data_type: byte[8]
name: retrieve_data
arguments: tag: D2874
data_type: f64
name: retrieve_data
arguments: tag: D2775
data_type: f64
name: retrieve_data
arguments: tag: D3143
data_type: f64
name: retrieve_data
arguments: tag: D552
data_type: byte[8]
name: retrieve_data
arguments: tag: D3490
data_type: f64
name: retrieve_data
arguments: tag: D3446
data_type: f64
name: retrieve_data
arguments: tag: D3625
data_type: f64
name: retrieve_data
arguments: tag: D2997
data_type: byte[8]
name: retrieve_data
arguments: tag: D4266
data_type: f64
name: retrieve_data
arguments: tag: D1393
data_type: f64
name: retrieve_data
arguments: tag: D4828
data_type: byte[8]
name: retrieve_data
arguments: tag: D1481
data_type: f64
name: retrieve_data
arguments: tag: D3332
data_type: f64
name: retrieve_data
arguments: tag: D656
data_type: f64
name: retrieve_data
arguments: tag: D2235
data_type: f64
name: retrieve_data
arguments: tag: D1841
data_type: f64
name: retrieve_data
arguments: tag: D2869
data_type: f64
name: retrieve_data
arguments: tag: D4829
data_type: f64
name: retrieve_data
arguments: tag: D1685
data_type: f64
name: retrieve_data
arguments: tag: D1548
data_type: f64
name: retrieve_data
arguments: tag: D3242
data_type: f64

tool: D4382: 2.718281828459045

tool: D4451: 3

tool: D1824: 4

tool: D2815: 5

tool: D3243: 6

tool: D2187: 7

tool: D3155: 8

tool: D4705: 9

tool: D2685: 10

tool: D1571: 11

tool: D1026: 12

tool: D4542: 13

tool: D856: 14

tool: D3347: 15

tool: D419: 313841848320000

tool: D2103: 130753815192000

tool: D2349: 44881155118800

tool: D4798: 568188982486125

tool: D4195: 12601803614400

tool: D628: 2967953788800

tool: D1993: 596237241600

tool: D1661: 103264761600

tool: D742: 15498362880

tool: D3806: 508694268332250

tool: D3595: 2012774400

tool: D3553: 299892470377500

tool: D4079: 223641600

tool: D4510: 20643840

tool: D4035: 1474560

tool: D3506: 65536

tool: D1023: 22

tool: D575: 23

tool: D4650: 18

tool: D4125: 21

tool: D302: 16

tool: D3811: 20

tool: D3445: 17

tool: D2605: 19

tool: D4349: 340200

tool: D211: 1449175455

tool: D4645: 533365560

tool: D444: 114631335

tool: D1226: 15221115

tool: D693: 1782492075

tool: D4074: 1142505

tool: D305: 18396

tool: D393: 5238

tool: D4184: 513

tool: D4423: 104824125

tool: D4275: 251336925

tool: D4721: 9122085

tool: D4301: 1890

tool: D36: 27

tool: D3552: 2798145

tool: D4457: 433755

tool: D1422: 39060

tool: D1233: 42

tool: D3867: 34459425

tool: D1283: 16216200

tool: D4121: 4729725

tool: D4415: 945945

tool: D667: 25515

tool: D197: 135135

tool: D3816: 45

tool: D2267: 13860

tool: D859: 990

tool: D1282: 14175

tool: D159: 504

tool: D2612: 22680

tool: D2021: 13230

tool: D3061: 5670

tool: D3012: 108

tool: D1450: 85050

tool: D3503: 198450

tool: D4066: 382725

tool: D2451: 212625

tool: D2388: 28350

tool: D488: 7560

tool: D3590: 1836

tool: D650: 162

tool: D4675: 133451955

tool: D2295: 54

tool: D935: 516747

tool: D2316: 73700865

tool: {"D2277": [0x00,0x00,0x00,0x00,0x74,0xbe,0x18,0xc1]}

tool: D1204: 54096840

tool: D3639: 8306235

tool: D2146: 966945

tool: D2724: 80724

tool: D309: 6434

tool: D4640: 251

tool: D240: 710073

tool: D3758: 805896

tool: D1331: 101556

tool: D4277: 84

tool: D3746: 258804

tool: D4320: 90972

tool: D1710: 9744

tool: D3266: 120

tool: D4281: 315

tool: {"D1387": [0x00,0x00,0x00,0x00,0x3c,0x79,0x1d,0xc1]}

tool: D3513: 2656395

tool: D3754: 1186920

tool: D2169: 1155420

tool: D1575: 643356

tool: D1839: 93492

tool: D1313: 336

tool: D3629: 1368

tool: D3134: 132

tool: D1818: 1289925

tool: {"D2100": [0x00,0x00,0x00,0x00,0xa2,0xde,0x25,0xc1]}

tool: D1088: 1146600

tool: D830: 668850

tool: D31: 286650

tool: D3592: 90006

tool: D4774: 32872

tool: D1768: 4812

tool: D2216: 178

tool: D969: 1020600

tool: D156: 1148175

tool: D3622: 637875

tool: D521: 595350

tool: D4112: 255150

tool: D2365: 4860

tool: D3127: 810

tool: D638: 34

tool: {"D4359": [0x00,0x00,0x00,0xb0,0xd8,0x73,0x72,0xc1]}

tool: D1050: 34827975

tool: D2044: 30958200

tool: D4487: 18689580

tool: D4173: 5847660

tool: D3993: 3723300

tool: D2938: 845040

tool: D478: 58680

tool: D1354: 1548

tool: D3330: 236

tool: D1139: 946053675

tool: D2149: 394427880

tool: D984: 593408025

tool: D736: 315870660

tool: D4490: 375

tool: D204: 53891460

tool: D579: 910980

tool: D961: 1409520

tool: D3926: 192168

tool: D1065: 11196

tool: {"D3157": [0x00,0x00,0x00,0x00,0x00,0xe0,0x75,0xc0]}

tool: D3529: 225

tool: D4189: 70

tool: D1356: 71

tool: D114: 840

tool: D3556: 75

tool: D2478: 50

tool: D2367: 948

tool: D3953: 124800

tool: D801: 248

tool: D1398: 4694625

tool: {"D3177": [0x00,0x00,0x00,0x00,0x38,0xb1,0x06,0xc1]}

tool: D330: 450

tool: D253: 7875

tool: D3404: 180

tool: D3397: 945

tool: D43: 25

tool: D2239: 273

tool: D4247: 49140

tool: D3689: 2803125

tool: D3876: 5152

tool: D581: 16965

tool: D1873: 5340

tool: {"D953": [0x00,0x00,0x00,0x00,0xa0,0x5a,0xed,0xc0]}

tool: D750: 40

tool: D1084: 325

tool: D4870: 845085

tool: D887: 22960

tool: D2089: 52

tool: D4322: 10140

tool: {"D25": [0x00,0x00,0x00,0x00,0xa8,0xfb,0x00,0xc1]}

tool: D2874: 11940

tool: D2775: 25532

tool: D3143: 729687

tool: {"D552": [0x00,0x00,0x00,0x00,0x00,0xeb,0xb4,0xc0]}

tool: D3490: 86

tool: D3446: 60

tool: D3625: 35425

tool: {"D2997": [0x00,0x00,0x00,0x00,0x20,0xca,0xf5,0xc0]}

tool: D4266: 124

tool: D1393: 13311

tool: {"D4828": [0x00,0x00,0x00,0x00,0x10,0x76,0xf3,0xc0]}

tool: D1481: 146

tool: D3332: 100

tool: D656: 952

tool: D2235: 95940

tool: D1841: 157500

tool: D2869: 2638467

tool: D4829: 157365

tool: D1685: 1820

tool: D1548: 42525

tool: D3242: 189

assistant: ```c
double Slater_3S_5S(double rij, double xij, double xii) {
  double S;
  if (xii == xij) {
    S = (-313841848320000.0 + 313841848320000.0 * (pow((double)(2.71828182845904523536029), (double)(2.0 * rij * xii))) - 568188982486125.0 * rij * xii - 508694268332250.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xii), (double)(2.0))) - 299892470377500.0 * (pow((double)(rij), (double)(3.0))) * (pow((double)(xii), (double)(3.0))) - 130753815192000.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xii), (double)(4.0))) - 44881155118800.0 * (pow((double)(rij), (double)(5.0))) * (pow((double)(xii), (double)(5.0))) - 12601803614400.0 * (pow((double)(rij), (double)(6.0))) * (pow((double)(xii), (double)(6.0))) - 2967953788800.0 * (pow((double)(rij), (double)(7.0))) * (pow((double)(xii), (double)(7.0))) - 596237241600.0 * (pow((double)(rij), (double)(8.0))) * (pow((double)(xii), (double)(8.0))) - 103264761600.0 * (pow((double)(rij), (double)(9.0))) * (pow((double)(xii), (double)(9.0))) - 15498362880.0 * (pow((double)(rij), (double)(10.0))) * (pow((double)(xii), (double)(10.0))) - 2012774400.0 * (pow((double)(rij), (double)(11.0))) * (pow((double)(xii), (double)(11.0))) - 223641600.0 * (pow((double)(rij), (double)(12.0))) * (pow((double)(xii), (double)(12.0))) - 20643840.0 * (pow((double)(rij), (double)(13.0))) * (pow((double)(xii), (double)(13.0))) - 1474560.0 * (pow((double)(rij), (double)(14.0))) * (pow((double)(xii), (double)(14.0))) - 65536.0 * (pow((double)(rij), (double)(15.0))) * (pow((double)(xii), (double)(15.0)))) / (3.1384184832e14 * (pow((double)(2.71828182845904523536029), (double)(2.0 * rij * xii))) * rij);
  } else {
    S = (42525.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)(15.0))) + 189.0 * (pow((double)(2.71828182845904523536029), (double)(2.0 * rij * xij))) * (pow((double)(xij), (double)(12.0))) * (-350.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xii), (double)(22.0))) - 10.0 * (pow((double)(rij), (double)(5.0))) * (pow((double)(xii), (double)(23.0))) + 225.0 * (pow((double)(xij), (double)(18.0))) + 375.0 * rij * xii * (pow((double)(xij), (double)(18.0))) - 70.0 * (pow((double)(rij), (double)(3.0))) * (pow((double)(xii), (double)(21.0))) * (75.0 + (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0)))) + 75.0 * rij * (pow((double)(xii), (double)(3.0))) * (pow((double)(xij), (double)(16.0))) * (-75.0 + 2.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0)))) + 75.0 * (pow((double)(xii), (double)(2.0))) * (pow((double)(xij), (double)(16.0))) * (-45.0 + 4.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0)))) - 50.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xii), (double)(20.0))) * (840.0 + 71.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0)))) + rij * (pow((double)(xii), (double)(9.0))) * (pow((double)(xij), (double)(10.0))) * (4694625.0 + 124800.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) - 248.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0)))) + 20.0 * rij * (pow((double)(xii), (double)(17.0))) * (pow((double)(xij), (double)(2.0))) * (-185895.0 - 948.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 2.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0)))) + 5.0 * rij * (pow((double)(xii), (double)(5.0))) * (pow((double)(xij), (double)(14.0))) * (7875.0 - 450.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 2.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0)))) + 25.0 * (pow((double)(xii), (double)(4.0))) * (pow((double)(xij), (double)(14.0))) * (945.0 - 180.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 2.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0)))) - 375.0 * (pow((double)(xii), (double)(6.0))) * (pow((double)(xij), (double)(12.0))) * (273.0 - 84.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 2.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0)))) - 5.0 * rij * (pow((double)(xii), (double)(11.0))) * (pow((double)(xij), (double)(8.0))) * (-2803125.0 + 49140.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 8.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0)))) + 5.0 * rij * (pow((double)(xii), (double)(7.0))) * (pow((double)(xij), (double)(12.0))) * (-16965.0 + 5152.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)))) + 325.0 * (pow((double)(xii), (double)(10.0))) * (pow((double)(xij), (double)(8.0))) * (-60117.0 - 5340.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 40.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0)))) - 15.0 * rij * (pow((double)(xii), (double)(15.0))) * (pow((double)(xij), (double)(4.0))) * (845085.0 - 22960.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 52.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0)))) + 15.0 * rij * (pow((double)(xii), (double)(13.0))) * (pow((double)(xij), (double)(6.0))) * (-139125.0 - 10140.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 52.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0)))) + 75.0 * (pow((double)(xii), (double)(12.0))) * (pow((double)(xij), (double)(6.0))) * (-729687.0 + 25532.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 52.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0)))) + 60.0 * (pow((double)(xii), (double)(18.0))) * (-5355.0 - 11940.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 86.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0)))) + 2.0 * rij * (pow((double)(xii), (double)(19.0))) * (-89250.0 - 35425.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 124.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0)))) + 100.0 * (pow((double)(xii), (double)(16.0))) * (pow((double)(xij), (double)(2.0))) * (-79713.0 - 13311.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 146.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0)))) - 5.0 * (pow((double)(xii), (double)(8.0))) * (pow((double)(xij), (double)(10.0))) * (157365.0 + 95940.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 952.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0)))) - 15.0 * (pow((double)(xii), (double)(14.0))) * (pow((double)(xij), (double)(4.0))) * (2638467.0 - 157500.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 1820.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0))))) + (pow((double)(2.71828182845904523536029), (double)(2.0 * rij * xii))) * (pow((double)(xii), (double)(8.0))) * (2.0 * (pow((double)(xii), (double)(2.0))) * (pow((double)(xij), (double)(20.0))) * (1782492075.0 + 1449175455.0 * rij * xij + 533365560.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 114631335.0 * (pow((double)(rij), (double)(3.0))) * (pow((double)(xij), (double)(3.0))) + 15221115.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0))) + 1142505.0 * (pow((double)(rij), (double)(5.0))) * (pow((double)(xij), (double)(5.0))) + 18396.0 * (pow((double)(rij), (double)(6.0))) * (pow((double)(xij), (double)(6.0))) - 5238.0 * (pow((double)(rij), (double)(7.0))) * (pow((double)(xij), (double)(7.0))) - 513.0 * (pow((double)(rij), (double)(8.0))) * (pow((double)(xij), (double)(8.0))) - 17.0 * (pow((double)(rij), (double)(9.0))) * (pow((double)(xij), (double)(9.0)))) + 42.0 * (pow((double)(xii), (double)(4.0))) * (pow((double)(xij), (double)(18.0))) * (251336925.0 + 104824125.0 * rij * xij + 340200.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) - 9122085.0 * (pow((double)(rij), (double)(3.0))) * (pow((double)(xij), (double)(3.0))) - 2798145.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0))) - 433755.0 * (pow((double)(rij), (double)(5.0))) * (pow((double)(xij), (double)(5.0))) - 39060.0 * (pow((double)(rij), (double)(6.0))) * (pow((double)(xij), (double)(6.0))) - 1890.0 * (pow((double)(rij), (double)(7.0))) * (pow((double)(xij), (double)(7.0))) - 27.0 * (pow((double)(rij), (double)(8.0))) * (pow((double)(xij), (double)(8.0))) + (pow((double)(rij), (double)(9.0))) * (pow((double)(xij), (double)(9.0)))) + 6.0 * (pow((double)(xij), (double)(22.0))) * (34459425.0 + 34459425.0 * rij * xij + 16216200.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 4729725.0 * (pow((double)(rij), (double)(3.0))) * (pow((double)(xij), (double)(3.0))) + 945945.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0))) + 135135.0 * (pow((double)(rij), (double)(5.0))) * (pow((double)(xij), (double)(5.0))) + 13860.0 * (pow((double)(rij), (double)(6.0))) * (pow((double)(xij), (double)(6.0))) + 990.0 * (pow((double)(rij), (double)(7.0))) * (pow((double)(xij), (double)(7.0))) + 45.0 * (pow((double)(rij), (double)(8.0))) * (pow((double)(xij), (double)(8.0))) + (pow((double)(rij), (double)(9.0))) * (pow((double)(xij), (double)(9.0)))) - 3.0 * (pow((double)(xii), (double)(22.0))) * (14175.0 + 25515.0 * rij * xij + 22680.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 13230.0 * (pow((double)(rij), (double)(3.0))) * (pow((double)(xij), (double)(3.0))) + 5670.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0))) + 1890.0 * (pow((double)(rij), (double)(5.0))) * (pow((double)(xij), (double)(5.0))) + 504.0 * (pow((double)(rij), (double)(6.0))) * (pow((double)(xij), (double)(6.0))) + 108.0 * (pow((double)(rij), (double)(7.0))) * (pow((double)(xij), (double)(7.0))) + 18.0 * (pow((double)(rij), (double)(8.0))) * (pow((double)(xij), (double)(8.0))) + 2.0 * (pow((double)(rij), (double)(9.0))) * (pow((double)(xij), (double)(9.0)))) - 21.0 * (pow((double)(xii), (double)(18.0))) * (pow((double)(xij), (double)(4.0))) * (212625.0 + 382725.0 * rij * xij + 340200.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 198450.0 * (pow((double)(rij), (double)(3.0))) * (pow((double)(xij), (double)(3.0))) + 85050.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0))) + 28350.0 * (pow((double)(rij), (double)(5.0))) * (pow((double)(xij), (double)(5.0))) + 7560.0 * (pow((double)(rij), (double)(6.0))) * (pow((double)(xij), (double)(6.0))) + 1836.0 * (pow((double)(rij), (double)(7.0))) * (pow((double)(xij), (double)(7.0))) + 162.0 * (pow((double)(rij), (double)(8.0))) * (pow((double)(xij), (double)(8.0))) + 2.0 * (pow((double)(rij), (double)(9.0))) * (pow((double)(xij), (double)(9.0)))) + 54.0 * (pow((double)(xii), (double)(6.0))) * (pow((double)(xij), (double)(16.0))) * (133451955.0 - 73700865.0 * rij * xij - 54096840.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) - 8306235.0 * (pow((double)(rij), (double)(3.0))) * (pow((double)(xij), (double)(3.0))) + 966945.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0))) + 516747.0 * (pow((double)(rij), (double)(5.0))) * (pow((double)(xij), (double)(5.0))) + 80724.0 * (pow((double)(rij), (double)(6.0))) * (pow((double)(xij), (double)(6.0))) + 6434.0 * (pow((double)(rij), (double)(7.0))) * (pow((double)(xij), (double)(7.0))) + 251.0 * (pow((double)(rij), (double)(8.0))) * (pow((double)(xij), (double)(8.0))) + 3.0 * (pow((double)(rij), (double)(9.0))) * (pow((double)(xij), (double)(9.0)))) - 315.0 * (pow((double)(xii), (double)(12.0))) * (pow((double)(xij), (double)(10.0))) * (-405405.0 - 710073.0 * rij * xij - 805896.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) - 101556.0 * (pow((double)(rij), (double)(3.0))) * (pow((double)(xij), (double)(3.0))) - 258804.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0))) - 90972.0 * (pow((double)(rij), (double)(5.0))) * (pow((double)(xij), (double)(5.0))) - 9744.0 * (pow((double)(rij), (double)(6.0))) * (pow((double)(xij), (double)(6.0))) + 120.0 * (pow((double)(rij), (double)(7.0))) * (pow((double)(xij), (double)(7.0))) + 84.0 * (pow((double)(rij), (double)(8.0))) * (pow((double)(xij), (double)(8.0))) + 4.0 * (pow((double)(rij), (double)(9.0))) * (pow((double)(xij), (double)(9.0)))) + 315.0 * (pow((double)(xii), (double)(10.0))) * (pow((double)(xij), (double)(12.0))) * (-482895.0 - 2656395.0 * rij * xij + 1186920.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) - 1155420.0 * (pow((double)(rij), (double)(3.0))) * (pow((double)(xij), (double)(3.0))) - 643356.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0))) - 93492.0 * (pow((double)(rij), (double)(5.0))) * (pow((double)(xij), (double)(5.0))) + 336.0 * (pow((double)(rij), (double)(6.0))) * (pow((double)(xij), (double)(6.0))) + 1368.0 * (pow((double)(rij), (double)(7.0))) * (pow((double)(xij), (double)(7.0))) + 132.0 * (pow((double)(rij), (double)(8.0))) * (pow((double)(xij), (double)(8.0))) + 4.0 * (pow((double)(rij), (double)(9.0))) * (pow((double)(xij), (double)(9.0)))) - 27.0 * (pow((double)(xii), (double)(16.0))) * (pow((double)(xij), (double)(6.0))) * (-716625.0 - 1289925.0 * rij * xij - 1146600.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) - 668850.0 * (pow((double)(rij), (double)(3.0))) * (pow((double)(xij), (double)(3.0))) - 286650.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0))) - 90006.0 * (pow((double)(rij), (double)(5.0))) * (pow((double)(xij), (double)(5.0))) - 32872.0 * (pow((double)(rij), (double)(6.0))) * (pow((double)(xij), (double)(6.0))) - 4812.0 * (pow((double)(rij), (double)(7.0))) * (pow((double)(xij), (double)(7.0))) - 178.0 * (pow((double)(rij), (double)(8.0))) * (pow((double)(xij), (double)(8.0))) + 6.0 * (pow((double)(rij), (double)(9.0))) * (pow((double)(xij), (double)(9.0)))) + (pow((double)(xii), (double)(20.0))) * (pow((double)(xij), (double)(2.0))) * (637875.0 + 1148175.0 * rij * xij + 1020600.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) + 595350.0 * (pow((double)(rij), (double)(3.0))) * (pow((double)(xij), (double)(3.0))) + 255150.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0))) + 85050.0 * (pow((double)(rij), (double)(5.0))) * (pow((double)(xij), (double)(5.0))) + 22680.0 * (pow((double)(rij), (double)(6.0))) * (pow((double)(xij), (double)(6.0))) + 4860.0 * (pow((double)(rij), (double)(7.0))) * (pow((double)(xij), (double)(7.0))) + 810.0 * (pow((double)(rij), (double)(8.0))) * (pow((double)(xij), (double)(8.0))) + 34.0 * (pow((double)(rij), (double)(9.0))) * (pow((double)(xij), (double)(9.0)))) + 3.0 * (pow((double)(xii), (double)(14.0))) * (pow((double)(xij), (double)(8.0))) * (-19348875.0 - 34827975.0 * rij * xij - 30958200.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) - 18689580.0 * (pow((double)(rij), (double)(3.0))) * (pow((double)(xij), (double)(3.0))) - 5847660.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0))) - 3723300.0 * (pow((double)(rij), (double)(5.0))) * (pow((double)(xij), (double)(5.0))) - 845040.0 * (pow((double)(rij), (double)(6.0))) * (pow((double)(xij), (double)(6.0))) - 58680.0 * (pow((double)(rij), (double)(7.0))) * (pow((double)(xij), (double)(7.0))) + 1548.0 * (pow((double)(rij), (double)(8.0))) * (pow((double)(xij), (double)(8.0))) + 236.0 * (pow((double)(rij), (double)(9.0))) * (pow((double)(xij), (double)(9.0)))) - 3.0 * (pow((double)(xii), (double)(8.0))) * (pow((double)(xij), (double)(14.0))) * (-593408025.0 + 946053675.0 * rij * xij - 394427880.0 * (pow((double)(rij), (double)(2.0))) * (pow((double)(xij), (double)(2.0))) - 315870660.0 * (pow((double)(rij), (double)(3.0))) * (pow((double)(xij), (double)(3.0))) - 53891460.0 * (pow((double)(rij), (double)(4.0))) * (pow((double)(xij), (double)(4.0))) + 910980.0 * (pow((double)(rij), (double)(5.0))) * (pow((double)(xij), (double)(5.0))) + 1409520.0 * (pow((double)(rij), (double)(6.0))) * (pow((double)(xij), (double)(6.0))) + 192168.0 * (pow((double)(rij), (double)(7.0))) * (pow((double)(xij), (double)(7.0))) + 11196.0 * (pow((double)(rij), (double)(8.0))) * (pow((double)(xij), (double)(8.0))) + 236.0 * (pow((double)(rij), (double)(9.0))) * (pow((double)(xij), (double)(9.0)))))) / (42525. * (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)(15.0))));
  }
  return S;
}
```