Generating Numbers with Unary Functions

0


Number Seq. of Functions Steps
1 cos 1
2 cos 10^x x^2 log 4
3 cos 10^x sqrt 1/x acos tan 6
4 cos 10^x x^2 log x^2 5
5 cos 10^x 10^x sqrt log 5
6 cos 10^x sqrt 1/x acos tan 10^x x^2 log 9
7 cos atan cos 10^x sqrt log acos tan x^2 9
8 cos 10^x x^2 x^2 x^2 log 6
9 cos 10^x sqrt 1/x acos tan x^2 7
10 cos 10^x 2
11 cos 10^x sqrt atan cos 1/x x^2 7
12 cos 10^x sqrt atan cos atan sin 1/x x^2 9
13 cos 10^x x^2 x^2 sin acos sqrt 1/x acos tan 10
14 cos 10^x sqrt log x^2 asin tan acos tan x^2 10
15 cos 10^x sqrt log asin 10^x sqrt log 8
16 cos 10^x x^2 log x^2 x^2 6
17 cos 10^x x^2 log x^2 atan cos 1/x x^2 9
18 cos 10^x sqrt 1/x acos tan x^2 10^x x^2 log 10
19 acos sqrt 10^x x^2 log atan cos 1/x 8
20 cos 10^x 10^x x^2 log 5
30 cos 10^x sqrt log asin 5
40 cos 10^x 10^x x^2 x^2 log 6
45 cos atan 2
50 cos 10^x x^2 log 10^x 10^x sqrt log 8
60 cos 10^x sqrt log acos 5
70 cos 10^x sqrt 1/x acos tan 10^x x^2 log 1/x acos tan x^2 10^x x^2 log 16
80 cos 10^x 10^x x^2 x^2 x^2 log 7
90 acos 1
100 cos 10^x x^2 3
355/113 cos 10^x x^2 x^2 x^2 x^2 log 1/x sqrt atan cos atan sin atan sin atan sin atan sin atan sin atan sin 1/x x^2 1/x sqrt atan cos atan sin atan sin 1/x x^2 35
2020 cos atan 1/x asin tan asin tan asin tan asin tan acos tan x^2 14
2021 cos atan 1/x asin tan asin tan asin tan acos tan x^2 12

問題


Operations Seq. of Functions Steps Precondition
-x 10^x 1/x log +3
x+1 sqrt atan cos 1/x x^2 +5(x>=0)
x+2 sqrt atan cos atan sin 1/x x^2 +7(x>=0)
x+3 sqrt atan cos atan sin atan sin 1/x x^2 +9(x>=0)
x-1 sqrt 1/x acos tan x^2 +5(x>=1)
x-2 sqrt 1/x asin tan acos tan x^2 +7(x>=1)
x-3 sqrt 1/x asin tan asin tan acos tan x^2 +9(x>=1)
2x 10^x x^2 log +3
4x 10^x x^2 x^2 log +4
x/2 10^x sqrt log +3
x/4 10^x sqrt sqrt log +4
10x log sqrt atan cos 1/x x^2 10^x +7(x>=1)
100x log sqrt atan cos atan sin 1/x x^2 10^x +9(x>=1)
x/10 log sqrt 1/x acos tan x^2 10^x +7(x>=10)
x/100 log sqrt 1/x asin tan acos tan x^2 10^x +9(x>=100)

Naoyuki Tamura