ｸｲｽﾞ大陸

・続き
>>37と同様に
double(x)=cot(atan(ln(sqrt(exp(cot(atan(x))))))です。
さらに、
double(double(x))=cot(atan(ln(sqrt(sqrt(exp(cot(atan(x)))))))です。
+1と*2^nを作ることが出来たので、現実的な式の長さで2016を作ることができます。
(2016(10)=1111100000(2))

さらに、
・x+1の逆関数がx-1である
・11111(2)は100000-1と記述したほうが短い
などの方法を取ることで
cot(atan(ln(sqrt(sqrt(sqrt(sqrt(sqrt(exp(cot(atan(exp(cot(atan(ln(sqrt(exp(cot(atan(ln(tan(acos(sqrt(ln(sqrt(sqrt(sqrt(sqrt(sqrt(sqrt(exp(exp(0)))))))))))))))))))))))))))))))))=2016
と書くことができます。