Pow Pow x6 atanh Pow x0 Mul acsch log Mul x0 E pi 3125 
Mul Pow Pow x6 atanh Pow x0 Mul acsch log Mul x0 E pi 3124 Mul 3125 Mul Pow x6 Add atanh Pow x0 Mul acsch log Mul x0 E pi -1 Mul Mul x6 log x6 Mul Mul Pow x0 Add Mul acsch log Mul x0 E pi -1 Add Mul acsch log Mul x0 E pi Mul Mul x0 log x0 Mul pi Mul Mul -1 Mul E Pow Mul x0 E -1 Pow Mul Mul log Mul x0 E log Mul x0 E sqrt Add 1 Mul -1 Pow Mul log Mul x0 E log Mul x0 E -1 -1 Pow Add 1 Mul -1 Mul Pow x0 Mul acsch log Mul x0 E pi Pow x0 Mul acsch log Mul x0 E pi -1 