Add -0.785398163397448 Add Pow x0 Pow Add sqrt x0 acot x2 x2 Mul -3 acot exp Mul x0 -1 
Add Mul Pow x0 Add Pow Add sqrt x0 acot x2 x2 -1 Add Pow Add sqrt x0 acot x2 x2 Mul Mul x0 log x0 Mul Pow Add sqrt x0 acot x2 Add x2 -1 Mul x2 Pow Mul 2 sqrt x0 -1 Mul -3 Mul -1 Mul Mul exp Mul x0 -1 -1 Pow Add 1 Mul exp Mul x0 -1 exp Mul x0 -1 -1 