Mul -3 Mul Pow coth Mul Mul x0 x0 Pow asinh x0 x1 x0 x0 
Mul -3 Add Mul x0 Mul Pow coth Mul Mul x0 x0 Pow asinh x0 x1 Add x0 -1 Add Mul x0 Mul Mul -1 Pow csch Mul Mul x0 x0 Pow asinh x0 x1 2 Add Mul Pow asinh x0 x1 Add x0 x0 Mul Mul x0 x0 Mul Pow asinh x0 Add x1 -1 Mul x1 Pow sqrt Add 1 Mul x0 x0 -1 Mul coth Mul Mul x0 x0 Pow asinh x0 x1 log coth Mul Mul x0 x0 Pow asinh x0 x1 Pow coth Mul Mul x0 x0 Pow asinh x0 x1 x0 