Mul x0 Pow Mul 3 asech Mul Mul Mul acot acoth x6 x0 x0 Add x3 asinh x3 x0 
Add Pow Mul 3 asech Mul Mul Mul acot acoth x6 x0 x0 Add x3 asinh x3 x0 Mul x0 Mul Pow Mul 3 asech Mul Mul Mul acot acoth x6 x0 x0 Add x3 asinh x3 Add x0 -1 Add Mul x0 Mul 3 Mul Mul Add x3 asinh x3 Add Mul x0 acot acoth x6 Mul acot acoth x6 x0 Pow Mul Mul Mul Mul Mul acot acoth x6 x0 x0 Add x3 asinh x3 Mul Mul Mul acot acoth x6 x0 x0 Add x3 asinh x3 sqrt Add 1 Mul -1 Pow Mul Mul Mul Mul acot acoth x6 x0 x0 Add x3 asinh x3 Mul Mul Mul acot acoth x6 x0 x0 Add x3 asinh x3 -1 -1 Mul Mul 3 asech Mul Mul Mul acot acoth x6 x0 x0 Add x3 asinh x3 log Mul 3 asech Mul Mul Mul acot acoth x6 x0 x0 Add x3 asinh x3 