Pow sqrt Add Pow acot acsch x0 2 x0 Add Add Add x6 x2 Mul x0 x4 pi 
Mul Pow sqrt Add Pow acot acsch x0 2 x0 Add Add Add Add x6 x2 Mul x0 x4 pi -1 Add Mul Add Add Add x6 x2 Mul x0 x4 pi Mul Pow Mul 2 sqrt Add Pow acot acsch x0 2 x0 -1 Add Mul acot acsch x0 Mul 2 Mul -1 Mul Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Add 1 Mul acsch x0 acsch x0 -1 1 Mul Mul sqrt Add Pow acot acsch x0 2 x0 log sqrt Add Pow acot acsch x0 2 x0 x4 