Mul Add Pow Mul -3 Pow sqrt x0 tan cos x0 x0 x0 acoth x5 
Mul acoth x5 Add Mul Pow Mul -3 Pow sqrt x0 tan cos x0 Add x0 -1 Add Mul x0 Mul -3 Mul Pow sqrt x0 Add tan cos x0 -1 Add Mul tan cos x0 Pow Mul 2 sqrt x0 -1 Mul Mul sqrt x0 log sqrt x0 Mul Pow sec cos x0 2 Mul -1 sin x0 Mul Mul -3 Pow sqrt x0 tan cos x0 log Mul -3 Pow sqrt x0 tan cos x0 1 