Add x0 acot acosh exp log Pow x0 Add -1 acot pi 
Add 1 Mul -1 Mul Mul Mul exp log Pow x0 Add -1 acot pi Mul Mul Pow x0 Add Add -1 acot pi -1 Add -1 acot pi Pow Pow x0 Add -1 acot pi -1 Pow Mul sqrt Add exp log Pow x0 Add -1 acot pi -1 sqrt Add 1 exp log Pow x0 Add -1 acot pi -1 Pow Add 1 Mul acosh exp log Pow x0 Add -1 acot pi acosh exp log Pow x0 Add -1 acot pi -1 