csc Mul csc Mul sech pi Pow asec x1 x0 x0 
Mul Mul Mul -1 cot Mul csc Mul sech pi Pow asec x1 x0 x0 csc Mul csc Mul sech pi Pow asec x1 x0 x0 Add Mul x0 Mul Mul Mul -1 cot Mul sech pi Pow asec x1 x0 csc Mul sech pi Pow asec x1 x0 Mul sech pi Mul Pow asec x1 Add x0 -1 Mul asec x1 log asec x1 csc Mul sech pi Pow asec x1 x0 