coth Pow Add x0 x0 sqrt exp Pow cos x0 x5 
Mul Mul -1 Pow csch Pow Add x0 x0 sqrt exp Pow cos x0 x5 2 Mul Pow Add x0 x0 Add sqrt exp Pow cos x0 x5 -1 Add Mul sqrt exp Pow cos x0 x5 2 Mul Mul Add x0 x0 log Add x0 x0 Mul Pow Mul 2 sqrt exp Pow cos x0 x5 -1 Mul exp Pow cos x0 x5 Mul Pow cos x0 Add x5 -1 Mul x5 Mul -1 sin x0 