exp Pow Mul Mul Mul x0 Mul Pow acsch x2 x0 x0 E x4 Mul Mul x0 3 x7 
Mul exp Pow Mul Mul Mul x0 Mul Pow acsch x2 x0 x0 E x4 Mul Mul x0 3 x7 Mul Pow Mul Mul Mul x0 Mul Pow acsch x2 x0 x0 E x4 Add Mul Mul x0 3 x7 -1 Add Mul Mul Mul x0 3 x7 Mul x4 Mul E Add Mul Pow acsch x2 x0 x0 Mul x0 Add Mul x0 Mul Pow acsch x2 Add x0 -1 Mul acsch x2 log acsch x2 Pow acsch x2 x0 Mul Mul Mul Mul Mul x0 Mul Pow acsch x2 x0 x0 E x4 log Mul Mul Mul x0 Mul Pow acsch x2 x0 x0 E x4 Mul x7 3 