Mul Pow sqrt acot exp x0 -0.995054753686730 tan Add Mul -3 x0 x0 
Add Mul tan Add Mul -3 x0 x0 Mul Pow sqrt acot exp x0 -1.99505475368673 Mul -0.995054753686730 Mul Pow Mul 2 sqrt acot exp x0 -1 Mul -1 Mul exp x0 Pow Add 1 Mul exp x0 exp x0 -1 Mul Pow sqrt acot exp x0 -0.995054753686730 Mul Pow sec Add Mul -3 x0 x0 2 2 