// File: /workspace/github_cpp_makefile_star2_O3/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 %r12
pushq %rbx
subq $0x1a8, %rsp            # imm = 0x1A8
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x10(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x493c(%rip), %rdx      # 0x17197
movq %rsp, %rdi
movq %rdx, %rsi
callq 0xbb42
leaq 0x20(%rsp), %rdi
movq %rsp, %rsi
movl $0x18, %edx
callq 0x5390
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x1288e
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x5250
leaq 0x30(%rsp), %r15
leaq 0x516b(%rip), %rsi      # 0x17a05
movl $0x1, %edx
movq %r15, %rdi
callq 0x52c0
movq 0x8(%r14), %rsi
testq %rsi, %rsi
je 0x128e5
movq (%rsi), %rax
movq %rsp, %rdi
callq *0x10(%rax)
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
movq %r15, %rdi
callq 0x52c0
movq %rax, %r15
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x128f9
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x5250
jmp 0x128f9
leaq 0x511b(%rip), %rsi      # 0x17a07
movl $0x1, %edx
movq %r15, %rdi
callq 0x52c0
leaq 0x5182(%rip), %rsi      # 0x17a82
movl $0x1, %edx
movq %r15, %rdi
callq 0x52c0
movq %rsp, %rsi
movb $0x2f, (%rsi)
movl $0x1, %edx
movq %r15, %rdi
callq 0x52c0
movq %rax, %r15
leaq 0x5158(%rip), %rsi      # 0x17a82
movl $0x1, %edx
movq %rax, %rdi
callq 0x52c0
movq 0x18(%r14), %rsi
testq %rsi, %rsi
je 0x12975
movq (%rsi), %rax
movq %rsp, %rdi
callq *0x10(%rax)
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
movq %r15, %rdi
callq 0x52c0
movq %rax, %r15
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x12989
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x5250
jmp 0x12989
leaq 0x508b(%rip), %rsi      # 0x17a07
movl $0x1, %edx
movq %r15, %rdi
callq 0x52c0
leaq 0x5073(%rip), %rsi      # 0x17a03
movl $0x1, %edx
movq %r15, %rdi
callq 0x52c0
leaq 0x38(%rsp), %rsi
movq %rbx, %rdi
callq 0x5380
movq 0xe5c7(%rip), %rsi      # 0x20f78
leaq 0x20(%rsp), %rdi
callq 0x51d0
leaq 0xa0(%rsp), %rdi
callq 0x5090
movq %rbx, %rax
addq $0x1a8, %rsp            # imm = 0x1A8
popq %rbx
popq %r12
popq %r14
popq %r15
retq
jmp 0x129dc
movq %rax, %rbx
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x12a1a
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x5250
jmp 0x12a1a
movq %rax, %rbx
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x12a38
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x5250
jmp 0x12a38
movq %rax, %rbx
jmp 0x12a38
movq %rax, %rbx
movq 0xe557(%rip), %rsi      # 0x20f78
leaq 0x20(%rsp), %rdi
callq 0x51d0
leaq 0xa0(%rsp), %rdi
callq 0x5090
movq %rbx, %rdi
callq 0x53f0