Mul x0 Mul Pow coth pi x0 Pow sqrt x5 x0 
Add Mul Pow coth pi x0 Pow sqrt x5 x0 Mul x0 Add Mul Pow sqrt x5 x0 Mul Pow coth pi Add x0 -1 Mul coth pi log coth pi Mul Pow coth pi x0 Mul Pow sqrt x5 Add x0 -1 Mul sqrt x5 log sqrt x5 