acos Add acos Pow Mul 2 x0 pi sec x0 
Mul -1 Mul Add Mul -1 Mul Mul Pow Mul 2 x0 Add pi -1 Mul pi 2 Pow sqrt Add 1 Mul -1 Mul Pow Mul 2 x0 pi Pow Mul 2 x0 pi -1 Mul tan x0 sec x0 Pow sqrt Add 1 Mul -1 Mul Add acos Pow Mul 2 x0 pi sec x0 Add acos Pow Mul 2 x0 pi sec x0 -1 