Mul Pow Mul -2 asinh exp x0 cosh x0 asech Pow 4.54308063481524 x4 
Mul asech Pow 4.54308063481524 x4 Mul Pow Mul -2 asinh exp x0 Add cosh x0 -1 Add Mul cosh x0 Mul -2 Mul exp x0 Pow sqrt Add 1 Mul exp x0 exp x0 -1 Mul Mul Mul -2 asinh exp x0 log Mul -2 asinh exp x0 sinh x0 