Pow x6 cos acos Add x0 asech acot acosh exp Mul x0 x2 
Mul Pow x6 Add cos acos Add x0 asech acot acosh exp Mul x0 x2 -1 Mul Mul x6 log x6 Mul Mul -1 sin acos Add x0 asech acot acosh exp Mul x0 x2 Mul -1 Mul Add 1 Mul Mul -1 Mul Mul Mul exp Mul x0 x2 x2 Pow Mul sqrt Add exp Mul x0 x2 -1 sqrt Add 1 exp Mul x0 x2 -1 Pow Add 1 Mul acosh exp Mul x0 x2 acosh exp Mul x0 x2 -1 Pow Mul Mul acot acosh exp Mul x0 x2 acot acosh exp Mul x0 x2 sqrt Add 1 Mul -1 Pow Mul acot acosh exp Mul x0 x2 acot acosh exp Mul x0 x2 -1 -1 Pow sqrt Add 1 Mul -1 Mul Add x0 asech acot acosh exp Mul x0 x2 Add x0 asech acot acosh exp Mul x0 x2 -1 