// File: /workspace/github_c_makefile_star2_O3/codeplea[P]tinyexpr/smoke.c
// Function: test_functions
void test_functions() {

    double x, y;
    te_variable lookup[] = {{"x", &x}, {"y", &y}};

    int err;
    te_expr *expr;

    for (x = -5; x < 5; x += .2) {
        cross_check("abs x", fabs(x));
        cross_check("acos x", acos(x));
        cross_check("asin x", asin(x));
        cross_check("atan x", atan(x));
        cross_check("ceil x", ceil(x));
        cross_check("cos x", cos(x));
        cross_check("cosh x", cosh(x));
        cross_check("exp x", exp(x));
        cross_check("floor x", floor(x));
        cross_check("ln x", log(x));
        cross_check("log10 x", log10(x));
        cross_check("sin x", sin(x));
        cross_check("sinh x", sinh(x));
        cross_check("sqrt x", sqrt(x));
        cross_check("tan x", tan(x));
        cross_check("tanh x", tanh(x));

        for (y = -2; y < 2; y += .2) {
            if (fabs(x) < 0.01) break;
            cross_check("atan2(x,y)", atan2(x, y));
            cross_check("pow(x,y)", pow(x, y));
        }
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x78, %rsp
leaq 0x4620(%rip), %rax      # 0x858f
leaq 0x30(%rsp), %rbx
movq %rax, (%rbx)
leaq 0x8(%rsp), %rax
movq %rax, 0x8(%rbx)
xorl %ecx, %ecx
movl %ecx, 0x10(%rbx)
movq %rcx, 0x18(%rbx)
leaq 0x4594(%rip), %rdx      # 0x8524
movq %rdx, 0x20(%rbx)
leaq 0x28(%rsp), %rdx
movq %rdx, 0x28(%rbx)
movl %ecx, 0x30(%rbx)
movq %rcx, 0x38(%rbx)
movabsq $-0x3fec000000000000, %rcx # imm = 0xC014000000000000
movq %rcx, (%rax)
leaq 0x24(%rsp), %r15
leaq 0x4406(%rip), %r12      # 0x83c3
leaq 0x43f7(%rip), %r13      # 0x83bb
leaq 0x43e2(%rip), %r14      # 0x83ad
leaq 0x457b(%rip), %rdi      # 0x854d
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6c46
movq %rax, %rbp
incl 0x8111(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x664d
movsd 0x8(%rsp), %xmm1
movapd 0x400f(%rip), %xmm2     # 0x8010
andpd %xmm2, %xmm1
subsd %xmm1, %xmm0
movapd %xmm0, %xmm1
andpd %xmm2, %xmm1
ucomisd 0x4027(%rip), %xmm1     # 0x8040
ja 0x4021
ucomisd %xmm0, %xmm0
jnp 0x404f
incl 0x80d9(%rip)            # 0xc100
movq %rbp, %rdi
callq 0x664d
movsd 0x8(%rsp), %xmm1
andpd 0x3fd3(%rip), %xmm1     # 0x8010
movq %r12, %rdi
movq %r13, %rsi
movl $0x16c, %edx            # imm = 0x16C
movb $0x2, %al
callq 0x3090
incl 0x80a7(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x4074
incl 0x809e(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x16c, %edx            # imm = 0x16C
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x632f
movsd 0x8(%rsp), %xmm0
callq 0x30c0
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30c0
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x4175
jp 0x4175
leaq 0x449e(%rip), %rdi      # 0x8553
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6c46
movq %rax, %rbp
incl 0x802e(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x664d
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30c0
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3f13(%rip), %xmm0     # 0x8010
ucomisd 0x3f3b(%rip), %xmm0     # 0x8040
ja 0x410d
ucomisd %xmm1, %xmm1
jnp 0x4148
incl 0x7fed(%rip)            # 0xc100
movq %rbp, %rdi
callq 0x664d
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30c0
movapd %xmm0, %xmm1
movq %r12, %rdi
movq %r13, %rsi
movl $0x16d, %edx            # imm = 0x16D
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x7fae(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x416d
incl 0x7fa5(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x16d, %edx            # imm = 0x16D
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x632f
movsd 0x8(%rsp), %xmm0
callq 0x3180
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3180
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x426e
jp 0x426e
leaq 0x43ac(%rip), %rdi      # 0x855a
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6c46
movq %rax, %rbp
incl 0x7f35(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x664d
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3180
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3e1a(%rip), %xmm0     # 0x8010
ucomisd 0x3e42(%rip), %xmm0     # 0x8040
ja 0x4206
ucomisd %xmm1, %xmm1
jnp 0x4241
incl 0x7ef4(%rip)            # 0xc100
movq %rbp, %rdi
callq 0x664d
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3180
movapd %xmm0, %xmm1
movq %r12, %rdi
movq %r13, %rsi
movl $0x16e, %edx            # imm = 0x16E
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x7eb5(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x4266
incl 0x7eac(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x16e, %edx            # imm = 0x16E
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x632f
movsd 0x8(%rsp), %xmm0
callq 0x3070
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3070
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x4367
jp 0x4367
leaq 0x42ba(%rip), %rdi      # 0x8561
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6c46
movq %rax, %rbp
incl 0x7e3c(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x664d
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3070
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3d21(%rip), %xmm0     # 0x8010
ucomisd 0x3d49(%rip), %xmm0     # 0x8040
ja 0x42ff
ucomisd %xmm1, %xmm1
jnp 0x433a
incl 0x7dfb(%rip)            # 0xc100
movq %rbp, %rdi
callq 0x664d
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3070
movapd %xmm0, %xmm1
movq %r12, %rdi
movq %r13, %rsi
movl $0x16f, %edx            # imm = 0x16F
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x7dbc(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x435f
incl 0x7db3(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x16f, %edx            # imm = 0x16F
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x632f
movsd 0x8(%rsp), %xmm0
movsd %xmm0, 0x10(%rsp)
callq 0x31a0
ucomisd %xmm0, %xmm0
movsd 0x10(%rsp), %xmm0
jp 0x4454
leaq 0x41d9(%rip), %rdi      # 0x8568
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6c46
movq %rax, %rbp
incl 0x7d54(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x664d
movaps %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x31a0
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3c3a(%rip), %xmm0     # 0x8010
ucomisd 0x3c62(%rip), %xmm0     # 0x8040
ja 0x43e6
ucomisd %xmm1, %xmm1
jnp 0x4421
incl 0x7d14(%rip)            # 0xc100
movq %rbp, %rdi
callq 0x664d
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x31a0
movapd %xmm0, %xmm1
movq %r12, %rdi
movq %r13, %rsi
movl $0x170, %edx            # imm = 0x170
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x7cd5(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x4446
incl 0x7ccc(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x170, %edx            # imm = 0x170
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x632f
movsd 0x8(%rsp), %xmm0
callq 0x30b0
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30b0
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x4547
jp 0x4547
leaq 0x40cd(%rip), %rdi      # 0x8554
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6c46
movq %rax, %rbp
incl 0x7c5c(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x664d
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30b0
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3b41(%rip), %xmm0     # 0x8010
ucomisd 0x3b69(%rip), %xmm0     # 0x8040
ja 0x44df
ucomisd %xmm1, %xmm1
jnp 0x451a
incl 0x7c1b(%rip)            # 0xc100
movq %rbp, %rdi
callq 0x664d
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30b0
movapd %xmm0, %xmm1
movq %r12, %rdi
movq %r13, %rsi
movl $0x171, %edx            # imm = 0x171
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x7bdc(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x453f
incl 0x7bd3(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x171, %edx            # imm = 0x171
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x632f
movsd 0x8(%rsp), %xmm0
callq 0x3100
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3100
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x4640
jp 0x4640
leaq 0x3fef(%rip), %rdi      # 0x856f
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6c46
movq %rax, %rbp
incl 0x7b63(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x664d
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3100
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3a48(%rip), %xmm0     # 0x8010
ucomisd 0x3a70(%rip), %xmm0     # 0x8040
ja 0x45d8
ucomisd %xmm1, %xmm1
jnp 0x4613
incl 0x7b22(%rip)            # 0xc100
movq %rbp, %rdi
callq 0x664d
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3100
movapd %xmm0, %xmm1
movq %r12, %rdi
movq %r13, %rsi
movl $0x172, %edx            # imm = 0x172
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x7ae3(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x4638
incl 0x7ada(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x172, %edx            # imm = 0x172
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x632f
movsd 0x8(%rsp), %xmm0
callq 0x31b0
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x31b0
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x4739
jp 0x4739
leaq 0x3efd(%rip), %rdi      # 0x8576
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6c46
movq %rax, %rbp
incl 0x7a6a(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x664d
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x31b0
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x394f(%rip), %xmm0     # 0x8010
ucomisd 0x3977(%rip), %xmm0     # 0x8040
ja 0x46d1
ucomisd %xmm1, %xmm1
jnp 0x470c
incl 0x7a29(%rip)            # 0xc100
movq %rbp, %rdi
callq 0x664d
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x31b0
movapd %xmm0, %xmm1
movq %r12, %rdi
movq %r13, %rsi
movl $0x173, %edx            # imm = 0x173
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x79ea(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x4731
incl 0x79e1(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x173, %edx            # imm = 0x173
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x632f
movsd 0x8(%rsp), %xmm0
movsd %xmm0, 0x10(%rsp)
callq 0x3160
ucomisd %xmm0, %xmm0
movsd 0x10(%rsp), %xmm0
jp 0x4826
leaq 0x3e1b(%rip), %rdi      # 0x857c
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6c46
movq %rax, %rbp
incl 0x7982(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x664d
movaps %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3160
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3868(%rip), %xmm0     # 0x8010
ucomisd 0x3890(%rip), %xmm0     # 0x8040
ja 0x47b8
ucomisd %xmm1, %xmm1
jnp 0x47f3
incl 0x7942(%rip)            # 0xc100
movq %rbp, %rdi
callq 0x664d
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3160
movapd %xmm0, %xmm1
movq %r12, %rdi
movq %r13, %rsi
movl $0x174, %edx            # imm = 0x174
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x7903(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x4818
incl 0x78fa(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x174, %edx            # imm = 0x174
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x632f
movsd 0x8(%rsp), %xmm0
callq 0x30a0
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30a0
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x4919
jp 0x4919
leaq 0x3d2b(%rip), %rdi      # 0x8584
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6c46
movq %rax, %rbp
incl 0x788a(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x664d
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30a0
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x376f(%rip), %xmm0     # 0x8010
ucomisd 0x3797(%rip), %xmm0     # 0x8040
ja 0x48b1
ucomisd %xmm1, %xmm1
jnp 0x48ec
incl 0x7849(%rip)            # 0xc100
movq %rbp, %rdi
callq 0x664d
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30a0
movapd %xmm0, %xmm1
movq %r12, %rdi
movq %r13, %rsi
movl $0x175, %edx            # imm = 0x175
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x780a(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x4911
incl 0x7801(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x175, %edx            # imm = 0x175
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x632f
movsd 0x8(%rsp), %xmm0
callq 0x30e0
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30e0
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x4a12
jp 0x4a12
leaq 0x3c37(%rip), %rdi      # 0x8589
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6c46
movq %rax, %rbp
incl 0x7791(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x664d
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30e0
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3676(%rip), %xmm0     # 0x8010
ucomisd 0x369e(%rip), %xmm0     # 0x8040
ja 0x49aa
ucomisd %xmm1, %xmm1
jnp 0x49e5
incl 0x7750(%rip)            # 0xc100
movq %rbp, %rdi
callq 0x664d
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30e0
movapd %xmm0, %xmm1
movq %r12, %rdi
movq %r13, %rsi
movl $0x176, %edx            # imm = 0x176
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x7711(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x4a0a
incl 0x7708(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x176, %edx            # imm = 0x176
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x632f
movsd 0x8(%rsp), %xmm0
callq 0x3150
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3150
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x4b0b
jp 0x4b0b
leaq 0x3b10(%rip), %rdi      # 0x855b
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6c46
movq %rax, %rbp
incl 0x7698(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x664d
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3150
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x357d(%rip), %xmm0     # 0x8010
ucomisd 0x35a5(%rip), %xmm0     # 0x8040
ja 0x4aa3
ucomisd %xmm1, %xmm1
jnp 0x4ade
incl 0x7657(%rip)            # 0xc100
movq %rbp, %rdi
callq 0x664d
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3150
movapd %xmm0, %xmm1
movq %r12, %rdi
movq %r13, %rsi
movl $0x177, %edx            # imm = 0x177
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x7618(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x4b03
incl 0x760f(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x177, %edx            # imm = 0x177
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x632f
movsd 0x8(%rsp), %xmm0
callq 0x3110
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3110
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x4c04
jp 0x4c04
leaq 0x3a4d(%rip), %rdi      # 0x8591
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6c46
movq %rax, %rbp
incl 0x759f(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x664d
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3110
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3484(%rip), %xmm0     # 0x8010
ucomisd 0x34ac(%rip), %xmm0     # 0x8040
ja 0x4b9c
ucomisd %xmm1, %xmm1
jnp 0x4bd7
incl 0x755e(%rip)            # 0xc100
movq %rbp, %rdi
callq 0x664d
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3110
movapd %xmm0, %xmm1
movq %r12, %rdi
movq %r13, %rsi
movl $0x178, %edx            # imm = 0x178
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x751f(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x4bfc
incl 0x7516(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x178, %edx            # imm = 0x178
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x632f
movsd 0x8(%rsp), %xmm0
ucomisd 0x346e(%rip), %xmm0     # 0x8080
jb 0x4c1d
xorps %xmm1, %xmm1
sqrtsd %xmm0, %xmm1
jmp 0x4c26
callq 0x3190
movapd %xmm0, %xmm1
movsd 0x8(%rsp), %xmm0
ucomisd 0x344c(%rip), %xmm0     # 0x8080
jb 0x4c3c
sqrtsd %xmm0, %xmm0
jmp 0x4c4d
movsd %xmm1, 0x10(%rsp)
callq 0x3190
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x4d53
jp 0x4d53
leaq 0x3934(%rip), %rdi      # 0x8598
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6c46
movq %rax, %rbp
incl 0x747f(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x664d
movapd %xmm0, %xmm1
movsd 0x8(%rsp), %xmm0
ucomisd 0x33e9(%rip), %xmm0     # 0x8080
jb 0x4c9f
sqrtsd %xmm0, %xmm0
jmp 0x4cb0
movapd %xmm1, 0x10(%rsp)
callq 0x3190
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3350(%rip), %xmm0     # 0x8010
ucomisd 0x3378(%rip), %xmm0     # 0x8040
ja 0x4cd0
ucomisd %xmm1, %xmm1
jnp 0x4d26
incl 0x742a(%rip)            # 0xc100
movq %rbp, %rdi
callq 0x664d
movapd %xmm0, %xmm2
movsd 0x8(%rsp), %xmm0
ucomisd 0x3390(%rip), %xmm0     # 0x8080
jb 0x4cfb
xorps %xmm1, %xmm1
sqrtsd %xmm0, %xmm1
jmp 0x4d10
movsd %xmm2, 0x10(%rsp)
callq 0x3190
movsd 0x10(%rsp), %xmm2
movapd %xmm0, %xmm1
movq %r12, %rdi
movq %r13, %rsi
movl $0x179, %edx            # imm = 0x179
movapd %xmm2, %xmm0
movb $0x2, %al
callq 0x3090
incl 0x73d0(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x4d4b
incl 0x73c7(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x179, %edx            # imm = 0x179
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x632f
movsd 0x8(%rsp), %xmm0
callq 0x3130
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3130
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x4e4c
jp 0x4e4c
leaq 0x37d6(%rip), %rdi      # 0x8562
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6c46
movq %rax, %rbp
incl 0x7357(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x664d
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3130
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x323c(%rip), %xmm0     # 0x8010
ucomisd 0x3264(%rip), %xmm0     # 0x8040
ja 0x4de4
ucomisd %xmm1, %xmm1
jnp 0x4e1f
incl 0x7316(%rip)            # 0xc100
movq %rbp, %rdi
callq 0x664d
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3130
movapd %xmm0, %xmm1
movq %r12, %rdi
movq %r13, %rsi
movl $0x17a, %edx            # imm = 0x17A
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x72d7(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x4e44
incl 0x72ce(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x17a, %edx            # imm = 0x17A
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x632f
movsd 0x8(%rsp), %xmm0
callq 0x3170
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3170
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x4f45
jp 0x4f45
leaq 0x371a(%rip), %rdi      # 0x859f
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6c46
movq %rax, %rbp
incl 0x725e(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x664d
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3170
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3143(%rip), %xmm0     # 0x8010
ucomisd 0x316b(%rip), %xmm0     # 0x8040
ja 0x4edd
ucomisd %xmm1, %xmm1
jnp 0x4f18
incl 0x721d(%rip)            # 0xc100
movq %rbp, %rdi
callq 0x664d
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3170
movapd %xmm0, %xmm1
movq %r12, %rdi
movq %r13, %rsi
movl $0x17b, %edx            # imm = 0x17B
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x71de(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x4f3d
incl 0x71d5(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x17b, %edx            # imm = 0x17B
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x632f
movabsq $-0x4000000000000000, %rax # imm = 0xC000000000000000
movq %rax, 0x28(%rsp)
movsd 0x3104(%rip), %xmm1     # 0x8060
movsd 0x8(%rsp), %xmm0
movapd %xmm0, %xmm2
andpd 0x30a2(%rip), %xmm2     # 0x8010
movsd 0x30f2(%rip), %xmm3     # 0x8068
ucomisd %xmm2, %xmm3
ja 0x51c2
callq 0x3140
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
movsd 0x28(%rsp), %xmm1
callq 0x3140
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x5085
jp 0x5085
leaq 0x35ed(%rip), %rdi      # 0x85a6
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6c46
movq %rax, %rbp
incl 0x712a(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x664d
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
movsd 0x28(%rsp), %xmm1
callq 0x3140
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3009(%rip), %xmm0     # 0x8010
ucomisd 0x3031(%rip), %xmm0     # 0x8040
ja 0x5017
ucomisd %xmm1, %xmm1
jnp 0x5058
incl 0x70e3(%rip)            # 0xc100
movq %rbp, %rdi
callq 0x664d
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
movsd 0x28(%rsp), %xmm1
callq 0x3140
movapd %xmm0, %xmm1
movq %r12, %rdi
movq %r13, %rsi
movl $0x17f, %edx            # imm = 0x17F
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x709e(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x507d
incl 0x7095(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x17f, %edx            # imm = 0x17F
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x632f
movsd 0x8(%rsp), %xmm0
movsd 0x28(%rsp), %xmm1
callq 0x31d0
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
movsd 0x28(%rsp), %xmm1
callq 0x31d0
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x5196
jp 0x5196
leaq 0x34e7(%rip), %rdi      # 0x85b1
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6c46
movq %rax, %rbp
incl 0x7019(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x664d
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
movsd 0x28(%rsp), %xmm1
callq 0x31d0
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x2ef8(%rip), %xmm0     # 0x8010
ucomisd 0x2f20(%rip), %xmm0     # 0x8040
ja 0x5128
ucomisd %xmm1, %xmm1
jnp 0x5169
incl 0x6fd2(%rip)            # 0xc100
movq %rbp, %rdi
callq 0x664d
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
movsd 0x28(%rsp), %xmm1
callq 0x31d0
movapd %xmm0, %xmm1
movq %r12, %rdi
movq %r13, %rsi
movl $0x180, %edx            # imm = 0x180
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x6f8d(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x518e
incl 0x6f84(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x180, %edx            # imm = 0x180
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x632f
movsd 0x28(%rsp), %xmm1
addsd 0x2ecc(%rip), %xmm1     # 0x8070
movsd %xmm1, 0x28(%rsp)
movsd 0x2ec6(%rip), %xmm0     # 0x8078
ucomisd %xmm1, %xmm0
ja 0x4f5c
movsd 0x8(%rsp), %xmm0
addsd 0x2ea6(%rip), %xmm0     # 0x8070
movsd %xmm0, 0x8(%rsp)
movsd 0x2e78(%rip), %xmm1     # 0x8050
ucomisd %xmm0, %xmm1
ja 0x3fcb
addq $0x78, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq