Add x0 acosh coth Add Pow x0 asinh log Mul Add x0 x2 2 x0 
Add 1 Mul Mul Mul -1 Pow csch Add Pow x0 asinh log Mul Add x0 x2 2 x0 2 Add Mul Pow x0 Add asinh log Mul Add x0 x2 2 -1 Add asinh log Mul Add x0 x2 2 Mul Mul x0 log x0 Mul Mul 2 Pow Mul Add x0 x2 2 -1 Pow sqrt Add 1 Mul log Mul Add x0 x2 2 log Mul Add x0 x2 2 -1 1 Pow Mul sqrt Add coth Add Pow x0 asinh log Mul Add x0 x2 2 x0 -1 sqrt Add 1 coth Add Pow x0 asinh log Mul Add x0 x2 2 x0 -1 