Mul E Add Add x0 Pow Add Mul x0 3 Pow coth asinh Mul x3 4 pi asinh x0 x6 
Mul E Add 1 Mul Pow Add Mul x0 3 Pow coth asinh Mul x3 4 pi Add asinh x0 -1 Add Mul asinh x0 3 Mul Mul Add Mul x0 3 Pow coth asinh Mul x3 4 pi log Add Mul x0 3 Pow coth asinh Mul x3 4 pi Pow sqrt Add 1 Mul x0 x0 -1 