Add Mul Add asinh Pow x0 acoth x0 Add Pow Pow x1 x3 x0 Pow x0 acos acos x0 x0 x5 
Add Mul x0 Add Mul Mul Pow x0 Add acoth x0 -1 Add acoth x0 Mul Mul x0 log x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul Pow x0 acoth x0 Pow x0 acoth x0 -1 Add Mul Pow Pow x1 x3 Add x0 -1 Mul Pow x1 x3 log Pow x1 x3 Mul Pow x0 Add acos acos x0 -1 Add acos acos x0 Mul Mul x0 log x0 Mul -1 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acos x0 acos x0 -1 Add asinh Pow x0 acoth x0 Add Pow Pow x1 x3 x0 Pow x0 acos acos x0 