Add csch x1 Add Pow cot asech acosh x0 asec Mul pi x0 x6 
Mul Pow cot asech acosh x0 Add asec Mul pi x0 -1 Add Mul asec Mul pi x0 Mul Mul -1 Pow csc asech acosh x0 2 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul Mul acosh x0 acosh x0 sqrt Add 1 Mul -1 Pow Mul acosh x0 acosh x0 -1 -1 Mul Mul cot asech acosh x0 log cot asech acosh x0 Mul pi Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul pi x0 Mul pi x0 -1 Mul pi x0 Mul pi x0 -1 