Mul Pow x1 tan Pow Add -2 Pow x0 pi x0 coth x3 
Mul coth x3 Mul Pow x1 Add tan Pow Add -2 Pow x0 pi x0 -1 Mul Mul x1 log x1 Mul Pow sec Pow Add -2 Pow x0 pi x0 2 Mul Pow Add -2 Pow x0 pi Add x0 -1 Add Mul x0 Mul Pow x0 Add pi -1 pi Mul Add -2 Pow x0 pi log Add -2 Pow x0 pi 