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