atanh Mul x6 Add -2 Mul Mul 4 Add Add Mul x0 acosh coth sec x6 4 Mul 3 tan x0 Mul x0 x5 
Mul Mul x6 Add Mul Mul x0 x5 Mul 4 Add acosh coth sec x6 Mul 3 Pow sec x0 2 Mul Mul 4 Add Add Mul x0 acosh coth sec x6 4 Mul 3 tan x0 x5 Pow Add 1 Mul -1 Mul Mul x6 Add -2 Mul Mul 4 Add Add Mul x0 acosh coth sec x6 4 Mul 3 tan x0 Mul x0 x5 Mul x6 Add -2 Mul Mul 4 Add Add Mul x0 acosh coth sec x6 4 Mul 3 tan x0 Mul x0 x5 -1 