// File: /workspace/github_cpp_makefile_star2_O1/ef-gy[P]libefgy/include/ef.gy/tracer.h
// Function: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> efgy::math::tracer::formatter<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>::format<std::shared_ptr<efgy::math::tracer::base<efgy::math::tracer::formatter<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>>>, std::shared_ptr<efgy::math::tracer::base<efgy::math::tracer::formatter<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>>>, (char)47>(efgy::math::tracer::tracer<std::shared_ptr<efgy::math::tracer::base<efgy::math::tracer::formatter<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>>>, std::shared_ptr<efgy::math::tracer::base<efgy::math::tracer::formatter<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>>>, (char)47, efgy::math::tracer::formatter<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>> const&)
static result format(const tracer<T, S, op, formatter> &t) {
    std::stringstream s("");
    if (op) {
      s << "(" << t.value1 << " " << op << " " << t.value2 << ")";
    } else {
      s << "(" << t.value1 << " " << t.value2 << ")";
    }
    return s.str();
  }

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x1d0, %rsp            # imm = 0x1D0
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x18(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x4845(%rip), %rdx      # 0x17197
leaq 0x8(%rsp), %rdi
movq %rdx, %rsi
callq 0xbc14
leaq 0x48(%rsp), %rdi
leaq 0x8(%rsp), %rsi
movl $0x18, %edx
callq 0x5390
movq 0x8(%rsp), %rdi
cmpq %r13, %rdi
je 0x1298a
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x5250
leaq 0x58(%rsp), %r15
leaq 0x506f(%rip), %rsi      # 0x17a05
movl $0x1, %edx
movq %r15, %rdi
callq 0x52c0
movq 0x8(%r14), %r12
testq %r12, %r12
je 0x129d2
movq (%r12), %rax
leaq 0x28(%rsp), %rdi
movq %r12, %rsi
callq *0x10(%rax)
movq 0x28(%rsp), %rsi
movq 0x30(%rsp), %rdx
movq %r15, %rdi
callq 0x52c0
movq %rax, %r15
jmp 0x129e6
leaq 0x502e(%rip), %rsi      # 0x17a07
movl $0x1, %edx
movq %r15, %rdi
callq 0x52c0
testq %r12, %r12
je 0x12a06
leaq 0x38(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x12a06
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x5250
leaq 0x5075(%rip), %rsi      # 0x17a82
movl $0x1, %edx
movq %r15, %rdi
callq 0x52c0
leaq 0x8(%rsp), %rsi
movb $0x2f, (%rsi)
movl $0x1, %edx
movq %r15, %rdi
callq 0x52c0
movq %rax, %r15
leaq 0x5049(%rip), %rsi      # 0x17a82
movl $0x1, %edx
movq %rax, %rdi
callq 0x52c0
movq 0x18(%r14), %r14
testq %r14, %r14
je 0x12a74
movq (%r14), %rax
leaq 0x8(%rsp), %rdi
movq %r14, %rsi
callq *0x10(%rax)
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %r15, %rdi
callq 0x52c0
movq %rax, %r15
jmp 0x12a88
leaq 0x4f8c(%rip), %rsi      # 0x17a07
movl $0x1, %edx
movq %r15, %rdi
callq 0x52c0
testq %r14, %r14
je 0x12aa4
movq 0x8(%rsp), %rdi
cmpq %r13, %rdi
je 0x12aa4
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x5250
leaq 0x4f58(%rip), %rsi      # 0x17a03
movl $0x1, %edx
movq %r15, %rdi
callq 0x52c0
leaq 0x60(%rsp), %rsi
movq %rbx, %rdi
callq 0x5380
movq 0xe4ac(%rip), %rsi      # 0x20f78
leaq 0x48(%rsp), %rdi
callq 0x51d0
leaq 0xc8(%rsp), %rdi
callq 0x5090
movq %rbx, %rax
addq $0x1d0, %rsp            # imm = 0x1D0
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
movq %rax, %rbx
testq %r14, %r14
je 0x12b43
leaq 0x8(%rsp), %rdi
callq 0x56f2
jmp 0x12b43
movq %rax, %rbx
testq %r12, %r12
je 0x12b43
leaq 0x28(%rsp), %rdi
callq 0x56d2
jmp 0x12b43
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r13, %rdi
je 0x12b61
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x5250
jmp 0x12b61
movq %rax, %rbx
jmp 0x12b61
movq %rax, %rbx
movq 0xe42e(%rip), %rsi      # 0x20f78
leaq 0x48(%rsp), %rdi
callq 0x51d0
leaq 0xc8(%rsp), %rdi
callq 0x5090
movq %rbx, %rdi
callq 0x53f0
nop