module Drasil.SSP.BasicExprs where import Prelude hiding (sin, cos, tan) import Language.Drasil import Drasil.SSP.Unitals (baseAngle, baseWthX, earthqkLoadFctr, fs, impLoadAngle, intNormForce, inxi, inxiM1, midpntHght, mobShrC, shearFNoIntsl, shearRNoIntsl, shrResC, slcWght, sliceHght, sliceHghtW, surfAngle, surfHydroForce, surfLoad, watrForce) eqlExpr :: (ExprC r, LiteralC r) => (r -> r) -> (r -> r) -> (r -> r -> r) -> r eqlExpr :: (r -> r) -> (r -> r) -> (r -> r -> r) -> r eqlExpr f1_ :: r -> r f1_ f2_ :: r -> r f2_ _e_ :: r -> r -> r _e_ = (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk slcWght r -> r -> r `_e_` (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfHydroForce r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r forall r. ExprC r => r -> r cos (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfAngle)) r -> r -> r forall r. ExprC r => r -> r -> r `addRe` (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfLoad r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r forall r. ExprC r => r -> r cos (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk impLoadAngle))) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r f1_ (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle) r -> r -> r forall r. ExprC r => r -> r -> r $- (((r -> r forall r. ExprC r => r -> r neg (DefinedQuantityDict -> r forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r sy DefinedQuantityDict earthqkLoadFctr) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk slcWght) r -> r -> r forall r. ExprC r => r -> r -> r $- UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk intNormForce r -> r -> r forall r. ExprC r => r -> r -> r `addRe` UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk intNormForce r -> r -> r forall r. ExprC r => r -> r -> r $- UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk watrForce r -> r -> r forall r. ExprC r => r -> r -> r `addRe` UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk watrForce r -> r -> r forall r. ExprC r => r -> r -> r `addRe` (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfHydroForce r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r forall r. ExprC r => r -> r sin (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfAngle)) r -> r -> r forall r. ExprC r => r -> r -> r `addRe` (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfLoad r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r forall r. ExprC r => r -> r sin (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk impLoadAngle))) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r f2_ (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle)) eqlExprN :: (ExprC r, LiteralC r) => (r -> r) -> (r -> r) -> (r -> r -> r) -> r eqlExprN :: (r -> r) -> (r -> r) -> (r -> r -> r) -> r eqlExprN f1_ :: r -> r f1_ f2_ :: r -> r f2_ _e_ :: r -> r -> r _e_ = (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk slcWght r -> r -> r `_e_` (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfHydroForce r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r forall r. ExprC r => r -> r cos (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfAngle)) r -> r -> r forall r. ExprC r => r -> r -> r `addRe` (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfLoad r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r forall r. ExprC r => r -> r cos (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk impLoadAngle)) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r f1_ (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle)) r -> r -> r forall r. ExprC r => r -> r -> r `addRe` (((r -> r forall r. ExprC r => r -> r neg (DefinedQuantityDict -> r forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r sy DefinedQuantityDict earthqkLoadFctr) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk slcWght r -> r -> r forall r. ExprC r => r -> r -> r $- UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk intNormForce r -> r -> r forall r. ExprC r => r -> r -> r `addRe` UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk intNormForce r -> r -> r forall r. ExprC r => r -> r -> r $- UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk watrForce r -> r -> r forall r. ExprC r => r -> r -> r `addRe` UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk watrForce r -> r -> r forall r. ExprC r => r -> r -> r `addRe` (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfHydroForce r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r forall r. ExprC r => r -> r sin (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfAngle))) r -> r -> r forall r. ExprC r => r -> r -> r `addRe` (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfLoad r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r forall r. ExprC r => r -> r sin (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk impLoadAngle))) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r f2_ (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle)) eqlExprSepG :: (ExprC r, LiteralC r) => (r -> r) -> (r -> r) -> (r -> r -> r) -> r eqlExprSepG :: (r -> r) -> (r -> r) -> (r -> r -> r) -> r eqlExprSepG f1_ :: r -> r f1_ f2_ :: r -> r f2_ _e_ :: r -> r -> r _e_ = (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk slcWght r -> r -> r `_e_` (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfHydroForce r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r forall r. ExprC r => r -> r cos (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfAngle)) r -> r -> r forall r. ExprC r => r -> r -> r `addRe` (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfLoad r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r forall r. ExprC r => r -> r cos (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk impLoadAngle)) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r f1_ (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle)) r -> r -> r forall r. ExprC r => r -> r -> r $- ((r -> r forall r. ExprC r => r -> r neg (DefinedQuantityDict -> r forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r sy DefinedQuantityDict earthqkLoadFctr) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk slcWght r -> r -> r forall r. ExprC r => r -> r -> r $- UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk watrForce r -> r -> r forall r. ExprC r => r -> r -> r `addRe` UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk watrForce r -> r -> r forall r. ExprC r => r -> r -> r `addRe` (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfHydroForce r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r forall r. ExprC r => r -> r sin (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfAngle)) r -> r -> r forall r. ExprC r => r -> r -> r `addRe` (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfLoad r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r forall r. ExprC r => r -> r sin (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk impLoadAngle))) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r f2_ (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle)) r -> r -> r forall r. ExprC r => r -> r -> r $- ((r -> r forall r. ExprC r => r -> r neg (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk intNormForce) r -> r -> r forall r. ExprC r => r -> r -> r `addRe` UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk intNormForce) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r f2_ (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle)) eqlExprNSepG :: (ExprC r, LiteralC r) => (r -> r) -> (r -> r) -> (r -> r -> r) -> r eqlExprNSepG :: (r -> r) -> (r -> r) -> (r -> r -> r) -> r eqlExprNSepG f1_ :: r -> r f1_ f2_ :: r -> r f2_ _e_ :: r -> r -> r _e_ = (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk slcWght r -> r -> r `_e_` (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfHydroForce r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r forall r. ExprC r => r -> r cos (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfAngle)) r -> r -> r forall r. ExprC r => r -> r -> r `addRe` (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfLoad r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r forall r. ExprC r => r -> r cos (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk impLoadAngle))) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r f1_ (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle) r -> r -> r forall r. ExprC r => r -> r -> r `addRe` ((r -> r forall r. ExprC r => r -> r neg (DefinedQuantityDict -> r forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r sy DefinedQuantityDict earthqkLoadFctr) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk slcWght r -> r -> r forall r. ExprC r => r -> r -> r $- UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk watrForce r -> r -> r forall r. ExprC r => r -> r -> r `addRe` UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk watrForce r -> r -> r forall r. ExprC r => r -> r -> r `addRe` (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfHydroForce r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r forall r. ExprC r => r -> r sin (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfAngle)) r -> r -> r forall r. ExprC r => r -> r -> r `addRe` (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfLoad r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r forall r. ExprC r => r -> r sin (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk impLoadAngle))) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r f2_ (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle)) r -> r -> r forall r. ExprC r => r -> r -> r `addRe` ((r -> r forall r. ExprC r => r -> r neg (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk intNormForce) r -> r -> r forall r. ExprC r => r -> r -> r `addRe` UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk intNormForce) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r f2_ (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle)) eqlExprNoKQ :: (ExprC r, LiteralC r) => (r -> r) -> (r -> r) -> (r -> r -> r) -> r eqlExprNoKQ :: (r -> r) -> (r -> r) -> (r -> r -> r) -> r eqlExprNoKQ f1_ :: r -> r f1_ f2_ :: r -> r f2_ _e_ :: r -> r -> r _e_ = (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk slcWght r -> r -> r `_e_` (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfHydroForce r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r forall r. ExprC r => r -> r cos (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfAngle))) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r f1_ (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle) r -> r -> r forall r. ExprC r => r -> r -> r $- ((r -> r forall r. ExprC r => r -> r neg (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk watrForce) r -> r -> r forall r. ExprC r => r -> r -> r `addRe` UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk watrForce r -> r -> r forall r. ExprC r => r -> r -> r `addRe` (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfHydroForce r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r forall r. ExprC r => r -> r sin (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfAngle))) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r f2_ (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle)) r -> r -> r forall r. ExprC r => r -> r -> r $- ((r -> r forall r. ExprC r => r -> r neg (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk intNormForce) r -> r -> r forall r. ExprC r => r -> r -> r `addRe` UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk intNormForce) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r f2_ (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle)) eqlExprNNoKQ :: (ExprC r, LiteralC r) => (r -> r) -> (r -> r) -> (r -> r -> r) -> r eqlExprNNoKQ :: (r -> r) -> (r -> r) -> (r -> r -> r) -> r eqlExprNNoKQ f1_ :: r -> r f1_ f2_ :: r -> r f2_ _e_ :: r -> r -> r _e_ = (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk slcWght r -> r -> r `_e_` (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfHydroForce r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r forall r. ExprC r => r -> r cos (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfAngle))) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r f1_ (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle) r -> r -> r forall r. ExprC r => r -> r -> r `addRe` ((r -> r forall r. ExprC r => r -> r neg (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk watrForce) r -> r -> r forall r. ExprC r => r -> r -> r `addRe` UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk watrForce r -> r -> r forall r. ExprC r => r -> r -> r `addRe` (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfHydroForce r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r forall r. ExprC r => r -> r sin (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfAngle))) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r f2_ (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle)) r -> r -> r forall r. ExprC r => r -> r -> r `addRe` ((r -> r forall r. ExprC r => r -> r neg (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk intNormForce) r -> r -> r forall r. ExprC r => r -> r -> r `addRe` UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk intNormForce) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r f2_ (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle)) sliceExpr :: (ExprC r, LiteralC r) => Integer -> r sliceExpr :: Integer -> r sliceExpr n :: Integer n = r -> r -> r forall r. ExprC r => r -> r -> r idx (UnitalChunk -> r forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r sy UnitalChunk intNormForce) (Integer -> r forall r. LiteralC r => Integer -> r int Integer n) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r -> r forall r. ExprC r => r -> r -> r idx (DefinedQuantityDict -> r forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r sy DefinedQuantityDict shrResC) (Integer -> r forall r. LiteralC r => Integer -> r int Integer n) r -> r -> r forall r. ExprC r => r -> r -> r $= (r -> r -> r forall r. ExprC r => r -> r -> r idx (DefinedQuantityDict -> r forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r sy DefinedQuantityDict mobShrC) (Integer -> r forall r. LiteralC r => Integer -> r int (Integer nInteger -> Integer -> Integer forall a. Num a => a -> a -> a -1)) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r -> r forall r. ExprC r => r -> r -> r idx (UnitalChunk -> r forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r sy UnitalChunk intNormForce) (Integer -> r forall r. LiteralC r => Integer -> r int (Integer nInteger -> Integer -> Integer forall a. Num a => a -> a -> a -1)) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r -> r forall r. ExprC r => r -> r -> r idx (DefinedQuantityDict -> r forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r sy DefinedQuantityDict shrResC) (Integer -> r forall r. LiteralC r => Integer -> r int (Integer nInteger -> Integer -> Integer forall a. Num a => a -> a -> a -1)) r -> r -> r forall r. ExprC r => r -> r -> r `addRe` (ConstrConcept -> r forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r sy ConstrConcept fs r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r -> r forall r. ExprC r => r -> r -> r idx (UnitalChunk -> r forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r sy UnitalChunk shearFNoIntsl) (Integer -> r forall r. LiteralC r => Integer -> r int Integer n)) r -> r -> r forall r. ExprC r => r -> r -> r $- r -> r -> r forall r. ExprC r => r -> r -> r idx (UnitalChunk -> r forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r sy UnitalChunk shearRNoIntsl) (Integer -> r forall r. LiteralC r => Integer -> r int Integer n)) momExpr :: (ExprC r, LiteralC r) => (r -> r -> r) -> r momExpr :: (r -> r -> r) -> r momExpr _e_ :: r -> r -> r _e_ = (r -> r forall r. ExprC r => r -> r neg (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk intNormForce) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk sliceHght r -> r -> r forall r. ExprC r => r -> r -> r `addRe`(r -> r forall r. (ExprC r, LiteralC r) => r -> r half (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseWthX) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r forall r. ExprC r => r -> r tan (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle))) r -> r -> r forall r. ExprC r => r -> r -> r `addRe` (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk intNormForce r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk sliceHght r -> r -> r forall r. ExprC r => r -> r -> r $- (r -> r forall r. (ExprC r, LiteralC r) => r -> r half (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseWthX) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r forall r. ExprC r => r -> r tan (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle)))) r -> r -> r forall r. ExprC r => r -> r -> r $- (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk watrForce r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` (r forall r. (ExprC r, LiteralC r) => r oneThird r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk sliceHghtW r -> r -> r forall r. ExprC r => r -> r -> r `addRe` (r -> r forall r. (ExprC r, LiteralC r) => r -> r half (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseWthX) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r forall r. ExprC r => r -> r tan (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle)))) r -> r -> r forall r. ExprC r => r -> r -> r `addRe` (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk watrForce r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` (r forall r. (ExprC r, LiteralC r) => r oneThird r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk sliceHghtW r -> r -> r forall r. ExprC r => r -> r -> r $- (r -> r forall r. (ExprC r, LiteralC r) => r -> r half (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseWthX) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r forall r. ExprC r => r -> r tan (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle))))) r -> r -> r `_e_` (r -> r forall r. (ExprC r, LiteralC r) => r -> r half (r -> r forall r. ExprC r => r -> r neg (DefinedQuantityDict -> r forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r sy DefinedQuantityDict earthqkLoadFctr) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk slcWght r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk midpntHght) r -> r -> r forall r. ExprC r => r -> r -> r `addRe` (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfHydroForce r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r forall r. ExprC r => r -> r sin (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfAngle) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk midpntHght r -> r -> r forall r. ExprC r => r -> r -> r `addRe` (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfLoad r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r forall r. ExprC r => r -> r sin (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk impLoadAngle) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk midpntHght))) momExprNoKQ :: (ExprC r, LiteralC r) => (r -> r -> r) -> r momExprNoKQ :: (r -> r -> r) -> r momExprNoKQ _e_ :: r -> r -> r _e_ = (r -> r forall r. ExprC r => r -> r neg (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk intNormForce) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk sliceHght r -> r -> r forall r. ExprC r => r -> r -> r `addRe`(r -> r forall r. (ExprC r, LiteralC r) => r -> r half (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseWthX) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r forall r. ExprC r => r -> r tan (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle))) r -> r -> r forall r. ExprC r => r -> r -> r `addRe` (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk intNormForce r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk sliceHght r -> r -> r forall r. ExprC r => r -> r -> r $- (r -> r forall r. (ExprC r, LiteralC r) => r -> r half (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseWthX) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r forall r. ExprC r => r -> r tan (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle)))) r -> r -> r forall r. ExprC r => r -> r -> r $- (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk watrForce r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` (r forall r. (ExprC r, LiteralC r) => r oneThird r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk sliceHghtW r -> r -> r forall r. ExprC r => r -> r -> r `addRe` (r -> r forall r. (ExprC r, LiteralC r) => r -> r half (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseWthX) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r forall r. ExprC r => r -> r tan (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle)))) r -> r -> r forall r. ExprC r => r -> r -> r `addRe` (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk watrForce r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` (r forall r. (ExprC r, LiteralC r) => r oneThird r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk sliceHghtW r -> r -> r forall r. ExprC r => r -> r -> r $- (r -> r forall r. (ExprC r, LiteralC r) => r -> r half (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseWthX) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r forall r. ExprC r => r -> r tan (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle))))) r -> r -> r `_e_` (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfHydroForce r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` r -> r forall r. ExprC r => r -> r sin (UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfAngle) r -> r -> r forall r. ExprC r => r -> r -> r `mulRe` UnitalChunk -> r forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk midpntHght)