Pow Mul -1 Mul x0 E asinh cosh x0 
Mul Pow Mul -1 Mul x0 E Add asinh cosh x0 -1 Add Mul asinh cosh x0 Mul -1 E Mul Mul Mul -1 Mul x0 E log Mul -1 Mul x0 E Mul sinh x0 Pow sqrt Add 1 Mul cosh x0 cosh x0 -1 