Add x7 Mul Mul Mul x0 x0 5 acot Pow sin Pow sqrt x7 Pow x4 2 x0 
Add Mul acot Pow sin Pow sqrt x7 Pow x4 2 x0 Mul 5 Add x0 x0 Mul Mul Mul x0 x0 5 Mul -1 Mul Mul Pow sin Pow sqrt x7 Pow x4 2 Add x0 -1 Mul sin Pow sqrt x7 Pow x4 2 log sin Pow sqrt x7 Pow x4 2 Pow Add 1 Mul Pow sin Pow sqrt x7 Pow x4 2 x0 Pow sin Pow sqrt x7 Pow x4 2 x0 -1 