# convert to sinh(x) or cosh(x); totrigh(exp(x_)) := sinh(x)+cosh(x); totrigh(e^(x_)) := sinh(x)+cosh(x); totrigh(e^(-x_)) := cosh(x)-sinh(x); totrigh(sin(x_)):= -i*sinh(i*x); totrigh(cos(x_)):= cosh(i*x); totrigh(tan(x_)):= -i*tanh(i*x); totrigh(cot(x_)):= i*coth(i*x); totrigh(csc(x_)):= i*csch(i*x); totrigh(sec(x_)):= sech(i*x); totrigh(asin(x_)):= -i*asinh(i*x); totrigh(acos(x_)):= acosh(i*x); totrigh(atan(x_)):= -i*atanh(i*x); totrigh(acot(x_)):= i*acoth(i*x); totrigh(acsc(x_)):= i*acsch(i*x); totrigh(asec(x_)):= asech(i*x); totrigh(log(x_+sqrt(1+x_^2))):=asinh(x); totrigh(log(x_+sqrt(x_^2-1))):=acosh(x); totrigh(log((1+x_)/(1-x_))):= 2atanh(x); totrigh(log((1+x_)/(x_-1))):= 2acoth(x); totrigh(log((1+sqrt(x_^2+1))/x_)):=2acsch(x); totrigh(log((1+sqrt(1-x_^2))/(1-(1-x_^2)^(1/2)))):=2asech(x); totrigh(log(i*x_+sqrt(1-x_^2))):= -i*asinh(i*x); totrigh(log(i*x_+sqrt(x_^2-1))):= -i*acosh(i*x); totrigh(log((1-i*x_)/(1+i*x_)):= -i*atanh(i*x); totrigh(log((1+i*x_)/(i*x_-1)):= i*acoth(i*x); totrigh(log((1+sqrt(-x_^2+1))/x_/i)):= i*acsch(i*x); totrigh(log((1+sqrt(1+x_^2))/(1-(1+x_^2)^(1/2)))):= asech(i*x);