Add Pow x0 Mul 4 Pow acsch Pow x5 -3 x0 -2 
Mul Pow x0 Add Mul 4 Pow acsch Pow x5 -3 x0 -1 Add Mul 4 Pow acsch Pow x5 -3 x0 Mul Mul x0 log x0 Mul 4 Mul Pow acsch Pow x5 -3 Add x0 -1 Mul acsch Pow x5 -3 log acsch Pow x5 -3 