acos Mul Pow 4 x4 Mul Pow 0.756802495307928 tan tan Pow x0 x0 x1 
Mul -1 Mul Mul Pow 4 x4 Mul x1 Mul Pow 0.756802495307928 Add tan tan Pow x0 x0 -1 Mul 0.478149531240804 Mul Pow sec tan Pow x0 x0 2 Mul Pow sec Pow x0 x0 2 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow sqrt Add 1 Mul -1 Mul Mul Pow 4 x4 Mul Pow 0.756802495307928 tan tan Pow x0 x0 x1 Mul Pow 4 x4 Mul Pow 0.756802495307928 tan tan Pow x0 x0 x1 -1 