Mul Pow Pow cos cos x0 tanh acoth x0 4 x0 
Add Mul x0 Mul Pow Pow cos cos x0 tanh acoth x0 3 Mul 4 Mul Pow cos cos x0 Add tanh acoth x0 -1 Add Mul tanh acoth x0 Mul Mul -1 sin cos x0 Mul -1 sin x0 Mul Mul cos cos x0 log cos cos x0 Mul Pow sech acoth x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Pow cos cos x0 tanh acoth x0 4 