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