Mul Pow Add sec Pow x2 sec x0 x0 atan x2 Mul 3 acsc x6 
Mul Mul 3 acsc x6 Mul Pow Add sec Pow x2 sec x0 x0 Add atan x2 -1 Mul atan x2 Add Mul Mul tan Pow x2 sec x0 sec Pow x2 sec x0 Mul Pow x2 Add sec x0 -1 Mul Mul x2 log x2 Mul tan x0 sec x0 1 