Add pi Pow x0 Pow Mul Mul E x0 x0 Add acsch E E 
Mul Pow x0 Add Pow Mul Mul E x0 x0 Add acsch E E -1 Add Pow Mul Mul E x0 x0 Add acsch E E Mul Mul x0 log x0 Mul Pow Mul Mul E x0 x0 Add Add acsch E E -1 Mul Add acsch E E Add Mul x0 E Mul E x0 