// File: /workspace/github_cpp_makefile_star2_O3/ArashPartow[P]exprtk/./exprtk.hpp
// Function: exprtk::parser<double>::expression_generator<double>::synthesize_covovov_expression0::process(exprtk::parser<double>::expression_generator<double>&, exprtk::details::operator_type const&, exprtk::details::expression_node<double>* (&) [2])
static inline expression_node_ptr process(expression_generator<Type>& expr_gen,
                                                      const details::operator_type& operation,
                                                      expression_node_ptr (&branch)[2])
            {
               // (c o0 v0) o1 (v1 o2 v2)
               const details::cov_base_node<Type>* cov = static_cast<details::cov_base_node<Type>*>(branch[0]);
               const details::vov_base_node<Type>* vov = static_cast<details::vov_base_node<Type>*>(branch[1]);
               const Type   c = cov->c ();
               const Type& v0 = cov->v ();
               const Type& v1 = vov->v0();
               const Type& v2 = vov->v1();
               const details::operator_type o0 = cov->operation();
               const details::operator_type o1 = operation;
               const details::operator_type o2 = vov->operation();

               details::free_node(*(expr_gen.node_allocator_),branch[0]);
               details::free_node(*(expr_gen.node_allocator_),branch[1]);

               expression_node_ptr result = error_node();

               if (expr_gen.parser_->settings_.strength_reduction_enabled())
               {
                  // (c / v0) * (v1 / v2) --> (covovov) (c * v1) / (v0 * v2)
                  if ((details::e_div == o0) && (details::e_mul == o1) && (details::e_div == o2))
                  {
                     const bool synthesis_result =
                        synthesize_sf4ext_expression::
                           template compile<ctype, vtype, vtype, vtype>(expr_gen, "(t*t)/(t*t)", c, v1, v0, v2, result);

                     exprtk_debug(("(c / v0) * (v1 / v2) --> (covovov) (c * v1) / (v0 * v2)\n"));

                     return (synthesis_result) ? result : error_node();
                  }
                  // (c / v0) / (v1 / v2) --> (covovov) (c * v2) / (v0 * v1)
                  if ((details::e_div == o0) && (details::e_div == o1) && (details::e_div == o2))
                  {
                     const bool synthesis_result =
                        synthesize_sf4ext_expression::
                           template compile<ctype, vtype, vtype, vtype>(expr_gen, "(t*t)/(t*t)", c, v2, v0, v1, result);

                     exprtk_debug(("(c / v0) / (v1 / v2) --> (covovov) (c * v2) / (v0 * v1)\n"));

                     return (synthesis_result) ? result : error_node();
                  }
               }

               const bool synthesis_result =
                  synthesize_sf4ext_expression::template compile<T0, T1, T2, T3>
                     (expr_gen, id(expr_gen, o0, o1, o2), c, v0, v1, v2, result);

               if (synthesis_result)
                  return result;

               binary_functor_t f0 = reinterpret_cast<binary_functor_t>(0);
               binary_functor_t f1 = reinterpret_cast<binary_functor_t>(0);
               binary_functor_t f2 = reinterpret_cast<binary_functor_t>(0);

               if (!expr_gen.valid_operator(o0,f0))
                  return error_node();
               else if (!expr_gen.valid_operator(o1,f1))
                  return error_node();
               else if (!expr_gen.valid_operator(o2,f2))
                  return error_node();
               else
                  return node_type::allocate(*(expr_gen.node_allocator_), c, v0, v1, v2, f0, f1, f2);
            }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x58, %rsp
movq %rdx, %r15
movq %rsi, %r13
movq %rdi, %r12
leaq 0x8(%rdx), %r14
movq (%rdx), %rbx
movq 0x8(%rdx), %rbp
movq (%rbx), %rax
movq %rbx, %rdi
callq *0x40(%rax)
movsd %xmm0, 0x28(%rsp)
movq (%rbx), %rax
movq %rbx, %rdi
callq *0x48(%rax)
movq %rax, 0x20(%rsp)
movq (%rbp), %rax
movq %rbp, %rdi
callq *0x40(%rax)
movq %rax, 0x18(%rsp)
movq (%rbp), %rax
movq %rbp, %rdi
callq *0x48(%rax)
movq %rax, 0x10(%rsp)
movq (%rbx), %rax
movq %rbx, %rdi
callq *0x38(%rax)
movl %eax, %ebx
movl (%r13), %r13d
movq (%rbp), %rax
movq %rbp, %rdi
callq *0x38(%rax)
movl %eax, %ebp
movq (%r15), %rdi
testq %rdi, %rdi
je 0x1fdb2a
movq (%rdi), %rax
callq *0x28(%rax)
cmpl $0x11, %eax
je 0x1fdb2a
movq (%r15), %rdi
testq %rdi, %rdi
je 0x1fdb22
movq (%rdi), %rax
callq *0x28(%rax)
cmpl $0x12, %eax
je 0x1fdb2a
movq %r15, %rdi
callq 0x1ea63e
movq (%r14), %rdi
testq %rdi, %rdi
je 0x1fdb58
movq (%rdi), %rax
callq *0x28(%rax)
cmpl $0x11, %eax
je 0x1fdb58
movq (%r14), %rdi
testq %rdi, %rdi
je 0x1fdb50
movq (%rdi), %rax
callq *0x28(%rax)
cmpl $0x12, %eax
je 0x1fdb58
movq %r14, %rdi
callq 0x1ea63e
movq 0x68(%r12), %rax
cmpb $0x1, 0xd6(%rax)
jne 0x1fdc6e
movl %ebx, %eax
xorl $0x5, %eax
movl %r13d, %edx
xorl $0x4, %edx
orl %eax, %edx
movl %ebp, %ecx
xorl $0x5, %ecx
orl %ecx, %edx
jne 0x1fdbee
leaq 0x40(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x19685b(%rip), %rsi    # 0x3943eb
leaq 0x19685f(%rip), %rdx    # 0x3943f6
leaq 0x30(%rsp), %rdi
callq 0x1e4740
movq 0x60(%r12), %rdi
leaq 0x30(%rsp), %rsi
callq 0x214ed4
movq %rax, %rbx
movq 0x60(%r12), %r13
addq $0x8, %r13
cmpq %rax, %r13
je 0x1fdd9a
movl 0x48(%rbx), %eax
leaq 0xc(%rsp), %rsi
movl %eax, (%rsi)
movq %r12, %rdi
movsd 0x28(%rsp), %xmm0
movq 0x18(%rsp), %rdx
movq 0x20(%rsp), %rcx
movq 0x10(%rsp), %r8
callq 0x223630
jmp 0x1fdc66
movl %r13d, %edx
xorl $0x5, %edx
orl %edx, %eax
orl %ecx, %eax
jne 0x1fdc6e
leaq 0x40(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x1967e1(%rip), %rsi    # 0x3943eb
leaq 0x1967e5(%rip), %rdx    # 0x3943f6
leaq 0x30(%rsp), %rdi
callq 0x1e4740
movq 0x60(%r12), %rdi
leaq 0x30(%rsp), %rsi
callq 0x214ed4
movq %rax, %rbx
movq 0x60(%r12), %r13
addq $0x8, %r13
cmpq %rax, %r13
je 0x1fdd9a
movl 0x48(%rbx), %eax
leaq 0xc(%rsp), %rsi
movl %eax, (%rsi)
movq %r12, %rdi
movsd 0x28(%rsp), %xmm0
movq 0x10(%rsp), %rdx
movq 0x20(%rsp), %rcx
movq 0x18(%rsp), %r8
callq 0x223630
movq %rax, %r14
jmp 0x1fdd9d
leaq 0x30(%rsp), %r14
movq %r14, %rdi
movq %r12, %rsi
movl %ebx, %edx
movl %r13d, %ecx
movl %ebp, 0x54(%rsp)
movl %ebp, %r8d
callq 0x2232c8
movq 0x60(%r12), %rdi
movq %r14, %rsi
callq 0x214ed4
movq %rax, %r15
movq 0x60(%r12), %rbp
addq $0x8, %rbp
cmpq %rax, %rbp
je 0x1fdcd5
movl 0x48(%r15), %eax
leaq 0xc(%rsp), %rsi
movl %eax, (%rsi)
movq %r12, %rdi
movsd 0x28(%rsp), %xmm0
movq 0x20(%rsp), %rdx
movq 0x18(%rsp), %rcx
movq 0x10(%rsp), %r8
callq 0x223630
movq %rax, %r14
jmp 0x1fdcd8
xorl %r14d, %r14d
leaq 0x40(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x1fdcf3
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x11e0c0
cmpq %r15, %rbp
jne 0x1fddbd
movq 0x48(%r12), %rax
movq 0x10(%rax), %rcx
testq %rcx, %rcx
je 0x1fdd95
addq $0x8, %rax
movq %rcx, %rsi
movq %rax, %rdx
xorl %edi, %edi
cmpl %ebx, 0x20(%rsi)
setl %dil
cmovgeq %rsi, %rdx
movq 0x10(%rsi,%rdi,8), %rsi
testq %rsi, %rsi
jne 0x1fdd18
cmpq %rax, %rdx
movl 0x54(%rsp), %r8d
je 0x1fdd95
cmpl 0x20(%rdx), %ebx
jl 0x1fdd95
movq 0x28(%rdx), %rbx
movq %rcx, %rsi
movq %rax, %rdx
xorl %edi, %edi
cmpl %r13d, 0x20(%rsi)
setl %dil
cmovgeq %rsi, %rdx
movq 0x10(%rsi,%rdi,8), %rsi
testq %rsi, %rsi
jne 0x1fdd48
cmpq %rax, %rdx
je 0x1fdd95
cmpl 0x20(%rdx), %r13d
jl 0x1fdd95
movq 0x28(%rdx), %r15
movq %rax, %rdx
xorl %esi, %esi
cmpl %r8d, 0x20(%rcx)
setl %sil
cmovgeq %rcx, %rdx
movq 0x10(%rcx,%rsi,8), %rcx
testq %rcx, %rcx
jne 0x1fdd72
cmpq %rax, %rdx
je 0x1fdd95
cmpl 0x20(%rdx), %r8d
jge 0x1fddcf
xorl %r14d, %r14d
jmp 0x1fddbd
xorl %r14d, %r14d
movq 0x30(%rsp), %rdi
cmpq %r15, %rdi
je 0x1fddb4
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x11e0c0
xorl %eax, %eax
cmpq %rbx, %r13
cmoveq %rax, %r14
movq %r14, %rax
addq $0x58, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x28(%rdx), %r12
movl $0x58, %edi
callq 0x11e0f0
movq %rax, %r14
movb $0x0, 0x10(%rax)
movq $0x0, 0x18(%rax)
leaq 0x2fa19d(%rip), %rax    # 0x4f7f90
movq %rax, (%r14)
leaq 0x2fa1e3(%rip), %rax    # 0x4f7fe0
movq %rax, 0x8(%r14)
movsd 0x28(%rsp), %xmm0
movsd %xmm0, 0x20(%r14)
movq 0x20(%rsp), %rax
movq %rax, 0x28(%r14)
movq 0x18(%rsp), %rax
movq %rax, 0x30(%r14)
movq 0x10(%rsp), %rax
movq %rax, 0x38(%r14)
movq %rbx, 0x40(%r14)
movq %r15, 0x48(%r14)
movq %r12, 0x50(%r14)
jmp 0x1fddbd
jmp 0x1fde3a
jmp 0x1fde3f
movq %rax, %rbx
jmp 0x1fde6c
movq %rax, %rbx
movq 0x30(%rsp), %rdi
cmpq %r15, %rdi
jne 0x1fde5f
jmp 0x1fde6c
movq %rax, %rbx
leaq 0x40(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x1fde6c
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x11e0c0
movq %rbx, %rdi
callq 0x11e330