exp Mul acot Mul Add x0 Add 4 Pow Pow tan x4 x0 Add x6 -5 4 acos x0 
Mul exp Mul acot Mul Add x0 Add 4 Pow Pow tan x4 x0 Add x6 -5 4 acos x0 Add Mul acos x0 Mul -1 Mul Mul 4 Add 1 Mul Pow Pow tan x4 x0 Add Add x6 -5 -1 Mul Add x6 -5 Mul Pow tan x4 Add x0 -1 Mul tan x4 log tan x4 Pow Add 1 Mul Mul Add x0 Add 4 Pow Pow tan x4 x0 Add x6 -5 4 Mul Add x0 Add 4 Pow Pow tan x4 x0 Add x6 -5 4 -1 Mul acot Mul Add x0 Add 4 Pow Pow tan x4 x0 Add x6 -5 4 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 