Add Mul 4 x0 Pow acos Add coth x5 x0 tanh sin x0 
Add 4 Mul Pow acos Add coth x5 x0 Add tanh sin x0 -1 Add Mul tanh sin x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add coth x5 x0 Add coth x5 x0 -1 Mul Mul acos Add coth x5 x0 log acos Add coth x5 x0 Mul Pow sech sin x0 2 cos x0 