Add x0 Pow exp acsc asech x1 Mul x0 Mul acos x0 E 
Add 1 Mul Pow exp acsc asech x1 Add Mul x0 Mul acos x0 E -1 Mul Mul exp acsc asech x1 log exp acsc asech x1 Add Mul acos x0 E Mul x0 Mul E Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 