coth exp Pow x0 atan Pow log Mul -4 Mul x5 pi 3 
Mul Mul -1 Pow csch exp Pow x0 atan Pow log Mul -4 Mul x5 pi 3 2 Mul exp Pow x0 atan Pow log Mul -4 Mul x5 pi 3 Mul Pow x0 Add atan Pow log Mul -4 Mul x5 pi 3 -1 atan Pow log Mul -4 Mul x5 pi 3 