Pow Pow exp sec Mul acot pi x0 Pow sec x0 x0 x0 
Mul Pow Pow exp sec Mul acot pi x0 Pow sec x0 x0 Add x0 -1 Add Mul x0 Mul Pow exp sec Mul acot pi x0 Add Pow sec x0 x0 -1 Add Mul Pow sec x0 x0 Mul exp sec Mul acot pi x0 Mul Mul tan Mul acot pi x0 sec Mul acot pi x0 acot pi Mul Mul exp sec Mul acot pi x0 log exp sec Mul acot pi x0 Mul Pow sec x0 Add x0 -1 Add Mul x0 Mul tan x0 sec x0 Mul sec x0 log sec x0 Mul Pow exp sec Mul acot pi x0 Pow sec x0 x0 log Pow exp sec Mul acot pi x0 Pow sec x0 x0 