Mul Add x7 Mul Add x7 pi Pow acos cos x0 Mul Add x0 Pow x0 coth x3 Add 3 Pow x0 pi x0 
Add Mul x0 Mul Add x7 pi Mul Pow acos cos x0 Add Mul Add x0 Pow x0 coth x3 Add 3 Pow x0 pi -1 Add Mul Mul Add x0 Pow x0 coth x3 Add 3 Pow x0 pi Mul -1 Mul Mul -1 sin x0 Pow sqrt Add 1 Mul -1 Mul cos x0 cos x0 -1 Mul Mul acos cos x0 log acos cos x0 Add Mul Add 3 Pow x0 pi Add 1 Mul Pow x0 Add coth x3 -1 coth x3 Mul Add x0 Pow x0 coth x3 Mul Pow x0 Add pi -1 pi Add x7 Mul Add x7 pi Pow acos cos x0 Mul Add x0 Pow x0 coth x3 Add 3 Pow x0 pi 