Linv(u):=ilt(u,s,t);

a:Linv(1/(s-1));

b:Linv(1/(s+1));

c:acosh((a+b)/2);

Cosh(x):=(e^x+e^(-x))/2;

first(c);

is(equal(first(c),(a+b)/2));