Add Mul x4 x0 acsch Mul Mul Pow -1 x2 Add Pow x0 x0 2 x2 
Add x4 Mul Mul -1 Mul x2 Mul Pow -1 x2 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Mul Mul Mul Mul Pow -1 x2 Add Pow x0 x0 2 x2 Mul Mul Pow -1 x2 Add Pow x0 x0 2 x2 sqrt Add 1 Mul -1 Pow Mul Mul Mul Pow -1 x2 Add Pow x0 x0 2 x2 Mul Mul Pow -1 x2 Add Pow x0 x0 2 x2 -1 -1 