// File: /workspace/github_cpp_makefile_star2_O1/istellartech[P]OpenTsiolkovsky/src/coordinate_transform.cpp
// Function: vel_ECI_ECIframe(Eigen::Matrix<double, 3, 3, 0, 3, 3>, Eigen::Matrix<double, 3, 1, 0, 3, 1>, Eigen::Matrix<double, 3, 1, 0, 3, 1>)
Vector3d vel_ECI_ECIframe(Matrix3d dcmNED2ECI_, Vector3d vel_ECEF_NEDframe_, Vector3d posECI_){
    double omega = 7.292115e-5; // 地球の自転角速度[rad]
    Matrix3d omegaECI2ECEF_;    // 角速度テンソル angular velocity tensorß
    omegaECI2ECEF_ << 0.0,   -omega, 0.0,
                      omega, 0.0,    0.0,
                      0.0,   0.0,    0.0;
    return dcmNED2ECI_ * vel_ECEF_NEDframe_ + omegaECI2ECEF_ * posECI_;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0xa8, %rsp
movq %rcx, %r14
movq %rdx, %r12
movq %rsi, %r15
movq %rdi, %rbx
movabsq $0x3f131da7d157db65, %rax # imm = 0x3F131DA7D157DB65
movq %rax, (%rsp)
leaq 0x28(%rsp), %rax
leaq 0x8(%rsp), %rdi
movq %rax, (%rdi)
xorl %ecx, %ecx
movq %rcx, 0x8(%rdi)
movl $0x1, %edx
movq %rdx, 0x10(%rdi)
movq %rdx, 0x18(%rdi)
movq %rcx, (%rax)
movabsq $-0x40ece2582ea8249b, %rax # imm = 0xBF131DA7D157DB65
leaq 0xa0(%rsp), %rsi
movq %rax, (%rsi)
callq 0x2457a
leaq 0x98(%rsp), %rsi
movq $0x0, (%rsi)
movq %rax, %rdi
callq 0x2457a
movq %rsp, %rsi
movq %rax, %rdi
callq 0x2457a
leaq 0x90(%rsp), %rsi
movq $0x0, (%rsi)
movq %rax, %rdi
callq 0x2457a
leaq 0x88(%rsp), %rsi
movq $0x0, (%rsi)
movq %rax, %rdi
callq 0x2457a
leaq 0x80(%rsp), %rsi
movq $0x0, (%rsi)
movq %rax, %rdi
callq 0x2457a
leaq 0x78(%rsp), %rsi
movq $0x0, (%rsi)
movq %rax, %rdi
callq 0x2457a
leaq 0x70(%rsp), %rsi
movq $0x0, (%rsi)
movq %rax, %rdi
callq 0x2457a
movq 0x20(%rsp), %rax
addq 0x10(%rsp), %rax
cmpq $0x3, %rax
jne 0x25f8b
cmpq $0x3, 0x18(%rsp)
jne 0x25f8b
movsd (%r12), %xmm4
movsd 0x8(%r12), %xmm3
movsd (%r15), %xmm0
mulsd %xmm4, %xmm0
movsd 0x18(%r15), %xmm1
mulsd %xmm3, %xmm1
addsd %xmm0, %xmm1
movsd 0x10(%r12), %xmm0
movsd 0x30(%r15), %xmm2
mulsd %xmm0, %xmm2
addsd %xmm1, %xmm2
movsd 0x8(%r15), %xmm1
mulsd %xmm4, %xmm1
movsd 0x20(%r15), %xmm5
mulsd %xmm3, %xmm5
addsd %xmm1, %xmm5
movsd 0x38(%r15), %xmm1
mulsd %xmm0, %xmm1
addsd %xmm5, %xmm1
mulsd 0x10(%r15), %xmm4
mulsd 0x28(%r15), %xmm3
mulsd 0x40(%r15), %xmm0
addsd %xmm4, %xmm3
addsd %xmm3, %xmm0
movsd (%r14), %xmm4
movsd 0x8(%r14), %xmm3
movsd 0x28(%rsp), %xmm5
mulsd %xmm4, %xmm5
movsd 0x40(%rsp), %xmm7
mulsd %xmm3, %xmm7
addsd %xmm5, %xmm7
movsd 0x10(%r14), %xmm5
movsd 0x58(%rsp), %xmm6
mulsd %xmm5, %xmm6
addsd %xmm7, %xmm6
addsd %xmm2, %xmm6
movsd 0x30(%rsp), %xmm2
mulsd %xmm4, %xmm2
movsd 0x48(%rsp), %xmm7
mulsd %xmm3, %xmm7
addsd %xmm2, %xmm7
movsd 0x60(%rsp), %xmm2
mulsd %xmm5, %xmm2
addsd %xmm7, %xmm2
mulsd 0x38(%rsp), %xmm4
addsd %xmm1, %xmm2
mulsd 0x50(%rsp), %xmm3
addsd %xmm4, %xmm3
mulsd 0x68(%rsp), %xmm5
addsd %xmm3, %xmm5
addsd %xmm0, %xmm5
movsd %xmm6, (%rbx)
movsd %xmm2, 0x8(%rbx)
movsd %xmm5, 0x10(%rbx)
movq %rbx, %rax
addq $0xa8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
jmp 0x25f6b
jmp 0x25f6b
jmp 0x25f6b
jmp 0x25f6b
jmp 0x25f6b
jmp 0x25f6b
movq 0x20(%rsp), %rcx
addq 0x10(%rsp), %rcx
cmpq $0x3, %rcx
jne 0x25f8b
cmpq $0x3, 0x18(%rsp)
jne 0x25f8b
movq %rax, %rdi
callq 0x5650
leaq 0x3242(%rip), %rdi      # 0x291d4
leaq 0x32c2(%rip), %rsi      # 0x2925b
leaq 0x4198(%rip), %rcx      # 0x2a138
movl $0x6a, %edx
callq 0x5250