Mul exp x0 acoth Pow x0 Add Mul x5 x0 pi 
Add Mul acoth Pow x0 Add Mul x5 x0 pi exp x0 Mul exp x0 Mul Mul Pow x0 Add Add Mul x5 x0 pi -1 Add Add Mul x5 x0 pi Mul Mul x0 log x0 x5 Pow Add 1 Mul -1 Mul Pow x0 Add Mul x5 x0 pi Pow x0 Add Mul x5 x0 pi -1 