acot Pow Pow Pow x6 x3 sec x0 Add x0 Mul x0 Mul x0 Mul -2 x3 
Mul -1 Mul Mul Pow Pow Pow x6 x3 sec x0 Add Add x0 Mul x0 Mul x0 Mul -2 x3 -1 Add Mul Add x0 Mul x0 Mul x0 Mul -2 x3 Mul Pow Pow x6 x3 Add sec x0 -1 Mul Mul Pow x6 x3 log Pow x6 x3 Mul tan x0 sec x0 Mul Mul Pow Pow x6 x3 sec x0 log Pow Pow x6 x3 sec x0 Add 1 Add Mul x0 Mul -2 x3 Mul x0 Mul -2 x3 Pow Add 1 Mul Pow Pow Pow x6 x3 sec x0 Add x0 Mul x0 Mul x0 Mul -2 x3 Pow Pow Pow x6 x3 sec x0 Add x0 Mul x0 Mul x0 Mul -2 x3 -1 