My Quibbles  

The Inverse Symbolic Calculator and Plouffe's Inverter are great resources, but they failed to satisfy me, primarily for the following reasons:

Plouffe or ISC ries
Presents all answers in numerical sequence and without regard for the complexity of the description of each number.1 Gives answers in order of increasing complexity and increasing closeness to your number — just like continued fractions.
Isn't useful for people who only know a number to within 6 or 7 digits, but know that it probably has a simple formula — because there are just so many long, complex formulas to wade through. Immediately gives you the simplest formulas or equations for any number regardless of the number of digits in your number. It also gives matches that are equal to your value in the first 6 or 7 digits, but you're free to just ignore those matches.
Thinks decimal points don't matter — search for 2.5061841 and it gives ln(26263/20441) = 0.25061841... as an answer! Why?!?!? Doesn't consider "a factor of 10" to be any more important than "a factor of 9" or "a factor of 11". Numbers are weighted by size and how easily they can be formed from other numbers (giving composites an advantage).
As of late 2011, still didn't know that 2.506184145588... is the solution of xx = 10 (Try it) All solutions are in the form K = expression, and apparently the Lambert W function is not included. Reports this as the 4th solution for any value within +- 0.00044 of 2.506184.
Database is cluttered with stuff like log(26263/20441) and cos(Pi*23/56) / cos(Pi*15/34). Reports things like log(441/263) only if your number is closer to that value than to the value of any simpler expression.2
Gives answers like -1+x^5+x^6-x^7-x^8+x^9+x^11+x^12 without defining what x is. Also gives many answers that can't be checked unless you own a copy of Mathematica or Maple. All solutions are self-explanatory. Lesser-known symbols like phi are defined by a tagline in the output the first time they are used.
Doesn't let you specify "please ignore these weird functions". Lets you specify any combination of functions, operators, and small integers to be used in a search.
Requires Internet connection; puts load on someone else's computer. Runs on your computer, but fast enough to try billions of possible solutions in less than a minute.

Okay, enough complaining. Back to ries main page


Footnotes

1 : Plouffe's Inverter has partly addressed the progressive complexity issue by sorting its output, but it continues to only report matches that agree in the digits given by the user. Also, it scores its matches purely by string length when rendered into ASCII, so for example "Riemannzero1" gets the same score as "PisotV*Feig2" and "820421/78823" regardless of which is most exceptional.

2 : Just for fun, here are the results ries finds for the natural log of successive Fibonacci ratios:

value number given to ries ries finds
ln(3/2) 0.4054651081081 1/ex = 2/3 (5th answer)
ln(5/3) 0.5108256237659 ex-1 = 2/3 (9th answer)
ln(8/5) 0.4700036292457 ex-1 = 3/5 (5th answer)
ln(13/8) 0.4855078157817 ex-1 = 5/8 (11th answer)
ln(21/13) 0.4795730802618 3/ex = 2-1/7 (11th answer)
ln(34/21) 0.4818380868927 3 ex = 5-1/7 (12th answer)
ln(55/34) 0.4809726606163 (ex-1)/3 = 1/(5-1/7) (9th answer)
ln(89/55) 0.4813031844996 (ex-2)/3 = 1/(1/7-8) (13th answer)
ln(144/89) 0.4811769298438 2/ex-1 = 1/8+1/9 (13th answer)
ln(233/144) 0.4812251539897 ex-1/4^2 = 5/9+1 (16th answer)
ln(377/233) 0.4812067338823102 1/((ex-1)/9) = (1/4+3)^2+4 (12th answer, requires level-5 search)
ln(610/377) 0.48121376971934617 9/(ex-2) = 4-(1/4+5)^2 (24th answer, requires level-5 search)
ln(987/610) 0.48121108226612465 1/(1/ex-2/3) = 2-(5-1/4)^2 (18th answer, requires level-5 search)
ln(1597/987) 0.48121210878153085 1/(ex-5/3) = 2-(5-1/4)^2 (16th answer, requires level-5 search)
ln(2584/1597)0.48121171668748003 FAILS (ries reports "ex-442 = phi-442", a false match resulting from loss of precision. Note that phi - 2584/1597 is about 1.75×10-7 and 442 is a 10-digit number.)
ln(441/263) 0.51689084326908144 2/ex+3 = (1/(3*7)+2)2 (14th answer, requires level-4 search)


Robert Munafo's home pages on
HostMDS   © 1996-2012 Robert P. Munafo.   about   contact   Google+   mrob27   @mrob_27

This work is licensed under a Creative Commons Attribution 2.5 License. Details here s.11