Mul Mul Pow acsch x6 x0 Add x0 Add x0 Mul x6 -2 Mul x0 x3 
Add Mul Mul x0 x3 Add Mul Add x0 Add x0 Mul x6 -2 Mul Pow acsch x6 Add x0 -1 Mul acsch x6 log acsch x6 Mul Pow acsch x6 x0 2 Mul Mul Pow acsch x6 x0 Add x0 Add x0 Mul x6 -2 x3 