acot Add Add Mul x7 sec x0 x0 atan Pow Mul Add Mul 2 x0 x0 asec x6 x2 
Mul -1 Mul Add Add Mul x7 Mul tan x0 sec x0 1 Mul Mul Pow Mul Add Mul 2 x0 x0 asec x6 Add x2 -1 Mul x2 Mul asec x6 3 Pow Add 1 Mul Pow Mul Add Mul 2 x0 x0 asec x6 x2 Pow Mul Add Mul 2 x0 x0 asec x6 x2 -1 Pow Add 1 Mul Add Add Mul x7 sec x0 x0 atan Pow Mul Add Mul 2 x0 x0 asec x6 x2 Add Add Mul x7 sec x0 x0 atan Pow Mul Add Mul 2 x0 x0 asec x6 x2 -1 