acot Pow Add Mul sin x0 acot x3 sqrt x0 sqrt pi 
Mul -1 Mul Mul Pow Add Mul sin x0 acot x3 sqrt x0 Add sqrt pi -1 Mul sqrt pi Add Mul acot x3 cos x0 Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul Pow Add Mul sin x0 acot x3 sqrt x0 sqrt pi Pow Add Mul sin x0 acot x3 sqrt x0 sqrt pi -1 