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