Mul x0 Pow tan x0 Add Pow x2 atanh Add x0 x5 pi 
Add Pow tan x0 Add Pow x2 atanh Add x0 x5 pi Mul x0 Mul Pow tan x0 Add Add Pow x2 atanh Add x0 x5 pi -1 Add Mul Add Pow x2 atanh Add x0 x5 pi Pow sec x0 2 Mul Mul tan x0 log tan x0 Mul Pow x2 Add atanh Add x0 x5 -1 Mul Mul x2 log x2 Pow Add 1 Mul -1 Mul Add x0 x5 Add x0 x5 -1 