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;