Mul Add Pow x0 sec x3 x0 exp Add x0 asin Mul atanh x0 x0 
Add Mul exp Add x0 asin Mul atanh x0 x0 Add Mul Pow x0 Add sec x3 -1 sec x3 1 Mul Add Pow x0 sec x3 x0 Mul exp Add x0 asin Mul atanh x0 x0 Add 1 Mul Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 atanh x0 Pow sqrt Add 1 Mul -1 Mul Mul atanh x0 x0 Mul atanh x0 x0 -1 