// File: 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 %rbp
movq %rsp, %rbp
subq $0x220, %rsp            # imm = 0x220
movq %rdi, -0x1e8(%rbp)
movq %rdi, %rax
movq %rax, -0x1e0(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
leaq -0x1b9(%rbp), %rdi
movq %rdi, -0x1d8(%rbp)
callq 0x6610
movq -0x1d8(%rbp), %rdx
leaq 0xd5e4(%rip), %rsi      # 0x38219
leaq -0x1b8(%rbp), %rdi
callq 0x7e70
jmp 0x2ac43
movl $0x10, %edi
movl $0x8, %esi
callq 0x8480
movl %eax, -0x1ec(%rbp)
jmp 0x2ac5a
movl -0x1ec(%rbp), %edx
leaq -0x198(%rbp), %rdi
leaq -0x1b8(%rbp), %rsi
callq 0x6550
jmp 0x2ac75
leaq -0x1b8(%rbp), %rdi
callq 0x6230
leaq -0x1b9(%rbp), %rdi
callq 0x63e0
leaq -0x188(%rbp), %rdi
leaq 0xde1e(%rip), %rsi      # 0x38ab9
callq 0x6380
movq %rax, -0x1f8(%rbp)
jmp 0x2aca9
movq -0x1f8(%rbp), %rdi
movq -0x10(%rbp), %rsi
addq $0x8, %rsi
callq 0x70e0
movq %rax, -0x200(%rbp)
jmp 0x2acc6
movq -0x200(%rbp), %rdi
leaq 0xde62(%rip), %rsi      # 0x38b36
callq 0x6380
movq %rax, -0x208(%rbp)
jmp 0x2ace2
movq -0x208(%rbp), %rdi
movl $0x2f, %esi
callq 0x6470
movq %rax, -0x210(%rbp)
jmp 0x2acfc
movq -0x210(%rbp), %rdi
leaq 0xde2c(%rip), %rsi      # 0x38b36
callq 0x6380
movq %rax, -0x218(%rbp)
jmp 0x2ad18
movq -0x218(%rbp), %rdi
movq -0x10(%rbp), %rsi
addq $0x18, %rsi
callq 0x70e0
movq %rax, -0x220(%rbp)
jmp 0x2ad35
movq -0x220(%rbp), %rdi
leaq 0xdd6c(%rip), %rsi      # 0x38aaf
callq 0x6380
jmp 0x2ad4a
movq -0x1e8(%rbp), %rdi
leaq -0x198(%rbp), %rsi
callq 0x6370
jmp 0x2ad5f
leaq -0x198(%rbp), %rdi
callq 0x62d0
movq -0x1e0(%rbp), %rax
addq $0x220, %rsp            # imm = 0x220
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
jmp 0x2adad
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0x1b8(%rbp), %rdi
callq 0x6230
leaq -0x1b9(%rbp), %rdi
callq 0x63e0
jmp 0x2add9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0x198(%rbp), %rdi
callq 0x62d0
movq -0x1c8(%rbp), %rdi
callq 0x6600
nopw %cs:(%rax,%rax)
nop