Mul Mul -2 cot x0 tanh Add Pow asec E x0 Add 2 x0 
Add Mul tanh Add Pow asec E x0 Add 2 x0 Mul -2 Mul -1 Pow csc x0 2 Mul Mul -2 cot x0 Mul Pow sech Add Pow asec E x0 Add 2 x0 2 Add Mul Pow asec E Add x0 -1 Mul asec E log asec E 1 