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

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

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

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

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

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

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

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

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

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

  if (exponentiate::integral<fraction>::raise(fraction(21, 5), -5) !=
      fraction(3125, 4084101l)) {
    log << "(21/5)^(-5) should be (3125/4084101) but is "
        << exponentiate::integral<fraction>::raise(fraction(21, 5), -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), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x123d4
movq %rsp, %rsi
andq $0x0, (%rsi)
movq %r14, %rdi
callq 0x5afc
movq %rax, %r15
movq %rdx, %r14
pushq $0x1
popq %rax
leaq 0x8(%rsp), %r12
movq %rax, (%r12)
movq %rax, 0x8(%r12)
movq %r12, %rdi
callq 0x123d4
cmpq (%r12), %r15
jne 0x5408
cmpq 0x10(%rsp), %r14
jne 0x5408
pushq $0x15
popq %rbp
leaq 0x18(%rsp), %r14
movq %rbp, (%r14)
pushq $0x5
popq %r13
movq %r13, 0x8(%r14)
movq %r14, %rdi
callq 0x123d4
movq %rsp, %rsi
movq $0x1, (%rsi)
movq %r14, %rdi
callq 0x5afc
movq %rax, %r15
movq %rdx, %r14
leaq 0x8(%rsp), %r12
movq %rbp, (%r12)
movq %r13, 0x8(%r12)
movq %r12, %rdi
callq 0x123d4
cmpq (%r12), %r15
jne 0x5442
cmpq 0x10(%rsp), %r14
jne 0x5442
leaq 0x18(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x123d4
movq %rsp, %rsi
movq $0x2, (%rsi)
movq %r14, %rdi
callq 0x5afc
movq %rax, %r15
movq %rdx, %r14
leaq 0x8(%rsp), %r12
movq $0x1b9, (%r12)          # imm = 0x1B9
movq $0x19, 0x8(%r12)
movq %r12, %rdi
callq 0x123d4
cmpq (%r12), %r15
jne 0x547f
cmpq 0x10(%rsp), %r14
jne 0x547f
leaq 0x18(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x123d4
movq %rsp, %rsi
movq $0x3, (%rsi)
movq %r14, %rdi
callq 0x5afc
movq %rax, %r15
movq %rdx, %r14
leaq 0x8(%rsp), %r12
movq $0x242d, (%r12)         # imm = 0x242D
movq $0x7d, 0x8(%r12)
movq %r12, %rdi
callq 0x123d4
cmpq (%r12), %r15
jne 0x54bc
cmpq 0x10(%rsp), %r14
jne 0x54bc
leaq 0x18(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x123d4
movq %rsp, %rsi
movq $0x4, (%rsi)
movq %r14, %rdi
callq 0x5afc
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 0x123d4
cmpq (%r12), %r15
jne 0x54f9
cmpq 0x10(%rsp), %r14
jne 0x54f9
leaq 0x18(%rsp), %r14
movq $0x15, (%r14)
movq %r13, 0x8(%r14)
movq %r14, %rdi
callq 0x123d4
movq %rsp, %rsi
movq %r13, (%rsi)
movq %r14, %rdi
callq 0x5afc
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 0x123d4
cmpq (%r12), %r15
jne 0x5536
cmpq 0x10(%rsp), %r14
jne 0x5536
leaq 0x18(%rsp), %r14
movq %rbp, (%r14)
movq %r13, 0x8(%r14)
movq %r14, %rdi
callq 0x123d4
movq %rsp, %rsi
orq $-0x1, (%rsi)
movq %r14, %rdi
callq 0x5afc
movq %rax, %r15
movq %rdx, %r14
leaq 0x8(%rsp), %r12
movq %r13, (%r12)
movq %rbp, 0x8(%r12)
movq %r12, %rdi
callq 0x123d4
cmpq (%r12), %r15
jne 0x556b
cmpq 0x10(%rsp), %r14
jne 0x556b
leaq 0x18(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x123d4
movq %rsp, %rsi
movq $-0x2, (%rsi)
movq %r14, %rdi
callq 0x5afc
movq %rax, %r15
movq %rdx, %r14
leaq 0x8(%rsp), %r12
movq $0x19, (%r12)
movq $0x1b9, 0x8(%r12)       # imm = 0x1B9
movq %r12, %rdi
callq 0x123d4
cmpq (%r12), %r15
jne 0x55a5
cmpq 0x10(%rsp), %r14
jne 0x55a5
leaq 0x18(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x123d4
movq %rsp, %rsi
movq $-0x3, (%rsi)
movq %r14, %rdi
callq 0x5afc
movq %rax, %r15
movq %rdx, %r14
leaq 0x8(%rsp), %r12
movq $0x7d, (%r12)
movq $0x242d, 0x8(%r12)      # imm = 0x242D
movq %r12, %rdi
callq 0x123d4
cmpq (%r12), %r15
jne 0x55df
cmpq 0x10(%rsp), %r14
jne 0x55df
leaq 0x18(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x123d4
movq %rsp, %rsi
movq $-0x4, (%rsi)
movq %r14, %rdi
callq 0x5afc
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 0x123d4
cmpq (%r12), %r15
jne 0x5619
cmpq 0x10(%rsp), %r14
jne 0x5619
leaq 0x18(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x123d4
movq %rsp, %rsi
movq $-0x5, (%rsi)
movq %r14, %rdi
callq 0x5afc
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 0x123d4
cmpq (%r12), %r15
jne 0x53cb
movb $0x1, %al
cmpq 0x10(%rsp), %r14
je 0x567e
leaq 0xdec7(%rip), %rsi      # 0x13299
movq %rbx, %rdi
callq 0x4270
movq %rax, %rbx
leaq 0x8(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x123d4
movq %rsp, %rsi
movq $-0x5, (%rsi)
jmp 0x5651
leaq 0xdd0b(%rip), %rsi      # 0x1311a
movq %rbx, %rdi
callq 0x4270
movq %rax, %rbx
leaq 0x8(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x123d4
movq %rsp, %rsi
andq $0x0, (%rsi)
jmp 0x5651
leaq 0xdcf2(%rip), %rsi      # 0x1313b
movq %rbx, %rdi
callq 0x4270
movq %rax, %rbx
leaq 0x8(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x123d4
movq %rsp, %rsi
movq $0x1, (%rsi)
jmp 0x5651
leaq 0xdcd7(%rip), %rsi      # 0x1315d
movq %rbx, %rdi
callq 0x4270
movq %rax, %rbx
leaq 0x8(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x123d4
movq %rsp, %rsi
movq $0x2, (%rsi)
jmp 0x5651
leaq 0xdcbe(%rip), %rsi      # 0x13181
movq %rbx, %rdi
callq 0x4270
movq %rax, %rbx
leaq 0x8(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x123d4
movq %rsp, %rsi
movq $0x3, (%rsi)
jmp 0x5651
leaq 0xdca7(%rip), %rsi      # 0x131a7
movq %rbx, %rdi
callq 0x4270
movq %rax, %rbx
leaq 0x8(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x123d4
movq %rsp, %rsi
movq $0x4, (%rsi)
jmp 0x5651
leaq 0xdc92(%rip), %rsi      # 0x131cf
movq %rbx, %rdi
callq 0x4270
movq %rax, %rbx
leaq 0x8(%rsp), %r14
movq $0x15, (%r14)
movq %r13, 0x8(%r14)
movq %r14, %rdi
callq 0x123d4
movq %rsp, %rsi
movq %r13, (%rsi)
jmp 0x5651
leaq 0xdc87(%rip), %rsi      # 0x131f9
movq %rbx, %rdi
callq 0x4270
movq %rax, %rbx
leaq 0x8(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x123d4
movq %rsp, %rsi
orq $-0x1, (%rsi)
jmp 0x5651
leaq 0xdc72(%rip), %rsi      # 0x1321e
movq %rbx, %rdi
callq 0x4270
movq %rax, %rbx
leaq 0x8(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x123d4
movq %rsp, %rsi
movq $-0x2, (%rsi)
jmp 0x5651
leaq 0xdc5f(%rip), %rsi      # 0x13245
movq %rbx, %rdi
callq 0x4270
movq %rax, %rbx
leaq 0x8(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x123d4
movq %rsp, %rsi
movq $-0x3, (%rsi)
jmp 0x5651
leaq 0xdc4e(%rip), %rsi      # 0x1326e
movq %rbx, %rdi
callq 0x4270
movq %rax, %rbx
leaq 0x8(%rsp), %r14
movq $0x15, (%r14)
movq $0x5, 0x8(%r14)
movq %r14, %rdi
callq 0x123d4
movq %rsp, %rsi
movq $-0x4, (%rsi)
movq %r14, %rdi
callq 0x5afc
leaq 0x18(%rsp), %rsi
movq %rax, (%rsi)
movq %rdx, 0x8(%rsi)
movq %rbx, %rdi
callq 0x596f
leaq 0xdcc1(%rip), %rsi      # 0x13335
movq %rax, %rdi
callq 0x4270
xorl %eax, %eax
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nop