atanh Mul Add Mul x7 Add Mul Mul Add Add x4 log x0 sec x0 x3 4 5 x0 Pow x5 x2 
Mul Mul Pow x5 x2 Add Mul x7 Mul 4 Mul x3 Add Pow x0 -1 Mul tan x0 sec x0 1 Pow Add 1 Mul -1 Mul Mul Add Mul x7 Add Mul Mul Add Add x4 log x0 sec x0 x3 4 5 x0 Pow x5 x2 Mul Add Mul x7 Add Mul Mul Add Add x4 log x0 sec x0 x3 4 5 x0 Pow x5 x2 -1 