Pow x0 Pow Mul Pow csch log x5 Add E exp x0 -2 x0 
Mul Pow x0 Add Pow Mul Pow csch log x5 Add E exp x0 -2 x0 -1 Add Pow Mul Pow csch log x5 Add E exp x0 -2 x0 Mul Mul x0 log x0 Mul Pow Mul Pow csch log x5 Add E exp x0 -2 Add x0 -1 Add Mul x0 Mul -2 Mul Pow csch log x5 Add Add E exp x0 -1 Mul Mul csch log x5 log csch log x5 exp x0 Mul Mul Pow csch log x5 Add E exp x0 -2 log Mul Pow csch log x5 Add E exp x0 -2 