Add Add Pow acos acosh sinh x0 Mul sinh x0 x0 x0 coth sec Mul pi -2 
Add Mul Pow acos acosh sinh x0 Add Mul sinh x0 x0 -1 Add Mul Mul sinh x0 x0 Mul -1 Mul Mul cosh x0 Pow Mul sqrt Add sinh x0 -1 sqrt Add 1 sinh x0 -1 Pow sqrt Add 1 Mul -1 Mul acosh sinh x0 acosh sinh x0 -1 Mul Mul acos acosh sinh x0 log acos acosh sinh x0 Add Mul x0 cosh x0 sinh x0 1 