// File: /workspace/github_cpp_makefile_star2_O1/micahcc[P]polygon_skeleton/./debug.h
// Function: draw_parabola(svg::Document&, double, double, Vector const&, double)
inline
void draw_parabola(svg::Document& doc, double min_x, double max_x,
    const Point& pt, double sweep_y)
{
    size_t h1 = std::hash<double>{}(pt.x);
    size_t h2 = std::hash<double>{}(pt.y);
    size_t r = ((h1 >> 1 ^ h2) & 0x0000FF);
    size_t g = ((h1 >> 1 ^ h2) & 0x00FF00) >> 8;
    size_t b = ((h1 >> 1 ^ h2) & 0xFF0000) >> 16;

    std::ostringstream tmp;
    svg::Color color(r, g, b);

    doc << svg::Circle(svg::Point(pt.x, pt.y), 5, svg::Fill(color));

    tmp << &pt;
    doc << svg::Text(svg::Point(pt.x, pt.y), tmp.str(), svg::Fill(color));

    // line defined by
    // (x - p.x)^2 + (y - p.y)^2 == (y - sweep_y)
    svg::Polyline parabola(svg::Fill(svg::Color::Transparent), svg::Stroke(1, color));
    if(sweep_y == pt.y) {
        for(double y = sweep_y; y < sweep_y + 1000; y += 1) {
            parabola << svg::Point(pt.x, y);
        }
    } else {
        for(double x = min_x; x < max_x; x += 1) {
            double y = 0.5*(pt.x*pt.x + pt.y*pt.y - 2*pt.x*x + x*x - sweep_y*sweep_y)/
                (pt.y - sweep_y);
            parabola << svg::Point(x, y);
        }
    }

    doc << parabola;
    doc.save();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x338, %rsp            # imm = 0x338
movapd %xmm2, -0x80(%rbp)
movq %rsi, %r14
movsd %xmm1, -0x40(%rbp)
movsd %xmm0, -0x30(%rbp)
movq %rdi, %r13
xorps %xmm0, %xmm0
cvtss2sd (%rsi), %xmm0
leaq -0x330(%rbp), %rdi
callq 0xcb2a
movq %rax, %r12
xorps %xmm0, %xmm0
cvtss2sd 0x4(%r14), %xmm0
leaq -0x330(%rbp), %rdi
callq 0xcb2a
movq %rax, %r15
shrq %r12
xorl %r12d, %r15d
leaq -0x330(%rbp), %rdi
callq 0x32b0
movl $0xff, %eax
movl %r15d, %r12d
andl %eax, %r12d
movl %r15d, %ebx
shrl $0x8, %ebx
andl %eax, %ebx
shrl $0x10, %r15d
andl %eax, %r15d
xorps %xmm0, %xmm0
cvtss2sd (%r14), %xmm0
xorps %xmm1, %xmm1
cvtss2sd 0x4(%r14), %xmm1
leaq 0x7462(%rip), %rax      # 0x13a28
leaq -0x1b8(%rbp), %rsi
movq %rax, 0x8(%rsi)
leaq 0x74a0(%rip), %rax      # 0x13a78
movq %rax, 0x10(%rsi)
movb $0x0, 0x18(%rsi)
movl %r12d, 0x1c(%rsi)
movl %ebx, 0x20(%rsi)
movl %r15d, 0x24(%rsi)
leaq 0x74c6(%rip), %rcx      # 0x13ab8
movq %rcx, 0x28(%rsi)
movabsq $-0x4010000000000000, %rcx # imm = 0xBFF0000000000000
movq %rcx, 0x30(%rsi)
movq %rax, 0x38(%rsi)
movb $0x1, 0x40(%rsi)
xorl %eax, %eax
movq %rax, 0x44(%rsi)
movq %rax, 0x49(%rsi)
leaq 0x74db(%rip), %rax      # 0x13af8
movq %rax, (%rsi)
movsd %xmm0, 0x58(%rsi)
movsd %xmm1, 0x60(%rsi)
movabsq $0x4004000000000000, %rax # imm = 0x4004000000000000
movq %rax, 0x68(%rsi)
movq %r13, -0x38(%rbp)
movq %r13, %rdi
callq 0x3c1a
leaq -0x330(%rbp), %rdi
movq %r14, %rsi
callq 0x31b0
xorps %xmm0, %xmm0
cvtss2sd (%r14), %xmm0
xorps %xmm1, %xmm1
cvtss2sd 0x4(%r14), %xmm1
movsd %xmm0, -0xd0(%rbp)
movsd %xmm1, -0xc8(%rbp)
leaq -0x328(%rbp), %rsi
leaq -0x100(%rbp), %rdi
callq 0x3320
leaq 0x739a(%rip), %rax      # 0x13a28
movq %rax, -0xc0(%rbp)
leaq 0x73dc(%rip), %rax      # 0x13a78
movq %rax, -0xb8(%rbp)
movb $0x0, -0xb0(%rbp)
movl %r12d, %r13d
movl %r12d, -0xac(%rbp)
movl %ebx, -0xa8(%rbp)
movl %r15d, -0xa4(%rbp)
leaq -0x90(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x360f(%rip), %rsi      # 0xfce2
leaq 0x360f(%rip), %rdx      # 0xfce9
leaq -0xa0(%rbp), %rdi
callq 0x63aa
leaq 0x74e3(%rip), %r12      # 0x13bd0
leaq -0x60(%rbp), %rdi
movq %r12, -0x10(%rdi)
movabsq $0x4028000000000000, %rax # imm = 0x4028000000000000
movq %rax, -0x8(%rdi)
leaq -0x50(%rbp), %rax
movq %rax, -0x10(%rax)
movq -0xa0(%rbp), %rsi
movq -0x98(%rbp), %rdx
addq %rsi, %rdx
callq 0x3e12
leaq -0x360(%rbp), %r9
leaq 0x7389(%rip), %rax      # 0x13ab8
movq %rax, (%r9)
movabsq $-0x4010000000000000, %rax # imm = 0xBFF0000000000000
movq %rax, 0x8(%r9)
leaq 0x7331(%rip), %rax      # 0x13a78
movq %rax, 0x10(%r9)
movb $0x1, 0x18(%r9)
xorl %eax, %eax
movq %rax, 0x1c(%r9)
movq %rax, 0x21(%r9)
leaq -0x1b8(%rbp), %rdi
leaq -0xd0(%rbp), %rsi
leaq -0x100(%rbp), %rdx
leaq -0xc0(%rbp), %rcx
leaq -0x70(%rbp), %r8
callq 0xcb68
leaq -0x1b8(%rbp), %rsi
movq -0x38(%rbp), %rdi
callq 0x3c1a
leaq 0x747a(%rip), %rax      # 0x13c10
leaq -0x110(%rbp), %rcx
movq %rax, -0xa8(%rcx)
movq %r12, -0x20(%rcx)
movq -0x10(%rcx), %rdi
cmpq %rcx, %rdi
je 0xc7b6
callq 0x3220
leaq -0x140(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xc7cb
callq 0x3220
movq %r12, -0x70(%rbp)
movq -0x60(%rbp), %rdi
leaq -0x50(%rbp), %rax
cmpq %rax, %rdi
je 0xc7e1
callq 0x3220
movq -0xa0(%rbp), %rdi
leaq -0x90(%rbp), %rax
cmpq %rax, %rdi
je 0xc7f9
callq 0x3220
leaq -0xf0(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xc80e
callq 0x3220
leaq -0x160(%rbp), %r12
leaq 0x720c(%rip), %rax      # 0x13a28
movq %rax, -0x50(%r12)
leaq 0x7250(%rip), %rdx      # 0x13a78
movq %rdx, -0x48(%r12)
movb $0x1, -0x40(%r12)
xorl %eax, %eax
movq %rax, -0x3c(%r12)
movl $0x0, -0x34(%r12)
leaq 0x726e(%rip), %rcx      # 0x13ab8
movq %rcx, -0x30(%r12)
movabsq $0x3ff0000000000000, %rcx # imm = 0x3FF0000000000000
movq %rcx, -0x28(%r12)
movq %rdx, -0x20(%r12)
movb %al, -0x18(%r12)
movl %r13d, -0x14(%r12)
movl %ebx, -0x10(%r12)
movl %r15d, -0xc(%r12)
movb %al, -0x8(%r12)
leaq 0x73d5(%rip), %r13      # 0x13c58
movq %r13, -0x58(%r12)
xorps %xmm0, %xmm0
movups %xmm0, (%r12)
movq %rax, 0x10(%r12)
xorps %xmm0, %xmm0
cvtss2sd 0x4(%r14), %xmm0
movapd -0x80(%rbp), %xmm4
ucomisd %xmm4, %xmm0
jne 0xc92e
jp 0xc92e
movsd 0x29d9(%rip), %xmm0     # 0xf290
addsd %xmm4, %xmm0
movsd %xmm0, -0x30(%rbp)
ucomisd %xmm4, %xmm0
jbe 0xca18
leaq -0x70(%rbp), %r15
xorps %xmm0, %xmm0
cvtss2sd (%r14), %xmm0
movsd %xmm0, -0x70(%rbp)
movapd %xmm4, -0x80(%rbp)
movsd %xmm4, -0x68(%rbp)
movq -0x158(%rbp), %rsi
cmpq -0x150(%rbp), %rsi
je 0xc906
movups -0x70(%rbp), %xmm0
movups %xmm0, (%rsi)
addq $0x10, -0x158(%rbp)
jmp 0xc911
movq %r12, %rdi
movq %r15, %rdx
callq 0xd9ba
movapd -0x80(%rbp), %xmm4
addsd 0x296a(%rip), %xmm4     # 0xf288
movsd -0x30(%rbp), %xmm0
ucomisd %xmm4, %xmm0
ja 0xc8ce
jmp 0xca18
movsd -0x40(%rbp), %xmm0
movsd -0x30(%rbp), %xmm5
ucomisd %xmm5, %xmm0
jbe 0xca18
movapd 0x2976(%rip), %xmm0     # 0xf2c0
xorpd %xmm4, %xmm0
mulsd %xmm4, %xmm0
movapd %xmm0, -0xe0(%rbp)
leaq -0x70(%rbp), %r15
movss (%r14), %xmm0
movss 0x4(%r14), %xmm1
xorps %xmm2, %xmm2
cvtss2sd %xmm1, %xmm2
mulss %xmm1, %xmm1
movaps %xmm0, %xmm3
mulss %xmm0, %xmm3
addss %xmm1, %xmm3
xorps %xmm1, %xmm1
cvtss2sd %xmm3, %xmm1
addss %xmm0, %xmm0
cvtss2sd %xmm0, %xmm0
mulsd %xmm5, %xmm0
subsd %xmm0, %xmm1
movapd %xmm5, %xmm0
mulsd %xmm5, %xmm0
addsd %xmm1, %xmm0
addsd -0xe0(%rbp), %xmm0
mulsd 0x288e(%rip), %xmm0     # 0xf240
subsd %xmm4, %xmm2
divsd %xmm2, %xmm0
movsd %xmm5, -0x30(%rbp)
movsd %xmm5, -0x70(%rbp)
movsd %xmm0, -0x68(%rbp)
movq -0x158(%rbp), %rsi
cmpq -0x150(%rbp), %rsi
je 0xc9ec
movupd -0x70(%rbp), %xmm0
movupd %xmm0, (%rsi)
addq $0x10, -0x158(%rbp)
jmp 0xc9f7
movq %r12, %rdi
movq %r15, %rdx
callq 0xd9ba
movsd -0x30(%rbp), %xmm5
addsd 0x2884(%rip), %xmm5     # 0xf288
movsd -0x40(%rbp), %xmm0
ucomisd %xmm5, %xmm0
movapd -0x80(%rbp), %xmm4
ja 0xc95e
leaq -0x1b8(%rbp), %rsi
movq -0x38(%rbp), %rbx
movq %rbx, %rdi
callq 0x3c1a
movq %rbx, %rdi
callq 0x3ce8
movq %r13, -0x1b8(%rbp)
movq -0x160(%rbp), %rdi
testq %rdi, %rdi
je 0xca4b
callq 0x3220
movq 0x7576(%rip), %rsi      # 0x13fc8
leaq -0x330(%rbp), %rdi
callq 0x3100
leaq -0x2c0(%rbp), %rdi
callq 0x3090
addq $0x338, %rsp            # imm = 0x338
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq -0x1b8(%rbp), %rdi
callq 0xcc5c
jmp 0xca90
movq %rax, %rbx
movq %r12, -0x70(%rbp)
movq -0x60(%rbp), %rdi
leaq -0x50(%rbp), %rax
cmpq %rax, %rdi
je 0xcaab
callq 0x3220
jmp 0xcaab
movq %rax, %rbx
movq -0xa0(%rbp), %rdi
leaq -0x90(%rbp), %rax
cmpq %rax, %rdi
je 0xcac8
callq 0x3220
jmp 0xcac8
movq %rax, %rbx
leaq -0xf0(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
jne 0xcafd
jmp 0xcb02
jmp 0xcade
jmp 0xcade
movq %rax, %rbx
jmp 0xcb02
jmp 0xcae7
jmp 0xcae7
movq %rax, %rbx
movq %r13, -0x1b8(%rbp)
movq -0x160(%rbp), %rdi
testq %rdi, %rdi
je 0xcb02
callq 0x3220
movq 0x74bf(%rip), %rsi      # 0x13fc8
leaq -0x330(%rbp), %rdi
callq 0x3100
leaq -0x2c0(%rbp), %rdi
callq 0x3090
movq %rbx, %rdi
callq 0x3390
nop