atanh Add atan Add tan x0 csch x2 x0 
Mul Add Mul Pow sec x0 2 Pow Add 1 Mul Add tan x0 csch x2 Add tan x0 csch x2 -1 1 Pow Add 1 Mul -1 Mul Add atan Add tan x0 csch x2 x0 Add atan Add tan x0 csch x2 x0 -1 