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