acoth Mul x0 Pow Add Add x1 acoth x1 x0 asinh x0 
Mul Add Pow Add Add x1 acoth x1 x0 asinh x0 Mul x0 Mul Pow Add Add x1 acoth x1 x0 Add asinh x0 -1 Add asinh x0 Mul Mul Add Add x1 acoth x1 x0 log Add Add x1 acoth x1 x0 Pow sqrt Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Mul x0 Pow Add Add x1 acoth x1 x0 asinh x0 Mul x0 Pow Add Add x1 acoth x1 x0 asinh x0 -1 