Mul acot x0 Mul acos x6 Mul Mul 2 Mul Add 5.76159415595576 acot x7 sec Pow Pow x0 x0 x0 -1 
Add Mul Mul acos x6 Mul Mul 2 Mul Add 5.76159415595576 acot x7 sec Pow Pow x0 x0 x0 -1 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul acos x6 Mul -1 Mul 2 Mul Add 5.76159415595576 acot x7 Mul Mul tan Pow Pow x0 x0 x0 sec Pow Pow x0 x0 x0 Mul Pow Pow x0 x0 Add x0 -1 Add Mul x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow x0 x0 log Pow x0 x0 