Add Pow x6 x0 Pow acsch Pow 5 x1 Mul Add x0 x0 Add x0 x0 
Add Mul Pow x6 Add x0 -1 Mul x6 log x6 Mul Pow acsch Pow 5 x1 Add Mul Add x0 x0 Add x0 x0 -1 Mul Mul acsch Pow 5 x1 log acsch Pow 5 x1 Add Mul Add x0 x0 2 Mul Add x0 x0 2 