Pow sqrt atan Mul Mul sech pi Pow cot x0 2 x1 sinh sec E 
Mul Pow sqrt atan Mul Mul sech pi Pow cot x0 2 x1 Add sinh sec E -1 Mul sinh sec E Mul Pow Mul 2 sqrt atan Mul Mul sech pi Pow cot x0 2 x1 -1 Mul Mul x1 Mul sech pi Mul cot x0 Mul 2 Mul -1 Pow csc x0 2 Pow Add 1 Mul Mul Mul sech pi Pow cot x0 2 x1 Mul Mul sech pi Pow cot x0 2 x1 -1 