Pow Mul x0 atan atanh x0 Pow atan tan x0 Pow x3 log x0 
Mul Pow Mul x0 atan atanh x0 Add Pow atan tan x0 Pow x3 log x0 -1 Add Mul Pow atan tan x0 Pow x3 log x0 Add atan atanh x0 Mul x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul atanh x0 atanh x0 -1 Mul Mul Mul x0 atan atanh x0 log Mul x0 atan atanh x0 Mul Pow atan tan x0 Add Pow x3 log x0 -1 Add Mul Pow x3 log x0 Mul Pow sec x0 2 Pow Add 1 Mul tan x0 tan x0 -1 Mul Mul atan tan x0 log atan tan x0 Mul Pow x3 Add log x0 -1 Mul Mul x3 log x3 Pow x0 -1 