Add Mul 5 Pow x0 csc Mul x7 x0 Pow tan x1 acot Mul x0 2 
Add Mul 5 Mul Pow x0 Add csc Mul x7 x0 -1 Add csc Mul x7 x0 Mul Mul x0 log x0 Mul Mul Mul -1 cot Mul x7 x0 csc Mul x7 x0 x7 Mul Pow tan x1 Add acot Mul x0 2 -1 Mul Mul tan x1 log tan x1 Mul -1 Mul 2 Pow Add 1 Mul Mul x0 2 Mul x0 2 -1 