tanh(1,x_):= if(has(x,c_1),tanh(x),sech(x)^2 ); tanh(-x_):= -tanh(x);