Pow Add x2 x0 sqrt acoth Mul x0 asinh x4 
Mul Pow Add x2 x0 Add sqrt acoth Mul x0 asinh x4 -1 Add sqrt acoth Mul x0 asinh x4 Mul Mul Add x2 x0 log Add x2 x0 Mul Pow Mul 2 sqrt acoth Mul x0 asinh x4 -1 Mul asinh x4 Pow Add 1 Mul -1 Mul Mul x0 asinh x4 Mul x0 asinh x4 -1 