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