Pow sech coth x1 sin Pow Mul E -1 x0 
Mul Pow sech coth x1 Add sin Pow Mul E -1 x0 -1 Mul Mul sech coth x1 log sech coth x1 Mul cos Pow Mul E -1 x0 Mul Pow Mul E -1 Add x0 -1 Mul Mul E -1 log Mul E -1 