// File: /workspace/github_cpp_makefile_star2_O3/mouda[P]LTE_random_access-simulate/specialfunctions.cpp
// Function: alglib_impl::incompletebeta(double, double, double, alglib_impl::ae_state*)
double incompletebeta(double a, double b, double x, ae_state *_state)
{
    double t;
    double xc;
    double w;
    double y;
    ae_int_t flag;
    double sg;
    double big;
    double biginv;
    double maxgam;
    double minlog;
    double maxlog;
    double result;


    big = 4.503599627370496e15;
    biginv = 2.22044604925031308085e-16;
    maxgam = 171.624376956302725;
    minlog = ae_log(ae_minrealnumber, _state);
    maxlog = ae_log(ae_maxrealnumber, _state);
    ae_assert(ae_fp_greater(a,0)&&ae_fp_greater(b,0), "Domain error in IncompleteBeta", _state);
    ae_assert(ae_fp_greater_eq(x,0)&&ae_fp_less_eq(x,1), "Domain error in IncompleteBeta", _state);
    if( ae_fp_eq(x,0) )
    {
        result = 0;
        return result;
    }
    if( ae_fp_eq(x,1) )
    {
        result = 1;
        return result;
    }
    flag = 0;
    if( ae_fp_less_eq(b*x,1.0)&&ae_fp_less_eq(x,0.95) )
    {
        result = ibetaf_incompletebetaps(a, b, x, maxgam, _state);
        return result;
    }
    w = 1.0-x;
    if( ae_fp_greater(x,a/(a+b)) )
    {
        flag = 1;
        t = a;
        a = b;
        b = t;
        xc = x;
        x = w;
    }
    else
    {
        xc = w;
    }
    if( (flag==1&&ae_fp_less_eq(b*x,1.0))&&ae_fp_less_eq(x,0.95) )
    {
        t = ibetaf_incompletebetaps(a, b, x, maxgam, _state);
        if( ae_fp_less_eq(t,ae_machineepsilon) )
        {
            result = 1.0-ae_machineepsilon;
        }
        else
        {
            result = 1.0-t;
        }
        return result;
    }
    y = x*(a+b-2.0)-(a-1.0);
    if( ae_fp_less(y,0.0) )
    {
        w = ibetaf_incompletebetafe(a, b, x, big, biginv, _state);
    }
    else
    {
        w = ibetaf_incompletebetafe2(a, b, x, big, biginv, _state)/xc;
    }
    y = a*ae_log(x, _state);
    t = b*ae_log(xc, _state);
    if( (ae_fp_less(a+b,maxgam)&&ae_fp_less(ae_fabs(y, _state),maxlog))&&ae_fp_less(ae_fabs(t, _state),maxlog) )
    {
        t = ae_pow(xc, b, _state);
        t = t*ae_pow(x, a, _state);
        t = t/a;
        t = t*w;
        t = t*(gammafunction(a+b, _state)/(gammafunction(a, _state)*gammafunction(b, _state)));
        if( flag==1 )
        {
            if( ae_fp_less_eq(t,ae_machineepsilon) )
            {
                result = 1.0-ae_machineepsilon;
            }
            else
            {
                result = 1.0-t;
            }
        }
        else
        {
            result = t;
        }
        return result;
    }
    y = y+t+lngamma(a+b, &sg, _state)-lngamma(a, &sg, _state)-lngamma(b, &sg, _state);
    y = y+ae_log(w/a, _state);
    if( ae_fp_less(y,minlog) )
    {
        t = 0.0;
    }
    else
    {
        t = ae_exp(y, _state);
    }
    if( flag==1 )
    {
        if( ae_fp_less_eq(t,ae_machineepsilon) )
        {
            t = 1.0-ae_machineepsilon;
        }
        else
        {
            t = 1.0-t;
        }
    }
    result = t;
    return result;
}

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
subq $0x170, %rsp            # imm = 0x170
movq %rdi, %rbx
movapd %xmm2, 0x40(%rsp)
movsd %xmm1, 0x30(%rsp)
movsd %xmm0, 0x20(%rsp)
movsd 0x29dd1(%rip), %xmm0    # 0x34270
callq 0x25f91
movsd %xmm0, 0x138(%rsp)
movsd 0x291ab(%rip), %xmm0    # 0x33660
movq %rbx, %rdi
callq 0x25f91
movsd %xmm0, 0x108(%rsp)
xorpd %xmm1, %xmm1
movsd 0x20(%rsp), %xmm0
callq 0x25bf9
testb %al, %al
je 0xa4ea
xorpd %xmm1, %xmm1
movsd 0x30(%rsp), %xmm0
callq 0x25bf9
jmp 0xa4ec
xorl %eax, %eax
movzbl %al, %edi
leaq 0x2b28d(%rip), %rsi     # 0x35783
movq %rbx, %rdx
callq 0x2510e
xorps %xmm0, %xmm0
movsd %xmm0, (%rsp)
xorpd %xmm1, %xmm1
movaps 0x40(%rsp), %xmm0
callq 0x25c15
testb %al, %al
je 0xa52c
movsd 0x28cc0(%rip), %xmm1    # 0x331e0
movaps 0x40(%rsp), %xmm0
callq 0x25bd9
jmp 0xa52e
xorl %eax, %eax
movzbl %al, %edi
leaq 0x2b24b(%rip), %rsi     # 0x35783
movq %rbx, %rdx
callq 0x2510e
xorpd %xmm1, %xmm1
movapd 0x40(%rsp), %xmm0
callq 0x25b75
testb %al, %al
jne 0xb004
movsd 0x28c81(%rip), %xmm1    # 0x331e0
movapd 0x40(%rsp), %xmm0
movsd %xmm1, (%rsp)
callq 0x25b75
testb %al, %al
jne 0xb004
movsd 0x30(%rsp), %xmm0
mulsd 0x40(%rsp), %xmm0
movsd 0x28c55(%rip), %xmm1    # 0x331e0
callq 0x25bd9
testb %al, %al
je 0xa5cf
movsd 0x29cdc(%rip), %xmm1    # 0x34278
movapd 0x40(%rsp), %xmm0
callq 0x25bd9
testb %al, %al
je 0xa5cf
movsd 0x20(%rsp), %xmm0
movsd 0x30(%rsp), %xmm1
movaps 0x40(%rsp), %xmm2
movq %rbx, %rdi
addq $0x170, %rsp            # imm = 0x170
popq %rbx
popq %r14
popq %rbp
jmp 0x12ff1
movsd 0x28c09(%rip), %xmm1    # 0x331e0
movapd 0x40(%rsp), %xmm0
subsd %xmm0, %xmm1
movsd %xmm1, 0x60(%rsp)
movsd 0x20(%rsp), %xmm1
movapd %xmm1, %xmm2
addsd 0x30(%rsp), %xmm2
movapd %xmm2, 0xf0(%rsp)
divsd %xmm2, %xmm1
callq 0x25bf9
movl %eax, %ebp
testb %al, %al
jne 0xa63e
movsd 0x60(%rsp), %xmm2
movsd %xmm2, 0x98(%rsp)
movsd 0x30(%rsp), %xmm0
movsd %xmm0, 0x58(%rsp)
movsd 0x20(%rsp), %xmm1
movapd %xmm1, 0x70(%rsp)
movapd 0x40(%rsp), %xmm3
jmp 0xa66d
movaps 0x40(%rsp), %xmm0
movsd %xmm0, 0x98(%rsp)
movsd 0x60(%rsp), %xmm2
movapd %xmm2, %xmm3
movsd 0x20(%rsp), %xmm1
movsd %xmm1, 0x58(%rsp)
movsd 0x30(%rsp), %xmm0
movaps %xmm0, 0x70(%rsp)
movapd %xmm3, 0x40(%rsp)
je 0xa6ff
movapd %xmm2, %xmm0
mulsd %xmm1, %xmm0
movsd 0x28b57(%rip), %xmm1    # 0x331e0
movsd %xmm1, (%rsp)
callq 0x25bd9
movsd 0x60(%rsp), %xmm0
movapd 0x40(%rsp), %xmm3
testb %al, %al
je 0xa6ff
movsd 0x29bcd(%rip), %xmm1    # 0x34278
callq 0x25bd9
movsd 0x60(%rsp), %xmm2
movsd 0x20(%rsp), %xmm1
movapd 0x40(%rsp), %xmm3
testb %al, %al
je 0xa6ff
movsd 0x30(%rsp), %xmm0
movq %rbx, %rdi
callq 0x12ff1
movsd 0x29114(%rip), %xmm1    # 0x337f0
movsd %xmm0, 0x20(%rsp)
callq 0x25bd9
testb %al, %al
jne 0xafe8
movsd (%rsp), %xmm0
subsd 0x20(%rsp), %xmm0
jmp 0xafff
movsd 0x28d09(%rip), %xmm0    # 0x33410
addsd 0xf0(%rsp), %xmm0
movsd 0x28af0(%rip), %xmm1    # 0x33208
addsd 0x70(%rsp), %xmm1
mulsd %xmm3, %xmm0
subsd %xmm1, %xmm0
xorpd %xmm1, %xmm1
callq 0x25bb9
movapd 0x70(%rsp), %xmm1
movsd 0x28aa3(%rip), %xmm2    # 0x331e0
addsd %xmm1, %xmm2
testb %al, %al
je 0xaa5b
movaps 0x28a60(%rip), %xmm0    # 0x331b0
movaps 0x40(%rsp), %xmm5
xorps %xmm5, %xmm0
movapd 0x2a780(%rip), %xmm3    # 0x34ee0
movsd %xmm1, %xmm3            # xmm3 = xmm1[0],xmm3[1]
movapd %xmm3, 0xe0(%rsp)
unpcklpd %xmm2, %xmm2            # xmm2 = xmm2[0,0]
movapd 0xf0(%rsp), %xmm3
unpcklpd %xmm1, %xmm3            # xmm3 = xmm3[0],xmm1[0]
movapd %xmm3, 0xd0(%rsp)
movsd 0x28a51(%rip), %xmm3    # 0x331e0
xorpd %xmm4, %xmm4
unpcklpd %xmm3, %xmm4            # xmm4 = xmm4[0],xmm3[0]
movlhps %xmm5, %xmm0            # xmm0 = xmm0[0],xmm5[0]
movaps %xmm0, 0xa0(%rsp)
movl $0x12c, %r14d           # imm = 0x12C
movapd %xmm3, %xmm5
movsd 0x58(%rsp), %xmm6
movapd %xmm1, %xmm7
movapd %xmm3, 0xc0(%rsp)
movsd %xmm3, 0x18(%rsp)
movapd %xmm3, %xmm0
addsd 0x28a37(%rip), %xmm6    # 0x33208
addsd 0x28c27(%rip), %xmm7    # 0x33400
movapd 0xe0(%rsp), %xmm1
mulpd 0xa0(%rsp), %xmm1
movapd 0xd0(%rsp), %xmm3
movapd %xmm3, %xmm8
movapd %xmm6, 0x120(%rsp)
unpcklpd %xmm6, %xmm8            # xmm8 = xmm8[0],xmm6[0]
mulpd %xmm1, %xmm8
movapd %xmm3, %xmm1
movapd %xmm7, 0x110(%rsp)
shufpd $0x1, %xmm7, %xmm1      # xmm1 = xmm1[1],xmm7[0]
movapd %xmm2, (%rsp)
mulpd %xmm2, %xmm1
divpd %xmm1, %xmm8
movapd %xmm4, %xmm1
unpckhpd %xmm4, %xmm1            # xmm1 = xmm1[1],xmm4[1]
mulsd %xmm8, %xmm5
addsd %xmm1, %xmm5
movapd %xmm0, %xmm1
movapd %xmm5, 0x30(%rsp)
unpcklpd %xmm5, %xmm1            # xmm1 = xmm1[0],xmm5[0]
mulpd %xmm8, %xmm4
addpd %xmm1, %xmm4
unpckhpd %xmm8, %xmm8            # xmm8 = xmm8[1,1]
mulsd %xmm0, %xmm8
addsd %xmm4, %xmm8
movapd %xmm8, 0x20(%rsp)
movapd %xmm4, 0x80(%rsp)
movapd %xmm4, %xmm0
unpckhpd %xmm4, %xmm0            # xmm0 = xmm0[1],xmm4[1]
xorpd %xmm1, %xmm1
movapd %xmm0, 0x60(%rsp)
callq 0x25b97
movapd 0x20(%rsp), %xmm0
testb %al, %al
jne 0xa89f
movapd 0xc0(%rsp), %xmm0
jmp 0xa8a5
divsd 0x60(%rsp), %xmm0
xorpd %xmm1, %xmm1
movapd %xmm0, 0xc0(%rsp)
callq 0x25b97
testb %al, %al
je 0xa8eb
movsd 0x18(%rsp), %xmm0
movapd 0xc0(%rsp), %xmm1
subsd %xmm1, %xmm0
divsd %xmm1, %xmm0
movq %rbx, %rdi
callq 0x25e30
movapd 0xc0(%rsp), %xmm1
movsd %xmm1, 0x18(%rsp)
jmp 0xa8f3
movsd 0x288ed(%rip), %xmm0    # 0x331e0
movsd 0x29985(%rip), %xmm1    # 0x34280
callq 0x25bb9
testb %al, %al
jne 0xade0
movapd 0xd0(%rsp), %xmm0
addpd 0x2a597(%rip), %xmm0    # 0x34eb0
movapd %xmm0, 0xd0(%rsp)
movapd 0xe0(%rsp), %xmm0
addpd 0x2a47d(%rip), %xmm0    # 0x34db0
movapd %xmm0, 0xe0(%rsp)
movapd (%rsp), %xmm0
addpd 0x2a5a7(%rip), %xmm0    # 0x34ef0
movapd %xmm0, (%rsp)
movaps 0x60(%rsp), %xmm0
movq %rbx, %rdi
callq 0x25e30
movsd %xmm0, 0xb0(%rsp)
movapd 0x20(%rsp), %xmm0
movq %rbx, %rdi
callq 0x25e30
addsd 0xb0(%rsp), %xmm0
movsd 0x28dad(%rip), %xmm1    # 0x33730
callq 0x25bf9
movapd 0x30(%rsp), %xmm2
unpcklpd 0x20(%rsp), %xmm2       # xmm2 = xmm2[0],mem[0]
testb %al, %al
je 0xa9ba
movapd 0x80(%rsp), %xmm0
movapd 0x2a387(%rip), %xmm1    # 0x34d30
mulpd %xmm1, %xmm0
movapd %xmm0, 0x80(%rsp)
mulpd %xmm1, %xmm2
movapd %xmm2, 0x30(%rsp)
movapd 0x60(%rsp), %xmm0
movq %rbx, %rdi
callq 0x25e30
movsd 0x298b2(%rip), %xmm1    # 0x34288
callq 0x25bb9
testb %al, %al
jne 0xa9fe
movapd 0x20(%rsp), %xmm0
movq %rbx, %rdi
callq 0x25e30
movsd 0x29893(%rip), %xmm1    # 0x34288
callq 0x25bb9
testb %al, %al
je 0xaa1f
movapd 0x80(%rsp), %xmm4
movapd 0x2a4c1(%rip), %xmm0    # 0x34ed0
mulpd %xmm0, %xmm4
movapd 0x30(%rsp), %xmm5
mulpd %xmm0, %xmm5
jmp 0xaa2e
movapd 0x80(%rsp), %xmm4
movapd 0x30(%rsp), %xmm5
movapd %xmm5, %xmm0
unpckhpd %xmm5, %xmm0            # xmm0 = xmm0[1],xmm5[1]
decq %r14
movapd (%rsp), %xmm2
movapd 0x120(%rsp), %xmm6
movapd 0x110(%rsp), %xmm7
jne 0xa7c9
jmp 0xade0
movsd 0x2877d(%rip), %xmm3    # 0x331e0
movapd %xmm3, %xmm0
movapd 0x40(%rsp), %xmm4
subsd %xmm4, %xmm0
divsd %xmm0, %xmm4
movapd 0x28733(%rip), %xmm0    # 0x331b0
movapd %xmm4, 0x150(%rsp)
xorpd %xmm4, %xmm0
movapd %xmm0, 0x140(%rsp)
movapd %xmm1, %xmm0
unpcklpd %xmm1, %xmm0            # xmm0 = xmm0[0],xmm1[0]
movapd %xmm0, 0x30(%rsp)
movsd 0x28737(%rip), %xmm5    # 0x331e0
movapd 0x2a2ff(%rip), %xmm6    # 0x34db0
movl $0x12c, %r14d           # imm = 0x12C
movsd 0x58(%rsp), %xmm4
movsd %xmm4, 0x120(%rsp)
movsd %xmm3, 0x60(%rsp)
movapd 0xf0(%rsp), %xmm4
movsd %xmm4, 0xe0(%rsp)
movsd %xmm2, 0xd0(%rsp)
movsd %xmm1, 0x110(%rsp)
movapd %xmm3, 0x80(%rsp)
movsd %xmm3, 0x18(%rsp)
movsd 0x120(%rsp), %xmm3
addsd 0x286f8(%rip), %xmm3    # 0x33208
movsd 0x110(%rsp), %xmm4
addsd 0x288df(%rip), %xmm4    # 0x33400
movapd 0x140(%rsp), %xmm1
movapd %xmm2, (%rsp)
unpcklpd %xmm2, %xmm1            # xmm1 = xmm1[0],xmm2[0]
mulpd 0x30(%rsp), %xmm1
movapd %xmm1, %xmm2
movsd %xmm3, 0x120(%rsp)
mulsd %xmm3, %xmm2
unpckhpd %xmm1, %xmm1            # xmm1 = xmm1[1,1]
divsd %xmm1, %xmm2
movapd 0x150(%rsp), %xmm0
mulsd 0x60(%rsp), %xmm0
mulsd 0xe0(%rsp), %xmm0
movsd 0xd0(%rsp), %xmm1
movsd %xmm4, 0x110(%rsp)
mulsd %xmm4, %xmm1
divsd %xmm1, %xmm0
unpcklpd %xmm2, %xmm2            # xmm2 = xmm2[0,0]
mulpd %xmm5, %xmm2
addpd %xmm6, %xmm2
unpcklpd %xmm0, %xmm0            # xmm0 = xmm0[0,0]
mulpd %xmm6, %xmm0
movapd %xmm2, 0xb0(%rsp)
addpd %xmm2, %xmm0
movapd %xmm0, 0x20(%rsp)
xorpd %xmm1, %xmm1
callq 0x25b97
movapd 0x20(%rsp), %xmm1
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
testb %al, %al
movapd %xmm0, 0xc0(%rsp)
jne 0xabda
movapd 0x80(%rsp), %xmm0
jmp 0xabde
divsd %xmm1, %xmm0
xorpd %xmm1, %xmm1
movapd %xmm0, 0x80(%rsp)
callq 0x25b97
testb %al, %al
je 0xac24
movsd 0x18(%rsp), %xmm0
movapd 0x80(%rsp), %xmm1
subsd %xmm1, %xmm0
divsd %xmm1, %xmm0
movq %rbx, %rdi
callq 0x25e30
movapd 0x80(%rsp), %xmm1
movsd %xmm1, 0x18(%rsp)
jmp 0xac2c
movsd 0x285b4(%rip), %xmm0    # 0x331e0
movsd 0x2964c(%rip), %xmm1    # 0x34280
callq 0x25bb9
testb %al, %al
jne 0xadcb
movapd 0x30(%rsp), %xmm0
addpd 0x2a261(%rip), %xmm0    # 0x34eb0
movapd %xmm0, 0x30(%rsp)
movaps 0x20(%rsp), %xmm0
movq %rbx, %rdi
callq 0x25e30
movsd %xmm0, 0xa0(%rsp)
movapd 0xc0(%rsp), %xmm0
movq %rbx, %rdi
callq 0x25e30
addsd 0xa0(%rsp), %xmm0
movsd 0x28aa3(%rip), %xmm1    # 0x33730
callq 0x25bf9
movapd 0x20(%rsp), %xmm2
movapd 0xb0(%rsp), %xmm0
movapd %xmm0, %xmm3
unpckhpd %xmm2, %xmm3            # xmm3 = xmm3[1],xmm2[1]
movapd %xmm2, %xmm1
unpcklpd %xmm0, %xmm1            # xmm1 = xmm1[0],xmm0[0]
testb %al, %al
jne 0xacc9
movapd %xmm3, 0xa0(%rsp)
movapd %xmm1, 0xb0(%rsp)
jmp 0xaceb
movapd 0x2a05f(%rip), %xmm0    # 0x34d30
mulpd %xmm0, %xmm1
movapd %xmm1, 0xb0(%rsp)
mulpd %xmm0, %xmm3
movapd %xmm3, 0xa0(%rsp)
movapd %xmm2, %xmm0
movq %rbx, %rdi
callq 0x25e30
movsd 0x29589(%rip), %xmm1    # 0x34288
callq 0x25bb9
testb %al, %al
jne 0xad2a
movapd 0xc0(%rsp), %xmm0
movq %rbx, %rdi
callq 0x25e30
movsd 0x29567(%rip), %xmm1    # 0x34288
callq 0x25bb9
testb %al, %al
je 0xad4e
movapd 0x2a19e(%rip), %xmm0    # 0x34ed0
movapd 0xb0(%rsp), %xmm5
mulpd %xmm0, %xmm5
movapd 0xa0(%rsp), %xmm4
mulpd %xmm0, %xmm4
jmp 0xad60
movapd 0xb0(%rsp), %xmm5
movapd 0xa0(%rsp), %xmm4
movapd (%rsp), %xmm2
movsd 0x28693(%rip), %xmm1    # 0x33400
addsd %xmm1, %xmm2
movsd 0x28467(%rip), %xmm0    # 0x331e0
movsd 0x60(%rsp), %xmm3
addsd %xmm0, %xmm3
movsd %xmm3, 0x60(%rsp)
movsd 0xe0(%rsp), %xmm3
addsd %xmm0, %xmm3
movsd %xmm3, 0xe0(%rsp)
movsd 0xd0(%rsp), %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0xd0(%rsp)
movapd %xmm4, %xmm6
movsd %xmm5, %xmm6            # xmm6 = xmm5[0],xmm6[1]
shufpd $0x1, %xmm4, %xmm5      # xmm5 = xmm5[1],xmm4[0]
decq %r14
jne 0xaaff
movsd 0x18(%rsp), %xmm0
divsd 0x98(%rsp), %xmm0
movsd %xmm0, 0x18(%rsp)
movapd 0x40(%rsp), %xmm0
movq %rbx, %rdi
callq 0x25f91
mulsd 0x70(%rsp), %xmm0
movsd %xmm0, (%rsp)
movsd 0x98(%rsp), %xmm0
movq %rbx, %rdi
callq 0x25f91
mulsd 0x58(%rsp), %xmm0
movsd %xmm0, 0x20(%rsp)
movsd 0x2944a(%rip), %xmm1    # 0x34268
movaps 0xf0(%rsp), %xmm0
callq 0x25bb9
testb %al, %al
je 0xaf18
movsd (%rsp), %xmm0
movq %rbx, %rdi
callq 0x25e30
movsd 0x108(%rsp), %xmm1
callq 0x25bb9
testb %al, %al
je 0xaf18
movsd 0x20(%rsp), %xmm0
movq %rbx, %rdi
callq 0x25e30
movsd 0x108(%rsp), %xmm1
callq 0x25bb9
testb %al, %al
je 0xaf18
movsd 0x98(%rsp), %xmm0
movsd 0x58(%rsp), %xmm1
movq %rbx, %rdi
callq 0x25f96
movsd %xmm0, (%rsp)
movapd 0x40(%rsp), %xmm0
movaps 0x70(%rsp), %xmm1
movq %rbx, %rdi
callq 0x25f96
mulsd (%rsp), %xmm0
divsd 0x70(%rsp), %xmm0
movsd 0x18(%rsp), %xmm1
mulsd %xmm0, %xmm1
movsd %xmm1, 0x18(%rsp)
movaps 0xf0(%rsp), %xmm0
movq %rbx, %rdi
callq 0x4a38
movsd %xmm0, (%rsp)
movaps 0x70(%rsp), %xmm0
movq %rbx, %rdi
callq 0x4a38
movsd %xmm0, 0x20(%rsp)
movsd 0x58(%rsp), %xmm0
movq %rbx, %rdi
callq 0x4a38
mulsd 0x20(%rsp), %xmm0
movsd (%rsp), %xmm1
divsd %xmm0, %xmm1
movapd %xmm1, %xmm0
mulsd 0x18(%rsp), %xmm0
jmp 0xafcd
movsd (%rsp), %xmm0
addsd 0x20(%rsp), %xmm0
movsd %xmm0, (%rsp)
leaq 0x168(%rsp), %r14
movapd 0xf0(%rsp), %xmm0
movq %r14, %rdi
movq %rbx, %rsi
callq 0x4e80
addsd (%rsp), %xmm0
movsd %xmm0, (%rsp)
movapd 0x70(%rsp), %xmm0
movq %r14, %rdi
movq %rbx, %rsi
callq 0x4e80
movsd (%rsp), %xmm1
subsd %xmm0, %xmm1
movsd %xmm1, (%rsp)
movsd 0x58(%rsp), %xmm0
movq %r14, %rdi
movq %rbx, %rsi
callq 0x4e80
movsd (%rsp), %xmm1
subsd %xmm0, %xmm1
movsd %xmm1, (%rsp)
movsd 0x18(%rsp), %xmm0
divsd 0x70(%rsp), %xmm0
movq %rbx, %rdi
callq 0x25f91
addsd (%rsp), %xmm0
movsd %xmm0, (%rsp)
movsd 0x138(%rsp), %xmm1
callq 0x25bb9
xorpd %xmm0, %xmm0
testb %al, %al
jne 0xafcd
movsd (%rsp), %xmm0
movq %rbx, %rdi
callq 0x25f9b
testb %bpl, %bpl
movsd %xmm0, (%rsp)
je 0xb004
movsd 0x28811(%rip), %xmm1    # 0x337f0
callq 0x25bd9
testb %al, %al
je 0xaff2
movsd 0x292a0(%rip), %xmm0    # 0x34290
jmp 0xafff
movsd 0x281e6(%rip), %xmm0    # 0x331e0
subsd (%rsp), %xmm0
movsd %xmm0, (%rsp)
movsd (%rsp), %xmm0
addq $0x170, %rsp            # imm = 0x170
popq %rbx
popq %r14
popq %rbp
retq