Mul x0 Pow acot sin Mul x0 sec x0 atan E 
Add Pow acot sin Mul x0 sec x0 atan E Mul x0 Mul Pow acot sin Mul x0 sec x0 Add atan E -1 Mul atan E Mul -1 Mul Mul cos Mul x0 sec x0 Add sec x0 Mul x0 Mul tan x0 sec x0 Pow Add 1 Mul sin Mul x0 sec x0 sin Mul x0 sec x0 -1 