user: 提供的汇编代码用C语言表示会是什么样子：

```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     L6
  jne    L6
  mulsd  %xmm2,%xmm3
  movsd  D1865(%rip),%xmm4
  movapd %xmm4,%xmm0
  movsd  %xmm3,0xd8(%rsp)
  movapd %xmm3,%xmm1
  call   <pow@plt>
  movsd  D4284(%rip),%xmm1
  movsd  %xmm0,0xd0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D4284(%rip),%rax
  movq   %xmm0,%rbx
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1151(%rip),%xmm1
  movsd  %xmm0,(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0xc8(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D3150(%rip),%xmm1
  movsd  %xmm0,0x18(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D3150(%rip),%rax
  movsd  %xmm0,0xc0(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D500(%rip),%xmm1
  movsd  %xmm0,0x20(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D500(%rip),%rax
  movsd  %xmm0,0xb8(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D2891(%rip),%xmm1
  movsd  %xmm0,0x28(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D2891(%rip),%rax
  movsd  %xmm0,0xb0(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D301(%rip),%xmm1
  movsd  %xmm0,0x30(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D301(%rip),%rax
  movsd  %xmm0,0xa8(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1653(%rip),%xmm1
  movsd  %xmm0,0x38(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1653(%rip),%rax
  movsd  %xmm0,0xa0(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D3869(%rip),%xmm1
  movsd  %xmm0,0x40(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D3869(%rip),%rax
  movsd  %xmm0,0x98(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1063(%rip),%xmm1
  movsd  %xmm0,0x48(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1063(%rip),%rax
  movsd  %xmm0,0x90(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1064(%rip),%xmm1
  movsd  %xmm0,0x50(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1064(%rip),%rax
  movsd  %xmm0,0x88(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D689(%rip),%xmm1
  movsd  %xmm0,0x58(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D689(%rip),%rax
  movsd  %xmm0,0x80(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D3570(%rip),%xmm1
  movsd  %xmm0,0x60(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D3570(%rip),%rax
  movsd  %xmm0,0x78(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D4203(%rip),%xmm1
  movsd  %xmm0,0x68(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D4203(%rip),%rax
  movq   %xmm0,%r14
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1865(%rip),%rax
  movsd  0xd8(%rsp),%xmm3
  movsd  %xmm0,0x70(%rsp)
  movapd %xmm3,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1257(%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  D2107(%rip),%xmm15
  movsd  0xa8(%rsp),%xmm11
  mulsd  0x18(%rsp),%xmm15
  movsd  0xa0(%rsp),%xmm10
  mulsd  D3433(%rip),%xmm14
  movsd  0x98(%rsp),%xmm9
  mulsd  0x20(%rsp),%xmm14
  movapd %xmm2,%xmm0
  movsd  D1432(%rip),%xmm2
  mulsd  D849(%rip),%xmm13
  subsd  %xmm3,%xmm0
  movsd  0x90(%rsp),%xmm8
  mulsd  %xmm6,%xmm2
  mulsd  0x28(%rsp),%xmm13
  mulsd  D3897(%rip),%xmm12
  movapd %xmm0,%xmm4
  mulsd  0x30(%rsp),%xmm12
  mulsd  D3054(%rip),%xmm11
  mulsd  %xmm5,%xmm2
  mulsd  %xmm5,%xmm5
  mulsd  0x38(%rsp),%xmm11
  mulsd  D3844(%rip),%xmm10
  mulsd  0x40(%rsp),%xmm10
  mulsd  D3270(%rip),%xmm9
  subsd  %xmm2,%xmm4
  movapd %xmm6,%xmm2
  mulsd  %xmm6,%xmm2
  mulsd  D2469(%rip),%xmm2
  mulsd  0x48(%rsp),%xmm9
  mulsd  D318(%rip),%xmm8
  mulsd  0x50(%rsp),%xmm8
  mulsd  %xmm5,%xmm2
  subsd  %xmm2,%xmm4
  movq   %rbx,%xmm2
  mulsd  D2779(%rip),%xmm2
  mulsd  (%rsp),%xmm2
  movsd  0x88(%rsp),%xmm7
  movsd  0x78(%rsp),%xmm5
  mulsd  0x8(%rsp),%xmm1
  movapd %xmm4,%xmm0
  movq   %r14,%xmm4
  mulsd  D4028(%rip),%xmm7
  movsd  0x80(%rsp),%xmm6
  mulsd  0x58(%rsp),%xmm7
  mulsd  D248(%rip),%xmm6
  subsd  %xmm2,%xmm0
  mulsd  0x60(%rsp),%xmm6
  mulsd  D21(%rip),%xmm5
  mulsd  0x68(%rsp),%xmm5
  subsd  %xmm15,%xmm0
  mulsd  D805(%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
L14:
  add    $0x888,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  xchg   %ax,%ax
L6:
  movsd  0x10(%rsp),%xmm13
  addsd  (%rsp),%xmm13
  mulsd  0x18(%rsp),%xmm13
  mov    D1865(%rip),%rax
  movq   %rax,%xmm0
  movsd  %xmm13,0x810(%rsp)
  movapd %xmm13,%xmm1
  call   <pow@plt>
  movsd  0x10(%rsp),%xmm13
  movsd  (%rsp),%xmm1
  mov    D4203(%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    D1865(%rip),%rax
  movsd  %xmm0,0x20(%rsp)
  movq   %rax,%xmm0
  call   <pow@plt>
  mov    D1064(%rip),%rax
  movq   %xmm0,%r14
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x28(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1324(%rip),%xmm7
  movq   %xmm0,%r15
  movsd  0x10(%rsp),%xmm0
  movapd %xmm7,%xmm1
  call   <pow@plt>
  mov    D3150(%rip),%rax
  movsd  %xmm0,0x30(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D587(%rip),%xmm1
  movsd  %xmm0,0x38(%rsp)
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  mov    D1265(%rip),%rax
  movsd  %xmm0,0x40(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1265(%rip),%rax
  movq   %xmm0,%rbp
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4284(%rip),%rax
  movsd  %xmm0,0x48(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2950(%rip),%rax
  movq   %xmm0,%r12
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  0x8(%rsp),%xmm3
  mov    D4284(%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    D1393(%rip),%rax
  movsd  %xmm0,0x58(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1393(%rip),%rax
  movsd  %xmm0,0x60(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D515(%rip),%rax
  movsd  %xmm0,0x68(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1653(%rip),%rax
  movsd  %xmm0,0x70(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3869(%rip),%rax
  movq   %xmm0,%r13
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x78(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x80(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1650(%rip),%rax
  movsd  %xmm0,0x88(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x90(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x868(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3150(%rip),%rax
  movsd  D3150(%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    D3570(%rip),%rax
  movsd  %xmm0,0xa0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0xa8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x858(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0xb0(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3570(%rip),%rax
  movsd  %xmm0,0xb8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0xc0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0xc8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D500(%rip),%rax
  movsd  %xmm0,0xd0(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1064(%rip),%rax
  movsd  %xmm0,0xd8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0xe0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0xe8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1063(%rip),%xmm1
  movsd  %xmm0,0xf0(%rsp)
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  mov    D301(%rip),%rax
  movsd  %xmm0,0xf8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x100(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x108(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2891(%rip),%rax
  movsd  %xmm0,0x110(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1064(%rip),%rax
  movsd  %xmm0,0x118(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x120(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x128(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3869(%rip),%rax
  movsd  %xmm0,0x130(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D301(%rip),%rax
  movsd  %xmm0,0x138(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x140(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x148(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4203(%rip),%rax
  movsd  D4203(%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    D1151(%rip),%rax
  movsd  %xmm0,0x160(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x168(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x170(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D689(%rip),%xmm1
  movsd  %xmm0,0x178(%rsp)
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  mov    D500(%rip),%rax
  movsd  %xmm0,0x180(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x188(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x190(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1064(%rip),%rax
  movsd  %xmm0,0x198(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D500(%rip),%rax
  movsd  %xmm0,0x1a0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x1a8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x1b0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1265(%rip),%rax
  movsd  %xmm0,0x1b8(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x1c0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x1c8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D4161(%rip),%xmm1
  movsd  %xmm0,0x1d0(%rsp)
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x1d8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x1e0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1393(%rip),%rax
  movsd  %xmm0,0x1e8(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x1f0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x1f8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D301(%rip),%rax
  movsd  %xmm0,0x200(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3869(%rip),%rax
  movsd  %xmm0,0x208(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x210(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x218(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3570(%rip),%rax
  movsd  %xmm0,0x220(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x228(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x230(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%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    D1865(%rip),%rax
  movq   %rax,%xmm0
  call   <pow@plt>
  mov    D301(%rip),%rax
  movsd  %xmm0,0x248(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D515(%rip),%rax
  movsd  %xmm0,0x250(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4284(%rip),%rax
  movsd  %xmm0,0x258(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4284(%rip),%rax
  movsd  %xmm0,0x850(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x260(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x848(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3150(%rip),%rax
  movsd  %xmm0,0x268(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3150(%rip),%rax
  movsd  %xmm0,0x840(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D500(%rip),%rax
  movsd  %xmm0,0x270(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D500(%rip),%rax
  movsd  %xmm0,0x278(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2891(%rip),%rax
  movsd  %xmm0,0x280(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2891(%rip),%rax
  movsd  %xmm0,0x288(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D301(%rip),%rax
  movsd  %xmm0,0x290(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D301(%rip),%rax
  movsd  %xmm0,0x298(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1653(%rip),%rax
  movsd  %xmm0,0x2a0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1653(%rip),%rax
  movsd  %xmm0,0x2a8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x2b0(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1265(%rip),%rax
  movsd  %xmm0,0x2b8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4284(%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  D3254(%rip),%xmm9
  movsd  %xmm3,0x830(%rsp)
  mulsd  %xmm3,%xmm9
  movsd  %xmm9,0x828(%rsp)
  call   <pow@plt>
  mov    D4284(%rip),%rax
  movsd  %xmm0,0x2c8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x2d0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x2d8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3150(%rip),%rax
  movsd  %xmm0,0x2e0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3150(%rip),%rax
  movsd  %xmm0,0x2e8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D500(%rip),%rax
  movsd  %xmm0,0x2f0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D500(%rip),%rax
  movsd  %xmm0,0x2f8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2891(%rip),%rax
  movsd  %xmm0,0x300(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2891(%rip),%rax
  movsd  %xmm0,0x308(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D301(%rip),%rax
  movsd  %xmm0,0x310(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D301(%rip),%rax
  movsd  %xmm0,0x318(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1653(%rip),%rax
  movsd  %xmm0,0x320(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1653(%rip),%rax
  movsd  %xmm0,0x328(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1324(%rip),%rax
  movsd  %xmm0,0x330(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4284(%rip),%rax
  movsd  %xmm0,0x338(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4284(%rip),%rax
  movsd  %xmm0,0x340(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x348(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x350(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3150(%rip),%rax
  movsd  %xmm0,0x358(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3150(%rip),%rax
  movsd  %xmm0,0x360(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D500(%rip),%rax
  movsd  %xmm0,0x368(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D500(%rip),%rax
  movsd  %xmm0,0x370(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2891(%rip),%rax
  movsd  %xmm0,0x378(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2891(%rip),%rax
  movsd  %xmm0,0x380(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D301(%rip),%rax
  movsd  %xmm0,0x388(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D301(%rip),%rax
  movsd  %xmm0,0x390(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1653(%rip),%rax
  movsd  %xmm0,0x398(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1653(%rip),%rax
  movsd  %xmm0,0x3a0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1324(%rip),%rax
  movsd  %xmm0,0x3a8(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4284(%rip),%rax
  movsd  %xmm0,0x3b0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4284(%rip),%rax
  movsd  %xmm0,0x3b8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x3c0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x3c8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3150(%rip),%rax
  movsd  %xmm0,0x3d0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3150(%rip),%rax
  movsd  %xmm0,0x3d8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D500(%rip),%rax
  movsd  %xmm0,0x3e0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D500(%rip),%rax
  movsd  %xmm0,0x3e8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2891(%rip),%rax
  movsd  %xmm0,0x3f0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2891(%rip),%rax
  movsd  %xmm0,0x3f8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D301(%rip),%rax
  movsd  %xmm0,0x400(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D301(%rip),%rax
  movsd  %xmm0,0x408(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1653(%rip),%rax
  movsd  %xmm0,0x410(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1653(%rip),%rax
  movsd  %xmm0,0x820(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1265(%rip),%rax
  movsd  %xmm0,0x418(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x420(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4284(%rip),%rax
  movsd  %xmm0,0x428(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4284(%rip),%rax
  movsd  %xmm0,0x430(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x438(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x440(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3150(%rip),%rax
  movsd  %xmm0,0x448(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3150(%rip),%rax
  movsd  %xmm0,0x450(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D500(%rip),%rax
  movsd  %xmm0,0x458(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D500(%rip),%rax
  movsd  %xmm0,0x460(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2891(%rip),%rax
  movsd  %xmm0,0x468(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2891(%rip),%rax
  movsd  %xmm0,0x470(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D301(%rip),%rax
  movsd  %xmm0,0x478(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D301(%rip),%rax
  movsd  %xmm0,0x480(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1653(%rip),%rax
  movsd  %xmm0,0x488(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1653(%rip),%rax
  movsd  %xmm0,0x818(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D500(%rip),%rax
  movsd  %xmm0,0x490(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1393(%rip),%rax
  movsd  %xmm0,0x498(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4284(%rip),%rax
  movsd  %xmm0,0x4a0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4284(%rip),%rax
  movsd  %xmm0,0x4a8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x4b0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x4b8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3150(%rip),%rax
  movsd  %xmm0,0x4c0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3150(%rip),%rax
  movsd  %xmm0,0x4c8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D500(%rip),%rax
  movsd  %xmm0,0x4d0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D500(%rip),%rax
  movsd  %xmm0,0x4d8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2891(%rip),%rax
  movsd  %xmm0,0x4e0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2891(%rip),%rax
  movsd  %xmm0,0x4e8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D301(%rip),%rax
  movsd  %xmm0,0x4f0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D301(%rip),%rax
  movsd  %xmm0,0x4f8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1653(%rip),%rax
  movsd  %xmm0,0x500(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1653(%rip),%rax
  movsd  %xmm0,0x508(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1064(%rip),%rax
  movsd  %xmm0,0x510(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3869(%rip),%rax
  movsd  %xmm0,0x518(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4284(%rip),%rax
  movsd  %xmm0,0x520(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4284(%rip),%rax
  movsd  %xmm0,0x528(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x530(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x538(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3150(%rip),%rax
  movsd  %xmm0,0x540(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3150(%rip),%rax
  movsd  %xmm0,0x548(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D500(%rip),%rax
  movsd  %xmm0,0x550(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D500(%rip),%rax
  movsd  %xmm0,0x558(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2891(%rip),%rax
  movsd  %xmm0,0x560(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2891(%rip),%rax
  movsd  %xmm0,0x568(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D301(%rip),%rax
  movsd  %xmm0,0x570(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D301(%rip),%rax
  movsd  %xmm0,0x578(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1653(%rip),%rax
  movsd  %xmm0,0x580(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1653(%rip),%rax
  movsd  %xmm0,0x588(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3869(%rip),%rax
  movsd  %xmm0,0x590(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1064(%rip),%rax
  movsd  %xmm0,0x598(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4284(%rip),%rax
  movsd  %xmm0,0x5a0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4284(%rip),%rax
  movsd  %xmm0,0x5a8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x5b0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x5b8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3150(%rip),%rax
  movsd  %xmm0,0x5c0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3150(%rip),%rax
  movsd  %xmm0,0x5c8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D500(%rip),%rax
  movsd  %xmm0,0x5d0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D500(%rip),%rax
  movsd  %xmm0,0x5d8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2891(%rip),%rax
  movsd  %xmm0,0x5e0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2891(%rip),%rax
  movsd  %xmm0,0x5e8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D301(%rip),%rax
  movsd  %xmm0,0x5f0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D301(%rip),%rax
  movsd  %xmm0,0x5f8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1653(%rip),%rax
  movsd  %xmm0,0x600(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1653(%rip),%rax
  movsd  %xmm0,0x608(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1393(%rip),%rax
  movsd  %xmm0,0x610(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D500(%rip),%rax
  movsd  %xmm0,0x618(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4284(%rip),%rax
  movsd  %xmm0,0x620(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4284(%rip),%rax
  movsd  %xmm0,0x628(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x630(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x638(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3150(%rip),%rax
  movsd  %xmm0,0x640(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3150(%rip),%rax
  movsd  %xmm0,0x648(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D500(%rip),%rax
  movsd  %xmm0,0x650(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D500(%rip),%rax
  movsd  %xmm0,0x658(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2891(%rip),%rax
  movsd  %xmm0,0x660(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2891(%rip),%rax
  movsd  %xmm0,0x668(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D301(%rip),%rax
  movsd  %xmm0,0x670(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D301(%rip),%rax
  movsd  %xmm0,0x678(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1653(%rip),%rax
  movsd  %xmm0,0x680(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1653(%rip),%rax
  movsd  %xmm0,0x688(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D515(%rip),%rax
  movsd  %xmm0,0x690(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4284(%rip),%rax
  movsd  %xmm0,0x698(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4284(%rip),%rax
  movsd  %xmm0,0x6a0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x6a8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x6b0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3150(%rip),%rax
  movsd  %xmm0,0x6b8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3150(%rip),%rax
  movsd  %xmm0,0x6c0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D500(%rip),%rax
  movsd  %xmm0,0x6c8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D500(%rip),%rax
  movsd  %xmm0,0x6d0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2891(%rip),%rax
  movsd  %xmm0,0x6d8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2891(%rip),%rax
  movsd  %xmm0,0x6e0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D301(%rip),%rax
  movsd  %xmm0,0x6e8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D301(%rip),%rax
  movsd  %xmm0,0x6f0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1653(%rip),%rax
  movsd  %xmm0,0x6f8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1653(%rip),%rax
  movsd  %xmm0,0x700(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3570(%rip),%rax
  movsd  %xmm0,0x708(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D301(%rip),%rax
  movsd  %xmm0,0x710(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4284(%rip),%rax
  movsd  %xmm0,0x718(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4284(%rip),%rax
  movsd  %xmm0,0x720(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x728(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x730(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3150(%rip),%rax
  movsd  %xmm0,0x738(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3150(%rip),%rax
  movsd  %xmm0,0x740(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D500(%rip),%rax
  movsd  %xmm0,0x748(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D500(%rip),%rax
  movsd  %xmm0,0x750(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2891(%rip),%rax
  movsd  %xmm0,0x758(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2891(%rip),%rax
  movsd  %xmm0,0x760(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D301(%rip),%rax
  movsd  %xmm0,0x768(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D301(%rip),%rax
  movsd  %xmm0,0x770(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1653(%rip),%rax
  movsd  %xmm0,0x778(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1653(%rip),%rax
  movsd  %xmm0,0x780(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D301(%rip),%rax
  movsd  %xmm0,0x788(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3570(%rip),%rax
  movsd  %xmm0,0x790(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4284(%rip),%rax
  movsd  %xmm0,0x798(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D4284(%rip),%rax
  movsd  %xmm0,0x7a0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x7a8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x7b0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3150(%rip),%rax
  movsd  %xmm0,0x7b8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D3150(%rip),%rax
  movsd  %xmm0,0x7c0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D500(%rip),%rax
  movsd  %xmm0,0x7c8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D500(%rip),%rax
  movsd  %xmm0,0x7d0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2891(%rip),%rax
  movsd  %xmm0,0x7d8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D2891(%rip),%rax
  movsd  %xmm0,0x7e0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D301(%rip),%rax
  movsd  %xmm0,0x7e8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D301(%rip),%rax
  movsd  %xmm0,0x7f0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1653(%rip),%rax
  movsd  %xmm0,0x7f8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1653(%rip),%rax
  movsd  %xmm0,0x800(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1865(%rip),%rax
  movsd  0x810(%rsp),%xmm13
  movsd  %xmm0,0x808(%rsp)
  movapd %xmm13,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mov    D4203(%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  D511(%rip),%xmm3
  movapd %xmm0,%xmm13
  movsd  0x838(%rsp),%xmm2
  movsd  D3559(%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  D945(%rip),%xmm14
  mulsd  0x260(%rsp),%xmm14
  mulsd  D4589(%rip),%xmm12
  mulsd  0x268(%rsp),%xmm12
  movapd %xmm3,%xmm0
  movsd  0x830(%rsp),%xmm3
  mulsd  %xmm4,%xmm0
  mulsd  %xmm3,%xmm15
  addsd  D3718(%rip),%xmm0
  mulsd  D578(%rip),%xmm11
  mulsd  0x270(%rsp),%xmm11
  mulsd  D3610(%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  D354(%rip),%xmm1
  mulsd  0x290(%rsp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  0x298(%rsp),%xmm1
  mulsd  D2181(%rip),%xmm1
  mulsd  0x2a0(%rsp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  D1650(%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  D3028(%rip),%xmm1
  mulsd  %xmm5,%xmm1
  mulsd  %xmm4,%xmm1
  addsd  D3458(%rip),%xmm1
  movsd  0x828(%rsp),%xmm9
  movsd  0x2c8(%rsp),%xmm11
  mulsd  D649(%rip),%xmm11
  mulsd  0x2d0(%rsp),%xmm11
  movsd  D2996(%rip),%xmm14
  movsd  D4767(%rip),%xmm12
  addsd  %xmm9,%xmm1
  subsd  %xmm11,%xmm1
  movsd  0x2d8(%rsp),%xmm11
  mulsd  D4766(%rip),%xmm11
  mulsd  0x2e0(%rsp),%xmm11
  subsd  %xmm11,%xmm1
  movsd  0x2e8(%rsp),%xmm11
  mulsd  D1294(%rip),%xmm11
  mulsd  0x2f0(%rsp),%xmm11
  subsd  %xmm11,%xmm1
  movsd  0x2f8(%rsp),%xmm11
  mulsd  D86(%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  D3732(%rip),%xmm11
  mulsd  0x2c0(%rsp),%xmm11
  mulsd  %xmm11,%xmm1
  movsd  D1170(%rip),%xmm11
  addsd  %xmm1,%xmm0
  movapd %xmm5,%xmm1
  mulsd  %xmm11,%xmm1
  mulsd  %xmm4,%xmm1
  addsd  %xmm11,%xmm1
  movsd  D2102(%rip),%xmm11
  mulsd  %xmm2,%xmm11
  mulsd  %xmm3,%xmm11
  addsd  %xmm11,%xmm1
  movsd  0x340(%rsp),%xmm11
  mulsd  D4491(%rip),%xmm11
  mulsd  0x348(%rsp),%xmm11
  addsd  %xmm11,%xmm1
  movsd  0x350(%rsp),%xmm11
  mulsd  D2682(%rip),%xmm11
  mulsd  0x358(%rsp),%xmm11
  addsd  %xmm11,%xmm1
  movsd  0x360(%rsp),%xmm11
  movsd  D3862(%rip),%xmm7
  mulsd  D4071(%rip),%xmm11
  movsd  D4617(%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  D780(%rip),%xmm11
  mulsd  0x378(%rsp),%xmm11
  addsd  %xmm11,%xmm1
  movsd  0x380(%rsp),%xmm11
  mulsd  D3111(%rip),%xmm11
  mulsd  0x388(%rsp),%xmm11
  addsd  %xmm11,%xmm1
  movapd %xmm0,%xmm11
  movapd %xmm7,%xmm0
  movsd  0x3e8(%rsp),%xmm7
  mulsd  %xmm4,%xmm0
  addsd  D3477(%rip),%xmm0
  mulsd  D2452(%rip),%xmm7
  addsd  %xmm1,%xmm15
  movsd  0x3a0(%rsp),%xmm1
  mulsd  0x3a8(%rsp),%xmm1
  addsd  %xmm15,%xmm1
  movsd  D500(%rip),%xmm15
  mulsd  0x338(%rsp),%xmm15
  mulsd  %xmm15,%xmm1
  movsd  D2724(%rip),%xmm15
  addsd  %xmm1,%xmm11
  movapd %xmm2,%xmm1
  mulsd  %xmm15,%xmm1
  mulsd  %xmm3,%xmm1
  addsd  %xmm1,%xmm0
  movsd  0x3b8(%rsp),%xmm1
  mulsd  D3623(%rip),%xmm1
  mulsd  0x3c0(%rsp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  0x3c8(%rsp),%xmm1
  mulsd  D2765(%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  D4188(%rip),%xmm7
  addsd  %xmm0,%xmm14
  movsd  0x400(%rsp),%xmm0
  movsd  0x820(%rsp),%xmm8
  movsd  D3341(%rip),%xmm11
  mulsd  %xmm7,%xmm0
  movsd  D1265(%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  D4284(%rip),%xmm8
  mulsd  0x3b0(%rsp),%xmm8
  addsd  %xmm0,%xmm14
  movapd %xmm7,%xmm0
  movsd  0x430(%rsp),%xmm7
  addsd  %xmm14,%xmm0
  mulsd  D108(%rip),%xmm7
  movsd  0x488(%rsp),%xmm14
  mulsd  %xmm8,%xmm0
  movsd  D1680(%rip),%xmm8
  mulsd  %xmm5,%xmm8
  subsd  %xmm0,%xmm1
  movsd  0x438(%rsp),%xmm0
  mulsd  %xmm4,%xmm8
  addsd  D2189(%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  D1905(%rip),%xmm7
  addsd  %xmm0,%xmm8
  movsd  0x458(%rsp),%xmm0
  mulsd  %xmm7,%xmm0
  movsd  0x460(%rsp),%xmm7
  mulsd  D4568(%rip),%xmm7
  addsd  %xmm0,%xmm8
  movsd  0x468(%rsp),%xmm0
  mulsd  %xmm7,%xmm0
  movsd  0x470(%rsp),%xmm7
  mulsd  D2392(%rip),%xmm7
  addsd  %xmm0,%xmm8
  movsd  0x478(%rsp),%xmm0
  mulsd  %xmm7,%xmm0
  movsd  0x480(%rsp),%xmm7
  mulsd  D767(%rip),%xmm7
  addsd  %xmm0,%xmm8
  mulsd  %xmm7,%xmm14
  movsd  0x818(%rsp),%xmm7
  addsd  %xmm7,%xmm7
  mulsd  0x490(%rsp),%xmm7
  addsd  %xmm8,%xmm14
  movsd  D2950(%rip),%xmm8
  mulsd  0x420(%rsp),%xmm8
  addsd  %xmm14,%xmm7
  movsd  0x428(%rsp),%xmm14
  movsd  D3587(%rip),%xmm0
  movsd  0x498(%rsp),%xmm9
  mulsd  D4228(%rip),%xmm9
  mulsd  %xmm8,%xmm14
  movsd  0x4c8(%rsp),%xmm8
  mulsd  D2074(%rip),%xmm8
  mulsd  %xmm7,%xmm14
  movsd  D1714(%rip),%xmm7
  mulsd  %xmm5,%xmm7
  subsd  %xmm14,%xmm1
  movsd  D4052(%rip),%xmm14
  mulsd  %xmm4,%xmm7
  subsd  %xmm7,%xmm0
  movsd  D1741(%rip),%xmm7
  mulsd  %xmm2,%xmm7
  mulsd  %xmm3,%xmm7
  subsd  %xmm7,%xmm0
  movsd  0x4a8(%rsp),%xmm7
  mulsd  D640(%rip),%xmm7
  mulsd  0x4b0(%rsp),%xmm7
  subsd  %xmm7,%xmm0
  movsd  0x4b8(%rsp),%xmm7
  mulsd  D2695(%rip),%xmm7
  mulsd  0x4c0(%rsp),%xmm7
  addsd  %xmm0,%xmm7
  movsd  0x4d0(%rsp),%xmm0
  mulsd  %xmm8,%xmm0
  movsd  0x4d8(%rsp),%xmm8
  mulsd  D567(%rip),%xmm8
  addsd  %xmm0,%xmm7
  movsd  0x4e0(%rsp),%xmm0
  mulsd  %xmm8,%xmm0
  movsd  0x4e8(%rsp),%xmm8
  mulsd  D1367(%rip),%xmm8
  addsd  %xmm0,%xmm7
  movsd  0x4f0(%rsp),%xmm0
  mulsd  %xmm8,%xmm0
  movsd  0x4f8(%rsp),%xmm8
  mulsd  D1625(%rip),%xmm8
  addsd  %xmm0,%xmm7
  movsd  0x500(%rsp),%xmm0
  mulsd  %xmm8,%xmm0
  movsd  D4284(%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  D3379(%rip),%xmm1
  mulsd  %xmm5,%xmm1
  mulsd  %xmm4,%xmm1
  subsd  %xmm1,%xmm14
  movsd  D1792(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  %xmm3,%xmm1
  subsd  %xmm1,%xmm14
  movsd  0x528(%rsp),%xmm1
  mulsd  D1839(%rip),%xmm1
  mulsd  0x530(%rsp),%xmm1
  movsd  D4033(%rip),%xmm8
  subsd  %xmm1,%xmm14
  movsd  0x538(%rsp),%xmm1
  mulsd  D3112(%rip),%xmm1
  mulsd  0x540(%rsp),%xmm1
  subsd  %xmm1,%xmm14
  movsd  0x548(%rsp),%xmm1
  mulsd  D2966(%rip),%xmm1
  mulsd  0x550(%rsp),%xmm1
  subsd  %xmm1,%xmm14
  movsd  0x558(%rsp),%xmm1
  mulsd  D4527(%rip),%xmm1
  mulsd  0x560(%rsp),%xmm1
  subsd  %xmm1,%xmm14
  movsd  0x568(%rsp),%xmm1
  mulsd  D4761(%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  D1151(%rip),%xmm1
  mulsd  0x588(%rsp),%xmm1
  mulsd  0x590(%rsp),%xmm1
  mulsd  %xmm3,%xmm8
  movapd %xmm14,%xmm7
  movsd  D189(%rip),%xmm14
  addsd  %xmm1,%xmm7
  movsd  0x518(%rsp),%xmm1
  mulsd  %xmm14,%xmm1
  mulsd  0x520(%rsp),%xmm1
  mulsd  %xmm1,%xmm7
  movsd  D3113(%rip),%xmm1
  subsd  %xmm7,%xmm0
  movsd  D4829(%rip),%xmm7
  mulsd  %xmm5,%xmm7
  mulsd  %xmm4,%xmm7
  subsd  %xmm7,%xmm1
  movsd  D4325(%rip),%xmm7
  mulsd  %xmm2,%xmm7
  mulsd  %xmm3,%xmm7
  addsd  %xmm7,%xmm1
  movsd  0x5a8(%rsp),%xmm7
  mulsd  D395(%rip),%xmm7
  mulsd  0x5b0(%rsp),%xmm7
  subsd  %xmm7,%xmm1
  movsd  0x5b8(%rsp),%xmm7
  mulsd  D1243(%rip),%xmm7
  movapd %xmm1,%xmm9
  movsd  0x5c0(%rsp),%xmm1
  mulsd  %xmm7,%xmm1
  movapd %xmm9,%xmm7
  subsd  %xmm1,%xmm7
  movsd  0x5c8(%rsp),%xmm1
  mulsd  D2705(%rip),%xmm1
  mulsd  0x5d0(%rsp),%xmm1
  subsd  %xmm1,%xmm7
  movsd  0x5d8(%rsp),%xmm1
  mulsd  D2883(%rip),%xmm1
  mulsd  0x5e0(%rsp),%xmm1
  addsd  %xmm7,%xmm1
  movsd  0x5e8(%rsp),%xmm7
  mulsd  D261(%rip),%xmm7
  mulsd  0x5f0(%rsp),%xmm7
  addsd  %xmm7,%xmm1
  movsd  0x5f8(%rsp),%xmm7
  mulsd  D4741(%rip),%xmm7
  mulsd  0x600(%rsp),%xmm7
  addsd  %xmm7,%xmm1
  movsd  D1151(%rip),%xmm7
  mulsd  0x608(%rsp),%xmm7
  mulsd  0x610(%rsp),%xmm7
  addsd  %xmm1,%xmm7
  movsd  0x598(%rsp),%xmm1
  mulsd  %xmm14,%xmm1
  movsd  D2317(%rip),%xmm14
  mulsd  0x5a0(%rsp),%xmm1
  mulsd  %xmm5,%xmm14
  mulsd  %xmm1,%xmm7
  movsd  D2869(%rip),%xmm1
  mulsd  %xmm4,%xmm14
  addsd  %xmm7,%xmm0
  movsd  D4128(%rip),%xmm7
  subsd  %xmm14,%xmm1
  mulsd  %xmm2,%xmm7
  mulsd  %xmm3,%xmm7
  subsd  %xmm7,%xmm1
  movsd  0x628(%rsp),%xmm7
  mulsd  D667(%rip),%xmm7
  mulsd  0x630(%rsp),%xmm7
  subsd  %xmm7,%xmm1
  movsd  0x638(%rsp),%xmm7
  mulsd  D4705(%rip),%xmm7
  mulsd  0x640(%rsp),%xmm7
  subsd  %xmm7,%xmm1
  movsd  0x648(%rsp),%xmm7
  mulsd  D2692(%rip),%xmm7
  mulsd  0x650(%rsp),%xmm7
  subsd  %xmm7,%xmm1
  movsd  0x658(%rsp),%xmm7
  mulsd  D2747(%rip),%xmm7
  mulsd  0x660(%rsp),%xmm7
  subsd  %xmm7,%xmm1
  movsd  0x668(%rsp),%xmm7
  mulsd  D4619(%rip),%xmm7
  mulsd  0x670(%rsp),%xmm7
  subsd  %xmm7,%xmm1
  movapd %xmm1,%xmm14
  movsd  0x678(%rsp),%xmm1
  mulsd  D1240(%rip),%xmm1
  mulsd  0x680(%rsp),%xmm1
  subsd  %xmm1,%xmm14
  movsd  D500(%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  D103(%rip),%xmm7
  mulsd  %xmm2,%xmm7
  subsd  %xmm1,%xmm0
  movsd  D3748(%rip),%xmm1
  mulsd  %xmm5,%xmm1
  mulsd  %xmm3,%xmm7
  mulsd  %xmm4,%xmm1
  addsd  D3015(%rip),%xmm1
  addsd  %xmm1,%xmm7
  movsd  0x6a0(%rsp),%xmm1
  mulsd  D4037(%rip),%xmm1
  mulsd  0x6a8(%rsp),%xmm1
  addsd  %xmm1,%xmm7
  movsd  0x6b0(%rsp),%xmm1
  mulsd  D729(%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  D3124(%rip),%xmm7
  mulsd  0x6e8(%rsp),%xmm7
  addsd  %xmm1,%xmm7
  movsd  0x6f0(%rsp),%xmm1
  mulsd  D4426(%rip),%xmm1
  mulsd  0x6f8(%rsp),%xmm1
  addsd  %xmm7,%xmm1
  movsd  0x700(%rsp),%xmm7
  mulsd  D964(%rip),%xmm7
  mulsd  0x708(%rsp),%xmm7
  movsd  0x780(%rsp),%xmm9
  addsd  %xmm1,%xmm7
  movsd  0x698(%rsp),%xmm1
  mulsd  %xmm3,%xmm1
  mulsd  %xmm1,%xmm7
  movsd  D1949(%rip),%xmm1
  addsd  %xmm7,%xmm0
  movsd  D252(%rip),%xmm7
  mulsd  %xmm5,%xmm7
  mulsd  %xmm4,%xmm7
  subsd  %xmm7,%xmm1
  movsd  D3210(%rip),%xmm7
  mulsd  %xmm2,%xmm7
  mulsd  %xmm3,%xmm7
  subsd  %xmm7,%xmm1
  movsd  0x720(%rsp),%xmm7
  mulsd  D778(%rip),%xmm7
  mulsd  0x728(%rsp),%xmm7
  subsd  %xmm7,%xmm1
  movsd  0x730(%rsp),%xmm7
  mulsd  D3264(%rip),%xmm7
  mulsd  0x738(%rsp),%xmm7
  subsd  %xmm7,%xmm1
  movsd  0x740(%rsp),%xmm7
  mulsd  D1351(%rip),%xmm7
  mulsd  0x748(%rsp),%xmm7
  subsd  %xmm7,%xmm1
  movsd  0x750(%rsp),%xmm7
  mulsd  D644(%rip),%xmm7
  mulsd  0x758(%rsp),%xmm7
  subsd  %xmm7,%xmm1
  movsd  0x760(%rsp),%xmm7
  mulsd  D505(%rip),%xmm7
  mulsd  0x768(%rsp),%xmm7
  subsd  %xmm7,%xmm1
  movsd  0x770(%rsp),%xmm7
  mulsd  D543(%rip),%xmm7
  mulsd  0x778(%rsp),%xmm7
  addsd  %xmm7,%xmm1
  movsd  D663(%rip),%xmm7
  mulsd  %xmm7,%xmm9
  mulsd  0x788(%rsp),%xmm9
  addsd  %xmm9,%xmm1
  movsd  D4284(%rip),%xmm9
  mulsd  0x710(%rsp),%xmm9
  mulsd  0x718(%rsp),%xmm9
  mulsd  %xmm9,%xmm1
  addsd  %xmm1,%xmm0
  movsd  D2616(%rip),%xmm1
  mulsd  %xmm5,%xmm1
  mulsd  %xmm1,%xmm4
  movsd  D46(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  movapd %xmm4,%xmm12
  subsd  D893(%rip),%xmm12
  movsd  0x7a0(%rsp),%xmm9
  mulsd  D244(%rip),%xmm9
  movsd  D4831(%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  D3757(%rip),%xmm9
  mulsd  0x7b8(%rsp),%xmm9
  subsd  %xmm9,%xmm1
  movsd  0x7c0(%rsp),%xmm9
  mulsd  D785(%rip),%xmm9
  mulsd  0x7c8(%rsp),%xmm9
  addsd  %xmm1,%xmm9
  movsd  0x7d0(%rsp),%xmm1
  mulsd  D2150(%rip),%xmm1
  mulsd  0x7d8(%rsp),%xmm1
  addsd  %xmm9,%xmm1
  movsd  0x7e0(%rsp),%xmm9
  mulsd  D1847(%rip),%xmm9
  mulsd  0x7e8(%rsp),%xmm9
  addsd  %xmm1,%xmm9
  movsd  0x7f0(%rsp),%xmm1
  mulsd  D3830(%rip),%xmm1
  mulsd  0x7f8(%rsp),%xmm1
  addsd  %xmm9,%xmm1
  movq   %r15,%xmm9
  mulsd  D1383(%rip),%xmm9
  mulsd  0x30(%rsp),%xmm9
  addsd  %xmm1,%xmm7
  movsd  D4284(%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  D3869(%rip),%xmm1
  mulsd  0x38(%rsp),%xmm1
  mulsd  0x40(%rsp),%xmm1
  subsd  %xmm1,%xmm9
  movq   %rbp,%xmm1
  mulsd  D1973(%rip),%xmm1
  addsd  %xmm1,%xmm9
  movapd %xmm5,%xmm1
  mulsd  %xmm14,%xmm1
  mulsd  0x10(%rsp),%xmm1
  movsd  0x48(%rsp),%xmm7
  mulsd  D1814(%rip),%xmm12
  movsd  D2303(%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  D4121(%rip),%xmm11
  addsd  %xmm9,%xmm7
  movsd  D565(%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  D1151(%rip),%xmm7
  mulsd  %xmm2,%xmm7
  mulsd  %xmm3,%xmm7
  subsd  D4617(%rip),%xmm7
  mulsd  %xmm6,%xmm7
  movsd  D3062(%rip),%xmm6
  mulsd  %xmm2,%xmm6
  mulsd  0x70(%rsp),%xmm6
  addsd  %xmm7,%xmm1
  movsd  D3711(%rip),%xmm7
  mulsd  %xmm2,%xmm7
  mulsd  %xmm11,%xmm6
  movsd  D2379(%rip),%xmm11
  mulsd  %xmm2,%xmm11
  mulsd  %xmm3,%xmm7
  subsd  %xmm6,%xmm1
  movsd  0x80(%rsp),%xmm6
  mulsd  D1158(%rip),%xmm6
  mulsd  0x88(%rsp),%xmm6
  mulsd  %xmm3,%xmm11
  addsd  D2907(%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  D2900(%rip),%xmm6
  subsd  %xmm7,%xmm6
  addsd  %xmm6,%xmm5
  movsd  D515(%rip),%xmm6
  addsd  %xmm11,%xmm1
  mulsd  %xmm15,%xmm6
  mulsd  0x90(%rsp),%xmm6
  mulsd  %xmm3,%xmm6
  mulsd  %xmm6,%xmm5
  movsd  D1710(%rip),%xmm6
  mulsd  %xmm2,%xmm6
  addsd  %xmm1,%xmm5
  movsd  D1433(%rip),%xmm1
  mulsd  %xmm3,%xmm6
  subsd  %xmm6,%xmm1
  addsd  %xmm1,%xmm4
  movsd  0xa0(%rsp),%xmm1
  mulsd  %xmm10,%xmm1
  mulsd  0xa8(%rsp),%xmm1
  movsd  D175(%rip),%xmm7
  mulsd  %xmm2,%xmm7
  mulsd  %xmm1,%xmm4
  movsd  D4404(%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  D4454(%rip),%xmm1
  mulsd  0xc0(%rsp),%xmm1
  mulsd  %xmm1,%xmm5
  movsd  D4144(%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  D301(%rip),%xmm1
  mulsd  0x108(%rsp),%xmm1
  mulsd  0x110(%rsp),%xmm1
  subsd  %xmm5,%xmm4
  movsd  D642(%rip),%xmm5
  mulsd  %xmm2,%xmm5
  mulsd  %xmm3,%xmm5
  subsd  D4756(%rip),%xmm5
  addsd  %xmm1,%xmm5
  movsd  0xf8(%rsp),%xmm1
  mulsd  %xmm10,%xmm1
  mulsd  0x100(%rsp),%xmm1
  mulsd  %xmm5,%xmm1
  movsd  D1598(%rip),%xmm5
  mulsd  %xmm2,%xmm5
  subsd  %xmm1,%xmm4
  movsd  D3570(%rip),%xmm1
  mulsd  0x128(%rsp),%xmm1
  mulsd  0x130(%rsp),%xmm1
  mulsd  %xmm3,%xmm5
  subsd  D4638(%rip),%xmm5
  addsd  %xmm5,%xmm1
  movsd  0x118(%rsp),%xmm5
  mulsd  %xmm10,%xmm5
  mulsd  0x120(%rsp),%xmm5
  mulsd  %xmm5,%xmm1
  movsd  D191(%rip),%xmm5
  mulsd  %xmm2,%xmm5
  addsd  %xmm4,%xmm1
  movsd  D3849(%rip),%xmm4
  mulsd  %xmm3,%xmm5
  subsd  %xmm5,%xmm4
  movsd  0x148(%rsp),%xmm5
  mulsd  D1146(%rip),%xmm5
  mulsd  0x150(%rsp),%xmm5
  addsd  %xmm4,%xmm5
  movsd  0x138(%rsp),%xmm4
  mulsd  D1150(%rip),%xmm4
  mulsd  0x140(%rsp),%xmm4
  movsd  D984(%rip),%xmm6
  movsd  0x170(%rsp),%xmm7
  movsd  0x158(%rsp),%xmm10
  mulsd  %xmm4,%xmm5
  movsd  D1394(%rip),%xmm4
  mulsd  %xmm2,%xmm4
  addsd  %xmm5,%xmm1
  mulsd  %xmm3,%xmm4
  subsd  %xmm4,%xmm6
  movsd  D2684(%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  D2814(%rip),%xmm6
  mulsd  %xmm2,%xmm6
  mulsd  %xmm5,%xmm7
  movsd  D2187(%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  D3020(%rip),%xmm5
  mulsd  %xmm2,%xmm5
  addsd  %xmm1,%xmm6
  movsd  D4504(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  %xmm3,%xmm5
  mulsd  %xmm3,%xmm1
  subsd  D2838(%rip),%xmm1
  addsd  %xmm1,%xmm4
  movsd  0x1a0(%rsp),%xmm1
  mulsd  %xmm9,%xmm1
  mulsd  0x1a8(%rsp),%xmm1
  mulsd  %xmm1,%xmm4
  movsd  D1584(%rip),%xmm1
  subsd  %xmm5,%xmm1
  movsd  0x1c8(%rsp),%xmm5
  mulsd  D3816(%rip),%xmm5
  mulsd  0x1d0(%rsp),%xmm5
  addsd  %xmm6,%xmm4
  addsd  %xmm5,%xmm1
  movsd  0x1c0(%rsp),%xmm5
  mulsd  D1163(%rip),%xmm5
  mulsd  %xmm5,%xmm1
  movsd  D280(%rip),%xmm5
  mulsd  %xmm2,%xmm5
  addsd  %xmm4,%xmm1
  movsd  D3564(%rip),%xmm4
  mulsd  %xmm3,%xmm5
  subsd  %xmm5,%xmm4
  movsd  0x1e0(%rsp),%xmm5
  mulsd  D2721(%rip),%xmm5
  mulsd  0x1e8(%rsp),%xmm5
  addsd  %xmm5,%xmm4
  movsd  0x1d8(%rsp),%xmm5
  mulsd  0x18(%rsp),%xmm5
  mulsd  %xmm5,%xmm4
  movsd  D4187(%rip),%xmm5
  mulsd  %xmm2,%xmm5
  addsd  %xmm4,%xmm1
  movsd  D3591(%rip),%xmm4
  mulsd  %xmm3,%xmm5
  subsd  %xmm5,%xmm4
  movsd  0x1f8(%rsp),%xmm5
  mulsd  D942(%rip),%xmm5
  mulsd  0x200(%rsp),%xmm5
  addsd  %xmm5,%xmm4
  movsd  0x1f0(%rsp),%xmm5
  mulsd  D2163(%rip),%xmm5
  mulsd  %xmm3,%xmm5
  mulsd  %xmm5,%xmm4
  movsd  0x218(%rsp),%xmm5
  mulsd  D4281(%rip),%xmm5
  mulsd  0x220(%rsp),%xmm5
  addsd  %xmm4,%xmm1
  movsd  D3257(%rip),%xmm4
  mulsd  %xmm2,%xmm4
  mulsd  D2478(%rip),%xmm2
  mulsd  %xmm3,%xmm4
  mulsd  %xmm3,%xmm2
  movsd  D125(%rip),%xmm3
  addsd  D4524(%rip),%xmm4
  addsd  %xmm5,%xmm4
  movsd  D3150(%rip),%xmm5
  mulsd  0x208(%rsp),%xmm5
  mulsd  0x210(%rsp),%xmm5
  subsd  %xmm2,%xmm3
  movsd  0x238(%rsp),%xmm2
  mulsd  D1786(%rip),%xmm2
  mulsd  0x240(%rsp),%xmm2
  mulsd  %xmm5,%xmm4
  addsd  %xmm3,%xmm2
  movsd  D4203(%rip),%xmm3
  mulsd  0x228(%rsp),%xmm3
  mulsd  0x230(%rsp),%xmm3
  subsd  %xmm4,%xmm1
  mulsd  %xmm3,%xmm2
  movsd  D209(%rip),%xmm3
  subsd  %xmm2,%xmm1
  movq   %r14,%xmm2
  mulsd  D2095(%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    L14
```

tool_calls: name: disassemble_data
arguments: data_label: D1865
type_guessed: f64
name: disassemble_data
arguments: data_label: D4284
type_guessed: f64
name: disassemble_data
arguments: data_label: D1151
type_guessed: f64
name: disassemble_data
arguments: data_label: D3150
type_guessed: f64
name: disassemble_data
arguments: data_label: D500
type_guessed: f64
name: disassemble_data
arguments: data_label: D2891
type_guessed: f64
name: disassemble_data
arguments: data_label: D301
type_guessed: f64
name: disassemble_data
arguments: data_label: D1653
type_guessed: f64
name: disassemble_data
arguments: data_label: D3869
type_guessed: f64
name: disassemble_data
arguments: data_label: D1063
type_guessed: f64
name: disassemble_data
arguments: data_label: D1064
type_guessed: f64
name: disassemble_data
arguments: data_label: D689
type_guessed: f64
name: disassemble_data
arguments: data_label: D3570
type_guessed: f64
name: disassemble_data
arguments: data_label: D4203
type_guessed: f64
name: disassemble_data
arguments: data_label: D1257
type_guessed: f64
name: disassemble_data
arguments: data_label: D2107
type_guessed: f64
name: disassemble_data
arguments: data_label: D3433
type_guessed: f64
name: disassemble_data
arguments: data_label: D1432
type_guessed: f64
name: disassemble_data
arguments: data_label: D849
type_guessed: f64
name: disassemble_data
arguments: data_label: D3897
type_guessed: f64
name: disassemble_data
arguments: data_label: D3054
type_guessed: f64
name: disassemble_data
arguments: data_label: D3844
type_guessed: f64
name: disassemble_data
arguments: data_label: D3270
type_guessed: f64
name: disassemble_data
arguments: data_label: D2469
type_guessed: f64
name: disassemble_data
arguments: data_label: D318
type_guessed: f64
name: disassemble_data
arguments: data_label: D2779
type_guessed: f64
name: disassemble_data
arguments: data_label: D4028
type_guessed: f64
name: disassemble_data
arguments: data_label: D248
type_guessed: f64
name: disassemble_data
arguments: data_label: D21
type_guessed: f64
name: disassemble_data
arguments: data_label: D805
type_guessed: f64
name: disassemble_data
arguments: data_label: D1324
type_guessed: f64
name: disassemble_data
arguments: data_label: D587
type_guessed: f64
name: disassemble_data
arguments: data_label: D1265
type_guessed: f64
name: disassemble_data
arguments: data_label: D2950
type_guessed: f64
name: disassemble_data
arguments: data_label: D1393
type_guessed: f64
name: disassemble_data
arguments: data_label: D515
type_guessed: f64
name: disassemble_data
arguments: data_label: D1650
type_guessed: f64
name: disassemble_data
arguments: data_label: D4161
type_guessed: f64
name: disassemble_data
arguments: data_label: D3254
type_guessed: f64
name: disassemble_data
arguments: data_label: D511
type_guessed: f64
name: disassemble_data
arguments: data_label: D3559
type_guessed: f64
name: disassemble_data
arguments: data_label: D945
type_guessed: f64
name: disassemble_data
arguments: data_label: D4589
type_guessed: f64
name: disassemble_data
arguments: data_label: D3718
type_guessed: f64
name: disassemble_data
arguments: data_label: D578
type_guessed: f64
name: disassemble_data
arguments: data_label: D3610
type_guessed: f64
name: disassemble_data
arguments: data_label: D354
type_guessed: f64
name: disassemble_data
arguments: data_label: D2181
type_guessed: f64
name: disassemble_data
arguments: data_label: D3028
type_guessed: f64
name: disassemble_data
arguments: data_label: D3458
type_guessed: f64
name: disassemble_data
arguments: data_label: D649
type_guessed: f64
name: disassemble_data
arguments: data_label: D2996
type_guessed: f64
name: disassemble_data
arguments: data_label: D4767
type_guessed: f64
name: disassemble_data
arguments: data_label: D4766
type_guessed: f64
name: disassemble_data
arguments: data_label: D1294
type_guessed: f64
name: disassemble_data
arguments: data_label: D86
type_guessed: f64
name: disassemble_data
arguments: data_label: D3732
type_guessed: f64
name: disassemble_data
arguments: data_label: D1170
type_guessed: f64
name: disassemble_data
arguments: data_label: D2102
type_guessed: f64
name: disassemble_data
arguments: data_label: D4491
type_guessed: f64
name: disassemble_data
arguments: data_label: D2682
type_guessed: f64
name: disassemble_data
arguments: data_label: D3862
type_guessed: f64
name: disassemble_data
arguments: data_label: D4071
type_guessed: f64
name: disassemble_data
arguments: data_label: D4617
type_guessed: f64
name: disassemble_data
arguments: data_label: D780
type_guessed: f64
name: disassemble_data
arguments: data_label: D3111
type_guessed: f64
name: disassemble_data
arguments: data_label: D3477
type_guessed: f64
name: disassemble_data
arguments: data_label: D2452
type_guessed: f64
name: disassemble_data
arguments: data_label: D2724
type_guessed: f64
name: disassemble_data
arguments: data_label: D3623
type_guessed: f64
name: disassemble_data
arguments: data_label: D2765
type_guessed: f64
name: disassemble_data
arguments: data_label: D4188
type_guessed: f64
name: disassemble_data
arguments: data_label: D3341
type_guessed: f64
name: disassemble_data
arguments: data_label: D108
type_guessed: f64
name: disassemble_data
arguments: data_label: D1680
type_guessed: f64
name: disassemble_data
arguments: data_label: D2189
type_guessed: f64
name: disassemble_data
arguments: data_label: D1905
type_guessed: f64
name: disassemble_data
arguments: data_label: D4568
type_guessed: f64
name: disassemble_data
arguments: data_label: D2392
type_guessed: f64
name: disassemble_data
arguments: data_label: D767
type_guessed: f64
name: disassemble_data
arguments: data_label: D3587
type_guessed: f64
name: disassemble_data
arguments: data_label: D4228
type_guessed: f64
name: disassemble_data
arguments: data_label: D2074
type_guessed: f64
name: disassemble_data
arguments: data_label: D1714
type_guessed: f64
name: disassemble_data
arguments: data_label: D4052
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D1741
type_guessed: f64
name: disassemble_data
arguments: data_label: D640
type_guessed: f64
name: disassemble_data
arguments: data_label: D2695
type_guessed: f64
name: disassemble_data
arguments: data_label: D567
type_guessed: f64
name: disassemble_data
arguments: data_label: D1367
type_guessed: f64
name: disassemble_data
arguments: data_label: D1625
type_guessed: f64
name: disassemble_data
arguments: data_label: D3379
type_guessed: f64
name: disassemble_data
arguments: data_label: D1792
type_guessed: f64
name: disassemble_data
arguments: data_label: D1839
type_guessed: f64
name: disassemble_data
arguments: data_label: D4033
type_guessed: f64
name: disassemble_data
arguments: data_label: D3112
type_guessed: f64
name: disassemble_data
arguments: data_label: D2966
type_guessed: f64
name: disassemble_data
arguments: data_label: D4527
type_guessed: f64
name: disassemble_data
arguments: data_label: D4761
type_guessed: f64
name: disassemble_data
arguments: data_label: D189
type_guessed: f64
name: disassemble_data
arguments: data_label: D3113
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D4829
type_guessed: f64
name: disassemble_data
arguments: data_label: D4325
type_guessed: f64
name: disassemble_data
arguments: data_label: D395
type_guessed: f64
name: disassemble_data
arguments: data_label: D1243
type_guessed: f64
name: disassemble_data
arguments: data_label: D2705
type_guessed: f64
name: disassemble_data
arguments: data_label: D2883
type_guessed: f64
name: disassemble_data
arguments: data_label: D261
type_guessed: f64
name: disassemble_data
arguments: data_label: D4741
type_guessed: f64
name: disassemble_data
arguments: data_label: D2317
type_guessed: f64
name: disassemble_data
arguments: data_label: D2869
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D4128
type_guessed: f64
name: disassemble_data
arguments: data_label: D667
type_guessed: f64
name: disassemble_data
arguments: data_label: D4705
type_guessed: f64
name: disassemble_data
arguments: data_label: D2692
type_guessed: f64
name: disassemble_data
arguments: data_label: D2747
type_guessed: f64
name: disassemble_data
arguments: data_label: D4619
type_guessed: f64
name: disassemble_data
arguments: data_label: D1240
type_guessed: f64
name: disassemble_data
arguments: data_label: D103
type_guessed: f64
name: disassemble_data
arguments: data_label: D3748
type_guessed: f64
name: disassemble_data
arguments: data_label: D3015
type_guessed: f64
name: disassemble_data
arguments: data_label: D4037
type_guessed: f64
name: disassemble_data
arguments: data_label: D729
type_guessed: f64
name: disassemble_data
arguments: data_label: D3124
type_guessed: f64
name: disassemble_data
arguments: data_label: D4426
type_guessed: f64
name: disassemble_data
arguments: data_label: D964
type_guessed: f64
name: disassemble_data
arguments: data_label: D1949
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D252
type_guessed: f64
name: disassemble_data
arguments: data_label: D3210
type_guessed: f64
name: disassemble_data
arguments: data_label: D778
type_guessed: f64
name: disassemble_data
arguments: data_label: D3264
type_guessed: f64
name: disassemble_data
arguments: data_label: D1351
type_guessed: f64
name: disassemble_data
arguments: data_label: D644
type_guessed: f64
name: disassemble_data
arguments: data_label: D505
type_guessed: f64
name: disassemble_data
arguments: data_label: D543
type_guessed: f64
name: disassemble_data
arguments: data_label: D663
type_guessed: f64
name: disassemble_data
arguments: data_label: D2616
type_guessed: f64
name: disassemble_data
arguments: data_label: D46
type_guessed: f64
name: disassemble_data
arguments: data_label: D893
type_guessed: f64
name: disassemble_data
arguments: data_label: D244
type_guessed: f64
name: disassemble_data
arguments: data_label: D4831
type_guessed: f64
name: disassemble_data
arguments: data_label: D3757
type_guessed: f64
name: disassemble_data
arguments: data_label: D785
type_guessed: f64
name: disassemble_data
arguments: data_label: D2150
type_guessed: f64
name: disassemble_data
arguments: data_label: D1847
type_guessed: f64
name: disassemble_data
arguments: data_label: D3830
type_guessed: f64
name: disassemble_data
arguments: data_label: D1383
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D1973
type_guessed: f64
name: disassemble_data
arguments: data_label: D1814
type_guessed: f64
name: disassemble_data
arguments: data_label: D2303
type_guessed: f64
name: disassemble_data
arguments: data_label: D4121
type_guessed: f64
name: disassemble_data
arguments: data_label: D565
type_guessed: f64
name: disassemble_data
arguments: data_label: D3062
type_guessed: f64
name: disassemble_data
arguments: data_label: D3711
type_guessed: f64
name: disassemble_data
arguments: data_label: D2379
type_guessed: f64
name: disassemble_data
arguments: data_label: D1158
type_guessed: f64
name: disassemble_data
arguments: data_label: D2907
type_guessed: f64
name: disassemble_data
arguments: data_label: D2900
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D1710
type_guessed: f64
name: disassemble_data
arguments: data_label: D1433
type_guessed: f64
name: disassemble_data
arguments: data_label: D175
type_guessed: f64
name: disassemble_data
arguments: data_label: D4404
type_guessed: f64
name: disassemble_data
arguments: data_label: D4454
type_guessed: f64
name: disassemble_data
arguments: data_label: D4144
type_guessed: f64
name: disassemble_data
arguments: data_label: D642
type_guessed: f64
name: disassemble_data
arguments: data_label: D4756
type_guessed: f64
name: disassemble_data
arguments: data_label: D1598
type_guessed: f64
name: disassemble_data
arguments: data_label: D4638
type_guessed: f64
name: disassemble_data
arguments: data_label: D191
type_guessed: f64
name: disassemble_data
arguments: data_label: D3849
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D1146
type_guessed: f64
name: disassemble_data
arguments: data_label: D1150
type_guessed: f64
name: disassemble_data
arguments: data_label: D984
type_guessed: f64
name: disassemble_data
arguments: data_label: D1394
type_guessed: f64
name: disassemble_data
arguments: data_label: D2684
type_guessed: f64
name: disassemble_data
arguments: data_label: D2814
type_guessed: f64
name: disassemble_data
arguments: data_label: D2187
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D3020
type_guessed: f64
name: disassemble_data
arguments: data_label: D4504
type_guessed: f64
name: disassemble_data
arguments: data_label: D2838
type_guessed: f64
name: disassemble_data
arguments: data_label: D1584
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D3816
type_guessed: f64
name: disassemble_data
arguments: data_label: D1163
type_guessed: f64
name: disassemble_data
arguments: data_label: D280
type_guessed: f64
name: disassemble_data
arguments: data_label: D3564
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D2721
type_guessed: f64
name: disassemble_data
arguments: data_label: D4187
type_guessed: f64
name: disassemble_data
arguments: data_label: D3591
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D942
type_guessed: f64
name: disassemble_data
arguments: data_label: D2163
type_guessed: f64
name: disassemble_data
arguments: data_label: D4281
type_guessed: f64
name: disassemble_data
arguments: data_label: D3257
type_guessed: f64
name: disassemble_data
arguments: data_label: D2478
type_guessed: f64
name: disassemble_data
arguments: data_label: D125
type_guessed: f64
name: disassemble_data
arguments: data_label: D4524
type_guessed: f64
name: disassemble_data
arguments: data_label: D1786
type_guessed: f64
name: disassemble_data
arguments: data_label: D209
type_guessed: f64
name: disassemble_data
arguments: data_label: D2095
type_guessed: f64

tool: D1865: 2.718281828459045

tool: D4284: 3

tool: D1151: 4

tool: D3150: 5

tool: D500: 6

tool: D2891: 7

tool: D301: 8

tool: D1653: 9

tool: D3869: 10

tool: D1063: 11

tool: D1064: 12

tool: D689: 13

tool: D3570: 14

tool: D4203: 15

tool: D1257: 313841848320000

tool: D2107: 130753815192000

tool: D3433: 44881155118800

tool: D1432: 568188982486125

tool: D849: 12601803614400

tool: D3897: 2967953788800

tool: D3054: 596237241600

tool: D3844: 103264761600

tool: D3270: 15498362880

tool: D2469: 508694268332250

tool: D318: 2012774400

tool: D2779: 299892470377500

tool: D4028: 223641600

tool: D248: 20643840

tool: D21: 1474560

tool: D805: 65536

tool: D1324: 22

tool: D587: 23

tool: D1265: 18

tool: D2950: 21

tool: D1393: 16

tool: D515: 20

tool: D1650: 17

tool: D4161: 19

tool: D3254: 340200

tool: D511: 1449175455

tool: D3559: 533365560

tool: D945: 114631335

tool: D4589: 15221115

tool: D3718: 1782492075

tool: D578: 1142505

tool: D3610: 18396

tool: D354: 5238

tool: D2181: 513

tool: D3028: 104824125

tool: D3458: 251336925

tool: D649: 9122085

tool: D2996: 1890

tool: D4767: 27

tool: D4766: 2798145

tool: D1294: 433755

tool: D86: 39060

tool: D3732: 42

tool: D1170: 34459425

tool: D2102: 16216200

tool: D4491: 4729725

tool: D2682: 945945

tool: D3862: 25515

tool: D4071: 135135

tool: D4617: 45

tool: D780: 13860

tool: D3111: 990

tool: D3477: 14175

tool: D2452: 504

tool: D2724: 22680

tool: D3623: 13230

tool: D2765: 5670

tool: D4188: 108

tool: D3341: 85050

tool: D108: 198450

tool: D1680: 382725

tool: D2189: 212625

tool: D1905: 28350

tool: D4568: 7560

tool: D2392: 1836

tool: D767: 162

tool: D3587: 133451955

tool: D4228: 54

tool: D2074: 516747

tool: D1714: 73700865

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

tool: D1741: 54096840

tool: D640: 8306235

tool: D2695: 966945

tool: D567: 80724

tool: D1367: 6434

tool: D1625: 251

tool: D3379: 710073

tool: D1792: 805896

tool: D1839: 101556

tool: D4033: 84

tool: D3112: 258804

tool: D2966: 90972

tool: D4527: 9744

tool: D4761: 120

tool: D189: 315

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

tool: D4829: 2656395

tool: D4325: 1186920

tool: D395: 1155420

tool: D1243: 643356

tool: D2705: 93492

tool: D2883: 336

tool: D261: 1368

tool: D4741: 132

tool: D2317: 1289925

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

tool: D4128: 1146600

tool: D667: 668850

tool: D4705: 286650

tool: D2692: 90006

tool: D2747: 32872

tool: D4619: 4812

tool: D1240: 178

tool: D103: 1020600

tool: D3748: 1148175

tool: D3015: 637875

tool: D4037: 595350

tool: D729: 255150

tool: D3124: 4860

tool: D4426: 810

tool: D964: 34

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

tool: D252: 34827975

tool: D3210: 30958200

tool: D778: 18689580

tool: D3264: 5847660

tool: D1351: 3723300

tool: D644: 845040

tool: D505: 58680

tool: D543: 1548

tool: D663: 236

tool: D2616: 946053675

tool: D46: 394427880

tool: D893: 593408025

tool: D244: 315870660

tool: D4831: 375

tool: D3757: 53891460

tool: D785: 910980

tool: D2150: 1409520

tool: D1847: 192168

tool: D3830: 11196

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

tool: D1973: 225

tool: D1814: 70

tool: D2303: 71

tool: D4121: 840

tool: D565: 75

tool: D3062: 50

tool: D3711: 948

tool: D2379: 124800

tool: D1158: 248

tool: D2907: 4694625

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

tool: D1710: 450

tool: D1433: 7875

tool: D175: 180

tool: D4404: 945

tool: D4454: 25

tool: D4144: 273

tool: D642: 49140

tool: D4756: 2803125

tool: D1598: 5152

tool: D4638: 16965

tool: D191: 5340

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

tool: D1146: 40

tool: D1150: 325

tool: D984: 845085

tool: D1394: 22960

tool: D2684: 52

tool: D2814: 10140

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

tool: D3020: 11940

tool: D4504: 25532

tool: D2838: 729687

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

tool: D3816: 86

tool: D1163: 60

tool: D280: 35425

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

tool: D2721: 124

tool: D4187: 13311

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

tool: D942: 146

tool: D2163: 100

tool: D4281: 952

tool: D3257: 95940

tool: D2478: 157500

tool: D125: 2638467

tool: D4524: 157365

tool: D1786: 1820

tool: D209: 42525

tool: D2095: 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;
}
```