Add Mul Mul 3 E sin Mul Mul sqrt x3 atan x0 acot x0 x0 
Add Mul Mul 3 E Mul cos Mul Mul sqrt x3 atan x0 acot x0 Add Mul acot x0 Mul sqrt x3 Pow Add 1 Mul x0 x0 -1 Mul Mul sqrt x3 atan x0 Mul -1 Pow Add 1 Mul x0 x0 -1 1 