Mul x7 Pow acos acsc Pow tan x0 Add x0 -4 x0 
Mul x7 Mul Pow acos acsc Pow tan x0 Add x0 -4 Add x0 -1 Add Mul x0 Mul -1 Mul Mul -1 Mul Mul Pow tan x0 Add Add x0 -4 -1 Add Mul Add x0 -4 Pow sec x0 2 Mul tan x0 log tan x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow tan x0 Add x0 -4 Pow tan x0 Add x0 -4 -1 Pow tan x0 Add x0 -4 Pow tan x0 Add x0 -4 -1 Pow sqrt Add 1 Mul -1 Mul acsc Pow tan x0 Add x0 -4 acsc Pow tan x0 Add x0 -4 -1 Mul acos acsc Pow tan x0 Add x0 -4 log acos acsc Pow tan x0 Add x0 -4 