LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O3/georgeweigt[P]eigenmath/eigenmath.c
// Function: infixform_expr
void
infixform_expr(struct atom *p)
{
	if (isnegativeterm(p) || (car(p) == symbol(ADD) && isnegativeterm(cadr(p))))
		outbuf_puts("-");
	if (car(p) == symbol(ADD))
		infixform_expr_nib(p);
	else
		infixform_term(p);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rdi, %rbx
callq 0xac49
leaq 0x2f5b9(%rip), %r14     # 0x45a00
testl %eax, %eax
je 0x16464
leaq 0x13f8a(%rip), %rdi     # 0x2a3dc
callq 0x16573
movb 0x10(%rbx), %r15b
movq 0x31e3e(%rip), %r12     # 0x482a0
jmp 0x16485
movb 0x10(%rbx), %r15b
cmpb $0x1, %r15b
movq %r14, %rax
cmoveq %rbx, %rax
movq (%rax), %r12
movq 0x31e23(%rip), %rax     # 0x482a0
cmpq %rax, %r12
je 0x164b2
movq %rax, %r12
cmpb $0x1, %r15b
cmoveq %rbx, %r14
cmpq %r12, (%r14)
je 0x164a2
movq %rbx, %rdi
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x16704
movq %rbx, %rdi
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x16658
leaq 0x8(%rbx), %rax
cmpb $0x1, %r15b
cmovneq %r14, %rax
movq (%rax), %rax
cmpb $0x1, 0x10(%rax)
cmovneq %r14, %rax
movq (%rax), %rdi
callq 0xac49
testl %eax, %eax
jne 0x1644b
jmp 0x16485
// File: /workspace/github_c_makefile_star2_O3/georgeweigt[P]eigenmath/eigenmath.c
// Function: push_string
void
push_string(char *s)
{
	struct atom *p;
	p = alloc_str();
	s = strdup(s);
	if (s == NULL)
		exit(1);
	p->u.str = s;
	push(p);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rdi, %r14
callq 0x74dc
movq %rax, %rbx
movb $0x6, 0x10(%rax)
movq $0x0, (%rax)
incl 0x2cc4e(%rip)           # 0x4314c
movq %r14, %rdi
callq 0x7350
testq %rax, %rax
je 0x1651a
movq %rax, (%rbx)
movq %rbx, %rdi
popq %rbx
popq %r14
popq %rbp
jmp 0x8ba5
movl $0x1, %edi
callq 0x7330
// File: /workspace/github_c_makefile_star2_O3/georgeweigt[P]eigenmath/eigenmath.c
// Function: print_infixform
void
print_infixform(struct atom *p)
{
	outbuf_init();
	infixform_expr(p);
	outbuf_puts("\n");
	printbuf(outbuf, BLACK);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
movl $0x0, 0x1002c1(%rip)    # 0x1167f8
leaq 0x189ad(%rip), %rdi     # 0x2eeeb
callq 0x16573
movq %rbx, %rdi
callq 0x1642d
leaq 0x18998(%rip), %rdi     # 0x2eeea
callq 0x16573
movq 0xffe6a(%rip), %rdi     # 0x1163c8
movq 0x21a6b(%rip), %rax     # 0x37fd0
movq (%rax), %rsi
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x7120
// File: /workspace/github_c_makefile_star2_O3/georgeweigt[P]eigenmath/eigenmath.c
// Function: outbuf_puts
void
outbuf_puts(char *s)
{
	int len, m;

	len = (int) strlen(s);

	// Let outbuf_index + len == 1000

	// Then m == 2000 hence there is always room for the terminator '\0'

	m = 1000 * ((outbuf_index + len) / 1000 + 1); // m is a multiple of 1000

	if (m > outbuf_length) {
		outbuf = realloc(outbuf, m);
		if (outbuf == NULL)
			exit(1);
		outbuf_length = m;
	}

	strcpy(outbuf + outbuf_index, s);
	outbuf_index += len;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
callq 0x70e0
movq %rax, %r14
movl 0x10026a(%rip), %ecx    # 0x1167f8
movl %ecx, %eax
addl %r14d, %eax
cltq
imulq $0x10624dd3, %rax, %rax # imm = 0x10624DD3
movq %rax, %rdx
shrq $0x3f, %rdx
sarq $0x26, %rax
addl %edx, %eax
imull $0x3e8, %eax, %r15d     # imm = 0x3E8
addl $0x3e8, %r15d           # imm = 0x3E8
movq 0xffe0a(%rip), %rax     # 0x1163c8
cmpl 0x100237(%rip), %r15d   # 0x1167fc
jle 0x165eb
movslq %r15d, %rsi
movq %rax, %rdi
callq 0x72c0
movq %rax, 0xffdef(%rip)     # 0x1163c8
testq %rax, %rax
je 0x1660b
movl %r15d, 0x100217(%rip)   # 0x1167fc
movl 0x10020d(%rip), %ecx    # 0x1167f8
movslq %ecx, %rdi
addq %rax, %rdi
movq %rbx, %rsi
callq 0x7090
addl %r14d, 0x1001f8(%rip)   # 0x1167f8
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
movl $0x1, %edi
callq 0x7330
// File: /workspace/github_c_makefile_star2_O3/georgeweigt[P]eigenmath/eigenmath.c
// Function: infixform_expr_nib
void
infixform_expr_nib(struct atom *p)
{
	infixform_term(cadr(p));
	p = cddr(p);
	while (iscons(p)) {
		if (isnegativeterm(car(p)))
			outbuf_puts(" - ");
		else
			outbuf_puts(" + ");
		infixform_term(car(p));
		p = cdr(p);
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rdi, %rbx
leaq 0x8(%rdi), %r15
cmpb $0x1, 0x10(%rdi)
leaq 0x2f38b(%rip), %r14     # 0x45a00
movq %r14, %rax
cmoveq %r15, %rax
movq (%rax), %rax
cmpb $0x1, 0x10(%rax)
cmovneq %r14, %rax
movq (%rax), %rdi
callq 0x16704
cmpb $0x1, 0x10(%rbx)
cmovneq %r14, %r15
movq (%r15), %rax
leaq 0x8(%rax), %rcx
cmpb $0x1, 0x10(%rax)
cmovneq %r14, %rcx
movq (%rcx), %rbx
cmpb $0x1, 0x10(%rbx)
jne 0x166fb
leaq 0x13cdf(%rip), %r15     # 0x2a395
leaq 0x13cd4(%rip), %r12     # 0x2a391
movq (%rbx), %rdi
callq 0xac49
testl %eax, %eax
movq %r12, %rdi
cmoveq %r15, %rdi
callq 0x16573
cmpb $0x1, 0x10(%rbx)
movq %r14, %rax
cmoveq %rbx, %rax
movq (%rax), %rdi
callq 0x16704
leaq 0x8(%rbx), %rax
cmpb $0x1, 0x10(%rbx)
cmovneq %r14, %rax
movq (%rax), %rbx
cmpb $0x1, 0x10(%rbx)
je 0x166bd
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/georgeweigt[P]eigenmath/eigenmath.c
// Function: infixform_term_nib
void
infixform_term_nib(struct atom *p)
{
	if (find_denominator(p)) {
		infixform_numerators(p);
		outbuf_puts(" / ");
		infixform_denominators(p);
		return;
	}

	// no denominators

	p = cdr(p);

	if (isminusone(car(p)))
		p = cdr(p); // sign already emitted

	infixform_factor(car(p));

	p = cdr(p);

	while (iscons(p)) {
		outbuf_puts(" "); // space in between factors
		infixform_factor(car(p));
		p = cdr(p);
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
callq 0x91f7
testl %eax, %eax
je 0x1676b
movq %rbx, %rdi
callq 0x16b85
leaq 0x13c71(%rip), %rdi     # 0x2a3c5
callq 0x16573
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x16c22
cmpb $0x1, 0x10(%rbx)
leaq 0x8(%rbx), %rax
leaq 0x2f286(%rip), %r14     # 0x45a00
cmovneq %r14, %rax
movq (%rax), %rbx
movb 0x10(%rbx), %r15b
cmpb $0x1, %r15b
movq %r14, %rax
cmoveq %rbx, %rax
movq (%rax), %rdi
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
movl $0x1, %edx
callq 0xd1c4
testl %eax, %eax
je 0x167b9
addq $0x8, %rbx
cmpb $0x1, %r15b
cmovneq %r14, %rbx
movq (%rbx), %rbx
movb 0x10(%rbx), %r15b
cmpb $0x1, %r15b
movq %r14, %rax
cmoveq %rbx, %rax
movq (%rax), %rdi
callq 0x16827
leaq 0x8(%rbx), %rax
cmpb $0x1, 0x10(%rbx)
cmovneq %r14, %rax
movq (%rax), %r15
cmpb $0x1, 0x10(%r15)
jne 0x1681c
leaq 0x13bae(%rip), %rbx     # 0x2a397
movq %rbx, %rdi
callq 0x16573
cmpb $0x1, 0x10(%r15)
movq %r14, %rax
cmoveq %r15, %rax
movq (%rax), %rdi
callq 0x16827
leaq 0x8(%r15), %rax
cmpb $0x1, 0x10(%r15)
cmovneq %r14, %rax
movq (%rax), %r15
cmpb $0x1, 0x10(%r15)
je 0x167e9
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/georgeweigt[P]eigenmath/eigenmath.c
// Function: infixform_numerators
void
infixform_numerators(struct atom *p)
{
	int k;
	char *s;
	struct atom *q;

	k = 0;

	p = cdr(p);

	while (iscons(p)) {

		q = car(p);
		p = cdr(p);

		if (!isnumerator(q))
			continue;

		if (++k > 1)
			outbuf_puts(" "); // space in between factors

		if (isrational(q)) {
			s = mstr(q->u.q.a);
			outbuf_puts(s);
			continue;
		}

		infixform_factor(q);
	}

	if (k == 0)
		outbuf_puts("1");
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
cmpb $0x1, 0x10(%rdi)
leaq 0x8(%rdi), %rax
leaq 0x2ee61(%rip), %rcx     # 0x45a00
cmoveq %rax, %rcx
movq (%rcx), %r12
xorl %r15d, %r15d
leaq 0x137e7(%rip), %rbx     # 0x2a397
cmpb $0x1, 0x10(%r12)
jne 0x16c00
movq (%r12), %r14
movq 0x8(%r12), %r12
movq %r14, %rdi
callq 0x9407
testl %eax, %eax
je 0x16bb0
testl %r15d, %r15d
je 0x16bda
movq %rbx, %rdi
callq 0x16573
incl %r15d
cmpb $0x4, 0x10(%r14)
jne 0x16bf6
movq (%r14), %rdi
callq 0x7d7b
movq %rax, %rdi
callq 0x16573
jmp 0x16bb0
movq %r14, %rdi
callq 0x16827
jmp 0x16bb0
testl %r15d, %r15d
je 0x16c0e
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
leaq 0x14527(%rip), %rdi     # 0x2b13c
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x16573
// File: /workspace/github_c_makefile_star2_O3/georgeweigt[P]eigenmath/eigenmath.c
// Function: infixform_denominators
void
infixform_denominators(struct atom *p)
{
	int k, n;
	char *s;
	struct atom *q;

	n = count_denominators(p);

	if (n > 1)
		outbuf_puts("(");

	k = 0;

	p = cdr(p);

	while (iscons(p)) {

		q = car(p);
		p = cdr(p);

		if (!isdenominator(q))
			continue;

		if (++k > 1)
			outbuf_puts(" "); // space in between factors

		if (isrational(q)) {
			s = mstr(q->u.q.b);
			outbuf_puts(s);
			continue;
		}

		if (isminusone(caddr(q))) {
			q = cadr(q);
			infixform_factor(q);
		} else {
			infixform_base(cadr(q));
			outbuf_puts("^");
			infixform_numeric_exponent(caddr(q)); // sign is not emitted
		}
	}

	if (n > 1)
		outbuf_puts(")");
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %r14
callq 0x92e5
movl %eax, %r13d
cmpl $0x2, %eax
jl 0x16c4c
leaq 0x1377b(%rip), %rdi     # 0x2a3c2
callq 0x16573
cmpb $0x1, 0x10(%r14)
leaq 0x8(%r14), %rax
leaq 0x2eda4(%rip), %rcx     # 0x45a00
cmovneq %rcx, %rax
movq (%rax), %r14
xorl %ebx, %ebx
cmpb $0x1, 0x10(%r14)
jne 0x16db5
movq (%r14), %r12
movq 0x8(%r14), %r14
movq %r12, %rdi
callq 0x9329
testl %eax, %eax
je 0x16c65
testl %ebx, %ebx
je 0x16c93
leaq 0x13709(%rip), %rdi     # 0x2a397
callq 0x16573
incl %ebx
movl %ebx, -0x30(%rbp)
movzbl 0x10(%r12), %ebx
cmpl $0x1, %ebx
je 0x16cc9
leaq 0x2ed56(%rip), %r15     # 0x45a00
movq %r15, %rax
cmpl $0x4, %ebx
jne 0x16cd5
movq 0x8(%r12), %rdi
callq 0x7d7b
movq %rax, %rdi
callq 0x16573
movl -0x30(%rbp), %ebx
jmp 0x16c65
leaq 0x8(%r12), %rax
leaq 0x2ed2b(%rip), %r15     # 0x45a00
movq (%rax), %rax
cmpb $0x1, 0x10(%rax)
movq %r15, %rax
jne 0x16cf4
leaq 0x8(%r12), %rax
cmpb $0x1, %bl
cmovneq %r15, %rax
movq (%rax), %rax
addq $0x8, %rax
movl %r13d, -0x2c(%rbp)
movq (%rax), %rax
cmpb $0x1, 0x10(%rax)
movq %r15, %rax
jne 0x16d22
leaq 0x8(%r12), %rax
cmpb $0x1, %bl
cmovneq %r15, %rax
movq (%rax), %rax
cmpb $0x1, 0x10(%rax)
leaq 0x8(%rax), %rax
cmovneq %r15, %rax
movq (%rax), %rax
movq (%rax), %rdi
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
movl $0x1, %edx
callq 0xd1c4
leaq 0x8(%r12), %r13
cmpb $0x1, %bl
movq %r15, %rcx
cmoveq %r13, %rcx
movq (%rcx), %rcx
cmpb $0x1, 0x10(%rcx)
cmovneq %r15, %rcx
movq (%rcx), %rdi
testl %eax, %eax
je 0x16d66
callq 0x16827
movl -0x2c(%rbp), %r13d
movl -0x30(%rbp), %ebx
jmp 0x16c65
callq 0x16de4
leaq 0x13667(%rip), %rdi     # 0x2a3d9
callq 0x16573
cmpb $0x1, 0x10(%r12)
cmovneq %r15, %r13
movq (%r13), %rax
cmpb $0x1, 0x10(%rax)
movl -0x30(%rbp), %ebx
jne 0x16d94
movq 0x8(%rax), %rax
jmp 0x16d9b
movq 0x2ec65(%rip), %rax     # 0x45a00
cmpb $0x1, 0x10(%rax)
movl -0x2c(%rbp), %r13d
jne 0x16da8
movq %rax, %r15
movq (%r15), %rdi
callq 0x16e83
jmp 0x16c65
cmpl $0x2, %r13d
jl 0x16dd5
leaq 0x16678(%rip), %rdi     # 0x2d43a
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x16573
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/georgeweigt[P]eigenmath/eigenmath.c
// Function: infixform_base
void
infixform_base(struct atom *p)
{
	if (isnum(p))
		infixform_numeric_base(p);
	else if (car(p) == symbol(ADD) || car(p) == symbol(MULTIPLY) || car(p) == symbol(POWER) || car(p) == symbol(FACTORIAL))
		infixform_subexpr(p);
	else
		infixform_expr(p);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
movb 0x10(%rdi), %al
movzbl %al, %ecx
leal -0x4(%rcx), %edx
cmpl $0x2, %edx
jae 0x16e09
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x17621
movq %rbx, %rdx
cmpl $0x1, %ecx
je 0x16e18
leaq 0x2ebe8(%rip), %rdx     # 0x45a00
movq (%rdx), %rcx
cmpq 0x3147e(%rip), %rcx     # 0x482a0
je 0x16e5d
cmpb $0x1, %al
leaq 0x2ebd3(%rip), %rax     # 0x45a00
cmoveq %rbx, %rax
movq (%rax), %rax
cmpq 0x3146d(%rip), %rax     # 0x482a8
je 0x16e5d
cmpq 0x3146c(%rip), %rax     # 0x482b0
je 0x16e5d
cmpq 0x2d2b3(%rip), %rax     # 0x44100
je 0x16e5d
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x1642d
leaq 0x1355e(%rip), %rdi     # 0x2a3c2
callq 0x16573
movq %rbx, %rdi
callq 0x1642d
leaq 0x165c2(%rip), %rdi     # 0x2d43a
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x16573
// File: /workspace/github_c_makefile_star2_O3/georgeweigt[P]eigenmath/eigenmath.c
// Function: infixform_numeric_exponent
void
infixform_numeric_exponent(struct atom *p)
{
	if (isdouble(p)) {
		outbuf_puts("(");
		infixform_double(p);
		outbuf_puts(")");
		return;
	}

	if (isinteger(p)) {
		infixform_rational(p);
		return;
	}

	outbuf_puts("(");
	infixform_rational(p);
	outbuf_puts(")");
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
movzbl 0x10(%rdi), %eax
cmpl $0x4, %eax
je 0x16eb0
cmpl $0x5, %eax
jne 0x16ecd
leaq 0x13521(%rip), %rdi     # 0x2a3c2
callq 0x16573
movq %rbx, %rdi
callq 0x16f44
jmp 0x16ee1
movq 0x8(%rbx), %rax
cmpl $0x1, -0x4(%rax)
jne 0x16ecd
cmpl $0x1, (%rax)
jne 0x16ecd
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x16ef3
leaq 0x134ee(%rip), %rdi     # 0x2a3c2
callq 0x16573
movq %rbx, %rdi
callq 0x16ef3
leaq 0x16552(%rip), %rdi     # 0x2d43a
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x16573
// File: /workspace/github_c_makefile_star2_O3/georgeweigt[P]eigenmath/eigenmath.c
// Function: infixform_rational
void
infixform_rational(struct atom *p)
{
	char *s;

	s = mstr(p->u.q.a);
	outbuf_puts(s);

	s = mstr(p->u.q.b);

	if (strcmp(s, "1") == 0)
		return;

	outbuf_puts("/");

	outbuf_puts(s);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq (%rdi), %rdi
callq 0x7d7b
movq %rax, %rdi
callq 0x16573
movq 0x8(%rbx), %rdi
callq 0x7d7b
movq %rax, %rbx
cmpb $0x31, (%rax)
jne 0x16f23
cmpb $0x0, 0x1(%rbx)
je 0x16f3d
leaq 0x134a7(%rip), %rdi     # 0x2a3d1
callq 0x16573
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x16573
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/georgeweigt[P]eigenmath/eigenmath.c
// Function: infixform_double
void
infixform_double(struct atom *p)
{
	char *s;

	snprintf(strbuf, STRBUFLEN, "%g", fabs(p->u.d));

	s = strbuf;

	while (*s && *s != 'E' && *s != 'e')
		outbuf_putc(*s++);

	if (!*s)
		return;

	s++;

	outbuf_puts(" 10^");

	if (*s == '-') {
		outbuf_puts("(-");
		s++;
		while (*s == '0')
			s++; // skip leading zeroes
		outbuf_puts(s);
		outbuf_puts(")");
	} else {
		if (*s == '+')
			s++;
		while (*s == '0')
			s++; // skip leading zeroes
		outbuf_puts(s);
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movsd (%rdi), %xmm0
andps 0x131cb(%rip), %xmm0    # 0x2a120
leaq 0xff9b4(%rip), %rdi     # 0x116910
leaq 0x13470(%rip), %rdx     # 0x2a3d3
movl $0x3e8, %esi            # imm = 0x3E8
movb $0x1, %al
callq 0x7100
leaq 0xff99b(%rip), %rbx     # 0x116911
movzbl -0x1(%rbx), %eax
testl %eax, %eax
je 0x16fd5
cmpl $0x45, %eax
je 0x16f95
cmpl $0x65, %eax
je 0x16f95
movsbl %al, %edi
callq 0x17586
incq %rbx
jmp 0x16f76
leaq 0x1343a(%rip), %rdi     # 0x2a3d6
callq 0x16573
movzbl (%rbx), %eax
cmpl $0x2b, %eax
je 0x16fdc
cmpl $0x2d, %eax
jne 0x16fdf
leaq 0x13426(%rip), %rdi     # 0x2a3db
callq 0x16573
cmpb $0x30, 0x1(%rbx)
leaq 0x1(%rbx), %rbx
je 0x16fba
movq %rbx, %rdi
callq 0x16573
leaq 0x16467(%rip), %rdi     # 0x2d43a
jmp 0x16fef
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
incq %rbx
decq %rbx
leaq 0x1(%rbx), %rdi
cmpb $0x30, 0x1(%rbx)
movq %rdi, %rbx
je 0x16fe2
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x16573
// File: /workspace/github_c_makefile_star2_O3/georgeweigt[P]eigenmath/eigenmath.c
// Function: infixform_index
void
infixform_index(struct atom *p)
{
	infixform_base(cadr(p));
	outbuf_puts("[");
	p = cddr(p);
	if (iscons(p)) {
		infixform_expr(car(p));
		p = cdr(p);
		while (iscons(p)) {
			outbuf_puts(",");
			infixform_expr(car(p));
			p = cdr(p);
		}
	}
	outbuf_puts("]");
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
leaq 0x8(%rdi), %r15
cmpb $0x1, 0x10(%rdi)
leaq 0x2e789(%rip), %r14     # 0x45a00
movq %r14, %rax
cmoveq %r15, %rax
movq (%rax), %rax
cmpb $0x1, 0x10(%rax)
cmovneq %r14, %rax
movq (%rax), %rdi
callq 0x16de4
leaq 0x13133(%rip), %rdi     # 0x2a3cb
callq 0x16573
cmpb $0x1, 0x10(%rbx)
cmovneq %r14, %r15
movq (%r15), %rax
leaq 0x8(%rax), %rcx
cmpb $0x1, 0x10(%rax)
cmovneq %r14, %rcx
movq (%rcx), %rbx
cmpb $0x1, 0x10(%rbx)
jne 0x17315
movq (%rbx), %rdi
callq 0x1642d
leaq 0x8(%rbx), %rax
cmpb $0x1, 0x10(%rbx)
cmovneq %r14, %rax
movq (%rax), %r15
cmpb $0x1, 0x10(%r15)
jne 0x17315
leaq 0x130eb(%rip), %rbx     # 0x2a3cd
movq %rbx, %rdi
callq 0x16573
cmpb $0x1, 0x10(%r15)
movq %r14, %rax
cmoveq %r15, %rax
movq (%rax), %rdi
callq 0x1642d
leaq 0x8(%r15), %rax
cmpb $0x1, 0x10(%r15)
cmovneq %r14, %rax
movq (%rax), %r15
cmpb $0x1, 0x10(%r15)
je 0x172e2
leaq 0x130b3(%rip), %rdi     # 0x2a3cf
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x16573
// File: /workspace/github_c_makefile_star2_O3/georgeweigt[P]eigenmath/eigenmath.c
// Function: get_usrfunc
struct atom *
get_usrfunc(struct atom *p)
{
	if (!isusersymbol(p))
		stopf("symbol error");
	p = usrfunc[p->u.usym.index];
	if (p == NULL)
		p = symbol(NIL);
	return p;
}

// Assembly:
cmpb $0x3, 0x10(%rdi)
jne 0x1734c
movl 0x8(%rdi), %eax
leaq 0xf9c15(%rip), %rcx     # 0x110f50
movq (%rcx,%rax,8), %rax
testq %rax, %rax
jne 0x1734b
movq 0x2e6b5(%rip), %rax     # 0x45a00
retq
pushq %rbp
movq %rsp, %rbp
leaq 0x17c43(%rip), %rdi     # 0x2ef9a
callq 0x780b
// File: /workspace/github_c_makefile_star2_O3/georgeweigt[P]eigenmath/eigenmath.c
// Function: infixform_arglist
void
infixform_arglist(struct atom *p)
{
	outbuf_puts("(");
	p = cdr(p);
	if (iscons(p)) {
		infixform_expr(car(p));
		p = cdr(p);
		while (iscons(p)) {
			outbuf_puts(",");
			infixform_expr(car(p));
			p = cdr(p);
		}
	}
	outbuf_puts(")");
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
leaq 0x13052(%rip), %rdi     # 0x2a3c2
callq 0x16573
cmpb $0x1, 0x10(%rbx)
leaq 0x8(%rbx), %rax
leaq 0x2e67c(%rip), %r14     # 0x45a00
cmovneq %r14, %rax
movq (%rax), %rbx
cmpb $0x1, 0x10(%rbx)
jne 0x173e9
movq (%rbx), %rdi
callq 0x1642d
leaq 0x8(%rbx), %rax
cmpb $0x1, 0x10(%rbx)
cmovneq %r14, %rax
movq (%rax), %r15
cmpb $0x1, 0x10(%r15)
jne 0x173e9
leaq 0x13017(%rip), %rbx     # 0x2a3cd
movq %rbx, %rdi
callq 0x16573
cmpb $0x1, 0x10(%r15)
movq %r14, %rax
cmoveq %r15, %rax
movq (%rax), %rdi
callq 0x1642d
leaq 0x8(%r15), %rax
cmpb $0x1, 0x10(%r15)
cmovneq %r14, %rax
movq (%rax), %r15
cmpb $0x1, 0x10(%r15)
je 0x173b6
leaq 0x1604a(%rip), %rdi     # 0x2d43a
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x16573
// File: /workspace/github_c_makefile_star2_O3/georgeweigt[P]eigenmath/eigenmath.c
// Function: infixform_reciprocal
void
infixform_reciprocal(struct atom *p)
{
	outbuf_puts("1 / "); // numerator
	if (isminusone(caddr(p))) {
		p = cadr(p);
		infixform_factor(p);
	} else {
		infixform_base(cadr(p));
		outbuf_puts("^");
		infixform_numeric_exponent(caddr(p)); // sign is not emitted
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rdi, %rbx
leaq 0x12f18(%rip), %rdi     # 0x2a3c4
callq 0x16573
leaq 0x8(%rbx), %r15
cmpb $0x1, 0x10(%rbx)
leaq 0x2e540(%rip), %rax     # 0x45a00
movq %rax, %rcx
cmoveq %r15, %rcx
movq (%rcx), %r12
cmpb $0x1, 0x10(%r12)
jne 0x174e8
movq 0x8(%r12), %rax
cmpb $0x1, 0x10(%rax)
leaq 0x2e51e(%rip), %r14     # 0x45a00
cmoveq %rax, %r14
jmp 0x174f9
movq 0x2e511(%rip), %r14     # 0x45a00
cmpb $0x1, 0x10(%r14)
jne 0x17511
movq %rax, %r12
movq (%r14), %rdi
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
movl $0x1, %edx
callq 0xd1c4
movq (%r12), %r14
jmp 0x17523
movq %r14, %rdi
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
movl $0x1, %edx
callq 0xd1c4
movq %r14, %rdi
testl %eax, %eax
je 0x17537
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x16827
callq 0x16de4
leaq 0x12e96(%rip), %rdi     # 0x2a3d9
callq 0x16573
cmpb $0x1, 0x10(%rbx)
leaq 0x2e4ad(%rip), %rax     # 0x45a00
cmovneq %rax, %r15
movq (%r15), %rcx
cmpb $0x1, 0x10(%rcx)
jne 0x17566
movq 0x8(%rcx), %rcx
jmp 0x1756d
movq 0x2e493(%rip), %rcx     # 0x45a00
cmpb $0x1, 0x10(%rcx)
jne 0x17576
movq %rcx, %rax
movq (%rax), %rdi
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x16e83
// File: /workspace/github_c_makefile_star2_O3/georgeweigt[P]eigenmath/eigenmath.c
// Function: outbuf_putc
void
outbuf_putc(int c)
{
	int m;

	// Let outbuf_index + 1 == 1000

	// Then m == 2000 hence there is always room for the terminator '\0'

	m = 1000 * ((outbuf_index + 1) / 1000 + 1); // m is a multiple of 1000

	if (m > outbuf_length) {
		outbuf = realloc(outbuf, m);
		if (outbuf == NULL)
			exit(1);
		outbuf_length = m;
	}

	outbuf[outbuf_index++] = c;
	outbuf[outbuf_index] = '\0';
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movl %edi, %ebx
movl 0xff263(%rip), %ecx     # 0x1167f8
movl %ecx, %eax
incl %eax
cltq
imulq $0x10624dd3, %rax, %rax # imm = 0x10624DD3
movq %rax, %rdx
shrq $0x3f, %rdx
sarq $0x26, %rax
addl %edx, %eax
imull $0x3e8, %eax, %r14d     # imm = 0x3E8
addl $0x3e8, %r14d           # imm = 0x3E8
movq 0xfee04(%rip), %rax     # 0x1163c8
cmpl 0xff231(%rip), %r14d    # 0x1167fc
jle 0x175f1
movslq %r14d, %rsi
movq %rax, %rdi
callq 0x72c0
movq %rax, 0xfede9(%rip)     # 0x1163c8
testq %rax, %rax
je 0x17617
movl %r14d, 0xff211(%rip)    # 0x1167fc
movl 0xff207(%rip), %ecx     # 0x1167f8
leal 0x1(%rcx), %edx
movl %edx, 0xff1fe(%rip)     # 0x1167f8
movslq %ecx, %rcx
movb %bl, (%rax,%rcx)
movq 0xfedc1(%rip), %rax     # 0x1163c8
movslq 0xff1ea(%rip), %rcx     # 0x1167f8
movb $0x0, (%rax,%rcx)
popq %rbx
popq %r14
popq %rbp
retq
movl $0x1, %edi
callq 0x7330
// File: /workspace/github_c_makefile_star2_O3/georgeweigt[P]eigenmath/eigenmath.c
// Function: infixform_numeric_base
void
infixform_numeric_base(struct atom *p)
{
	if (isposint(p))
		infixform_rational(p);
	else
		infixform_subexpr(p);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
cmpb $0x4, 0x10(%rdi)
jne 0x17645
movq 0x8(%rbx), %rax
cmpl $0x1, -0x4(%rax)
jne 0x17645
cmpl $0x1, (%rax)
jne 0x17645
cmpb $0x1, 0x12(%rbx)
jne 0x1766b
leaq 0x12d76(%rip), %rdi     # 0x2a3c2
callq 0x16573
movq %rbx, %rdi
callq 0x1642d
leaq 0x15dda(%rip), %rdi     # 0x2d43a
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x16573
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x16ef3
// File: /workspace/github_c_makefile_star2_O3/georgeweigt[P]eigenmath/eigenmath.c
// Function: infixform_tensor_nib
void
infixform_tensor_nib(struct atom *p, int d, int k)
{
	int i, n, span;

	if (d == p->u.tensor->ndim) {
		infixform_expr(p->u.tensor->elem[k]);
		return;
	}

	span = 1;

	n = p->u.tensor->ndim;

	for (i = d + 1; i < n; i++)
		span *= p->u.tensor->dim[i];

	outbuf_puts("(");

	n = p->u.tensor->dim[d];

	for (i = 0; i < n; i++) {

		infixform_tensor_nib(p, d + 1, k);

		if (i < n - 1)
			outbuf_puts(",");

		k += span;
	}

	outbuf_puts(")");
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movl %edx, %ebx
movq %rdi, -0x38(%rbp)
movq (%rdi), %rcx
movl (%rcx), %edx
movl %edx, %eax
subl %esi, %eax
jne 0x176b6
movslq %ebx, %rax
movq 0x68(%rcx,%rax,8), %rdi
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x1642d
movl %esi, %r12d
leal 0x1(%r12), %esi
movl $0x1, %r13d
movl %esi, -0x2c(%rbp)
cmpl %edx, %esi
jge 0x176e4
movslq -0x2c(%rbp), %rdx
leaq (%rcx,%rdx,4), %rcx
movl $0x1, %edx
imull (%rcx,%rdx,4), %r13d
incq %rdx
cmpl %edx, %eax
jne 0x176d8
leaq 0x12cd7(%rip), %rdi     # 0x2a3c2
callq 0x16573
movq -0x38(%rbp), %rax
movq (%rax), %rax
movslq %r12d, %rcx
movl 0x4(%rax,%rcx,4), %r12d
testl %r12d, %r12d
jle 0x17736
leal -0x1(%r12), %r15d
xorl %r14d, %r14d
movq -0x38(%rbp), %rdi
movl -0x2c(%rbp), %esi
movl %ebx, %edx
callq 0x17679
cmpl %r15d, %r14d
jge 0x1772b
leaq 0x12ca7(%rip), %rdi     # 0x2a3cd
callq 0x16573
addl %r13d, %ebx
incl %r14d
cmpl %r14d, %r12d
jne 0x1770c
leaq 0x15cfd(%rip), %rdi     # 0x2d43a
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x16573
// File: /workspace/github_c_makefile_star2_O3/georgeweigt[P]eigenmath/eigenmath.c
// Function: eval_inner
void
eval_inner(struct atom *p1)
{
	int h = tos;

	// evaluate from right to left

	p1 = cdr(p1);

	while (iscons(p1)) {
		push(car(p1));
		p1 = cdr(p1);
	}

	if (h == tos)
		stopf("inner: no args");

	evalg();

	while (tos - h > 1) {
		swap();
		evalg();
		swap();
		inner();
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
cmpb $0x1, 0x10(%rdi)
leaq 0x8(%rdi), %rax
leaq 0x2e297(%rip), %r14     # 0x45a00
cmovneq %r14, %rax
movq (%rax), %r15
cmpb $0x1, 0x10(%r15)
jne 0x177e2
movl 0x27b3b(%rip), %ebx     # 0x3f2b8
movq (%r15), %rdi
callq 0x8ba5
leaq 0x8(%r15), %rax
cmpb $0x1, 0x10(%r15)
cmovneq %r14, %rax
movq (%rax), %r15
cmpb $0x1, 0x10(%r15)
je 0x1777d
cmpl 0x27b16(%rip), %ebx     # 0x3f2b8
je 0x177e2
callq 0x96a4
movl 0x27b09(%rip), %eax     # 0x3f2b8
subl %ebx, %eax
cmpl $0x2, %eax
jl 0x177d7
callq 0xb238
callq 0x96a4
callq 0xb238
callq 0xa1cc
movl 0x27ae8(%rip), %eax     # 0x3f2b8
subl %ebx, %eax
cmpl $0x1, %eax
jg 0x177b6
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
leaq 0x12bf5(%rip), %rdi     # 0x2a3de
callq 0x780b
// File: /workspace/github_c_makefile_star2_O3/georgeweigt[P]eigenmath/eigenmath.c
// Function: partition_term
void
partition_term(void)
{
	int h, n;
	struct atom *p1, *F, *X;

	X = pop();
	F = pop();

	// push const factors

	h = tos;
	p1 = cdr(F);
	while (iscons(p1)) {
		if (!dependent(car(p1), X))
			push(car(p1));
		p1 = cdr(p1);
	}

	n = tos - h;

	if (n == 0)
		push_integer(1);
	else if (n > 1) {
		list(n);
		push_symbol(MULTIPLY);
		swap();
		cons(); // makes MULTIPLY head of list
	}

	// push var factors

	h = tos;
	p1 = cdr(F);
	while (iscons(p1)) {
		if (dependent(car(p1), X))
			push(car(p1));
		p1 = cdr(p1);
	}

	n = tos - h;

	if (n == 0)
		push_integer(1);
	else if (n > 1) {
		list(n);
		push_symbol(MULTIPLY);
		swap();
		cons(); // makes MULTIPLY head of list
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movl 0x2784d(%rip), %r13d    # 0x3f2b8
movl $0xfffe795f, %eax       # imm = 0xFFFE795F
leal (%rax,%r13), %ecx
cmpl %eax, %ecx
jbe 0x17c21
leal -0x1(%r13), %eax
movl %eax, 0x27832(%rip)     # 0x3f2b8
cmpl $0x1, %r13d
jbe 0x17c21
leaq 0x30b29(%rip), %rcx     # 0x485c0
addl $-0x2, %r13d
movl %r13d, 0x27816(%rip)    # 0x3f2b8
movq (%rcx,%r13,8), %rdx
leaq 0x8(%rdx), %r15
movq %rdx, -0x38(%rbp)
cmpb $0x1, 0x10(%rdx)
leaq 0x2df47(%rip), %r14     # 0x45a00
movq %r14, %rdx
cmoveq %r15, %rdx
movq (%rcx,%rax,8), %rbx
movq (%rdx), %r12
cmpb $0x1, 0x10(%r12)
jne 0x17b2b
movq %r15, -0x30(%rbp)
leaq 0x10(%r12), %r15
movq (%r12), %rdi
movq %rbx, %rsi
callq 0x18607
testl %eax, %eax
jne 0x17afb
cmpb $0x1, (%r15)
movq %r14, %rax
cmoveq %r12, %rax
movq (%rax), %rdi
callq 0x8ba5
addq $0x8, %r12
cmpb $0x1, (%r15)
cmovneq %r14, %r12
movq (%r12), %r12
leaq 0x10(%r12), %r15
cmpb $0x1, 0x10(%r12)
je 0x17ad8
movl 0x2779a(%rip), %edi     # 0x3f2b8
subl %r13d, %edi
movq -0x30(%rbp), %r15
jne 0x17bbb
movq 0xf3fa6(%rip), %rdi     # 0x10bad8
callq 0x8ba5
movq -0x38(%rbp), %rax
cmpb $0x1, 0x10(%rax)
cmovneq %r14, %r15
movq (%r15), %r15
cmpb $0x1, 0x10(%r15)
jne 0x17ba1
movl 0x27764(%rip), %r12d    # 0x3f2b8
leaq 0x10(%r15), %r13
movq (%r15), %rdi
movq %rbx, %rsi
callq 0x18607
testl %eax, %eax
je 0x17b7b
cmpb $0x1, (%r13)
movq %r14, %rax
cmoveq %r15, %rax
movq (%rax), %rdi
callq 0x8ba5
addq $0x8, %r15
cmpb $0x1, (%r13)
cmovneq %r14, %r15
movq (%r15), %r15
leaq 0x10(%r15), %r13
cmpb $0x1, 0x10(%r15)
je 0x17b58
movl 0x2771c(%rip), %edi     # 0x3f2b8
subl %r12d, %edi
jne 0x17be4
movq 0xf3f30(%rip), %rdi     # 0x10bad8
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x8ba5
cmpl $0x2, %edi
jl 0x17b37
callq 0x8b7d
movq 0x306d8(%rip), %rdi     # 0x482a8
callq 0x8ba5
callq 0xb238
callq 0x8be6
jmp 0x17b37
cmpl $0x2, %edi
jl 0x17c12
callq 0x8b7d
movq 0x306b3(%rip), %rdi     # 0x482a8
callq 0x8ba5
callq 0xb238
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x8be6
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x17319(%rip), %rdi     # 0x2ef41
callq 0x780b
// File: /workspace/github_c_makefile_star2_O3/georgeweigt[P]eigenmath/eigenmath.c
// Function: integral_solve
void
integral_solve(struct atom *F, struct atom *X)
{
	struct atom *p;

	if (car(F) == symbol(INTEGRAL)) {
		integral_of_integral(F, X);
		return;
	}

	if (car(F) == symbol(DERIVATIVE)) {
		integral_of_derivative(F, X);
		return;
	}

	save_symbol(symbol(SA));
	save_symbol(symbol(SB));
	save_symbol(symbol(SX));

	integral_solve_nib(F, X);

	p = pop();
	restore_symbol();
	restore_symbol();
	restore_symbol();
	push(p);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rdi, %rbx
cmpb $0x1, 0x10(%rdi)
leaq 0x2ddbe(%rip), %rax     # 0x45a00
cmoveq %rdi, %rax
movq %rsi, %r14
movq (%rax), %rax
cmpq 0x2ce35(%rip), %rax     # 0x44a88
je 0x17ccd
cmpq 0x2be84(%rip), %rax     # 0x43ae0
je 0x17cdc
movq 0x3066b(%rip), %rdi     # 0x482d0
callq 0xf3a6
movq 0x30667(%rip), %rdi     # 0x482d8
callq 0xf3a6
movq 0x30663(%rip), %rdi     # 0x482e0
callq 0xf3a6
movq %rbx, %rdi
movq %r14, %rsi
callq 0x18009
movl 0x27625(%rip), %eax     # 0x3f2b8
movl $0xfffe795f, %ecx       # imm = 0xFFFE795F
leal (%rax,%rcx), %edx
cmpl %ecx, %edx
jbe 0x17ceb
decl %eax
movl %eax, 0x27611(%rip)     # 0x3f2b8
leaq 0x30912(%rip), %rcx     # 0x485c0
movq (%rcx,%rax,8), %rbx
callq 0xf40c
callq 0xf40c
callq 0xf40c
movq %rbx, %rdi
popq %rbx
popq %r14
popq %rbp
jmp 0x8ba5
movq %rbx, %rdi
movq %r14, %rsi
popq %rbx
popq %r14
popq %rbp
jmp 0x17cf7
movq %rbx, %rdi
movq %r14, %rsi
popq %rbx
popq %r14
popq %rbp
jmp 0x17e99
leaq 0x1724f(%rip), %rdi     # 0x2ef41
callq 0x780b
// File: /workspace/github_c_makefile_star2_O3/georgeweigt[P]eigenmath/eigenmath.c
// Function: integral_of_integral
void
integral_of_integral(struct atom *F, struct atom *X)
{
	struct atom *G, *Y;

	G = cadr(F);
	Y = caddr(F);

	// if X == Y then F is not integrable for X

	if (equal(X, Y)) {
		push_symbol(INTEGRAL);
		push(F);
		push(X);
		list(3);
		return;
	}

	push(G);
	push(X);
	integral();

	G = pop();

	if (car(G) == symbol(INTEGRAL)) {

		// sort integrals by measure

		F = cadr(G);
		X = caddr(G);

		push_symbol(INTEGRAL);
		push_symbol(INTEGRAL);
		push(F);

		if (lessp(X, Y)) {
			push(X);
			list(3);
			push(Y);
			list(3);
		} else {
			push(Y);
			list(3);
			push(X);
			list(3);
		}

		return;
	}

	push(G);
	push(Y);
	integral();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rdi, %r15
cmpb $0x1, 0x10(%rdi)
leaq 0x8(%rdi), %rcx
leaq 0x2dcec(%rip), %rax     # 0x45a00
cmovneq %rax, %rcx
movq %rsi, %r14
movq (%rcx), %rcx
cmpb $0x1, 0x10(%rcx)
jne 0x17d33
movq (%rcx), %r12
movq 0x8(%rcx), %rcx
cmpb $0x1, 0x10(%rcx)
je 0x17d43
jmp 0x17d46
movq 0x2dcc6(%rip), %rcx     # 0x45a00
cmpb $0x1, 0x10(%rcx)
movq %rcx, %r12
jne 0x17d46
movq %rcx, %rax
movq (%rax), %rbx
movq %r14, %rdi
movq %rbx, %rsi
callq 0x8d48
testl %eax, %eax
je 0x17dd3
movq %r12, %rdi
callq 0x8ba5
movq %r14, %rdi
callq 0x8ba5
callq 0x115b1
movl 0x27545(%rip), %eax     # 0x3f2b8
movl $0xfffe795f, %ecx       # imm = 0xFFFE795F
leal (%rax,%rcx), %edx
cmpl %ecx, %edx
jbe 0x17e8d
decl %eax
movl %eax, 0x2752d(%rip)     # 0x3f2b8
leaq 0x3082e(%rip), %rcx     # 0x485c0
movq (%rcx,%rax,8), %rax
movb 0x10(%rax), %dl
cmpb $0x1, %dl
leaq 0x2dc5d(%rip), %rcx     # 0x45a00
movq %rcx, %rsi
cmoveq %rax, %rsi
movq 0x2ccd7(%rip), %rdi     # 0x44a88
cmpq %rdi, (%rsi)
je 0x17de9
movq %rax, %rdi
callq 0x8ba5
movq %rbx, %rdi
callq 0x8ba5
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x115b1
movq 0x2ccae(%rip), %rdi     # 0x44a88
callq 0x8ba5
movq %r15, %rdi
callq 0x8ba5
jmp 0x17e5c
addq $0x8, %rax
cmpb $0x1, %dl
cmovneq %rcx, %rax
movq (%rax), %rax
cmpb $0x1, 0x10(%rax)
jne 0x17e0c
movq (%rax), %r15
movq 0x8(%rax), %rax
cmpb $0x1, 0x10(%rax)
je 0x17e1c
jmp 0x17e1f
movq 0x2dbed(%rip), %rax     # 0x45a00
cmpb $0x1, 0x10(%rax)
movq %rax, %r15
jne 0x17e1f
movq %rax, %rcx
movq (%rcx), %r14
callq 0x8ba5
movq 0x2cc5a(%rip), %rdi     # 0x44a88
callq 0x8ba5
movq %r15, %rdi
callq 0x8ba5
movq %r14, %rdi
movq %rbx, %rsi
callq 0x8d48
testl %eax, %eax
js 0x17e76
movq %rbx, %rdi
callq 0x8ba5
movl $0x3, %edi
callq 0x8b7d
movq %r14, %rdi
callq 0x8ba5
movl $0x3, %edi
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x8b7d
movq %r14, %rdi
callq 0x8ba5
movl $0x3, %edi
callq 0x8b7d
movq %rbx, %rdi
jmp 0x17e5f
leaq 0x170ad(%rip), %rdi     # 0x2ef41
callq 0x780b
// File: /workspace/github_c_makefile_star2_O3/georgeweigt[P]eigenmath/eigenmath.c
// Function: integral_of_derivative
void
integral_of_derivative(struct atom *F, struct atom *X)
{
	struct atom *G, *Y;

	G = cadr(F);
	Y = caddr(F);

	if (equal(X, Y)) {
		push(G); // integral and derivative cancel
		return;
	}

	push(G);
	push(X);
	integral();

	G = pop();

	// integral before derivative

	if (car(G) == symbol(INTEGRAL)) {
		F = cadr(G);
		X = caddr(G);
		push_symbol(INTEGRAL);
		push_symbol(DERIVATIVE);
		push(F);
		push(Y);
		list(3);
		push(X);
		list(3);
		return;
	}

	push(G);
	push(Y);
	derivative();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
cmpb $0x1, 0x10(%rdi)
leaq 0x8(%rdi), %rcx
leaq 0x2db4d(%rip), %rax     # 0x45a00
cmovneq %rax, %rcx
movq %rsi, %r14
movq (%rcx), %rcx
cmpb $0x1, 0x10(%rcx)
jne 0x17ed2
movq (%rcx), %r15
movq 0x8(%rcx), %rcx
cmpb $0x1, 0x10(%rcx)
je 0x17ee2
jmp 0x17ee5
movq 0x2db27(%rip), %rcx     # 0x45a00
cmpb $0x1, 0x10(%rcx)
movq %rcx, %r15
jne 0x17ee5
movq %rcx, %rax
movq (%rax), %rbx
movq %r14, %rdi
movq %rbx, %rsi
callq 0x8d48
movl %eax, %r12d
movq %r15, %rdi
callq 0x8ba5
testl %r12d, %r12d
je 0x17f76
movq %r14, %rdi
callq 0x8ba5
callq 0x115b1
movl 0x273a2(%rip), %eax     # 0x3f2b8
movl $0xfffe795f, %ecx       # imm = 0xFFFE795F
leal (%rax,%rcx), %edx
cmpl %ecx, %edx
jbe 0x17ffd
decl %eax
movl %eax, 0x2738a(%rip)     # 0x3f2b8
leaq 0x3068b(%rip), %rcx     # 0x485c0
movq (%rcx,%rax,8), %rax
movb 0x10(%rax), %dl
cmpb $0x1, %dl
leaq 0x2daba(%rip), %rcx     # 0x45a00
movq %rcx, %rsi
cmoveq %rax, %rsi
movq 0x2cb34(%rip), %rdi     # 0x44a88
cmpq %rdi, (%rsi)
je 0x17f7f
movq %rax, %rdi
callq 0x8ba5
movq %rbx, %rdi
callq 0x8ba5
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x1198a
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
addq $0x8, %rax
cmpb $0x1, %dl
cmovneq %rcx, %rax
movq (%rax), %rax
cmpb $0x1, 0x10(%rax)
jne 0x17fa2
movq (%rax), %r14
movq 0x8(%rax), %rax
cmpb $0x1, 0x10(%rax)
je 0x17fb2
jmp 0x17fb5
movq 0x2da57(%rip), %rax     # 0x45a00
cmpb $0x1, 0x10(%rax)
movq %rax, %r14
jne 0x17fb5
movq %rax, %rcx
movq (%rcx), %r15
callq 0x8ba5
movq 0x2bb1c(%rip), %rdi     # 0x43ae0
callq 0x8ba5
movq %r14, %rdi
callq 0x8ba5
movq %rbx, %rdi
callq 0x8ba5
movl $0x3, %edi
callq 0x8b7d
movq %r15, %rdi
callq 0x8ba5
movl $0x3, %edi
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x8b7d
leaq 0x16f3d(%rip), %rdi     # 0x2ef41
callq 0x780b
// File: /workspace/github_c_makefile_star2_O3/georgeweigt[P]eigenmath/eigenmath.c
// Function: integral_solve_nib
void
integral_solve_nib(struct atom *F, struct atom *X)
{
	int h, t;

	set_symbol(symbol(SX), X, symbol(NIL));

	h = tos;

	push_integer(1); // 1 is a candidate for a and b

	push(F);
	push(X);
	decomp(); // push possible substitutions for a and b

	t = integral_classify(F);

	if ((t & 1) && integral_search(h, F, integral_tab_exp, sizeof integral_tab_exp / sizeof (char *)))
		return;

	if ((t & 2) && integral_search(h, F, integral_tab_log, sizeof integral_tab_log / sizeof (char *)))
		return;

	if ((t & 4) && integral_search(h, F, integral_tab_trig, sizeof integral_tab_trig / sizeof (char *)))
		return;

	if (car(F) == symbol(POWER)) {
		if (integral_search(h, F, integral_tab_power, sizeof integral_tab_power / sizeof (char *)))
			return;
	} else {
		if (integral_search(h, F, integral_tab, sizeof integral_tab / sizeof (char *)))
			return;
	}

	tos = h; // pop all

	push_symbol(INTEGRAL);
	push(F);
	push(X);
	list(3);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq 0x302c5(%rip), %rax     # 0x482e0
cmpb $0x3, 0x10(%rax)
jne 0x18171
movq %rsi, %rbx
movq %rdi, %r14
movq 0x2d9ce(%rip), %rcx     # 0x45a00
movl 0x8(%rax), %edx
leaq 0xf3ab4(%rip), %rsi     # 0x10baf0
movq %rbx, (%rsi,%rdx,8)
movl 0x8(%rax), %eax
leaq 0xf8f06(%rip), %rdx     # 0x110f50
movq %rcx, (%rdx,%rax,8)
movl 0x27263(%rip), %r15d    # 0x3f2b8
movq 0xf3a7c(%rip), %rdi     # 0x10bad8
callq 0x8ba5
movq %r14, %rdi
callq 0x8ba5
movq %rbx, %rdi
callq 0x8ba5
callq 0x1817d
movq %r14, %rdi
callq 0x1828d
movl %eax, %r12d
testb $0x1, %r12b
je 0x180a6
leaq 0x20162(%rip), %rdx     # 0x381f0
movl %r15d, %edi
movq %r14, %rsi
movl $0xab, %ecx
callq 0x1830b
testl %eax, %eax
jne 0x18133
testb $0x2, %r12b
je 0x180c7
leaq 0x2069d(%rip), %rdx     # 0x38750
movl %r15d, %edi
movq %r14, %rsi
movl $0x21, %ecx
callq 0x1830b
testl %eax, %eax
jne 0x18133
cmpl $0x4, %r12d
jb 0x180e8
leaq 0x2078c(%rip), %rdx     # 0x38860
movl %r15d, %edi
movq %r14, %rsi
movl $0xba, %ecx
callq 0x1830b
testl %eax, %eax
jne 0x18133
cmpb $0x1, 0x10(%r14)
leaq 0x2d90c(%rip), %rax     # 0x45a00
cmoveq %r14, %rax
movq (%rax), %rax
cmpq 0x301ae(%rip), %rax     # 0x482b0
je 0x18118
leaq 0x20f95(%rip), %rdx     # 0x390a0
movl %r15d, %edi
movq %r14, %rsi
movl $0xbd, %ecx
jmp 0x1812a
leaq 0x20d11(%rip), %rdx     # 0x38e30
movl %r15d, %edi
movq %r14, %rsi
movl $0x4e, %ecx
callq 0x1830b
testl %eax, %eax
je 0x1813c
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
movl %r15d, 0x27175(%rip)    # 0x3f2b8
movq 0x2c93e(%rip), %rdi     # 0x44a88
callq 0x8ba5
movq %r14, %rdi
callq 0x8ba5
movq %rbx, %rdi
callq 0x8ba5
movl $0x3, %edi
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x8b7d
leaq 0x16e22(%rip), %rdi     # 0x2ef9a
callq 0x780b
// File: /workspace/github_c_makefile_star2_O3/georgeweigt[P]eigenmath/eigenmath.c
// Function: decomp
void
decomp(void)
{
	struct atom *p1, *F, *X;

	X = pop();
	F = pop();

	// is the entire expression constant?

	if (!dependent(F, X)) {
		push(F);
		return;
	}

	// sum?

	if (car(F) == symbol(ADD)) {
		decomp_sum(F, X);
		return;
	}

	// product?

	if (car(F) == symbol(MULTIPLY)) {
		decomp_product(F, X);
		return;
	}

	// naive decomp

	p1 = cdr(F);
	while (iscons(p1)) {
		push(car(p1));
		push(X);
		decomp();
		p1 = cdr(p1);
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movl 0x2712b(%rip), %eax     # 0x3f2b8
movl $0xfffe795f, %ecx       # imm = 0xFFFE795F
leal (%rax,%rcx), %edx
cmpl %ecx, %edx
jbe 0x18281
leal -0x1(%rax), %ecx
movl %ecx, 0x27112(%rip)     # 0x3f2b8
cmpl $0x1, %eax
jbe 0x18281
leaq 0x3040a(%rip), %rdx     # 0x485c0
movq (%rdx,%rcx,8), %rbx
addl $-0x2, %eax
movl %eax, 0x270f5(%rip)     # 0x3f2b8
movq (%rdx,%rax,8), %r14
movq %r14, %rdi
movq %rbx, %rsi
callq 0x18607
testl %eax, %eax
je 0x1823a
movb 0x10(%r14), %al
cmpb $0x1, %al
leaq 0x2d81d(%rip), %r15     # 0x45a00
movq %r15, %rcx
cmoveq %r14, %rcx
movq (%rcx), %rcx
cmpq 0x300ac(%rip), %rcx     # 0x482a0
je 0x18257
cmpq 0x300ab(%rip), %rcx     # 0x482a8
je 0x1826c
addq $0x8, %r14
cmpb $0x1, %al
cmovneq %r15, %r14
movq (%r14), %r14
cmpb $0x1, 0x10(%r14)
jne 0x1824c
movq (%r14), %rdi
callq 0x8ba5
movq %rbx, %rdi
callq 0x8ba5
callq 0x1817d
leaq 0x8(%r14), %rax
cmpb $0x1, 0x10(%r14)
cmovneq %r15, %rax
movq (%rax), %r14
jmp 0x1820c
movq %r14, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x8ba5
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
movq %r14, %rdi
movq %rbx, %rsi
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x186ac
movq %r14, %rdi
movq %rbx, %rsi
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x189dd
leaq 0x16cb9(%rip), %rdi     # 0x2ef41
callq 0x780b
// File: /workspace/github_c_makefile_star2_O3/georgeweigt[P]eigenmath/eigenmath.c
// Function: integral_classify
int
integral_classify(struct atom *p)
{
	int t = 0;

	if (iscons(p)) {
		while (iscons(p)) {
			t |= integral_classify(car(p));
			p = cdr(p);
		}
		return t;
	}

	if (p == symbol(EXP1))
		return 1;

	if (p == symbol(LOG))
		return 2;

	if (p == symbol(SIN) || p == symbol(COS) || p == symbol(TAN))
		return 4;

	return 0;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rdi, %rbx
cmpb $0x1, 0x10(%rdi)
jne 0x182b7
xorl %r14d, %r14d
movq (%rbx), %rdi
callq 0x1828d
orl %eax, %r14d
movq 0x8(%rbx), %rbx
cmpb $0x1, 0x10(%rbx)
je 0x182a0
jmp 0x18303
cmpq %rbx, 0x3000a(%rip)     # 0x482c8
je 0x182f5
cmpq %rbx, 0x2d109(%rip)     # 0x453d0
je 0x182fd
cmpq %rbx, 0x2e6f0(%rip)     # 0x469c0
sete %al
cmpq %rbx, 0x2b516(%rip)     # 0x437f0
sete %cl
orb %al, %cl
cmpq %rbx, 0x2e9ea(%rip)     # 0x46cd0
sete %al
orb %cl, %al
movzbl %al, %r14d
shll $0x2, %r14d
jmp 0x18303
movl $0x1, %r14d
jmp 0x18303
movl $0x2, %r14d
movl %r14d, %eax
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/georgeweigt[P]eigenmath/eigenmath.c
// Function: integral_search
int
integral_search(int h, struct atom *F, char **table, int n)
{
	int i;
	struct atom *C, *I;

	for (i = 0; i < n; i += 3) {

		scan1(table[i + 0]); // integrand
		I = pop();

		scan1(table[i + 2]); // condition
		C = pop();

		if (integral_search_nib(h, F, I, C))
			break;
	}

	if (i >= n)
		return 0;

	tos = h; // pop all

	scan1(table[i + 1]); // answer
	evalf();

	return 1;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rsi, -0x38(%rbp)
movl %edi, -0x2c(%rbp)
movl %ecx, -0x30(%rbp)
testl %ecx, %ecx
jle 0x183da
movq %rdx, %rbx
xorl %r12d, %r12d
movl $0xfffe795f, %r14d      # imm = 0xFFFE795F
leaq 0x3027f(%rip), %r13     # 0x485c0
movq (%rbx,%r12,8), %rdi
movl $0x1, 0xfe591(%rip)     # 0x1168e0
callq 0x28721
movl 0x26f5e(%rip), %eax     # 0x3f2b8
leal (%rax,%r14), %ecx
cmpl %r14d, %ecx
jbe 0x18417
decl %eax
movl %eax, 0x26f49(%rip)     # 0x3f2b8
movq (%r13,%rax,8), %r14
movq %rbx, %r15
movq 0x10(%rbx,%r12,8), %rdi
movl $0x1, 0xfe55a(%rip)     # 0x1168e0
callq 0x28721
movl 0x26f27(%rip), %eax     # 0x3f2b8
movl $0xfffe795f, %edx       # imm = 0xFFFE795F
leal (%rax,%rdx), %ecx
cmpl %edx, %ecx
jbe 0x18417
decl %eax
movl %eax, 0x26f13(%rip)     # 0x3f2b8
movq %r13, %rbx
movq (%r13,%rax,8), %rcx
movl -0x2c(%rbp), %edi
movq -0x38(%rbp), %rsi
movq %r14, %rdx
callq 0x18437
testl %eax, %eax
jne 0x183de
addq $0x3, %r12
cmpl -0x30(%rbp), %r12d
movq %rbx, %r13
movq %r15, %rbx
movl $0xfffe795f, %r14d      # imm = 0xFFFE795F
jl 0x18341
xorl %eax, %eax
jmp 0x18408
movl -0x2c(%rbp), %eax
movl %eax, 0x26ed1(%rip)     # 0x3f2b8
movl %r12d, %eax
movq 0x8(%r15,%rax,8), %rdi
movl $0x1, 0xfe4e7(%rip)     # 0x1168e0
callq 0x28721
callq 0x96e2
movl $0x1, %eax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x16b23(%rip), %rdi     # 0x2ef41
callq 0x780b
// File: /workspace/github_c_makefile_star2_O3/georgeweigt[P]eigenmath/eigenmath.c
// Function: integral_search_nib
int
integral_search_nib(int h, struct atom *F, struct atom *I, struct atom *C)
{
	int i, j;
	struct atom *p1;

	for (i = h; i < tos; i++) {

		set_symbol(symbol(SA), stack[i], symbol(NIL));

		for (j = h; j < tos; j++) {

			set_symbol(symbol(SB), stack[j], symbol(NIL));

			push(C);			// condition ok?
			evalf();
			p1 = pop();
			if (iszero(p1))
				continue;		// no, go to next j

			push(F);			// F = I?
			push(I);
			evalf();
			subtract();
			p1 = pop();
			if (iszero(p1))
				return 1;		// yes
		}
	}

	return 0;					// no
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq %rdx, -0x58(%rbp)
movq %rsi, -0x50(%rbp)
movl 0x26e62(%rip), %ebx     # 0x3f2b8
xorl %eax, %eax
cmpl %edi, %ebx
jle 0x185e0
movq %rcx, %r14
movslq %edi, %rax
leaq 0x30153(%rip), %rcx     # 0x485c0
leaq (%rcx,%rax,8), %rcx
movq %rcx, -0x38(%rbp)
movl $0xfffe795f, %r12d      # imm = 0xFFFE795F
movq %rax, -0x40(%rbp)
movq %rax, %rsi
movl %edi, -0x2c(%rbp)
movq 0x2fe44(%rip), %rax     # 0x482d0
cmpb $0x3, 0x10(%rax)
jne 0x185fb
movq 0x2d563(%rip), %rcx     # 0x45a00
leaq 0x3011c(%rip), %rdx     # 0x485c0
movq %rsi, -0x48(%rbp)
movq (%rdx,%rsi,8), %rdx
movl 0x8(%rax), %esi
leaq 0xf363a(%rip), %r8      # 0x10baf0
movq %rdx, (%r8,%rsi,8)
movl 0x8(%rax), %eax
leaq 0xf8a8c(%rip), %rdx     # 0x110f50
movq %rcx, (%rdx,%rax,8)
movq -0x38(%rbp), %r15
movq -0x40(%rbp), %r13
cmpl %edi, %ebx
jle 0x185c1
movq 0x2fdf9(%rip), %rax     # 0x482d8
cmpb $0x3, 0x10(%rax)
jne 0x185fb
movq 0x2d510(%rip), %rcx     # 0x45a00
movq (%r15), %rdx
movl 0x8(%rax), %esi
leaq 0xf35f3(%rip), %rdi     # 0x10baf0
movq %rdx, (%rdi,%rsi,8)
movl 0x8(%rax), %eax
leaq 0xf8a45(%rip), %rdx     # 0x110f50
movq %rcx, (%rdx,%rax,8)
movq %r14, %rdi
callq 0x8ba5
callq 0x96e2
movl 0x26d96(%rip), %ebx     # 0x3f2b8
leal (%rbx,%r12), %eax
cmpl %r12d, %eax
jbe 0x185ef
decl %ebx
movl %ebx, 0x26d81(%rip)     # 0x3f2b8
leaq 0x30082(%rip), %rax     # 0x485c0
movq (%rax,%rbx,8), %rdi
callq 0xb477
testl %eax, %eax
jne 0x185ad
movq -0x50(%rbp), %rdi
callq 0x8ba5
movq -0x58(%rbp), %rdi
callq 0x8ba5
callq 0x96e2
movq 0xfde87(%rip), %rdi     # 0x1163f0
callq 0x8ba5
movl $0x2, %edi
callq 0xacef
movl $0x2, %edi
callq 0xadb3
movl 0x26d30(%rip), %ebx     # 0x3f2b8
leal (%rbx,%r12), %eax
cmpl %r12d, %eax
jbe 0x185ef
decl %ebx
movl %ebx, 0x26d1f(%rip)     # 0x3f2b8
leaq 0x30020(%rip), %rax     # 0x485c0
movq (%rax,%rbx,8), %rdi
callq 0xb477
testl %eax, %eax
jne 0x185db
incq %r13
movl %ebx, %eax
addq $0x8, %r15
cmpq %rax, %r13
jl 0x184d8
jmp 0x185c4
movslq %ebx, %rax
movq -0x48(%rbp), %rsi
incq %rsi
cmpq %rax, %rsi
movl -0x2c(%rbp), %edi
jl 0x18485
xorl %eax, %eax
jmp 0x185e0
movl $0x1, %eax
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x1694b(%rip), %rdi     # 0x2ef41
callq 0x780b
leaq 0x16998(%rip), %rdi     # 0x2ef9a
callq 0x780b
// File: /workspace/github_c_makefile_star2_O3/georgeweigt[P]eigenmath/eigenmath.c
// Function: dependent
int
dependent(struct atom *f, struct atom *x)
{
	if (equal(f, x))
		return 1;

	// a user function with no arguments?

	if (isusersymbol(car(f)) && lengthf(f) == 1)
		return 1;

	while (iscons(f)) {
		if (dependent(car(f), x))
			return 1;
		f = cdr(f);
	}

	return 0;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %r15
callq 0x8d48
movl $0x1, %ebx
testl %eax, %eax
je 0x1869b
movb 0x10(%r15), %al
leaq 0x2d3cc(%rip), %r12     # 0x45a00
movq %r15, %rcx
cmpb $0x1, %al
cmovneq %r12, %rcx
jne 0x18660
movq (%rcx), %rcx
cmpb $0x3, 0x10(%rcx)
jne 0x18660
movl $0x1, %ecx
movq %r15, %rdx
movq 0x8(%rdx), %rdx
decl %ecx
cmpb $0x1, 0x10(%rdx)
je 0x18650
testl %ecx, %ecx
je 0x18696
cmpb $0x1, %al
jne 0x18692
leaq 0x10(%r15), %r13
movq (%r15), %rdi
movq %r14, %rsi
callq 0x18607
testl %eax, %eax
jne 0x1869b
addq $0x8, %r15
cmpb $0x1, (%r13)
cmovneq %r12, %r15
movq (%r15), %r15
leaq 0x10(%r15), %r13
cmpb $0x1, 0x10(%r15)
je 0x18668
xorl %ebx, %ebx
jmp 0x1869b
movl $0x1, %ebx
movl %ebx, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq