Pow Add x0 acsch Add Pow asech x0 acos x2 Add acot x0 pi -4 
Mul Pow Add x0 acsch Add Pow asech x0 acos x2 Add acot x0 pi 5 Mul -4 Add 1 Mul Mul -1 Add Mul Pow asech x0 Add acos x2 -1 Mul acos x2 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul Add Pow asech x0 acos x2 Add acot x0 pi Add Pow asech x0 acos x2 Add acot x0 pi sqrt Add 1 Mul -1 Pow Mul Add Pow asech x0 acos x2 Add acot x0 pi Add Pow asech x0 acos x2 Add acot x0 pi -1 -1 