Pow acsch log Mul x0 Pow Pow log x0 8 x7 2 
Mul acsch log Mul x0 Pow Pow log x0 8 x7 Mul 2 Mul Mul -1 Mul Add Pow Pow log x0 8 x7 Mul x0 Mul Pow Pow log x0 8 Add x7 -1 Mul x7 Mul Pow log x0 7 Mul 8 Pow x0 -1 Pow Mul x0 Pow Pow log x0 8 x7 -1 Pow Mul Mul log Mul x0 Pow Pow log x0 8 x7 log Mul x0 Pow Pow log x0 8 x7 sqrt Add 1 Mul -1 Pow Mul log Mul x0 Pow Pow log x0 8 x7 log Mul x0 Pow Pow log x0 8 x7 -1 -1 