Add Mul x0 sec Add Pow Mul atanh x0 x6 tan x0 Mul -2 x0 Pow x0 -3 
Add Add sec Add Pow Mul atanh x0 x6 tan x0 Mul -2 x0 Mul x0 Mul Mul tan Add Pow Mul atanh x0 x6 tan x0 Mul -2 x0 sec Add Pow Mul atanh x0 x6 tan x0 Mul -2 x0 Add Mul Pow Mul atanh x0 x6 Add tan x0 -1 Add Mul tan x0 Mul x6 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Mul atanh x0 x6 log Mul atanh x0 x6 Pow sec x0 2 -2 Mul Pow x0 4 -3 