acsch Mul x0 Mul -2 Mul Pow Add Pow x0 E 1 x0 x1 
Mul Mul -1 Add Mul -2 Mul Pow Add Pow x0 E 1 x0 x1 Mul x0 Mul -2 Mul x1 Mul Pow Add Pow x0 E 1 Add x0 -1 Add Mul x0 Mul Pow x0 Add E -1 E Mul Add Pow x0 E 1 log Add Pow x0 E 1 Pow Mul Mul Mul x0 Mul -2 Mul Pow Add Pow x0 E 1 x0 x1 Mul x0 Mul -2 Mul Pow Add Pow x0 E 1 x0 x1 sqrt Add 1 Mul -1 Pow Mul Mul x0 Mul -2 Mul Pow Add Pow x0 E 1 x0 x1 Mul x0 Mul -2 Mul Pow Add Pow x0 E 1 x0 x1 -1 -1 