Pow Add x2 x2 sqrt acsch Mul -2 sinh x0 
Mul Pow Add x2 x2 Add sqrt acsch Mul -2 sinh x0 -1 Mul Mul Add x2 x2 log Add x2 x2 Mul Pow Mul 2 sqrt acsch Mul -2 sinh x0 -1 Mul Mul -1 Mul -2 cosh x0 Pow Mul Mul Mul -2 sinh x0 Mul -2 sinh x0 sqrt Add 1 Mul -1 Pow Mul Mul -2 sinh x0 Mul -2 sinh x0 -1 -1 