Mul asin Add Pow Mul asech exp Add x0 x0 E Mul Mul x0 x0 2 Mul Add cos x7 4 x0 x0 
Add Mul x0 Mul Add Mul Pow Mul asech exp Add x0 x0 E Add Mul Mul x0 x0 2 -1 Add Mul Mul Mul x0 x0 2 Mul E Mul Mul exp Add x0 x0 2 Pow Mul Mul exp Add x0 x0 exp Add x0 x0 sqrt Add 1 Mul -1 Pow Mul exp Add x0 x0 exp Add x0 x0 -1 -1 Mul Mul Mul asech exp Add x0 x0 E log Mul asech exp Add x0 x0 E Mul 2 Add x0 x0 Add cos x7 4 Pow sqrt Add 1 Mul -1 Mul Add Pow Mul asech exp Add x0 x0 E Mul Mul x0 x0 2 Mul Add cos x7 4 x0 Add Pow Mul asech exp Add x0 x0 E Mul Mul x0 x0 2 Mul Add cos x7 4 x0 -1 asin Add Pow Mul asech exp Add x0 x0 E Mul Mul x0 x0 2 Mul Add cos x7 4 x0 