Mul -2 acsch Add -1 Add x3 Mul Mul 4 x0 x0 
Mul -2 Mul Mul -1 Add Mul x0 4 Mul 4 x0 Pow Mul Mul Add -1 Add x3 Mul Mul 4 x0 x0 Add -1 Add x3 Mul Mul 4 x0 x0 sqrt Add 1 Mul -1 Pow Mul Add -1 Add x3 Mul Mul 4 x0 x0 Add -1 Add x3 Mul Mul 4 x0 x0 -1 -1 