tan(0,x_):=tan(x);
tan(1,x_):= if(has(x,c_1),tan(x),1+tan(x)^2 );

tan(-x_):= -tan(x);
tan(atan(x_)):=x;