Mul Pow acos x3 x0 acsch Pow Mul x0 x3 2 
Add Mul acsch Pow Mul x0 x3 2 Mul Pow acos x3 Add x0 -1 Mul acos x3 log acos x3 Mul Pow acos x3 x0 Mul Mul -1 Mul Mul x0 x3 Mul 2 x3 Pow Mul Mul Pow Mul x0 x3 2 Pow Mul x0 x3 2 sqrt Add 1 Mul -1 Pow Mul Pow Mul x0 x3 2 Pow Mul x0 x3 2 -1 -1 