acos Pow Pow x0 1.57079632679490 acot x1 
Mul -1 Mul Mul Pow Pow x0 1.57079632679490 Add acot x1 -1 Mul acot x1 Mul Pow x0 0.570796326794897 1.57079632679490 Pow sqrt Add 1 Mul -1 Mul Pow Pow x0 1.57079632679490 acot x1 Pow Pow x0 1.57079632679490 acot x1 -1 