sec acoth Add Pow Mul E x6 acoth sqrt x0 x0 
Mul Mul tan acoth Add Pow Mul E x6 acoth sqrt x0 x0 sec acoth Add Pow Mul E x6 acoth sqrt x0 x0 Mul Add Mul Pow Mul E x6 Add acoth sqrt x0 -1 Mul Mul Mul E x6 log Mul E x6 Mul Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul -1 Mul sqrt x0 sqrt x0 -1 1 Pow Add 1 Mul -1 Mul Add Pow Mul E x6 acoth sqrt x0 x0 Add Pow Mul E x6 acoth sqrt x0 x0 -1 