acoth Mul -4 Mul pi Mul cos x0 Pow x0 32 
Mul Mul -4 Mul pi Add Mul Pow x0 32 Mul -1 sin x0 Mul cos x0 Mul Pow x0 31 32 Pow Add 1 Mul -1 Mul Mul -4 Mul pi Mul cos x0 Pow x0 32 Mul -4 Mul pi Mul cos x0 Pow x0 32 -1 