Add Mul Pow x0 -1 acosh atanh x0 Mul E acot acot Mul -3 Add Pow Mul -4 x3 x0 asech x6 
Add Add Mul acosh atanh x0 Mul Pow x0 2 -1 Mul Pow x0 -1 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add atanh x0 -1 sqrt Add 1 atanh x0 -1 Mul E Mul -1 Mul Mul -1 Mul Mul -3 Mul Pow Mul -4 x3 Add x0 -1 Mul Mul -4 x3 log Mul -4 x3 Pow Add 1 Mul Mul -3 Add Pow Mul -4 x3 x0 asech x6 Mul -3 Add Pow Mul -4 x3 x0 asech x6 -1 Pow Add 1 Mul acot Mul -3 Add Pow Mul -4 x3 x0 asech x6 acot Mul -3 Add Pow Mul -4 x3 x0 asech x6 -1 