Add Mul x0 Add x1 Mul Pow x0 coth Mul pi Add pi asec cbrt E Pow asinh x0 x0 -1 
Add Add x1 Mul Pow x0 coth Mul pi Add pi asec cbrt E Pow asinh x0 x0 Mul x0 Add Mul Pow asinh x0 x0 Mul Pow x0 Add coth Mul pi Add pi asec cbrt E -1 coth Mul pi Add pi asec cbrt E Mul Pow x0 coth Mul pi Add pi asec cbrt E Mul Pow asinh x0 Add x0 -1 Add Mul x0 Pow sqrt Add 1 Mul x0 x0 -1 Mul asinh x0 log asinh x0 