Mul Pow acos Mul acos x5 Add Add x0 acot x0 -0.756802495307928 4 -3 
Mul -3 Mul Pow acos Mul acos x5 Add Add x0 acot x0 -0.756802495307928 3 Mul 4 Mul -1 Mul Mul acos x5 Add 1 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul acos x5 Add Add x0 acot x0 -0.756802495307928 Mul acos x5 Add Add x0 acot x0 -0.756802495307928 -1 