atanh exp Mul Pow Add Add exp Add x7 tan x0 x6 Pow Mul x0 exp x5 x0 x7 x0 
Mul Mul exp Mul Pow Add Add exp Add x7 tan x0 x6 Pow Mul x0 exp x5 x0 x7 x0 Add Mul x0 Mul Pow Add Add exp Add x7 tan x0 x6 Pow Mul x0 exp x5 x0 Add x7 -1 Mul x7 Add Mul exp Add x7 tan x0 Pow sec x0 2 Mul Pow Mul x0 exp x5 Add x0 -1 Add Mul x0 exp x5 Mul Mul x0 exp x5 log Mul x0 exp x5 Pow Add Add exp Add x7 tan x0 x6 Pow Mul x0 exp x5 x0 x7 Pow Add 1 Mul -1 Mul exp Mul Pow Add Add exp Add x7 tan x0 x6 Pow Mul x0 exp x5 x0 x7 x0 exp Mul Pow Add Add exp Add x7 tan x0 x6 Pow Mul x0 exp x5 x0 x7 x0 -1 