Pow Add asech x0 csc acosh x0 Mul -4 x7 
Mul Pow Add asech x0 csc acosh x0 Add Mul -4 x7 -1 Mul Mul -4 x7 Add Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Mul Mul -1 cot acosh x0 csc acosh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 