Add acot acos Mul x0 pi Add Pow x6 Mul x0 pi cos x0 
Add Mul -1 Mul Mul -1 Mul pi Pow sqrt Add 1 Mul -1 Mul Mul x0 pi Mul x0 pi -1 Pow Add 1 Mul acos Mul x0 pi acos Mul x0 pi -1 Add Mul Pow x6 Add Mul x0 pi -1 Mul Mul x6 log x6 pi Mul -1 sin x0 