Pow csch Mul cos x0 cosh sec cosh x2 Add x0 x1 
Mul Pow csch Mul cos x0 cosh sec cosh x2 Add Add x0 x1 -1 Add Mul Add x0 x1 Mul Mul Mul -1 coth Mul cos x0 cosh sec cosh x2 csch Mul cos x0 cosh sec cosh x2 Mul cosh sec cosh x2 Mul -1 sin x0 Mul csch Mul cos x0 cosh sec cosh x2 log csch Mul cos x0 cosh sec cosh x2 