Pow atan x7 Mul Add asech Add x0 Add cos atan x0 Pow x1 E x6 x0 
Mul Pow atan x7 Add Mul Add asech Add x0 Add cos atan x0 Pow x1 E x6 x0 -1 Mul Mul atan x7 log atan x7 Add Mul x0 Mul Add 1 Mul Mul -1 sin atan x0 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul Add x0 Add cos atan x0 Pow x1 E Add x0 Add cos atan x0 Pow x1 E sqrt Add 1 Mul -1 Pow Mul Add x0 Add cos atan x0 Pow x1 E Add x0 Add cos atan x0 Pow x1 E -1 -1 Add asech Add x0 Add cos atan x0 Pow x1 E x6 