acos cos Mul Pow Pow 2 x0 Add sqrt x0 x7 x0 
Mul -1 Mul Mul Mul -1 sin Mul Pow Pow 2 x0 Add sqrt x0 x7 x0 Add Mul x0 Mul Pow Pow 2 x0 Add Add sqrt x0 x7 -1 Add Mul Add sqrt x0 x7 Mul Pow 2 Add x0 -1 2.69314718055995 Mul Mul Pow 2 x0 log Pow 2 x0 Pow Mul 2 sqrt x0 -1 Pow Pow 2 x0 Add sqrt x0 x7 Pow sqrt Add 1 Mul -1 Mul cos Mul Pow Pow 2 x0 Add sqrt x0 x7 x0 cos Mul Pow Pow 2 x0 Add sqrt x0 x7 x0 -1 