Pow x2 sqrt Pow Add Mul acsc x5 x2 tan acsch Mul acos x0 x0 x0 
Mul Pow x2 Add sqrt Pow Add Mul acsc x5 x2 tan acsch Mul acos x0 x0 x0 -1 Mul Mul x2 log x2 Mul Pow Mul 2 sqrt Pow Add Mul acsc x5 x2 tan acsch Mul acos x0 x0 x0 -1 Mul Pow Add Mul acsc x5 x2 tan acsch Mul acos x0 x0 Add x0 -1 Add Mul x0 Mul Pow sec acsch Mul acos x0 x0 2 Mul Mul -1 Add Mul x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 acos x0 Pow Mul Mul Mul acos x0 x0 Mul acos x0 x0 sqrt Add 1 Mul -1 Pow Mul Mul acos x0 x0 Mul acos x0 x0 -1 -1 Mul Add Mul acsc x5 x2 tan acsch Mul acos x0 x0 log Add Mul acsc x5 x2 tan acsch Mul acos x0 x0 