Mul 0.785398163397448 exp Add 0.524560086677924 Pow exp x0 sec acos x0 
Mul 0.785398163397448 Mul exp Add 0.524560086677924 Pow exp x0 sec acos x0 Mul Pow exp x0 Add sec acos x0 -1 Add Mul sec acos x0 exp x0 Mul Mul exp x0 log exp x0 Mul Mul tan acos x0 sec acos x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 