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