Pow x0 Add Add acos x2 sin x0 Pow acot Add x0 x0 acoth exp pi 
Mul Pow x0 Add Add Add acos x2 sin x0 Pow acot Add x0 x0 acoth exp pi -1 Add Add Add acos x2 sin x0 Pow acot Add x0 x0 acoth exp pi Mul Mul x0 log x0 Add cos x0 Mul Pow acot Add x0 x0 Add acoth exp pi -1 Mul acoth exp pi Mul -1 Mul 2 Pow Add 1 Mul Add x0 x0 Add x0 x0 -1 