Pow x0 Pow Pow Mul x0 -1 Mul x5 5 Mul 2 asin acsch x7 
Mul Pow x0 Add Pow Pow Mul x0 -1 Mul x5 5 Mul 2 asin acsch x7 -1 Add Pow Pow Mul x0 -1 Mul x5 5 Mul 2 asin acsch x7 Mul Mul x0 log x0 Mul Pow Pow Mul x0 -1 Mul x5 5 Add Mul 2 asin acsch x7 -1 Mul Mul 2 asin acsch x7 Mul Pow Mul x0 -1 Add Mul x5 5 -1 Mul Mul x5 5 -1 