Pow Mul Mul cot acos acot x7 Mul Add acos x0 x0 tan x0 pi Mul x0 Add x0 E 
Mul Pow Mul Mul cot acos acot x7 Mul Add acos x0 x0 tan x0 pi Add Mul x0 Add x0 E -1 Add Mul Mul x0 Add x0 E Mul pi Mul cot acos acot x7 Add Mul tan x0 Add Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 Mul Add acos x0 x0 Pow sec x0 2 Mul Mul Mul Mul cot acos acot x7 Mul Add acos x0 x0 tan x0 pi log Mul Mul cot acos acot x7 Mul Add acos x0 x0 tan x0 pi Add Add x0 E x0 