acoth Pow acos x0 0.540302305868140 
Mul Mul Pow acos x0 -0.459697694131860 Mul 0.540302305868140 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Pow acos x0 0.540302305868140 Pow acos x0 0.540302305868140 -1 