There is a verification example here: https://communities.bentley.com/products/ram-staad/m/structural_analysis_and_design_gallery/273520 It uses the same Ec equation you noted above.