Add x0 Mul Pow Mul 4 acsch Add x3 Add 1 exp Mul Mul -1 x0 x2 4 x0 
Add 1 Add Mul x0 Mul Pow Mul 4 acsch Add x3 Add 1 exp Mul Mul -1 x0 x2 3 Mul 4 Mul 4 Mul Mul -1 Mul exp Mul Mul -1 x0 x2 Mul x2 -1 Pow Mul Mul Add x3 Add 1 exp Mul Mul -1 x0 x2 Add x3 Add 1 exp Mul Mul -1 x0 x2 sqrt Add 1 Mul -1 Pow Mul Add x3 Add 1 exp Mul Mul -1 x0 x2 Add x3 Add 1 exp Mul Mul -1 x0 x2 -1 -1 Pow Mul 4 acsch Add x3 Add 1 exp Mul Mul -1 x0 x2 4 