Pow Add x0 Mul sqrt x0 x4 acot Mul x0 -0.995054753686730 
Mul Pow Add x0 Mul sqrt x0 x4 Add acot Mul x0 -0.995054753686730 -1 Add Mul acot Mul x0 -0.995054753686730 Add 1 Mul x4 Pow Mul 2 sqrt x0 -1 Mul Mul Add x0 Mul sqrt x0 x4 log Add x0 Mul sqrt x0 x4 Mul -1 Mul -0.995054753686730 Pow Add 1 Mul Mul x0 -0.995054753686730 Mul x0 -0.995054753686730 -1 