Mul Add -2 Pow x1 Mul x3 Pow x0 x5 Add acsch x4 sqrt x0 
Add Mul Add acsch x4 sqrt x0 Mul Pow x1 Add Mul x3 Pow x0 x5 -1 Mul Mul x1 log x1 Mul x3 Mul Pow x0 Add x5 -1 x5 Mul Add -2 Pow x1 Mul x3 Pow x0 x5 Pow Mul 2 sqrt x0 -1 