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