Cryptol.TypeCheck.Solver.Numeric.Simplify
crySimplify
crySimplifyMaybe
crySimpPropExpr
crySimpPropExprMaybe