Mul Mul pi cot x3 Pow Pow cos x0 atan coth x0 Mul x0 0.327450150237258 
Mul Mul pi cot x3 Mul Pow Pow cos x0 atan coth x0 Add Mul x0 0.327450150237258 -1 Add Mul Mul x0 0.327450150237258 Mul Pow cos x0 Add atan coth x0 -1 Add Mul atan coth x0 Mul -1 sin x0 Mul Mul cos x0 log cos x0 Mul Mul -1 Pow csch x0 2 Pow Add 1 Mul coth x0 coth x0 -1 Mul Mul Pow cos x0 atan coth x0 log Pow cos x0 atan coth x0 0.327450150237258 