Add -3 Mul x5 Pow sec x0 Add Pow asech x7 Mul x6 acot x0 x0 
Mul x5 Mul Pow sec x0 Add Add Pow asech x7 Mul x6 acot x0 x0 -1 Add Mul Add Pow asech x7 Mul x6 acot x0 x0 Mul tan x0 sec x0 Mul Mul sec x0 log sec x0 Add Mul Pow asech x7 Add Mul x6 acot x0 -1 Mul Mul asech x7 log asech x7 Mul x6 Mul -1 Pow Add 1 Mul x0 x0 -1 1 