Mul 1.57079632679490 sqrt Pow x6 sec Add Mul x7 Add Mul 2 x0 -2 sqrt x0 
Mul 1.57079632679490 Mul Pow Mul 2 sqrt Pow x6 sec Add Mul x7 Add Mul 2 x0 -2 sqrt x0 -1 Mul Pow x6 Add sec Add Mul x7 Add Mul 2 x0 -2 sqrt x0 -1 Mul Mul x6 log x6 Mul Mul tan Add Mul x7 Add Mul 2 x0 -2 sqrt x0 sec Add Mul x7 Add Mul 2 x0 -2 sqrt x0 Add Mul x7 2 Pow Mul 2 sqrt x0 -1 