Mul sqrt acot sec x0 Mul x0 Mul Add Add sqrt Pow x0 Pow x0 1.41421356237310 Pow 3 x0 x0 x0 
Add Mul Mul x0 Mul Add Add sqrt Pow x0 Pow x0 1.41421356237310 Pow 3 x0 x0 x0 Mul Pow Mul 2 sqrt acot sec x0 -1 Mul -1 Mul Mul tan x0 sec x0 Pow Add 1 Mul sec x0 sec x0 -1 Mul sqrt acot sec x0 Add Mul Add Add sqrt Pow x0 Pow x0 1.41421356237310 Pow 3 x0 x0 x0 Mul x0 Add Mul x0 Add Add Mul Pow Mul 2 sqrt Pow x0 Pow x0 1.41421356237310 -1 Mul Pow x0 Add Pow x0 1.41421356237310 -1 Add Pow x0 1.41421356237310 Mul Mul x0 log x0 Mul Pow x0 0.414213562373095 1.41421356237310 Mul Pow 3 Add x0 -1 4.09861228866811 1 Add Add sqrt Pow x0 Pow x0 1.41421356237310 Pow 3 x0 x0 