Add acosh x0 acsch Add Mul asin x0 Pow Pow asin x3 Mul Mul Mul x0 4 sec x2 x6 4 -1 
Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul -1 Add Mul Pow Pow asin x3 Mul Mul Mul x0 4 sec x2 x6 4 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul asin x0 Mul Pow Pow asin x3 Mul Mul Mul x0 4 sec x2 x6 3 Mul 4 Mul Pow asin x3 Add Mul Mul Mul x0 4 sec x2 x6 -1 Mul Mul asin x3 log asin x3 Mul x6 Mul sec x2 4 Pow Mul Mul Add Mul asin x0 Pow Pow asin x3 Mul Mul Mul x0 4 sec x2 x6 4 -1 Add Mul asin x0 Pow Pow asin x3 Mul Mul Mul x0 4 sec x2 x6 4 -1 sqrt Add 1 Mul -1 Pow Mul Add Mul asin x0 Pow Pow asin x3 Mul Mul Mul x0 4 sec x2 x6 4 -1 Add Mul asin x0 Pow Pow asin x3 Mul Mul Mul x0 4 sec x2 x6 4 -1 -1 -1 