Mul tan x0 Pow Pow x0 Mul -2 x0 Mul atanh x1 sech x0 
Add Mul Pow Pow x0 Mul -2 x0 Mul atanh x1 sech x0 Pow sec x0 2 Mul tan x0 Mul Pow Pow x0 Mul -2 x0 Add Mul atanh x1 sech x0 -1 Add Mul Mul atanh x1 sech x0 Mul Pow x0 Add Mul -2 x0 -1 Add Mul -2 x0 Mul Mul x0 log x0 -2 Mul Mul Pow x0 Mul -2 x0 log Pow x0 Mul -2 x0 Mul atanh x1 Mul tanh x0 Mul -1 sech x0 