Add -2 Add x6 Pow tanh Pow cos x1 coth asin coth x0 E 
Mul Pow tanh Pow cos x1 coth asin coth x0 Add E -1 Mul E Mul Pow sech Pow cos x1 coth asin coth x0 2 Mul Pow cos x1 Add coth asin coth x0 -1 Mul Mul cos x1 log cos x1 Mul Mul -1 Pow csch asin coth x0 2 Mul Mul -1 Pow csch x0 2 Pow sqrt Add 1 Mul -1 Mul coth x0 coth x0 -1 