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