Add x0 asinh Pow asin Pow Add x0 acosh asin exp x1 x0 Pow Mul x0 Mul x0 4 Pow asech x0 log x0 
Add 1 Mul Mul Pow asin Pow Add x0 acosh asin exp x1 x0 Add Pow Mul x0 Mul x0 4 Pow asech x0 log x0 -1 Add Mul Pow Mul x0 Mul x0 4 Pow asech x0 log x0 Mul Mul Pow Add x0 acosh asin exp x1 Add x0 -1 Add x0 Mul Add x0 acosh asin exp x1 log Add x0 acosh asin exp x1 Pow sqrt Add 1 Mul -1 Mul Pow Add x0 acosh asin exp x1 x0 Pow Add x0 acosh asin exp x1 x0 -1 Mul Mul asin Pow Add x0 acosh asin exp x1 x0 log asin Pow Add x0 acosh asin exp x1 x0 Mul Pow Mul x0 Mul x0 4 Add Pow asech x0 log x0 -1 Add Mul Pow asech x0 log x0 Add Mul x0 4 Mul x0 4 Mul Mul Mul x0 Mul x0 4 log Mul x0 Mul x0 4 Mul Pow asech x0 Add log x0 -1 Add Mul log x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Mul asech x0 log asech x0 Pow x0 -1 Pow sqrt Add 1 Mul Pow asin Pow Add x0 acosh asin exp x1 x0 Pow Mul x0 Mul x0 4 Pow asech x0 log x0 Pow asin Pow Add x0 acosh asin exp x1 x0 Pow Mul x0 Mul x0 4 Pow asech x0 log x0 -1 