Pow coth pi Mul Mul Pow x5 sin Pow sqrt x2 x0 sin x0 E 
Mul Pow coth pi Add Mul Mul Pow x5 sin Pow sqrt x2 x0 sin x0 E -1 Mul Mul coth pi log coth pi Mul E Add Mul sin x0 Mul Pow x5 Add sin Pow sqrt x2 x0 -1 Mul Mul x5 log x5 Mul cos Pow sqrt x2 x0 Mul Pow sqrt x2 Add x0 -1 Mul sqrt x2 log sqrt x2 Mul Pow x5 sin Pow sqrt x2 x0 cos x0 