Mul Mul 5 Pow x0 Pow acsch Mul E 5 x0 x3 
Mul x3 Mul 5 Mul Pow x0 Add Pow acsch Mul E 5 x0 -1 Add Pow acsch Mul E 5 x0 Mul Mul x0 log x0 Mul Pow acsch Mul E 5 Add x0 -1 Mul acsch Mul E 5 log acsch Mul E 5 