asec sec Pow acosh asech Mul x0 E x0 
Mul Mul Mul tan Pow acosh asech Mul x0 E x0 sec Pow acosh asech Mul x0 E x0 Mul Pow acosh asech Mul x0 E Add x0 -1 Add Mul x0 Mul Mul E Pow Mul Mul Mul x0 E Mul x0 E sqrt Add 1 Mul -1 Pow Mul Mul x0 E Mul x0 E -1 -1 Pow Mul sqrt Add asech Mul x0 E -1 sqrt Add 1 asech Mul x0 E -1 Mul acosh asech Mul x0 E log acosh asech Mul x0 E Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul sec Pow acosh asech Mul x0 E x0 sec Pow acosh asech Mul x0 E x0 -1 sec Pow acosh asech Mul x0 E x0 sec Pow acosh asech Mul x0 E x0 -1 