Language.Hakaru.Simplify