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