Mul sec x0 log sec asech acot Mul x1 Mul Pow Mul x0 x0 tanh Mul asec acot x0 x0 asec x0 
Add Mul log sec asech acot Mul x1 Mul Pow Mul x0 x0 tanh Mul asec acot x0 x0 asec x0 Mul tan x0 sec x0 Mul sec x0 Mul Mul Mul tan asech acot Mul x1 Mul Pow Mul x0 x0 tanh Mul asec acot x0 x0 asec x0 sec asech acot Mul x1 Mul Pow Mul x0 x0 tanh Mul asec acot x0 x0 asec x0 Mul Mul -1 Mul Mul x1 Add Mul asec x0 Mul Pow Mul x0 x0 Add tanh Mul asec acot x0 x0 -1 Add Mul tanh Mul asec acot x0 x0 Add x0 x0 Mul Mul Mul x0 x0 log Mul x0 x0 Mul Pow sech Mul asec acot x0 x0 2 Add Mul x0 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acot x0 acot x0 -1 acot x0 acot x0 -1 asec acot x0 Mul Pow Mul x0 x0 tanh Mul asec acot x0 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Add 1 Mul Mul x1 Mul Pow Mul x0 x0 tanh Mul asec acot x0 x0 asec x0 Mul x1 Mul Pow Mul x0 x0 tanh Mul asec acot x0 x0 asec x0 -1 Pow Mul Mul acot Mul x1 Mul Pow Mul x0 x0 tanh Mul asec acot x0 x0 asec x0 acot Mul x1 Mul Pow Mul x0 x0 tanh Mul asec acot x0 x0 asec x0 sqrt Add 1 Mul -1 Pow Mul acot Mul x1 Mul Pow Mul x0 x0 tanh Mul asec acot x0 x0 asec x0 acot Mul x1 Mul Pow Mul x0 x0 tanh Mul asec acot x0 x0 asec x0 -1 -1 Pow sec asech acot Mul x1 Mul Pow Mul x0 x0 tanh Mul asec acot x0 x0 asec x0 -1 