asech Pow cot log acosh x2 cos cosh x0 
Mul Mul Pow cot log acosh x2 Add cos cosh x0 -1 Mul Mul cot log acosh x2 log cot log acosh x2 Mul Mul -1 sin cosh x0 sinh x0 Pow Mul Mul Pow cot log acosh x2 cos cosh x0 Pow cot log acosh x2 cos cosh x0 sqrt Add 1 Mul -1 Pow Mul Pow cot log acosh x2 cos cosh x0 Pow cot log acosh x2 cos cosh x0 -1 -1 