From Ordner, a catalog of real numbers in Fungrim.
Decimal | Expression [entries] | Frequency |
---|---|---|
0.707106781186547524400844362105 | Sqrt(Div(1, 2)) [61480c] Div(1, Sqrt(2)) [61480c 6d9ceb 0ad836 13c539 042551 63ba30] Div(Sqrt(2), 2) [61480c 4d7098 e3896e 5fc688 14f8c2] Sin(Div(Pi, 4)) [5fc688] Re(Sqrt(ConstI)) [0ad836] Im(Sqrt(ConstI)) [0ad836] Abs(Div(Add(1, ConstI), 2)) [078869] Im(Exp(Div(Mul(Pi, ConstI), 4))) [cde93e 6b2078 4d0e14] Re(Exp(Div(Mul(Pi, ConstI), 4))) [cde93e 6b2078 4d0e14] Re(Mul(Div(1, Sqrt(2)), Add(1, ConstI))) [0ad836] Im(Mul(Div(1, Sqrt(2)), Add(1, ConstI))) [0ad836] | 14 (#86) |
Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.
2021-03-15 19:12:00.328586 UTC