acosh Mul Add x2 Pow x0 -2 Mul Add Pow x0 asin x1 4 x0 
Mul Add Mul Mul Add Pow x0 asin x1 4 x0 Mul Pow x0 3 -2 Mul Add x2 Pow x0 -2 Add Mul x0 Mul Pow x0 Add asin x1 -1 asin x1 Add Pow x0 asin x1 4 Pow Mul sqrt Add Mul Add x2 Pow x0 -2 Mul Add Pow x0 asin x1 4 x0 -1 sqrt Add 1 Mul Add x2 Pow x0 -2 Mul Add Pow x0 asin x1 4 x0 -1 