acot Add x1 atanh sqrt Pow x0 Pow x1 Pow x7 sec asin Pow x0 sqrt Add x0 coth x6 
Mul -1 Mul Mul Mul Pow Mul 2 sqrt Pow x0 Pow x1 Pow x7 sec asin Pow x0 sqrt Add x0 coth x6 -1 Mul Pow x0 Add Pow x1 Pow x7 sec asin Pow x0 sqrt Add x0 coth x6 -1 Add Pow x1 Pow x7 sec asin Pow x0 sqrt Add x0 coth x6 Mul Mul x0 log x0 Mul Pow x1 Add Pow x7 sec asin Pow x0 sqrt Add x0 coth x6 -1 Mul Mul x1 log x1 Mul Pow x7 Add sec asin Pow x0 sqrt Add x0 coth x6 -1 Mul Mul x7 log x7 Mul Mul tan asin Pow x0 sqrt Add x0 coth x6 sec asin Pow x0 sqrt Add x0 coth x6 Mul Mul Pow x0 Add sqrt Add x0 coth x6 -1 Add sqrt Add x0 coth x6 Mul Mul x0 log x0 Pow Mul 2 sqrt Add x0 coth x6 -1 Pow sqrt Add 1 Mul -1 Mul Pow x0 sqrt Add x0 coth x6 Pow x0 sqrt Add x0 coth x6 -1 Pow Add 1 Mul -1 Mul sqrt Pow x0 Pow x1 Pow x7 sec asin Pow x0 sqrt Add x0 coth x6 sqrt Pow x0 Pow x1 Pow x7 sec asin Pow x0 sqrt Add x0 coth x6 -1 Pow Add 1 Mul Add x1 atanh sqrt Pow x0 Pow x1 Pow x7 sec asin Pow x0 sqrt Add x0 coth x6 Add x1 atanh sqrt Pow x0 Pow x1 Pow x7 sec asin Pow x0 sqrt Add x0 coth x6 -1 