Add Mul coth Pow asinh Pow x1 x0 sqrt x0 Add acoth Add x0 Add x0 5 x3 x3 
Add Mul Add acoth Add x0 Add x0 5 x3 Mul Mul -1 Pow csch Pow asinh Pow x1 x0 sqrt x0 2 Mul Pow asinh Pow x1 x0 Add sqrt x0 -1 Add Mul sqrt x0 Mul Mul Pow x1 Add x0 -1 Mul x1 log x1 Pow sqrt Add 1 Mul Pow x1 x0 Pow x1 x0 -1 Mul Mul asinh Pow x1 x0 log asinh Pow x1 x0 Pow Mul 2 sqrt x0 -1 Mul coth Pow asinh Pow x1 x0 sqrt x0 Mul 2 Pow Add 1 Mul -1 Mul Add x0 Add x0 5 Add x0 Add x0 5 -1 