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