Add Pow Pow x0 x7 tan sqrt atan Mul Add x0 pi 4 -4 
Mul Pow Pow x0 x7 Add tan sqrt atan Mul Add x0 pi 4 -1 Add Mul tan sqrt atan Mul Add x0 pi 4 Mul Pow x0 Add x7 -1 x7 Mul Mul Pow x0 x7 log Pow x0 x7 Mul Pow sec sqrt atan Mul Add x0 pi 4 2 Mul Pow Mul 2 sqrt atan Mul Add x0 pi 4 -1 Mul 4 Pow Add 1 Mul Mul Add x0 pi 4 Mul Add x0 pi 4 -1 