acot Mul Mul x2 x0 exp Pow sqrt tanh Mul Add x0 x6 x0 acos asech x0 
Mul -1 Mul Add Mul exp Pow sqrt tanh Mul Add x0 x6 x0 acos asech x0 x2 Mul Mul x2 x0 Mul exp Pow sqrt tanh Mul Add x0 x6 x0 acos asech x0 Mul Pow sqrt tanh Mul Add x0 x6 x0 Add acos asech x0 -1 Add Mul acos asech x0 Mul Pow Mul 2 sqrt tanh Mul Add x0 x6 x0 -1 Mul Pow sech Mul Add x0 x6 x0 2 Add x0 Add x0 x6 Mul Mul sqrt tanh Mul Add x0 x6 x0 log sqrt tanh Mul Add x0 x6 x0 Mul -1 Mul Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul asech x0 asech x0 -1 Pow Add 1 Mul Mul Mul x2 x0 exp Pow sqrt tanh Mul Add x0 x6 x0 acos asech x0 Mul Mul x2 x0 exp Pow sqrt tanh Mul Add x0 x6 x0 acos asech x0 -1 