Add x0 asinh Add Pow Pow x0 Mul x1 x0 Add x2 acoth x2 Add Add asin x0 x0 0.265802228834080 
Add 1 Mul Add Mul Pow Pow x0 Mul x1 x0 Add Add x2 acoth x2 -1 Mul Add x2 acoth x2 Mul Pow x0 Add Mul x1 x0 -1 Add Mul x1 x0 Mul Mul x0 log x0 x1 Add Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 Pow sqrt Add 1 Mul Add Pow Pow x0 Mul x1 x0 Add x2 acoth x2 Add Add asin x0 x0 0.265802228834080 Add Pow Pow x0 Mul x1 x0 Add x2 acoth x2 Add Add asin x0 x0 0.265802228834080 -1 