Add Add acot Pow x0 Pow x0 pi Add csch Pow x0 E Pow x0 x6 x0 
Add Add Mul -1 Mul Mul Pow x0 Add Pow x0 pi -1 Add Pow x0 pi Mul Mul x0 log x0 Mul Pow x0 Add pi -1 pi Pow Add 1 Mul Pow x0 Pow x0 pi Pow x0 Pow x0 pi -1 Add Mul Mul Mul -1 coth Pow x0 E csch Pow x0 E Mul Pow x0 Add E -1 E Mul Pow x0 Add x6 -1 x6 1 