Pow exp atanh tan x1 Add Pow x0 Add x0 pi x0 
Mul Pow exp atanh tan x1 Add Add Pow x0 Add x0 pi x0 -1 Mul Mul exp atanh tan x1 log exp atanh tan x1 Add Mul Pow x0 Add Add x0 pi -1 Add Add x0 pi Mul x0 log x0 1 