Add Add Pow cosh sec csc sinh x0 Mul -2 Mul x0 acos x1 E -5 
Mul Pow cosh sec csc sinh x0 Add Mul -2 Mul x0 acos x1 -1 Add Mul Mul -2 Mul x0 acos x1 Mul sinh sec csc sinh x0 Mul Mul tan csc sinh x0 sec csc sinh x0 Mul Mul Mul -1 cot sinh x0 csc sinh x0 cosh x0 Mul Mul cosh sec csc sinh x0 log cosh sec csc sinh x0 Mul -2 acos x1 