Mul Pow cot acosh pi Mul x0 sqrt x0 x0 
Add Mul x0 Mul Pow cot acosh pi Add Mul x0 sqrt x0 -1 Mul Mul cot acosh pi log cot acosh pi Add sqrt x0 Mul x0 Pow Mul 2 sqrt x0 -1 Pow cot acosh pi Mul x0 sqrt x0 