Pow Add Pow x0 -5 Mul Pow Add x0 x0 5 sqrt acsch x5 x0 
Mul Pow Add Pow x0 -5 Mul Pow Add x0 x0 5 sqrt acsch x5 Add x0 -1 Add Mul x0 Add Mul Pow x0 6 -5 Mul sqrt acsch x5 Mul Pow Add x0 x0 4 7 Mul Add Pow x0 -5 Mul Pow Add x0 x0 5 sqrt acsch x5 log Add Pow x0 -5 Mul Pow Add x0 x0 5 sqrt acsch x5 