Pow exp Pow asech x0 16 Pow Pow atan Add x6 x0 -1 Pow x6 5 
Mul Pow exp Pow asech x0 16 Add Pow Pow atan Add x6 x0 -1 Pow x6 5 -1 Add Mul Pow Pow atan Add x6 x0 -1 Pow x6 5 Mul exp Pow asech x0 16 Mul Pow asech x0 15 Mul 16 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Mul exp Pow asech x0 16 log exp Pow asech x0 16 Mul Pow Pow atan Add x6 x0 -1 Add Pow x6 5 -1 Mul Pow x6 5 Mul Pow atan Add x6 x0 2 Mul -1 Pow Add 1 Mul Add x6 x0 Add x6 x0 -1 