// File: /workspace/github_c_makefile_star2_O2/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 0x4626(%rip), %rax      # 0x8597
leaq 0x30(%rsp), %rbx
movq %rax, (%rbx)
leaq 0x8(%rsp), %rax
movq %rax, 0x8(%rbx)
andl $0x0, 0x10(%rbx)
andq $0x0, 0x18(%rbx)
leaq 0x459a(%rip), %rax      # 0x852c
movq %rax, 0x20(%rbx)
leaq 0x28(%rsp), %rax
movq %rax, 0x28(%rbx)
andl $0x0, 0x30(%rbx)
andq $0x0, 0x38(%rbx)
movsd 0x40b8(%rip), %xmm0     # 0x8068
pushq $0x2
popq %rbp
leaq 0x24(%rsp), %r15
leaq 0x4404(%rip), %r13      # 0x83c3
leaq 0x43ef(%rip), %r14      # 0x83b5
movsd %xmm0, 0x8(%rsp)
movsd 0x408c(%rip), %xmm1     # 0x8060
ucomisd %xmm0, %xmm1
jbe 0x51de
leaq 0x4570(%rip), %rdi      # 0x8555
movq %rbx, %rsi
movl %ebp, %edx
movq %r15, %rcx
callq 0x6b26
movq %rax, %r12
incl 0x8101(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x652d
movsd 0x8(%rsp), %xmm1
movapd 0x3fff(%rip), %xmm2     # 0x8010
andpd %xmm2, %xmm1
subsd %xmm1, %xmm0
movapd %xmm0, %xmm1
andpd %xmm2, %xmm1
ucomisd 0x4017(%rip), %xmm1     # 0x8040
ja 0x4031
ucomisd %xmm0, %xmm0
jnp 0x4063
incl 0x80c9(%rip)            # 0xc100
movq %r12, %rdi
callq 0x652d
movsd 0x8(%rsp), %xmm1
andpd 0x3fc3(%rip), %xmm1     # 0x8010
leaq 0x4377(%rip), %rdi      # 0x83cb
movq %r13, %rsi
movl $0x16c, %edx            # imm = 0x16C
movb $0x2, %al
callq 0x3090
incl 0x8093(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x4088
incl 0x808a(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x16c, %edx            # imm = 0x16C
xorl %eax, %eax
callq 0x3090
movq %r12, %rdi
callq 0x6224
movsd 0x8(%rsp), %xmm0
callq 0x30c0
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30c0
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x418a
jp 0x418a
leaq 0x4492(%rip), %rdi      # 0x855b
movq %rbx, %rsi
movl %ebp, %edx
movq %r15, %rcx
callq 0x6b26
movq %rax, %r12
incl 0x801d(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x652d
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30c0
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 0x415d
incl 0x7fdc(%rip)            # 0xc100
movq %r12, %rdi
callq 0x652d
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30c0
movapd %xmm0, %xmm1
leaq 0x4283(%rip), %rdi      # 0x83cb
movq %r13, %rsi
movl $0x16d, %edx            # imm = 0x16D
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x7f99(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x4182
incl 0x7f90(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x16d, %edx            # imm = 0x16D
xorl %eax, %eax
callq 0x3090
movq %r12, %rdi
callq 0x6224
movsd 0x8(%rsp), %xmm0
callq 0x3180
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3180
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x4284
jp 0x4284
leaq 0x439f(%rip), %rdi      # 0x8562
movq %rbx, %rsi
movl %ebp, %edx
movq %r15, %rcx
callq 0x6b26
movq %rax, %r12
incl 0x7f23(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x652d
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3180
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3e08(%rip), %xmm0     # 0x8010
ucomisd 0x3e30(%rip), %xmm0     # 0x8040
ja 0x4218
ucomisd %xmm1, %xmm1
jnp 0x4257
incl 0x7ee2(%rip)            # 0xc100
movq %r12, %rdi
callq 0x652d
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3180
movapd %xmm0, %xmm1
leaq 0x4189(%rip), %rdi      # 0x83cb
movq %r13, %rsi
movl $0x16e, %edx            # imm = 0x16E
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x7e9f(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x427c
incl 0x7e96(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x16e, %edx            # imm = 0x16E
xorl %eax, %eax
callq 0x3090
movq %r12, %rdi
callq 0x6224
movsd 0x8(%rsp), %xmm0
callq 0x3070
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3070
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x437e
jp 0x437e
leaq 0x42ac(%rip), %rdi      # 0x8569
movq %rbx, %rsi
movl %ebp, %edx
movq %r15, %rcx
callq 0x6b26
movq %rax, %r12
incl 0x7e29(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x652d
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3070
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3d0e(%rip), %xmm0     # 0x8010
ucomisd 0x3d36(%rip), %xmm0     # 0x8040
ja 0x4312
ucomisd %xmm1, %xmm1
jnp 0x4351
incl 0x7de8(%rip)            # 0xc100
movq %r12, %rdi
callq 0x652d
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3070
movapd %xmm0, %xmm1
leaq 0x408f(%rip), %rdi      # 0x83cb
movq %r13, %rsi
movl $0x16f, %edx            # imm = 0x16F
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x7da5(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x4376
incl 0x7d9c(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x16f, %edx            # imm = 0x16F
xorl %eax, %eax
callq 0x3090
movq %r12, %rdi
callq 0x6224
movsd 0x8(%rsp), %xmm0
movsd %xmm0, 0x10(%rsp)
callq 0x31a0
ucomisd %xmm0, %xmm0
movsd 0x10(%rsp), %xmm0
jp 0x446c
leaq 0x41ca(%rip), %rdi      # 0x8570
movq %rbx, %rsi
movl %ebp, %edx
movq %r15, %rcx
callq 0x6b26
movq %rax, %r12
incl 0x7d40(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x652d
movaps %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x31a0
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3c26(%rip), %xmm0     # 0x8010
ucomisd 0x3c4e(%rip), %xmm0     # 0x8040
ja 0x43fa
ucomisd %xmm1, %xmm1
jnp 0x4439
incl 0x7d00(%rip)            # 0xc100
movq %r12, %rdi
callq 0x652d
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x31a0
movapd %xmm0, %xmm1
leaq 0x3fa7(%rip), %rdi      # 0x83cb
movq %r13, %rsi
movl $0x170, %edx            # imm = 0x170
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x7cbd(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x445e
incl 0x7cb4(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x170, %edx            # imm = 0x170
xorl %eax, %eax
callq 0x3090
movq %r12, %rdi
callq 0x6224
movsd 0x8(%rsp), %xmm0
callq 0x30b0
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30b0
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x4560
jp 0x4560
leaq 0x40bd(%rip), %rdi      # 0x855c
movq %rbx, %rsi
movl %ebp, %edx
movq %r15, %rcx
callq 0x6b26
movq %rax, %r12
incl 0x7c47(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x652d
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30b0
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3b2c(%rip), %xmm0     # 0x8010
ucomisd 0x3b54(%rip), %xmm0     # 0x8040
ja 0x44f4
ucomisd %xmm1, %xmm1
jnp 0x4533
incl 0x7c06(%rip)            # 0xc100
movq %r12, %rdi
callq 0x652d
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30b0
movapd %xmm0, %xmm1
leaq 0x3ead(%rip), %rdi      # 0x83cb
movq %r13, %rsi
movl $0x171, %edx            # imm = 0x171
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x7bc3(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x4558
incl 0x7bba(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x171, %edx            # imm = 0x171
xorl %eax, %eax
callq 0x3090
movq %r12, %rdi
callq 0x6224
movsd 0x8(%rsp), %xmm0
callq 0x3100
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3100
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x465a
jp 0x465a
leaq 0x3fde(%rip), %rdi      # 0x8577
movq %rbx, %rsi
movl %ebp, %edx
movq %r15, %rcx
callq 0x6b26
movq %rax, %r12
incl 0x7b4d(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x652d
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3100
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3a32(%rip), %xmm0     # 0x8010
ucomisd 0x3a5a(%rip), %xmm0     # 0x8040
ja 0x45ee
ucomisd %xmm1, %xmm1
jnp 0x462d
incl 0x7b0c(%rip)            # 0xc100
movq %r12, %rdi
callq 0x652d
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3100
movapd %xmm0, %xmm1
leaq 0x3db3(%rip), %rdi      # 0x83cb
movq %r13, %rsi
movl $0x172, %edx            # imm = 0x172
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x7ac9(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x4652
incl 0x7ac0(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x172, %edx            # imm = 0x172
xorl %eax, %eax
callq 0x3090
movq %r12, %rdi
callq 0x6224
movsd 0x8(%rsp), %xmm0
callq 0x31b0
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x31b0
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x4754
jp 0x4754
leaq 0x3eeb(%rip), %rdi      # 0x857e
movq %rbx, %rsi
movl %ebp, %edx
movq %r15, %rcx
callq 0x6b26
movq %rax, %r12
incl 0x7a53(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x652d
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x31b0
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3938(%rip), %xmm0     # 0x8010
ucomisd 0x3960(%rip), %xmm0     # 0x8040
ja 0x46e8
ucomisd %xmm1, %xmm1
jnp 0x4727
incl 0x7a12(%rip)            # 0xc100
movq %r12, %rdi
callq 0x652d
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x31b0
movapd %xmm0, %xmm1
leaq 0x3cb9(%rip), %rdi      # 0x83cb
movq %r13, %rsi
movl $0x173, %edx            # imm = 0x173
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x79cf(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x474c
incl 0x79c6(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x173, %edx            # imm = 0x173
xorl %eax, %eax
callq 0x3090
movq %r12, %rdi
callq 0x6224
movsd 0x8(%rsp), %xmm0
movsd %xmm0, 0x10(%rsp)
callq 0x3160
ucomisd %xmm0, %xmm0
movsd 0x10(%rsp), %xmm0
jp 0x4842
leaq 0x3e08(%rip), %rdi      # 0x8584
movq %rbx, %rsi
movl %ebp, %edx
movq %r15, %rcx
callq 0x6b26
movq %rax, %r12
incl 0x796a(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x652d
movaps %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3160
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3850(%rip), %xmm0     # 0x8010
ucomisd 0x3878(%rip), %xmm0     # 0x8040
ja 0x47d0
ucomisd %xmm1, %xmm1
jnp 0x480f
incl 0x792a(%rip)            # 0xc100
movq %r12, %rdi
callq 0x652d
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3160
movapd %xmm0, %xmm1
leaq 0x3bd1(%rip), %rdi      # 0x83cb
movq %r13, %rsi
movl $0x174, %edx            # imm = 0x174
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x78e7(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x4834
incl 0x78de(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x174, %edx            # imm = 0x174
xorl %eax, %eax
callq 0x3090
movq %r12, %rdi
callq 0x6224
movsd 0x8(%rsp), %xmm0
callq 0x30a0
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30a0
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x4936
jp 0x4936
leaq 0x3d17(%rip), %rdi      # 0x858c
movq %rbx, %rsi
movl %ebp, %edx
movq %r15, %rcx
callq 0x6b26
movq %rax, %r12
incl 0x7871(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x652d
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30a0
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3756(%rip), %xmm0     # 0x8010
ucomisd 0x377e(%rip), %xmm0     # 0x8040
ja 0x48ca
ucomisd %xmm1, %xmm1
jnp 0x4909
incl 0x7830(%rip)            # 0xc100
movq %r12, %rdi
callq 0x652d
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30a0
movapd %xmm0, %xmm1
leaq 0x3ad7(%rip), %rdi      # 0x83cb
movq %r13, %rsi
movl $0x175, %edx            # imm = 0x175
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x77ed(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x492e
incl 0x77e4(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x175, %edx            # imm = 0x175
xorl %eax, %eax
callq 0x3090
movq %r12, %rdi
callq 0x6224
movsd 0x8(%rsp), %xmm0
callq 0x30e0
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30e0
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x4a30
jp 0x4a30
leaq 0x3c22(%rip), %rdi      # 0x8591
movq %rbx, %rsi
movl %ebp, %edx
movq %r15, %rcx
callq 0x6b26
movq %rax, %r12
incl 0x7777(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x652d
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30e0
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x365c(%rip), %xmm0     # 0x8010
ucomisd 0x3684(%rip), %xmm0     # 0x8040
ja 0x49c4
ucomisd %xmm1, %xmm1
jnp 0x4a03
incl 0x7736(%rip)            # 0xc100
movq %r12, %rdi
callq 0x652d
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x30e0
movapd %xmm0, %xmm1
leaq 0x39dd(%rip), %rdi      # 0x83cb
movq %r13, %rsi
movl $0x176, %edx            # imm = 0x176
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x76f3(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x4a28
incl 0x76ea(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x176, %edx            # imm = 0x176
xorl %eax, %eax
callq 0x3090
movq %r12, %rdi
callq 0x6224
movsd 0x8(%rsp), %xmm0
callq 0x3150
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3150
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x4b2a
jp 0x4b2a
leaq 0x3afa(%rip), %rdi      # 0x8563
movq %rbx, %rsi
movl %ebp, %edx
movq %r15, %rcx
callq 0x6b26
movq %rax, %r12
incl 0x767d(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x652d
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3150
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3562(%rip), %xmm0     # 0x8010
ucomisd 0x358a(%rip), %xmm0     # 0x8040
ja 0x4abe
ucomisd %xmm1, %xmm1
jnp 0x4afd
incl 0x763c(%rip)            # 0xc100
movq %r12, %rdi
callq 0x652d
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3150
movapd %xmm0, %xmm1
leaq 0x38e3(%rip), %rdi      # 0x83cb
movq %r13, %rsi
movl $0x177, %edx            # imm = 0x177
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x75f9(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x4b22
incl 0x75f0(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x177, %edx            # imm = 0x177
xorl %eax, %eax
callq 0x3090
movq %r12, %rdi
callq 0x6224
movsd 0x8(%rsp), %xmm0
callq 0x3110
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3110
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x4c24
jp 0x4c24
leaq 0x3a36(%rip), %rdi      # 0x8599
movq %rbx, %rsi
movl %ebp, %edx
movq %r15, %rcx
callq 0x6b26
movq %rax, %r12
incl 0x7583(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x652d
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3110
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3468(%rip), %xmm0     # 0x8010
ucomisd 0x3490(%rip), %xmm0     # 0x8040
ja 0x4bb8
ucomisd %xmm1, %xmm1
jnp 0x4bf7
incl 0x7542(%rip)            # 0xc100
movq %r12, %rdi
callq 0x652d
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3110
movapd %xmm0, %xmm1
leaq 0x37e9(%rip), %rdi      # 0x83cb
movq %r13, %rsi
movl $0x178, %edx            # imm = 0x178
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x74ff(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x4c1c
incl 0x74f6(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x178, %edx            # imm = 0x178
xorl %eax, %eax
callq 0x3090
movq %r12, %rdi
callq 0x6224
movsd 0x8(%rsp), %xmm0
ucomisd 0x3456(%rip), %xmm0     # 0x8088
jb 0x4c3a
sqrtsd %xmm0, %xmm1
jmp 0x4c43
callq 0x3190
movapd %xmm0, %xmm1
movsd 0x8(%rsp), %xmm0
ucomisd 0x3437(%rip), %xmm0     # 0x8088
jb 0x4c59
sqrtsd %xmm0, %xmm0
jmp 0x4c6a
movsd %xmm1, 0x10(%rsp)
callq 0x3190
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x4d6e
jp 0x4d6e
leaq 0x391f(%rip), %rdi      # 0x85a0
movq %rbx, %rsi
movl %ebp, %edx
movq %r15, %rcx
callq 0x6b26
movq %rax, %r12
incl 0x7465(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x652d
movapd %xmm0, %xmm1
movsd 0x8(%rsp), %xmm0
ucomisd 0x33d7(%rip), %xmm0     # 0x8088
jb 0x4cb9
sqrtsd %xmm0, %xmm0
jmp 0x4cca
movapd %xmm1, 0x10(%rsp)
callq 0x3190
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3336(%rip), %xmm0     # 0x8010
ucomisd 0x335e(%rip), %xmm0     # 0x8040
ja 0x4cea
ucomisd %xmm1, %xmm1
jnp 0x4d41
incl 0x7410(%rip)            # 0xc100
movq %r12, %rdi
callq 0x652d
movapd %xmm0, %xmm2
movsd 0x8(%rsp), %xmm0
ucomisd 0x337e(%rip), %xmm0     # 0x8088
jb 0x4d12
sqrtsd %xmm0, %xmm1
jmp 0x4d27
movsd %xmm2, 0x10(%rsp)
callq 0x3190
movsd 0x10(%rsp), %xmm2
movapd %xmm0, %xmm1
leaq 0x369d(%rip), %rdi      # 0x83cb
movq %r13, %rsi
movl $0x179, %edx            # imm = 0x179
movapd %xmm2, %xmm0
movb $0x2, %al
callq 0x3090
incl 0x73b5(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x4d66
incl 0x73ac(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x179, %edx            # imm = 0x179
xorl %eax, %eax
callq 0x3090
movq %r12, %rdi
callq 0x6224
movsd 0x8(%rsp), %xmm0
callq 0x3130
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3130
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x4e68
jp 0x4e68
leaq 0x37c3(%rip), %rdi      # 0x856a
movq %rbx, %rsi
movl %ebp, %edx
movq %r15, %rcx
callq 0x6b26
movq %rax, %r12
incl 0x733f(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x652d
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3130
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x3224(%rip), %xmm0     # 0x8010
ucomisd 0x324c(%rip), %xmm0     # 0x8040
ja 0x4dfc
ucomisd %xmm1, %xmm1
jnp 0x4e3b
incl 0x72fe(%rip)            # 0xc100
movq %r12, %rdi
callq 0x652d
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3130
movapd %xmm0, %xmm1
leaq 0x35a5(%rip), %rdi      # 0x83cb
movq %r13, %rsi
movl $0x17a, %edx            # imm = 0x17A
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x72bb(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x4e60
incl 0x72b2(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x17a, %edx            # imm = 0x17A
xorl %eax, %eax
callq 0x3090
movq %r12, %rdi
callq 0x6224
movsd 0x8(%rsp), %xmm0
callq 0x3170
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3170
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x4f62
jp 0x4f62
leaq 0x3706(%rip), %rdi      # 0x85a7
movq %rbx, %rsi
movl %ebp, %edx
movq %r15, %rcx
callq 0x6b26
movq %rax, %r12
incl 0x7245(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x652d
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3170
movapd 0x10(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
andpd 0x312a(%rip), %xmm0     # 0x8010
ucomisd 0x3152(%rip), %xmm0     # 0x8040
ja 0x4ef6
ucomisd %xmm1, %xmm1
jnp 0x4f35
incl 0x7204(%rip)            # 0xc100
movq %r12, %rdi
callq 0x652d
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x3170
movapd %xmm0, %xmm1
leaq 0x34ab(%rip), %rdi      # 0x83cb
movq %r13, %rsi
movl $0x17b, %edx            # imm = 0x17B
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x71c1(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x4f5a
incl 0x71b8(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x17b, %edx            # imm = 0x17B
xorl %eax, %eax
callq 0x3090
movq %r12, %rdi
callq 0x6224
movsd 0x3106(%rip), %xmm1     # 0x8070
movsd %xmm1, 0x28(%rsp)
movsd 0x30d8(%rip), %xmm0     # 0x8050
ucomisd %xmm1, %xmm0
movsd 0x8(%rsp), %xmm0
jbe 0x51d1
movapd %xmm0, %xmm2
andpd 0x307c(%rip), %xmm2     # 0x8010
movsd 0x30dc(%rip), %xmm3     # 0x8078
ucomisd %xmm2, %xmm3
ja 0x51d1
callq 0x3140
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
movsd 0x28(%rsp), %xmm1
callq 0x3140
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x50ac
jp 0x50ac
leaq 0x35cf(%rip), %rdi      # 0x85ae
movq %rbx, %rsi
movl %ebp, %edx
movq %r15, %rcx
callq 0x6b26
movq %rax, %r12
incl 0x7107(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x652d
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 0x2fe6(%rip), %xmm0     # 0x8010
ucomisd 0x300e(%rip), %xmm0     # 0x8040
ja 0x503a
ucomisd %xmm1, %xmm1
jnp 0x507f
incl 0x70c0(%rip)            # 0xc100
movq %r12, %rdi
callq 0x652d
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
movsd 0x28(%rsp), %xmm1
callq 0x3140
movapd %xmm0, %xmm1
leaq 0x3361(%rip), %rdi      # 0x83cb
movq %r13, %rsi
movl $0x17f, %edx            # imm = 0x17F
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x7077(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x50a4
incl 0x706e(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x17f, %edx            # imm = 0x17F
xorl %eax, %eax
callq 0x3090
movq %r12, %rdi
callq 0x6224
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 0x51be
jp 0x51be
leaq 0x34c8(%rip), %rdi      # 0x85b9
movq %rbx, %rsi
movl %ebp, %edx
movq %r15, %rcx
callq 0x6b26
movq %rax, %r12
incl 0x6ff5(%rip)            # 0xc0fc
movq %rax, %rdi
callq 0x652d
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 0x2ed4(%rip), %xmm0     # 0x8010
ucomisd 0x2efc(%rip), %xmm0     # 0x8040
ja 0x514c
ucomisd %xmm1, %xmm1
jnp 0x5191
incl 0x6fae(%rip)            # 0xc100
movq %r12, %rdi
callq 0x652d
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
movsd 0x28(%rsp), %xmm1
callq 0x31d0
movapd %xmm0, %xmm1
leaq 0x324f(%rip), %rdi      # 0x83cb
movq %r13, %rsi
movl $0x180, %edx            # imm = 0x180
movsd 0x10(%rsp), %xmm0
movb $0x2, %al
callq 0x3090
incl 0x6f65(%rip)            # 0xc0fc
cmpl $0x0, 0x24(%rsp)
je 0x51b6
incl 0x6f5c(%rip)            # 0xc100
movq %r14, %rdi
movq %r13, %rsi
movl $0x180, %edx            # imm = 0x180
xorl %eax, %eax
callq 0x3090
movq %r12, %rdi
callq 0x6224
movsd 0x28(%rsp), %xmm1
addsd 0x2eb4(%rip), %xmm1     # 0x8080
jmp 0x4f6a
addsd 0x2ea7(%rip), %xmm0     # 0x8080
jmp 0x3fc6
addq $0x78, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq