OFFSET
1,2
COMMENTS
Only binary operators +, -, *, / (and parentheses) are permitted.
The expression (a+b)-c is equivalent to a-c+b and a+b-c but (a+b)-c is different from a-b+c.
Another example: the expression (a-b)/(c-d) is equivalent to (b-a)/(d-c).
LINKS
Jingzhe Tang, Table of n, a(n) for n = 1..300
Ruud H.G. van Tol, Perl port of the C source code
Zhujun Zhang, A Chinese web page on exponential generating function
Zhujun Zhang, A Chinese web page on approximation
FORMULA
From Zhujun Zhang, Aug 11 2018: (Start)
E.g.f.: A(x) = B(x)+C(x)-D(x)-E(x)-x, where B(x) = 2x+exp(C(x))-1-C(x), C(x) = 2x+2*exp(B(x))-2*exp(B(x)/2)-B(x), D(x) = x+exp(E(x))-1-E(x), and E(x) = x+exp(2*D(x))-exp(D(x))-D(x).
a(n) ~ (n/(e*b))^n * sqrt(b)*c/n, where b=0.16142418303980816579438744831086877555003744810690... and c=1.8772213095052105788245813534431275116981368728916.... (End)
EXAMPLE
When n=2, there are six inequivalent expressions: a+b, a-b, b-a, a*b, a/b, b/a. Other expressions are equivalent to these (e.g. b+a is equivalent to a+b).
CROSSREFS
KEYWORD
nonn,nice
AUTHOR
Zhao Hui Du, Jul 07 2008
STATUS
approved