Mul x3 Mul Pow Mul x0 Add Mul x0 sqrt x2 Mul x0 acosh Mul asin x0 x0 sinh Pow x0 x6 -1 
Mul x3 Mul -1 Mul Pow Mul x0 Add Mul x0 sqrt x2 Mul x0 acosh Mul asin x0 x0 Add sinh Pow x0 x6 -1 Add Mul sinh Pow x0 x6 Add Add Mul x0 sqrt x2 Mul x0 acosh Mul asin x0 x0 Mul x0 Add sqrt x2 Add acosh Mul asin x0 x0 Mul x0 Mul Add Mul x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 asin x0 Pow Mul sqrt Add Mul asin x0 x0 -1 sqrt Add 1 Mul asin x0 x0 -1 Mul Mul Mul x0 Add Mul x0 sqrt x2 Mul x0 acosh Mul asin x0 x0 log Mul x0 Add Mul x0 sqrt x2 Mul x0 acosh Mul asin x0 x0 Mul cosh Pow x0 x6 Mul Pow x0 Add x6 -1 x6 