Add Add acos acos x0 coth Pow Add Mul x3 x0 Mul x7 pi -2 3 
Add Mul -1 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acos x0 acos x0 -1 Mul Mul -1 Pow csch Pow Add Mul x3 x0 Mul x7 pi -2 2 Mul Pow Add Mul x3 x0 Mul x7 pi 3 Mul -2 x3 