Add x1 Pow Add sqrt pi Mul -3 Add x6 tan x0 x0 
Mul Pow Add sqrt pi Mul -3 Add x6 tan x0 Add x0 -1 Add Mul x0 Mul -3 Pow sec x0 2 Mul Add sqrt pi Mul -3 Add x6 tan x0 log Add sqrt pi Mul -3 Add x6 tan x0 