Pow Pow x1 Pow Mul acot x5 5 x5 Pow sec sec x0 Add x0 x0 
Mul Pow Pow x1 Pow Mul acot x5 5 x5 Add Pow sec sec x0 Add x0 x0 -1 Mul Mul Pow x1 Pow Mul acot x5 5 x5 log Pow x1 Pow Mul acot x5 5 x5 Mul Pow sec sec x0 Add Add x0 x0 -1 Add Mul Add x0 x0 Mul Mul tan sec x0 sec sec x0 Mul tan x0 sec x0 Mul Mul sec sec x0 log sec sec x0 2 