exp Mul Add x0 asin Mul exp sec asech x0 sinh Add x2 x1 sqrt x0 
Mul exp Mul Add x0 asin Mul exp sec asech x0 sinh Add x2 x1 sqrt x0 Add Mul sqrt x0 Add 1 Mul Mul sinh Add x2 x1 Mul exp sec asech x0 Mul Mul tan asech x0 sec asech x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul Mul exp sec asech x0 sinh Add x2 x1 Mul exp sec asech x0 sinh Add x2 x1 -1 Mul Add x0 asin Mul exp sec asech x0 sinh Add x2 x1 Pow Mul 2 sqrt x0 -1 