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