Add exp Add exp x3 Pow Pow asin exp x0 x0 Mul x0 Pow x5 x0 Add Mul x0 Mul -5 acosh x6 x0 
Add Mul exp Add exp x3 Pow Pow asin exp x0 x0 Mul x0 Pow x5 x0 Mul Pow Pow asin exp x0 x0 Add Mul x0 Pow x5 x0 -1 Add Mul Mul x0 Pow x5 x0 Mul Pow asin exp x0 Add x0 -1 Add Mul x0 Mul exp x0 Pow sqrt Add 1 Mul -1 Mul exp x0 exp x0 -1 Mul asin exp x0 log asin exp x0 Mul Mul Pow asin exp x0 x0 log Pow asin exp x0 x0 Add Pow x5 x0 Mul x0 Mul Pow x5 Add x0 -1 Mul x5 log x5 Add Mul -5 acosh x6 1 