Pow Mul x0 pi Mul -2 Add Add x0 x0 acsch cot cot acos x0 
Mul Pow Mul x0 pi Add Mul -2 Add Add x0 x0 acsch cot cot acos x0 -1 Add Mul Mul -2 Add Add x0 x0 acsch cot cot acos x0 pi Mul Mul Mul x0 pi log Mul x0 pi Mul -2 Add 2 Mul Mul -1 Mul Mul -1 Pow csc cot acos x0 2 Mul Mul -1 Pow csc acos x0 2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul cot cot acos x0 cot cot acos x0 sqrt Add 1 Mul -1 Pow Mul cot cot acos x0 cot cot acos x0 -1 -1 