Pow Mul x0 acsch x7 Mul x0 Mul x0 Mul x0 E 
Mul Pow Mul x0 acsch x7 Add Mul x0 Mul x0 Mul x0 E -1 Add Mul Mul x0 Mul x0 Mul x0 E acsch x7 Mul Mul Mul x0 acsch x7 log Mul x0 acsch x7 Add Mul x0 Mul x0 E Mul x0 Add Mul x0 E Mul x0 E 