Pow Add x0 4 Add x0 acosh Mul Add Pow x0 x0 E Pow x0 sqrt asin x7 
Mul Pow Add x0 4 Add Add x0 acosh Mul Add Pow x0 x0 E Pow x0 sqrt asin x7 -1 Add Add x0 acosh Mul Add Pow x0 x0 E Pow x0 sqrt asin x7 Mul Mul Add x0 4 log Add x0 4 Add 1 Mul Add Mul Pow x0 sqrt asin x7 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Add Pow x0 x0 E Mul Pow x0 Add sqrt asin x7 -1 sqrt asin x7 Pow Mul sqrt Add Mul Add Pow x0 x0 E Pow x0 sqrt asin x7 -1 sqrt Add 1 Mul Add Pow x0 x0 E Pow x0 sqrt asin x7 -1 