Pow Add x0 Add coth Mul x0 Mul Mul x4 Mul x0 acos x7 x5 pi x0 
Mul Pow Add x0 Add coth Mul x0 Mul Mul x4 Mul x0 acos x7 x5 pi Add x0 -1 Add Mul x0 Add 1 Mul Mul -1 Pow csch Mul x0 Mul Mul x4 Mul x0 acos x7 x5 2 Add Mul Mul x4 Mul x0 acos x7 x5 Mul x0 Mul x5 Mul x4 acos x7 Mul Add x0 Add coth Mul x0 Mul Mul x4 Mul x0 acos x7 x5 pi log Add x0 Add coth Mul x0 Mul Mul x4 Mul x0 acos x7 x5 pi 