Mul Mul x0 x0 Pow Pow Add tan x0 asec pi x1 Mul x0 x0 
Add Mul Pow Pow Add tan x0 asec pi x1 Mul x0 x0 Add x0 x0 Mul Mul x0 x0 Mul Pow Pow Add tan x0 asec pi x1 Add Mul x0 x0 -1 Add Mul Mul x0 x0 Mul Pow Add tan x0 asec pi Add x1 -1 Mul x1 Pow sec x0 2 Mul Mul Pow Add tan x0 asec pi x1 log Pow Add tan x0 asec pi x1 Add x0 x0 