acsch Add x7 Pow x0 Mul -3 x4 
Mul Mul -1 Mul Pow x0 Add Mul -3 x4 -1 Mul -3 x4 Pow Mul Mul Add x7 Pow x0 Mul -3 x4 Add x7 Pow x0 Mul -3 x4 sqrt Add 1 Mul -1 Pow Mul Add x7 Pow x0 Mul -3 x4 Add x7 Pow x0 Mul -3 x4 -1 -1 