Mul sec x0 Mul x0 acot Pow Mul x2 x0 Mul asech pi x6 
Add Mul Mul x0 acot Pow Mul x2 x0 Mul asech pi x6 Mul tan x0 sec x0 Mul sec x0 Add acot Pow Mul x2 x0 Mul asech pi x6 Mul x0 Mul -1 Mul Mul Pow Mul x2 x0 Add Mul asech pi x6 -1 Mul Mul asech pi x6 x2 Pow Add 1 Mul Pow Mul x2 x0 Mul asech pi x6 Pow Mul x2 x0 Mul asech pi x6 -1 