cos Pow csch acos Mul x2 x0 Mul Add x0 x0 pi 
Mul Mul -1 sin Pow csch acos Mul x2 x0 Mul Add x0 x0 pi Mul Pow csch acos Mul x2 x0 Add Mul Add x0 x0 pi -1 Add Mul Mul Add x0 x0 pi Mul Mul Mul -1 coth acos Mul x2 x0 csch acos Mul x2 x0 Mul -1 Mul x2 Pow sqrt Add 1 Mul -1 Mul Mul x2 x0 Mul x2 x0 -1 Mul Mul csch acos Mul x2 x0 log csch acos Mul x2 x0 Mul pi 2 