Mul Pow atan Mul pi x6 Mul Mul -4 sec asin E Pow x0 x7 -1 
Mul -1 Mul Pow atan Mul pi x6 Add Mul Mul -4 sec asin E Pow x0 x7 -1 Mul Mul atan Mul pi x6 log atan Mul pi x6 Mul Mul -4 sec asin E Mul Pow x0 Add x7 -1 x7 