atanh Add atan tan Mul Add x4 x0 sec x0 x1 
Mul Mul Mul Pow sec Mul Add x4 x0 sec x0 2 Add sec x0 Mul Add x4 x0 Mul tan x0 sec x0 Pow Add 1 Mul tan Mul Add x4 x0 sec x0 tan Mul Add x4 x0 sec x0 -1 Pow Add 1 Mul -1 Mul Add atan tan Mul Add x4 x0 sec x0 x1 Add atan tan Mul Add x4 x0 sec x0 x1 -1 