lin takes as argument an expression with exponentials. lin rewrites hyperbolic functions as exponentials if required, then linearizes this expression (i.e. replace product of exponentials by exponential of sums). Examples
^