Pow cosh Add coth asinh pi x0 asinh Mul sinh x0 x0 
Mul Pow cosh Add coth asinh pi x0 Add asinh Mul sinh x0 x0 -1 Add Mul asinh Mul sinh x0 x0 sinh Add coth asinh pi x0 Mul Mul cosh Add coth asinh pi x0 log cosh Add coth asinh pi x0 Mul Add Mul x0 cosh x0 sinh x0 Pow sqrt Add 1 Mul Mul sinh x0 x0 Mul sinh x0 x0 -1 