asinh Mul x0 Add Add Pow x7 acosh sqrt x0 x0 x3 
Mul Add Add Add Pow x7 acosh sqrt x0 x0 x3 Mul x0 Add Mul Pow x7 Add acosh sqrt x0 -1 Mul Mul x7 log x7 Mul Pow Mul 2 sqrt x0 -1 Pow Mul sqrt Add sqrt x0 -1 sqrt Add 1 sqrt x0 -1 1 Pow sqrt Add 1 Mul Mul x0 Add Add Pow x7 acosh sqrt x0 x0 x3 Mul x0 Add Add Pow x7 acosh sqrt x0 x0 x3 -1 