atan Mul Mul x0 x0 Add cosh pi -0.995054753686730 
Mul Mul Add cosh pi -0.995054753686730 Add x0 x0 Pow Add 1 Mul Mul Mul x0 x0 Add cosh pi -0.995054753686730 Mul Mul x0 x0 Add cosh pi -0.995054753686730 -1 