Mul acsch Pow Add sqrt x0 1 -3 Pow Add x0 x7 x6 
Add Mul Pow Add x0 x7 x6 Mul Mul -1 Mul Pow Add sqrt x0 1 4 Mul -3 Pow Mul 2 sqrt x0 -1 Pow Mul Mul Pow Add sqrt x0 1 -3 Pow Add sqrt x0 1 -3 sqrt Add 1 Mul -1 Pow Mul Pow Add sqrt x0 1 -3 Pow Add sqrt x0 1 -3 -1 -1 Mul acsch Pow Add sqrt x0 1 -3 Mul Pow Add x0 x7 Add x6 -1 x6 