Mul Pow x7 Mul -1 Pow Add x0 Pow Mul x0 acsch x5 x0 x7 4 
Mul 4 Mul Pow x7 Add Mul -1 Pow Add x0 Pow Mul x0 acsch x5 x0 x7 -1 Mul Mul x7 log x7 Mul -1 Mul Pow Add x0 Pow Mul x0 acsch x5 x0 Add x7 -1 Mul x7 Add 1 Mul Pow Mul x0 acsch x5 Add x0 -1 Add Mul x0 acsch x5 Mul Mul x0 acsch x5 log Mul x0 acsch x5 