Pow tan Pow acos Add -1 Add x7 Pow 2 x0 Mul Mul x2 Pow x0 x0 x0 -3 
Mul Pow tan Pow acos Add -1 Add x7 Pow 2 x0 Mul Mul x2 Pow x0 x0 x0 4 Mul -3 Mul Pow sec Pow acos Add -1 Add x7 Pow 2 x0 Mul Mul x2 Pow x0 x0 x0 2 Mul Pow acos Add -1 Add x7 Pow 2 x0 Add Mul Mul x2 Pow x0 x0 x0 -1 Add Mul Mul Mul x2 Pow x0 x0 x0 Mul -1 Mul Mul Pow 2 Add x0 -1 2.69314718055995 Pow sqrt Add 1 Mul -1 Mul Add -1 Add x7 Pow 2 x0 Add -1 Add x7 Pow 2 x0 -1 Mul Mul acos Add -1 Add x7 Pow 2 x0 log acos Add -1 Add x7 Pow 2 x0 Add Mul x0 Mul x2 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul x2 Pow x0 x0 