atanh Mul Add acosh x0 Add Mul Add Add x0 pi acos x0 x0 x1 x0 
Mul Add Mul x0 Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Add Mul x0 Add 1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Add Add x0 pi acos x0 Add acosh x0 Add Mul Add Add x0 pi acos x0 x0 x1 Pow Add 1 Mul -1 Mul Mul Add acosh x0 Add Mul Add Add x0 pi acos x0 x0 x1 x0 Mul Add acosh x0 Add Mul Add Add x0 pi acos x0 x0 x1 x0 -1 