Add x1 acosh Mul Pow acos x3 asin x0 x7 
Mul Mul x7 Mul Pow acos x3 Add asin x0 -1 Mul Mul acos x3 log acos x3 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add Mul Pow acos x3 asin x0 x7 -1 sqrt Add 1 Mul Pow acos x3 asin x0 x7 -1 