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 :: forall r. (ExprC r, LiteralC r) => (r -> r) -> (r -> r) -> (r -> r -> r) -> r eqlExpr r -> r f1_ r -> r f2_ r -> r -> r _e_ = (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk slcWght r -> r -> r `_e_` (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfHydroForce forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r cos (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfAngle)) forall r. ExprC r => r -> r -> r `addRe` (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfLoad forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r cos (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk impLoadAngle))) forall r. ExprC r => r -> r -> r `mulRe` r -> r f1_ (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle) forall r. ExprC r => r -> r -> r $- (((forall r. ExprC r => r -> r neg (forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r sy DefinedQuantityDict earthqkLoadFctr) forall r. ExprC r => r -> r -> r `mulRe` forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk slcWght) forall r. ExprC r => r -> r -> r $- forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk intNormForce forall r. ExprC r => r -> r -> r `addRe` forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk intNormForce forall r. ExprC r => r -> r -> r $- forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk watrForce forall r. ExprC r => r -> r -> r `addRe` forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk watrForce forall r. ExprC r => r -> r -> r `addRe` (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfHydroForce forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r sin (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfAngle)) forall r. ExprC r => r -> r -> r `addRe` (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfLoad forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r sin (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk impLoadAngle))) forall r. ExprC r => r -> r -> r `mulRe` r -> r f2_ (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 :: forall r. (ExprC r, LiteralC r) => (r -> r) -> (r -> r) -> (r -> r -> r) -> r eqlExprN r -> r f1_ r -> r f2_ r -> r -> r _e_ = (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk slcWght r -> r -> r `_e_` (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfHydroForce forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r cos (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfAngle)) forall r. ExprC r => r -> r -> r `addRe` (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfLoad forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r cos (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk impLoadAngle)) forall r. ExprC r => r -> r -> r `mulRe` r -> r f1_ (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle)) forall r. ExprC r => r -> r -> r `addRe` (((forall r. ExprC r => r -> r neg (forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r sy DefinedQuantityDict earthqkLoadFctr) forall r. ExprC r => r -> r -> r `mulRe` forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk slcWght forall r. ExprC r => r -> r -> r $- forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk intNormForce forall r. ExprC r => r -> r -> r `addRe` forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk intNormForce forall r. ExprC r => r -> r -> r $- forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk watrForce forall r. ExprC r => r -> r -> r `addRe` forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk watrForce forall r. ExprC r => r -> r -> r `addRe` (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfHydroForce forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r sin (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfAngle))) forall r. ExprC r => r -> r -> r `addRe` (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfLoad forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r sin (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk impLoadAngle))) forall r. ExprC r => r -> r -> r `mulRe` r -> r f2_ (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 :: forall r. (ExprC r, LiteralC r) => (r -> r) -> (r -> r) -> (r -> r -> r) -> r eqlExprSepG r -> r f1_ r -> r f2_ r -> r -> r _e_ = (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk slcWght r -> r -> r `_e_` (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfHydroForce forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r cos (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfAngle)) forall r. ExprC r => r -> r -> r `addRe` (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfLoad forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r cos (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk impLoadAngle)) forall r. ExprC r => r -> r -> r `mulRe` r -> r f1_ (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle)) forall r. ExprC r => r -> r -> r $- ((forall r. ExprC r => r -> r neg (forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r sy DefinedQuantityDict earthqkLoadFctr) forall r. ExprC r => r -> r -> r `mulRe` forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk slcWght forall r. ExprC r => r -> r -> r $- forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk watrForce forall r. ExprC r => r -> r -> r `addRe` forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk watrForce forall r. ExprC r => r -> r -> r `addRe` (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfHydroForce forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r sin (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfAngle)) forall r. ExprC r => r -> r -> r `addRe` (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfLoad forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r sin (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk impLoadAngle))) forall r. ExprC r => r -> r -> r `mulRe` r -> r f2_ (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle)) forall r. ExprC r => r -> r -> r $- ((forall r. ExprC r => r -> r neg (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk intNormForce) forall r. ExprC r => r -> r -> r `addRe` forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk intNormForce) forall r. ExprC r => r -> r -> r `mulRe` r -> r f2_ (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 :: forall r. (ExprC r, LiteralC r) => (r -> r) -> (r -> r) -> (r -> r -> r) -> r eqlExprNSepG r -> r f1_ r -> r f2_ r -> r -> r _e_ = (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk slcWght r -> r -> r `_e_` (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfHydroForce forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r cos (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfAngle)) forall r. ExprC r => r -> r -> r `addRe` (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfLoad forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r cos (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk impLoadAngle))) forall r. ExprC r => r -> r -> r `mulRe` r -> r f1_ (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle) forall r. ExprC r => r -> r -> r `addRe` ((forall r. ExprC r => r -> r neg (forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r sy DefinedQuantityDict earthqkLoadFctr) forall r. ExprC r => r -> r -> r `mulRe` forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk slcWght forall r. ExprC r => r -> r -> r $- forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk watrForce forall r. ExprC r => r -> r -> r `addRe` forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk watrForce forall r. ExprC r => r -> r -> r `addRe` (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfHydroForce forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r sin (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfAngle)) forall r. ExprC r => r -> r -> r `addRe` (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfLoad forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r sin (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk impLoadAngle))) forall r. ExprC r => r -> r -> r `mulRe` r -> r f2_ (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle)) forall r. ExprC r => r -> r -> r `addRe` ((forall r. ExprC r => r -> r neg (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk intNormForce) forall r. ExprC r => r -> r -> r `addRe` forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk intNormForce) forall r. ExprC r => r -> r -> r `mulRe` r -> r f2_ (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 :: forall r. (ExprC r, LiteralC r) => (r -> r) -> (r -> r) -> (r -> r -> r) -> r eqlExprNoKQ r -> r f1_ r -> r f2_ r -> r -> r _e_ = (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk slcWght r -> r -> r `_e_` (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfHydroForce forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r cos (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfAngle))) forall r. ExprC r => r -> r -> r `mulRe` r -> r f1_ (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle) forall r. ExprC r => r -> r -> r $- ((forall r. ExprC r => r -> r neg (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk watrForce) forall r. ExprC r => r -> r -> r `addRe` forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk watrForce forall r. ExprC r => r -> r -> r `addRe` (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfHydroForce forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r sin (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfAngle))) forall r. ExprC r => r -> r -> r `mulRe` r -> r f2_ (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle)) forall r. ExprC r => r -> r -> r $- ((forall r. ExprC r => r -> r neg (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk intNormForce) forall r. ExprC r => r -> r -> r `addRe` forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk intNormForce) forall r. ExprC r => r -> r -> r `mulRe` r -> r f2_ (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 :: forall r. (ExprC r, LiteralC r) => (r -> r) -> (r -> r) -> (r -> r -> r) -> r eqlExprNNoKQ r -> r f1_ r -> r f2_ r -> r -> r _e_ = (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk slcWght r -> r -> r `_e_` (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfHydroForce forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r cos (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfAngle))) forall r. ExprC r => r -> r -> r `mulRe` r -> r f1_ (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle) forall r. ExprC r => r -> r -> r `addRe` ((forall r. ExprC r => r -> r neg (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk watrForce) forall r. ExprC r => r -> r -> r `addRe` forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk watrForce forall r. ExprC r => r -> r -> r `addRe` (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfHydroForce forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r sin (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfAngle))) forall r. ExprC r => r -> r -> r `mulRe` r -> r f2_ (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle)) forall r. ExprC r => r -> r -> r `addRe` ((forall r. ExprC r => r -> r neg (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk intNormForce) forall r. ExprC r => r -> r -> r `addRe` forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk intNormForce) forall r. ExprC r => r -> r -> r `mulRe` r -> r f2_ (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle)) sliceExpr :: (ExprC r, LiteralC r) => Integer -> r sliceExpr :: forall r. (ExprC r, LiteralC r) => Integer -> r sliceExpr Integer n = forall r. ExprC r => r -> r -> r idx (forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r sy UnitalChunk intNormForce) (forall r. LiteralC r => Integer -> r int Integer n) forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r -> r idx (forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r sy DefinedQuantityDict shrResC) (forall r. LiteralC r => Integer -> r int Integer n) forall r. ExprC r => r -> r -> r $= (forall r. ExprC r => r -> r -> r idx (forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r sy DefinedQuantityDict mobShrC) (forall r. LiteralC r => Integer -> r int (Integer nforall a. Num a => a -> a -> a -Integer 1)) forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r -> r idx (forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r sy UnitalChunk intNormForce) (forall r. LiteralC r => Integer -> r int (Integer nforall a. Num a => a -> a -> a -Integer 1)) forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r -> r idx (forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r sy DefinedQuantityDict shrResC) (forall r. LiteralC r => Integer -> r int (Integer nforall a. Num a => a -> a -> a -Integer 1)) forall r. ExprC r => r -> r -> r `addRe` (forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r sy ConstrConcept fs forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r -> r idx (forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r sy UnitalChunk shearFNoIntsl) (forall r. LiteralC r => Integer -> r int Integer n)) forall r. ExprC r => r -> r -> r $- forall r. ExprC r => r -> r -> r idx (forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r sy UnitalChunk shearRNoIntsl) (forall r. LiteralC r => Integer -> r int Integer n)) momExpr :: (ExprC r, LiteralC r) => (r -> r -> r) -> r momExpr :: forall r. (ExprC r, LiteralC r) => (r -> r -> r) -> r momExpr r -> r -> r _e_ = (forall r. ExprC r => r -> r neg (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk intNormForce) forall r. ExprC r => r -> r -> r `mulRe` (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk sliceHght forall r. ExprC r => r -> r -> r `addRe`(forall r. (ExprC r, LiteralC r) => r -> r half (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseWthX) forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r tan (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle))) forall r. ExprC r => r -> r -> r `addRe` (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk intNormForce forall r. ExprC r => r -> r -> r `mulRe` (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk sliceHght forall r. ExprC r => r -> r -> r $- (forall r. (ExprC r, LiteralC r) => r -> r half (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseWthX) forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r tan (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle)))) forall r. ExprC r => r -> r -> r $- (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk watrForce forall r. ExprC r => r -> r -> r `mulRe` (forall r. (ExprC r, LiteralC r) => r oneThird forall r. ExprC r => r -> r -> r `mulRe` forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk sliceHghtW forall r. ExprC r => r -> r -> r `addRe` (forall r. (ExprC r, LiteralC r) => r -> r half (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseWthX) forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r tan (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle)))) forall r. ExprC r => r -> r -> r `addRe` (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk watrForce forall r. ExprC r => r -> r -> r `mulRe` (forall r. (ExprC r, LiteralC r) => r oneThird forall r. ExprC r => r -> r -> r `mulRe` forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk sliceHghtW forall r. ExprC r => r -> r -> r $- (forall r. (ExprC r, LiteralC r) => r -> r half (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseWthX) forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r tan (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle))))) r -> r -> r `_e_` (forall r. (ExprC r, LiteralC r) => r -> r half (forall r. ExprC r => r -> r neg (forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r sy DefinedQuantityDict earthqkLoadFctr) forall r. ExprC r => r -> r -> r `mulRe` forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk slcWght forall r. ExprC r => r -> r -> r `mulRe` forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk midpntHght) forall r. ExprC r => r -> r -> r `addRe` (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfHydroForce forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r sin (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfAngle) forall r. ExprC r => r -> r -> r `mulRe` forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk midpntHght forall r. ExprC r => r -> r -> r `addRe` (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfLoad forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r sin (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk impLoadAngle) forall r. ExprC r => r -> r -> r `mulRe` forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk midpntHght))) momExprNoKQ :: (ExprC r, LiteralC r) => (r -> r -> r) -> r momExprNoKQ :: forall r. (ExprC r, LiteralC r) => (r -> r -> r) -> r momExprNoKQ r -> r -> r _e_ = (forall r. ExprC r => r -> r neg (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk intNormForce) forall r. ExprC r => r -> r -> r `mulRe` (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk sliceHght forall r. ExprC r => r -> r -> r `addRe`(forall r. (ExprC r, LiteralC r) => r -> r half (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseWthX) forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r tan (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle))) forall r. ExprC r => r -> r -> r `addRe` (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk intNormForce forall r. ExprC r => r -> r -> r `mulRe` (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk sliceHght forall r. ExprC r => r -> r -> r $- (forall r. (ExprC r, LiteralC r) => r -> r half (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseWthX) forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r tan (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle)))) forall r. ExprC r => r -> r -> r $- (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk watrForce forall r. ExprC r => r -> r -> r `mulRe` (forall r. (ExprC r, LiteralC r) => r oneThird forall r. ExprC r => r -> r -> r `mulRe` forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk sliceHghtW forall r. ExprC r => r -> r -> r `addRe` (forall r. (ExprC r, LiteralC r) => r -> r half (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseWthX) forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r tan (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle)))) forall r. ExprC r => r -> r -> r `addRe` (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk watrForce forall r. ExprC r => r -> r -> r `mulRe` (forall r. (ExprC r, LiteralC r) => r oneThird forall r. ExprC r => r -> r -> r `mulRe` forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxiM1 UnitalChunk sliceHghtW forall r. ExprC r => r -> r -> r $- (forall r. (ExprC r, LiteralC r) => r -> r half (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseWthX) forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r tan (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk baseAngle))))) r -> r -> r `_e_` (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfHydroForce forall r. ExprC r => r -> r -> r `mulRe` forall r. ExprC r => r -> r sin (forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk surfAngle) forall r. ExprC r => r -> r -> r `mulRe` forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r inxi UnitalChunk midpntHght)