Pow acos Add log x0 x1 Mul Pow x4 Pow x6 asech coth x3 asin Add x0 -3 
Mul Pow acos Add log x0 x1 Add Mul Pow x4 Pow x6 asech coth x3 asin Add x0 -3 -1 Add Mul Mul Pow x4 Pow x6 asech coth x3 asin Add x0 -3 Mul -1 Mul Pow x0 -1 Pow sqrt Add 1 Mul -1 Mul Add log x0 x1 Add log x0 x1 -1 Mul Mul acos Add log x0 x1 log acos Add log x0 x1 Mul Pow x4 Pow x6 asech coth x3 Pow sqrt Add 1 Mul -1 Mul Add x0 -3 Add x0 -3 -1 