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_ = (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
$* 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
$+
  (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
$* 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
$* 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 c. (HasUID c, HasSymbol c) => c -> 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
$* 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
$+
  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
$+ 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
$+
  (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
$* 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
$+
  (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
$* 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
$* 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 :: 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_ = (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
$* 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
$+
  (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
$* 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
$* 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 c. (HasUID c, HasSymbol c) => c -> 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
$* 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
$+
  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
$+ 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
$+
  (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
$* 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
$+
  (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
$* 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
$* 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 :: 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_ = (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
$* 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
$+
  (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
$* 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
$* 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 c. (HasUID c, HasSymbol c) => c -> 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
$* 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
$+ 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
$+
  (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
$* 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
$+
  (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
$* 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
$* 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
$+ 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
$* 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 :: 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_ = (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
$* 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
$+
  (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
$* 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
$* 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 c. (HasUID c, HasSymbol c) => c -> 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
$* 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
$+ 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
$+
  (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
$* 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
$+
  (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
$* 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
$* 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
$+ 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
$* 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 :: 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_ = (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
$* 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
$* 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
$+ 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
$+
  (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
$* 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
$* 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
$+ 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
$* 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 :: 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_ = (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
$* 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
$* 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
$+ 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
$+
  (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
$* 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
$* 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
$+ 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
$* 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 :: forall r. (ExprC r, LiteralC r) => Integer -> r
sliceExpr Integer
n = r -> r -> r
forall r. ExprC r => r -> r -> r
idx (UnitalChunk -> r
forall c. (HasUID c, HasSymbol c) => c -> 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
$* r -> r -> r
forall r. ExprC r => r -> r -> r
idx (DefinedQuantityDict -> r
forall c. (HasUID c, HasSymbol c) => c -> 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 c. (HasUID c, HasSymbol c) => c -> 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
-Integer
1)) r -> r -> r
forall r. ExprC r => r -> r -> r
$* r -> r -> r
forall r. ExprC r => r -> r -> r
idx (UnitalChunk -> r
forall c. (HasUID c, HasSymbol c) => c -> 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
-Integer
1)) r -> r -> r
forall r. ExprC r => r -> r -> r
$* 
  r -> r -> r
forall r. ExprC r => r -> r -> r
idx (DefinedQuantityDict -> r
forall c. (HasUID c, HasSymbol c) => c -> 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
-Integer
1)) r -> r -> r
forall r. ExprC r => r -> r -> r
$+ (ConstrConcept -> r
forall c. (HasUID c, HasSymbol c) => c -> 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
$* r -> r -> r
forall r. ExprC r => r -> r -> r
idx (UnitalChunk -> r
forall c. (HasUID c, HasSymbol c) => c -> 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 c. (HasUID c, HasSymbol c) => c -> 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 :: forall r. (ExprC r, LiteralC r) => (r -> r -> r) -> r
momExpr 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
$* (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
$+(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
$* 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
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
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
$* 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
$* (r
forall r. (ExprC r, LiteralC r) => r
oneThird 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
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
$* 
  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
inxiM1 UnitalChunk
watrForce r -> r -> r
forall r. ExprC r => r -> r -> r
$* (r
forall r. (ExprC r, LiteralC r) => r
oneThird r -> r -> r
forall r. ExprC r => r -> r -> r
$* 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
$* 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 c. (HasUID c, HasSymbol c) => c -> 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
$* 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
midpntHght) 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
surfHydroForce r -> r -> r
forall r. ExprC r => r -> r -> r
$* 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
$* 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
$+
  (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
$* 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
$* 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 :: forall r. (ExprC r, LiteralC r) => (r -> r -> r) -> r
momExprNoKQ 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
$* (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
$+(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
$* 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
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
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
$* 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
$* (r
forall r. (ExprC r, LiteralC r) => r
oneThird 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
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
$* 
  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
inxiM1 UnitalChunk
watrForce r -> r -> r
forall r. ExprC r => r -> r -> r
$* (r
forall r. (ExprC r, LiteralC r) => r
oneThird r -> r -> r
forall r. ExprC r => r -> r -> r
$* 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
$* 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
$* 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
$* UnitalChunk -> r
forall r e. (ExprC r, LiteralC r, Quantity e) => e -> r
inxi UnitalChunk
midpntHght)