acos tanh Add Mul Add x0 Pow cot acoth x7 log x0 x1 E 
Mul -1 Mul Mul Pow sech Add Mul Add x0 Pow cot acoth x7 log x0 x1 E 2 Mul x1 Add 1 Mul Pow cot acoth x7 Add log x0 -1 Mul Mul cot acoth x7 log cot acoth x7 Pow x0 -1 Pow sqrt Add 1 Mul -1 Mul tanh Add Mul Add x0 Pow cot acoth x7 log x0 x1 E tanh Add Mul Add x0 Pow cot acoth x7 log x0 x1 E -1 