acosh Add Pow Add x0 Mul x6 x0 Mul x5 acos x0 Mul x0 exp E 
Mul Add Mul Pow Add x0 Mul x6 x0 Add Mul x5 acos x0 -1 Add Mul Mul x5 acos x0 Add 1 x6 Mul Mul Add x0 Mul x6 x0 log Add x0 Mul x6 x0 Mul x5 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 exp E Pow Mul sqrt Add Add Pow Add x0 Mul x6 x0 Mul x5 acos x0 Mul x0 exp E -1 sqrt Add 1 Add Pow Add x0 Mul x6 x0 Mul x5 acos x0 Mul x0 exp E -1 