Pow Add sec sec x0 sqrt Mul x0 x0 asec Mul 4 pi 
Mul Pow Add sec sec x0 sqrt Mul x0 x0 Add asec Mul 4 pi -1 Mul asec Mul 4 pi Add Mul Mul tan sec x0 sec sec x0 Mul tan x0 sec x0 Mul Pow Mul 2 sqrt Mul x0 x0 -1 Add x0 x0 