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