// File: /workspace/github_c_makefile_star2_O1/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 0x4708(%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 0x467c(%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 0x44ee(%rip), %r12      # 0x83c3
leaq 0x44df(%rip), %r13      # 0x83bb
leaq 0x44ca(%rip), %r14      # 0x83ad
leaq 0x4663(%rip), %rdi      # 0x854d
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6af2
movq %rax, %rbp
incl 0x8201(%rip)            # 0xc104
movq %rax, %rdi
callq 0x64f9
movsd 0x8(%rsp), %xmm1
movapd 0x40f7(%rip), %xmm2     # 0x8010
andpd %xmm2, %xmm1
subsd %xmm1, %xmm0
movapd %xmm0, %xmm1
andpd %xmm2, %xmm1
ucomisd 0x410f(%rip), %xmm1     # 0x8040
ja 0x3f39
ucomisd %xmm0, %xmm0
jnp 0x3f67
incl 0x81c9(%rip)            # 0xc108
movq %rbp, %rdi
callq 0x64f9
movsd 0x8(%rsp), %xmm1
andpd 0x40bb(%rip), %xmm1     # 0x8010
movq %r12, %rdi
movq %r13, %rsi
movl $0x16c, %edx            # imm = 0x16C
movb $0x2, %al
callq 0x3090
incl 0x8197(%rip)            # 0xc104
cmpl $0x0, 0x24(%rsp)
je 0x3f8c
incl 0x818e(%rip)            # 0xc108
movq %r14, %rdi
movq %r13, %rsi
movl $0x16c, %edx            # imm = 0x16C
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x61c7
movsd 0x8(%rsp), %xmm0
callq 0x30d0
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30d0
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x408d
jp 0x408d
leaq 0x4586(%rip), %rdi      # 0x8553
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6af2
movq %rax, %rbp
incl 0x811e(%rip)            # 0xc104
movq %rax, %rdi
callq 0x64f9
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30d0
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3ffb(%rip), %xmm0     # 0x8010
ucomisd 0x4023(%rip), %xmm0     # 0x8040
ja 0x4025
ucomisd %xmm1, %xmm1
jnp 0x4060
incl 0x80dd(%rip)            # 0xc108
movq %rbp, %rdi
callq 0x64f9
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30d0
movapd %xmm0, %xmm1
movq %r12, %rdi
movq %r13, %rsi
movl $0x16d, %edx            # imm = 0x16D
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x809e(%rip)            # 0xc104
cmpl $0x0, 0x24(%rsp)
je 0x4085
incl 0x8095(%rip)            # 0xc108
movq %r14, %rdi
movq %r13, %rsi
movl $0x16d, %edx            # imm = 0x16D
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x61c7
movsd 0x8(%rsp), %xmm0
callq 0x3190
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3190
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x4186
jp 0x4186
leaq 0x4494(%rip), %rdi      # 0x855a
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6af2
movq %rax, %rbp
incl 0x8025(%rip)            # 0xc104
movq %rax, %rdi
callq 0x64f9
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3190
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3f02(%rip), %xmm0     # 0x8010
ucomisd 0x3f2a(%rip), %xmm0     # 0x8040
ja 0x411e
ucomisd %xmm1, %xmm1
jnp 0x4159
incl 0x7fe4(%rip)            # 0xc108
movq %rbp, %rdi
callq 0x64f9
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3190
movapd %xmm0, %xmm1
movq %r12, %rdi
movq %r13, %rsi
movl $0x16e, %edx            # imm = 0x16E
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x7fa5(%rip)            # 0xc104
cmpl $0x0, 0x24(%rsp)
je 0x417e
incl 0x7f9c(%rip)            # 0xc108
movq %r14, %rdi
movq %r13, %rsi
movl $0x16e, %edx            # imm = 0x16E
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x61c7
movsd 0x8(%rsp), %xmm0
callq 0x3070
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3070
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x427f
jp 0x427f
leaq 0x43a2(%rip), %rdi      # 0x8561
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6af2
movq %rax, %rbp
incl 0x7f2c(%rip)            # 0xc104
movq %rax, %rdi
callq 0x64f9
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3070
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3e09(%rip), %xmm0     # 0x8010
ucomisd 0x3e31(%rip), %xmm0     # 0x8040
ja 0x4217
ucomisd %xmm1, %xmm1
jnp 0x4252
incl 0x7eeb(%rip)            # 0xc108
movq %rbp, %rdi
callq 0x64f9
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 0x7eac(%rip)            # 0xc104
cmpl $0x0, 0x24(%rsp)
je 0x4277
incl 0x7ea3(%rip)            # 0xc108
movq %r14, %rdi
movq %r13, %rsi
movl $0x16f, %edx            # imm = 0x16F
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x61c7
movsd 0x8(%rsp), %xmm0
callq 0x31b0
ucomisd %xmm0, %xmm0
jp 0x435b
leaq 0x42cd(%rip), %rdi      # 0x8568
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6af2
movq %rax, %rbp
incl 0x7e50(%rip)            # 0xc104
movq %rax, %rdi
callq 0x64f9
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x31b0
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3d2d(%rip), %xmm0     # 0x8010
ucomisd 0x3d55(%rip), %xmm0     # 0x8040
ja 0x42f3
ucomisd %xmm1, %xmm1
jnp 0x432e
incl 0x7e0f(%rip)            # 0xc108
movq %rbp, %rdi
callq 0x64f9
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x31b0
movapd %xmm0, %xmm1
movq %r12, %rdi
movq %r13, %rsi
movl $0x170, %edx            # imm = 0x170
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x7dd0(%rip)            # 0xc104
cmpl $0x0, 0x24(%rsp)
je 0x4353
incl 0x7dc7(%rip)            # 0xc108
movq %r14, %rdi
movq %r13, %rsi
movl $0x170, %edx            # imm = 0x170
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x61c7
movsd 0x8(%rsp), %xmm0
callq 0x30c0
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30c0
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x4454
jp 0x4454
leaq 0x41c0(%rip), %rdi      # 0x8554
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6af2
movq %rax, %rbp
incl 0x7d57(%rip)            # 0xc104
movq %rax, %rdi
callq 0x64f9
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30c0
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3c34(%rip), %xmm0     # 0x8010
ucomisd 0x3c5c(%rip), %xmm0     # 0x8040
ja 0x43ec
ucomisd %xmm1, %xmm1
jnp 0x4427
incl 0x7d16(%rip)            # 0xc108
movq %rbp, %rdi
callq 0x64f9
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30c0
movapd %xmm0, %xmm1
movq %r12, %rdi
movq %r13, %rsi
movl $0x171, %edx            # imm = 0x171
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x7cd7(%rip)            # 0xc104
cmpl $0x0, 0x24(%rsp)
je 0x444c
incl 0x7cce(%rip)            # 0xc108
movq %r14, %rdi
movq %r13, %rsi
movl $0x171, %edx            # imm = 0x171
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x61c7
movsd 0x8(%rsp), %xmm0
callq 0x3100
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3100
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x454d
jp 0x454d
leaq 0x40e2(%rip), %rdi      # 0x856f
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6af2
movq %rax, %rbp
incl 0x7c5e(%rip)            # 0xc104
movq %rax, %rdi
callq 0x64f9
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3100
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3b3b(%rip), %xmm0     # 0x8010
ucomisd 0x3b63(%rip), %xmm0     # 0x8040
ja 0x44e5
ucomisd %xmm1, %xmm1
jnp 0x4520
incl 0x7c1d(%rip)            # 0xc108
movq %rbp, %rdi
callq 0x64f9
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 0x7bde(%rip)            # 0xc104
cmpl $0x0, 0x24(%rsp)
je 0x4545
incl 0x7bd5(%rip)            # 0xc108
movq %r14, %rdi
movq %r13, %rsi
movl $0x172, %edx            # imm = 0x172
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x61c7
movsd 0x8(%rsp), %xmm0
callq 0x31c0
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x31c0
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x4646
jp 0x4646
leaq 0x3ff0(%rip), %rdi      # 0x8576
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6af2
movq %rax, %rbp
incl 0x7b65(%rip)            # 0xc104
movq %rax, %rdi
callq 0x64f9
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x31c0
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3a42(%rip), %xmm0     # 0x8010
ucomisd 0x3a6a(%rip), %xmm0     # 0x8040
ja 0x45de
ucomisd %xmm1, %xmm1
jnp 0x4619
incl 0x7b24(%rip)            # 0xc108
movq %rbp, %rdi
callq 0x64f9
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x31c0
movapd %xmm0, %xmm1
movq %r12, %rdi
movq %r13, %rsi
movl $0x173, %edx            # imm = 0x173
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x7ae5(%rip)            # 0xc104
cmpl $0x0, 0x24(%rsp)
je 0x463e
incl 0x7adc(%rip)            # 0xc108
movq %r14, %rdi
movq %r13, %rsi
movl $0x173, %edx            # imm = 0x173
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x61c7
movsd 0x8(%rsp), %xmm0
callq 0x3170
ucomisd %xmm0, %xmm0
jp 0x4722
leaq 0x3f1a(%rip), %rdi      # 0x857c
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6af2
movq %rax, %rbp
incl 0x7a89(%rip)            # 0xc104
movq %rax, %rdi
callq 0x64f9
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3170
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3966(%rip), %xmm0     # 0x8010
ucomisd 0x398e(%rip), %xmm0     # 0x8040
ja 0x46ba
ucomisd %xmm1, %xmm1
jnp 0x46f5
incl 0x7a48(%rip)            # 0xc108
movq %rbp, %rdi
callq 0x64f9
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3170
movapd %xmm0, %xmm1
movq %r12, %rdi
movq %r13, %rsi
movl $0x174, %edx            # imm = 0x174
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x7a09(%rip)            # 0xc104
cmpl $0x0, 0x24(%rsp)
je 0x471a
incl 0x7a00(%rip)            # 0xc108
movq %r14, %rdi
movq %r13, %rsi
movl $0x174, %edx            # imm = 0x174
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x61c7
movsd 0x8(%rsp), %xmm0
callq 0x30b0
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30b0
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x481b
jp 0x481b
leaq 0x3e29(%rip), %rdi      # 0x8584
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6af2
movq %rax, %rbp
incl 0x7990(%rip)            # 0xc104
movq %rax, %rdi
callq 0x64f9
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30b0
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x386d(%rip), %xmm0     # 0x8010
ucomisd 0x3895(%rip), %xmm0     # 0x8040
ja 0x47b3
ucomisd %xmm1, %xmm1
jnp 0x47ee
incl 0x794f(%rip)            # 0xc108
movq %rbp, %rdi
callq 0x64f9
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30b0
movapd %xmm0, %xmm1
movq %r12, %rdi
movq %r13, %rsi
movl $0x175, %edx            # imm = 0x175
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x7910(%rip)            # 0xc104
cmpl $0x0, 0x24(%rsp)
je 0x4813
incl 0x7907(%rip)            # 0xc108
movq %r14, %rdi
movq %r13, %rsi
movl $0x175, %edx            # imm = 0x175
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x61c7
movsd 0x8(%rsp), %xmm0
callq 0x30e0
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30e0
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x4914
jp 0x4914
leaq 0x3d35(%rip), %rdi      # 0x8589
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6af2
movq %rax, %rbp
incl 0x7897(%rip)            # 0xc104
movq %rax, %rdi
callq 0x64f9
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30e0
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3774(%rip), %xmm0     # 0x8010
ucomisd 0x379c(%rip), %xmm0     # 0x8040
ja 0x48ac
ucomisd %xmm1, %xmm1
jnp 0x48e7
incl 0x7856(%rip)            # 0xc108
movq %rbp, %rdi
callq 0x64f9
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 0x7817(%rip)            # 0xc104
cmpl $0x0, 0x24(%rsp)
je 0x490c
incl 0x780e(%rip)            # 0xc108
movq %r14, %rdi
movq %r13, %rsi
movl $0x176, %edx            # imm = 0x176
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x61c7
movsd 0x8(%rsp), %xmm0
callq 0x3160
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3160
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x4a0d
jp 0x4a0d
leaq 0x3c0e(%rip), %rdi      # 0x855b
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6af2
movq %rax, %rbp
incl 0x779e(%rip)            # 0xc104
movq %rax, %rdi
callq 0x64f9
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3160
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x367b(%rip), %xmm0     # 0x8010
ucomisd 0x36a3(%rip), %xmm0     # 0x8040
ja 0x49a5
ucomisd %xmm1, %xmm1
jnp 0x49e0
incl 0x775d(%rip)            # 0xc108
movq %rbp, %rdi
callq 0x64f9
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3160
movapd %xmm0, %xmm1
movq %r12, %rdi
movq %r13, %rsi
movl $0x177, %edx            # imm = 0x177
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x771e(%rip)            # 0xc104
cmpl $0x0, 0x24(%rsp)
je 0x4a05
incl 0x7715(%rip)            # 0xc108
movq %r14, %rdi
movq %r13, %rsi
movl $0x177, %edx            # imm = 0x177
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x61c7
movsd 0x8(%rsp), %xmm0
callq 0x3110
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3110
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x4b06
jp 0x4b06
leaq 0x3b4b(%rip), %rdi      # 0x8591
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6af2
movq %rax, %rbp
incl 0x76a5(%rip)            # 0xc104
movq %rax, %rdi
callq 0x64f9
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3110
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3582(%rip), %xmm0     # 0x8010
ucomisd 0x35aa(%rip), %xmm0     # 0x8040
ja 0x4a9e
ucomisd %xmm1, %xmm1
jnp 0x4ad9
incl 0x7664(%rip)            # 0xc108
movq %rbp, %rdi
callq 0x64f9
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 0x7625(%rip)            # 0xc104
cmpl $0x0, 0x24(%rsp)
je 0x4afe
incl 0x761c(%rip)            # 0xc108
movq %r14, %rdi
movq %r13, %rsi
movl $0x178, %edx            # imm = 0x178
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x61c7
movsd 0x8(%rsp), %xmm0
ucomisd 0x356c(%rip), %xmm0     # 0x8080
jb 0x4b1f
xorps %xmm1, %xmm1
sqrtsd %xmm0, %xmm1
jmp 0x4b28
callq 0x31a0
movapd %xmm0, %xmm1
movsd 0x8(%rsp), %xmm0
ucomisd 0x354a(%rip), %xmm0     # 0x8080
jb 0x4b3e
sqrtsd %xmm0, %xmm0
jmp 0x4b4f
movsd %xmm1, 0x10(%rsp)
callq 0x31a0
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x4c55
jp 0x4c55
leaq 0x3a32(%rip), %rdi      # 0x8598
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6af2
movq %rax, %rbp
incl 0x7585(%rip)            # 0xc104
movq %rax, %rdi
callq 0x64f9
movapd %xmm0, %xmm1
movsd 0x8(%rsp), %xmm0
ucomisd 0x34e7(%rip), %xmm0     # 0x8080
jb 0x4ba1
sqrtsd %xmm0, %xmm0
jmp 0x4bb2
movapd %xmm1, 0x10(%rsp)
callq 0x31a0
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x344e(%rip), %xmm0     # 0x8010
ucomisd 0x3476(%rip), %xmm0     # 0x8040
ja 0x4bd2
ucomisd %xmm1, %xmm1
jnp 0x4c28
incl 0x7530(%rip)            # 0xc108
movq %rbp, %rdi
callq 0x64f9
movapd %xmm0, %xmm2
movsd 0x8(%rsp), %xmm0
ucomisd 0x348e(%rip), %xmm0     # 0x8080
jb 0x4bfd
xorps %xmm1, %xmm1
sqrtsd %xmm0, %xmm1
jmp 0x4c12
movsd %xmm2, 0x10(%rsp)
callq 0x31a0
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 0x74d6(%rip)            # 0xc104
cmpl $0x0, 0x24(%rsp)
je 0x4c4d
incl 0x74cd(%rip)            # 0xc108
movq %r14, %rdi
movq %r13, %rsi
movl $0x179, %edx            # imm = 0x179
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x61c7
movsd 0x8(%rsp), %xmm0
callq 0x3140
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3140
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x4d4e
jp 0x4d4e
leaq 0x38d4(%rip), %rdi      # 0x8562
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6af2
movq %rax, %rbp
incl 0x745d(%rip)            # 0xc104
movq %rax, %rdi
callq 0x64f9
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3140
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x333a(%rip), %xmm0     # 0x8010
ucomisd 0x3362(%rip), %xmm0     # 0x8040
ja 0x4ce6
ucomisd %xmm1, %xmm1
jnp 0x4d21
incl 0x741c(%rip)            # 0xc108
movq %rbp, %rdi
callq 0x64f9
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3140
movapd %xmm0, %xmm1
movq %r12, %rdi
movq %r13, %rsi
movl $0x17a, %edx            # imm = 0x17A
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x73dd(%rip)            # 0xc104
cmpl $0x0, 0x24(%rsp)
je 0x4d46
incl 0x73d4(%rip)            # 0xc108
movq %r14, %rdi
movq %r13, %rsi
movl $0x17a, %edx            # imm = 0x17A
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x61c7
movsd 0x8(%rsp), %xmm0
callq 0x3180
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3180
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x4e47
jp 0x4e47
leaq 0x3818(%rip), %rdi      # 0x859f
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6af2
movq %rax, %rbp
incl 0x7364(%rip)            # 0xc104
movq %rax, %rdi
callq 0x64f9
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3180
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3241(%rip), %xmm0     # 0x8010
ucomisd 0x3269(%rip), %xmm0     # 0x8040
ja 0x4ddf
ucomisd %xmm1, %xmm1
jnp 0x4e1a
incl 0x7323(%rip)            # 0xc108
movq %rbp, %rdi
callq 0x64f9
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3180
movapd %xmm0, %xmm1
movq %r12, %rdi
movq %r13, %rsi
movl $0x17b, %edx            # imm = 0x17B
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x72e4(%rip)            # 0xc104
cmpl $0x0, 0x24(%rsp)
je 0x4e3f
incl 0x72db(%rip)            # 0xc108
movq %r14, %rdi
movq %r13, %rsi
movl $0x17b, %edx            # imm = 0x17B
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x61c7
movabsq $-0x4000000000000000, %rax # imm = 0xC000000000000000
movq %rax, 0x28(%rsp)
movsd 0x3202(%rip), %xmm1     # 0x8060
movsd 0x8(%rsp), %xmm0
movapd %xmm0, %xmm2
andpd 0x31a0(%rip), %xmm2     # 0x8010
movsd 0x31f0(%rip), %xmm3     # 0x8068
ucomisd %xmm2, %xmm3
ja 0x50be
callq 0x3150
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
movsd 0x28(%rsp), %xmm1
callq 0x3150
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x4f87
jp 0x4f87
leaq 0x36eb(%rip), %rdi      # 0x85a6
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6af2
movq %rax, %rbp
incl 0x7230(%rip)            # 0xc104
movq %rax, %rdi
callq 0x64f9
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
movsd 0x28(%rsp), %xmm1
callq 0x3150
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3107(%rip), %xmm0     # 0x8010
ucomisd 0x312f(%rip), %xmm0     # 0x8040
ja 0x4f19
ucomisd %xmm1, %xmm1
jnp 0x4f5a
incl 0x71e9(%rip)            # 0xc108
movq %rbp, %rdi
callq 0x64f9
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
movsd 0x28(%rsp), %xmm1
callq 0x3150
movapd %xmm0, %xmm1
movq %r12, %rdi
movq %r13, %rsi
movl $0x17f, %edx            # imm = 0x17F
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x71a4(%rip)            # 0xc104
cmpl $0x0, 0x24(%rsp)
je 0x4f7f
incl 0x719b(%rip)            # 0xc108
movq %r14, %rdi
movq %r13, %rsi
movl $0x17f, %edx            # imm = 0x17F
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x61c7
movsd 0x8(%rsp), %xmm0
movsd 0x28(%rsp), %xmm1
callq 0x31e0
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
movsd 0x28(%rsp), %xmm1
callq 0x31e0
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x5098
jp 0x5098
leaq 0x35e5(%rip), %rdi      # 0x85b1
movq %rbx, %rsi
movl $0x2, %edx
movq %r15, %rcx
callq 0x6af2
movq %rax, %rbp
incl 0x711f(%rip)            # 0xc104
movq %rax, %rdi
callq 0x64f9
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
movsd 0x28(%rsp), %xmm1
callq 0x31e0
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x2ff6(%rip), %xmm0     # 0x8010
ucomisd 0x301e(%rip), %xmm0     # 0x8040
ja 0x502a
ucomisd %xmm1, %xmm1
jnp 0x506b
incl 0x70d8(%rip)            # 0xc108
movq %rbp, %rdi
callq 0x64f9
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
movsd 0x28(%rsp), %xmm1
callq 0x31e0
movapd %xmm0, %xmm1
movq %r12, %rdi
movq %r13, %rsi
movl $0x180, %edx            # imm = 0x180
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x7093(%rip)            # 0xc104
cmpl $0x0, 0x24(%rsp)
je 0x5090
incl 0x708a(%rip)            # 0xc108
movq %r14, %rdi
movq %r13, %rsi
movl $0x180, %edx            # imm = 0x180
xorl %eax, %eax
callq 0x3090
movq %rbp, %rdi
callq 0x61c7
movsd 0x28(%rsp), %xmm1
addsd 0x2fca(%rip), %xmm1     # 0x8070
movsd %xmm1, 0x28(%rsp)
movsd 0x2fc4(%rip), %xmm0     # 0x8078
ucomisd %xmm1, %xmm0
ja 0x4e5e
movsd 0x8(%rsp), %xmm0
addsd 0x2fa4(%rip), %xmm0     # 0x8070
movsd %xmm0, 0x8(%rsp)
movsd 0x2f76(%rip), %xmm1     # 0x8050
ucomisd %xmm0, %xmm1
ja 0x3ee3
addq $0x78, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq