Mul x0 Mul acot acos Pow x0 sqrt x0 acoth sqrt Mul cos x0 Pow x0 x0 
Add Mul acot acos Pow x0 sqrt x0 acoth sqrt Mul cos x0 Pow x0 x0 Mul x0 Add Mul acoth sqrt Mul cos x0 Pow x0 x0 Mul -1 Mul Mul -1 Mul Mul Pow x0 Add sqrt x0 -1 Add sqrt x0 Mul Mul x0 log x0 Pow Mul 2 sqrt x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow x0 sqrt x0 Pow x0 sqrt x0 -1 Pow Add 1 Mul acos Pow x0 sqrt x0 acos Pow x0 sqrt x0 -1 Mul acot acos Pow x0 sqrt x0 Mul Mul Pow Mul 2 sqrt Mul cos x0 Pow x0 x0 -1 Add Mul Pow x0 x0 Mul -1 sin x0 Mul cos x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Add 1 Mul -1 Mul sqrt Mul cos x0 Pow x0 x0 sqrt Mul cos x0 Pow x0 x0 -1 