0.500000000000000000000000000000

From Ordner, a catalog of real numbers in Fungrim.

Decimal	Expression [entries]	Frequency
`0.500000000000000000000000000000`	`Div(1, 2)` [`47acde` `ad1eaf` `c7b921` `a1a3d4` `4c462b` `7d559c` `235d0d` `72b5bd` `a498dd` `27586f` `f35a37` `050fdb` `0fbd15` `f9ca94` `9357b9` `7783f9` `d77f0a` `c0ae99` `35403b` `f55f0a` `be9790` `dabb47` `5d550c` `df52fc` `b1357b` `10ca40` `61480c` `826257` `e37535` `b4a735` `fc8d5d` `627c9c` `3d276b` `f50c74` `e2efbf` `7ac286` `d25d10` `3ac0ce` `f33f09` `120284` `b760d1` `3c4979` `5a11eb` `37a95a` `af7d3d` `121b21` `ae3110` `ef8b17` `71d5ee` `e0b322` `c2e919` `4064f5` `769f6e` `a0ca3e` `6a7704` `792f7b` `7c78ea` `b3fc6d` `85b2ff` `8b7991` `cc4572` `5d0c95` `03ee0b` `c6c108` `ed0756` `1f1fb4` `6d918c` `644d75` `785668` `2a0316` `214a91` `b14da0` `420007` `591d64` `37ffb7` `9b7d8c` `3a5167` `cf70ce` `563d18` `bb2d01` `5d41b1` `f3b8dc` `1745f5` `5278da` `3b272e` `83abff` `06260c` `621a9b` `5b108e` `9f19c1` `3bf702` `d31b04` `638fa6` `89bed3` `b52b6f` `8d304b` `7314c4` `799894` `343946` `937fa9` `595f46` `d88dd1` `7cc3d3` `6c3523` `7fbbe8` `6476bd` `e20938` `6cd4a1` `1cb24e` `f55b36` `4c166d` `dc558b` `d43f30` `6f3fec` `a41c92` `3b806f` `ed4ce5` `a59981` `7ded8f` `b7fec0` `a637cd` `cbf396` `cb93ea` `ad04bd` `99ad29` `097efc` `9b3fde` `47f6dd` `ea56d1` `40a376` `32e162` `8f71cb` `5a8f57` `2e0d99` `6d0a95` `cc6d21` `00c331` `65647f` `08583a` `9bfd88` `abadc7` `fda084` `634687` `951017` `23961e` `166402` `cc22bf` `34ff28` `42c7f1` `461a54` `a839d5` `d1f5c5` `e47bfb` `429093` `6582c4` `1848f1` `304559` `70a705` `6430cc` `bbf003` `2a47d7` `d5a29e` `97b736` `5d9c43` `7efe21` `0878a4` `588889` `ee56b9` `2398a1` `c5bdcc` `9b7f05` `13cac5` `caf10a` `e2a734` `150b3e` `5679f2` `f88596` `4f5575` `7a168a` `005478` `2df3e3` `931d89` `9b0385` `c6234b` `7902fc` `d99808` `127f05` `d5ff09` `816057` `a2a294` `e98dd0` `3c2557` `c4d78a` `0701dc` `61375f` `44e8fb` `90a1e1` `752619` `d98ccc` `cae067` `f826a6` `a7095f` `513a30` `926b2c` `589758` `a46f94` `3db90c` `b2cd79` `056c0e` `8472cc` `1448e3` `7cb651` `737f2b` `8fab22` `98703d` `0cbe75` `b7a578` `124d02` `157ebb` `c18c95` `c9bcf7` `e50a56` `95988c` `80f7dc` `945fa5` `ffcc0f` `6d2880` `16d2e1` `e93f43` `3c88a7` `b31fd2` `3e1435` `56acfe` `7212ea` `7af1b9` `d0c9ff` `1a63af` `5ce30b` `19d7d9` `3da9b7` `e1a3fb` `1d4638` `a35b3c` `ad6b74` `382679` `9417f4` `3a5eb6` `12ce84` `9fa2a1` `aed6bd` `52ea5f` `60ac50` `488a30` `0c09cc` `5c054e` `a766f2` `2251c6` `7f9273` `c54c85` `1699a9` `d51efc` `8a857c` `27b2bb` `1c25d3` `49704a` `6395ee` `8f8fb7` `321538` `868061` `10f3b2` `d3cfc2` `e4315f` `e6ff64` `3ee358` `a787eb` `4dfd41` `9448f2` `47cf5d` `b2fdfe` `be2f32` `cc579c` `2d2dde` `9ad254` `29c095` `99a9c6` `a07d28` `6ae250` `6c4567` `d6d836`] `Sin(Div(Pi, 6))` [`ad6b74`] `HurwitzZeta(0, 0)` [`150b3e`] `CarlsonRG(0, 0, 1)` [`d5ff09`] `Im(Div(ConstI, 2))` [`a18b77` `4256f0` `583bf9` `324483` `4877f2` `500c0a` `ae76a3` `12765e`] `Neg(BernoulliB(1))` [`aed6bd`] `Neg(RiemannZeta(0))` [`e50a56`] `Neg(Neg(Div(1, 2)))` [`c6c108` `42c7f1` `a839d5` `2a0316` `b14da0` `e50a56` `16d2e1` `83abff` `621a9b` `5d9c43` `7efe21` `d0c9ff` `be9790` `19d7d9` `5679f2` `799894` `7a168a` `005478` `aed6bd` `5c054e` `488a30` `f55b36` `127f05` `3d276b` `e98dd0` `27b2bb` `8a857c` `7ded8f` `7ac286` `a637cd` `f33f09` `752619` `321538` `cae067` `99ad29` `a7095f` `513a30` `32e162` `8f71cb` `2e0d99` `589758` `a46f94` `a07d28` `056c0e` `cc4572`] `ModularLambda(ConstI)` [`a35b3c`] `Re(RiemannZetaZero(1))` [`945fa5`] `Re(RiemannZetaZero(2))` [`c0ae99`] `Im(Add(1, Div(ConstI, 2)))` [`583bf9` `324483`] `Im(Div(Add(1, ConstI), 2))` [`078869`] `Im(Mul(Div(1, 2), ConstI))` [`d98ccc` `7902fc` `56acfe` `e47bfb`] `Re(Div(Add(1, ConstI), 2))` [`078869`] `Neg(Im(Neg(Div(ConstI, 2))))` [`ae76a3` `12765e`] `IncompleteEllipticE(Div(Pi, 6), 1)` [`d88dd1`] `Re(Exp(Div(Mul(Pi, ConstI), 3)))` [`0c7de4` `ec0054` `0c8084` `9aa62c`] `ComplexDerivative(AGM(1, x), For(x, 1))` [`3da9b7`] `Re(Div(Add(1, Mul(Sqrt(3), ConstI)), 2))` [`0abbe1`] `Re(Div(Sub(1, Mul(Sqrt(3), ConstI)), 2))` [`175b7a`] `Neg(Re(Neg(Exp(Div(Mul(Pi, ConstI), 3)))))` [`0c7de4` `ec0054`] `Re(Neg(Exp(Div(Mul(Mul(2, Pi), ConstI), 3))))` [`0c7de4` `ec0054`] `Neg(Re(Exp(Div(Mul(Mul(2, Pi), ConstI), 3))))` [`ea3e3c` `4af6db` `1b2d8a` `4a200a` `204acd` `ad91ae` `13cac5` `0c7de4` `21b67f` `83566f` `b0e1cb` `3102a7` `6c71c0` `298bb1` `ec0054` `0fda1b` `26faf3` `30a054` `9ea739`] `Neg(Re(Div(Add(-1, Mul(Sqrt(3), ConstI)), 2)))` [`21b67f`] `Re(Mul(Div(1, 2), Add(1, Mul(Sqrt(7), ConstI))))` [`29c095`] `Re(Mul(Div(1, 2), Add(1, Mul(Sqrt(11), ConstI))))` [`a498dd`] `Re(Mul(Div(1, 2), Add(1, Mul(Sqrt(43), ConstI))))` [`5b108e`] `Re(Mul(Div(1, 2), Add(1, Mul(Sqrt(19), ConstI))))` [`3ee358`] `Re(Mul(Div(1, 2), Add(1, Mul(Sqrt(67), ConstI))))` [`951017`] `Re(Mul(Div(1, 2), Add(1, Mul(Sqrt(163), ConstI))))` [`1cb24e`] `Re(Add(Div(1, 2), Div(Mul(Mul(21, Sqrt(10)), ConstI), 100)))` [`6ae250`]	320 (#8)