atan Add x7 Mul Add x0 Pow cos x0 asinh asin x0 E 
Mul Mul E Add 1 Mul Pow cos x0 Add asinh asin x0 -1 Add Mul asinh asin x0 Mul -1 sin x0 Mul Mul cos x0 log cos x0 Mul Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul asin x0 asin x0 -1 Pow Add 1 Mul Add x7 Mul Add x0 Pow cos x0 asinh asin x0 E Add x7 Mul Add x0 Pow cos x0 asinh asin x0 E -1 