Pow coth x1 Pow asinh x1 Mul Mul Pow pi Add x3 Add 1 log E Mul -4 E x0 
Mul Pow coth x1 Add Pow asinh x1 Mul Mul Pow pi Add x3 Add 1 log E Mul -4 E x0 -1 Mul Mul coth x1 log coth x1 Mul Pow asinh x1 Add Mul Mul Pow pi Add x3 Add 1 log E Mul -4 E x0 -1 Mul Mul asinh x1 log asinh x1 Mul Pow pi Add x3 Add 1 log E Mul -4 E 