Mul -3 Pow log coth cos x0 Mul Mul pi x0 x3 
Mul -3 Mul Pow log coth cos x0 Add Mul Mul pi x0 x3 -1 Add Mul Mul Mul pi x0 x3 Mul Mul Mul -1 Pow csch cos x0 2 Mul -1 sin x0 Pow coth cos x0 -1 Mul Mul log coth cos x0 log log coth cos x0 Mul x3 pi 