// File: /workspace/github_cpp_makefile_star2_O3/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, %r15
movq %rdx, %r12
movq %rsi, %r14
movq %rdi, %rbx
movabsq $0x3f131da7d157db65, %rax # imm = 0x3F131DA7D157DB65
movq %rax, (%rsp)
leaq 0x60(%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 0x58(%rsp), %rsi
movq %rax, (%rsi)
callq 0x22604
leaq 0x50(%rsp), %rsi
movq $0x0, (%rsi)
movq %rax, %rdi
callq 0x22604
movq %rsp, %rsi
movq %rax, %rdi
callq 0x22604
leaq 0x48(%rsp), %rsi
movq $0x0, (%rsi)
movq %rax, %rdi
callq 0x22604
leaq 0x40(%rsp), %rsi
movq $0x0, (%rsi)
movq %rax, %rdi
callq 0x22604
leaq 0x38(%rsp), %rsi
movq $0x0, (%rsi)
movq %rax, %rdi
callq 0x22604
leaq 0x30(%rsp), %rsi
movq $0x0, (%rsi)
movq %rax, %rdi
callq 0x22604
leaq 0x28(%rsp), %rsi
movq $0x0, (%rsi)
movq %rax, %rdi
callq 0x22604
movq 0x20(%rsp), %rax
addq 0x10(%rsp), %rax
cmpq $0x3, %rax
jne 0x23e42
cmpq $0x3, 0x18(%rsp)
jne 0x23e42
movsd (%r12), %xmm6
movsd 0x8(%r12), %xmm3
movsd 0x10(%r12), %xmm0
movsd 0x10(%r14), %xmm1
mulsd %xmm6, %xmm1
movsd 0x28(%r14), %xmm2
mulsd %xmm3, %xmm2
addsd %xmm1, %xmm2
movsd 0x40(%r14), %xmm7
mulsd %xmm0, %xmm7
addsd %xmm2, %xmm7
movsd (%r15), %xmm4
movsd 0x8(%r15), %xmm2
movsd 0x10(%r15), %xmm1
movsd 0x70(%rsp), %xmm5
mulsd %xmm4, %xmm5
movsd 0x88(%rsp), %xmm8
mulsd %xmm2, %xmm8
addsd %xmm5, %xmm8
movsd 0xa0(%rsp), %xmm5
mulsd %xmm1, %xmm5
addsd %xmm8, %xmm5
addsd %xmm7, %xmm5
unpcklpd %xmm6, %xmm6            # xmm6 = xmm6[0,0]
movupd (%r14), %xmm7
mulpd %xmm6, %xmm7
movupd 0x18(%r14), %xmm6
movupd 0x30(%r14), %xmm8
unpcklpd %xmm3, %xmm3            # xmm3 = xmm3[0,0]
mulpd %xmm6, %xmm3
addpd %xmm7, %xmm3
unpcklpd %xmm0, %xmm0            # xmm0 = xmm0[0,0]
mulpd %xmm8, %xmm0
addpd %xmm3, %xmm0
unpcklpd %xmm4, %xmm4            # xmm4 = xmm4[0,0]
mulpd 0x60(%rsp), %xmm4
movupd 0x78(%rsp), %xmm3
unpcklpd %xmm2, %xmm2            # xmm2 = xmm2[0,0]
mulpd %xmm3, %xmm2
addpd %xmm4, %xmm2
unpcklpd %xmm1, %xmm1            # xmm1 = xmm1[0,0]
mulpd 0x90(%rsp), %xmm1
addpd %xmm2, %xmm1
addpd %xmm0, %xmm1
movupd %xmm1, (%rbx)
movsd %xmm5, 0x10(%rbx)
movq %rbx, %rax
addq $0xa8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
jmp 0x23e22
jmp 0x23e22
jmp 0x23e22
jmp 0x23e22
jmp 0x23e22
jmp 0x23e22
movq 0x20(%rsp), %rcx
addq 0x10(%rsp), %rcx
cmpq $0x3, %rcx
jne 0x23e42
cmpq $0x3, 0x18(%rsp)
jne 0x23e42
movq %rax, %rdi
callq 0x5650
leaq 0x348b(%rip), %rdi      # 0x272d4
leaq 0x350b(%rip), %rsi      # 0x2735b
leaq 0x4431(%rip), %rcx      # 0x28288
movl $0x6a, %edx
callq 0x5250