atanh exp Mul x3 Add Pow acosh x0 x5 acos x1 
Mul Mul exp Mul x3 Add Pow acosh x0 x5 acos x1 Mul x3 Mul Pow acosh x0 Add x5 -1 Mul x5 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul -1 Mul exp Mul x3 Add Pow acosh x0 x5 acos x1 exp Mul x3 Add Pow acosh x0 x5 acos x1 -1 