atanh Add Mul tan x0 -4 Pow x7 Pow Mul csch Mul x0 x2 -5 -1 
Mul Add Mul -4 Pow sec x0 2 Mul Pow x7 Add Pow Mul csch Mul x0 x2 -5 -1 -1 Mul Mul x7 log x7 Mul Pow Mul csch Mul x0 x2 -5 2 Mul -1 Mul -5 Mul Mul Mul -1 coth Mul x0 x2 csch Mul x0 x2 x2 Pow Add 1 Mul -1 Mul Add Mul tan x0 -4 Pow x7 Pow Mul csch Mul x0 x2 -5 -1 Add Mul tan x0 -4 Pow x7 Pow Mul csch Mul x0 x2 -5 -1 -1 