atan acos Add x0 asech Pow cos Pow x0 log Add x0 atan acos coth x6 -1 
Mul Mul -1 Mul Add 1 Mul Mul Pow cos Pow x0 log Add x0 atan acos coth x6 2 Mul -1 Mul Mul -1 sin Pow x0 log Add x0 atan acos coth x6 Mul Pow x0 Add log Add x0 atan acos coth x6 -1 Add log Add x0 atan acos coth x6 Mul Mul x0 log x0 Pow Add x0 atan acos coth x6 -1 Pow Mul Mul Pow cos Pow x0 log Add x0 atan acos coth x6 -1 Pow cos Pow x0 log Add x0 atan acos coth x6 -1 sqrt Add 1 Mul -1 Pow Mul Pow cos Pow x0 log Add x0 atan acos coth x6 -1 Pow cos Pow x0 log Add x0 atan acos coth x6 -1 -1 -1 Pow sqrt Add 1 Mul -1 Mul Add x0 asech Pow cos Pow x0 log Add x0 atan acos coth x6 -1 Add x0 asech Pow cos Pow x0 log Add x0 atan acos coth x6 -1 -1 Pow Add 1 Mul acos Add x0 asech Pow cos Pow x0 log Add x0 atan acos coth x6 -1 acos Add x0 asech Pow cos Pow x0 log Add x0 atan acos coth x6 -1 -1 