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