Add exp Pow x0 log cos Add sqrt Mul 2 x6 x0 1 
Mul exp Pow x0 log cos Add sqrt Mul 2 x6 x0 Mul Pow x0 Add log cos Add sqrt Mul 2 x6 x0 -1 Add log cos Add sqrt Mul 2 x6 x0 Mul Mul x0 log x0 Mul Mul -1 sin Add sqrt Mul 2 x6 x0 Pow cos Add sqrt Mul 2 x6 x0 -1 