// File: /workspace/github_cpp_makefile_star2_O3/istellartech[P]OpenTsiolkovsky/src/coordinate_transform.cpp
// Function: vel_ECEF_NEDframe(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_ECEF_NEDframe(Matrix3d dcmECI2NED_, Vector3d vel_ECI_ECIframe_, Vector3d pos_ECI_){
    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 dcmECI2NED_ * (vel_ECI_ECIframe_ - omegaECI2ECEF_ * pos_ECI_);
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0xa8, %rsp
movq %rcx, %r12
movq %rdx, %r15
movq %rsi, %r14
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 0x22604
leaq 0x98(%rsp), %rsi
movq $0x0, (%rsi)
movq %rax, %rdi
callq 0x22604
movq %rsp, %rsi
movq %rax, %rdi
callq 0x22604
leaq 0x90(%rsp), %rsi
movq $0x0, (%rsi)
movq %rax, %rdi
callq 0x22604
leaq 0x88(%rsp), %rsi
movq $0x0, (%rsi)
movq %rax, %rdi
callq 0x22604
leaq 0x80(%rsp), %rsi
movq $0x0, (%rsi)
movq %rax, %rdi
callq 0x22604
leaq 0x78(%rsp), %rsi
movq $0x0, (%rsi)
movq %rax, %rdi
callq 0x22604
leaq 0x70(%rsp), %rsi
movq $0x0, (%rsi)
movq %rax, %rdi
callq 0x22604
movq 0x20(%rsp), %rax
addq 0x10(%rsp), %rax
cmpq $0x3, %rax
jne 0x230bb
cmpq $0x3, 0x18(%rsp)
jne 0x230bb
movsd (%r12), %xmm2
movsd 0x8(%r12), %xmm0
movsd 0x28(%rsp), %xmm1
mulsd %xmm2, %xmm1
movsd 0x40(%rsp), %xmm3
mulsd %xmm0, %xmm3
addsd %xmm1, %xmm3
movsd 0x10(%r12), %xmm1
movsd 0x58(%rsp), %xmm4
mulsd %xmm1, %xmm4
addsd %xmm3, %xmm4
movsd 0x30(%rsp), %xmm3
mulsd %xmm2, %xmm3
movsd 0x48(%rsp), %xmm5
mulsd %xmm0, %xmm5
addsd %xmm3, %xmm5
movsd 0x60(%rsp), %xmm3
mulsd %xmm1, %xmm3
addsd %xmm5, %xmm3
mulsd 0x38(%rsp), %xmm2
mulsd 0x50(%rsp), %xmm0
addsd %xmm2, %xmm0
mulsd 0x68(%rsp), %xmm1
addsd %xmm0, %xmm1
movsd (%r15), %xmm5
movsd 0x8(%r15), %xmm0
subsd %xmm4, %xmm5
subsd %xmm3, %xmm0
movsd 0x10(%r15), %xmm2
subsd %xmm1, %xmm2
movsd 0x10(%r14), %xmm1
mulsd %xmm5, %xmm1
movsd 0x28(%r14), %xmm3
mulsd %xmm0, %xmm3
addsd %xmm1, %xmm3
movsd 0x40(%r14), %xmm1
mulsd %xmm2, %xmm1
addsd %xmm3, %xmm1
unpcklpd %xmm5, %xmm5            # xmm5 = xmm5[0,0]
movupd (%r14), %xmm3
mulpd %xmm5, %xmm3
movupd 0x18(%r14), %xmm4
movupd 0x30(%r14), %xmm5
unpcklpd %xmm0, %xmm0            # xmm0 = xmm0[0,0]
mulpd %xmm4, %xmm0
addpd %xmm3, %xmm0
unpcklpd %xmm2, %xmm2            # xmm2 = xmm2[0,0]
mulpd %xmm5, %xmm2
addpd %xmm0, %xmm2
movupd %xmm2, (%rbx)
movsd %xmm1, 0x10(%rbx)
movq %rbx, %rax
addq $0xa8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
jmp 0x2309b
jmp 0x2309b
jmp 0x2309b
jmp 0x2309b
jmp 0x2309b
jmp 0x2309b
movq 0x20(%rsp), %rcx
addq 0x10(%rsp), %rcx
cmpq $0x3, %rcx
jne 0x230bb
cmpq $0x3, 0x18(%rsp)
jne 0x230bb
movq %rax, %rdi
callq 0x5650
leaq 0x4212(%rip), %rdi      # 0x272d4
leaq 0x4292(%rip), %rsi      # 0x2735b
leaq 0x51b8(%rip), %rcx      # 0x28288
movl $0x6a, %edx
callq 0x5250