Add Pow Pow x4 Mul Pow Mul x0 tan sec acosh asin x0 x0 x0 acos x0 2 
Mul Pow Pow x4 Mul Pow Mul x0 tan sec acosh asin x0 x0 x0 Add acos x0 -1 Add Mul acos x0 Mul Pow x4 Add Mul Pow Mul x0 tan sec acosh asin x0 x0 x0 -1 Mul Mul x4 log x4 Add Mul x0 Mul Pow Mul x0 tan sec acosh asin x0 Add x0 -1 Add Mul x0 Add tan sec acosh asin x0 Mul x0 Mul Pow sec sec acosh asin x0 2 Mul Mul tan acosh asin x0 sec acosh asin x0 Mul Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add asin x0 -1 sqrt Add 1 asin x0 -1 Mul Mul x0 tan sec acosh asin x0 log Mul x0 tan sec acosh asin x0 Pow Mul x0 tan sec acosh asin x0 x0 Mul Mul Pow x4 Mul Pow Mul x0 tan sec acosh asin x0 x0 x0 log Pow x4 Mul Pow Mul x0 tan sec acosh asin x0 x0 x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 