Add Pow x1 Mul Mul Mul Add x0 2.09439510239320 cos x3 cos coth x0 acos pi x0 
Add Mul Pow x1 Add Mul Mul Mul Add x0 2.09439510239320 cos x3 cos coth x0 acos pi -1 Mul Mul x1 log x1 Mul acos pi Add Mul cos coth x0 cos x3 Mul Mul Add x0 2.09439510239320 cos x3 Mul Mul -1 sin coth x0 Mul -1 Pow csch x0 2 1 