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