Add Pow Pow Pow asinh tan x3 x0 x2 acoth Pow x0 x0 tanh x0 
Add Mul Pow Pow Pow asinh tan x3 x0 x2 Add acoth Pow x0 x0 -1 Add Mul acoth Pow x0 x0 Mul Pow Pow asinh tan x3 x0 Add x2 -1 Mul x2 Mul Pow asinh tan x3 Add x0 -1 Mul asinh tan x3 log asinh tan x3 Mul Mul Pow Pow asinh tan x3 x0 x2 log Pow Pow asinh tan x3 x0 x2 Mul Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Add 1 Mul -1 Mul Pow x0 x0 Pow x0 x0 -1 Pow sech x0 2 