atanh Add acsch tan x0 Add atanh x3 x4 
Mul Mul Mul -1 Pow sec x0 2 Pow Mul Mul tan x0 tan x0 sqrt Add 1 Mul -1 Pow Mul tan x0 tan x0 -1 -1 Pow Add 1 Mul -1 Mul Add acsch tan x0 Add atanh x3 x4 Add acsch tan x0 Add atanh x3 x4 -1 