
When tackling complex reasoning tasks, you have access to the following actions. Use them as needed to progress through your thought process.

[ASSESS]

[ADVANCE]

[VERIFY]

[SIMPLIFY]

[SYNTHESIZE]

[PIVOT]

[OUTPUT]

You should strictly follow the format below:

[ACTION NAME]

# Your action step 1

# Your action step 2

# Your action step 3

...

Next action: [NEXT ACTION NAME]


system
The graphs of four functions, labelled (3) through (6), are shown. Note that the domain of function (5) is $$\{-6,-5,-4,-3,-2,0,1,3\}.$$ Find the product of the labels of the functions which are invertible. [asy]
size(8cm);
defaultpen(linewidth(.7pt)+fontsize(8pt));
import graph;

picture pic1,pic2,pic3,pic4;

draw(pic1,(-8,0)--(8,0),Arrows(4));
draw(pic1,(0,-8)--(0,8),Arrows(4));
draw(pic2,(-8,0)--(8,0),Arrows(4));
draw(pic2,(0,-8)--(0,8),Arrows(4));
draw(pic3,(-8,0)--(8,0),Arrows(4));
draw(pic3,(0,-8)--(0,8),Arrows(4));
draw(pic4,(-8,0)--(8,0),Arrows(4));
draw(pic4,(0,-8)--(0,8),Arrows(4));

real f(real x) {return x^3-2;}
real h(real x) {return -x-2;}
real k(real x) {return 5/x;}

real x;

draw(pic1,graph(f,-2,2),Arrows(4));
draw(pic3,graph(h,-8,2),Arrows(4));
draw(pic4,graph(k,-8,-0.125*5),Arrows(4));
draw(pic4,graph(k,0.125*5,8),Arrows(4));

dot(pic2,(-6,3)); dot(pic2,(-5,-5)); dot(pic2,(-4,1)); dot(pic2,(-3,0));
dot(pic2,(-2,2)); dot(pic2,(0,-4)); dot(pic2,(1,-3)); dot(pic2,(3,-1));

label(pic1,"(3)",(0,-9));
label(pic2,"(5)",(0,-9));
label(pic3,"(6)",(0,-9));
label(pic4,"(4)",(0,-9));

add(pic1);
add(shift(20)*pic2);
add(shift(0,-20)*pic3);
add(shift(20,-20)*pic4);
[/asy]

Present the answer in LaTex format: \boxed{Your answer}
user