Pow sec x5 Mul sin asech acot x0 asin Pow asinh cosh x0 -1 
Mul Pow sec x5 Add Mul sin asech acot x0 asin Pow asinh cosh x0 -1 -1 Mul Mul sec x5 log sec x5 Add Mul asin Pow asinh cosh x0 -1 Mul cos asech acot x0 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul acot x0 acot x0 sqrt Add 1 Mul -1 Pow Mul acot x0 acot x0 -1 -1 Mul sin asech acot x0 Mul Mul Pow asinh cosh x0 2 Mul -1 Mul sinh x0 Pow sqrt Add 1 Mul cosh x0 cosh x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow asinh cosh x0 -1 Pow asinh cosh x0 -1 -1 