LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O1/georgeweigt[P]eigenmath/eigenmath.c
// Function: asubst
void
asubst(void)
{
	int h, i, n;
	struct atom *p1, *p2, *p3;

	p3 = pop(); // new expr
	p2 = pop(); // old expr
	p1 = pop(); // expr

	if (p2 == symbol(NIL) || p3 == symbol(NIL)) {
		push(p1);
		return;
	}

	if (istensor(p1)) {
		p1 = copy_tensor(p1);
		n = p1->u.tensor->nelem;
		for (i = 0; i < n; i++) {
			push(p1->u.tensor->elem[i]);
			push(p2);
			push(p3);
			asubst();
			p1->u.tensor->elem[i] = pop();
		}
		push(p1);
		return;
	}

	if (equal(p1, p2)) {
		push(p3);
		return;
	}

	if (!iscons(p1)) {
		push(p1);
		return;
	}

	// depth first

	h = tos;

	push(car(p1)); // func name
	p1 = cdr(p1);

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

	list(tos - h);

	evalf(); // normalize

	p1 = pop();

	if (addcmp(p1, p2)) {
		push(p1);
		push(p2);
		subtract();
		push(p3);
		add();
		return;
	}

	if (mulcmp(p1, p2) || powcmp(p1, p2)) {
		push(p1);
		push(p2);
		divide();
		push(p3);
		multiply();
		return;
	}

	push(p1);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
callq 0x8b78
movq %rax, %rbx
callq 0x8b78
movq %rax, %r14
callq 0x8b78
movq %rax, %r15
movq 0x2dfc2(%rip), %rax     # 0x40a00
cmpq %rax, %r14
sete %cl
cmpq %rax, %rbx
sete %al
orb %cl, %al
cmpb $0x1, %al
je 0x12be2
cmpb $0x7, 0x10(%r15)
jne 0x12ab5
movq %r15, %rdi
callq 0x953d
movq %rax, %r15
movq (%rax), %rax
movslq 0x64(%rax), %r12
testq %r12, %r12
jle 0x12be2
xorl %r13d, %r13d
movq (%r15), %rax
movq 0x68(%rax,%r13,8), %rdi
callq 0x8b01
movq %r14, %rdi
callq 0x8b01
movq %rbx, %rdi
callq 0x8b01
callq 0x12a11
callq 0x8b78
movq (%r15), %rcx
movq %rax, 0x68(%rcx,%r13,8)
incq %r13
cmpq %r13, %r12
jne 0x12a79
jmp 0x12be2
movq %r15, %rdi
movq %r14, %rsi
callq 0x8c79
testl %eax, %eax
je 0x12b28
cmpb $0x1, 0x10(%r15)
jne 0x12be2
movl 0x277e2(%rip), %r12d    # 0x3a2b8
movq (%r15), %rdi
callq 0x8b01
movq %r15, %rax
addq $0x8, %rax
cmpb $0x1, 0x10(%r15)
leaq 0x2df0f(%rip), %r15     # 0x40a00
cmovneq %r15, %rax
movq (%rax), %r13
cmpb $0x1, 0x10(%r13)
jne 0x12b30
movq (%r13), %rdi
callq 0x8b01
movq %r14, %rdi
callq 0x8b01
movq %rbx, %rdi
callq 0x8b01
callq 0x12a11
leaq 0x8(%r13), %rax
cmpb $0x1, 0x10(%r13)
jmp 0x12af1
movq %rbx, %rdi
jmp 0x12be5
movl 0x27782(%rip), %edi     # 0x3a2b8
subl %r12d, %edi
callq 0x8ad9
callq 0x95e2
callq 0x8b78
movq %rax, %r15
movq %rax, %rdi
movq %r14, %rsi
callq 0x12bf8
testl %eax, %eax
je 0x12b8f
movq %r15, %rdi
callq 0x8b01
movq %r14, %rdi
callq 0x8b01
callq 0xba6d
movq %rbx, %rdi
callq 0x8b01
movl $0x2, %edi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xa975
movq %r15, %rdi
movq %r14, %rsi
callq 0x12cb6
testl %eax, %eax
jne 0x12bad
movq %r15, %rdi
movq %r14, %rsi
callq 0x12d9f
testl %eax, %eax
je 0x12be2
movq %r15, %rdi
callq 0x8b01
movq %r14, %rdi
callq 0x8b01
callq 0xd9a4
movq %rbx, %rdi
callq 0x8b01
movl $0x2, %edi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xa8bb
movq %r15, %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x8b01
// File: /workspace/github_c_makefile_star2_O1/georgeweigt[P]eigenmath/eigenmath.c
// Function: addcmp
int
addcmp(struct atom *p1, struct atom *p2)
{
	if (car(p1) != symbol(ADD) || car(p2) != symbol(ADD))
		return 0;
	p1 = cdr(p1);
	p2 = cdr(p2);
	while (iscons(p1) && iscons(p2)) {
		if (equal(car(p1), car(p2)))
			p2 = cdr(p2); // next term on list
		p1 = cdr(p1);
	}
	if (iscons(p2))
		return 0;
	else
		return 1; // all terms matched
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movb 0x10(%rdi), %cl
cmpb $0x1, %cl
leaq 0x2ddf0(%rip), %rbx     # 0x40a00
movq %rbx, %rdx
cmoveq %rdi, %rdx
movq 0x30682(%rip), %r8      # 0x432a0
xorl %eax, %eax
cmpq %r8, (%rdx)
jne 0x12cad
movb 0x10(%rsi), %dl
cmpb $0x1, %dl
movq %rbx, %r9
cmoveq %rsi, %r9
cmpq %r8, (%r9)
jne 0x12cad
addq $0x8, %rdi
cmpb $0x1, %cl
cmovneq %rbx, %rdi
addq $0x8, %rsi
cmpb $0x1, %dl
cmovneq %rbx, %rsi
movq (%rsi), %r14
movq (%rdi), %r15
cmpb $0x1, 0x10(%r15)
jne 0x12ca3
leaq 0x10(%r15), %r12
cmpb $0x1, 0x10(%r14)
jne 0x12ca3
movq (%r15), %rdi
movq (%r14), %rsi
callq 0x8c79
testl %eax, %eax
jne 0x12c88
cmpb $0x1, 0x10(%r14)
leaq 0x8(%r14), %rax
cmovneq %rbx, %rax
movq (%rax), %r14
addq $0x8, %r15
cmpb $0x1, (%r12)
cmovneq %rbx, %r15
movq (%r15), %r15
leaq 0x10(%r15), %r12
cmpb $0x1, 0x10(%r15)
je 0x12c62
xorl %eax, %eax
cmpb $0x1, 0x10(%r14)
setne %al
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/georgeweigt[P]eigenmath/eigenmath.c
// Function: mulcmp
int
mulcmp(struct atom *p1, struct atom *p2)
{
	if (car(p1) != symbol(MULTIPLY) || car(p2) != symbol(MULTIPLY))
		return 0;
	p1 = cdr(p1);
	p2 = cdr(p2);
	while (iscons(p1) && iscons(p2)) {
		if (equal(car(p1), car(p2)) || powcmp(car(p1), car(p2)))
			p2 = cdr(p2); // next factor on list
		p1 = cdr(p1);
	}
	if (iscons(p2))
		return 0;
	else
		return 1; // all factors matched
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movb 0x10(%rdi), %cl
cmpb $0x1, %cl
leaq 0x2dd32(%rip), %rbx     # 0x40a00
movq %rbx, %rdx
cmoveq %rdi, %rdx
movq 0x305cc(%rip), %r8      # 0x432a8
xorl %eax, %eax
cmpq %r8, (%rdx)
jne 0x12d96
movb 0x10(%rsi), %dl
cmpb $0x1, %dl
movq %rbx, %r9
cmoveq %rsi, %r9
cmpq %r8, (%r9)
jne 0x12d96
addq $0x8, %rdi
cmpb $0x1, %cl
cmovneq %rbx, %rdi
addq $0x8, %rsi
cmpb $0x1, %dl
cmovneq %rbx, %rsi
movq (%rsi), %r14
movq (%rdi), %r15
cmpb $0x1, 0x10(%r15)
jne 0x12d8c
leaq 0x10(%r15), %r12
cmpb $0x1, 0x10(%r14)
jne 0x12d8c
movq (%r15), %rdi
movq (%r14), %rsi
callq 0x8c79
testl %eax, %eax
je 0x12d61
cmpb $0x1, (%r12)
movq %rbx, %rax
cmoveq %r15, %rax
movq (%rax), %rdi
cmpb $0x1, 0x10(%r14)
movq %rbx, %rax
cmoveq %r14, %rax
movq (%rax), %rsi
callq 0x12d9f
testl %eax, %eax
je 0x12d71
cmpb $0x1, 0x10(%r14)
leaq 0x8(%r14), %rax
cmovneq %rbx, %rax
movq (%rax), %r14
addq $0x8, %r15
cmpb $0x1, (%r12)
cmovneq %rbx, %r15
movq (%r15), %r15
leaq 0x10(%r15), %r12
cmpb $0x1, 0x10(%r15)
je 0x12d24
xorl %eax, %eax
cmpb $0x1, 0x10(%r14)
setne %al
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/georgeweigt[P]eigenmath/eigenmath.c
// Function: powcmp
int
powcmp(struct atom *p1, struct atom *p2)
{
	if (car(p1) != symbol(POWER) || car(p2) != symbol(POWER))
		return 0;
	if (!equal(cadr(p1), cadr(p2)))
		return 0; // bases don't match
	p1 = caddr(p1); // exponent
	p2 = caddr(p2); // exponent
	if (car(p1) != symbol(ADD))
		return 0; // p1 and p2 already failed exact match
	if (car(p2) == symbol(ADD))
		return addcmp(p1, p2);
	p1 = cdr(p1);
	while (iscons(p1)) {
		if (equal(car(p1), p2))
			return 1;
		p1 = cdr(p1);
	}
	return 0;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movb 0x10(%rdi), %al
cmpb $0x1, %al
leaq 0x2dc47(%rip), %r12     # 0x40a00
movq %r12, %rcx
cmoveq %rdi, %rcx
movq 0x304e9(%rip), %rdx     # 0x432b0
xorl %ebx, %ebx
cmpq %rdx, (%rcx)
jne 0x12ec8
movq %rsi, %r14
movb 0x10(%rsi), %cl
cmpb $0x1, %cl
movq %r12, %rsi
cmoveq %r14, %rsi
cmpq %rdx, (%rsi)
jne 0x12ec8
movq %rdi, %r15
leaq 0x8(%rdi), %r13
cmpb $0x1, %al
movq %r12, %rax
cmoveq %r13, %rax
movq (%rax), %rax
cmpb $0x1, 0x10(%rax)
cmovneq %r12, %rax
leaq 0x8(%r14), %rdx
cmpb $0x1, %cl
movq %r12, %rcx
movq %rdx, -0x30(%rbp)
cmoveq %rdx, %rcx
movq (%rcx), %rcx
cmpb $0x1, 0x10(%rcx)
movq (%rax), %rdi
cmovneq %r12, %rcx
movq (%rcx), %rsi
callq 0x8c79
testl %eax, %eax
jne 0x12ec8
movq -0x30(%rbp), %rsi
cmpb $0x1, 0x10(%r15)
cmovneq %r12, %r13
movq (%r13), %rax
movb 0x10(%rax), %cl
addq $0x8, %rax
cmpb $0x1, %cl
movq %r12, %rdx
cmoveq %rax, %rdx
movq (%rdx), %rdx
cmpb $0x1, 0x10(%rdx)
movq %r12, %rdx
jne 0x12e75
cmpb $0x1, %cl
leaq 0x2db92(%rip), %rcx     # 0x40a00
cmoveq %rax, %rcx
movq (%rcx), %rdx
cmpb $0x1, 0x10(%r14)
cmovneq %r12, %rsi
movq (%rdx), %rdi
movq (%rsi), %rax
movb 0x10(%rax), %dl
addq $0x8, %rax
cmpb $0x1, %dl
movq %r12, %rcx
cmoveq %rax, %rcx
movq (%rcx), %rcx
cmpb $0x1, 0x10(%rcx)
movq %r12, %rcx
jne 0x12eb2
cmpb $0x1, %dl
leaq 0x2db55(%rip), %rcx     # 0x40a00
cmoveq %rax, %rcx
movq (%rcx), %rcx
movb 0x10(%rdi), %al
cmpb $0x1, %al
cmoveq %rdi, %r12
movq 0x303de(%rip), %rdx     # 0x432a0
cmpq %rdx, (%r12)
je 0x12ed9
movl %ebx, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq (%rcx), %r14
cmpb $0x1, 0x10(%r14)
leaq 0x2db18(%rip), %r15     # 0x40a00
movq %r15, %rcx
cmoveq %r14, %rcx
cmpq %rdx, (%rcx)
je 0x12f3e
addq $0x8, %rdi
cmpb $0x1, %al
cmovneq %r15, %rdi
movq (%rdi), %r12
cmpb $0x1, 0x10(%r12)
jne 0x12ec8
leaq 0x10(%r12), %r13
movq (%r12), %rdi
movq %r14, %rsi
callq 0x8c79
testl %eax, %eax
je 0x12f54
addq $0x8, %r12
cmpb $0x1, (%r13)
cmovneq %r15, %r12
movq (%r12), %r12
leaq 0x10(%r12), %r13
cmpb $0x1, 0x10(%r12)
je 0x12f0e
jmp 0x12ec8
movq %r14, %rsi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x12bf8
movl $0x1, %ebx
jmp 0x12ec8
// File: /workspace/github_c_makefile_star2_O1/georgeweigt[P]eigenmath/eigenmath.c
// Function: expcos
void
expcos(void)
{
	struct atom *p1;
	p1 = pop();

	push(imaginaryunit);
	push(p1);
	multiply();
	expfunc();
	push_rational(1, 2);
	multiply();

	push(imaginaryunit);
	negate();
	push(p1);
	multiply();
	expfunc();
	push_rational(1, 2);
	multiply();

	add();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
callq 0x8b78
movq %rax, %rbx
movq 0xf3af2(%rip), %rdi     # 0x106ae0
callq 0x8b01
movq %rbx, %rdi
callq 0x8b01
movl $0x2, %edi
callq 0xa8bb
movq 0x302bc(%rip), %rdi     # 0x432c8
callq 0x8b01
callq 0xad38
callq 0xa234
movl $0x1, %edi
movl $0x2, %esi
callq 0xa1f4
movl $0x2, %edi
callq 0xa8bb
movq 0xf3aa5(%rip), %rdi     # 0x106ae0
callq 0x8b01
movq 0xfe3a9(%rip), %rdi     # 0x1113f0
callq 0x8b01
movl $0x2, %edi
callq 0xa8bb
movq %rbx, %rdi
callq 0x8b01
movl $0x2, %edi
callq 0xa8bb
movq 0x30259(%rip), %rdi     # 0x432c8
callq 0x8b01
callq 0xad38
callq 0xa234
movl $0x1, %edi
movl $0x2, %esi
callq 0xa1f4
movl $0x2, %edi
callq 0xa8bb
movl $0x2, %edi
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0xa975
// File: /workspace/github_c_makefile_star2_O1/georgeweigt[P]eigenmath/eigenmath.c
// Function: expcosh
void
expcosh(void)
{
	struct atom *p1;
	p1 = pop();
	push(p1);
	expfunc();
	push(p1);
	negate();
	expfunc();
	add();
	push_rational(1, 2);
	multiply();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
callq 0x8b78
movq %rax, %rbx
movq %rax, %rdi
callq 0x8b01
movq 0x301cf(%rip), %rdi     # 0x432c8
callq 0x8b01
callq 0xad38
callq 0xa234
movq %rbx, %rdi
callq 0x8b01
movq 0xfe2d9(%rip), %rdi     # 0x1113f0
callq 0x8b01
movl $0x2, %edi
callq 0xa8bb
movq 0x3019b(%rip), %rdi     # 0x432c8
callq 0x8b01
callq 0xad38
callq 0xa234
movl $0x2, %edi
callq 0xa975
movl $0x1, %edi
movl $0x2, %esi
callq 0xa1f4
movl $0x2, %edi
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0xa8bb
// File: /workspace/github_c_makefile_star2_O1/georgeweigt[P]eigenmath/eigenmath.c
// Function: expsin
void
expsin(void)
{
	struct atom *p1;
	p1 = pop();

	push(imaginaryunit);
	push(p1);
	multiply();
	expfunc();
	push(imaginaryunit);
	divide();
	push_rational(1, 2);
	multiply();

	push(imaginaryunit);
	negate();
	push(p1);
	multiply();
	expfunc();
	push(imaginaryunit);
	divide();
	push_rational(1, 2);
	multiply();

	subtract();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
callq 0x8b78
movq %rax, %rbx
movq 0xf34be(%rip), %rdi     # 0x106ae0
callq 0x8b01
movq %rbx, %rdi
callq 0x8b01
movl $0x2, %edi
callq 0xa8bb
movq 0x2fc88(%rip), %rdi     # 0x432c8
callq 0x8b01
callq 0xad38
callq 0xa234
movq 0xf348a(%rip), %rdi     # 0x106ae0
callq 0x8b01
callq 0xd9a4
movl $0x1, %edi
movl $0x2, %esi
callq 0xa1f4
movl $0x2, %edi
callq 0xa8bb
movq 0xf3460(%rip), %rdi     # 0x106ae0
callq 0x8b01
movq 0xfdd64(%rip), %rdi     # 0x1113f0
callq 0x8b01
movl $0x2, %edi
callq 0xa8bb
movq %rbx, %rdi
callq 0x8b01
movl $0x2, %edi
callq 0xa8bb
movq 0x2fc14(%rip), %rdi     # 0x432c8
callq 0x8b01
callq 0xad38
callq 0xa234
movq 0xf3416(%rip), %rdi     # 0x106ae0
callq 0x8b01
callq 0xd9a4
movl $0x1, %edi
movl $0x2, %esi
callq 0xa1f4
movl $0x2, %edi
callq 0xa8bb
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0xba6d
// File: /workspace/github_c_makefile_star2_O1/georgeweigt[P]eigenmath/eigenmath.c
// Function: exptan
void
exptan(void)
{
	struct atom *p1;

	push_integer(2);
	push(imaginaryunit);
	multiply_factors(3);
	expfunc();

	p1 = pop();

	push(imaginaryunit);
	push(imaginaryunit);
	push(p1);
	multiply();
	subtract();

	push(p1);
	push_integer(1);
	add();

	divide();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movl $0x2, %edi
callq 0xacbe
movq 0xf33d1(%rip), %rdi     # 0x106ae0
callq 0x8b01
movl $0x3, %edi
callq 0xa8bb
movq 0x2fba3(%rip), %rdi     # 0x432c8
callq 0x8b01
callq 0xad38
callq 0xa234
callq 0x8b78
movq %rax, %rbx
movq 0xf339d(%rip), %rdi     # 0x106ae0
callq 0x8b01
movq 0xf3391(%rip), %rdi     # 0x106ae0
callq 0x8b01
movq %rbx, %rdi
callq 0x8b01
movl $0x2, %edi
callq 0xa8bb
callq 0xba6d
movq %rbx, %rdi
callq 0x8b01
movq 0xf335e(%rip), %rdi     # 0x106ad8
callq 0x8b01
movl $0x2, %edi
callq 0xa975
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0xd9a4
// File: /workspace/github_c_makefile_star2_O1/georgeweigt[P]eigenmath/eigenmath.c
// Function: expsinh
void
expsinh(void)
{
	struct atom *p1;
	p1 = pop();
	push(p1);
	expfunc();
	push(p1);
	negate();
	expfunc();
	subtract();
	push_rational(1, 2);
	multiply();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
callq 0x8b78
movq %rax, %rbx
movq %rax, %rdi
callq 0x8b01
movq 0x2fb17(%rip), %rdi     # 0x432c8
callq 0x8b01
callq 0xad38
callq 0xa234
movq %rbx, %rdi
callq 0x8b01
movq 0xfdc21(%rip), %rdi     # 0x1113f0
callq 0x8b01
movl $0x2, %edi
callq 0xa8bb
movq 0x2fae3(%rip), %rdi     # 0x432c8
callq 0x8b01
callq 0xad38
callq 0xa234
callq 0xba6d
movl $0x1, %edi
movl $0x2, %esi
callq 0xa1f4
movl $0x2, %edi
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0xa8bb
// File: /workspace/github_c_makefile_star2_O1/georgeweigt[P]eigenmath/eigenmath.c
// Function: exptanh
void
exptanh(void)
{
	struct atom *p1;
	push_integer(2);
	multiply();
	expfunc();
	p1 = pop();
	push(p1);
	push_integer(1);
	subtract();
	push(p1);
	push_integer(1);
	add();
	divide();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movl $0x2, %edi
callq 0xacbe
movl $0x2, %edi
callq 0xa8bb
movq 0x2fa8f(%rip), %rdi     # 0x432c8
callq 0x8b01
callq 0xad38
callq 0xa234
callq 0x8b78
movq %rax, %rbx
movq %rax, %rdi
callq 0x8b01
movq 0xf3279(%rip), %rdi     # 0x106ad8
callq 0x8b01
callq 0xba6d
movq %rbx, %rdi
callq 0x8b01
movq 0xf3260(%rip), %rdi     # 0x106ad8
callq 0x8b01
movl $0x2, %edi
callq 0xa975
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0xd9a4
// File: /workspace/github_c_makefile_star2_O1/georgeweigt[P]eigenmath/eigenmath.c
// Function: factorial
void
factorial(void)
{
	int i, n;
	double m;
	struct atom *p1;

	p1 = pop();

	if (isposint(p1)) {
		push(p1);
		n = pop_integer();
		push_integer(1);
		for (i = 2; i <= n; i++) {
			push_integer(i);
			multiply();
		}
		return;
	}

	if (isdouble(p1) && p1->u.d >= 0 && floor(p1->u.d) == p1->u.d) {
		push(p1);
		n = pop_integer();
		m = 1.0;
		for (i = 2; i <= n; i++)
			m *= i;
		push_double(m);
		return;
	}

	push_symbol(FACTORIAL);
	push(p1);
	list(2);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
subq $0x10, %rsp
callq 0x8b78
movq %rax, %rbx
movq %rax, %rdi
callq 0x13ac6
testl %eax, %eax
je 0x13a10
movq %rbx, %rdi
callq 0x8b01
callq 0xeb5b
movl %eax, %ebx
movq 0xf3108(%rip), %rdi     # 0x106ad8
callq 0x8b01
cmpl $0x2, %ebx
jl 0x13a07
negl %ebx
movl $0x2, %r14d
movl %r14d, %edi
callq 0xacbe
movl $0x2, %edi
callq 0xa8bb
leal (%rbx,%r14), %eax
incl %eax
movl %r14d, %ecx
incl %ecx
movl %ecx, %r14d
cmpl $0x1, %eax
jne 0x139e2
addq $0x10, %rsp
popq %rbx
popq %r14
popq %rbp
retq
cmpb $0x5, 0x10(%rbx)
jne 0x13a57
movsd (%rbx), %xmm0
movsd %xmm0, -0x18(%rbp)
callq 0x7300
xorpd %xmm1, %xmm1
movsd -0x18(%rbp), %xmm2
ucomisd %xmm1, %xmm2
jb 0x13a57
ucomisd %xmm2, %xmm0
jne 0x13a57
jp 0x13a57
movq %rbx, %rdi
callq 0x8b01
callq 0xeb5b
cmpl $0x2, %eax
jge 0x13a7d
movsd 0x126bb(%rip), %xmm2    # 0x26110
jmp 0x13a9f
movq 0x2b6a2(%rip), %rdi     # 0x3f100
callq 0x8b01
movq %rbx, %rdi
callq 0x8b01
movl $0x2, %edi
addq $0x10, %rsp
popq %rbx
popq %r14
popq %rbp
jmp 0x8ad9
decl %eax
movsd 0x12689(%rip), %xmm0    # 0x26110
movsd 0x126a9(%rip), %xmm1    # 0x26138
movapd %xmm0, %xmm2
mulsd %xmm1, %xmm2
addsd %xmm0, %xmm1
decl %eax
jne 0x13a93
movsd %xmm2, -0x18(%rbp)
callq 0x74ec
movb $0x5, 0x10(%rax)
movsd -0x18(%rbp), %xmm0
movsd %xmm0, (%rax)
movq %rax, %rdi
addq $0x10, %rsp
popq %rbx
popq %r14
popq %rbp
jmp 0x8b01
// File: /workspace/github_c_makefile_star2_O1/georgeweigt[P]eigenmath/eigenmath.c
// Function: floorfunc
void
floorfunc(void)
{
	int i, n;
	uint32_t *a, *b;
	double d;
	struct atom *p1;

	p1 = pop();

	if (istensor(p1)) {
		p1 = copy_tensor(p1);
		n = p1->u.tensor->nelem;
		for (i = 0; i < n; i++) {
			push(p1->u.tensor->elem[i]);
			floorfunc();
			p1->u.tensor->elem[i] = pop();
		}
		push(p1);
		return;
	}

	if (isinteger(p1)) {
		push(p1);
		return;
	}

	if (isrational(p1)) {
		a = mdiv(p1->u.q.a, p1->u.q.b);
		b = mint(1);
		if (isnegativenumber(p1)) {
			push_bignum(MMINUS, a, b);
			push_integer(-1);
			add();
		} else
			push_bignum(MPLUS, a, b);
		return;
	}

	if (isdouble(p1)) {
		push(p1);
		d = pop_double();
		d = floor(d);
		push_double(d);
		return;
	}

	push_symbol(FLOOR);
	push(p1);
	list(2);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
callq 0x8b78
movq %rax, %rbx
movzbl 0x10(%rax), %eax
cmpl $0x4, %eax
je 0x13f1c
cmpl $0x5, %eax
je 0x13f6e
cmpl $0x7, %eax
jne 0x13fa9
movq %rbx, %rdi
callq 0x953d
movq %rax, %rbx
movq (%rax), %rax
movslq 0x64(%rax), %r14
testq %r14, %r14
jle 0x13f2b
xorl %r15d, %r15d
movq (%rbx), %rax
movq 0x68(%rax,%r15,8), %rdi
callq 0x8b01
callq 0x13eac
callq 0x8b78
movq (%rbx), %rcx
movq %rax, 0x68(%rcx,%r15,8)
incq %r15
cmpq %r15, %r14
jne 0x13ef3
jmp 0x13f2b
movq 0x8(%rbx), %rcx
cmpl $0x1, -0x4(%rcx)
jne 0x13f30
cmpl $0x1, (%rcx)
jne 0x13f30
movq %rbx, %rdi
jmp 0x13f9a
cmpl $0x5, %eax
je 0x13f6e
cmpl $0x4, %eax
jne 0x13fa9
movq (%rbx), %rdi
movq 0x8(%rbx), %rsi
callq 0x8049
movq %rax, %r14
movl $0x1, %edi
callq 0x7ad5
movzbl 0x10(%rbx), %ecx
cmpl $0x5, %ecx
je 0x13fd1
cmpl $0x4, %ecx
jne 0x14010
cmpb $0x1, 0x12(%rbx)
sete %cl
jmp 0x13fdc
movq %rbx, %rdi
callq 0x8b01
callq 0x9086
callq 0x7300
movsd %xmm0, -0x20(%rbp)
callq 0x74ec
movb $0x5, 0x10(%rax)
movsd -0x20(%rbp), %xmm0
movsd %xmm0, (%rax)
movq %rax, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x8b01
movq 0x2b160(%rip), %rdi     # 0x3f110
callq 0x8b01
movq %rbx, %rdi
callq 0x8b01
movl $0x2, %edi
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x8ad9
xorpd %xmm0, %xmm0
ucomisd (%rbx), %xmm0
seta %cl
testb %cl, %cl
je 0x14010
movl $0x1, %edi
movq %r14, %rsi
movq %rax, %rdx
callq 0xb9f7
movq 0xfd3f9(%rip), %rdi     # 0x1113f0
callq 0x8b01
movl $0x2, %edi
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0xa975
xorl %edi, %edi
movq %r14, %rsi
movq %rax, %rdx
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0xb9f7
// File: /workspace/github_c_makefile_star2_O1/georgeweigt[P]eigenmath/eigenmath.c
// Function: issmallinteger
int
issmallinteger(struct atom *p)
{
	if (isinteger(p))
		return MLENGTH(p->u.q.a) == 1 && p->u.q.a[0] <= 0x7fffffff;

	if (isdouble(p))
		return p->u.d == floor(p->u.d) && fabs(p->u.d) <= 0x7fffffff;

	return 0;
}

// Assembly:
movzbl 0x10(%rdi), %eax
cmpl $0x5, %eax
je 0x14370
cmpl $0x4, %eax
jne 0x143b8
movq 0x8(%rdi), %rcx
cmpl $0x1, -0x4(%rcx)
jne 0x1436c
cmpl $0x1, (%rcx)
jne 0x1436c
movq (%rdi), %rax
cmpl $0x1, -0x4(%rax)
jne 0x143b8
cmpl $0x0, (%rax)
setns %al
jmp 0x143ba
cmpb $0x5, %al
jne 0x143b8
pushq %rbp
movq %rsp, %rbp
subq $0x10, %rsp
movsd (%rdi), %xmm0
movapd %xmm0, -0x10(%rbp)
callq 0x7300
movapd 0x11d72(%rip), %xmm1    # 0x26100
movapd -0x10(%rbp), %xmm3
andpd %xmm3, %xmm1
movsd 0x11da1(%rip), %xmm2    # 0x26140
cmplepd %xmm2, %xmm1
cmpeqpd %xmm3, %xmm0
andpd %xmm1, %xmm0
movd %xmm0, %eax
addq $0x10, %rsp
popq %rbp
jmp 0x143ba
xorl %eax, %eax
movzbl %al, %eax
andl $0x1, %eax
retq
// File: /workspace/github_c_makefile_star2_O1/georgeweigt[P]eigenmath/eigenmath.c
// Function: set_symbol
void
set_symbol(struct atom *p1, struct atom *p2, struct atom *p3)
{
	if (!isusersymbol(p1))
		stopf("symbol error");
	binding[p1->u.usym.index] = p2;
	usrfunc[p1->u.usym.index] = p3;
}

// Assembly:
cmpb $0x3, 0x10(%rdi)
jne 0x143e4
movl 0x8(%rdi), %eax
leaq 0xf271f(%rip), %rcx     # 0x106af0
movq %rsi, (%rcx,%rax,8)
movl 0x8(%rdi), %eax
leaq 0xf7b71(%rip), %rcx     # 0x10bf50
movq %rdx, (%rcx,%rax,8)
retq
pushq %rbp
movq %rsp, %rbp
leaq 0x16b8b(%rip), %rdi     # 0x2af7a
callq 0x77c8
// File: /workspace/github_c_makefile_star2_O1/georgeweigt[P]eigenmath/eigenmath.c
// Function: eval_hadamard
void
eval_hadamard(struct atom *p1)
{
	push(cadr(p1));
	evalf();
	p1 = cddr(p1);
	while (iscons(p1)) {
		push(car(p1));
		evalf();
		hadamard();
		p1 = cdr(p1);
	}
}

// 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 0x2c5f0(%rip), %r14     # 0x40a00
movq %r14, %rax
cmoveq %r15, %rax
movq (%rax), %rax
cmpb $0x1, 0x10(%rax)
cmovneq %r14, %rax
movq (%rax), %rdi
callq 0x8b01
callq 0x95e2
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 0x14472
movq (%rbx), %rdi
callq 0x8b01
callq 0x95e2
callq 0x1447d
leaq 0x8(%rbx), %rax
cmpb $0x1, 0x10(%rbx)
cmovneq %r14, %rax
movq (%rax), %rbx
jmp 0x14449
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/georgeweigt[P]eigenmath/eigenmath.c
// Function: hadamard
void
hadamard(void)
{
	int i, n;
	struct atom *p1, *p2;

	p2 = pop();
	p1 = pop();

	if (!istensor(p1) || !istensor(p2)) {
		push(p1);
		push(p2);
		multiply();
		return;
	}

	if (p1->u.tensor->ndim != p2->u.tensor->ndim)
		stopf("hadamard");

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

	for (i = 0; i < n; i++)
		if (p1->u.tensor->dim[i] != p2->u.tensor->dim[i])
			stopf("hadamard");

	p1 = copy_tensor(p1);

	n = p1->u.tensor->nelem;

	for (i = 0; i < n; i++) {
		push(p1->u.tensor->elem[i]);
		push(p2->u.tensor->elem[i]);
		multiply();
		p1->u.tensor->elem[i] = pop();
	}

	push(p1);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
callq 0x8b78
movq %rax, %rbx
callq 0x8b78
cmpb $0x7, 0x10(%rax)
jne 0x14547
cmpb $0x7, 0x10(%rbx)
jne 0x14547
movq (%rax), %rcx
movl (%rcx), %ecx
movq (%rbx), %rdx
cmpl (%rdx), %ecx
jne 0x14569
movq (%rax), %rcx
movslq (%rcx), %rcx
testq %rcx, %rcx
jle 0x144e4
movq (%rax), %rdx
movq (%rbx), %rsi
xorl %edi, %edi
movl 0x4(%rdx,%rdi,4), %r8d
cmpl 0x4(%rsi,%rdi,4), %r8d
jne 0x14569
incq %rdi
cmpq %rdi, %rcx
jne 0x144cc
movq %rax, %rdi
callq 0x953d
movq %rax, %r14
movq (%rax), %rax
movslq 0x64(%rax), %r15
testq %r15, %r15
jle 0x14537
xorl %r12d, %r12d
movq (%r14), %rax
movq 0x68(%rax,%r12,8), %rdi
callq 0x8b01
movq (%rbx), %rax
movq 0x68(%rax,%r12,8), %rdi
callq 0x8b01
movl $0x2, %edi
callq 0xa8bb
callq 0x8b78
movq (%r14), %rcx
movq %rax, 0x68(%rcx,%r12,8)
incq %r12
cmpq %r12, %r15
jne 0x144fe
movq %r14, %rdi
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x8b01
movq %rax, %rdi
callq 0x8b01
movq %rbx, %rdi
callq 0x8b01
movl $0x2, %edi
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0xa8bb
leaq 0x11df8(%rip), %rdi     # 0x26368
callq 0x77c8
// File: /workspace/github_c_makefile_star2_O1/georgeweigt[P]eigenmath/eigenmath.c
// Function: eval_index
void
eval_index(struct atom *p1)
{
	int h, n;
	struct atom *T;

	T = cadr(p1);

	p1 = cddr(p1);

	h = tos;

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

	// try to optimize by indexing before eval

	if (isusersymbol(T)) {
		p1 = get_binding(T);
		n = tos - h;
		if (istensor(p1) && n <= p1->u.tensor->ndim) {
			T = p1;
			indexfunc(T, h);
			evalf();
			return;
		}
	}

	push(T);
	evalf();
	T = pop();

	if (!istensor(T)) {
		tos = h; // pop all
		push(T); // quirky, but EVA2.txt depends on it
		return;
	}

	indexfunc(T, h);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
leaq 0x8(%rdi), %rax
cmpb $0x1, 0x10(%rdi)
leaq 0x2c19d(%rip), %r15     # 0x40a00
cmovneq %r15, %rax
movq (%rax), %rax
leaq 0x8(%rax), %rcx
cmpb $0x1, 0x10(%rax)
cmovneq %r15, %rax
movq (%rax), %r14
cmovneq %r15, %rcx
movl 0x25a35(%rip), %ebx     # 0x3a2b8
movq (%rcx), %r12
cmpb $0x1, 0x10(%r12)
jne 0x148b0
movq (%r12), %rdi
callq 0x8b01
callq 0x95e2
leaq 0x8(%r12), %rax
cmpb $0x1, 0x10(%r12)
cmovneq %r15, %rax
movq (%rax), %r12
jmp 0x14886
cmpb $0x3, 0x10(%r14)
jne 0x148d4
movq %r14, %rdi
callq 0xe468
cmpb $0x7, 0x10(%rax)
jne 0x148d4
movl 0x259ed(%rip), %ecx     # 0x3a2b8
subl %ebx, %ecx
movq (%rax), %rdx
cmpl (%rdx), %ecx
jle 0x14914
movq %r14, %rdi
callq 0x8b01
callq 0x95e2
callq 0x8b78
cmpb $0x7, 0x10(%rax)
jne 0x148fe
movq %rax, %rdi
movl %ebx, %esi
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x1492b
movl %ebx, 0x259b4(%rip)     # 0x3a2b8
movq %rax, %rdi
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x8b01
movq %rax, %rdi
movl %ebx, %esi
callq 0x1492b
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x95e2
// File: /workspace/github_c_makefile_star2_O1/georgeweigt[P]eigenmath/eigenmath.c
// Function: eval_infixform
void
eval_infixform(struct atom *p1)
{
	push(cadr(p1));
	evalf();
	p1 = pop();

	outbuf_init();
	infixform_expr(p1);

	push_string(outbuf);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
cmpb $0x1, 0x10(%rdi)
leaq 0x8(%rdi), %rax
leaq 0x2bf09(%rip), %rcx     # 0x40a00
cmovneq %rcx, %rax
movq (%rax), %rax
cmpb $0x1, 0x10(%rax)
cmoveq %rax, %rcx
movq (%rcx), %rdi
callq 0x8b01
callq 0x95e2
callq 0x8b78
movq %rax, %rbx
movl $0x0, 0xfccd3(%rip)     # 0x1117f8
leaq 0x1639f(%rip), %rdi     # 0x2aecb
callq 0x14c8d
movq %rbx, %rdi
callq 0x14b66
movq 0xfc888(%rip), %rdi     # 0x1113c8
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x14bf5
// File: /workspace/github_c_makefile_star2_O1/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 %r14
pushq %rbx
movq %rdi, %rbx
callq 0xa813
leaq 0x2be84(%rip), %r14     # 0x40a00
testl %eax, %eax
je 0x14b8e
leaq 0x11835(%rip), %rdi     # 0x263bc
callq 0x14c8d
jmp 0x14ba6
movb 0x10(%rbx), %al
cmpb $0x1, %al
movq %r14, %rcx
cmoveq %rbx, %rcx
movq (%rcx), %rcx
cmpq 0x2e6fc(%rip), %rcx     # 0x432a0
je 0x14bd2
cmpb $0x1, 0x10(%rbx)
cmoveq %rbx, %r14
movq (%r14), %rax
cmpq 0x2e6e8(%rip), %rax     # 0x432a0
je 0x14bc6
movq %rbx, %rdi
popq %rbx
popq %r14
popq %rbp
jmp 0x14e1b
movq %rbx, %rdi
popq %rbx
popq %r14
popq %rbp
jmp 0x14d6f
leaq 0x8(%rbx), %rcx
cmpb $0x1, %al
cmovneq %r14, %rcx
movq (%rcx), %rax
cmpb $0x1, 0x10(%rax)
cmovneq %r14, %rax
movq (%rax), %rdi
callq 0xa813
testl %eax, %eax
jne 0x14b80
jmp 0x14ba6
// File: /workspace/github_c_makefile_star2_O1/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 0x74ec
movq %rax, %rbx
movb $0x6, 0x10(%rax)
movq $0x0, (%rax)
incl 0x29534(%rip)           # 0x3e14c
movq %r14, %rdi
callq 0x7360
testq %rax, %rax
je 0x14c34
movq %rax, (%rbx)
movq %rbx, %rdi
popq %rbx
popq %r14
popq %rbp
jmp 0x8b01
movl $0x1, %edi
callq 0x7330
// File: /workspace/github_c_makefile_star2_O1/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, 0xfcba7(%rip)     # 0x1117f8
leaq 0x16273(%rip), %rdi     # 0x2aecb
callq 0x14c8d
movq %rbx, %rdi
callq 0x14b66
leaq 0x1625e(%rip), %rdi     # 0x2aeca
callq 0x14c8d
movq 0xfc750(%rip), %rdi     # 0x1113c8
movq 0x1e351(%rip), %rax     # 0x32fd0
movq (%rax), %rsi
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x7120
// File: /workspace/github_c_makefile_star2_O1/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 0xfcb50(%rip), %eax     # 0x1117f8
addl %r14d, %eax
cltq
imulq $0x10624dd3, %rax, %rax # imm = 0x10624DD3
movq %rax, %rcx
shrq $0x3f, %rcx
sarq $0x26, %rax
addl %ecx, %eax
imull $0x3e8, %eax, %r15d     # imm = 0x3E8
addl $0x3e8, %r15d           # imm = 0x3E8
cmpl 0xfcb26(%rip), %r15d    # 0x1117fc
jle 0x14cfa
movq 0xfc6e9(%rip), %rdi     # 0x1113c8
movslq %r15d, %rsi
callq 0x72c0
movq %rax, 0xfc6da(%rip)     # 0x1113c8
testq %rax, %rax
je 0x14d22
movl %r15d, 0xfcb02(%rip)    # 0x1117fc
movslq 0xfcaf7(%rip), %rdi     # 0x1117f8
addq 0xfc6c0(%rip), %rdi     # 0x1113c8
movq %rbx, %rsi
callq 0x7090
addl %r14d, 0xfcae1(%rip)    # 0x1117f8
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
movl $0x1, %edi
callq 0x7330
// File: /workspace/github_c_makefile_star2_O1/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 0x2bc74(%rip), %r14     # 0x40a00
movq %r14, %rax
cmoveq %r15, %rax
movq (%rax), %rax
cmpb $0x1, 0x10(%rax)
cmovneq %r14, %rax
movq (%rax), %rdi
callq 0x14e1b
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 0x14e12
leaq 0x115a8(%rip), %r15     # 0x26375
leaq 0x1159d(%rip), %r12     # 0x26371
movq (%rbx), %rdi
callq 0xa813
testl %eax, %eax
movq %r12, %rdi
cmoveq %r15, %rdi
callq 0x14c8d
cmpb $0x1, 0x10(%rbx)
movq %r14, %rax
cmoveq %rbx, %rax
movq (%rax), %rdi
callq 0x14e1b
leaq 0x8(%rbx), %rax
cmpb $0x1, 0x10(%rbx)
cmovneq %r14, %rax
movq (%rax), %rbx
cmpb $0x1, 0x10(%rbx)
je 0x14dd4
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/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 0x9130
testl %eax, %eax
je 0x14e82
movq %rbx, %rdi
callq 0x152bb
leaq 0x1153a(%rip), %rdi     # 0x263a5
callq 0x14c8d
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x15358
cmpb $0x1, 0x10(%rbx)
leaq 0x8(%rbx), %rax
leaq 0x2bb6f(%rip), %r14     # 0x40a00
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 0xcb82
testl %eax, %eax
je 0x14ecc
addq $0x8, %rbx
cmpb $0x1, %r15b
cmovneq %r14, %rbx
movq (%rbx), %rbx
cmpb $0x1, 0x10(%rbx)
movq %r14, %rax
cmoveq %rbx, %rax
movq (%rax), %rdi
callq 0x14f3a
leaq 0x8(%rbx), %rax
cmpb $0x1, 0x10(%rbx)
cmovneq %r14, %rax
movq (%rax), %r15
cmpb $0x1, 0x10(%r15)
jne 0x14f2f
leaq 0x1147b(%rip), %rbx     # 0x26377
movq %rbx, %rdi
callq 0x14c8d
cmpb $0x1, 0x10(%r15)
movq %r14, %rax
cmoveq %r15, %rax
movq (%rax), %rdi
callq 0x14f3a
leaq 0x8(%r15), %rax
cmpb $0x1, 0x10(%r15)
cmovneq %r14, %rax
movq (%rax), %r15
cmpb $0x1, 0x10(%r15)
je 0x14efc
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/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 0x2b72b(%rip), %rcx     # 0x40a00
cmoveq %rax, %rcx
movq (%rcx), %r12
xorl %r15d, %r15d
leaq 0x11091(%rip), %rbx     # 0x26377
cmpb $0x1, 0x10(%r12)
jne 0x15336
movq (%r12), %r14
movq 0x8(%r12), %r12
movq %r14, %rdi
callq 0x935d
testl %eax, %eax
je 0x152e6
testl %r15d, %r15d
je 0x15310
movq %rbx, %rdi
callq 0x14c8d
incl %r15d
cmpb $0x4, 0x10(%r14)
jne 0x1532c
movq (%r14), %rdi
callq 0x7d27
movq %rax, %rdi
callq 0x14c8d
jmp 0x152e6
movq %r14, %rdi
callq 0x14f3a
jmp 0x152e6
testl %r15d, %r15d
je 0x15344
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
leaq 0x11dd1(%rip), %rdi     # 0x2711c
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x14c8d
// File: /workspace/github_c_makefile_star2_O1/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 0x9223
movl %eax, %r13d
cmpl $0x2, %eax
jl 0x15382
leaq 0x11025(%rip), %rdi     # 0x263a2
callq 0x14c8d
cmpb $0x1, 0x10(%r14)
leaq 0x8(%r14), %rax
leaq 0x2b66e(%rip), %rcx     # 0x40a00
cmovneq %rcx, %rax
movq (%rax), %r14
xorl %ebx, %ebx
cmpb $0x1, 0x10(%r14)
jne 0x154f6
movq (%r14), %r12
movq 0x8(%r14), %r14
movq %r12, %rdi
callq 0x9267
testl %eax, %eax
je 0x1539b
testl %ebx, %ebx
je 0x153c9
leaq 0x10fb3(%rip), %rdi     # 0x26377
callq 0x14c8d
incl %ebx
movl %ebx, -0x2c(%rbp)
movzbl 0x10(%r12), %ebx
cmpl $0x1, %ebx
je 0x153ff
leaq 0x2b620(%rip), %r15     # 0x40a00
movq %r15, %rax
cmpl $0x4, %ebx
jne 0x1540b
movq 0x8(%r12), %rdi
callq 0x7d27
movq %rax, %rdi
callq 0x14c8d
movl -0x2c(%rbp), %ebx
jmp 0x1539b
leaq 0x8(%r12), %rax
leaq 0x2b5f5(%rip), %r15     # 0x40a00
movq (%rax), %rax
cmpb $0x1, 0x10(%rax)
movq %r15, %rax
jne 0x1542a
leaq 0x8(%r12), %rax
cmpb $0x1, %bl
cmovneq %r15, %rax
movq (%rax), %rax
addq $0x8, %rax
movl %r13d, -0x30(%rbp)
movq (%rax), %rax
cmpb $0x1, 0x10(%rax)
movq %r15, %rax
jne 0x15458
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 0xcb82
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 0x1549c
callq 0x14f3a
movl -0x30(%rbp), %r13d
movl -0x2c(%rbp), %ebx
jmp 0x1539b
callq 0x15525
leaq 0x10f11(%rip), %rdi     # 0x263b9
callq 0x14c8d
cmpb $0x1, 0x10(%r12)
cmovneq %r15, %r13
movq (%r13), %rax
movb 0x10(%rax), %cl
addq $0x8, %rax
cmpb $0x1, %cl
movq %r15, %rdx
cmoveq %rax, %rdx
movq (%rdx), %rdx
cmpb $0x1, 0x10(%rdx)
movq %r15, %rdx
movl -0x2c(%rbp), %ebx
jne 0x154e5
cmpb $0x1, %cl
cmovneq %r15, %rax
movq (%rax), %rdx
movq (%rdx), %rdi
callq 0x155c4
movl -0x30(%rbp), %r13d
jmp 0x1539b
cmpl $0x2, %r13d
jl 0x15516
leaq 0x13f17(%rip), %rdi     # 0x2941a
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x14c8d
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/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 0x1554a
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x15dc4
movq %rbx, %rdx
cmpl $0x1, %ecx
je 0x15559
leaq 0x2b4a7(%rip), %rdx     # 0x40a00
movq (%rdx), %rcx
cmpq 0x2dd3d(%rip), %rcx     # 0x432a0
je 0x1559e
cmpb $0x1, %al
leaq 0x2b492(%rip), %rax     # 0x40a00
cmoveq %rbx, %rax
movq (%rax), %rax
cmpq 0x2dd2c(%rip), %rax     # 0x432a8
je 0x1559e
cmpq 0x2dd2b(%rip), %rax     # 0x432b0
je 0x1559e
cmpq 0x29b72(%rip), %rax     # 0x3f100
je 0x1559e
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x14b66
leaq 0x10dfd(%rip), %rdi     # 0x263a2
callq 0x14c8d
movq %rbx, %rdi
callq 0x14b66
leaq 0x13e61(%rip), %rdi     # 0x2941a
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x14c8d
// File: /workspace/github_c_makefile_star2_O1/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 0x155f1
cmpl $0x5, %eax
jne 0x1560e
leaq 0x10dc0(%rip), %rdi     # 0x263a2
callq 0x14c8d
movq %rbx, %rdi
callq 0x1568d
jmp 0x15622
movq 0x8(%rbx), %rax
cmpl $0x1, -0x4(%rax)
jne 0x1560e
cmpl $0x1, (%rax)
jne 0x1560e
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x15634
leaq 0x10d8d(%rip), %rdi     # 0x263a2
callq 0x14c8d
movq %rbx, %rdi
callq 0x15634
leaq 0x13df1(%rip), %rdi     # 0x2941a
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x14c8d
// File: /workspace/github_c_makefile_star2_O1/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 0x7d27
movq %rax, %rdi
callq 0x14c8d
movq 0x8(%rbx), %rdi
callq 0x7d27
movq %rax, %rbx
leaq 0x11abc(%rip), %rsi     # 0x2711c
movq %rax, %rdi
callq 0x71e0
testl %eax, %eax
je 0x15686
leaq 0x10d3e(%rip), %rdi     # 0x263b1
callq 0x14c8d
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x14c8d
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/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 0x10a62(%rip), %xmm0    # 0x26100
leaq 0xfc26b(%rip), %rdi     # 0x111910
leaq 0x10d07(%rip), %rdx     # 0x263b3
movl $0x3e8, %esi            # imm = 0x3E8
movb $0x1, %al
callq 0x7100
leaq 0xfc252(%rip), %rbx     # 0x111911
movzbl -0x1(%rbx), %eax
testl %eax, %eax
je 0x1571e
cmpl $0x45, %eax
je 0x156de
cmpl $0x65, %eax
je 0x156de
movsbl %al, %edi
callq 0x15d29
incq %rbx
jmp 0x156bf
leaq 0x10cd1(%rip), %rdi     # 0x263b6
callq 0x14c8d
movzbl (%rbx), %eax
cmpl $0x2b, %eax
je 0x15725
cmpl $0x2d, %eax
jne 0x15728
leaq 0x10cbd(%rip), %rdi     # 0x263bb
callq 0x14c8d
cmpb $0x30, 0x1(%rbx)
leaq 0x1(%rbx), %rbx
je 0x15703
movq %rbx, %rdi
callq 0x14c8d
leaq 0x13cfe(%rip), %rdi     # 0x2941a
jmp 0x15738
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
incq %rbx
decq %rbx
leaq 0x1(%rbx), %rdi
cmpb $0x30, 0x1(%rbx)
movq %rdi, %rbx
je 0x1572b
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x14c8d
// File: /workspace/github_c_makefile_star2_O1/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 0x2b00e(%rip), %r14     # 0x40a00
movq %r14, %rax
cmoveq %r15, %rax
movq (%rax), %rax
cmpb $0x1, 0x10(%rax)
cmovneq %r14, %rax
movq (%rax), %rdi
callq 0x15525
leaq 0x10998(%rip), %rdi     # 0x263ab
callq 0x14c8d
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 0x15a90
movq (%rbx), %rdi
callq 0x14b66
leaq 0x8(%rbx), %rax
cmpb $0x1, 0x10(%rbx)
cmovneq %r14, %rax
movq (%rax), %r15
cmpb $0x1, 0x10(%r15)
jne 0x15a90
leaq 0x10950(%rip), %rbx     # 0x263ad
movq %rbx, %rdi
callq 0x14c8d
cmpb $0x1, 0x10(%r15)
movq %r14, %rax
cmoveq %r15, %rax
movq (%rax), %rdi
callq 0x14b66
leaq 0x8(%r15), %rax
cmpb $0x1, 0x10(%r15)
cmovneq %r14, %rax
movq (%rax), %r15
cmpb $0x1, 0x10(%r15)
je 0x15a5d
leaq 0x10918(%rip), %rdi     # 0x263af
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x14c8d
// File: /workspace/github_c_makefile_star2_O1/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 0x15ac7
movl 0x8(%rdi), %eax
leaq 0xf649a(%rip), %rcx     # 0x10bf50
movq (%rcx,%rax,8), %rax
testq %rax, %rax
jne 0x15ac6
movq 0x2af3a(%rip), %rax     # 0x40a00
retq
pushq %rbp
movq %rsp, %rbp
leaq 0x154a8(%rip), %rdi     # 0x2af7a
callq 0x77c8
// File: /workspace/github_c_makefile_star2_O1/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 0x108b7(%rip), %rdi     # 0x263a2
callq 0x14c8d
cmpb $0x1, 0x10(%rbx)
leaq 0x8(%rbx), %rax
leaq 0x2af01(%rip), %r14     # 0x40a00
cmovneq %r14, %rax
movq (%rax), %rbx
cmpb $0x1, 0x10(%rbx)
jne 0x15b64
movq (%rbx), %rdi
callq 0x14b66
leaq 0x8(%rbx), %rax
cmpb $0x1, 0x10(%rbx)
cmovneq %r14, %rax
movq (%rax), %r15
cmpb $0x1, 0x10(%r15)
jne 0x15b64
leaq 0x1087c(%rip), %rbx     # 0x263ad
movq %rbx, %rdi
callq 0x14c8d
cmpb $0x1, 0x10(%r15)
movq %r14, %rax
cmoveq %r15, %rax
movq (%rax), %rdi
callq 0x14b66
leaq 0x8(%r15), %rax
cmpb $0x1, 0x10(%r15)
cmovneq %r14, %rax
movq (%rax), %r15
cmpb $0x1, 0x10(%r15)
je 0x15b31
leaq 0x138af(%rip), %rdi     # 0x2941a
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x14c8d
// File: /workspace/github_c_makefile_star2_O1/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 %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
leaq 0x10764(%rip), %rdi     # 0x263a4
callq 0x14c8d
leaq 0x8(%rbx), %r14
cmpb $0x1, 0x10(%rbx)
leaq 0x2adac(%rip), %r15     # 0x40a00
movq %r15, %rax
cmoveq %r14, %rax
movq (%rax), %r12
movb 0x10(%r12), %r13b
leaq 0x8(%r12), %rax
cmpb $0x1, %r13b
movq %r15, %rcx
cmoveq %rax, %rcx
movq (%rcx), %rcx
cmpb $0x1, 0x10(%rcx)
movq %r15, %rcx
jne 0x15c91
cmpb $0x1, %r13b
leaq 0x2ad76(%rip), %rcx     # 0x40a00
cmoveq %rax, %rcx
movq (%rcx), %rcx
movq (%rcx), %rdi
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
movl $0x1, %edx
callq 0xcb82
cmpb $0x1, %r13b
cmoveq %r12, %r15
movq (%r15), %rdi
testl %eax, %eax
je 0x15cc5
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x14f3a
callq 0x15525
leaq 0x106e8(%rip), %rdi     # 0x263b9
callq 0x14c8d
cmpb $0x1, 0x10(%rbx)
leaq 0x2ad1f(%rip), %rax     # 0x40a00
cmovneq %rax, %r14
movq (%r14), %rcx
movb 0x10(%rcx), %dl
addq $0x8, %rcx
cmpb $0x1, %dl
movq %rax, %rsi
cmoveq %rcx, %rsi
movq (%rsi), %rsi
cmpb $0x1, 0x10(%rsi)
jne 0x15d13
cmpb $0x1, %dl
leaq 0x2acf4(%rip), %rax     # 0x40a00
cmoveq %rcx, %rax
movq (%rax), %rax
movq (%rax), %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x155c4
// File: /workspace/github_c_makefile_star2_O1/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 0xfbac0(%rip), %eax     # 0x1117f8
incl %eax
cltq
imulq $0x10624dd3, %rax, %rax # imm = 0x10624DD3
movq %rax, %rcx
shrq $0x3f, %rcx
sarq $0x26, %rax
addl %ecx, %eax
imull $0x3e8, %eax, %r14d     # imm = 0x3E8
addl $0x3e8, %r14d           # imm = 0x3E8
cmpl 0xfba97(%rip), %r14d    # 0x1117fc
jle 0x15d89
movq 0xfb65a(%rip), %rdi     # 0x1113c8
movslq %r14d, %rsi
callq 0x72c0
movq %rax, 0xfb64b(%rip)     # 0x1113c8
testq %rax, %rax
je 0x15dba
movl %r14d, 0xfba73(%rip)    # 0x1117fc
movq 0xfb638(%rip), %rax     # 0x1113c8
movslq 0xfba61(%rip), %rcx     # 0x1117f8
leal 0x1(%rcx), %edx
movl %edx, 0xfba58(%rip)     # 0x1117f8
movb %bl, (%rax,%rcx)
movq 0xfb61e(%rip), %rax     # 0x1113c8
movslq 0xfba47(%rip), %rcx     # 0x1117f8
movb $0x0, (%rax,%rcx)
popq %rbx
popq %r14
popq %rbp
retq
movl $0x1, %edi
callq 0x7330
// File: /workspace/github_c_makefile_star2_O1/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
callq 0x13ac6
testl %eax, %eax
je 0x15de4
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x15634
leaq 0x105b7(%rip), %rdi     # 0x263a2
callq 0x14c8d
movq %rbx, %rdi
callq 0x14b66
leaq 0x1361b(%rip), %rdi     # 0x2941a
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x14c8d