// File: /workspace/github_cpp_makefile_star2_O1/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 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 0x250b1
cmpq $0x3, 0x18(%rsp)
jne 0x250b1
movsd (%r12), %xmm1
movsd 0x8(%r12), %xmm0
movsd 0x28(%rsp), %xmm2
mulsd %xmm1, %xmm2
movsd 0x40(%rsp), %xmm4
mulsd %xmm0, %xmm4
addsd %xmm2, %xmm4
movsd 0x10(%r12), %xmm3
movsd 0x58(%rsp), %xmm5
mulsd %xmm3, %xmm5
addsd %xmm4, %xmm5
movsd 0x30(%rsp), %xmm2
mulsd %xmm1, %xmm2
movsd 0x48(%rsp), %xmm4
mulsd %xmm0, %xmm4
addsd %xmm2, %xmm4
movsd 0x60(%rsp), %xmm6
mulsd %xmm3, %xmm6
addsd %xmm4, %xmm6
mulsd 0x38(%rsp), %xmm1
mulsd 0x50(%rsp), %xmm0
mulsd 0x68(%rsp), %xmm3
addsd %xmm1, %xmm0
addsd %xmm0, %xmm3
movsd (%r15), %xmm2
subsd %xmm5, %xmm2
movsd 0x8(%r15), %xmm0
subsd %xmm6, %xmm0
movsd 0x10(%r15), %xmm1
subsd %xmm3, %xmm1
movsd (%r14), %xmm3
mulsd %xmm2, %xmm3
movsd 0x18(%r14), %xmm4
mulsd %xmm0, %xmm4
addsd %xmm3, %xmm4
movsd 0x30(%r14), %xmm3
mulsd %xmm1, %xmm3
addsd %xmm4, %xmm3
movsd 0x8(%r14), %xmm4
mulsd %xmm2, %xmm4
movsd 0x20(%r14), %xmm5
mulsd %xmm0, %xmm5
addsd %xmm4, %xmm5
movsd 0x38(%r14), %xmm4
mulsd %xmm1, %xmm4
addsd %xmm5, %xmm4
mulsd 0x10(%r14), %xmm2
mulsd 0x28(%r14), %xmm0
addsd %xmm2, %xmm0
mulsd 0x40(%r14), %xmm1
addsd %xmm0, %xmm1
movsd %xmm3, (%rbx)
movsd %xmm4, 0x8(%rbx)
movsd %xmm1, 0x10(%rbx)
movq %rbx, %rax
addq $0xa8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
jmp 0x25091
jmp 0x25091
jmp 0x25091
jmp 0x25091
jmp 0x25091
jmp 0x25091
movq 0x20(%rsp), %rcx
addq 0x10(%rsp), %rcx
cmpq $0x3, %rcx
jne 0x250b1
cmpq $0x3, 0x18(%rsp)
jne 0x250b1
movq %rax, %rdi
callq 0x5650
leaq 0x411c(%rip), %rdi      # 0x291d4
leaq 0x419c(%rip), %rsi      # 0x2925b
leaq 0x5072(%rip), %rcx      # 0x2a138
movl $0x6a, %edx
callq 0x5250