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