Mul acot x7 asec Mul x0 Pow 0.756802495307928 x0 
Mul acot x7 Mul Add Pow 0.756802495307928 x0 Mul x0 Mul Pow 0.756802495307928 Add x0 -1 0.478149531240804 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 Pow 0.756802495307928 x0 Mul x0 Pow 0.756802495307928 x0 -1 Mul x0 Pow 0.756802495307928 x0 Mul x0 Pow 0.756802495307928 x0 -1 