atanh exp Add Pow Mul Mul x0 acos x0 Add x7 sec Mul x0 x3 sinh x5 x0 
Mul Mul exp Add Pow Mul Mul x0 acos x0 Add x7 sec Mul x0 x3 sinh x5 x0 Add Mul Pow Mul Mul x0 acos x0 Add x7 sec Mul x0 x3 Add sinh x5 -1 Mul sinh x5 Add Mul Add x7 sec Mul x0 x3 Add acos x0 Mul x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul x0 acos x0 Mul Mul tan Mul x0 x3 sec Mul x0 x3 x3 1 Pow Add 1 Mul -1 Mul exp Add Pow Mul Mul x0 acos x0 Add x7 sec Mul x0 x3 sinh x5 x0 exp Add Pow Mul Mul x0 acos x0 Add x7 sec Mul x0 x3 sinh x5 x0 -1 