Pow cos x0 Mul acsch Mul sech x3 pi Add x0 x1 
Mul Pow cos x0 Add Mul acsch Mul sech x3 pi Add x0 x1 -1 Add Mul Mul acsch Mul sech x3 pi Add x0 x1 Mul -1 sin x0 Mul Mul cos x0 log cos x0 acsch Mul sech x3 pi 