Pow Add Pow Add x5 6 x7 Add atan Pow asech x6 x0 Add x0 pi Add x0 Mul -1 sqrt x0 
Mul Pow Add Pow Add x5 6 x7 Add atan Pow asech x6 x0 Add x0 pi Add Add x0 Mul -1 sqrt x0 -1 Add Mul Add x0 Mul -1 sqrt x0 Add Mul Mul Pow asech x6 Add x0 -1 Mul asech x6 log asech x6 Pow Add 1 Mul Pow asech x6 x0 Pow asech x6 x0 -1 1 Mul Mul Add Pow Add x5 6 x7 Add atan Pow asech x6 x0 Add x0 pi log Add Pow Add x5 6 x7 Add atan Pow asech x6 x0 Add x0 pi Add 1 Mul -1 Pow Mul 2 sqrt x0 -1 