// File: /workspace/github_cpp_makefile_star2_O1/ef-gy[P]libefgy/src/test-case/exponential.cpp
// Function: testIntegralExponents(std::ostream&)
bool testIntegralExponents(std::ostream &log) {
  if (exponentiate::integral<fraction, 0>::raise(fraction(21, 5)) !=
      fraction(1, 1)) {
    log << "(21/5)^0 should be (1/1) but is "
        << exponentiate::integral<fraction, 0>::raise(fraction(21, 5)) << "\n";
    return false;
  }

  if (exponentiate::integral<fraction, 1>::raise(fraction(21, 5)) !=
      fraction(21, 5)) {
    log << "(21/5)^1 should be (21/5) but is "
        << exponentiate::integral<fraction, 1>::raise(fraction(21, 5)) << "\n";
    return false;
  }

  if (exponentiate::integral<fraction, 2>::raise(fraction(21, 5)) !=
      fraction(441, 25)) {
    log << "(21/5)^2 should be (441/25) but is "
        << exponentiate::integral<fraction, 2>::raise(fraction(21, 5)) << "\n";
    return false;
  }

  if (exponentiate::integral<fraction, 3>::raise(fraction(21, 5)) !=
      fraction(9261, 125)) {
    log << "(21/5)^3 should be (9261/125) but is "
        << exponentiate::integral<fraction, 3>::raise(fraction(21, 5)) << "\n";
    return false;
  }

  if (exponentiate::integral<fraction, 4>::raise(fraction(21, 5)) !=
      fraction(194481, 625)) {
    log << "(21/5)^4 should be (194481/625) but is "
        << exponentiate::integral<fraction, 4>::raise(fraction(21, 5)) << "\n";
    return false;
  }

  if (exponentiate::integral<fraction, 5>::raise(fraction(21, 5)) !=
      fraction(4084101l, 3125)) {
    log << "(21/5)^5 should be (4084101/3125) but is "
        << exponentiate::integral<fraction, 5>::raise(fraction(21, 5)) << "\n";
    return false;
  }

  if (exponentiate::integral<fraction, -1>::raise(fraction(21, 5)) !=
      fraction(5, 21)) {
    log << "(21/5)^(-1) should be (5/21) but is "
        << exponentiate::integral<fraction, -1>::raise(fraction(21, 5)) << "\n";
    return false;
  }

  if (exponentiate::integral<fraction, -2>::raise(fraction(21, 5)) !=
      fraction(25, 441)) {
    log << "(21/5)^(-2) should be (25/441) but is "
        << exponentiate::integral<fraction, -2>::raise(fraction(21, 5)) << "\n";
    return false;
  }

  if (exponentiate::integral<fraction, -3>::raise(fraction(21, 5)) !=
      fraction(125, 9261)) {
    log << "(21/5)^(-3) should be (125/9261) but is "
        << exponentiate::integral<fraction, -3>::raise(fraction(21, 5)) << "\n";
    return false;
  }

  if (exponentiate::integral<fraction, -4>::raise(fraction(21, 5)) !=
      fraction(625, 194481)) {
    log << "(21/5)^(-4) should be (625/194481) but is "
        << exponentiate::integral<fraction, -4>::raise(fraction(21, 5)) << "\n";
    return false;
  }

  if (exponentiate::integral<fraction, -5>::raise(fraction(21, 5)) !=
      fraction(3125, 4084101l)) {
    log << "(21/5)^(-5) should be (3125/4084101) but is "
        << exponentiate::integral<fraction, -5>::raise(fraction(21, 5)) << "\n";
    return false;
  }

  return true;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rdi, %rbx
leaq 0x18(%rsp), %rdi
movq $0x15, (%rdi)
movq $0x5, 0x8(%rdi)
callq 0x14406
movl $0x1, %r15d
leaq 0x8(%rsp), %r14
movq %r15, (%r14)
movq %r15, 0x8(%r14)
movq %r14, %rdi
callq 0x14406
cmpq %r15, (%r14)
jne 0x4f7c
cmpq $0x1, 0x10(%rsp)
jne 0x4f7c
movl $0x15, %r12d
leaq 0x18(%rsp), %r14
movq %r12, (%r14)
movl $0x5, %r13d
movq %r13, 0x8(%r14)
movq %r14, %rdi
callq 0x14406
movq (%r14), %rbp
movq 0x8(%r14), %r15
leaq 0x8(%rsp), %r14
movq %r12, (%r14)
movq %r13, 0x8(%r14)
movq %r14, %rdi
callq 0x14406
cmpq (%r14), %rbp
jne 0x4fba
cmpq 0x10(%rsp), %r15
jne 0x4fba
leaq 0x8(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x14406
movq (%r14), %rax
movq 0x8(%r14), %rcx
imulq %rax, %rax
imulq %rcx, %rcx
leaq 0x18(%rsp), %r14
movq %rax, (%r14)
movq %rcx, 0x8(%r14)
movq %r14, %rdi
callq 0x14406
movq (%r14), %r12
movq 0x8(%r14), %r15
movq $0x1b9, (%r14)          # imm = 0x1B9
movq $0x19, 0x8(%r14)
leaq 0x18(%rsp), %r14
movq %r14, %rdi
callq 0x14406
cmpq (%r14), %r12
jne 0x4ffb
cmpq 0x20(%rsp), %r15
jne 0x4ffb
leaq 0x18(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x14406
movq %r14, %rdi
callq 0x5da2
movq %rax, %r15
movq %rdx, %r14
leaq 0x8(%rsp), %r12
movq $0x242d, (%r12)         # imm = 0x242D
movq $0x7d, 0x8(%r12)
movq %r12, %rdi
callq 0x14406
cmpq (%r12), %r15
jne 0x5060
cmpq 0x10(%rsp), %r14
jne 0x5060
leaq 0x18(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x14406
movq %r14, %rdi
callq 0x5e02
movq %rax, %r15
movq %rdx, %r14
leaq 0x8(%rsp), %r12
movq $0x2f7b1, (%r12)        # imm = 0x2F7B1
movq $0x271, 0x8(%r12)       # imm = 0x271
movq %r12, %rdi
callq 0x14406
cmpq (%r12), %r15
jne 0x509a
cmpq 0x10(%rsp), %r14
jne 0x509a
leaq 0x18(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x14406
movq %r14, %rdi
callq 0x5e56
movq %rax, %r15
movq %rdx, %r14
leaq 0x8(%rsp), %r12
movq $0x3e5185, (%r12)       # imm = 0x3E5185
movq $0xc35, 0x8(%r12)       # imm = 0xC35
movq %r12, %rdi
callq 0x14406
cmpq (%r12), %r15
jne 0x50d4
cmpq 0x10(%rsp), %r14
jne 0x50d4
movl $0x15, %r12d
leaq 0x8(%rsp), %r14
movq %r12, (%r14)
movl $0x5, %r13d
movq %r13, 0x8(%r14)
movq %r14, %rdi
callq 0x14406
movq (%r14), %rax
movq 0x8(%r14), %rcx
leaq 0x18(%rsp), %r14
movq %rcx, (%r14)
movq %rax, 0x8(%r14)
movq %r14, %rdi
callq 0x14406
movq (%r14), %rbp
movq 0x8(%r14), %r15
movq %r13, (%r14)
movq %r12, 0x8(%r14)
leaq 0x18(%rsp), %r14
movq %r14, %rdi
callq 0x14406
cmpq (%r14), %rbp
jne 0x5145
cmpq 0x20(%rsp), %r15
jne 0x5145
leaq 0x18(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x14406
movq %r14, %rdi
callq 0x5eda
movq %rax, %r15
movq %rdx, %r14
leaq 0x8(%rsp), %r12
movq $0x19, (%r12)
movq $0x1b9, 0x8(%r12)       # imm = 0x1B9
movq %r12, %rdi
callq 0x14406
cmpq (%r12), %r15
jne 0x518d
cmpq 0x10(%rsp), %r14
jne 0x518d
leaq 0x18(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x14406
movq %r14, %rdi
callq 0x5f26
movq %rax, %r15
movq %rdx, %r14
leaq 0x8(%rsp), %r12
movq $0x7d, (%r12)
movq $0x242d, 0x8(%r12)      # imm = 0x242D
movq %r12, %rdi
callq 0x14406
cmpq (%r12), %r15
jne 0x51ca
cmpq 0x10(%rsp), %r14
jne 0x51ca
leaq 0x18(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x14406
movq %r14, %rdi
callq 0x5f90
movq %rax, %r15
movq %rdx, %r14
leaq 0x8(%rsp), %r12
movq $0x271, (%r12)          # imm = 0x271
movq $0x2f7b1, 0x8(%r12)     # imm = 0x2F7B1
movq %r12, %rdi
callq 0x14406
cmpq (%r12), %r15
jne 0x5207
cmpq 0x10(%rsp), %r14
jne 0x5207
leaq 0x18(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x14406
movq %r14, %rdi
callq 0x5fca
movq %rax, %r15
movq %rdx, %r14
leaq 0x8(%rsp), %r12
movq $0xc35, (%r12)          # imm = 0xC35
movq $0x3e5185, 0x8(%r12)    # imm = 0x3E5185
movq %r12, %rdi
callq 0x14406
cmpq (%r12), %r15
jne 0x4f3f
movb $0x1, %al
cmpq 0x10(%rsp), %r14
je 0x5136
leaq 0x10353(%rip), %rsi     # 0x15299
movl $0x2c, %edx
movq %rbx, %rdi
callq 0x42b0
leaq 0x8(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x14406
movq %r14, %rdi
callq 0x5fca
jmp 0x510c
leaq 0x10197(%rip), %rsi     # 0x1511a
movl $0x20, %edx
movq %rbx, %rdi
callq 0x42b0
leaq 0x8(%rsp), %rdi
movq $0x15, (%rdi)
movq $0x5, 0x8(%rdi)
callq 0x14406
leaq 0x18(%rsp), %rsi
movq %r15, (%rsi)
movq %r15, 0x8(%rsi)
jmp 0x5118
leaq 0x1017a(%rip), %rsi     # 0x1513b
movl $0x21, %edx
movq %rbx, %rdi
callq 0x42b0
leaq 0x8(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x14406
movups (%r14), %xmm0
leaq 0x18(%rsp), %rsi
movups %xmm0, (%rsi)
jmp 0x5118
leaq 0x1015b(%rip), %rsi     # 0x1515d
movl $0x23, %edx
movq %rbx, %rdi
callq 0x42b0
leaq 0x8(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x14406
movq (%r14), %rax
movq 0x8(%r14), %rcx
imulq %rax, %rax
imulq %rcx, %rcx
leaq 0x18(%rsp), %r14
movq %rax, (%r14)
movq %rcx, 0x8(%r14)
movq %r14, %rdi
callq 0x14406
movups (%r14), %xmm0
movups %xmm0, (%r14)
leaq 0x18(%rsp), %rsi
jmp 0x5118
leaq 0x1011a(%rip), %rsi     # 0x15181
movl $0x25, %edx
movq %rbx, %rdi
callq 0x42b0
leaq 0x8(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x14406
movq %r14, %rdi
callq 0x5da2
jmp 0x510c
leaq 0x10106(%rip), %rsi     # 0x151a7
movl $0x27, %edx
movq %rbx, %rdi
callq 0x42b0
leaq 0x8(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x14406
movq %r14, %rdi
callq 0x5e02
jmp 0x510c
leaq 0x100f4(%rip), %rsi     # 0x151cf
movl $0x29, %edx
movq %rbx, %rdi
callq 0x42b0
leaq 0x8(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x14406
movq %r14, %rdi
callq 0x5e56
leaq 0x18(%rsp), %rsi
movq %rax, (%rsi)
movq %rdx, 0x8(%rsi)
movq %rbx, %rdi
callq 0x5d68
leaq 0x1020e(%rip), %rsi     # 0x15335
movl $0x1, %edx
movq %rax, %rdi
callq 0x42b0
xorl %eax, %eax
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x100ad(%rip), %rsi     # 0x151f9
movl $0x24, %edx
movq %rbx, %rdi
callq 0x42b0
leaq 0x8(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x14406
movq (%r14), %rax
movq 0x8(%r14), %rcx
leaq 0x18(%rsp), %r14
movq %rcx, (%r14)
movq %rax, 0x8(%r14)
jmp 0x5046
leaq 0x1008a(%rip), %rsi     # 0x1521e
movl $0x26, %edx
movq %rbx, %rdi
callq 0x42b0
leaq 0x8(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x14406
movq %r14, %rdi
callq 0x5eda
jmp 0x510c
leaq 0x10074(%rip), %rsi     # 0x15245
movl $0x28, %edx
movq %rbx, %rdi
callq 0x42b0
leaq 0x8(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x14406
movq %r14, %rdi
callq 0x5f26
jmp 0x510c
leaq 0x10060(%rip), %rsi     # 0x1526e
movl $0x2a, %edx
movq %rbx, %rdi
callq 0x42b0
leaq 0x8(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x14406
movq %r14, %rdi
callq 0x5f90
jmp 0x510c