exp Mul acot cot acsch x0 Pow Add Add Add pi x0 x0 x0 sqrt x0 
Mul exp Mul acot cot acsch x0 Pow Add Add Add pi x0 x0 x0 sqrt x0 Add Mul Pow Add Add Add pi x0 x0 x0 sqrt x0 Mul -1 Mul Mul Mul -1 Pow csc acsch x0 2 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Add 1 Mul cot acsch x0 cot acsch x0 -1 Mul acot cot acsch x0 Mul Pow Add Add Add pi x0 x0 x0 Add sqrt x0 -1 Add Mul sqrt x0 3 Mul Mul Add Add Add pi x0 x0 x0 log Add Add Add pi x0 x0 x0 Pow Mul 2 sqrt x0 -1 