asech csc Mul acosh x0 Mul sqrt x6 acosh acsch x3 
Mul Mul Mul Mul -1 cot Mul acosh x0 Mul sqrt x6 acosh acsch x3 csc Mul acosh x0 Mul sqrt x6 acosh acsch x3 Mul Mul sqrt x6 acosh acsch x3 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul Mul csc Mul acosh x0 Mul sqrt x6 acosh acsch x3 csc Mul acosh x0 Mul sqrt x6 acosh acsch x3 sqrt Add 1 Mul -1 Pow Mul csc Mul acosh x0 Mul sqrt x6 acosh acsch x3 csc Mul acosh x0 Mul sqrt x6 acosh acsch x3 -1 -1 