// File: /workspace/github_cpp_makefile_star2_O1/millanek[P]Dsuite/KolmogorovSmirnovDist.cpp
// Function: KScdf(int, double)
double KScdf (int n, double x)
{
   const double w = n * x * x;
   double u = cdfSpecial (n, x);
   if (u >= 0.0)
      return u;

   if (n <= NEXACT) {
      if (w < 0.754693)
         return DurbinMatrix (n, x);
      if (w < 4.0)
         return Pomeranz (n, x);
      return 1.0 - KSfbar (n, x);
   }

   /* if (n * x * sqrt(x) <= 1.4) */
   if ((w * x * n <= 2.0) && (n <= NKOLMO))
      return DurbinMatrix(n, x);

   return Pelz(n, x);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xf8, %rsp
movl %edi, %eax
cvtsi2sd %edi, %xmm2
movapd %xmm0, %xmm1
movapd %xmm2, %xmm4
mulsd %xmm0, %xmm4
movapd %xmm4, %xmm5
mulsd %xmm0, %xmm5
movsd 0x257d(%rip), %xmm3     # 0x40470
ucomisd %xmm3, %xmm0
jae 0x3e075
ucomisd 0x74db(%rip), %xmm5     # 0x453e0
jae 0x3e075
movsd 0x2565(%rip), %xmm0     # 0x40478
divsd %xmm2, %xmm0
xorpd %xmm3, %xmm3
ucomisd %xmm1, %xmm0
jae 0x3e075
cmpl $0x1, %eax
jne 0x3df3f
movapd %xmm1, %xmm3
addsd %xmm1, %xmm3
addsd 0x2556(%rip), %xmm3     # 0x40490
jmp 0x3e075
movsd 0x2529(%rip), %xmm3     # 0x40470
movapd %xmm3, %xmm0
divsd %xmm2, %xmm0
ucomisd %xmm1, %xmm0
movsd %xmm1, 0x8(%rsp)
jae 0x3df82
movapd %xmm3, %xmm1
subsd %xmm0, %xmm1
movsd 0x8(%rsp), %xmm0
ucomisd %xmm1, %xmm0
movsd 0x8(%rsp), %xmm1
jae 0x3dfd5
movsd 0x2513(%rip), %xmm3     # 0x40490
jmp 0x3e075
movapd %xmm5, 0x30(%rsp)
movapd %xmm4, 0x10(%rsp)
addsd %xmm1, %xmm1
subsd %xmm0, %xmm1
cmpl $0x14, %eax
movsd %xmm2, (%rsp)
jg 0x3e026
movslq %eax, %rbx
leaq 0x7582(%rip), %r14      # 0x45530
movapd %xmm1, %xmm0
movapd %xmm2, %xmm1
movq %rax, %r15
callq 0x7730
movq %r15, %rax
movsd (%rsp), %xmm2
movapd %xmm0, %xmm3
mulsd (%r14,%rbx,8), %xmm3
jmp 0x3e063
movapd %xmm3, %xmm0
subsd %xmm1, %xmm0
movapd %xmm2, %xmm1
movsd %xmm2, (%rsp)
movq %rax, %rbx
movapd %xmm4, 0x10(%rsp)
movapd %xmm5, 0x30(%rsp)
callq 0x7730
movapd 0x30(%rsp), %xmm5
movapd 0x10(%rsp), %xmm4
movsd 0x8(%rsp), %xmm1
movq %rbx, %rax
movsd 0x2459(%rip), %xmm3     # 0x40470
movsd (%rsp), %xmm2
addsd %xmm0, %xmm0
subsd %xmm0, %xmm3
jmp 0x3e075
movl %eax, %edi
movq %rax, %rbx
movsd %xmm1, 0x40(%rsp)
callq 0x3f823
movsd %xmm0, 0x20(%rsp)
movsd 0x40(%rsp), %xmm0
callq 0x7360
mulsd (%rsp), %xmm0
addsd 0x20(%rsp), %xmm0
callq 0x7750
movq %rbx, %rax
movsd (%rsp), %xmm2
movapd %xmm0, %xmm3
movsd 0x8(%rsp), %xmm1
movapd 0x10(%rsp), %xmm4
movapd 0x30(%rsp), %xmm5
xorpd %xmm0, %xmm0
ucomisd %xmm0, %xmm3
jae 0x3ef35
cmpl $0x8c, %eax
jg 0x3e238
movsd 0x740a(%rip), %xmm0     # 0x454a0
ucomisd %xmm5, %xmm0
ja 0x3e255
movsd 0x7400(%rip), %xmm0     # 0x454a8
ucomisd %xmm5, %xmm0
jbe 0x3e8e4
movsd %xmm2, (%rsp)
movsd 0x23b1(%rip), %xmm0     # 0x40470
movl $0x15e, %edi            # imm = 0x15E
movq %rax, %r14
movapd %xmm4, 0x10(%rsp)
callq 0x7620
movsd %xmm0, 0x58(%rsp)
leal (%r14,%r14), %eax
movq %rax, 0x20(%rsp)
leal 0x3(,%r14,2), %eax
movslq %eax, %r15
movl $0x8, %esi
movq %r15, %rdi
callq 0x72b0
movq %rax, %r12
movl $0x8, %esi
movq %r15, %rdi
callq 0x72b0
movq %rax, %r13
movl $0x8, %esi
movq %r15, %rdi
callq 0x72b0
movq %rax, %r15
leal 0x2(%r14), %ebx
movl $0x2, %edi
movl %ebx, %esi
callq 0x3f8d6
movq %rax, 0x30(%rsp)
movl $0x4, %edi
movl %ebx, 0x40(%rsp)
movl %ebx, %esi
callq 0x3f8d6
movq %rax, %rbp
movapd 0x10(%rsp), %xmm0
cvttsd2si %xmm0, %ebx
cvttpd2dq %xmm0, %xmm1
cvtdq2pd %xmm1, %xmm1
movapd %xmm0, %xmm2
subsd %xmm1, %xmm2
movapd %xmm2, 0x80(%rsp)
callq 0x7090
movapd 0x80(%rsp), %xmm5
subsd 0x10(%rsp), %xmm0
ucomisd 0x22f5(%rip), %xmm5     # 0x40478
jbe 0x3e900
testl %r14d, %r14d
movsd (%rsp), %xmm2
movsd 0x22d7(%rip), %xmm3     # 0x40470
movq %r14, %r8
movsd 0x58(%rsp), %xmm4
movq 0x20(%rsp), %r9
js 0x3ea4d
movl %r9d, %eax
movl %ebx, %ecx
notl %ecx
xorl %edx, %edx
xorps %xmm1, %xmm1
cvtsi2sd %ecx, %xmm1
movsd %xmm1, 0x10(%r13,%rdx,8)
addq $0x2, %rdx
incl %ecx
cmpq %rax, %rdx
jbe 0x3e1b6
movl %ebx, %ecx
notl %ecx
movq $-0x1, %rdx
xorps %xmm1, %xmm1
cvtsi2sd %ecx, %xmm1
movsd %xmm1, 0x10(%r13,%rdx,8)
addq $0x2, %rdx
incl %ecx
cmpq %rax, %rdx
jbe 0x3e1da
leal 0x1(%rbx), %ecx
xorl %edx, %edx
xorps %xmm1, %xmm1
cvtsi2sd %ecx, %xmm1
movsd %xmm1, 0x10(%r15,%rdx,8)
addq $0x2, %rdx
incl %ecx
cmpq %rax, %rdx
jbe 0x3e1f8
incl %ebx
movq $-0x1, %rcx
xorps %xmm1, %xmm1
cvtsi2sd %ebx, %xmm1
movsd %xmm1, 0x10(%r15,%rcx,8)
addq $0x2, %rcx
incl %ebx
cmpq %rax, %rcx
jbe 0x3e21a
jmp 0x3ea4d
cmpl $0x186a0, %eax          # imm = 0x186A0
jg 0x3e271
mulsd %xmm1, %xmm5
mulsd %xmm2, %xmm5
movsd 0x7199(%rip), %xmm0     # 0x453e8
ucomisd %xmm5, %xmm0
jb 0x3e271
movl %eax, %edi
movapd %xmm1, %xmm0
addq $0xf8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x3ef4b
xorpd %xmm3, %xmm3
xorpd %xmm0, %xmm0
movsd %xmm0, 0x10(%rsp)
ucomisd %xmm3, %xmm2
movsd %xmm2, (%rsp)
jb 0x3e293
xorps %xmm0, %xmm0
sqrtsd %xmm2, %xmm0
jmp 0x3e2a8
movapd %xmm2, %xmm0
movsd %xmm1, 0x8(%rsp)
callq 0x7350
movsd 0x8(%rsp), %xmm1
movsd %xmm0, 0xf0(%rsp)
mulsd %xmm0, %xmm1
movapd %xmm1, %xmm0
mulsd %xmm1, %xmm0
movapd %xmm0, 0x90(%rsp)
movapd %xmm1, %xmm0
addsd %xmm1, %xmm0
movsd %xmm1, 0x8(%rsp)
mulsd %xmm1, %xmm0
movsd 0x7110(%rip), %xmm1     # 0x453f0
divsd %xmm0, %xmm1
movsd %xmm1, 0x30(%rsp)
xorl %ebx, %ebx
xorps %xmm1, %xmm1
cvtsi2sd %ebx, %xmm1
addsd 0x217d(%rip), %xmm1     # 0x40478
movapd %xmm1, %xmm0
xorpd 0x21a9(%rip), %xmm0     # 0x404b0
mulsd %xmm1, %xmm0
mulsd 0x30(%rsp), %xmm0
callq 0x7750
movsd 0x10(%rsp), %xmm1
addsd %xmm0, %xmm1
movsd %xmm1, 0x10(%rsp)
mulsd 0x70ca(%rip), %xmm1     # 0x453f8
cmpl $0x13, %ebx
ja 0x3e33b
incl %ebx
ucomisd %xmm1, %xmm0
ja 0x3e2ec
movapd 0x90(%rsp), %xmm0
movapd %xmm0, %xmm2
mulsd %xmm0, %xmm2
movapd %xmm0, %xmm1
movapd %xmm2, 0xd0(%rsp)
mulsd %xmm2, %xmm1
movapd %xmm1, 0xe0(%rsp)
movapd 0x2142(%rip), %xmm1     # 0x404b0
xorpd %xmm0, %xmm1
movapd %xmm1, 0x40(%rsp)
movsd 0x20f0(%rip), %xmm0     # 0x40470
xorpd %xmm2, %xmm2
xorl %ebx, %ebx
movapd 0x2e62(%rip), %xmm3     # 0x411f0
andpd %xmm3, %xmm0
movapd %xmm2, %xmm1
andpd %xmm3, %xmm1
mulsd 0x7056(%rip), %xmm1     # 0x453f8
ucomisd %xmm1, %xmm0
jbe 0x3e415
xorps %xmm1, %xmm1
cvtsi2sd %ebx, %xmm1
addsd 0x20c1(%rip), %xmm1     # 0x40478
movapd %xmm1, %xmm0
mulsd 0x702d(%rip), %xmm0     # 0x453f0
mulsd %xmm1, %xmm0
addsd 0x40(%rsp), %xmm0
movapd %xmm0, 0x20(%rsp)
movapd %xmm1, %xmm0
xorpd 0x20d1(%rip), %xmm0     # 0x404b0
mulsd %xmm1, %xmm0
mulsd 0x30(%rsp), %xmm0
movapd %xmm2, 0x80(%rsp)
callq 0x7750
movapd 0x80(%rsp), %xmm2
mulsd 0x20(%rsp), %xmm0
addsd %xmm0, %xmm2
incl %ebx
cmpl $0x15, %ebx
jne 0x3e386
movapd %xmm2, 0x80(%rsp)
movapd 0xd0(%rsp), %xmm0
addsd %xmm0, %xmm0
movsd 0x6fcd(%rip), %xmm1     # 0x45400
mulsd 0xe0(%rsp), %xmm1
addsd %xmm0, %xmm1
movsd %xmm1, 0x40(%rsp)
movsd 0x6fba(%rip), %xmm2     # 0x45408
movapd 0x90(%rsp), %xmm1
mulsd %xmm1, %xmm2
addsd %xmm0, %xmm2
mulsd 0x6f89(%rip), %xmm2     # 0x453f0
movsd %xmm2, 0x70(%rsp)
addsd %xmm1, %xmm1
movsd 0x1ff7(%rip), %xmm0     # 0x40470
movapd %xmm0, %xmm2
subsd %xmm1, %xmm2
mulsd 0x6f87(%rip), %xmm2     # 0x45410
movsd %xmm2, 0x60(%rsp)
xorpd %xmm3, %xmm3
xorl %ebx, %ebx
movapd 0x2d53(%rip), %xmm2     # 0x411f0
andpd %xmm2, %xmm0
movapd %xmm3, %xmm1
andpd %xmm2, %xmm1
mulsd 0x6f47(%rip), %xmm1     # 0x453f8
ucomisd %xmm1, %xmm0
jbe 0x3e540
xorps %xmm1, %xmm1
cvtsi2sd %ebx, %xmm1
addsd 0x1fae(%rip), %xmm1     # 0x40478
movsd 0x70(%rsp), %xmm0
mulsd %xmm1, %xmm0
mulsd %xmm1, %xmm0
addsd 0x40(%rsp), %xmm0
movsd 0x60(%rsp), %xmm2
mulsd %xmm1, %xmm2
mulsd %xmm1, %xmm2
mulsd %xmm1, %xmm2
mulsd %xmm1, %xmm2
addsd %xmm0, %xmm2
movsd %xmm2, 0x20(%rsp)
movapd %xmm1, %xmm0
xorpd 0x1fa6(%rip), %xmm0     # 0x404b0
mulsd %xmm1, %xmm0
mulsd 0x30(%rsp), %xmm0
movapd %xmm3, 0xb0(%rsp)
callq 0x7750
movapd 0xb0(%rsp), %xmm3
mulsd 0x20(%rsp), %xmm0
addsd %xmm0, %xmm3
incl %ebx
cmpl $0x15, %ebx
jne 0x3e495
movapd %xmm3, 0xb0(%rsp)
xorpd %xmm0, %xmm0
movsd %xmm0, 0x20(%rsp)
movl $0x1, %ebx
xorps %xmm1, %xmm1
cvtsi2sd %ebx, %xmm1
movapd %xmm1, %xmm0
mulsd 0x6e85(%rip), %xmm0     # 0x453f0
mulsd %xmm1, %xmm0
movapd %xmm0, 0x40(%rsp)
movapd %xmm1, %xmm0
xorpd 0x1f2f(%rip), %xmm0     # 0x404b0
mulsd %xmm1, %xmm0
mulsd 0x30(%rsp), %xmm0
callq 0x7750
mulsd 0x40(%rsp), %xmm0
movsd 0x20(%rsp), %xmm1
addsd %xmm0, %xmm1
movsd %xmm1, 0x20(%rsp)
mulsd 0x6e4a(%rip), %xmm1     # 0x453f8
cmpl $0x13, %ebx
ja 0x3e5bb
incl %ebx
ucomisd %xmm1, %xmm0
ja 0x3e558
movsd 0x6e55(%rip), %xmm0     # 0x45418
movapd 0xe0(%rsp), %xmm3
mulsd %xmm3, %xmm0
movapd 0x90(%rsp), %xmm2
mulsd %xmm2, %xmm0
movsd 0x6e3b(%rip), %xmm4     # 0x45420
movapd %xmm3, %xmm5
movsd 0x6e37(%rip), %xmm1     # 0x45428
mulsd %xmm3, %xmm1
movsd 0x6e33(%rip), %xmm6     # 0x45430
movapd 0xd0(%rsp), %xmm3
mulsd %xmm3, %xmm6
addsd %xmm1, %xmm6
mulsd 0x6dda(%rip), %xmm6     # 0x453f0
movsd %xmm6, 0x58(%rsp)
mulsd %xmm4, %xmm5
movsd 0x6e10(%rip), %xmm1     # 0x45438
mulsd %xmm2, %xmm1
movsd 0x6e0c(%rip), %xmm6     # 0x45440
mulsd %xmm3, %xmm6
addsd %xmm1, %xmm6
mulsd 0x6dcc(%rip), %xmm6     # 0x45410
movsd %xmm6, 0xa8(%rsp)
addsd %xmm0, %xmm5
movapd %xmm5, 0xc0(%rsp)
mulsd %xmm2, %xmm4
addsd 0x6de2(%rip), %xmm4     # 0x45448
movsd %xmm4, 0x60(%rsp)
movsd 0x1dfc(%rip), %xmm0     # 0x40470
xorpd %xmm3, %xmm3
xorl %ebx, %ebx
movapd 0x2b6e(%rip), %xmm2     # 0x411f0
andpd %xmm2, %xmm0
movapd %xmm3, %xmm1
andpd %xmm2, %xmm1
mulsd 0x6d62(%rip), %xmm1     # 0x453f8
ucomisd %xmm1, %xmm0
jbe 0x3e733
xorps %xmm0, %xmm0
cvtsi2sd %ebx, %xmm0
addsd 0x1dc9(%rip), %xmm0     # 0x40478
mulsd %xmm0, %xmm0
movsd 0x58(%rsp), %xmm1
mulsd %xmm0, %xmm1
addsd 0xc0(%rsp), %xmm1
movsd 0xa8(%rsp), %xmm2
mulsd %xmm0, %xmm2
mulsd %xmm0, %xmm2
addsd %xmm1, %xmm2
movapd %xmm0, %xmm1
mulsd 0x6d69(%rip), %xmm1     # 0x45450
mulsd %xmm0, %xmm1
mulsd %xmm0, %xmm1
mulsd 0x60(%rsp), %xmm1
addsd %xmm2, %xmm1
movapd %xmm1, 0x70(%rsp)
xorpd 0x1da9(%rip), %xmm0     # 0x404b0
mulsd 0x30(%rsp), %xmm0
movapd %xmm3, 0x40(%rsp)
callq 0x7750
movapd 0x40(%rsp), %xmm3
mulsd 0x70(%rsp), %xmm0
addsd %xmm0, %xmm3
incl %ebx
cmpl $0x15, %ebx
jne 0x3e67a
movapd %xmm3, 0x40(%rsp)
movsd 0x1d2f(%rip), %xmm0     # 0x40470
xorpd %xmm3, %xmm3
movl $0x1, %ebx
movapd 0x2a9e(%rip), %xmm2     # 0x411f0
andpd %xmm2, %xmm0
movapd %xmm3, %xmm1
andpd %xmm2, %xmm1
mulsd 0x6c92(%rip), %xmm1     # 0x453f8
ucomisd %xmm1, %xmm0
jbe 0x3e7db
movl %ebx, %eax
imull %ebx, %eax
xorps %xmm0, %xmm0
cvtsi2sd %eax, %xmm0
movapd %xmm0, %xmm2
mulsd 0x6cd4(%rip), %xmm2     # 0x45458
movapd %xmm0, %xmm1
mulsd 0x6cd0(%rip), %xmm1     # 0x45460
mulsd %xmm0, %xmm1
mulsd 0x90(%rsp), %xmm2
addsd %xmm1, %xmm2
movapd %xmm2, 0x60(%rsp)
orpd 0x1d01(%rip), %xmm0     # 0x404b0
mulsd 0x30(%rsp), %xmm0
movapd %xmm3, 0x70(%rsp)
callq 0x7750
movapd 0x70(%rsp), %xmm3
mulsd 0x60(%rsp), %xmm0
addsd %xmm0, %xmm3
incl %ebx
cmpl $0x15, %ebx
jne 0x3e74a
movsd 0x6c85(%rip), %xmm1     # 0x45468
movsd 0x8(%rsp), %xmm4
divsd %xmm4, %xmm1
mulsd 0x10(%rsp), %xmm1
movsd 0x6c75(%rip), %xmm0     # 0x45470
movapd 0x80(%rsp), %xmm8
mulsd %xmm0, %xmm8
movsd 0x6c66(%rip), %xmm2     # 0x45478
movsd 0xf0(%rsp), %xmm5
mulsd %xmm5, %xmm2
movapd 0xd0(%rsp), %xmm7
mulsd %xmm7, %xmm2
divsd %xmm2, %xmm8
addsd %xmm1, %xmm8
movapd 0xb0(%rsp), %xmm9
mulsd %xmm0, %xmm9
movsd 0x6c33(%rip), %xmm1     # 0x45480
movsd (%rsp), %xmm2
mulsd %xmm2, %xmm1
mulsd %xmm4, %xmm1
movapd 0xe0(%rsp), %xmm6
mulsd %xmm6, %xmm1
divsd %xmm1, %xmm9
addsd %xmm8, %xmm9
movsd 0x20(%rsp), %xmm8
mulsd %xmm0, %xmm8
mulsd %xmm2, %xmm5
mulsd 0x6bff(%rip), %xmm2     # 0x45488
mulsd %xmm4, %xmm2
mulsd 0x90(%rsp), %xmm2
divsd %xmm2, %xmm8
addsd %xmm9, %xmm8
movapd 0x40(%rsp), %xmm2
mulsd %xmm0, %xmm2
movsd 0x6bde(%rip), %xmm1     # 0x45490
mulsd %xmm5, %xmm1
mulsd %xmm7, %xmm1
mulsd %xmm6, %xmm1
divsd %xmm1, %xmm2
addsd %xmm8, %xmm2
mulsd 0x6bc9(%rip), %xmm5     # 0x45498
mulsd %xmm0, %xmm3
mulsd %xmm6, %xmm5
divsd %xmm5, %xmm3
addsd %xmm2, %xmm3
jmp 0x3ef35
movl %eax, %edi
movapd %xmm1, %xmm0
callq 0x3f26f
movsd 0x1b79(%rip), %xmm3     # 0x40470
subsd %xmm0, %xmm3
jmp 0x3ef35
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm5
movsd (%rsp), %xmm2
movsd 0x1b5b(%rip), %xmm3     # 0x40470
movsd 0x58(%rsp), %xmm4
movq %r14, %r8
jbe 0x3e9bc
testl %r8d, %r8d
movq 0x20(%rsp), %r9
js 0x3e9a8
leal 0x2(%r9), %eax
movl %ebx, %ecx
notl %ecx
cmpl $0x2, %eax
movl $0x1, %edx
cmovgel %eax, %edx
negq %rdx
movl $0x1, %esi
movl %esi, %edi
shrl %edi
addl %ecx, %edi
xorps %xmm1, %xmm1
cvtsi2sd %edi, %xmm1
movsd %xmm1, (%r13,%rsi,8)
leaq (%rdx,%rsi), %rdi
incq %rdi
incq %rsi
cmpq $0x1, %rdi
jne 0x3e949
cmpl $0x3, %eax
movl $0x2, %ecx
cmovgel %eax, %ecx
movl $0x1, %eax
subq %rcx, %rax
movl $0x2, %ecx
movl %ecx, %edx
shrl %edx
addl %ebx, %edx
xorps %xmm1, %xmm1
cvtsi2sd %edx, %xmm1
movsd %xmm1, (%r15,%rcx,8)
leaq (%rax,%rcx), %rdx
incq %rdx
incq %rcx
cmpq $0x2, %rdx
jne 0x3e985
incl %ebx
xorps %xmm1, %xmm1
cvtsi2sd %ebx, %xmm1
movsd %xmm1, 0x8(%r15)
jmp 0x3ea4d
testl %r8d, %r8d
movq 0x20(%rsp), %r9
js 0x3ea4d
movl %r9d, %eax
movl %ebx, %ecx
negl %ecx
xorl %edx, %edx
xorps %xmm1, %xmm1
cvtsi2sd %ecx, %xmm1
movsd %xmm1, 0x10(%r13,%rdx,8)
addq $0x2, %rdx
incl %ecx
cmpq %rax, %rdx
jbe 0x3e9d3
movl %ebx, %ecx
negl %ecx
movq $-0x1, %rdx
xorps %xmm1, %xmm1
cvtsi2sd %ecx, %xmm1
movsd %xmm1, 0x10(%r13,%rdx,8)
addq $0x2, %rdx
incl %ecx
cmpq %rax, %rdx
jbe 0x3e9f7
xorl %ecx, %ecx
movl %ebx, %edx
xorps %xmm1, %xmm1
cvtsi2sd %edx, %xmm1
movsd %xmm1, 0x10(%r15,%rcx,8)
addq $0x2, %rcx
incl %edx
cmpq %rax, %rcx
jbe 0x3ea14
movq $-0x1, %rcx
xorps %xmm1, %xmm1
cvtsi2sd %ebx, %xmm1
movsd %xmm1, 0x10(%r15,%rcx,8)
addq $0x2, %rcx
incl %ebx
cmpq %rax, %rcx
jbe 0x3ea34
minsd %xmm5, %xmm0
xorpd %xmm1, %xmm1
movupd %xmm1, (%r12)
movsd %xmm0, 0x10(%r12)
movapd %xmm3, %xmm1
subsd %xmm0, %xmm1
movsd %xmm1, 0x18(%r12)
movl %r9d, %eax
orl $0x1, %eax
cmpl $0x4, %eax
jl 0x3ea9e
leal 0x2(%r9), %eax
movl $0x4, %ecx
movsd -0x10(%r12,%rcx,8), %xmm0
addsd %xmm3, %xmm0
movsd %xmm0, (%r12,%rcx,8)
incq %rcx
cmpq %rcx, %rax
jne 0x3ea85
movslq %r9d, %rax
movsd %xmm2, 0x10(%r12,%rax,8)
leal 0x1(%r8), %eax
movl %eax, 0x80(%rsp)
movl %eax, %r14d
testl %r8d, %r8d
js 0x3eae2
movq 0x30(%rsp), %rax
movq (%rax), %rdi
addq $0x8, %rdi
leaq (,%r14,8), %rdx
xorl %esi, %esi
movq %r8, %rbx
callq 0x7220
movsd 0x58(%rsp), %xmm4
movq %rbx, %r8
testl %r8d, %r8d
movq 0x30(%rsp), %rax
jle 0x3eb13
movq 0x8(%rax), %rdi
addq $0x10, %rdi
movl %r8d, %edx
shlq $0x3, %rdx
xorl %esi, %esi
movq %r8, %rbx
callq 0x7220
movsd 0x58(%rsp), %xmm4
movq 0x30(%rsp), %rax
movq %rbx, %r8
movq 0x8(%rax), %rax
movsd %xmm4, 0x8(%rax)
movq (%rbp), %rdi
movabsq $0x3ff0000000000000, %rax # imm = 0x3FF0000000000000
movq %rax, (%rdi)
movsd 0x10(%r12), %xmm0
movapd %xmm0, %xmm1
addsd %xmm0, %xmm1
movl 0x40(%rsp), %ecx
testl %r8d, %r8d
js 0x3eb73
movapd %xmm1, %xmm2
divsd (%rsp), %xmm2
movsd (%rdi), %xmm3
movl $0x1, %edx
mulsd %xmm2, %xmm3
xorps %xmm4, %xmm4
cvtsi2sd %edx, %xmm4
divsd %xmm4, %xmm3
movsd %xmm3, (%rdi,%rdx,8)
incq %rdx
cmpq %rdx, %rcx
jne 0x3eb57
movq 0x8(%rbp), %rdx
movq %rax, (%rdx)
testl %r8d, %r8d
js 0x3ebb5
movsd 0x18e9(%rip), %xmm2     # 0x40470
subsd %xmm1, %xmm2
divsd (%rsp), %xmm2
movsd (%rdx), %xmm1
movl $0x1, %esi
mulsd %xmm2, %xmm1
xorps %xmm3, %xmm3
cvtsi2sd %esi, %xmm3
divsd %xmm3, %xmm1
movsd %xmm1, (%rdx,%rsi,8)
incq %rsi
cmpq %rsi, %rcx
jne 0x3eb99
movq %rdi, 0x8(%rsp)
movq 0x10(%rbp), %rdx
movq %rax, (%rdx)
testl %r8d, %r8d
js 0x3ebf0
divsd (%rsp), %xmm0
movsd (%rdx), %xmm1
movl $0x1, %esi
mulsd %xmm0, %xmm1
xorps %xmm2, %xmm2
cvtsi2sd %esi, %xmm2
divsd %xmm2, %xmm1
movsd %xmm1, (%rdx,%rsi,8)
incq %rsi
cmpq %rsi, %rcx
jne 0x3ebd4
movq 0x18(%rbp), %rdi
movq %rax, (%rdi)
movq %r8, 0xa8(%rsp)
testl %r8d, %r8d
js 0x3ee6e
addq $0x8, %rdi
shlq $0x3, %r14
movq $0x0, 0x10(%rsp)
xorl %esi, %esi
movq %r14, %rdx
callq 0x7220
movsd 0x58(%rsp), %xmm7
movq 0x20(%rsp), %rcx
addl $0x2, %ecx
cmpl $0x3, %ecx
movl $0x2, %eax
cmovgel %ecx, %eax
orl $0x1, %eax
movq %rax, 0x90(%rsp)
movl $0x2, %edx
movsd 0x6794(%rip), %xmm0     # 0x453e8
movapd 0x2594(%rip), %xmm1     # 0x411f0
movsd 0x6854(%rip), %xmm2     # 0x454b8
movsd 0x6854(%rip), %xmm3     # 0x454c0
movl $0x1, 0xc0(%rsp)
movl $0x1, 0x40(%rsp)
movq %r12, 0xb0(%rsp)
movq %r13, 0x70(%rsp)
movq %r15, 0x60(%rsp)
movq %rbp, %r9
movsd (%r13,%rdx,8), %xmm4
addsd %xmm0, %xmm4
cvttsd2si %xmm4, %esi
cmpl $0x2, %esi
movl $0x1, %ecx
cmovll %ecx, %esi
cvttsd2si (%r15,%rdx,8), %r8d
movl 0x80(%rsp), %eax
cmpl %r8d, %eax
cmovll %eax, %r8d
movsd -0x8(%r13,%rdx,8), %xmm4
addsd %xmm0, %xmm4
cvttsd2si %xmm4, %r10d
cmpl $0x2, %r10d
cmovll %ecx, %r10d
cvttsd2si -0x8(%r15,%rdx,8), %ebx
movsd (%r12,%rdx,8), %xmm4
subsd -0x8(%r12,%rdx,8), %xmm4
divsd (%rsp), %xmm4
xorl %r11d, %r11d
movq (%rbp,%r11,8), %rax
movapd %xmm4, %xmm5
subsd 0x8(%rax), %xmm5
andpd %xmm1, %xmm5
ucomisd %xmm5, %xmm2
jae 0x3ed1e
incq %r11
cmpq $0x4, %r11
jne 0x3ecf6
movq $-0x1, %r11
movq 0x10(%rsp), %rax
xorl $0x1, %eax
movq %rax, 0x10(%rsp)
xorl $0x1, 0x40(%rsp)
movapd %xmm7, %xmm5
movl %esi, 0x20(%rsp)
cmpl %r8d, %esi
jg 0x3edd8
movl 0x10(%rsp), %ecx
movl 0x40(%rsp), %eax
movq 0x30(%rsp), %rsi
movq (%rsi,%rax,8), %rsi
movl 0x20(%rsp), %eax
movslq %ebx, %r12
movl %r10d, %r13d
leal 0x1(%r8), %r14d
leaq (,%rax,8), %rdi
movapd %xmm7, %xmm4
cmpq %r12, %rax
movq %r12, %rbp
cmovlq %rax, %rbp
cmpl %r12d, %eax
movl %r12d, %ebx
cmovll %eax, %ebx
xorpd %xmm5, %xmm5
cmpl %r10d, %ebx
jl 0x3edbf
leaq 0x1(%rbp), %r15
shlq $0x3, %rbp
movq %rdi, %rbx
subq %rbp, %rbx
movq 0x30(%rsp), %rbp
movq (%rbp,%rcx,8), %rbp
addq (%r9,%r11,8), %rbx
movsd -0x8(%rbp,%r15,8), %xmm6
mulsd (%rbx), %xmm6
addsd %xmm6, %xmm5
decq %r15
addq $0x8, %rbx
cmpq %r13, %r15
jg 0x3eda4
movsd %xmm5, (%rsi,%rax,8)
minsd %xmm4, %xmm5
incq %rax
addq $0x8, %rdi
movapd %xmm5, %xmm4
cmpq %r14, %rax
jne 0x3ed6c
ucomisd %xmm5, %xmm3
jbe 0x3ee2a
movl 0x20(%rsp), %esi
cmpl %r8d, %esi
movq 0xb0(%rsp), %r12
movq 0x70(%rsp), %r13
movq 0x60(%rsp), %r15
jg 0x3ee21
movl 0x40(%rsp), %eax
movq 0x30(%rsp), %rcx
movq (%rcx,%rax,8), %rax
movl %esi, %ecx
incl %r8d
movsd (%rax,%rcx,8), %xmm4
mulsd %xmm7, %xmm4
movsd %xmm4, (%rax,%rcx,8)
incq %rcx
cmpq %rcx, %r8
jne 0x3ee0b
incl 0xc0(%rsp)
jmp 0x3ee3c
movq 0xb0(%rsp), %r12
movq 0x70(%rsp), %r13
movq 0x60(%rsp), %r15
movq %r9, %rbp
incq %rdx
cmpq 0x90(%rsp), %rdx
jne 0x3ec94
movl 0x40(%rsp), %eax
imull $0x15e, 0xc0(%rsp), %ecx # imm = 0x15E
xorps %xmm0, %xmm0
cvtsi2sd %ecx, %xmm0
movsd %xmm0, 0x10(%rsp)
jmp 0x3ee81
movsd 0x663a(%rip), %xmm0     # 0x454b0
movsd %xmm0, 0x10(%rsp)
movl $0x1, %eax
movq 0x30(%rsp), %rbx
movq (%rbx,%rax,8), %rax
movslq 0x80(%rsp), %rcx
movsd (%rax,%rcx,8), %xmm0
movsd %xmm0, 0x20(%rsp)
movq %r12, %rdi
callq 0x7500
movq %r13, %rdi
callq 0x7500
movq %r15, %rdi
callq 0x7500
movq 0x8(%rsp), %rdi
callq 0x7500
movq %rbp, %rdi
callq 0x7500
movq (%rbx), %rdi
callq 0x7500
movq %rbx, %rdi
callq 0x7500
movq 0xa8(%rsp), %rdi
callq 0x3f823
movsd 0x10(%rsp), %xmm1
mulsd 0x65d6(%rip), %xmm1     # 0x454c8
addsd %xmm0, %xmm1
movsd %xmm1, 0x10(%rsp)
movsd 0x20(%rsp), %xmm0
callq 0x7360
addsd 0x10(%rsp), %xmm0
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
movsd 0x1553(%rip), %xmm3     # 0x40470
jae 0x3ef35
addq $0xf8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x7750
movapd %xmm3, %xmm0
addq $0xf8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq